A sharp two-disk bound for the second positive Neumann eigenvalue under a curvature upper bound
In the authors' words
Langford and Laugesen conjectured a sharp two-disk bound for the third Neumann eigenvalue under an upper Gaussian-curvature bound (Math. Ann. 386 (2023), 2255--2281, Conjecture 1.4). We prove the conjectured bound for bounded Lipschitz membranes with the weight regularity used by Langford and Laugesen, and strengthen it to a sharp reciprocal inequality. Let be a bounded simply connected Lipschitz domain, let be positive on , and equip with . Suppose , , and when . Enumerate the Neumann eigenvalues, counting multiplicity, by . If is the constant-curvature geodesic disk of area , then and . No simplicity of or boundary differentiability of is required. The same conclusions hold for relatively compact disk-type Lipschitz domains in smooth Riemannian surfaces. Both bounds are sharp at fixed area and curvature upper bound: for each admissible , a sequence of smooth connected domains of area in the constant-curvature model has fixed-index Neumann spectra converging to those of . Neither extremal value is attained in either connected class. The proof uses two-pole Green coordinates, a positive-kernel comparison, simultaneous centering of two complex moments, and a shifted reciprocal variational estimate.
Appeared: Wednesday, September 23. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 47 pages, 3 figures