Math 2.0

Quantum theory Solvable models and approximation methods Theorem

Variational method

Builds on Self-adjoint operatorSpectrum of an operatorRayleigh quotientHamiltonian operator

Statement

Let HH be a self-adjoint operator on a complex Hilbert space ℋ\mathcal{H} with domain D(H)D(H), bounded below. Let E0=inf⁡σ(H)E_0 = \inf \sigma(H) be the bottom of its spectrum. Then for every nonzero ψ∈D(H)\psi \in D(H), ⟨ψ,Hψ⟩⟨ψ,ψ⟩≥E0,\frac{\ip{\psi}{H\psi}}{\ip{\psi}{\psi}} \ge E_0, and E0E_0 is the infimum of this Rayleigh quotient over all nonzero ψ∈D(H)\psi \in D(H). Equality holds for some ψ\psi if and only if E0E_0 is an eigenvalue of HH and ψ\psi is an eigenvector for E0E_0.

Remarks

By the spectral theorem, ⟨ψ,Hψ⟩=∫σ(H)λ dμψ(λ)\ip{\psi}{H\psi} = \int_{\sigma(H)} \lambda \, d\mu_\psi(\lambda), where μψ\mu_\psi is the spectral measure of ψ\psi, of total mass ∥ψ∥2\norm{\psi}^2. Since λ≥E0\lambda \ge E_0 on σ(H)\sigma(H), the integral is at least E0∥ψ∥2E_0 \norm{\psi}^2, with equality exactly when μψ\mu_\psi is concentrated at E0E_0. Vectors whose spectral measure is concentrated near E0E_0 make the quotient as close to E0E_0 as one likes.

Example: for the hydrogen atom H=−12Δ−1∣x∣H = -\frac12 \Delta - \frac{1}{\abs{x}} on L2(ℝ3)L^2(\R^3), with E0=−12E_0 = -\frac12, try the Gaussians ψα(x)=e−α∣x∣2\psi_\alpha(x) = e^{-\alpha \abs{x}^2}, α>0\alpha > 0. A computation gives the quotient 3α2−22απ\frac{3\alpha}{2} - 2\sqrt{\frac{2\alpha}{\pi}}, which is smallest at α=89π\alpha = \frac{8}{9\pi}, with value −43π≈−0.424-\frac{4}{3\pi} \approx -0.424. This is an upper bound for E0=−0.5E_0 = -0.5, as the theorem says, and it is not sharp because the true ground state e−∣x∣e^{-\abs{x}} is not a Gaussian.

The min-max theorem extends the principle to the higher eigenvalues below the essential spectrum. Restricting ψ\psi 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Hamiltonian operator concept
  2. Rayleigh quotient concept
  3. Self-adjoint operator concept
  4. Spectrum of an operator concept
  5. Variational method statement

Where this leads

3 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Variational_method_(quantum_mechanics)
About this page
TagEYARCVGB0V
URIm2://EYARCVGB0V
Kindstatement, theorem
WritingW0 stub
MSC81Q10, 49R05
StatusThis copy of the site has no build data. Run m2 status EYARCVGB0V.
AboutHamiltonian operator
UsesSelf-adjoint operator, Spectrum of an operator, Rayleigh quotient, Hamiltonian operator
Same as
Changed3 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.

What links here

Used by