La construction logique et algébrique donnant l'équation de Dirac : une équation d'onde relativiste du premier ordre pour particules de spin 1/2 dont l'opérateur au carré reproduit la relation relativiste énergie-impulsion et qui introduit des degrés de liberté spinoriels et des matrices gamma (ou de Dirac).

Principe

Exiger un opérateur différentiel linéaire en espace et temps, covariant de Lorentz, dont le carré égale l'opérateur de Klein–Gordon (p^μ p_μ - m^2) ; cette contrainte algébrique impose l'introduction de matrices satisfaisant des anticommutateurs spécifiques et de spineurs multi-composants.

Démonstration

Poser H = c α·p + β m c^2 avec des matrices α_i, β choisies de sorte que {α_i,α_j}=2δ_{ij}, {α_i,β}=0 et β^2=1. Élever l'Hamiltonien au carré donne H^2 = c^2 p^2 + m^2 c^4, conduisant à des solutions planes ψ∝u(p)e^{-i p·x} avec branches d'énergie positive et négative et spineurs à quatre composantes.

Mauvaise application

Tenter de linéariser la dispersion relativiste avec des coefficients scalaires ou des objets à deux composantes en trois dimensions spatiales sans satisfaire l'algèbre de Clifford requise ; négliger les solutions d'énergie négative et leurs implications physiques (antiparticules) conduit à une physique inconsistante.

Conséquence

Prédit le spin intrinsèque de l'électron, le bon écartement fin des niveaux hydrogénoïdes (lorsqu'on inclut le couplage électromagnétique), les interactions du moment magnétique, et nécessite une réinterprétation en théorie des champs avec antiparticules et création/annihilation à hautes énergies.

Inversion

L'équation de Klein–Gordon est l'équation d'onde relativiste directe au second ordre pour champs scalaires ; la réduction non relativiste de Dirac via Foldy–Wouthuysen ou par expansion en faibles vitesses donne la description de Schrödinger (Pauli) plus des corrections relativistes quand approprié.

Limite

La dérivation suppose un espace-temps de Minkowski plat et la mécanique quantique relativiste pour une particule ; l'extension à la théorie quantique des champs interactive, la renormalisation, l'espace-temps courbe avec connexion spinorielle, ou la production de paires en multi-corps requiert une structure additionnelle au-delà de la dérivation élémentaire.

Tension sémantique

Tension entre la vision de l'équation de Dirac comme équation d'onde monoparticule et la nécessité d'une interprétation en théorie quantique des champs pour rendre compte correctement des états d'énergie négative et de la création de particules ; les choix de représentation (base des matrices gamma) modifient la forme mais pas la physique.

Synthèse

La dérivation de l'équation de Dirac impose des contraintes algébriques qui linéarisent la dispersion relativiste, forçant l'introduction de spineurs multi-composants et de matrices anticommutantes ; elle fournit une description minimale covariante de Lorentz de la dynamique des spin-1/2 et oriente vers une généralisation en théorie des champs.