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 only a formal ordered expression until an inverse and its boundary or initial conditions have been chosen. For time evolution the solution also contains the homogeneous lower-component term fixed by the initial state; the inverse alone must not silently discard it. Stationary reduction and time-dependent elimination are distinguished in Effective Hamiltonians. Beyond leading order, time derivatives, potentials, and kinetic momenta must remain in their stated order.
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 .
From Pauli dynamics to relativistic corrections
Section titled “From Pauli dynamics to relativistic corrections”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 form depends on whether the fields are static, which field orders are retained, and how the noncommuting operators are ordered. The higher-order calculation must preserve Hermiticity and transform the state normalization and observables consistently.
The Foldy–Wouthuysen Transformation explains 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.
Exercises
Section titled “Exercises”1. Noncommuting Pauli identity
Section titled “1. 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 .
2. Electron sign
Section titled “2. 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.
3. Size of the small component
Section titled “3. 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.