Équation de Dirac
L'équation de Dirac est une équation formulée par Paul Dirac en 1928 dans le cadre de sa mécanique quantique relativiste de l'électron. Il s'agit au départ d'une tentative pour incorporer la relativité restreinte à des modèles quantiques, avec une écriture linéaire entre la masse et l'impulsion. Cette équation décrit le comportement de particules élémentaires de spins demi-entiers, comme les électrons. Dirac cherchait à transformer l'équation de Schrödinger afin de la rendre invariante par l'action du groupe de Lorentz, en d'autre termes à la rendre compatible avec les principes de la relativité restreinte. Cette équation prend en compte de manière naturelle la notion de spin introduite peu de temps avant et permit de prédire l'existence des antiparticules. En effet, outre la solution correspondant à l'électron, il découvre une nouvelle solution correspondant à une particule de charge et autres nombres quantiques opposés à celle de l'électron. En 1932, Carl David Anderson, alors qu'il étudiait le rayonnement cosmique (sans lien avec les travaux de Dirac), observe, avec une chambre à brouillard, une particule de charge opposée à celle de l'électron et de masse bien inférieure à celle du proton (seule particule chargée positivement connue à l'époque). Cette particule s'avéra par la suite être celle conjecturée par Dirac, le positron. Il est par ailleurs notable que l'opérateur de Dirac, découvert pour des raisons absolument physiques (et théoriques), a en mathématiques un usage indispensable dans le théorème de l'indice démontré en 1963. La véritable équation : où m est la masse de la particule, c la vitesse de la lumière, la constante de Planck réduite, x et t les coordonnées dans l'espace et dans le temps, et ψ(x, t) une fonction d'onde à quatre composantes. (La fonction d'onde doit être formulée par un spineur à quatre composants, plutôt que par un simple champ scalaire, du fait des exigences de la relativité restreinte.) Enfin sont des matrices de dimension agissant sur le spineur et appelées matrices de Dirac.