Search papers, labs, and topics across Lattice.
The authors resolve the open Langford–Laugesen conjecture by proving sharp harmonic-mean lower bounds for the first two non-trivial Neumann eigenvalues on simply connected Riemannian surfaces with bounded Gaussian curvature $K_g \leq K$ and area $M < 4\pi/K$. They prove that the geodesic disk in the constant-curvature space model is the unique maximizer of $\mu_2$, with equality holding if and only if the domain interiors are isometric. Additionally, the paper establishes that this geodesic ball optimality fails on higher-dimensional spheres, revealing fundamental dimension-dependent limits for Neumann spectral geometry.
Geodesic disks uniquely maximize the first positive Neumann eigenvalue on positively curved 2D surfaces, resolving the Langford–Laugesen conjecture while surprisingly failing to generalize to higher-dimensional spheres.
Let $Ω\subset\mathbb C$ be a bounded simply connected Lipschitz domain with conformal metric $g=ω|dz|^2$, where $ω\in C^2(Ω)\cap L^\infty(Ω)$ is positive in the interior and may tend to zero at the boundary. If the Gaussian curvature satisfies $K_g\leq K$, $K>0$, and $KM<4π$, where $M=\int_Ωω\,dA$, then the Neumann eigenvalues, numbered by $0=μ_1(Ω;ω)<μ_2(Ω;ω)\leqμ_3(Ω;ω)\leq\cdots$, satisfy $\frac{1}{μ_2(Ω;ω)}+\frac{1}{μ_3(Ω;ω)}\geq\frac{2}{μ_2(D_K(M))}$. Here $D_K(M)$ is the geodesic disk of area $M$ in the surface of constant curvature $K$. We prove that equality holds exactly when the interiors are isometric. This completes Conjecture 1.2 of Langford--Laugesen; in particular, the model disk maximizes the first positive Neumann eigenvalue in this class.