dirac.rst

Dirac Equation

Note

It is the time to invoke our convention of indices here. In short, the Greek letter indices are the abstract or/and spacetime indices, Latin letter indices are specific, internal or ordinary indices.

Unlike to the Klein-Gordon equation, Dirac equation is an equation of spinor field. Under the requirement of Physics, the equation of spinor field should satisfy the following conditions - It can imply Klein-Gordon equation - It remains unchanged under the Lorentz transformation The first requirement is due to the fact that the Klein-Gordon equation will imply the relativistic energy-momentum relation. Historically, Dirac put forward the equation under the consideration of performing the formal square root of the Klein-Gordon equation. The Dirac equation reads

iγ^μ​∂_μψ − mψ = 0

where γ_μ = γ^ae_a^μ and e_a^μ is the tetrad. Next we briefly confirm that the equation does comply with the requirements.

It is easy to see that the first requirement is met once notice

$$\begin{aligned} (\mathrm{i}\gamma^\mu\!\partial_\mu + m)(\mathrm{i}\gamma^\nu\!\partial_\nu - m)\psi = -(\gamma^\mu\gamma^\nu\partial_\mu\partial_\nu + m^2)&\psi\\\ = (g^{\mu\nu}\partial_\mu\partial_\nu - m^2)\psi = (\partial^\mu\partial_\mu - m^2)&\psi = 0 \end{aligned}$$

The second condition requires

iγ′^μ​∂_μψ′ − mψ′ = 0

where ψ′ = Sψ, S is the matrix of spinor representation of Lorentz transformation and ψ satisfies the Dirac equation. This could be achieved if

Sγ′^μS^− 1 = γ^μ

We shall not prove the above identity but to provide a sketch of the proof. Since γ^μ = γ^ae_a^μ, the above equation would require

$$S\gamma^a S^{-1} = \varLambda^a_b\gamma^b$$

This relation can be verified if take S and $\varLambda$ to be infinitesimal transformation. And you will find the following trick useful

[A, BC] = {A, B}C − {B, A}C

Next, we construct the Lagrangian of the spinor field. An intuitive construction is just to multiply the Dirac equation by the Hermitian conjugate ψ^† of the spinor field

ℒ_tmp =  − ψ^†(iγ^μ​∂_μ − m)ψ

However, this Lagrangian is not invariant under the Lorentz transformation, since

ℒ′_tmp =  − ψ^†[S^†S](iγ^μ​∂_μ − m)ψ

The representation S is not necessarily unitary and thus S^†S is not necessarily identity. Therefore, we construct the Dirac conjugate of spinor field as

ψ̄ = ψ^†γ⁰

and construct the Lagrangian as

ℒ =  − ψ̄(iγ^μ​∂_μ − m)ψ

Now you can verify that this Lagrangian is Lorentz invariant if notice

γ⁰ ⋅ γ⁰ = I,   γ⁰S^†γ⁰ = S^− 1

The theory of spinor field is somehow abundant, and this section only covers very basic conclusion about it. Therefore, you are suggested to refer to other textbooks about the Quantum Field Theory or spinor geometry for further information about spinor field theory.