Skip to content

Hellmann–Feynman Theorem

This compact reference card records the statement and assumptions. The canonical proof, generalized-force interpretation, perturbative curvature, degeneracy, Pulay terms, and changing-domain caveats are on Hellmann–Feynman Theorem.

Let H(λ)H(\lambda) have a normalized exact eigenstate ∣n(λ)⟩\lvert n(\lambda)\rangle with eigenvalue En(λ)E_n(\lambda):

H(λ)∣n(λ)⟩=En(λ)∣n(λ)⟩,⟨n(λ)∣n(λ)⟩=1.H(\lambda)\lvert n(\lambda)\rangle = E_n(\lambda)\lvert n(\lambda)\rangle, \qquad \langle n(\lambda)\vert n(\lambda)\rangle=1.

For a smooth nondegenerate eigenbranch, the Hellmann–Feynman theorem states

dEndλ=⟨n(λ)∣∂H∂λ∣n(λ)⟩.\frac{dE_n}{d\lambda} = \left\langle n(\lambda) \left\vert \frac{\partial H}{\partial\lambda} \right\vert n(\lambda) \right\rangle.
  • The eigenstate is exact and normalized.
  • The eigenvalue branch is differentiable.
  • The Hamiltonian domain and boundary conditions do not introduce hidden parameter dependence, or that dependence is treated explicitly.
  • Degenerate levels require diagonalizing ∂H/∂λ\partial H/\partial\lambda in the degenerate subspace or following a smooth resolved branch.

Differentiate the eigenvalue equation:

∂H∂λ∣n⟩+H∂∂λ∣n⟩=dEndλ∣n⟩+En∂∂λ∣n⟩.\frac{\partial H}{\partial\lambda}\lvert n\rangle + H\frac{\partial}{\partial\lambda}\lvert n\rangle = \frac{dE_n}{d\lambda}\lvert n\rangle + E_n\frac{\partial}{\partial\lambda}\lvert n\rangle.

Left-multiply by ⟨n∣\langle n\vert. Since ⟨n∣H=En⟨n∣\langle n\vert H=E_n\langle n\vert, the terms involving ∂λ∣n⟩\partial_\lambda\lvert n\rangle cancel, leaving the theorem.

See the canonical theorem page for the full proof and the corresponding formula at a degeneracy.

The theorem turns a parameter derivative of an exact energy into an expectation value. It explains why first-order perturbation theory gives

En(1)=⟨n(0)∣V∣n(0)⟩E_n^{(1)} = \langle n^{(0)}\vert V\vert n^{(0)}\rangle

when H(λ)=H0+λVH(\lambda)=H_0+\lambda V and the derivative is evaluated at λ=0\lambda=0.

In molecular and variational calculations, using approximate parameter-dependent states can require additional Pulay or basis-response terms. The exact theorem is simpler than many approximate implementations.

  • Applying the formula to approximate eigenstates without checking correction terms.
  • Ignoring degeneracy.
  • Forgetting parameter dependence in the basis, boundary conditions, or domain.
  • Assuming the theorem gives the derivative of every observable, not just the eigenvalue.
  • Confusing the theorem with a variational stationarity condition.

Let H(λ)=H0+λVH(\lambda)=H_0+\lambda V and suppose ∣n(0)⟩\lvert n^{(0)}\rangle is a nondegenerate eigenstate of H0H_0. What derivative does the theorem give at λ=0\lambda=0?

Solution

Since ∂H/∂λ=V\partial H/\partial\lambda=V, the theorem gives

dEndλ∣λ=0=⟨n(0)∣V∣n(0)⟩,\left. \frac{dE_n}{d\lambda} \right\rvert_{\lambda=0} = \langle n^{(0)}\vert V\vert n^{(0)}\rangle,

which is the first-order energy shift.

  • H. Hellmann, Einführung in die Quantenchemie, Deuticke, 1937.
  • R. P. Feynman, “Forces in Molecules,” Physical Review 56, 340–343 (1939), doi:10.1103/PhysRev.56.340.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.