Skip to content

Second-Order Energy Corrections

The second-order energy correction is the leading energy effect of off-diagonal mixing. For an isolated nondegenerate eigenvalue of

H(λ)=H0+λV,H(\lambda)=H_0+\lambda V,

Rayleigh–Schrödinger perturbation theory gives

En(2)=∑m≠n∣⟨m(0)∣V∣n(0)⟩∣2En(0)−Em(0).E_n^{(2)} = \sum_{m\ne n} \frac{ \left| \langle m^{(0)}\rvert V \lvert n^{(0)}\rangle \right|^2 }{ E_n^{(0)}-E_m^{(0)} }.

The actual quadratic contribution to the energy is λ2En(2)\lambda^2E_n^{(2)}. Each term combines a transition strength with a signed inverse energy gap. Coupling to a higher level pushes the target level down; coupling to a lower level pushes it up. This is the perturbative form of level repulsion.

Required background. Use nondegenerate perturbation theory to expand the eigenvalue equation and first-order state corrections to interpret the mixing amplitudes.

Assume

H0∣n(0)⟩=En(0)∣n(0)⟩,⟨n(0)∣n(0)⟩=1,\begin{aligned} H_0\lvert n^{(0)}\rangle &= E_n^{(0)}\lvert n^{(0)}\rangle, \\ \langle n^{(0)}\vert n^{(0)}\rangle &=1, \end{aligned}

where En(0)E_n^{(0)} is a simple isolated eigenvalue. Assume a self-adjoint operator or quadratic-form family with a sufficiently smooth eigenvalue branch for the displayed remainder. Expand that branch as

En(λ)=En(0)+λEn(1)+λ2En(2)+O(λ3).E_n(\lambda) = E_n^{(0)} +\lambda E_n^{(1)} +\lambda^2E_n^{(2)} +O(\lambda^3).

For a Hamiltonian linear in λ\lambda,

En(1)=⟨n(0)∣V∣n(0)⟩,En(2)=∑m≠n∣Vmn∣2En(0)−Em(0),\begin{aligned} E_n^{(1)} &= \langle n^{(0)}\rvert V \lvert n^{(0)}\rangle, \\ E_n^{(2)} &= \sum_{m\ne n} \frac{ \left|V_{mn}\right|^2 }{ E_n^{(0)}-E_m^{(0)} }, \end{aligned}

with

Vmn≡⟨m(0)∣V∣n(0)⟩.V_{mn} \equiv \langle m^{(0)}\rvert V \lvert n^{(0)}\rangle.

The formula requires more than a formally small λ\lambda:

  • the target eigenvalue must be isolated from levels that are being treated one at a time;
  • the ratios ∣λVmn∣/∣En(0)−Em(0)∣\lvert\lambda V_{mn}\rvert/\lvert E_n^{(0)}-E_m^{(0)}\rvert must be small for materially coupled states;
  • the sum, including any continuum contribution, must exist in the intended operator or quadratic-form setting;
  • the basis in the sum must be complete in the relevant symmetry sector.

If the Hamiltonian itself contains a quadratic term,

H(λ)=H0+λV+λ2W+O(λ3),H(\lambda) = H_0+\lambda V+\lambda^2W+O(\lambda^3),

then the result becomes

En(2)=⟨n(0)∣W∣n(0)⟩+∑m≠n∣Vmn∣2En(0)−Em(0).E_n^{(2)} = \langle n^{(0)}\rvert W \lvert n^{(0)}\rangle + \sum_{m\ne n} \frac{ \left|V_{mn}\right|^2 }{ E_n^{(0)}-E_m^{(0)} }.

The expectation of WW is an explicit second-order contribution. It is conceptually distinct from the mixing term generated by applying VV twice.

Use intermediate normalization,

⟨n(0)∣n(λ)⟩=1,\langle n^{(0)}\vert n(\lambda)\rangle=1,

and write

∣n(λ)⟩=∣n(0)⟩+λ∣n(1)⟩+λ2∣n(2)⟩+O(λ3),En(λ)=En(0)+λEn(1)+λ2En(2)+O(λ3).\begin{aligned} \lvert n(\lambda)\rangle ={}& \lvert n^{(0)}\rangle +\lambda\lvert n^{(1)}\rangle + \lambda^2\lvert n^{(2)}\rangle +O(\lambda^3),\\ E_n(\lambda) ={}& E_n^{(0)} +\lambda E_n^{(1)} + \lambda^2E_n^{(2)} +O(\lambda^3). \end{aligned}

The first-order equation is

(H0−En(0))∣n(1)⟩=−(V−En(1))∣n(0)⟩.\bigl(H_0-E_n^{(0)}\bigr) \lvert n^{(1)}\rangle = - \bigl(V-E_n^{(1)}\bigr) \lvert n^{(0)}\rangle.

Projecting onto ⟨m(0)∣\langle m^{(0)}\rvert for m≠nm\ne n gives

⟨m(0)∣n(1)⟩=VmnEn(0)−Em(0).\langle m^{(0)}\vert n^{(1)}\rangle = \frac{V_{mn}} {E_n^{(0)}-E_m^{(0)}}.

The coefficient of λ2\lambda^2 in the eigenvalue equation is

(H0−En(0))∣n(2)⟩=−(V−En(1))∣n(1)⟩+En(2)∣n(0)⟩.\bigl(H_0-E_n^{(0)}\bigr) \lvert n^{(2)}\rangle ={} - \bigl(V-E_n^{(1)}\bigr) \lvert n^{(1)}\rangle + E_n^{(2)} \lvert n^{(0)}\rangle.

Left-multiplying by ⟨n(0)∣\langle n^{(0)}\rvert removes the H0−En(0)H_0-E_n^{(0)} term. Intermediate normalization also gives

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

so

En(2)=⟨n(0)∣V∣n(1)⟩.E_n^{(2)} = \langle n^{(0)}\rvert V \lvert n^{(1)}\rangle.

Inserting the spectral expansion of ∣n(1)⟩\lvert n^{(1)}\rangle yields the sum-over-states formula. The diagonal matrix element VnnV_{nn} does not appear in that sum because it generated En(1)E_n^{(1)} and was removed by the orthogonal projection.

This derivation also explains why phase and normalization choices do not alter En(2)E_n^{(2)}. They change the component of ∣n(1)⟩\lvert n^{(1)}\rangle parallel to ∣n(0)⟩\lvert n^{(0)}\rangle, but the consistently normalized eigenvalue coefficient is invariant.

Define the spectral projectors

Pn=∣n(0)⟩⟨n(0)∣,Qn=I−Pn.\begin{aligned} P_n &= \lvert n^{(0)}\rangle \langle n^{(0)}\rvert, \\ Q_n &=I-P_n. \end{aligned}

On the orthogonal complement of the target state, define the reduced resolvent

Rn′≡Qn1En(0)−H0Qn.R_n' \equiv Q_n \frac{1}{E_n^{(0)}-H_0} Q_n.

Its spectral representation is

Rn′=∑m≠n∣m(0)⟩⟨m(0)∣En(0)−Em(0),R_n' = \sum_{m\ne n} \frac{ \lvert m^{(0)}\rangle \langle m^{(0)}\rvert }{ E_n^{(0)}-E_m^{(0)} },

with continuum integrals added where required. Then

∣n(1)⟩=Rn′V∣n(0)⟩,En(2)=⟨n(0)∣VRn′V∣n(0)⟩.\begin{aligned} \lvert n^{(1)}\rangle &= R_n'V\lvert n^{(0)}\rangle, \\ E_n^{(2)} &= \langle n^{(0)}\rvert V R_n' V \lvert n^{(0)}\rangle. \end{aligned}

This form separates three ingredients:

  1. V∣n(0)⟩V\lvert n^{(0)}\rangle creates amplitudes outside the reference state.
  2. Rn′R_n' weights those amplitudes by signed inverse energy gaps.
  3. The second VV returns them to the reference sector.

The resolvent notation becomes especially useful in effective-Hamiltonian methods, response theory, and calculations that avoid an explicit spectral sum. The operator definition and spectral interpretation are developed in Resolvent Operator.

The phrase virtual mixing describes the intermediate-state structure of the calculation. The target state acquires an amplitude proportional to Vmn/(En(0)−Em(0))V_{mn}/(E_n^{(0)}-E_m^{(0)}), and acting with VV again converts that amplitude into an energy correction.

Nothing in this stationary derivation describes a particle literally occupying ∣m(0)⟩\lvert m^{(0)}\rangle for a measurable interval. The intermediate states are components of the perturbed eigenvector, or equivalently terms in a resolvent expansion. Calling them virtual is useful bookkeeping language, not a claim about a hidden time-resolved trajectory.

Signed second-order contributions from levels above and below a target level

Coupling to a higher unperturbed level gives a negative contribution to the target energy, while coupling to a lower level gives a positive contribution. A ground state has no lower levels, so its mixing correction cannot be positive.

For a two-level Hamiltonian

H(λ)=(Eaλvλv∗Eb),Δ≡Eb−Ea>0.\begin{aligned} H(\lambda) &= \begin{pmatrix} E_a & \lambda v \\ \lambda v^* & E_b \end{pmatrix}, \\ \Delta &\equiv E_b-E_a\gt0. \end{aligned}

the exact eigenvalues are

E±=Ea+Eb2±12Δ2+4λ2∣v∣2.E_\pm = \frac{E_a+E_b}{2} \pm \frac12 \sqrt{\Delta^2+4\lambda^2\lvert v\rvert^2}.

Expanding at small λ\lambda gives

E−(λ)=Ea−λ2∣v∣2Δ+O(λ4),E+(λ)=Eb+λ2∣v∣2Δ+O(λ4).\begin{aligned} E_-(\lambda) &= E_a -\lambda^2 \frac{\lvert v\rvert^2}{\Delta} +O(\lambda^4), \\ E_+(\lambda) &= E_b +\lambda^2 \frac{\lvert v\rvert^2}{\Delta} +O(\lambda^4). \end{aligned}

The lower level moves down and the upper level moves up. The same exact expression also exposes the control condition ∣λv∣/Δ≪1\lvert\lambda v\rvert/\Delta\ll1. When the gap is comparable to the coupling, expanding the square root is no longer justified.

Partition the intermediate spectrum into states below and above the target energy:

Ln={m:Em(0)<En(0)},Un={m:Em(0)>En(0)}.\begin{aligned} \mathcal L_n &= \{m:E_m^{(0)}\lt E_n^{(0)}\}, \\ \mathcal U_n &= \{m:E_m^{(0)}\gt E_n^{(0)}\}. \end{aligned}

For an isolated nondegenerate target,

En(2)=∑m∈Ln∣Vmn∣2En(0)−Em(0)−∑m∈Un∣Vmn∣2Em(0)−En(0).E_n^{(2)} ={} \sum_{m\in\mathcal L_n} \frac{ \lvert V_{mn}\rvert^2 }{ E_n^{(0)}-E_m^{(0)} } - \sum_{m\in\mathcal U_n} \frac{ \lvert V_{mn}\rvert^2 }{ E_m^{(0)}-E_n^{(0)} }.

The consequences are immediate.

Target level Sign information
Nondegenerate ground state E0(2)≤0E_0^{(2)}\le0
Highest level of a finite-dimensional system Emax⁡(2)≥0E_{\max}^{(2)}\ge0
Generic excited state No fixed sign; lower and upper states compete
State uncoupled off-diagonally by VV Mixing contribution vanishes
Nearly degenerate state Sign may be apparent, but the nondegenerate expansion is not controlled

For the ground state,

E0(2)=−∑m≠0∣Vm0∣2Em(0)−E0(0)≤0.E_0^{(2)} = - \sum_{m\ne0} \frac{ \lvert V_{m0}\rvert^2 }{ E_m^{(0)}-E_0^{(0)} } \le0.

Equality holds precisely when the perturbation has no component that connects the ground state to its orthogonal complement:

Q0V∣0(0)⟩=0.Q_0V\lvert0^{(0)}\rangle=0.

When V∣0(0)⟩V\lvert0^{(0)}\rangle exists as a Hilbert-space vector, this is equivalent to the ground state being an eigenstate of VV. A zero second-order mixing correction does not imply that the first-order shift vanishes.

The sign theorem has a variational interpretation. The exact ground-state energy is

E0(λ)=inf⁡⟨ψ∣ψ⟩=1⟨ψ∣H0+λV∣ψ⟩.E_0(\lambda) = \inf_{\langle\psi\vert\psi\rangle=1} \langle\psi\rvert H_0+\lambda V \lvert\psi\rangle.

For each fixed normalized trial state, the expectation value is affine in λ\lambda. The infimum of affine functions is concave on any interval with a common form domain and a finite ground energy. Therefore, wherever the isolated ground-state branch is twice differentiable,

d2E0dλ2≤0.\frac{d^2E_0}{d\lambda^2}\le0.

Because

d2E0dλ2∣λ=0=2E0(2),\left. \frac{d^2E_0}{d\lambda^2} \right|_{\lambda=0} = 2E_0^{(2)},

the perturbative sign follows. Equivalently, using the unperturbed ground state as a trial state gives the tangent-line bound

E0(λ)≤E0(0)+λ⟨0(0)∣V∣0(0)⟩.E_0(\lambda) \le E_0^{(0)} +\lambda \langle0^{(0)}\rvert V \lvert0^{(0)}\rangle.

The true ground state can lower its energy by adjusting its wavefunction, and the first gain from that adjustment is the nonpositive mixing correction. This argument concerns the lowest eigenvalue. It does not impose concavity on each excited-state branch. See Variational Principle for the bound and its assumptions.

Let a static electric field E\boldsymbol{\mathcal E} couple to a dipole operator D\mathbf D through

H(E)=H0−E⋅D.H(\boldsymbol{\mathcal E}) = H_0 - \boldsymbol{\mathcal E}\mathbin{\cdot}\mathbf D.

For an isolated branch with no permanent dipole in the chosen direction, the formal weak-field expansion begins as

En(E)=En(0)−12αij(n)EiEj+O(E3).E_n(\boldsymbol{\mathcal E}) = E_n(0) - \frac12 \alpha_{ij}^{(n)} \mathcal E_i\mathcal E_j +O(\mathcal E^3).

Comparing with the second-order perturbative sum gives the symmetric static-polarizability tensor

αij(n)=2Re⁡∑m≠n⟨n∣Di∣m⟩⟨m∣Dj∣n⟩Em−En.\begin{aligned} \alpha_{ij}^{(n)} ={}& 2\operatorname{Re} \sum_{m\ne n} \frac{ \langle n\rvert D_i\lvert m\rangle \langle m\rvert D_j\lvert n\rangle }{ E_m-E_n }. \end{aligned}

Along a unit vector e\mathbf e,

αe(n)=2∑m≠n∣⟨m∣e⋅D∣n⟩∣2Em−En.\alpha_{\mathbf e}^{(n)} = 2 \sum_{m\ne n} \frac{ \left| \langle m\rvert \mathbf e\mathbin{\cdot}\mathbf D \lvert n\rangle \right|^2 }{ E_m-E_n }.

Here the denominators and dipole matrix elements are those of the field-free Hamiltonian. An unconfined atom in a uniform static electric field has metastable Stark resonances rather than true bound states; its perturbative real shift still has this form, while ionization is beyond the bound-state power-series treatment.

For a nondegenerate field-free ground state, every denominator is positive, so αe(0)≥0\alpha_{\mathbf e}^{(0)}\ge0. The corresponding energy shift is nonpositive:

ΔE0=−12αe(0)E2+O(E3).\Delta E_0 = -\frac12 \alpha_{\mathbf e}^{(0)} \mathcal E^2 +O(\mathcal E^3).

For an excited state, lower levels contribute with the opposite sign and the static coefficient need not be positive. Degeneracies require diagonalizing the dipole interaction in the degenerate subspace, and a frequency-dependent field requires dynamical response rather than the static formula. Parity often removes the permanent dipole and restricts the sum to opposite-parity states. See Stark Effect as a Perturbation Example for the method decision and Selection Rules for the symmetry logic.

When H0H_0 has both discrete and continuum spectrum, a schematic spectral resolution gives

En(2)=∑m∈discm≠n∣Vmn∣2En(0)−Em(0)+∑c∫Ec,th∞dE ∣⟨E,c∣V∣n(0)⟩∣2En(0)−E.E_n^{(2)} ={} \sum_{m\in\mathrm{disc}\atop m\ne n} \frac{ \lvert V_{mn}\rvert^2 }{ E_n^{(0)}-E_m^{(0)} } + \sum_c \int_{E_{c,\mathrm{th}}}^{\infty} dE\, \frac{ \left| \langle E,c\rvert V \lvert n^{(0)}\rangle \right|^2 }{ E_n^{(0)}-E }.

Here cc labels continuum channels, and the normalization convention for ∣E,c⟩\lvert E,c\rangle determines the measure. For a bound target below all included thresholds, the continuum denominator never vanishes. For an embedded state or a target above an open threshold, poles and decay channels signal that ordinary bound-state perturbation theory is not the complete framework. Principal values, outgoing boundary conditions, self-energies, or resonance theory may be required.

Completeness by itself removes an unweighted sum such as

∑m∣Vmn∣2,\sum_m \lvert V_{mn}\rvert^2,

but it does not remove the energy denominator. Exact commutator identities, controlled closure approximations, or an inhomogeneous equation can sometimes replace the explicit sum. For those methods, see Sum Rules and Completeness Tricks.

Define ∣χn⟩\lvert\chi_n\rangle by the projected equation

(H0−En(0))∣χn⟩=−QnV∣n(0)⟩,⟨n(0)∣χn⟩=0.\begin{aligned} \bigl(H_0-E_n^{(0)}\bigr) \lvert\chi_n\rangle &= -Q_nV\lvert n^{(0)}\rangle, \\ \langle n^{(0)}\vert\chi_n\rangle &=0. \end{aligned}

Then

∣χn⟩=Rn′V∣n(0)⟩=∣n(1)⟩,\lvert\chi_n\rangle = R_n'V\lvert n^{(0)}\rangle = \lvert n^{(1)}\rangle,

and

En(2)=⟨n(0)∣V∣χn⟩.E_n^{(2)} = \langle n^{(0)}\rvert V \lvert\chi_n\rangle.

This Dalgarno–Lewis strategy can be preferable when the intermediate spectrum is infinite, includes continuum states, or is inconvenient to construct explicitly. In a numerical basis, the linear system must be solved only on the QnQ_n subspace; otherwise the singular null direction along ∣n(0)⟩\lvert n^{(0)}\rangle makes the equation nonunique.

A formally correct summand does not guarantee a meaningful sum. Several distinct questions must be checked.

The inserted identity must include every discrete state, continuum channel, internal degree of freedom, and symmetry sector reached by VV. Selection rules may remove sectors exactly, but omission by convenience is not a selection rule.

At large intermediate energy, the decay of matrix elements must overcome the density of states and the inverse-gap factor. For unbounded perturbations, convergence may depend on operator domains or quadratic-form bounds. A divergent expression is not repaired by merely calling λ\lambda small.

A single small denominator can dominate the sum and simultaneously invalidate it. If

∣λVmn∣∣En(0)−Em(0)∣≪̸1,\frac{ \lvert\lambda V_{mn}\rvert }{ \lvert E_n^{(0)}-E_m^{(0)}\rvert } \not\ll1,

the corresponding states should usually be treated as a joint model space. Use degenerate perturbation theory when their reference energies coincide, or quasi-degenerate perturbation theory when the small reference splitting must be retained.

For a truncated sum, report how the estimate changes as the energy cutoff or basis size increases. Useful diagnostics include:

  • checking exact selection rules before summing;
  • tracking contributions by energy window rather than only the final total;
  • comparing the direct sum with the projected linear solve;
  • testing unweighted and energy-weighted sum rules;
  • verifying dimensions and the expected sign when a sign theorem applies;
  • comparing with direct diagonalization at several small values of λ\lambda.

For a ground state, every exact intermediate-state contribution is nonpositive. In a literal partial spectral sum, adding more exact states can only make E0(2)E_0^{(2)} more negative. This monotonicity need not survive arbitrary basis approximations in which both energies and matrix elements change as the basis is enlarged.

Worked Example: A Quadratic Oscillator Perturbation

Section titled “Worked Example: A Quadratic Oscillator Perturbation”

Consider

H(λ)=P22m+12mω2X2+λ12mΩ2X2,H(\lambda) = \frac{P^2}{2m} +\frac12m\omega^2X^2 +\lambda\frac12m\Omega^2X^2,

where Ω2\Omega^2 sets the curvature added per unit λ\lambda. The exact Hamiltonian is another harmonic oscillator with frequency

ωλ=ω2+λΩ2.\omega_\lambda = \sqrt{\omega^2+\lambda\Omega^2}.

We can therefore test perturbation theory against an exact answer.

Let

X=ℏ2mω(a+a†).X = \sqrt{\frac{\hbar}{2m\omega}} \left(a+a^\dagger\right).

The perturbing operator is

V=12mΩ2X2=c(a2+a†2+2a†a+1),\begin{aligned} V &= \frac12m\Omega^2X^2 \\ &= c \left( a^2+a^{\dagger2}+2a^\dagger a+1 \right), \end{aligned}

with

c≡ℏΩ24ω.c \equiv \frac{\hbar\Omega^2}{4\omega}.

The diagonal element gives

En(1)=c(2n+1)=ℏΩ22ω(n+12).E_n^{(1)} = c(2n+1) = \frac{\hbar\Omega^2}{2\omega} \left(n+\frac12\right).

Only the states ∣n−2⟩\lvert n-2\rangle and ∣n+2⟩\lvert n+2\rangle enter the second-order sum. Their matrix elements are

Vn−2,n=cn(n−1),Vn+2,n=c(n+1)(n+2).\begin{aligned} V_{n-2,n} &= c\sqrt{n(n-1)}, \\ V_{n+2,n} &= c\sqrt{(n+1)(n+2)}. \end{aligned}

Using the oscillator gaps gives

En(2)=c2[n(n−1)2ℏω−(n+1)(n+2)2ℏω]=−ℏΩ48ω3(n+12).\begin{aligned} E_n^{(2)} ={}& c^2 \left[ \frac{n(n-1)}{2\hbar\omega} - \frac{(n+1)(n+2)}{2\hbar\omega} \right] \\ ={}& - \frac{\hbar\Omega^4}{8\omega^3} \left(n+\frac12\right). \end{aligned}

The lower intermediate state contributes positively and the upper one negatively. The upper-state matrix element is larger, so the net correction is negative for every nn.

Now expand the exact frequency:

ωλ=ω+λΩ22ω−λ2Ω48ω3+O(λ3).\omega_\lambda = \omega +\lambda\frac{\Omega^2}{2\omega} -\lambda^2\frac{\Omega^4}{8\omega^3} +O(\lambda^3).

The exact spectrum

En(λ)=ℏωλ(n+12)E_n(\lambda) = \hbar\omega_\lambda \left(n+\frac12\right)

reproduces both perturbative coefficients. This example checks the denominators, ladder-operator factors, and sign competition without relying on perturbation theory for the final answer.

For the standard quartic oscillator, the complete first- and second-order ground-state calculation is kept on Anharmonic Oscillator by Perturbation Theory. It checks how selection rules restrict an apparently infinite sum to finitely many terms.

The textbook expression should not be used unchanged in the following situations.

Situation What changes
Exact degeneracy Diagonalize PVPPVP within the degenerate subspace first.
Near degeneracy Use a multi-state effective Hamiltonian or exact subspace diagonalization.
Embedded level or open decay channel Bound-state eigenvalue perturbation may become resonance or self-energy theory.
Explicit λ2W\lambda^2W in the Hamiltonian Add ⟨W⟩n\langle W\rangle_n to the mixing contribution.
Unbounded or singular VV Establish a common operator domain or controlled quadratic-form setting.
Large order in an asymptotic series Truncation error is not inferred from the next formal power alone.
Parameter-dependent basis Include derivative or basis-change terms consistently rather than inserting the fixed-basis formula blindly.

When [H0,V]=0[H_0,V]=0 and the target is a nondegenerate common eigenstate, every off-diagonal VmnV_{mn} vanishes. The spectrum may shift linearly, but the second-order mixing term is zero. This is a useful check, not a failure of perturbation theory.

  1. Suppose H(λ)=H0+λV+λ2WH(\lambda)=H_0+\lambda V+\lambda^2W. Derive the second-order energy coefficient for an isolated nondegenerate state.
Solution

At order λ2\lambda^2, the eigenvalue equation contains the additional term W∣n(0)⟩W\lvert n^{(0)}\rangle:

(H0−En(0))∣n(2)⟩=−(V−En(1))∣n(1)⟩−(W−En(2))∣n(0)⟩.\bigl(H_0-E_n^{(0)}\bigr) \lvert n^{(2)}\rangle = - \bigl(V-E_n^{(1)}\bigr) \lvert n^{(1)}\rangle - \bigl(W-E_n^{(2)}\bigr) \lvert n^{(0)}\rangle.

Projecting with ⟨n(0)∣\langle n^{(0)}\rvert in intermediate normalization gives

En(2)=⟨n(0)∣W∣n(0)⟩+⟨n(0)∣V∣n(1)⟩.E_n^{(2)} = \langle n^{(0)}\rvert W\lvert n^{(0)}\rangle + \langle n^{(0)}\rvert V\lvert n^{(1)}\rangle.

Substituting the first-order state correction yields

En(2)=Wnn+∑m≠n∣Vmn∣2En(0)−Em(0).E_n^{(2)} = W_{nn} + \sum_{m\ne n} \frac{\lvert V_{mn}\rvert^2} {E_n^{(0)}-E_m^{(0)}}.
  1. Prove that E0(2)=0E_0^{(2)}=0 if and only if Q0V∣0(0)⟩=0Q_0V\lvert0^{(0)}\rangle=0, assuming a nondegenerate ground state and a convergent spectral sum.
Solution

For the ground state,

E0(2)=−∑m≠0∣Vm0∣2Em(0)−E0(0).E_0^{(2)} = - \sum_{m\ne0} \frac{ \lvert V_{m0}\rvert^2 }{ E_m^{(0)}-E_0^{(0)} }.

Every denominator is positive and every numerator is nonnegative. The sum can vanish only if every contributing numerator vanishes:

Vm0=0for all m≠0.V_{m0}=0 \qquad \text{for all }m\ne0.

By completeness on the orthogonal complement, this condition is equivalent to

Q0V∣0(0)⟩=0.Q_0V\lvert0^{(0)}\rangle=0.

The converse follows immediately: if that projected vector vanishes, every off-diagonal matrix element in the sum is zero.

  1. Expand the exact lower eigenvalue of the two-level Hamiltonian through fourth order in λ\lambda.
Solution

The lower eigenvalue is

E−(λ)=Ea+Eb2−Δ21+4λ2∣v∣2Δ2.E_-(\lambda) = \frac{E_a+E_b}{2} - \frac{\Delta}{2} \sqrt{ 1+ \frac{4\lambda^2\lvert v\rvert^2}{\Delta^2} }.

Using

1+x=1+x2−x28+O(x3)\sqrt{1+x} = 1+\frac{x}{2}-\frac{x^2}{8}+O(x^3)

gives

E−(λ)=Ea−λ2∣v∣2Δ+λ4∣v∣4Δ3+O(λ6).E_-(\lambda) ={} E_a - \lambda^2\frac{\lvert v\rvert^2}{\Delta} + \lambda^4\frac{\lvert v\rvert^4}{\Delta^3} +O(\lambda^6).

Only even powers occur because changing λ\lambda to −λ-\lambda is equivalent to a basis phase change in this two-level model.

  1. For the quadratic oscillator perturbation, explain why only n±2n\pm2 enter En(2)E_n^{(2)} and verify the final coefficient.
Solution

The perturbation is

V=c(a2+a†2+2a†a+1).V = c \left( a^2+a^{\dagger2}+2a^\dagger a+1 \right).

The diagonal terms do not enter the second-order sum. The operator a2a^2 connects nn to n−2n-2, while a†2a^{\dagger2} connects nn to n+2n+2. Therefore

En(2)=c2n(n−1)2ℏω−c2(n+1)(n+2)2ℏω=−c2(2n+1)ℏω.\begin{aligned} E_n^{(2)} &= \frac{c^2n(n-1)}{2\hbar\omega} - \frac{c^2(n+1)(n+2)}{2\hbar\omega} \\ &= - \frac{c^2(2n+1)}{\hbar\omega}. \end{aligned}

Since c=ℏΩ2/(4ω)c=\hbar\Omega^2/(4\omega),

En(2)=−ℏΩ48ω3(n+12).E_n^{(2)} = - \frac{\hbar\Omega^4}{8\omega^3} \left(n+\frac12\right).
  1. Show that the static polarizability tensor of a nondegenerate ground state is positive semidefinite.
Solution

For any real vector u\mathbf u, contract the tensor twice:

uiαij(0)uj=2∑m≠0∣⟨m∣u⋅D∣0⟩∣2Em−E0.u_i\alpha_{ij}^{(0)}u_j = 2 \sum_{m\ne0} \frac{ \left| \langle m\rvert \mathbf u\mathbin{\cdot}\mathbf D \lvert0\rangle \right|^2 }{ E_m-E_0 }.

Every numerator is nonnegative and every denominator is positive for a nondegenerate ground state. Hence

uiαij(0)uj≥0u_i\alpha_{ij}^{(0)}u_j\ge0

for every u\mathbf u, which is the definition of a positive-semidefinite tensor. Zero eigenvalues are possible when symmetry or dynamics forbids dipole coupling in a direction.

  1. A numerical calculation retains only exact intermediate states with Em(0)≤EcutE_m^{(0)}\le E_{\mathrm{cut}}. What monotonic behavior should the ground-state partial sum have as the cutoff increases, and what would a violation suggest?
Solution

Every retained ground-state term is nonpositive:

∣Vm0∣2E0(0)−Em(0)≤0.\frac{\lvert V_{m0}\rvert^2} {E_0^{(0)}-E_m^{(0)}} \le0.

Adding more exact intermediate states can therefore leave the partial sum unchanged or make it more negative. A positive increment suggests a sign or denominator error. Nonmonotonic behavior can also arise if the states are not fixed exact eigenstates but are recomputed in a changing truncated basis; in that case the simple partial-sum argument no longer applies, and basis convergence must be assessed separately.

  • C. M. Bender and T. T. Wu, “Anharmonic oscillator,” Physical Review 184, 1231–1260 (1969). doi:10.1103/PhysRev.184.1231.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, vol. 2, Wiley, 1977, chap. XI.
  • A. Dalgarno and J. T. Lewis, “The exact calculation of long-range forces between atoms by perturbation theory,” Proceedings of the Royal Society A 233, 70–74 (1955). doi:10.1098/rspa.1955.0246.
  • T. Kato, Perturbation Theory for Linear Operators, 2nd ed., Springer, 1995. doi:10.1007/978-3-642-66282-9.
  • A. Messiah, Quantum Mechanics, vol. 2, North-Holland, 1962, chap. XVI.
  • MIT OpenCourseWare, Quantum Physics III, 8.06, Spring 2018, perturbation-theory materials. Course resources.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020, chap. 5.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994, chap. 17.