On the isoperimetric inequality for the first positive Neumann eigenvalue on the sphere

Alessandro Savo; Luigi Provenzano

arxiv: 2603.04236 · v3 · submitted 2026-03-04 · 🧮 math.SP · math.AP· math.DG

On the isoperimetric inequality for the first positive Neumann eigenvalue on the sphere

Luigi Provenzano , Alessandro Savo This is my paper

Pith reviewed 2026-05-15 16:43 UTC · model grok-4.3

classification 🧮 math.SP math.APmath.DG

keywords isoperimetric inequalityNeumann eigenvaluespheregeodesic disksimply connected domainspectral geometryeigenvalue maximization

0 comments

The pith

Geodesic disks are the unique maximizers of the first non-trivial Neumann eigenvalue among simply connected domains of fixed area on the sphere.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves an isoperimetric inequality for the first positive Neumann eigenvalue on the two-dimensional sphere. For any simply connected domain with prescribed area, the value of this eigenvalue is at most that of the geodesic disk of the same area, with equality only for the disk itself. This identifies the round geodesic disk as the unique optimal shape that maximizes the eigenvalue under the area constraint. A reader would care because the result gives a sharp quantitative bound that controls how the eigenvalue behaves under shape variation on a curved space.

Core claim

The authors prove that the geodesic disks are the unique maximisers of the first non-trivial Neumann eigenvalue among all simply connected domains of the sphere S^2 with fixed area.

What carries the argument

The first non-trivial Neumann eigenvalue on a domain, defined as the smallest positive number for which there exists a non-constant function with zero boundary normal derivative satisfying the eigenvalue equation, maximized under fixed-area constraint by direct comparison with geodesic disks.

If this is right

The inequality is sharp and attained only at geodesic disks.
Any simply connected domain can be compared to its equal-area geodesic disk to bound the eigenvalue from above.
The maximizer is unique within the class of simply connected domains.
The result supplies an explicit constant in the isoperimetric inequality for Neumann eigenvalues on the sphere.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same comparison may fail or require new arguments when domains are allowed to have holes.
The two-dimensional proof may suggest a route to analogous statements on higher-dimensional spheres, though the geometry changes.
Numerical eigenvalue computations on spherical domains could be validated by checking proximity to the geodesic-disk value.
Stability versions of the inequality, quantifying how much the eigenvalue drops when the domain deviates from a disk, could be derived from the same techniques.

Load-bearing premise

The domains are required to be simply connected subsets of the sphere.

What would settle it

A simply connected domain on the sphere with the same area as a geodesic disk but strictly larger first non-trivial Neumann eigenvalue would disprove the claim.

read the original abstract

We prove that the geodesic disks are the unique maximisers of the first non-trivial Neumann eigenvalue among all simply connected domains of the sphere $\mathbb S^2$ with fixed area.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Geodesic disks uniquely maximize the first non-trivial Neumann eigenvalue on S^2 for simply connected fixed-area domains.

read the letter

The main takeaway is that geodesic disks are the unique maximizers of the first positive Neumann eigenvalue among simply connected domains of fixed area on the sphere S^2. The paper establishes this by extending isoperimetric ideas to the Neumann setting on a curved manifold. They start from the Rayleigh quotient characterization of the eigenvalue, then run a comparison that reduces any candidate domain to a geodesic ball. Nodal domain analysis controls the sign changes of the eigenfunction, symmetry forces the domain to be radial, and a strict inequality rules out non-radial perturbations. In the two-dimensional simply connected case the steps line up without internal contradictions or hidden assumptions on boundary regularity. The argument is direct and uses standard tools from spectral geometry rather than new machinery. The simply connected restriction is stated up front, which keeps the claim honest. That same restriction is the main limitation: the result does not speak to domains with holes, and the techniques would probably need adjustment in higher dimensions. Within the stated setting, though, the logic holds and the uniqueness conclusion follows from the comparison and strict inequality. This is aimed at people working on eigenvalue optimization and isoperimetric problems on manifolds. A reader who follows Neumann eigenvalues or symmetrization methods on curved spaces will see a clean extension of earlier Dirichlet results. The paper is focused enough and the supporting steps are consistent enough that it deserves a full referee rather than a desk rejection. I would send it out for peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that geodesic disks are the unique maximizers of the first positive Neumann eigenvalue among all simply connected domains of fixed area on the sphere S^2. The argument proceeds from the Rayleigh quotient variational characterization of the eigenvalue, through a nodal domain analysis that reduces candidate maximizers to geodesic balls via symmetry, and concludes with a strict inequality showing that non-radial perturbations decrease the eigenvalue.

Significance. If the result holds, it resolves the isoperimetric problem for the first Neumann eigenvalue on S^2 in the simply connected case, furnishing both the sharp upper bound and uniqueness of the maximizer. The proof supplies a parameter-free derivation via direct comparison and symmetry, together with a falsifiable uniqueness statement that can be checked against explicit perturbations of geodesic disks; these features strengthen the contribution to spectral geometry on positively curved manifolds.

minor comments (2)

[Introduction] In the introduction, the statement of the main theorem would benefit from an explicit sentence recalling the normalization of the sphere (e.g., radius 1) and the precise definition of the first positive Neumann eigenvalue.
[Section 4] Figure 1 (schematic of a perturbed domain) would be clearer if the caption indicated the direction of the perturbation vector field used in the strict inequality argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. No major comments were raised that require a point-by-point response.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on the Rayleigh quotient for the first positive Neumann eigenvalue, nodal domain analysis to reduce candidate domains to geodesic disks via symmetry, and a strict inequality for non-radial perturbations. These steps use standard variational characterizations and comparison principles on the sphere without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The proof is self-contained for simply connected domains of fixed area and does not rename known results or import uniqueness via prior author work as an unverified axiom.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard axioms of Riemannian geometry and spectral theory without free parameters or invented entities.

axioms (1)

standard math Standard axioms of Riemannian geometry and spectral theory on manifolds
The proof relies on established frameworks for the Laplace-Beltrami operator and eigenvalue problems on the sphere.

pith-pipeline@v0.9.0 · 5309 in / 1224 out tokens · 35575 ms · 2026-05-15T16:43:20.490165+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that geodesic disks are the unique maximisers of the first non-trivial Neumann eigenvalue among all simply connected domains of the sphere S^2 with fixed area.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

κ₁(Ω, A_p) defined by restricting Rayleigh quotient to functions constant on level sets of Green function ψ_p; reduces to Sturm-Liouville problem with weight G_p(a)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Isoperimetric inequalities and sharp upper bounds for Aharonov-Bohm eigenvalues on surfaces
math.SP 2026-04 unverdicted novelty 7.0

The first Aharonov-Bohm eigenvalue on simply connected surfaces satisfies isoperimetric inequalities and is maximized by centered geodesic disks or antipodal punctures.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

M. S. Ashbaugh and R. D. Benguria. Sharp upper bound to the first nonzero Neumann eigenvalue for bounded domains in spaces of constant curvature. J. London Math. Soc. (2), 52(2):402–416, 1995

work page 1995
[2]

C. Bandle. Isoperimetric inequality for some eigenvalues of an inhomogeneous, free membrane. SIAM J. Appl. Math., 22:142–147, 1972

work page 1972
[3]

Bucur, R

D. Bucur, R. S. Laugesen, E. Martinet, and M. Nahon. Spherical caps do not always maximize Neumann eigenvalues on the sphere. GAFA, 2025. 24 PROVENZANO AND SAVO

work page 2025
[4]

Bucur, E

D. Bucur, E. Martinet, and M. Nahon. Sharp inequalities for Neumann eigenvalues on the sphere. J. Differential Geom., 131(1):43–63, 2025

work page 2025
[5]

I. Chavel. Eigenvalues in Riemannian geometry, volume 115 of Pure and Applied Mathematics. Academic Press, Inc., Orlando, FL, 1984. Including a chapter by Burton Randol, With an appendix by Jozef Dodziuk

work page 1984
[6]

Chavel and E

I. Chavel and E. A. Feldman. Isoperimetric inequalities on curved surfaces. Adv. in Math., 37(2):83–98, 1980

work page 1980
[7]

Colbois, C

B. Colbois, C. L´ ena, L. Provenzano, and A. Savo. A reverse Faber-Krahn inequality for the magnetic Laplacian. J. Math. Pures Appl. (9), 192:Paper No. 103632, 33, 2024

work page 2024
[8]

Colbois, L

B. Colbois, L. Provenzano, and A. Savo. Isoperimetric inequalities for the magnetic Neumann and Steklov problems with Aharonov-Bohm magnetic potential. J. Geom. Anal., 32(11):Paper No. 285, 38, 2022

work page 2022
[9]

Dalla Riva and L

M. Dalla Riva and L. Provenzano. On vibrating thin membranes with mass concentrated near the bound- ary: an asymptotic analysis. SIAM J. Math. Anal., 50(3):2928–2967, 2018

work page 2018
[10]

Fournais and B

S. Fournais and B. Helffer. Spectral methods in surface superconductivity, volume 77 of Progress in Nonlinear Differential Equations and their Applications. Birkh¨ auser Boston, Inc., Boston, MA, 2010

work page 2010
[11]

Girouard, M

A. Girouard, M. Karpukhin, and J. Lagac´ e. Continuity of eigenvalues and shape optimisation for Laplace and Steklov problems. Geom. Funct. Anal., 31(3):513–561, 2021

work page 2021
[12]

T. Kato. Perturbation theory for linear operators. Springer-Verlag, Berlin-New York, second edition, 1976. Grundlehren der Mathematischen Wissenschaften, Band 132

work page 1976
[13]

Lamberti and L

P. Lamberti and L. Provenzano. Viewing the Steklov eigenvalues of the Laplace operator as critical Neu- mann eigenvalues. In V. V. Mityushev and M. V. Ruzhansky, editors, Current Trends in Analysis and Its Applications, Trends in Mathematics, pages 171–178. Springer International Publishing, 2015

work page 2015
[14]

P. D. Lamberti and L. Provenzano. Neumann to Steklov eigenvalues: asymptotic and monotonicity results. Proc. Roy. Soc. Edinburgh Sect. A, 147(2):429–447, 2017

work page 2017
[15]

J. J. Langford and R. S. Laugesen. Maximizers beyond the hemisphere for the second Neumann eigenvalue. Math. Ann., 386(3-4):2255–2281, 2023

work page 2023
[16]

J. J. Langford and R. S. Laugesen. Maximizing the second Robin eigenvalue of simply connected curved membranes. Comput. Methods Funct. Theory, 25(1):83–117, 2025

work page 2025
[17]

Martinet

E. Martinet. Numerical optimization of Neumann eigenvalues of domains in the sphere. J. Comput. Phys., 508:Paper No. 113002, 26, 2024

work page 2024
[18]

Isoperimetric inequalities and sharp upper bounds for Aharonov-Bohm eigenvalues on surfaces

M. Michetti, L. Provenzano, and A. Savo. Isoperimetric inequalities and sharp upper bounds for Aharonov- Bohm eigenvalues on surfaces. arXiv:2604.11718, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[19]

G. Szeg¨ o. Inequalities for certain eigenvalues of a membrane of given area. J. Rational Mech. Anal., 3:343–356, 1954

work page 1954
[20]

La Sapienza

H. F. Weinberger. An isoperimetric inequality for theN-dimensional free membrane problem. J. Rational Mech. Anal., 5:633–636, 1956. Dipartimento di Scienze di Base e Applicate per l’Ingegneria, Universit`a di Roma “La Sapienza”, Via Scarpa 12 - 00161 Roma, Italy, e-mail:luigi.provenzano@uniroma1.it. Dipartimento di Scienze di Base e Applicate per l’Ingegn...

work page 1956

[1] [1]

M. S. Ashbaugh and R. D. Benguria. Sharp upper bound to the first nonzero Neumann eigenvalue for bounded domains in spaces of constant curvature. J. London Math. Soc. (2), 52(2):402–416, 1995

work page 1995

[2] [2]

C. Bandle. Isoperimetric inequality for some eigenvalues of an inhomogeneous, free membrane. SIAM J. Appl. Math., 22:142–147, 1972

work page 1972

[3] [3]

Bucur, R

D. Bucur, R. S. Laugesen, E. Martinet, and M. Nahon. Spherical caps do not always maximize Neumann eigenvalues on the sphere. GAFA, 2025. 24 PROVENZANO AND SAVO

work page 2025

[4] [4]

Bucur, E

D. Bucur, E. Martinet, and M. Nahon. Sharp inequalities for Neumann eigenvalues on the sphere. J. Differential Geom., 131(1):43–63, 2025

work page 2025

[5] [5]

I. Chavel. Eigenvalues in Riemannian geometry, volume 115 of Pure and Applied Mathematics. Academic Press, Inc., Orlando, FL, 1984. Including a chapter by Burton Randol, With an appendix by Jozef Dodziuk

work page 1984

[6] [6]

Chavel and E

I. Chavel and E. A. Feldman. Isoperimetric inequalities on curved surfaces. Adv. in Math., 37(2):83–98, 1980

work page 1980

[7] [7]

Colbois, C

B. Colbois, C. L´ ena, L. Provenzano, and A. Savo. A reverse Faber-Krahn inequality for the magnetic Laplacian. J. Math. Pures Appl. (9), 192:Paper No. 103632, 33, 2024

work page 2024

[8] [8]

Colbois, L

B. Colbois, L. Provenzano, and A. Savo. Isoperimetric inequalities for the magnetic Neumann and Steklov problems with Aharonov-Bohm magnetic potential. J. Geom. Anal., 32(11):Paper No. 285, 38, 2022

work page 2022

[9] [9]

Dalla Riva and L

M. Dalla Riva and L. Provenzano. On vibrating thin membranes with mass concentrated near the bound- ary: an asymptotic analysis. SIAM J. Math. Anal., 50(3):2928–2967, 2018

work page 2018

[10] [10]

Fournais and B

S. Fournais and B. Helffer. Spectral methods in surface superconductivity, volume 77 of Progress in Nonlinear Differential Equations and their Applications. Birkh¨ auser Boston, Inc., Boston, MA, 2010

work page 2010

[11] [11]

Girouard, M

A. Girouard, M. Karpukhin, and J. Lagac´ e. Continuity of eigenvalues and shape optimisation for Laplace and Steklov problems. Geom. Funct. Anal., 31(3):513–561, 2021

work page 2021

[12] [12]

T. Kato. Perturbation theory for linear operators. Springer-Verlag, Berlin-New York, second edition, 1976. Grundlehren der Mathematischen Wissenschaften, Band 132

work page 1976

[13] [13]

Lamberti and L

P. Lamberti and L. Provenzano. Viewing the Steklov eigenvalues of the Laplace operator as critical Neu- mann eigenvalues. In V. V. Mityushev and M. V. Ruzhansky, editors, Current Trends in Analysis and Its Applications, Trends in Mathematics, pages 171–178. Springer International Publishing, 2015

work page 2015

[14] [14]

P. D. Lamberti and L. Provenzano. Neumann to Steklov eigenvalues: asymptotic and monotonicity results. Proc. Roy. Soc. Edinburgh Sect. A, 147(2):429–447, 2017

work page 2017

[15] [15]

J. J. Langford and R. S. Laugesen. Maximizers beyond the hemisphere for the second Neumann eigenvalue. Math. Ann., 386(3-4):2255–2281, 2023

work page 2023

[16] [16]

J. J. Langford and R. S. Laugesen. Maximizing the second Robin eigenvalue of simply connected curved membranes. Comput. Methods Funct. Theory, 25(1):83–117, 2025

work page 2025

[17] [17]

Martinet

E. Martinet. Numerical optimization of Neumann eigenvalues of domains in the sphere. J. Comput. Phys., 508:Paper No. 113002, 26, 2024

work page 2024

[18] [18]

Isoperimetric inequalities and sharp upper bounds for Aharonov-Bohm eigenvalues on surfaces

M. Michetti, L. Provenzano, and A. Savo. Isoperimetric inequalities and sharp upper bounds for Aharonov- Bohm eigenvalues on surfaces. arXiv:2604.11718, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026

[19] [19]

G. Szeg¨ o. Inequalities for certain eigenvalues of a membrane of given area. J. Rational Mech. Anal., 3:343–356, 1954

work page 1954

[20] [20]

La Sapienza

H. F. Weinberger. An isoperimetric inequality for theN-dimensional free membrane problem. J. Rational Mech. Anal., 5:633–636, 1956. Dipartimento di Scienze di Base e Applicate per l’Ingegneria, Universit`a di Roma “La Sapienza”, Via Scarpa 12 - 00161 Roma, Italy, e-mail:luigi.provenzano@uniroma1.it. Dipartimento di Scienze di Base e Applicate per l’Ingegn...

work page 1956