Dirac to Pauli
The Pauli Hamiltonian is not obtained by merely deleting the lower two components of a Dirac spinor. In the Dirac basis, those components are small in a positive-energy, low-momentum regime, but they mediate the magnetic spin coupling. Solving for them to leading order gives
where is signed and . The coefficient corresponds to the tree-level Dirac value . This page derives that result and states the hierarchy needed to trust it.
Required background. The Covariant Dirac Equation, Gamma-Matrix Conventions, and Minimal Coupling supply the Hamiltonian, Dirac basis, signed charge, and kinetic-momentum commutator. Two-component Pauli algebra and controlled asymptotic expansions are assumed.
Separate the rest energy and spinor blocks
Section titled “Separate the rest energy and spinor blocks”The minimally coupled Dirac equation in Hamiltonian form is
In the Dirac basis,
For a state concentrated in the positive-energy sector, remove the rest- energy phase and write
The two-component amplitudes and are often called the large and small components in this regime. Those names are conclusions of the scale hierarchy, not permanent basis-independent labels.
Substitution gives the exact coupled equations
and
The lower block lies a rest-energy gap away after the positive-branch phase has been removed. Losing this factor of two gives the wrong magnetic and kinetic coefficients.
After removing , the upper component is slow while the lower component is offset by . The off-diagonal operator creates the leading small component; substituting it back produces both kinetic and magnetic terms.
Leading elimination of the small component
Section titled “Leading elimination of the small component”Rearrange the lower equation:
The positive-energy nonrelativistic regime requires gauge-covariant residual energies and kinetic couplings small compared with the gap. An absolute scalar-potential offset is gauge dependent; physically relevant potential differences and transition frequencies must respect the expansion. A useful local hierarchy is
together with fields that vary slowly enough not to induce transitions across the gap. To leading order, replace the operator in parentheses by :
For a free positive-energy packet, this estimates
Setting would discard the entire order needed to generate the Pauli spin term. The correct leading procedure is to solve for and substitute it into the upper equation.
For spatially or temporally varying potentials, the formal inverse
is an ordered operator expression. Expanding it beyond leading order requires care with noncommuting time derivatives, potentials, and kinetic momenta.
The Pauli identity with noncommuting momenta
Section titled “The Pauli identity with noncommuting momenta”Use
Then
Minimal coupling gives
Using ,
The magnetic term is a direct consequence of the noncommuting kinetic momenta. If one replaces by commuting numbers, the spin coupling vanishes incorrectly.
Effective Pauli Hamiltonian
Section titled “Effective Pauli Hamiltonian”Substitute the leading into the upper equation:
The Pauli identity gives
With the physical spin operator
the magnetic term is
For an electron, , so
This sign says that an electron’s magnetic moment is antiparallel to its spin. The lower-energy Zeeman state in a positive field therefore has spin antiparallel to .
What this approximation has and has not done
Section titled “What this approximation has and has not done”The algebraic elimination above is a leading positive-energy approximation. It is not the full Foldy–Wouthuysen transformation. A systematic Foldy–Wouthuysen construction seeks a unitary block diagonalization of the Dirac Hamiltonian order by order, transforming states and observables as well as the Hamiltonian.
At higher order, a controlled calculation can generate:
- the free kinetic correction ;
- spin–orbit coupling;
- the Darwin term;
- field-gradient, time-dependence, and operator-ordering contributions.
Their exact form depends on assumptions such as static versus time-dependent fields, the retained field order, commutator ordering, and Hermitian symmetrization. Printing one compact “general” Hamiltonian without those assumptions would overclaim. Those corrections therefore remain outside this leading-order result; any higher-order extension must declare its field, ordering, and block-diagonalization assumptions explicitly.
The Foldy–Wouthuysen Transformation owns the representation change and transformed observables. The static Foldy–Wouthuysen expansion provides those declared assumptions and derives the higher-order operators.
The leading Pauli result is reliable when the state stays far from the negative-energy sector, momenta are small compared with , external fields are weak and slowly varying on the Compton scale, and pair creation is negligible. It does not provide a Lorentz-covariant two-component theory or a description of antiparticles.
Common pitfalls
Section titled “Common pitfalls”Deleting the small component. Although is suppressed, its leading value generates the kinetic and magnetic operators. Solve for it before truncating.
Using instead of . After the positive rest-energy phase is removed, the negative-energy block is separated by twice the rest energy.
Commuting the kinetic momenta. Their antisymmetric product contains and is exactly what produces the spin term.
Calling the result exact. The Pauli Hamiltonian is the leading low-energy positive-sector theory. Relativistic, radiative, and pair-production effects remain outside it.
Exercises
Section titled “Exercises”1. Coupled component equations
Section titled “1. Coupled component equations”Starting from the Dirac-basis Hamiltonian, reproduce both exact equations for and after removing the rest-energy phase.
Solution
The left side contains an added multiplying both components. On the right, contributes to the upper block and to the lower. Cancellation in the upper equation leaves
In the lower equation the two rest-energy contributions combine to , giving
2. Noncommuting Pauli identity
Section titled “2. Noncommuting Pauli identity”Derive without assuming that the components of commute.
Solution
Only the antisymmetric part of survives contraction with :
Substituting and contracting the epsilon symbols gives .
3. Electron sign
Section titled “3. Electron sign”Set with in the effective Hamiltonian. Which spin projection has lower energy in a uniform field ?
Solution
The spin term is
Its eigenvalues are . The state, whose spin is antiparallel to , has the lower energy.
4. Size of the small component
Section titled “4. Size of the small component”Estimate for a free packet with speed .
Solution
At leading order , so
The probability weight of the lower component is smaller by roughly the square of this ratio.
References
Section titled “References”- L. L. Foldy and S. A. Wouthuysen, “On the Dirac Theory of Spin 1/2 Particles and Its Non-Relativistic Limit,” Physical Review 78, 29–36, 1950, doi:10.1103/PhysRev.78.29.
- W. Greiner, Relativistic Quantum Mechanics: Wave Equations, 3rd ed., Springer, 2000, doi:10.1007/978-3-662-04275-5.
- J. J. Sakurai, Advanced Quantum Mechanics, Addison–Wesley, 1967.
- F. Schwabl, Advanced Quantum Mechanics, 3rd ed., Springer, 2005, doi:10.1007/3-540-28528-8.