Work with and . Multiplying the free Dirac equation by the operator with the opposite mass sign gives
The ordinary derivatives commute, so only the symmetric part of contributes. Requiring this operator to factor the Klein-Gordon equation, , for arbitrary free momenta gives
Thus the Dirac matrices represent the corresponding Clifford algebra. The inference uses factorization for the general free equation; the fact that one specially chosen wavefunction happens to solve both equations would not alone determine every matrix anticommutator.
Let , , and . Direct differentiation in the gauge covariant derivative gives
The gradient of the local phase is exactly cancelled by the potential transformation. Since is scalar in spinor space and commutes with the Dirac matrices,
Consequently a solution is mapped into a solution: the minimally coupled Dirac equation is covariant under the local U(1) gauge symmetry. The operator and wavefunction both transform; ordinary differentiation of the transformed wavefunction alone would leave an extra phase-gradient term.
Use . The stated derivative convention gives . Also . Splitting products into symmetric and antisymmetric parts therefore yields
Multiplying the first-order equation by now gives
The antisymmetric derivative commutator is the electromagnetic field strength. It is the extra term absent when squaring an uncoupled Dirac operator with commuting derivatives, and it generates the spin–magnetic-field interaction in the nonrelativistic limit.
With , the lowered components are . Define and . This convention describes physical charge . Since ,
Writing makes the squared equation
Drop relative to and write . Both two-component blocks obey the Pauli equation
The gauge-covariant kinetic term contains , , and : free kinetic, orbital magnetic, and diamagnetic contributions. The spin term is with , giving spin gyromagnetic factor at this order. In uniform and symmetric gauge, the orbital term is .
Squaring introduces extra formal solutions unless the original first-order equation is retained. In the usual positive-energy Dirac basis it relates the small lower component to the upper one by . Thus these are not two independent nonrelativistic particles. Restoring units places in the spin term, .

Articles by others on the same topic (0)

There are currently no matching articles.