Spectral gap estimates on compact manifolds
Spectral gap estimates on compact manifolds
复制标题
紧流形上的谱间隙估计
DOI:
10.1090/s0002-9947-99-02039-5
复制
发表时间:
1999
期刊:
影响因子:
--
通讯作者:
Jiaping Wang
中科院分区:
文献类型:
--
作者:
K. Oden;C. Sung;Jiaping Wang;Jiaping Wang
For a compact Riemannian manifold with boundary, its mass gap is the difference between the first and second smallest Dirichlet eigenvalues. In this paper, taking a variational approach, we obtain an explicit lower bound estimate of the mass gap for any compact manifold in terms of geometric quantities. 0. Introduction Let (M, g) be a compact Riemannian manifold with non-empty boundary, ∂M . The Laplace-Beltrami operator (Laplacian) acting on functions on M is defined by ∆(f) = 1 √ G ∂ ∂i (√ Gg ∂f ∂j ) , where the metric on M is given by ds = gijdx ⊗ dx , (g) = (gij)−1 and G = det(gij). Eigenvalues of the Laplacian under Dirichlet boundary conditions are constants li which satisfy { ∆ui + liui = 0, x ∈ M, ui(x) = 0, x ∈ ∂M, for some nonzero eigenfunctions ui. It is well known that the spectrum of the Dirichlet problem satisfies SpecD(M) = {0 < l1 < l2 ≤ l3 · · · → ∞}, so that the gap l2 − l1, sometimes referred to as the “mass gap” , is nontrivial. In [S-W-Y-Y] the mass gap is estimated by analyzing the function φ = u2 u1 . They show that ∆φ + 2∇ log u1 · ∇ log φ + (l2 − l1)φ = 0. Therefore, l2− l1 appears as an eigenvalue of a certain partial differential operator. Moreover, since it is easy to see that φ is smooth on M and satisfies ∂φ ∂ν = 0, l2−l1 is a Neumann eigenvalue of a certain partial differential operator. Thus, the gradient estimate techniques of Li and Yau [L-Y] can be employed to show that l2 − l1 ≥ π 4D2 where M is a convex Euclidean domain and D is the diameter of M . The assumption of convexity seems to be crucial, however, to the argument since the Hessian Received by the editors August 22, 1995 and, in revised form, February 13, 1997. 1991 Mathematics Subject Classification. Primary 58C40. c ©1999 American Mathematical Society