A computer-assisted lower bound for Landau's constant

Frank Wikstr\"om

In the authors' words

We prove the lower bounds \[ B_\infty>0.51,\qquad L>0.51, \] where $B_{\infty}$ is the locally univalent Bloch constant and $L$ is Landau's constant, improving the bound $\frac{1}{2} + 2 \cdot 1 0^{- 8}$ of Chen and Shiba. The argument passes to the logarithm $g = lo g f^{'}$ of a normalized locally univalent Bloch function, where the Bloch condition becomes a one-sided linear constraint on $Re g$ ; positive Toeplitz moment matrices then provide a finite-dimensional outer relaxation for the low logarithmic coefficients, and any non-negative dual vector for a linear program over that relaxation certifies a bound. Floating-point linear programming is used only to discover such dual vectors; the same duality also certifies the second-derivative bounds that control the Taylor allowances and the coefficient caps that contract the cover. An independent arbitrary-precision interval-arithmetic program reconstructs every witness and checks a finite cover of the normalized coefficient body by $1179$ boxes, the smallest certified radius being $0.51003$ . All numerical premises were verified with Arb at $80$ decimal digits.

Main resultThe abstract does not state a limitation.

A computer-assisted lower bound for Landau's constant

In the authors' words

More on Analysis & PDEs that day

Infinite cascades for the defocusing cubic half-wave equation on the torus

Blow-up for energy supercritical defocusing nonlinear Schr\"odinger equations in dimensions three, four and five

A new type of deterministic Salem sets and its spectrality

Smooth and swirling steady vortex rings near the Hill--Norbury family

Explicit diagonalization of the linearized Calder\'on problem on the disk: multiplicity normalization and exponential spectral attenuation