English

Sharp shifted reciprocal sums of Neumann eigenvalues on space forms

Differential Geometry 2026-07-28 v1

Abstract

Let Mκn\mathbb{M}_\kappa^n be the space form of sectional curvature κ{1,0,1}\kappa\in\{-1,0,1\}, so that M1n=Hn,M0n=Rn,M1n=Sn\mathbb{M}_{-1}^n=\mathbb{H}^n, \mathbb{M}_{0}^n=\mathbb{R}^n, \mathbb{M}_{1}^n=\mathbb{S}^n. Let ΩMκn\Omega\subset\mathbb{M}_\kappa^n be a nonempty bounded open set with Lipschitz boundary, and assume that 0<Ω<Sn0<|\Omega|<|\mathbb{S}^n| when κ=1\kappa=1. Write 0=μ0(Ω)μ1(Ω)0=\mu_0(\Omega)\leq\mu_1(\Omega)\leq\cdots for the Neumann spectrum, and let BRκMκnB_R^\kappa\subset\mathbb{M}_\kappa^n be a geodesic ball of volume Ω/2\vert\Omega\vert/2. We prove the sharp shifted reciprocal inequality j=2n+11μj(Ω)nμ1(BRκ)=nμ2(BRκBRκ). \sum_{j=2}^{n+1}\frac1{\mu_j(\Omega)} \geq \frac{n}{\mu_1(B_R^\kappa)} = \frac{n}{\mu_2(B_R^\kappa\sqcup B_R^\kappa)}. Equality holds if and only if Ω\Omega is the disjoint union of two equal geodesic balls. This gives an affirmative answer to the conjecture of \cite[Remark~11]{BucurMartinetNahon2025}.

Cite

@article{arxiv.2607.25927,
  title  = {Sharp shifted reciprocal sums of Neumann eigenvalues on space forms},
  author = {Daguang Chen and Chengxi Yang},
  journal= {arXiv preprint arXiv:2607.25927},
  year   = {2026}
}