Global analysis, analysis on manifolds Definition
Spectrum of the Laplace–Beltrami operator
Builds on Riemannian manifoldLaplace–Beltrami operatorEigenvalueSpectral theorem for compact self-adjoint operators
Definition
Let be a closed connected Riemannian manifold and let be its Laplace–Beltrami operator. A real number is an eigenvalue of if for some smooth function on . The set of eigenvalues is discrete, each eigenspace is finite-dimensional, and all eigenvalues are . The spectrum of is the sequence of eigenvalues of , each repeated as many times as the dimension of its eigenspace.
Remarks
The properties follow from the spectral theorem for compact self-adjoint operators applied to the inverse of , which is compact on by elliptic regularity and Rellich's theorem. So , and the normalized eigenfunctions form an orthonormal basis of . The eigenvalue has multiplicity because is connected: vanishes only for constant . Some authors use the opposite sign , with eigenvalues .
Example: for the round unit sphere , the eigenvalues are , , with multiplicity , the eigenfunctions being the spherical harmonics of degree . So the spectrum begins .
Non-example: is not compact, and the definition fails there. The equation has bounded solutions for every , but none of them is in . The spectrum of the Laplacian on is the continuous set , not a sequence of eigenvalues.
Reading path
To understand this page from the ground up, read these 34 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Banach space concept
- Compact operator concept
- Eigenvalue concept
- Eigenvector concept
- Hilbert space concept
- Hilbert space adjoint concept
- Image of a linear map concept
- Kernel of a linear map concept
- Laplace–Beltrami operator concept
- Orthonormal basis concept
- Riemannian manifold concept
- Spectrum of an operator concept
- Vector space definition
- Spectral theory of compact operators statement
- Inner product definition
- Linear combination definition
- Linear map definition
- Linear subspace definition
- Inner product space definition
- Orthogonal vectors definition
- Linear independence definition
- Endomorphism definition
- Linear span definition
- Orthonormal family definition
- Adjoint of a linear map definition
- Eigenvalue definition
- Spanning set definition
- Eigenvector definition
- Self-adjoint operator definition
- Basis definition
- Orthonormal basis definition
- Spectral theorem statement
- Spectral theorem for compact self-adjoint operators statement
- Spectrum of the Laplace–Beltrami operator definition
Further reading
About this page
| Tag | GRC1E284T7 |
|---|---|
| URI | m2://GRC1E284T7 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 58J50, 35P15 |
| Defines | Spectrum of the Laplace–Beltrami operator |
| Uses | Riemannian manifold, Laplace–Beltrami operator, Eigenvalue, Spectral theorem for compact self-adjoint operators |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.