For a quantum harmonic oscillator perturbed by , write . Since
first-order nondegenerate perturbation theory gives
Linear Stark effect in the first excited hydrogen eigenspace Created 2026-10-18 Updated 2026-10-20
Consider a fixed proton and one electron, omitting spin, fine structure and the Lamb shift. Let be the elementary charge, the Bohr radius in this fixed-nucleus model, and . Because the electron's electric dipole moment is , its electric-dipole interaction is
The first excited hydrogen eigenspace has a common unperturbed energy eigenvalue . Write and in the hydrogen energy eigenbasis. The electric-dipole selection rules for hydrogen leave only the coupling within this eigenspace. Each diagonal matrix element vanishes by parity, but that does not make the entire perturbation vanish. Degenerate perturbation theory requires its eigenvalues in the whole eigenspace. With the usual real wavefunction phases the off-diagonal position matrix element is .[ref]
The factor three can be checked directly. Set and use normalized radial wavefunctions and spherical harmonics:
The angular integral is . Including and the radial volume factor then gives
Reversing the quantum phase of reverses this sign, with no change to the predicted energy eigenvalues.
Thus the nontrivial two-dimensional block and its determinant equation are
Consequently, for the displayed sign convention,
The two remaining energy eigenstates have zero first-order shifts. The slopes correspond to opposite electric dipole moments, and . The electric field selects combinations of opposite parity that already have these dipole expectations at leading order. This is why applying first-order nondegenerate perturbation theory separately to and , and obtaining two zero diagonal entries, misses the splitting.
The approximation requires small compared with the separation to other principal quantum numbers. For real hydrogen atoms, it also requires the relevant electric-dipole interaction to dominate the small splittings omitted here, including the Lamb shift. At sufficiently small electric fields a pre-existing nonzero – separation must be retained before taking the limit. A simple two-state illustration with unperturbed separation has shifts relative to its mean
For , the lower branch moves by relative to its zero-field value. At the splitting is linear. This interpolation explains the importance of the hydrogen energy-level degeneracy; it is not a complete model of the fine structure multiplet.
Perturbation theory for an isolated eigenvalue with a one-dimensional eigenspace. First-order nondegenerate perturbation theory gives the diagonal perturbation expectation, while second-order nondegenerate perturbation theory accounts for coupling to other unperturbed eigenstates through energy denominators. Symmetry can permit its use within one block even if another, uncoupled symmetry block has the same unperturbed eigenvalue.
Introduce a bookkeeping parameter in and expand and . Fix phase and normalization at this order by . The first-order Schrödinger equation is
angular momentum projection onto gives . angular momentum projection onto a different eigenstate gives
Completeness therefore yields the first-order nondegenerate perturbation theory result
Nonzero energy denominators are essential. The displayed state has unit norm through first order; exact normalization would change terms of second order. A continuum, if present, contributes its corresponding integral as well as any discrete sum.
For the oscillator in a static electric field, electrostatic potential energy is and . parity gives , and the supplied Gaussian wavefunctions give
Since , the two-state first-order ground state is
Thus , and the induced electric dipole is
It is aligned with the field for either sign of . The harmonic-oscillator electric polarizability is . The position operator connects only to , so the requested two-state calculation contains the complete first-order dipole response, rather than dropping other first-order terms.
Complete the square to find the exact electric-field displacement of a quantum harmonic oscillator:
The exact normalized ground wavefunction is , with energy . Its mean displacement is , so
The first-order dipole equals the exact dipole, because the restoring force is exactly linear and translating a harmonic well does not change its width or frequency. This agreement of one expectation value does not make the truncated wavefunction exact. The Hellmann–Feynman theorem provides an independent check: .
For perturbation theory to approximate the state, , or . The exact translated ground state has the original-oscillator expansion
It is a coherent state with mean occupation . Large fields require many oscillator levels, whereas the first-order state retains only two. The normalized two-state truncation of a displaced oscillator instead gives
which incorrectly tends towards zero for large instead of following the displaced well. In position space the truncated polynomial times Gaussian also develops a node absent from the exact ground state. Taking a linearized formula outside its small-state-correction regime is therefore invalid even though its dipole coefficient happens to be exact.
Figure 1.
Exact translated ground state compared with its normalized two-state truncation at weak and strong displacement
. Details.
Each one-particle energy eigenstate has definite parity about the centre of the well, so . Consequently, a doubly occupied orbital has . For distinct orbitals, the two off-diagonal exchange terms instead survive:
The position matrix elements in a symmetric infinite square well, with the present width , give
The sign of depends on the orbital phase convention, while does not. The perturbation acts only on the spatial part and cannot mix orthogonal singlet states and triplet states. Within a triplet it is proportional to the identity on the spin factor. Thus first-order nondegenerate perturbation theory, with this trivial diagonal treatment of spin degeneracy, gives the shifts corresponding to the three rows in part (b):
These formulae also apply for , with the reordered levels described above. At , they resolve the fourfold level into a shifted triplet and singlet. The next doubly occupied orbital still has zero first-order shift. The perturbative requirement is for mixing with remote orbital states; the spin-independent perturbation does not require division by the small singlet–triplet gap.
Write the trap angular frequency as and the single-particle oscillator length as . The center of mass coordinate and relative coordinate give independent quantum harmonic oscillators, both of frequency , with masses and reduced mass . Label their excitation numbers by and . The unperturbed energy eigenvalue is .
Particle exchange leaves unchanged and sends to . The exchange symmetry of two identical spin-one-half fermions therefore requires even to accompany the spin-one-half singlet state, and odd to accompany a spin-one-half triplet state. For the contact shifts of two spin-one-half fermions in a harmonic trap, the delta potential depends only on . For odd , the relative wavefunction vanishes at , so its contact shift is zero. Within the first-excited manifold, both perturbations are diagonal in the labels : this is a perturbation diagonal within a degenerate eigenspace. For , the relative oscillator length is , giving the first-order nondegenerate perturbation theory shift
The Zeeman splitting is for total spin projection . Thus the five lowest states, counted with multiplicity, have
under the assumed conditions . The three triplet states have slopes , while both singlet states are field independent at this order. The three triplet state branches coincide at zero magnetic field. Their crossing with the excited singlet state is allowed because the total-spin sectors do not mix. The odd relative wavefunctions are in fact unaffected by this delta potential at any coupling; the displayed singlet state shifts retain only first order.
Figure 1.
Five lowest two-fermion states in a weakly interacting harmonic trap
. Original plot for repulsive contact shift , with . The two horizontal singlet state branches and three triplet state branches count five states; coincident energies count as fewer distinct energy levels. An attractive coupling reverses the sign of and moves both singlet state branches downward. Details.
In the normalized plane wave basis, the only nonzero potential matrix elements are
Thus a useful small parameter is , which suppresses admixture of well-separated energy levels. First-order nondegenerate perturbation theory further requires for the coupled states. This latter condition fails near a half-integer even for very small ; there one must use degenerate perturbation theory in the nearly degenerate pair. Smallness is measured against the gaps to the other states, not the vanishing gap inside this pair.
Near , keep . The resulting Hamiltonian operator matrix and its eigenvalues are
In particular,
For positive , the lower quantum state at the crossing is the symmetric combination of , and the upper state is the antisymmetric combination. A negative exchanges these combinations but leaves the ordered energy eigenvalues unchanged.
This cosine-potential gap in a quantum ring appears in the middle panel above: each lowest-branch crossing opens into an avoided crossing of gap to first order. Away from these crossings, the diagonal matrix elements vanish, so the leading shifts are second order. At integer , the two first-excited plane waves differ by two units of and therefore have no first-order coupling; their smaller splitting begins at second order. The numerical plot includes that splitting.
The unperturbed infinite square well is invariant under the parity operator. Its one-dimensional energy eigenvalues are nondegenerate, so each energy eigenstate has definite parity. Its position expectation value therefore vanishes: is even, while is odd. The first-order nondegenerate perturbation theory correction is consequently
The electric field does mix opposite-parity quantum states, and second-order nondegenerate perturbation theory contains two factors of . Its leading contribution is thus proportional to : this is a quadratic Stark effect. More generally, applying the parity operator changes into , so their corresponding energy eigenvalues agree. An analytic expansion about zero electric field contains only even powers of . We assume is small compared with the unperturbed excitation scale.
Insert the expansions into the energy eigenvalue equation . Through first order,
The zeroth-order coefficients reproduce part (i). Equating the coefficients of and moving them to one side gives
Terms involving first enter at order and do not affect this equation of first-order nondegenerate perturbation theory.
Write for the two eigenstates, of eigenvalues . The spin-spin interaction can be evaluated using
For , take and . The unperturbed energy eigenvalues are on , respectively. For an isolated normalized energy eigenstate , first-order nondegenerate perturbation theory gives . The two antiparallel spins have expectation , so
For the zero-energy degenerate eigenspace, degenerate perturbation theory requires diagonalizing the restriction of . On the ordered basis it is : the ladder operators cannot take one parallel state to the other. Indeed neither parallel state couples to anything else under , so the remaining two levels are exactly , retaining their twofold quantum degeneracy.
For , take and , where . The spin-one-half triplet state basis and spin-one-half singlet state are
The identity gives unperturbed energy eigenvalues and . Direct action gives
Consequently the restriction of to the entire triplet degenerate eigenspace is zero, so no first-order splitting is missed. The singlet expectation is also zero. In second-order nondegenerate perturbation theory, . Within the triplet, the corresponding second-order effective matrix is , already diagonal in this basis. Thus, through second order,
The last two expressions have higher corrections beginning at , as the exact calculation in part (d) also verifies. For positive , coupling to the lower singlet raises the triplet's level and lowers the singlet; the signs are precisely the energy denominators above.
From the creation and annihilation operators commutator,
Therefore is either zero or an energy eigenstate with energy . Since each energy level of the one-dimensional quantum harmonic oscillator is nondegenerate, . Its norm determines the coefficient:
Choosing the conventional phases of the number states gives
Solving the given relation for the position operator gives
Put . Repeated use of the ladder relations gives
Hence
In first-order nondegenerate perturbation theory, the component is omitted from the state correction, while and . It follows that
which is the first-order ground state of the quartic oscillator.
Let . Hermiticity gives
so in the ordered basis ,
For a nondegenerate unperturbed level, the first-order nondegenerate perturbation theory formulas are
The diagonal matrix elements vanish, so both linear energy corrections are zero. The state corrections are
Thus, through linear order,
Normalization changes only at quadratic order.
The unperturbed ground state is with energy . Since
the first-order energy correction vanishes and first-order nondegenerate perturbation theory gives