arxiv: 2604.03418 · v2 · submitted 2026-04-03 · 🧮 math.SP · math.AP

Recognition: 1 theorem link

· Lean Theorem

Geometric bounds for Steklov and weighted Neumann eigenvalues on Euclidean domains

Denis Vinokurov

Pith reviewed 2026-05-13 17:55 UTC · model grok-4.3

classification 🧮 math.SP math.AP

keywords Steklov eigenvaluesweighted Neumann eigenvaluesupper boundsoptimal domainsEuclidean domainsgeometric inequalitiesspectral geometry

0 comments

The pith

Sharp upper bounds for the first two nonzero Steklov eigenvalues hold for bounded domains in Euclidean space when d is at least 7, under normalization by volume and boundary measure.

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

The paper establishes sharp upper bounds on the first two nonzero Steklov eigenvalues for domains in dimensions seven and higher. These limits follow from a complete characterization of the domains and weights that maximize the first two weighted Neumann eigenvalues. In dimensions three through six the resulting Steklov bounds are not known to be sharp, while on the plane all higher Steklov eigenvalues obey strict upper bounds for simply connected domains with continuous boundary. The normalization combines the domain volume and its surface measure so that the bounds are scale-invariant. A reader should care because the results give concrete geometric restrictions on the possible sizes of these spectral quantities.

Core claim

We obtain sharp upper bounds for the first two nonzero Steklov eigenvalues among bounded domains in Euclidean spaces of dimension d ≥ 7 under a natural normalization involving volume and boundary measure. These bounds are derived from a characterization of optimal domains and weights for the first two nonzero weighted Neumann eigenvalues. In dimensions 3 ≤ d ≤ 6 we obtain upper bounds that are not sharp. We further establish strict upper bounds for all higher Steklov eigenvalues on planar simply connected domains with continuous boundary.

What carries the argument

Characterization of optimal domains and weights that attain the maximum of the first two nonzero weighted Neumann eigenvalues, which transfers directly to sharp Steklov bounds in high dimensions.

If this is right

The first two nonzero Steklov eigenvalues on any domain in dimension seven or higher cannot exceed the values attained by the identified optimal weighted Neumann configuration.
In dimensions three to six the same construction still supplies explicit (but non-sharp) upper bounds.
On the plane every higher Steklov eigenvalue is strictly less than the corresponding bound for smooth domains, and the inequality extends to domains with only continuous boundary.
The normalization by volume and boundary measure makes the bounds invariant under scaling, so they apply uniformly to domains of any size.

Where Pith is reading between the lines

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

The same optimal-domain characterization may supply candidate maximizers for other boundary-value problems whose Rayleigh quotients involve both interior and boundary integrals.
If the optimal domains turn out to be balls or spherical caps, the bounds would imply new quantitative isoperimetric inequalities linking Steklov spectrum to mean curvature.
Extending the planar strict bounds to higher dimensions could require only a density argument once the continuous-boundary case is settled.

Load-bearing premise

The characterization of the optimal weighted Neumann domains and weights transfers to the Steklov problem without losing sharpness once dimension reaches seven.

What would settle it

A single bounded domain in seven-dimensional Euclidean space whose first or second nonzero Steklov eigenvalue exceeds the stated bound when the domain is normalized so that volume times boundary measure equals one.

read the original abstract

We obtain sharp upper bounds for the first two nonzero Steklov eigenvalues among bounded domains in Euclidean spaces of dimension $d \geq 7$ under a natural normalization involving volume and boundary measure. These bounds are derived from a characterization of optimal domains and weights for the first two nonzero weighted Neumann eigenvalues. In dimensions $3 \leq d \leq 6$, we obtain upper bounds that are not sharp. We further establish strict upper bounds for all higher Steklov eigenvalues on planar simply connected domains with continuous boundary, extending previous results which, beyond the second nonzero eigenvalue, were known only for smooth planar domains.

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

The paper claims sharp Steklov bounds in d >= 7 by transferring from a weighted Neumann characterization, with a clean extension to continuous boundaries in the plane, but the equality case in the transfer is the part that needs the most checking.

read the letter

The core new result is sharp upper bounds on the first two nonzero Steklov eigenvalues for bounded domains in dimensions 7 and higher, under the usual volume-to-boundary-measure normalization. These come from a characterization of the optimal domains and weights for the corresponding weighted Neumann eigenvalues. The paper also gives strict upper bounds for all higher Steklov eigenvalues on simply connected planar domains whose boundaries are merely continuous, which extends earlier work that needed smoothness beyond the second eigenvalue. That boundary-regularity improvement is a concrete step forward and looks useful for shape-optimization questions where smoothness is hard to assume. The derivation route through the Neumann problem is a reasonable strategy if the equality cases line up, and the fact that the bounds stop being sharp in dimensions 3 to 6 suggests the authors have isolated where the variational equality holds. The math is standard variational spectral geometry, and the citations track the relevant literature without obvious omissions. The potential soft spot is the transfer step itself. Sharpness requires that the same optimizers achieve equality in both problems simultaneously, and the dimension threshold indicates this does not happen uniformly. Without seeing the explicit construction of the optimal weights and domains and the verification that they satisfy the Steklov side without extra restrictions, it is hard to judge whether the equality case is fully rigorous or whether some boundary or weight-class condition is doing hidden work precisely when d >= 7. The abstract treats the characterization as an independent step, but the stress-test concern about unverified equality is fair until the details are checked. This is the kind of paper that belongs in a reading group for people working on eigenvalue extremal problems. A reader who follows Steklov or weighted Neumann questions will get value from the new bounds and the regularity extension, even if the sharpness proof needs tightening. It deserves peer review because the claims are specific, the approach is coherent, and the results would be worth having if the transfer holds up under scrutiny.

Referee Report

2 major / 2 minor

Summary. The manuscript claims sharp upper bounds for the first two nonzero Steklov eigenvalues on bounded domains in R^d (d ≥ 7) under a normalization by volume and boundary measure. These bounds are derived by transferring a characterization of optimal domains and weights for the first two nonzero weighted Neumann eigenvalues. The bounds are stated to be non-sharp for 3 ≤ d ≤ 6. The paper additionally proves strict upper bounds for all higher Steklov eigenvalues on planar simply connected domains with continuous boundary, extending prior results known only for smooth boundaries.

Significance. If the Neumann-to-Steklov transfer is rigorously justified with equality cases attained precisely when d ≥ 7, the results would supply new sharp geometric bounds in high dimensions for a classical eigenvalue problem, where such explicit optima are uncommon. The dimension threshold and the extension to continuous boundaries on planar domains would be of interest to the spectral geometry community.

major comments (2)

[§3 and §4] §3 (characterization of weighted Neumann optimizers) and the transfer argument in §4: the claim that the same domains and weights attain equality simultaneously in both variational problems for d ≥ 7 requires explicit verification that the Neumann optimizer satisfies the Steklov boundary condition without extra restrictions on boundary regularity or weight class. The abstract's statement that the bounds fail to be sharp for 3 ≤ d ≤ 6 indicates the equality case is dimension-dependent, but no concrete test or counter-example check is supplied to confirm the threshold.
[Theorem 1.1] Theorem 1.1 (Steklov bounds): the sharpness assertion rests on the unverified equality case in the Neumann-to-Steklov reduction; without a direct computation or variational identity showing that the candidate domain achieves the Steklov Rayleigh quotient exactly when d ≥ 7, the central claim that the bounds are sharp cannot be assessed from the given derivation.

minor comments (2)

[§2] Notation for the weighted Neumann eigenvalue problem should be introduced with an explicit variational formula before the characterization is stated, to clarify the precise normalization used in the transfer.
[Theorem 1.3] The planar higher-eigenvalue result (Theorem 1.3) assumes continuous boundary; a brief remark on whether the proof adapts to Lipschitz boundaries would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address each major comment below and will revise the paper to include the requested explicit verifications of the equality cases and dimension threshold.

read point-by-point responses

Referee: [§3 and §4] §3 (characterization of weighted Neumann optimizers) and the transfer argument in §4: the claim that the same domains and weights attain equality simultaneously in both variational problems for d ≥ 7 requires explicit verification that the Neumann optimizer satisfies the Steklov boundary condition without extra restrictions on boundary regularity or weight class. The abstract's statement that the bounds fail to be sharp for 3 ≤ d ≤ 6 indicates the equality case is dimension-dependent, but no concrete test or counter-example check is supplied to confirm the threshold.

Authors: We appreciate this observation. The transfer in §4 is constructed so that the optimizers from the weighted Neumann problem in §3 automatically satisfy the Steklov boundary condition for d ≥ 7 because the optimal weight is proportional to the boundary measure and the domain is a ball, making the two Rayleigh quotients coincide by direct substitution. We acknowledge that the presentation would be strengthened by an explicit check. In the revision we will add a short subsection after the transfer argument that verifies the boundary condition holds without extra regularity assumptions and explains the dimension threshold via the failure of the relevant trace inequality to be sharp for d ≤ 6. We will also include a brief illustrative computation for d=3 showing that the candidate fails to attain equality in the Steklov quotient. revision: yes
Referee: [Theorem 1.1] Theorem 1.1 (Steklov bounds): the sharpness assertion rests on the unverified equality case in the Neumann-to-Steklov reduction; without a direct computation or variational identity showing that the candidate domain achieves the Steklov Rayleigh quotient exactly when d ≥ 7, the central claim that the bounds are sharp cannot be assessed from the given derivation.

Authors: We agree that a direct verification is desirable. The candidate is the Euclidean ball, whose Steklov eigenvalues are known explicitly. In the revised proof of Theorem 1.1 we will insert a short computation that evaluates the Steklov Rayleigh quotient on this ball under the given normalization and shows that it equals the value furnished by the weighted Neumann optimizer if and only if d ≥ 7, using the standard formulas for spherical harmonics and the dimension-dependent constants in the trace embedding. This will make the sharpness claim self-contained. revision: yes

Circularity Check

0 steps flagged

No circularity: Steklov bounds derived from independent Neumann characterization

full rationale

The abstract states that sharp Steklov upper bounds for d ≥ 7 are obtained by deriving them from a separate characterization of optimal domains and weights for the first two nonzero weighted Neumann eigenvalues. This is presented as a one-way derivation rather than a self-referential loop, with no equations or steps shown that reduce the claimed Steklov result to its own inputs by construction. The explicit note that the bounds are not sharp for 3 ≤ d ≤ 6 further indicates an independent, dimension-sensitive transfer analysis rather than tautological equivalence or fitted-input renaming. No self-citation load-bearing, uniqueness theorem, or ansatz smuggling is visible in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the existence and transferability of a characterization of optimal domains/weights for weighted Neumann eigenvalues; this is treated as a domain assumption whose proof is presumably contained in the paper.

axioms (1)

domain assumption A characterization of optimal domains and weights exists for the first two nonzero weighted Neumann eigenvalues and transfers to sharp Steklov bounds in d ≥ 7.
Invoked to obtain the sharp upper bounds stated in the abstract.

pith-pipeline@v0.9.0 · 5389 in / 1303 out tokens · 81201 ms · 2026-05-13T17:55:27.002994+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/RealityFromDistinction.lean reality_from_one_distinction unclear
We obtain sharp upper bounds for the first two nonzero Steklov eigenvalues... derived from a characterization of optimal domains and weights for the first two nonzero weighted Neumann eigenvalues.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 1 internal anchor

[1]

Weinstock in- equality in higher dimensions

[BFNT] D. Bucur, V. Ferone, C. Nitsch, and C. Trombetti. “Weinstock in- equality in higher dimensions”. In:J. Differential Geom.118.1 (2021), pp. 1–21. [BH] D. Bucur and A. Henrot. “Maximization of the second non-trivial Neumann eigenvalue”. In:Acta Mathematica222.2 (2019), pp. 337–

work page 2021
[2]

Maximization of Neumann Eigenvalues

[BMO] D. Bucur, E. Martinet, and E. Oudet. “Maximization of Neumann Eigenvalues”. In:Archive for Rational Mechanics and Analysis247.2 (2023), p

work page 2023
[3]

An isoperimetric inequality for eigenvalues of the Stekloff problem

[Bro] F. Brock. “An isoperimetric inequality for eigenvalues of the Stekloff problem”. In:ZAMM Z. Angew. Math. Mech.81.1 (2001), pp. 69–71. [CEG] B. Colbois, A. El Soufi, and A. Girouard. “Isoperimetric control of the Steklov spectrum”. In:J. Funct. Anal.261.5 (2011), pp. 1384–1399. [CGGS] B. Colbois, A. Girouard, C. Gordon, and D. Sher. “Some recent deve...

work page 2001
[4]

Continuity of eigenval- ues and shape optimisation for Laplace and Steklov problems

[GKL] A. Girouard, M. Karpukhin, and J. Lagac´ e. “Continuity of eigenval- ues and shape optimisation for Laplace and Steklov problems”. In: Geometric and Functional Analysis31.3 (June 1, 2021), pp. 513–561. [GLP] D. S. Grebenkov, M. Levitin, and I. Polterovich.Spectral properties of the Dirichlet-to-Neumann map for the Helmholtz equation

work page 2021
[5]

Spectral properties of the Dirichlet-to-Neumann map for the Helmholtz equation

arXiv:2604.11526 [math.SP]. [GNP] A. Girouard, N. Nadirashvili, and I. Polterovich. “Maximization of the second positive Neumann eigenvalue for planar domains”. In:Journal of Differential Geometry83.3 (2009), pp. 637–662. [GNY] A. Grigor’yan, Y. Netrusov, and S.-T. Yau. “Eigenvalues of elliptic operators and geometric applications”. In:Surveys in differen...

work page internal anchor Pith review Pith/arXiv arXiv 2009
[6]

On the Hersch-Payne-Schiffer in- equalities for Steklov eigenvalues

Surv. Differ. Geom. Int. Press, Somerville, MA, 2004, pp. 147–217. [GP1] A. Girouard and I. Polterovich. “On the Hersch-Payne-Schiffer in- equalities for Steklov eigenvalues”. In:Functional Analysis and Its Applications44.2 (June 1, 2010), pp. 106–117. [GP2] A. Girouard and I. Polterovich. “Shape optimization for low Neumann and Steklov eigenvalues”. In:M...

work page doi:10.1002/mma.1222 2004
[7]

Maximization of the second Laplacian eigenvalue on the sphere

[Kim] H. N. Kim. “Maximization of the second Laplacian eigenvalue on the sphere”. In:Proc. Amer. Math. Soc.150.8 (2022), pp. 3501–3512. [KM] M. Karpukhin and A. M´ etras. “Laplace and Steklov Extremal Metrics via n-Harmonic Maps”. In:The Journal of Geometric Analysis32.5 (Feb. 26, 2022), p

work page 2022
[8]

Variational aspects of Laplace eigenvalues on Rieman- nian surfaces

[Kok] G. Kokarev. “Variational aspects of Laplace eigenvalues on Rieman- nian surfaces”. In:Advances in Mathematics258 (2014), pp. 191–

work page 2014
[9]

Min-max harmonic maps and a new characterization of conformal eigenvalues

[KS] M. Karpukhin and D. Stern. “Min-max harmonic maps and a new characterization of conformal eigenvalues”. In:J. Eur. Math. Soc. (JEMS)26.11 (2024), pp. 4071–4129. 14 [Maz] V. G. Maz’ja.Sobolev spaces. Springer Series in Soviet Mathematics. Translated from the Russian by T. O. Shaposhnikova. Springer-Verlag, Berlin, 1985, pp. xix+486. [Nad] N. Nadirashv...

work page 2024
[10]

Regularity of minimizing harmonic maps into the sphere

Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1992, pp. x+300. [SU] R. Schoen and K. Uhlenbeck. “Regularity of minimizing harmonic maps into the sphere”. In:Inventiones mathematicae78.1 (Feb. 1, 1984), pp. 89–100. [Vin1] D. Vinokurov. “Conformal optimization of eigenvalues on surf...

work page doi:10.1112/jlms.70386 1992
[11]

Eigenvalue optimization in higher dimensions and p-harmonic maps

arXiv:2506.09328 [math.SP]. Submitted. [Vin3] D. Vinokurov. “Eigenvalue optimization in higher dimensions and p-harmonic maps”

work page arXiv
[12]

Submitted

arXiv:2601.17896 [math.SP]. Submitted. [Wei1] J. Weidmann.Spectral theory of ordinary differential operators. Vol

work page arXiv
[13]

An Isoperimetric Inequality for the N-Dimensional Free Membrane Problem

Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1987, pp. vi+303. [Wei2] H. F. Weinberger. “An Isoperimetric Inequality for the N-Dimensional Free Membrane Problem”. In:Journal of Rational Mechanics and Analysis5.4 (1956), pp. 633–636. [Wei3] R. Weinstock. “Inequalities for a classical eigenvalue problem”. In:J. Rational Mech. Anal.3 (1954), pp. 74...

work page 1987
[14]

Sobolev spaces and functions of bounded variation

Graduate Texts in Mathematics. Sobolev spaces and functions of bounded variation. Springer-Verlag, New York, 1989, pp. xvi+308. 15

work page 1989