Dirac equation in the algebra of physical space

The Dirac equation, as the relativistic equation that describes spin 1/2 particles in quantum mechanics, can be written in terms of the Algebra of physical space (APS), which is a case of a Clifford algebra or geometric algebra that is based on the use of paravectors.

The Dirac equation in APS, including the electromagnetic interaction, reads

${\displaystyle i{\bar {\partial }}\Psi \mathbf {e} _{3}+e{\bar {A}}\Psi =m{\bar {\Psi }}^{\dagger }}$

Another form of the Dirac equation in terms of the Space time algebra was given earlier by David Hestenes.

In general, the Dirac equation in the formalism of geometric algebra has the advantage of providing a direct geometric interpretation.

Relation with the standard form

The spinor can be written in a null basis as

${\displaystyle \Psi =\psi _{11}P_{3}-\psi _{12}P_{3}\mathbf {e} _{1}+\psi _{21}\mathbf {e} _{1}P_{3}+\psi _{22}{\bar {P}}_{3},}$

such that the representation of the spinor in terms of the Pauli matrices is

${\displaystyle \Psi \rightarrow {\begin{pmatrix}\psi _{11}&\psi _{12}\\\psi _{21}&\psi _{22}\end{pmatrix}}}$

${\displaystyle {\bar {\Psi }}^{\dagger }\rightarrow {\begin{pmatrix}\psi _{22}^{*}&-\psi _{21}^{*}\\-\psi _{12}^{*}&\psi _{11}^{*}\end{pmatrix}}}$

The standard form of the Dirac equation can be recovered by decomposing the spinor in its right and left-handed spinor components, which are extracted with the help of the projector

${\displaystyle P_{3}={\frac {1}{2}}(1+\mathbf {e} _{3}),}$

such that

${\displaystyle \Psi _{L}={\bar {\Psi }}^{\dagger }P_{3}}$

${\displaystyle \Psi _{R}=\Psi P_{3}^{}}$

with the following matrix representation

${\displaystyle \Psi _{L}\rightarrow {\begin{pmatrix}\psi _{22}^{*}&0\\-\psi _{12}^{*}&0\end{pmatrix}}}$

${\displaystyle \Psi _{R}\rightarrow {\begin{pmatrix}\psi _{11}&0\\\psi _{21}&0\end{pmatrix}}}$

The Dirac equation can be also written as

${\displaystyle i\partial {\bar {\Psi }}^{\dagger }\mathbf {e} _{3}+eA{\bar {\Psi }}^{\dagger }=m\Psi }$

Without electromagnetic interaction, the following equation is obtained from the two equivalent forms of the Dirac equation

${\displaystyle {\begin{pmatrix}0&i{\bar {\partial }}\\i\partial &0\end{pmatrix}}{\begin{pmatrix}{\bar {\Psi }}^{\dagger }P_{3}\\\Psi P_{3}\end{pmatrix}}=m{\begin{pmatrix}{\bar {\Psi }}^{\dagger }P_{3}\\\Psi P_{3}\end{pmatrix}}}$

so that

${\displaystyle {\begin{pmatrix}0&i\partial _{0}+i\nabla \\i\partial _{0}-i\nabla &0\end{pmatrix}}{\begin{pmatrix}\Psi _{L}\\\Psi _{R}\end{pmatrix}}=m{\begin{pmatrix}\Psi _{L}\\\Psi _{R}\end{pmatrix}}}$

or in matrix representation

${\displaystyle i\left({\begin{pmatrix}0&1\\1&0\end{pmatrix}}\partial _{0}+{\begin{pmatrix}0&\sigma \\-\sigma &0\end{pmatrix}}\cdot \nabla \right){\begin{pmatrix}\psi _{L}\\\psi _{R}\end{pmatrix}}=m{\begin{pmatrix}\psi _{L}\\\psi _{R}\end{pmatrix}},}$

where the second column of the right and left spinors can be dropped by defining the single column chiral spinors as

${\displaystyle \psi _{L}\rightarrow {\begin{pmatrix}\psi _{22}^{*}\\-\psi _{12}^{*}\end{pmatrix}}}$

${\displaystyle \psi _{R}\rightarrow {\begin{pmatrix}\psi _{11}\\\psi _{21}\end{pmatrix}}}$

The standard relativistic covariant form of the Dirac equation in the Weyl representation can be easily identified ${\displaystyle i\gamma ^{\mu }\partial _{\mu }\psi =m\psi ,}$ such that

${\displaystyle \psi _{=}{\begin{pmatrix}\psi _{22}^{*}\\-\psi _{12}^{*}\\\psi _{11}\\\psi _{21}\end{pmatrix}}}$

Given two spinors ${\displaystyle \Psi }$ and ${\displaystyle \Phi }$ in APS and their respective spinors in the standard form as ${\displaystyle \psi }$ and ${\displaystyle \phi }$, one can verify the following identity

${\displaystyle \phi ^{\dagger }\gamma ^{0}\psi =\langle {\bar {\Phi }}\Psi +({\bar {\Psi }}\Phi )^{\dagger }\rangle _{S}}$,

such that

${\displaystyle \psi ^{\dagger }\gamma ^{0}\psi =2\langle {\bar {\Psi }}\Psi \rangle _{SR}}$

Electromagnetic gauge

The Dirac equation is invariant under a global right rotation applied on the spinor of the type

${\displaystyle \Psi \rightarrow \Psi ^{\prime }=\Psi R_{0}}$

so that the kinetic term of the Dirac equation transforms as

${\displaystyle i{\bar {\partial }}\Psi \mathbf {e} _{3}\rightarrow i{\bar {\partial }}\Psi R_{0}\mathbf {e} _{3}R_{0}^{\dagger }R_{0}=(i{\bar {\partial }}\Psi \mathbf {e} _{3}^{\prime })R_{0},}$

where we identify the following rotation

${\displaystyle \mathbf {e} _{3}\rightarrow \mathbf {e} _{3}^{\prime }=R_{0}\mathbf {e} _{3}R_{0}^{\dagger }}$

The mass term transforms as

${\displaystyle m{\overline {\Psi ^{\dagger }}}\rightarrow m{\overline {(\Psi R_{0})^{\dagger }}}=m{\overline {\Psi ^{\dagger }}}R_{0},}$

so that we can verify the invariance of the form of the Dirac equation. A more demanding requirement is that the Dirac equation should be invariant under a local gauge transformation of the type ${\displaystyle R=\exp(-ie\chi \mathbf {e} _{3})}$

In this case, the kinetic term transforms as

${\displaystyle i{\bar {\partial }}\Psi \mathbf {e} _{3}\rightarrow (i{\bar {\partial }}\Psi )R\mathbf {e} _{3}+(e{\bar {\partial }}\chi )\Psi R}$,

so that the left side of the Dirac equation transforms covariantly as

${\displaystyle i{\bar {\partial }}\Psi \mathbf {e} _{3}-e{\bar {A}}\Psi \rightarrow (i{\bar {\partial }}\Psi R\mathbf {e} _{3}R^{\dagger }-e{\overline {(A+\partial \chi )}}\Psi )R,}$

where we identify the need to perform an electromagnetic gauge transformation. The mass term transforms as in the case with global rotation, so, the form of the Dirac equation remains invariant.

Current

The current is defined as

${\displaystyle J=\Psi \Psi ^{\dagger },}$

which satisfies the continuity equation

${\displaystyle \left\langle {\bar {\partial }}J\right\rangle _{S}=0}$

Second order Dirac equation

An application of the Dirac equation on itself leads to the second order Dirac equation

${\displaystyle (-\partial {\bar {\partial }}+A{\bar {A}})\Psi -i(2e\left\langle A{\bar {\partial }}\right\rangle _{S}+eF)\Psi \mathbf {e} _{3}=m^{2}\Psi }$

Free particle solutions

Positive energy solutions

A solution for the free particle with momentum ${\displaystyle p=p^{0}+\mathbf {p} }$ and positive energy ${\displaystyle p^{0}>0}$ is

${\displaystyle \Psi ={\sqrt {\frac {p}{m}}}R(0)\exp(-i\left\langle p{\bar {x}}\right\rangle _{S}\mathbf {e} _{3}).}$

This solution is unimodular

${\displaystyle \Psi {\bar {\Psi }}=1}$

and the current resembles the classical proper velocity

${\displaystyle u={\frac {p}{m}}}$

${\displaystyle J=\Psi {\Psi }^{\dagger }={\frac {p}{m}}}$

Negative energy solutions

A solution for the free particle with negative energy and momentum ${\displaystyle p=-|p^{0}|-\mathbf {p} =-p^{\prime }}$ is

${\displaystyle \Psi =i{\sqrt {\frac {p^{\prime }}{m}}}R(0)\exp(i\left\langle p^{\prime }{\bar {x}}\right\rangle _{S}\mathbf {e} _{3}),}$

This solution is anti-unimodular

${\displaystyle \Psi {\bar {\Psi }}=-1}$

and the current resembles the classical proper velocity ${\displaystyle u={\frac {p}{m}}}$

${\displaystyle J=\Psi {\Psi }^{\dagger }=-{\frac {p}{m}},}$

but with a remarkable feature: "the time runs backwards"

${\displaystyle {\frac {dt}{d\tau }}=\left\langle {\frac {p}{m}}\right\rangle _{S}<0}$

Dirac Lagrangian

The Dirac Lagrangian is

${\displaystyle L=\langle i\partial {\bar {\Psi }}^{\dagger }\mathbf {e} _{3}{\bar {\Psi }}-eA{\bar {\Psi }}^{\dagger }{\bar {\Psi }}-m\Psi {\bar {\Psi }}\rangle _{S}}$

See also

• Paravector
• Algebra of physical space
• Geometric algebra
• Two-body Dirac equations

References

Textbooks

• Baylis, William (2002). Electrodynamics: A Modern Geometric Approach (2nd ed.). Birkhäuser. ISBN 0-8176-4025-8
• W. E. Baylis, editor, Clifford (Geometric) Algebra with Applications to Physics, Mathematics, and Engineering, Birkhäuser, Boston 1996. ISBN 0-8176-3868-7

Articles

• Baylis, W. E. (1 March 1992). "Classical eigenspinors and the Dirac equation". Physical Review A. American Physical Society (APS). 45 (7): 4293–4302. doi:10.1103/physreva.45.4293. ISSN 1050-2947.
• Hestenes, David (1975). "Observables, operators, and complex numbers in the Dirac theory". Journal of Mathematical Physics. AIP Publishing. 16 (3): 556–572. doi:10.1063/1.522554. ISSN 0022-2488.