🔢 mathematics

An Explicit Bound for the First Dirichlet Eigenvalue via Two Moments

This paper establishes a sharp, explicit algebraic lower bound for the first Dirichlet eigenvalue on compact Riemannian manifolds with positive Ricci curvature and nonnegative boundary mean curvature, which is derived from the first two moments of a model potential, proven to be the geometric infimum, and strictly improves upon previous variance-based estimates.

Original authors: Thomas Schürmann

Published 2026-10-14

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Thomas Schürmann

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the study of shapes and spaces, mathematicians often ask a fundamental question: how does the size of a container limit the vibrations it can hold? Imagine a drumhead stretched over a circular frame. The size of that frame and the tension of the skin determine the lowest possible pitch the drum can make. In the world of geometry, this lowest pitch is called the first eigenvalue. It is a number that reveals deep secrets about the shape of a space, telling us how quickly heat dissipates or how waves travel through it. When the space is curved, like the surface of a sphere, and has a boundary, the rules become more complex. If the curvature is positive everywhere, the space is tightly packed, and the vibrations are constrained. For decades, mathematicians have sought a precise way to predict this lowest pitch based on the shape's most basic measurements: its dimension, its curvature, and its inradius. The inradius is simply the radius of the largest ball that can fit entirely inside the shape. Knowing this single measurement, along with how curved the space is, should theoretically allow one to calculate a hard lower limit for the vibration frequency.

A researcher named Thomas Schürmann has now provided a new, highly accurate way to calculate this limit. His work focuses on a specific type of geometric space that is compact, connected, and curved in a way that prevents it from flattening out. He starts with a known comparison method developed by a mathematician named Kasue, which relates the vibration of a complex shape to a simpler, one-dimensional model. While Kasue's method gives a correct answer, it is expressed in a way that is difficult to calculate directly. Schürmann's achievement is to translate this complex model into a clear, algebraic formula. He derives a specific number that serves as a lower bound for the vibration frequency. This new formula is not just an approximation; it is an exact algebraic expression that uses only basic arithmetic operations and a single square root. It is designed to be as tight as possible, meaning it gets very close to the true answer without ever falling below it.

The core of Schürmann's method involves a clever statistical trick. To understand the behavior of the vibration, he looks at the average properties of the shape's potential energy. Instead of trying to solve the entire complex equation at once, he breaks the problem down into two key averages, or moments. These moments act like a fingerprint for the shape's behavior. By analyzing these two specific averages, he constructs a bound that is mathematically proven to be the best possible estimate one can get using only that amount of information. He also introduces a correction factor, a small adjustment that accounts for the subtle differences between the ideal model and the real shape. This correction ensures that the formula remains accurate even when the shape is not perfectly uniform. The result is a bound that is sharper than any previously known algebraic estimate, improving upon earlier methods that relied on variance or power tests.

Schürmann also proves that his bound is not just a theoretical limit but a reachable goal. He demonstrates that for any given dimension and curvature, there exist specific shapes that come arbitrarily close to this limit. These shapes are essentially balls that have been smoothed out and slightly collapsed. As these balls approach a specific critical size, their vibration frequency gets closer and closer to the value predicted by Schürmann's formula. In the extreme case where the shape is a perfect hemisphere, the formula gives the exact answer. This confirms that the bound is not an arbitrary number but the true geometric minimum for these types of spaces. The research shows that while the exact vibration of a complex shape can be hard to calculate, its lowest possible frequency is strictly controlled by its size and curvature, and this new formula captures that control with unprecedented precision.

The significance of this work lies in its clarity and its optimality. Before this, mathematicians had to choose between bounds that were easy to calculate but loose, or bounds that were tight but required complex, unsolvable integrals. Schürmann's formula bridges this gap. It is simple enough to be written down on a single line, yet it is derived from a rigorous proof that guarantees it is the best possible estimate given the available data. The paper also settles a long-standing question about whether a better bound could be found using the same statistical information. By proving that no other formula using just the first two moments can beat his result, Schürmann establishes a definitive standard for this type of geometric problem. The findings apply to any space that meets the basic criteria of positive curvature and a smooth boundary, providing a powerful new tool for understanding the fundamental limits of shape and vibration in curved geometry.

Technical Summary: An Explicit Bound for the First Dirichlet Eigenvalue via Two Moments

Problem Statement
The paper addresses the problem of establishing explicit, algebraic lower bounds for the first Dirichlet eigenvalue, $\lambda_1^D(M)$ , of a compact, connected Riemannian manifold $(M^n, g)$ with smooth, nonempty boundary. The manifolds under consideration satisfy three geometric constraints:

A lower bound on the Ricci curvature: $\text{Ric}_M \ge (n-1)Kg$ for $K > 0$ .
Nonnegative outward boundary mean curvature: $H_{\partial M} \ge 0$ .
A fixed inradius $R = \text{InRad}(M)$ .

While Kasue's comparison theorem provides a lower bound via the first eigenvalue $\mu$ of a one-dimensional mixed boundary value problem, this model eigenvalue is defined implicitly via a differential equation. The paper seeks to derive an explicit algebraic lower bound $B_\eta$ that approximates $\mu$ with high precision and to determine the geometric sharpness of these bounds.

Methodology
The author employs a combination of spectral theory, moment problems, and geometric analysis:

Schrödinger Reduction: The mixed model problem is reduced to a Schrödinger operator $H_\beta = -\frac{d^2}{dr^2} + \beta W(r)$ on $[0, R]$ , where $W(r) = K \tan^2(\sqrt{K}r)$ . The eigenvalue $\mu$ is related to the ground state of this operator via a shift $\alpha = cK$ (where $c = (n-1)/2$ ).
Moment Representation: The paper analyzes the integral $J(s)$ , representing the weighted average of the potential $W$ . A key step is Lemma 2.3, which establishes a positive moment representation for $J(s)$ using a probability measure $\nu_0$ on $[0, 1]$ . The first two moments of this measure are identified as universal constants $a_0$ and $a_1$ (derived from integrals involving $\cos^2 x$ ).
Two-Moment Envelope: Utilizing the theory of moment problems (Theorem 2.2), the author constructs a sharp lower bound for the integral functional $J(s)$ given only the first two moments ( $a_0, a_1$ ). This yields a rational function minorant $j_\eta(s) = \frac{a_0 s}{1 - \eta s}$ , where $\eta = a_1/a_0$ .
Corrector Estimate: To convert the bound on the potential average into an eigenvalue bound, a "corrector" function $f(r)$ is constructed. Lemma 2.5 provides a sharp pointwise estimate for this function, bounding the error term introduced when modifying the free ground state.
Spectral Transfer: A strictly increasing function $\Phi(j)$ is defined to map the moment bound $j_\eta(s)$ to an eigenvalue bound. The final algebraic bound $B_\eta$ is constructed as $L + \Phi(j_\eta(s))$ , where $L$ is a baseline eigenvalue shift.

Key Contributions and Results

Explicit Algebraic Bound ( $B_\eta$ ): The paper derives the bound:
$B_\eta = L + \sqrt{Q_\eta^2 + \beta K^2} - Q_\eta$
where $L = \Lambda_R + \alpha$ , $Q_\eta = \Lambda_R - \eta K / (2a_0)$ , and $\Lambda_R = \pi^2/(4R^2)$ . This bound depends explicitly on the dimension $n$ , curvature $K$ , and inradius $R$ .
Accuracy and Asymptotics: For small $s = 4KR^2/\pi^2$ , the bound $B_\eta$ approximates the model eigenvalue $\mu$ with a relative error of order $O(s^4)$ . Specifically, $\mu - B_\eta = O(\Lambda_R s^4)$ .
Geometric Sharpness: Theorem 1.3 establishes that the model eigenvalue $\mu(n, K, R)$ $μ (n, K, R)$ is the geometric infimum of $\lambda_1^D(M)$ $λ_{1}^{D} (M)$ over the class of manifolds with fixed $(n, K, R)$ $(n, K, R)$ .
- For $R < \pi/(2\sqrt{K})$ , the infimum is not attained but is approached by a sequence of smooth, rotationally symmetric balls with sectional curvature $\ge K$ and totally geodesic boundaries (constructed via a "collapsing cap" technique).
- At the maximal inradius $R = \pi/(2\sqrt{K})$ , the infimum is attained by the round hemisphere of curvature $K$ .
Comparison with Existing Bounds:
- $B_\eta$ strictly improves upon the "variance refinement" bound ( $B_{var}$ ) for all $0 < s \le 1$ .
- $B_\eta$ improves upon the "power-test" benchmark ( $B_{pow}$ ) for sufficiently small $s$ in any fixed dimension $n$ . However, the paper notes that for sufficiently large dimensions (numerically estimated at dimensions of order $10^3$ ), the power-test benchmark may exceed the combined estimate $\max\{nK, B_\eta\}$ in certain regimes.
Optimality of Two Moments: Corollary 2.7 proves that for the specific spectral transfer used, the bound $B_\eta$ is the optimal lower bound determined solely by the first two moments of the potential's representation.

Significance and Claims
The paper claims to provide the first explicit algebraic lower bound that strictly improves the variance refinement throughout the entire admissible range of the inradius parameter $s$ . It quantifies the accuracy of this approximation, showing it captures the model eigenvalue up to fourth-order terms in $s$ .

The work demonstrates that the geometric infimum of the Dirichlet eigenvalue is exactly the model eigenvalue $\mu$ , resolving the question of sharpness at fixed geometric data. The construction relies on a "sharp pointwise corrector estimate" and a "two-moment envelope," linking classical quadrature theory (Padé approximation) with spectral geometry. The author emphasizes that while the bound is optimal given only the first two moments, further refinements could theoretically be achieved using higher moments or Temple's inequality, though these are not pursued in this work.

The paper concludes that the bound $B_\eta$ , combined with Reilly's estimate ( $nK$ ), provides a robust, explicit tool for estimating the first Dirichlet eigenvalue in terms of intrinsic geometric quantities, with the round hemisphere serving as the unique extremal case at the maximal inradius.

Technical Summary: An Explicit Bound for the First Dirichlet Eigenvalue via Two Moments

More like this