The Dirac Equation

Text size

Introduction

Relativistic spin- 12\tfrac12 fields are not built from one ordinary two-component spinor. Relativity distinguishes two different kinds of Lorentz 2-spinors:

  • a left-handed spinor η\eta, transforming as (sL,sR)=(12,0)(s_L,s_R)=(\tfrac12,0),
  • a right-handed spinor ξ\xi, transforming as (sL,sR)=(0,12)(s_L,s_R)=(0,\tfrac12).

Under ordinary spatial rotations, they behave the same way. Under Lorentz boosts, they transform oppositely. This difference is the core reason why the relativistic spin- 12\tfrac12 equation has to connect left-handed and right-handed spinors.

The goal is to construct a Lorentz-covariant first-order field equation for a charged spinor field. The result is the Dirac equation. In 2-spinor notation it appears as two coupled equations,

i(0+σ)η=Mcξ,i(0σ)ξ=Mcη,i\hbar(\partial_0+\vec\sigma\cdot\vec\nabla)\eta=Mc\xi, \qquad i\hbar(\partial_0-\vec\sigma\cdot\vec\nabla)\xi=Mc\eta,

where 0=c1t\partial_0=c^{-1}\partial_t. In 4-spinor notation the same equation becomes

iγμμψ=Mcψ.i\hbar\gamma^\mu\partial_\mu\psi=Mc\psi.

The construction has three main steps. First, we review how left- and right-handed 2-spinors transform under rotations and boosts. Second, we show how to map between the two chiralities using either Majorana conjugation or first-order differential operators. Third, we use those maps to build the Majorana equation for a neutral spinor field and then the Dirac equation for a charged spinor field.

The final point is important: the Dirac equation is not just a relativistic Schrödinger equation for one electron. In quantum field theory, ψ\psi becomes an operator-valued field. Its quantized version destroys electrons and creates positrons. The one-particle interpretation is not enough.

Learning Objectives

  • Write the transformation laws of left-handed and right-handed Lorentz 2-spinors under rotations and boosts.
  • Explain why both chiralities transform identically under spatial rotations but oppositely under boosts.
  • Check which spinor bilinears are invariant under rotations and boosts.
  • Construct the Majorana conjugate μ=σ2η\mu=\sigma_2\eta^* and show that it flips handedness.
  • Use Pauli matrix identities to understand chirality-changing spinor maps.
  • Construct right-handed spinors from left-handed spinors using i(t+cσ)i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla).
  • Construct left-handed spinors from right-handed spinors using i(tcσ)i\hbar(\partial_t-c\vec\sigma\cdot\vec\nabla).
  • Derive the Majorana equation as the neutral spinor case.
  • Show that the Majorana equation implies the Klein-Gordon equation.
  • Explain why a charged spinor field requires two identical Majorana spinors combined into a complex field.
  • Derive the Dirac equation in 2-spinor notation.
  • Rewrite the 2-spinor equation using a 4-spinor and gamma matrices.
  • Explain why the Dirac equation is a field equation, not a complete one-particle quantum theory by itself.

Prerequisite Knowledge

  • Lorentz transformations and Lorentz covariance
  • Left-handed and right-handed Lorentz 2-spinors
  • Pauli matrices
  • Complex conjugation and Hermitian conjugation
  • Klein-Gordon equation
  • Basic field-theory language: fields, particles, and operator-valued fields
  • Einstein summation convention

1. Left-handed Lorentz 2-spinors

A left-handed Lorentz 2-spinor is a two-component complex field

η(r,t)=(η1(r,t)η2(r,t)).\eta(\vec r,t)= \begin{pmatrix} \eta_1(\vec r,t)\\ \eta_2(\vec r,t) \end{pmatrix}.

It transforms in the Lorentz representation

(sL,sR)=(12,0).(s_L,s_R)=\left(\frac12,0\right).

The Lorentz generators are decomposed into left- and right-handed parts:

R^L=S^+iT^2,R^R=S^iT^2.\hat{\vec R}_L=\frac{\hat{\vec S}+i\hat{\vec T}}{2}, \qquad \hat{\vec R}_R=\frac{\hat{\vec S}-i\hat{\vec T}}{2}.

For a left-handed 2-spinor,

R^L=2σ,R^R=0.\hat{\vec R}_L=\frac{\hbar}{2}\vec\sigma, \qquad \hat{\vec R}_R=0.

Therefore

S^=R^L+R^R=2σ,\hat{\vec S}=\hat{\vec R}_L+\hat{\vec R}_R =\frac{\hbar}{2}\vec\sigma,

and

T^=i(R^LR^R)=i2σ.\hat{\vec T}=-i(\hat{\vec R}_L-\hat{\vec R}_R) =-i\frac{\hbar}{2}\vec\sigma.

Here S^\hat{\vec S} generates ordinary spatial rotations of spinor components, while T^\hat{\vec T} generates boosts.

2. Left-handed spinor under an infinitesimal rotation

Consider an infinitesimal 3D rotation by angle ϵ\epsilon around the axis n\vec n. Define

ϵ:=ϵn.\vec\epsilon:=\epsilon\vec n.

The spatial argument changes as

rr=rϵ×r,tt.\vec r\to \vec r' = \vec r-\vec\epsilon\times\vec r, \qquad t\to t.

The spinor components transform with the spin generator S^\hat{\vec S}. Hence

η(r,t)=(1+iϵJ^)η(r,t),\eta'(\vec r,t) = \left(1+\frac{i}{\hbar}\vec\epsilon\cdot\hat{\vec J}\right)\eta(\vec r,t),

where J^\hat{\vec J} contains both orbital and spin contributions. Written as a field transformation, this becomes

η=(1+iϵS^)η(r,t).\eta' = \left(1+\frac{i}{\hbar}\vec\epsilon\cdot\hat{\vec S}\right) \eta(\vec r',t).

Using S^=2σ\hat{\vec S}=\frac{\hbar}{2}\vec\sigma,

η=(1+i2ϵσ)η(rϵ×r,t).\eta' = \left(1+\frac{i}{2}\vec\epsilon\cdot\vec\sigma\right) \eta(\vec r-\vec\epsilon\times\vec r,t).

So under rotations, a left-handed Lorentz 2-spinor behaves like the familiar spin- 12\tfrac12 two-spinor.

3. Left-handed spinor under an infinitesimal boost

For an infinitesimal boost of parameter ϵ\epsilon in the n\vec n direction, again define

ϵ:=ϵn.\vec\epsilon:=\epsilon\vec n.

The spacetime argument transforms as

rr=rϵct,tt=t+c1ϵr.\vec r\to \vec r'=\vec r-\vec\epsilon\,ct, \qquad t\to t'=t+c^{-1}\vec\epsilon\cdot\vec r.

For a left-handed spinor,

T^=i2σ.\hat{\vec T}=-i\frac{\hbar}{2}\vec\sigma.

Therefore

η=(1+iϵT^)η(r,t)=(1+12ϵσ)η(rϵct,t+c1ϵr).\eta' = \left(1+\frac{i}{\hbar}\vec\epsilon\cdot\hat{\vec T}\right) \eta(\vec r',t') = \left(1+\frac12\vec\epsilon\cdot\vec\sigma\right) \eta(\vec r-\vec\epsilon ct,\,t+c^{-1}\vec\epsilon\cdot\vec r).

This boost factor is not unitary:

(1+12ϵσ)(1+12ϵσ)I.\left(1+\frac12\vec\epsilon\cdot\vec\sigma\right)^ \dagger \left(1+\frac12\vec\epsilon\cdot\vec\sigma\right) \neq I.

That is not a problem. Lorentz boosts here act on the finite-dimensional space of spinor field components, not as time-evolution operators in Hilbert space.

4. Right-handed Lorentz 2-spinors

A right-handed Lorentz 2-spinor is another two-component complex field

ξ(r,t)=(ξ1(r,t)ξ2(r,t)),\xi(\vec r,t)= \begin{pmatrix} \xi_1(\vec r,t)\\ \xi_2(\vec r,t) \end{pmatrix},

transforming as

(sL,sR)=(0,12).(s_L,s_R)=\left(0,\frac12\right).

Now the generators are

R^R=2σ,R^L=0.\hat{\vec R}_R=\frac{\hbar}{2}\vec\sigma, \qquad \hat{\vec R}_L=0.

Therefore

S^=2σ,T^=+i2σ.\hat{\vec S}=\frac{\hbar}{2}\vec\sigma, \qquad \hat{\vec T}=+i\frac{\hbar}{2}\vec\sigma.

So right-handed and left-handed spinors rotate in the same way, but boost in opposite ways.

Under an infinitesimal boost,

ξ=(112ϵσ)ξ(rϵct,t+c1ϵr).\xi' = \left(1-\frac12\vec\epsilon\cdot\vec\sigma\right) \xi(\vec r-\vec\epsilon ct,\,t+c^{-1}\vec\epsilon\cdot\vec r).

Thus:

Rotations are the same for η and ξ.\boxed{\text{Rotations are the same for }\eta\text{ and }\xi.} Boosts act with opposite signs on η and ξ.\boxed{\text{Boosts act with opposite signs on }\eta\text{ and }\xi.}

This is the basic chiral structure behind the Dirac equation.

5. Rotation-invariant and Lorentz-invariant spinor products

The simplest scalar-looking combinations are

ηη,ξξ,ξη.\eta^\dagger\eta, \qquad \xi^\dagger\xi, \qquad \xi^\dagger\eta.

Under a rotation,

η(1+i2ϵσ)η,ξ(1+i2ϵσ)ξ.\eta\to \left(1+\frac{i}{2}\vec\epsilon\cdot\vec\sigma\right)\eta, \qquad \xi\to \left(1+\frac{i}{2}\vec\epsilon\cdot\vec\sigma\right)\xi.

Since the Pauli matrices are Hermitian,

(1+i2ϵσ)=(1i2ϵσ),\left(1+\frac{i}{2}\vec\epsilon\cdot\vec\sigma\right)^\dagger = \left(1-\frac{i}{2}\vec\epsilon\cdot\vec\sigma\right),

and to first order in ϵ\epsilon,

ηη=η(1i2ϵσ)(1+i2ϵσ)η=ηη.\eta'^\dagger\eta' = \eta^\dagger \left(1-\frac{i}{2}\vec\epsilon\cdot\vec\sigma\right) \left(1+\frac{i}{2}\vec\epsilon\cdot\vec\sigma\right) \eta = \eta^\dagger\eta.

Similarly,

ξξ=ξξ.\xi'^\dagger\xi'=\xi^\dagger\xi.

So the ordinary norms are invariant under spatial rotations.

Boosts are different. For a left-handed spinor,

η(1+12ϵσ)η.\eta\to \left(1+\frac12\vec\epsilon\cdot\vec\sigma\right)\eta.

Then

ηη=η(1+12ϵσ)(1+12ϵσ)ηηη.\eta'^\dagger\eta' = \eta^\dagger \left(1+\frac12\vec\epsilon\cdot\vec\sigma\right)^\dagger \left(1+\frac12\vec\epsilon\cdot\vec\sigma\right) \eta \neq \eta^\dagger\eta.

For a right-handed spinor,

ξ(112ϵσ)ξ,\xi\to \left(1-\frac12\vec\epsilon\cdot\vec\sigma\right)\xi,

so

ξξ=ξ(112ϵσ)(112ϵσ)ξξξ.\xi'^\dagger\xi' = \xi^\dagger \left(1-\frac12\vec\epsilon\cdot\vec\sigma\right)^\dagger \left(1-\frac12\vec\epsilon\cdot\vec\sigma\right) \xi \neq \xi^\dagger\xi.

The mixed product behaves better:

ξη=ξ(112ϵσ)(1+12ϵσ)η.\xi'^\dagger\eta' = \xi^\dagger \left(1-\frac12\vec\epsilon\cdot\vec\sigma\right)^\dagger \left(1+\frac12\vec\epsilon\cdot\vec\sigma\right) \eta.

To first order,

(112ϵσ)(1+12ϵσ)=1+O(ϵ2),\left(1-\frac12\vec\epsilon\cdot\vec\sigma\right)^\dagger \left(1+\frac12\vec\epsilon\cdot\vec\sigma\right) = 1+O(\epsilon^2),

therefore

ξη=ξη.\xi'^\dagger\eta'=\xi^\dagger\eta.

So ηη\eta^\dagger\eta and ξξ\xi^\dagger\xi are rotation-invariant but not Lorentz-invariant. The mixed left-right bilinear ξη\xi^\dagger\eta is invariant under both infinitesimal rotations and boosts. This already hints that relativistic spinor equations naturally couple left-handed and right-handed spinors.

6. Majorana conjugation: making a new spinor from an old one

Start with a left-handed spinor η\eta. Define

μ:=σ2η.\mu:=\sigma_2\eta^*.

Using

σ2=(0ii0),\sigma_2= \begin{pmatrix} 0&-i\\ i&0 \end{pmatrix},

we get explicitly

(μ1μ2)=σ2(η1η2)=(iη2iη1)=i(η2η1).\begin{pmatrix} \mu_1\\ \mu_2 \end{pmatrix} = \sigma_2 \begin{pmatrix} \eta_1^*\\ \eta_2^* \end{pmatrix} = \begin{pmatrix} -i\eta_2^*\\ i\eta_1^* \end{pmatrix} = -i \begin{pmatrix} \eta_2^*\\ -\eta_1^* \end{pmatrix}.

For a quantum field, complex conjugation is replaced by Hermitian conjugation of the field components:

(μ^1μ^2)=i(η^2η^1).\begin{pmatrix} \hat\mu_1\\ \hat\mu_2 \end{pmatrix} = -i \begin{pmatrix} \hat\eta_2^\dagger\\ -\hat\eta_1^\dagger \end{pmatrix}.

The key Pauli matrix identities are

σ2σ1=σ2σ1=σ1σ2,\sigma_2\sigma_1^*=\sigma_2\sigma_1=-\sigma_1\sigma_2, σ2σ2=σ2σ2,\sigma_2\sigma_2^*=-\sigma_2\sigma_2, σ2σ3=σ2σ3=σ3σ2.\sigma_2\sigma_3^*=\sigma_2\sigma_3=-\sigma_3\sigma_2.

Together,

σ2σk=σkσ2,k=1,2,3.\boxed{\sigma_2\sigma_k^*=-\sigma_k\sigma_2, \qquad k=1,2,3.}

Under a rotation,

η(1+i2ϵnσn)η.\eta\to \left(1+\frac{i}{2}\epsilon_n\sigma_n\right)\eta.

Then

μμ=σ2(1+i2ϵnσn)η.\mu\to \mu' = \sigma_2 \left(1+\frac{i}{2}\epsilon_n\sigma_n\right)^* \eta^*.

Using the identity above,

μ=(1+i2ϵnσn)μ.\mu' = \left(1+\frac{i}{2}\epsilon_n\sigma_n\right)\mu.

So μ\mu is a valid 2-spinor under rotations.

Under a boost, a left-handed spinor transforms as

η(1+12ϵnσn)η.\eta\to \left(1+\frac12\epsilon_n\sigma_n\right)\eta.

Therefore

μμ=σ2(1+12ϵnσn)η=(112ϵnσn)μ.\mu\to \mu' = \sigma_2 \left(1+\frac12\epsilon_n\sigma_n\right)^* \eta^* = \left(1-\frac12\epsilon_n\sigma_n\right)\mu.

This is the right-handed boost rule. Therefore

μ=σ2η is right-handed if η is left-handed.\boxed{\mu=\sigma_2\eta^*\text{ is right-handed if }\eta\text{ is left-handed.}}

Similarly, if ξ\xi is right-handed, then

μ:=σ2ξ\mu:=\sigma_2\xi^*

is left-handed. This operation is called Majorana conjugation. It is especially important for neutral spinor fields.

7. Differential maps between left- and right-handed spinors

There is a second, more important way to build spinors of the opposite handedness.

Start with a left-handed spinor η\eta, and define

ξ~:=i(t+cσ)η.\tilde\xi := i\hbar\left(\frac{\partial}{\partial t}+c\vec\sigma\cdot\vec\nabla\right)\eta.

Equivalently,

ξ~=i(t+cσkk)η.\tilde\xi=i\hbar(\partial_t+c\sigma_k\partial_k)\eta.

In components,

(ξ~1ξ~2)=i((t+cz)η1+c(xiy)η2(tcz)η2+c(x+iy)η1).\begin{pmatrix} \tilde\xi_1\\ \tilde\xi_2 \end{pmatrix} = i\hbar \begin{pmatrix} (\partial_t+c\partial_z)\eta_1+c(\partial_x-i\partial_y)\eta_2\\ (\partial_t-c\partial_z)\eta_2+c(\partial_x+i\partial_y)\eta_1 \end{pmatrix}.

The Pauli identity

σkσl=δkl+iϵklmσm\boxed{\sigma_k\sigma_l=\delta_{kl}+i\epsilon_{klm}\sigma_m}

ensures that this object transforms as a spinor under rotations. Under boosts, the derivative terms and the spinor transformation combine so that

ξ~ξ~=(112ϵnσn)ξ~.\tilde\xi\to \tilde\xi' = \left(1-\frac12\epsilon_n\sigma_n\right)\tilde\xi.

Thus ξ~\tilde\xi is right-handed.

So

ξ~:=i(t+cσ)ηis right-handed if η is left-handed.\boxed{ \tilde\xi:=i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla)\eta \quad\text{is right-handed if }\eta\text{ is left-handed.} }

Similarly, if ξ\xi is right-handed, define

η~:=i(tcσ)ξ.\tilde\eta:=i\hbar\left(\frac{\partial}{\partial t}-c\vec\sigma\cdot\vec\nabla\right)\xi.

Then η~\tilde\eta is left-handed:

η~:=i(tcσ)ξis left-handed if ξ is right-handed.\boxed{ \tilde\eta:=i\hbar(\partial_t-c\vec\sigma\cdot\vec\nabla)\xi \quad\text{is left-handed if }\xi\text{ is right-handed.} }

The signs are essential:

η left-handed i(t+cσ) ξ~ right-handed,\eta\text{ left-handed} \quad\xrightarrow{\ i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla)\ } \quad \tilde\xi\text{ right-handed}, ξ right-handed i(tcσ) η~ left-handed.\xi\text{ right-handed} \quad\xrightarrow{\ i\hbar(\partial_t-c\vec\sigma\cdot\vec\nabla)\ } \quad \tilde\eta\text{ left-handed}.

8. Lorentz-covariant equations connecting LL and RR spinors

Because the derivative maps produce spinors of the opposite handedness, equations of the form

λξ=i(t+cσ)η,\lambda\xi = i\hbar\left(\frac{\partial}{\partial t}+c\vec\sigma\cdot\vec\nabla\right)\eta, λη=i(tcσ)ξ\lambda\eta = i\hbar\left(\frac{\partial}{\partial t}-c\vec\sigma\cdot\vec\nabla\right)\xi

are Lorentz-covariant, provided λ\lambda is a Lorentz scalar constant. If such equations are valid in one inertial frame, they are valid in the same form in every inertial frame.

This is the structural skeleton of the Dirac equation. The rest of the construction determines what the constant λ\lambda is and how to interpret η\eta and ξ\xi.

9. The Majorana equation: neutral spinor field

For a neutral spinor field, one can close the equation using the Majorana conjugate. Start with a left-handed spinor η\eta. Since σ2η\sigma_2\eta^* is right-handed, we can impose

i(t+cσ)η=Mc2σ2η.\boxed{ i\hbar\left(\frac{\partial}{\partial t}+c\vec\sigma\cdot\vec\nabla\right)\eta = Mc^2\sigma_2\eta^*. }

This is the Majorana equation in 2-spinor form.

It also implies the conjugate equation

i(tcσ)σ2η=Mc2η.\boxed{ i\hbar\left(\frac{\partial}{\partial t}-c\vec\sigma\cdot\vec\nabla\right)\sigma_2\eta^* = Mc^2\eta. }

So a single left-handed spinor and its Majorana conjugate form a closed first-order system. This is the neutral-particle version of the Dirac construction, analogous to how a real Klein-Gordon field is the neutral version of a complex Klein-Gordon field.

10. The Majorana equation implies Klein-Gordon

Apply the opposite differential operator to the Majorana equation. Starting from

i(t+cσ)η=Mc2σ2η,i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla)\eta = Mc^2\sigma_2\eta^*,

and using

i(tcσ)σ2η=Mc2η,i\hbar(\partial_t-c\vec\sigma\cdot\vec\nabla)\sigma_2\eta^* = Mc^2\eta,

we obtain

2(tcσ)(t+cσ)η=(Mc2)2η.-\hbar^2 (\partial_t-c\vec\sigma\cdot\vec\nabla) (\partial_t+c\vec\sigma\cdot\vec\nabla) \eta = (Mc^2)^2\eta.

The crucial identity is

(i)2(t±cσkk)(tcσll)=(c)2,(i\hbar)^2 (\partial_t\pm c\sigma_k\partial_k) (\partial_t\mp c\sigma_l\partial_l) = (\hbar c)^2\Box,

where

=21c22t2\Box=\nabla^2-\frac{1}{c^2}\frac{\partial^2}{\partial t^2}

with the sign convention used here.

Therefore

η=(Mc)2η.\boxed{ \Box\eta=\left(\frac{Mc}{\hbar}\right)^2\eta. }

So the Majorana equation implies the Klein-Gordon equation for each component of η\eta.

The converse is not true. Majorana is stricter than Klein-Gordon because it is a first-order equation relating the real and imaginary parts of the two spinor components. Majorana solutions form a subset of the complex two-field Klein-Gordon solutions.

11. Why charged spinors require two Majorana spinors

A single Majorana spinor is neutral. To construct a charged spinor field, we need a continuous internal phase symmetry, just as for the charged Klein-Gordon field.

Take two identical Majorana spinors,

ηA,ηB.\eta_A, \qquad \eta_B.

They can be rotated into one another by an internal SO(2)SO(2) transformation:

ηAηAcosθηBsinθ,\eta_A\to \eta_A\cos\theta-\eta_B\sin\theta, ηBηBcosθ+ηAsinθ.\eta_B\to \eta_B\cos\theta+\eta_A\sin\theta.

Now define the complex combination

η:=ηA+iηB2.\boxed{ \eta:=\frac{\eta_A+i\eta_B}{\sqrt2}. }

Under the internal rotation,

ηeiθη.\eta\to e^{i\theta}\eta.

This is the same pattern as a charged scalar field: two real neutral fields combine into one complex charged field.

The complex conjugate is

η=ηAiηB2.\eta^*=\frac{\eta_A^*-i\eta_B^*}{\sqrt2}.

This sign will matter in the next step.

12. From two Majorana equations to the charged spinor equations

Each Majorana spinor satisfies

i(t+cσ)ηA,B=Mc2σ2ηA,B.i\hbar\left(\frac{\partial}{\partial t}+c\vec\sigma\cdot\vec\nabla\right)\eta_{A,B} = Mc^2\sigma_2\eta_{A,B}^*.

Combining ηA\eta_A and ηB\eta_B gives

i(t+cσ)η=Mc2σ2ηA+iηB2.i\hbar\left(\frac{\partial}{\partial t}+c\vec\sigma\cdot\vec\nabla\right)\eta = Mc^2\sigma_2\frac{\eta_A^*+i\eta_B^*}{\sqrt2}.

This right-hand side is not Mc2σ2ηMc^2\sigma_2\eta^*, because

σ2η=σ2ηAiηB2.\sigma_2\eta^* = \sigma_2\frac{\eta_A^*-i\eta_B^*}{\sqrt2}.

The sign of the iηBi\eta_B^* term is different.

Define the right-handed spinor

ξ:=σ2ηA+iηB2.\boxed{ \xi:=\sigma_2\frac{\eta_A^*+i\eta_B^*}{\sqrt2}. }

Then

ξσ2η.\xi\neq \sigma_2\eta^*.

This is why the charged spinor equation is no longer the Majorana equation.

The two coupled equations become

i(t+cσ)η=Mc2ξ,i\hbar\left(\frac{\partial}{\partial t}+c\vec\sigma\cdot\vec\nabla\right)\eta = Mc^2\xi, i(tcσ)ξ=Mc2η.i\hbar\left(\frac{\partial}{\partial t}-c\vec\sigma\cdot\vec\nabla\right)\xi = Mc^2\eta.

Introducing

0:=c1t,\partial_0:=c^{-1}\partial_t,

we can write them as

i(0+σ)η=Mcξ,\boxed{ i\hbar(\partial_0+\vec\sigma\cdot\vec\nabla)\eta=Mc\xi, } i(0σ)ξ=Mcη.\boxed{ i\hbar(\partial_0-\vec\sigma\cdot\vec\nabla)\xi=Mc\eta. }

This pair of coupled first-order Lorentz-covariant equations is the Dirac equation in 2-spinor notation.

13. Structure of the 2-spinor Dirac equation

The 2-spinor Dirac equation has a very simple structure:

ηis left-handed,ξis right-handed.\eta\quad\text{is left-handed}, \qquad \xi\quad\text{is right-handed}.

The differential operator

i(0+σ)i\hbar(\partial_0+\vec\sigma\cdot\vec\nabla)

maps η\eta into a right-handed spinor, so it can be equated to McξMc\xi. The operator

i(0σ)i\hbar(\partial_0-\vec\sigma\cdot\vec\nabla)

maps ξ\xi into a left-handed spinor, so it can be equated to McηMc\eta.

The mass term couples the two chiralities. If M=0M=0, the equations decouple:

i(0+σ)η=0,i(0σ)ξ=0.i\hbar(\partial_0+\vec\sigma\cdot\vec\nabla)\eta=0, \qquad i\hbar(\partial_0-\vec\sigma\cdot\vec\nabla)\xi=0.

For M0M\neq0, left and right components are tied together.

This is the heart of relativistic spin- 12\tfrac12 dynamics: a massive spinor field needs both handedness sectors.

14. Four-spinor notation

The two 2-spinors are packaged into one 4-spinor:

ψ(r,t)=(ηξ)=(η1η2ξ1ξ2).\psi(\vec r,t) = \begin{pmatrix} \eta\\ \xi \end{pmatrix} = \begin{pmatrix} \eta_1\\ \eta_2\\ \xi_1\\ \xi_2 \end{pmatrix}.

Define the four 4×44\times4 gamma matrices

γ0=(02×2I2×2I2×202×2),\gamma^0= \begin{pmatrix} 0_{2\times2}&I_{2\times2}\\ I_{2\times2}&0_{2\times2} \end{pmatrix}, γk=(02×2σkσk02×2),k=1,2,3.\gamma^k= \begin{pmatrix} 0_{2\times2}&-\sigma_k\\ \sigma_k&0_{2\times2} \end{pmatrix}, \qquad k=1,2,3.

With

μ=(0,1,2,3),0=c1t,\partial_\mu=(\partial_0,\partial_1,\partial_2,\partial_3), \qquad \partial_0=c^{-1}\partial_t,

and Einstein summation over μ=0,1,2,3\mu=0,1,2,3, the coupled 2-spinor equations become

iγμμψ=Mcψ.\boxed{ i\hbar\gamma^\mu\partial_\mu\psi=Mc\psi. }

This is the standard compact form of the Dirac equation.

15. What the Dirac equation is and is not

The equation

iγμμψ=Mcψi\hbar\gamma^\mu\partial_\mu\psi=Mc\psi

is a relativistically covariant field equation for a charged spinor field of mass MM.

It is not simply a relativistic Schrödinger equation for one electron. In quantum field theory, ψ\psi is promoted to an operator-valued field. The quantized Dirac field acts on Fock space, the Hilbert space containing states with any number of particles. In that setting, ψ\psi destroys electrons and creates positrons.

To fully describe relativistic electrons, one needs the Hamiltonian operator whose Heisenberg equation of motion gives the Dirac equation for the field operator:

idψ^dt=[ψ^,H^].i\hbar\frac{d\hat\psi}{dt}=[\hat\psi,\hat H].

The classical-looking Dirac equation is therefore only one part of Dirac quantum field theory.

Worked Examples

Example 1: Why σ2η\sigma_2\eta^* flips handedness

Let η\eta be left-handed. Under a boost,

η(1+12ϵkσk)η.\eta\to \left(1+\frac12\epsilon_k\sigma_k\right)\eta.

Define

μ=σ2η.\mu=\sigma_2\eta^*.

Then

μσ2(1+12ϵkσk)η.\mu\to \sigma_2\left(1+\frac12\epsilon_k\sigma_k\right)^*\eta^*.

Using

σ2σk=σkσ2,\sigma_2\sigma_k^*=-\sigma_k\sigma_2,

we get

μ(112ϵkσk)μ.\mu\to \left(1-\frac12\epsilon_k\sigma_k\right)\mu.

This is the right-handed boost rule. Therefore μ\mu is right-handed.

Example 2: Why the derivative operator maps left to right

Start with

ξ~=i(t+cσkk)η.\tilde\xi=i\hbar(\partial_t+c\sigma_k\partial_k)\eta.

Under boosts, both the derivatives and the spinor components transform. The derivative part changes schematically as

t+cσkktcϵkk+cσkkσkϵkt,\partial_t+c\sigma_k\partial_k \to \partial_t-c\epsilon_k\partial_k+c\sigma_k\partial_k-\sigma_k\epsilon_k\partial_t,

while the left-handed spinor transforms as

η(1+12ϵnσn)η.\eta\to\left(1+\frac12\epsilon_n\sigma_n\right)\eta.

Using

σkσl=δkl+iϵklmσm,\sigma_k\sigma_l=\delta_{kl}+i\epsilon_{klm}\sigma_m,

the transformed ξ~\tilde\xi becomes

ξ~(112ϵnσn)ξ~.\tilde\xi\to\left(1-\frac12\epsilon_n\sigma_n\right)\tilde\xi.

That is exactly the right-handed boost rule.

Example 3: Why Dirac is not Majorana

For a charged spinor field,

η=ηA+iηB2.\eta=\frac{\eta_A+i\eta_B}{\sqrt2}.

But

η=ηAiηB2.\eta^*=\frac{\eta_A^*-i\eta_B^*}{\sqrt2}.

The right-handed field that appears in the charged equation is

ξ=σ2ηA+iηB2,\xi=\sigma_2\frac{\eta_A^*+i\eta_B^*}{\sqrt2},

not

σ2η=σ2ηAiηB2.\sigma_2\eta^*= \sigma_2\frac{\eta_A^*-i\eta_B^*}{\sqrt2}.

Therefore the charged equation does not close on η\eta and σ2η\sigma_2\eta^*. It needs an independent right-handed spinor ξ\xi. That is why the charged spinor equation is Dirac, not Majorana.

Intuition

Relativity splits spin- 12\tfrac12 fields into left-handed and right-handed pieces. Ordinary rotations cannot tell the difference between them, but boosts can.

A Lorentz-covariant massive equation must connect these two pieces. Majorana conjugation gives one way to relate them for a neutral field. Differential operators give another way to map one handedness into the other. Combining these ideas leads first to the Majorana equation and then, after making a complex charged field from two identical neutral spinors, to the Dirac equation.

The Dirac equation is therefore not magic. It is the simplest Lorentz-covariant first-order equation for a massive charged spinor field.

Common Mistakes

  • Thinking left-handed and right-handed spinors differ under ordinary rotations. They do not.
  • Forgetting that the difference appears under boosts.
  • Treating Lorentz boosts on spinor components as unitary Hilbert-space time evolution.
  • Assuming ηη\eta^\dagger\eta is Lorentz-invariant just because it is rotation-invariant.
  • Forgetting that mixed left-right bilinears are the natural Lorentz scalar structures.
  • Confusing σ2η\sigma_2\eta^* with ordinary complex conjugation.
  • Thinking the Majorana equation and Dirac equation are the same.
  • Forgetting that Majorana implies Klein-Gordon, but Klein-Gordon does not imply Majorana.
  • Missing why a charged spinor field needs two Majorana spinors.
  • Treating the Dirac equation as a complete one-particle theory of the electron.
  • Forgetting that in QFT the Dirac field destroys electrons and creates positrons.

Short Summary

Left-handed and right-handed Lorentz 2-spinors transform identically under spatial rotations but oppositely under boosts. Because of this, the ordinary spinor norms ηη\eta^\dagger\eta and ξξ\xi^\dagger\xi are not Lorentz-invariant, while mixed left-right structures behave correctly. The Majorana conjugate σ2η\sigma_2\eta^* turns a left-handed spinor into a right-handed one, and the differential operator i(t+cσ)i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla) does the same. Similarly, i(tcσ)i\hbar(\partial_t-c\vec\sigma\cdot\vec\nabla) maps right-handed spinors to left-handed spinors.

Closing the system with the Majorana conjugate gives the neutral Majorana equation,

i(t+cσ)η=Mc2σ2η.i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla)\eta=Mc^2\sigma_2\eta^*.

Iterating this equation gives the Klein-Gordon equation for each component. To obtain a charged spinor field, two identical Majorana spinors are combined into a complex field η=(ηA+iηB)/2\eta=(\eta_A+i\eta_B)/\sqrt2. The corresponding right-handed spinor is ξ=σ2(ηA+iηB)/2\xi=\sigma_2(\eta_A^*+i\eta_B^*)/\sqrt2, which is not σ2η\sigma_2\eta^*. This gives the coupled first-order Dirac equations

i(0+σ)η=Mcξ,i(0σ)ξ=Mcη.i\hbar(\partial_0+\vec\sigma\cdot\vec\nabla)\eta=Mc\xi, \qquad i\hbar(\partial_0-\vec\sigma\cdot\vec\nabla)\xi=Mc\eta.

Packaging η\eta and ξ\xi into a 4-spinor ψ\psi gives the standard form

iγμμψ=Mcψ.i\hbar\gamma^\mu\partial_\mu\psi=Mc\psi.

This is a Lorentz-covariant field equation for a charged spinor field. In QFT, ψ\psi becomes an operator-valued field, not a single-particle wavefunction.

Practice Problems

  1. Why do left-handed and right-handed Lorentz 2-spinors transform the same way under rotations but differently under boosts?

  2. Show that ηη\eta^\dagger\eta is invariant under infinitesimal rotations but not under infinitesimal boosts.

  3. Show that ξη\xi^\dagger\eta is invariant under infinitesimal boosts to first order in ϵ\epsilon.

  4. Use σ2σk=σkσ2\sigma_2\sigma_k^*=-\sigma_k\sigma_2 to show that μ=σ2η\mu=\sigma_2\eta^* has the opposite handedness from η\eta.

  5. Why is Majorana conjugation especially natural for neutral spinor fields?

  6. Expand the components of

ξ~=i(t+cσ)η.\tilde\xi=i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla)\eta.
  1. Why does i(t+cσ)i\hbar(\partial_t+c\vec\sigma\cdot\vec\nabla) map a left-handed spinor into a right-handed spinor?

  2. Derive the Majorana equation from the condition that the right-handed spinor is proportional to σ2η\sigma_2\eta^*.

  3. Show that the Majorana equation implies the Klein-Gordon equation.

  4. Why is one Majorana spinor not enough to describe a charged spinor field?

  5. Explain why ξσ2η\xi\neq\sigma_2\eta^* in the charged spinor construction.

  6. Derive the two coupled 2-spinor equations of the Dirac equation.

  7. Write the gamma matrices γ0\gamma^0 and γk\gamma^k used in the 4-spinor form.

  8. Explain why the Dirac equation is not, by itself, the full quantum theory of the electron.