View source for Dirac equation

A relativistic wave equation which plays a fundamental role in relativistic quantum mechanics and in quantum field theory. It is used for describing particles with spin 1/2 (in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326801.png" /> units), i.e. electrons, neutrinos, muons, protons, neutrons, etc., and also positrons and all other anti-particles and hypothetical subparticles — quarks. The Dirac equation is the foundation of the theory of particles with half-integral spin (1/2, 3/2, 5/2, etc.), i.e. fermions which obey the Fermi statistics. Thus, the Rarita–Schwinger equation is a generalization of the Dirac equation for particles with spin 3/2.

The Dirac equation is a system of four linear homogeneous partial differential equations of the first order with constant complex coefficients, which is invariant with respect to the general Lorentz group of transformations

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326802.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326803.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326804.png" /> is the rest mass, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326805.png" /> with the pseudo-Euclidean metric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326806.png" /> and

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326807.png" /></td> </tr></table>

is the metric tensor of the Minkowski space with signature <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326808.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d0326809.png" /> is the [[Dirac spinor|Dirac spinor]] (bi-spinor):

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268010.png" /></td> </tr></table>

and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268011.png" /> are the [[Dirac matrices|Dirac matrices]], which satisfy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268012.png" />.

Under the transformations of the variables from the general Lorentz group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268013.png" /> [[#References|[2]]] the bi-spinor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268014.png" /> is transformed in accordance with the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268015.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268016.png" /> is a non-singular complex matrix of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268017.png" />. The matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268018.png" /> form a special two-valued representation of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268019.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268020.png" />). The Dirac equation does not change its form with respect to the new variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268021.png" /> (relativistic invariance):

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268022.png" /></td> </tr></table>

The case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268023.png" /> yields the Weyl equation, which describes the neutrino. Here, the Dirac equation is subdivided into two independent equations for spinor functions (van der Waerden spinors) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268025.png" />. None of them will be invariant with respect to reflections (a theory in which parity is not preserved).

Any solution of the Dirac equation satisfies the [[Klein–Gordon equation|Klein–Gordon equation]], which describes spin-less scalar particles

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268026.png" /></td> </tr></table>

but not every solution of this equation satisfies the Dirac equation, which is obtained by factorization of the Klein–Gordon equation.

It follows from the Dirac equation that electrons have intrinsic angular momentum (spin) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268027.png" />. The Dirac equation is a complete description of the motion of atomic electrons in the field of the nucleus and in other electromagnetic fields, and also of the interaction of an electron with certain elementary particles.

Any relativistically invariant equation can be represented in the form of the Dirac equation:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268028.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268029.png" /> is a generalization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268030.png" />. In the Klein–Gordon equation the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268031.png" /> has five components, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268032.png" /> are four five-row matrices which satisfy the relations:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268033.png" /></td> </tr></table>

(Duffin–Kemmer matrices).

The interaction of fermions with an electromagnetic field is allowed for by exchanging the derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268034.png" /> for the compensating derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268035.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268036.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268037.png" />-potential of the electro-magnetic field). In the interaction of fermions with the general gauge field ([[Yang–Mills field|Yang–Mills field]]) the compensating derivative is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268038.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268039.png" /> are the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268040.png" />-potentials of the field and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268041.png" /> form a basis of the Lie algebra, i.e. are generators of the Lie group). In a similar manner, allowance for the interactions of fermions with the gravitational field, in accordance with the general theory of relativity, results in the generalization of the Dirac equation to a Riemannian space, by introducing a corresponding compensating (covariant) derivative [[#References|[3]]]:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268042.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268043.png" /> are the spinor connection coefficients, initially defined with the aid of the tetrad formalism, which satisfy the relations

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268044.png" /></td> </tr></table>

or

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268045.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268046.png" /> are the Christoffel symbols. The general relativistic generalization of the Dirac equation is indispensable in the study of gravitational collapse, in the description of the predicted effect of particle generation in strong gravitational fields, etc.

In a space with torsion, the Dirac equation includes a non-linear increment of cubic type [[#References|[4]]] and it becomes the non-linear equation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268047.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268049.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268050.png" /> is the gravitation constant.

By analogy, in a non-metric [[Space-time|space-time]] (Weyl space-time) the Dirac equation also includes a non-linear increment of cubic type [[#References|[5]]]:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268051.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032680/d03268052.png" />.

The equation was introduced in 1928 by P. Dirac.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.A.M. Dirac,   "The principles of quantum mechanics" , Clarendon Press  (1947)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.N. Bogolyubov,   D.V. Shirkov,   "Introduction to the theory of quantized fields" , Interscience  (1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  D.R. Brill,   J.A. Wheeler,   "Neutrinos in the gravitational field"  ''Rev. Modern Physics'' , '''29'''  (1957)  pp. 465</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.I. Rodichev,   "The spinor field in space-time with torsion"  ''Zh. Eksper. Teor. Fiz.'' , '''40'''  (1969)  pp. 1469  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  V.G. Krechet,   "The spinor field and nonmetricity of space-time"  ''Izv. Voozov. Fiz.'' , '''6'''  (1980)  pp. 52  (In Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  J.D. Bjorken,   "Relativistic quantum theory" , '''1''' , McGraw-Hill  (1964)</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H. Umezawa,   "Quantum field theory" , North-Holland  (1956)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  Y. Takahashi,   "An introduction to field quantization" , Pergamon  (1969)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R. Roman,   "Theory of elementary particles" , North-Holland  (1960)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  V.S. Varadarajan,   "Geometry of quantum theory" , '''1–2''' , v. Nostrand  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  S.W. Hawking,   G.F.R. Ellis,   "The large scale structure of spacetime" , Cambridge Univ. Press  (1973)</TD></TR></table>