Cheng's eigenvalue comparison theorem

Template:Short description In Riemannian geometry, Cheng's eigenvalue comparison theorem states in general terms that when a domain is large, the first Dirichlet eigenvalue of its Laplace–Beltrami operator is small. This general characterization is not precise, in part because the notion of "size" of the domain must also account for its curvature. The theorem is due to Template:Harvtxt by Shiu-Yuen Cheng. Using geodesic balls, it can be generalized to certain tubular domains Template:Harv.

Theorem

Let M be a Riemannian manifold with dimension n, and let B_M(p, r) be a geodesic ball centered at p with radius r less than the injectivity radius of p ∈ M. For each real number k, let N(k) denote the simply connected space form of dimension n and constant sectional curvature k. Cheng's eigenvalue comparison theorem compares the first eigenvalue λ₁(B_M(p, r)) of the Dirichlet problem in B_M(p, r) with the first eigenvalue in B_N(k)(r) for suitable values of k. There are two parts to the theorem:

• Suppose that K_M, the sectional curvature of M, satisfies

$K_M\le k.$

Then

${\lambda }_1(B_{N(k)}(r))\le {\lambda }_1(B_M(p,r)).$

The second part is a comparison theorem for the Ricci curvature of M:

• Suppose that the Ricci curvature of M satisfies, for every vector field X,

$\mathrm{Ric}(X,X)\ge k(n-1)|X{|}^2.$

Then, with the same notation as above,

${\lambda }_1(B_{N(k)}(r))\ge {\lambda }_1(B_M(p,r)).$

S.Y. Cheng used Barta's theorem to derive the eigenvalue comparison theorem. As a special case, if k = −1 and inj(p) = ∞, Cheng’s inequality becomes λ^*(N) ≥ λ^*(H ⁿ(−1)) which is McKean’s inequality.

See also

• Comparison theorem
• Eigenvalue comparison theorem

References

Bibliography

• Template:Citation.
• Template:Citation.
• Template:Citation
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation/