Rayleigh–Ritz Method
The Rayleigh–Ritz method is the finite-dimensional form of the variational principle. Choose a trial subspace, represent the Hamiltonian on that subspace, and diagonalize the resulting matrix. The lowest eigenvalue is a variational upper bound to the true ground-state energy.
This is the basic structure behind basis-set quantum mechanics, configuration interaction, oscillator-basis truncations, finite-element discretizations, and many numerical diagonalization methods.
Required background. The Variational Principle supplies the bound; Matrix Diagonalization supplies the finite eigenproblem. Variational Parameters treats outer optimization when basis functions carry nonlinear widths or centers.
Trial Subspaces
Section titled “Trial Subspaces”Let be self-adjoint and bounded below. Choose an -dimensional subspace of its quadratic-form domain, spanned by linearly independent trial vectors
A general trial vector in this subspace has the form
Rayleigh–Ritz minimizes the energy quotient over all coefficient vectors in the chosen subspace:
By the variational principle,
Orthonormal Basis
Section titled “Orthonormal Basis”If the basis vectors are orthonormal, define
On the operator domain this is ; for form-domain trial functions use the weak kinetic form below. Then
Minimizing the quotient gives the finite-dimensional eigenvalue problem
The lowest eigenvalue of this matrix is the best variational energy inside . The corresponding eigenvector gives a state of minimum energy in that subspace. It need not be the state with largest overlap with the exact ground state.
Nonorthogonal Basis
Section titled “Nonorthogonal Basis”Many useful basis functions are not orthogonal. Define both the Hamiltonian matrix and overlap matrix:
The variational condition becomes the generalized eigenvalue problem
Equivalently,
Linear independence makes positive definite on coefficient space. If two basis functions are nearly linearly dependent, becomes ill-conditioned and the numerical eigenvalues may become unstable.
Why Diagonalization Appears
Section titled “Why Diagonalization Appears”The quotient
is stationary when variations with respect to vanish. For the nonorthogonal case,
gives
Thus matrix diagonalization is not an extra approximation after choosing the subspace. It is the exact minimization problem inside that subspace.
Convergence with Basis Size
Section titled “Convergence with Basis Size”If the subspaces are nested,
then the corresponding lowest Ritz values satisfy
The sequence decreases because each larger subspace contains all previous trial states. If the union of the nested subspaces is dense in the form norm, their lowest Ritz values converge to the spectral bottom. Hilbert-space norm density alone does not control the kinetic energy.
For practical calculations, convergence should be checked by increasing the basis size, changing basis families, or comparing with independent approximations such as perturbation theory or WKB when those are available.
Excited-State Estimates
Section titled “Excited-State Estimates”The Rayleigh–Ritz spectrum also gives approximations to excited states. For a self-adjoint Hamiltonian with discrete low-lying spectrum, the min–max principle implies that the th Ritz value in any admissible trial subspace of dimension at least is an upper bound to the th exact eigenvalue below essential spectrum, with eigenvalues counted with multiplicity. The precise theorem, its proof, and its limits at essential spectrum are given in Upper Bounds and the Min–Max Principle.
Excited Ritz values are ordered eigenvalues of the whole projected problem. Merely imposing orthogonality to an approximate ground-state vector on a separately optimized family does not establish an excited-state upper bound. Preserve the intended symmetry sector and monitor convergence of eigenvectors as well as eigenvalues. A computed state with the wrong nodal structure or wrong symmetry may approximate the wrong physical level.
Choosing a Basis
Section titled “Choosing a Basis”A good basis should make the important physics cheap to represent. Common choices include:
- exact eigenstates of a nearby solvable Hamiltonian,
- harmonic oscillator functions for confined or approximately quadratic problems,
- plane waves for translation-invariant or periodic systems,
- localized finite elements or grid functions for spatially inhomogeneous problems,
- symmetry-adapted states for angular momentum, parity, or internal symmetries.
The best choice depends on the Hamiltonian, boundary conditions, target energy range, and required observables. The anharmonic oscillator is a standard test case because a harmonic oscillator basis gives a transparent comparison between perturbative and variational calculations.
Matrix Elements
Section titled “Matrix Elements”The method is only as reliable as the matrix elements. For a coordinate-space Hamiltonian
one computes
If the basis functions obey the boundary conditions, integration by parts often gives a symmetric kinetic-energy matrix:
with boundary terms vanishing. This form is often numerically better because it makes positivity of the kinetic energy explicit.
Exercises
Section titled “Exercises”- In an orthonormal two-state basis, let
Find the two Ritz values.
Solution
The characteristic equation is
Therefore
The lower value is the best variational energy inside the two-dimensional subspace.
- For a normalized nonorthogonal pair with , suppose . Compare the correct generalized eigenvalues with diagonalizing alone.
Solution
The generalized problem gives two eigenvalues . Diagonalizing gives instead: these reflect a coordinate metric error, not physical splitting. Whitening gives the Hermitian problem , with ; a Cholesky reduction avoids forming inverse matrices explicitly.
- Explain why a nonorthogonal basis with nearly dependent vectors can cause numerical trouble even if the variational principle remains mathematically true.
Solution
Nearly dependent vectors make the overlap matrix nearly singular. Then small errors in matrix elements, arithmetic, or basis construction can produce large changes in the generalized eigenvectors and sometimes spurious eigenvalues. The variational statement assumes exact matrix elements in the exact trial subspace; numerical computation also needs a well-conditioned representation of that subspace.
References
Section titled “References”- C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
- G. H. Golub and C. F. Van Loan, Matrix Computations, 4th ed., Johns Hopkins University Press, 2013.
- B. N. Parlett, The Symmetric Eigenvalue Problem, SIAM, 1998.
- J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
- R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.