HEXAGONbeta

Matching works

2 works
hexagon:2611.00282v2

math.CV — Complex Variables

Smale's mean value constant (1981) equals 4

Contributed by Dave Goel

For a complex polynomial p of degree d ≥ 2 with p(0) = 0 and p′(0) ≠ 0, let S(p) be the minimum of |p(c)/(c p′(0))| over the critical points c of p, and let K(d) be the supremum of S(p) over all such p of degree d. In 1981 Smale proved that K(d) ≤ 4 for every d, and asked whether 4 can be replaced by 1. We prove that Smale's mean value constant sup_d K(d) equals 4 and that K(d) → 4 as d → ∞, combining a reduction due to Jatar and Ng with an explicit construction. Each K(d) is known to be below 4, so the supremum is not attained. The main result has also been formalized in the Lean 4 proof assistant.

Author comments: The expanded version of this paper is Hexagon 2611.00283, at https://hexagonmath.org/2611.00283 and on Zenodo at https://doi.org/10.5281/zenodo.24069916

A mix of human-written and AI-generated textHuman understanding: some partsKoebe functionSmale's mean value conjecturecritical points of polynomialscritical valuesunivalent functions
Nov 11, 202611 pages
PDFView work
hexagon:2611.00283v2

math.CV — Complex Variables

Smale's mean value constant (1981) equals 4, and other miscellanea

Contributed by Dave Goel

For a complex polynomial p of degree d ≥ 2 with p(0) = 0 and p′(0) ≠ 0, let S(p) be the minimum of |p(c)/(c p′(0))| over the critical points c of p, and let K(d) be the supremum of S(p) over all such p of degree d. In 1981 Smale proved that K(d) ≤ 4 for every d, and asked whether 4 can be replaced by 1. We prove that Smale's mean value constant sup_d K(d) equals 4 and that K(d) → 4 as d → ∞, combining a reduction due to Jatar and Ng with an explicit construction. Each K(d) is known to be below 4, so the supremum is not attained. The main result has also been formalized in the Lean 4 proof assistant. We give three further proofs: by a variant of the main construction in which part of the boundary of an auxiliary domain is a level curve of an entire function; by a Riemann map onto a domain with thin hairs; and by a Riemann surface whose conformal radius at its base point is near 1. We also include a complete proof of the known fact that K(d) does not decrease.

Author comments: This is the expanded version of the paper Hexagon 2611.00282, "Smale's mean value constant (1981) equals 4", at https://hexagonmath.org/2611.00282 and on Zenodo at https://doi.org/10.5281/zenodo.24069884

A mix of human-written and AI-generated textHuman understanding: some partsKoebe functionSmale's mean value conjecturecritical points of polynomialscritical valuesunivalent functions
Nov 11, 202639 pages
PDFView work

Advanced search

Text
Human understanding
Linked formalizations
ClearAll works