Estimates for Eigenvalues of the Dirichlet Laplacian on Riemannian Manifolds

Basic Information

• Paper ID: 2504.04356
• Title: Estimates for Eigenvalues of the Dirichlet Laplacian on Riemannian Manifolds
• Authors: Daguang Chen, Qing-Ming Cheng
• Classification: math.DG (Differential Geometry)
• Publication Date: October 13, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2504.04356v2

Abstract

This paper revisits the eigenvalue problem for the Dirichlet Laplacian on bounded domains of complete Riemannian manifolds. Building upon classical results such as the Li-Yau inequality and Yang's inequality, the authors derive upper and lower bounds for eigenvalues. For projective spaces and their minimal submanifolds, explicit estimates for lower bounds of the Dirichlet Laplacian eigenvalues are also provided.

Research Background and Motivation

Importance of the Problem

1. Physical Background: The eigenvalue problem for the Dirichlet Laplacian originates from various problems in mathematical physics, including vibration modes of idealized drums, modes of ideal optical fibers under paraxial approximation, and small waves on the surface of an ideal pond.
2. Mathematical Foundation: For the eigenvalue problem on a bounded domain Ω:

   Δu = -λu  in Ω
   u = 0     on ∂Ω
   

   
   The spectrum consists of real, discrete eigenvalues: 0 < λ₁ < λ₂ ≤ λ₃ ≤ ··· ↗ ∞
3. Weyl Asymptotic Formula: The classical Weyl asymptotic formula gives: λₖ ~ (4π²/(ωₙ|Ω|)^(2/n)) k^(2/n), k → ∞

Research Motivation

1. Generalization from Euclidean Space to Riemannian Manifolds: Although eigenvalue estimates in Euclidean space are well-established, universal inequalities on Riemannian manifolds require deeper investigation.
2. Integration of Geometry and Analysis: Combining geometric properties (such as mean curvature) with spectral theory to establish more precise eigenvalue estimates.
3. Explicit Estimates for Specific Spaces: Providing concrete eigenvalue bounds for important geometric objects such as projective spaces.

Core Contributions

1. Generalization of the Chen-Cheng Theorem: Extends eigenvalue inequalities for submanifolds in Euclidean space to general complete Riemannian manifolds.
2. Establishment of Heat Kernel Estimates: Proves upper bound estimates for the modified heat kernel Z_H(t), which incorporates geometric information.
3. Explicit Estimates for Projective Spaces: Provides concrete lower bounds for eigenvalues of projective spaces FP^m and their minimal submanifolds.
4. Unification of Multiple Classical Results: Unifies classical results such as the Li-Yau inequality and Yang's inequality within the framework of Riemannian manifolds.

Detailed Methodology

Problem Definition

Study upper and lower bound estimates for eigenvalues λₖ of the Dirichlet Laplacian on bounded domains Ω of complete n-dimensional Riemannian manifolds M^n, with particular attention to the influence of geometric quantities (such as mean curvature) on eigenvalues.

Core Technical Methods

1. Application of Nash Embedding Theorem

Theorem 3.4: For a bounded domain Ω on an n-dimensional complete Riemannian manifold M^n, there exists a constant H₀² such that:

∑ᵢ₌₁ᵏ (λₖ₊₁ - λᵢ)² ≤ (4/n) ∑ᵢ₌₁ᵏ (λₖ₊₁ - λᵢ)(λᵢ + n²H₀²/4)

Proof Strategy: Utilize Nash's theorem to isometrically embed the Riemannian manifold into Euclidean space, then apply Chen-Cheng's results.

2. Recursive Formula Technique

Cheng-Yang Recursive Formula: For positive real numbers μ₁ ≤ μ₂ ≤ ··· ≤ μₖ₊₁ satisfying Yang's first inequality, define:

• G_k = (1/k)∑ᵢ₌₁ᵏ μᵢ
• T_k = (1/k)∑ᵢ₌₁ᵏ μᵢ²
• F_k = (1 + 2/t)G_k² - T_k

Then the recursive relation holds: F_{k+ℓ}/(k+ℓ)^(4/t) ≤ F_k/k^(4/t)

3. Harrell-Stubbe Type Estimates

Theorem 4.3: Establishes estimates for Riesz means:

R₂(z) ≤ (4/n) ∑ₖ∈ℕ (z-μᵢ)₊μᵢ

where μᵢ = λᵢ + n²H₀²/4.

Technical Innovations

1. Integration of Geometry and Spectral Theory: Directly incorporates geometric quantities such as mean curvature into eigenvalue estimates, establishing quantitative relationships between geometry and spectrum.
2. Unified Framework: Through Nash embedding theorem, provides a unified treatment method for eigenvalue problems on general Riemannian manifolds.
3. Heat Kernel Method: Utilizes the Karamata Tauberian theorem to establish connections between heat kernel estimates and eigenvalue counting functions.

Main Results

1. Estimates on General Riemannian Manifolds

Theorem 3.6: For bounded domains on complete Riemannian manifolds, eigenvalues satisfy:

(1/k)∑ᵢ₌₁ᵏ λᵢ + n²H₀²/4 ≥ (n/√((n+2)(n+4))) Cₙk^(2/n)/|Ω|^(2/n)

where C_n = 4π²/ω_n^(2/n).

2. Heat Kernel Estimates

Theorem 3.7: The modified heat kernel satisfies:

ZH(t) = ∑ᵢ₌₁^∞ exp(-(λᵢ + n²H₀²/4)t) ≤ |Ω|/(4πt)^(n/2)

3. Explicit Estimates for Projective Spaces

Corollary 3.2: For n-dimensional submanifolds in projective space FP^m, eigenvalues satisfy:

(1/k)∑ᵢ₌₁ᵏ λᵢ + n²(H₀² + 2(n+d(F))/n)/4 ≥ (n/√((n+2)(n+4))) Cₙk^(2/n)/|Ω|^(2/n)

where d(F) = 1, 2, 4 correspond respectively to real, complex, and quaternionic projective spaces.

In particular, for minimal submanifolds:

(1/k)∑ᵢ₌₁ᵏ λᵢ + n(n+d(F))/2 ≥ (n/√((n+2)(n+4))) Cₙk^(2/n)/|Ω|^(2/n)

Technical Details

Embedding of Projective Spaces

Utilizing the first standard embedding ρ: FP^m → H^{m+1}(F), where:

• F = ℝ, ℂ, ℍ denote respectively the fields of real numbers, complex numbers, and quaternions
• H^{m+1}(F) = {A ∈ M^{m+1}(F) | A = A^t}

Proposition 4.1 provides the relationship between mean curvatures before and after embedding: |H'|² ≤ |H|² + 2(n+d(F))/n

Application of Karamata Tauberian Theorem

Theorem 4.2: For a sequence of positive real numbers (λₙ), the following are equivalent:

1. lim(t→0) t^r∑ₙ e^(-λₙt) = a
2. lim(λ→∞) λ^(-r)N(λ) = a/Γ(r+1)

This establishes a bridge between heat kernel estimates and counting functions.

Related Work Review

Classical Results

1. Payne-Pólya-Weinberger Inequality (1955-1956):

   λₖ₊₁ - λₖ ≤ (4/nk)∑ᵢ₌₁ᵏ λᵢ
   

2. Hile-Protter Improvement (1980):

   ∑ᵢ₌₁ᵏ λᵢ/(λₖ₊₁ - λᵢ) ≥ nk/4
   

3. Yang's Milestone Inequality (1995):

   ∑ᵢ₌₁ᵏ (λₖ₊₁ - λᵢ)² ≤ (4/n)∑ᵢ₌₁ᵏ (λₖ₊₁ - λᵢ)λᵢ
   

4. Li-Yau Inequality (1983):

   (1/k)∑ⱼ₌₁ᵏ λⱼ ≥ (n/(n+2)) 4π²/(ωₙ|Ω|)^(2/n) k^(2/n)
   

Generalizations on Riemannian Manifolds

1. Cheng-Yang Results on Spheres (2005-2006): Establish optimal inequalities for domains on unit spheres.
2. Chen-Cheng's Submanifold Results (2008): Generalize results to complete submanifolds in Euclidean space.
3. Hyperbolic Space Case (2009): Cheng-Yang establish corresponding inequalities for hyperbolic space H^n(-1).

Conclusions and Discussion

Main Conclusions

1. Establishment of Unified Framework: Through Nash embedding theorem, establishes a unified research framework for Dirichlet eigenvalue problems on general Riemannian manifolds.
2. Geometry-Spectrum Relationship: Clarifies the influence of geometric quantities such as mean curvature on eigenvalue estimates, establishing quantitative geometry-spectrum relationships.
3. Explicit Estimates: Provides concrete, computable eigenvalue bounds for projective spaces and their submanifolds.

Theoretical Significance

1. Generalization of Classical Results: Successfully extends classical eigenvalue inequalities from Euclidean space to general Riemannian manifolds.
2. Optimality: For certain special cases (such as spheres), the obtained inequalities are optimal.
3. Methodological Contribution: Recursive formulas and heat kernel methods provide powerful tools for further research.

Limitations

1. Constant Dependence: The constant H₀² in the estimates depends on the specific manifold and domain, which may be difficult to compute in certain cases.
2. Embedding Choice: For general manifolds, the choice of Nash embedding may affect the precision of estimates.
3. Boundary Conditions: Primarily focuses on Dirichlet boundary conditions; generalization to other boundary conditions requires further research.

Future Directions

1. Resolution of Conjecture 3.1: The conjecture presented in the paper points toward directions for further research.
2. Other Geometric Structures: Generalization to Kähler manifolds, Sasaki manifolds, and other special geometric structures.
3. Numerical Computation: Development of effective numerical methods to compute eigenvalue bounds in concrete geometries.

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines profound results from differential geometry, spectral theory, and analysis with a complete theoretical framework.
2. Methodological Innovation: Cleverly utilizes Nash embedding theorem to uniformly handle different geometric situations.
3. Precision of Results: Provides explicit, computable estimates for important geometric objects such as projective spaces.
4. Clear Exposition: The paper is well-structured with clear logical progression from classical results to new results.

Weaknesses

1. Computational Complexity: For general manifolds, determining the optimal embedding and corresponding constant H₀² may be computationally complex.
2. Scope of Application: Primarily focuses on theoretical estimates; practical effectiveness in applications requires further verification.
3. Numerical Verification: Lacks concrete numerical examples to verify the tightness of theoretical estimates.

Impact

1. Academic Contribution: Provides new research tools and perspectives for spectral geometry.
2. Methodological Value: Recursive formulas and heat kernel methods have broad applicability.
3. Foundation for Future Research: Establishes a solid foundation for further research in related fields.

Applicable Scenarios

1. Theoretical Research: Applicable to theoretical research in spectral geometry, differential geometry, and mathematical physics.
2. Geometric Analysis: Provides tools for studying spectral properties of partial differential equations on manifolds.
3. Numerical Computation: Provides theoretical guidance for numerical solution of eigenvalue problems.

References

The paper cites 35 important references, covering work from Weyl's classical contributions to recent research progress, particularly:

• Pioneering work by Payne, Pólya, and Weinberger
• Milestone results by Li-Yau
• Important inequalities by Yang
• Series of research by Cheng-Yang
• Recent advances in modern spectral geometry