Pólya's conjecture for higher-dimensional Neumann balls

Nikolay Filonov, Michael Levitin, Iosif Polterovich, David A. Sher

Abstract

We prove Pólya's conjecture for the Neumann eigenvalues of the Laplacian on Euclidean balls in dimensions three and higher. The proof further develops the approach introduced in our earlier work on the two-dimensional case and on Dirichlet eigenvalues in arbitrary dimensions. The main difficulty in the higher dimensional Neumann case is that one has to estimate zeros of the derivatives of ultraspherical Bessel functions, rather than of the usual Bessel functions. For low-lying eigenvalues, we use variational estimates involving dimension-dependent test functions, which is a novel ingredient allowing us to control a larger dimension-scaled frequency range. Other components of the proof include phase-function bounds, lattice-point counting techniques, and computer-assisted arguments.

Disclosure

“Mathematica script and its printout are available for download at https://www.michaellevitin. net/polya.html#neumann. AI usage disclosure The authors acknowledge the use of several models of ChatGPT and Claude for mathematical discussions and editorial assistance. In particular, AI tools contributed to the development of the proofs of Lemma B.4 and several technical lemmas in Appendix C, as well as to the design and implementation of”

PDF page 4
Classification
Proof ideas or individual proof-step assistance
Multiplier
8
Verified

Structural counts

Pages 39 pdf
Theorems 3 source
Lemmas 20 source
Propositions 10 source
Corollaries 0 source
Definitions 1 source
Displayed equations 284 source
Bibliography entries 41 source
Appendix pages 38 estimated

Count notes

  • Source counts use the expanded primary TeX file arXiv-v1.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.