Definition

Let (M,g)(M,g) be a . A nonzero smooth function ψ:MC\psi:M\to\mathbb C is a Laplace–Beltrami eigenfunction with eigenvalue λ\lambda if

Δgψ=λψ,-\Delta_g\psi=\lambda\psi,

where Δg\Delta_g is the . The minus sign makes λ0\lambda\ge0 on a compact manifold.

Compact case

On a compact connected manifold without boundary, the spectrum is discrete, each eigenspace is finite-dimensional, and the eigenfunctions form an of L2(M)L^2(M). The zero eigenspace consists of constant functions.

High-frequency scale

For large eigenvalue one often writes λ=h2\lambda=h^{-2}, where h0h\to0 is the semiclassical parameter. The spatial and phase-space distributions of L2L^2-normalized eigenfunctions are central objects in quantum chaos.

References
  1. Isaac Chavel, Eigenvalues in Riemannian Geometry, Academic Press, 1984. DOI record.