Quantum theory Solvable models and approximation methods Theorem
Variational method
Builds on Self-adjoint operatorSpectrum of an operatorRayleigh quotientHamiltonian operator
Statement
Let be a self-adjoint operator on a complex Hilbert space with domain , bounded below. Let be the bottom of its spectrum. Then for every nonzero , and is the infimum of this Rayleigh quotient over all nonzero . Equality holds for some if and only if is an eigenvalue of and is an eigenvector for .
Remarks
By the spectral theorem, , where is the spectral measure of , of total mass . Since on , the integral is at least , with equality exactly when is concentrated at . Vectors whose spectral measure is concentrated near make the quotient as close to as one likes.
Example: for the hydrogen atom on , with , try the Gaussians , . A computation gives the quotient , which is smallest at , with value . This is an upper bound for , as the theorem says, and it is not sharp because the true ground state is not a Gaussian.
The min-max theorem extends the principle to the higher eigenvalues below the essential spectrum. Restricting to a finite-dimensional subspace gives the Rayleigh–Ritz method.
Going deeper
For a student
The method turns the eigenvalue problem into a minimisation problem. In practice one chooses a family of trial functions with a few parameters and minimises the energy over the parameters. The Hartree–Fock method is the variational method with Slater determinants as trial functions, and the min-max theorem gives the excited levels in the same spirit. The method only gives upper bounds; lower bounds need other tools, such as Temple's inequality.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Hamiltonian operator concept
- Rayleigh quotient concept
- Self-adjoint operator concept
- Spectrum of an operator concept
- Variational method statement
Where this leads
3 pages build on this one.
Further reading
About this page
| Tag | EYARCVGB0V |
|---|---|
| URI | m2://EYARCVGB0V |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 81Q10, 49R05 |
| Status | This copy of the site has no build data. Run m2 status EYARCVGB0V. |
| About | Hamiltonian operator |
| Uses | Self-adjoint operator, Spectrum of an operator, Rayleigh quotient, Hamiltonian operator |
| Same as | |
| Changed | 3 November 2026 |
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.