Hello! Welcome to the third module of our course.
In the previous module, we explored the theory, which describes interacting spin-0 scalar particles. You successfully derived the Feynman rules, calculated a scattering cross-section, and even built a simple Monte Carlo event generator to simulate scattering events. This provided a complete picture, from Lagrangian to simulated data, for the simplest type of field.
However, the matter that makes up our universe—electrons, protons, neutrons, quarks—are all spin-1/2 particles, known as fermions. To describe them, we need a new theoretical tool. Today, we begin our journey into the world of fermionic fields by deriving the cornerstone of relativistic quantum mechanics: the Dirac equation. This is the first and most crucial step toward building the theory of Quantum Electrodynamics (QED), which describes the interaction of light and matter.
Our learning outcome for this lesson is to derive the Dirac equation and construct its plane-wave spinor solutions for particles and antiparticles. We will see how this single, elegant equation not only satisfies the requirements of special relativity but also makes two profound and unexpected predictions: the existence of antimatter and the intrinsic spin of the electron.
1. The Search for a Relativistic Wave Equation
Let's start by understanding why the Klein-Gordon equation, which we used for scalar fields, is not the whole story. While it's a perfectly valid relativistic equation for spin-0 particles, it has historical "problems" that motivated Paul Dirac to search for an alternative. His primary goal was to find an equation, similar to the Schrödinger equation, that was first-order in the time derivative but also compatible with special relativity.
A great way to understand Dirac's starting point is to see his equation as an attempt to take the "square root" of the relativistic energy-momentum relation, .
How Did One Equation Predict Antimatter (…and Spin)?
To begin, watch this segment from the video "How Did One Equation Predict Antimatter (...and Spin)?" by Physics Explained. It masterfully introduces the motivation for the Dirac equation and its basic structure.
Watch the section from 1:48 to 2:56. This part introduces the Dirac equation in its component form, involving the \alpha and eta matrices, and sets the stage for finding its solutions.
As the video explained, Dirac proposed a Hamiltonian of the form . For this to be consistent with relativity, squaring this Hamiltonian must yield the Klein-Gordon relation . This requirement imposes a set of strict algebraic constraints on the objects and :
- (the identity matrix)
- for
These conditions cannot be satisfied if and are numbers; they must be matrices. Furthermore, it can be shown that the smallest matrices that satisfy these anti-commutation relations are 4x4. This is the origin of the four-component nature of the Dirac field.
The Covariant Form and the Dirac Lagrangian
While the Hamiltonian form is intuitive, a more elegant and manifestly Lorentz-covariant form is achieved by defining the gamma matrices ().
The lecture notes "The Dirac Equation" by David Tong provide a rigorous foundation for the topics we are discussing. Let's use it to formalize the covariant structure.
Please read the following sections: Section 4.1 'The Spinor Representation' (pages 83-84): Focus on the definition of the Clifford Algebra, Equation (4.13), which is the fundamental property of the gamma matrices: \{\gamma^\mu, \gamma^\nu\} = 2\eta^{\mu\nu}\mathbf{1} You can skim the details about Lorentz generators for now, but note how the gamma matrices are used to construct them. Section 4.2 'Constructing an Action' (pages 86-89): This is a crucial section. Read it carefully to understand why we need the Dirac adjoint \bar{\psi} = \psi^\dagger \gamma^0 to construct a Lorentz-invariant action, and see the final form of the Dirac Lagrangian, Equation (4.50). Section 4.3 'The Dirac Equation' (page 89): This short section shows how applying the Euler-Lagrange equations to the action yields the Dirac equation in its beautiful covariant form: (i\gamma^\mu\partial_\mu - m)\psi = 0
As you've just read, the Lagrangian for a free Dirac field is:
This compact expression is the foundation for everything we will do with fermions. It is Lorentz invariant by construction, and as we saw, it correctly yields the Dirac equation upon variation.
Test your understanding!
Starting from the Dirac equation , show that each component of the spinor must individually satisfy the Klein-Gordon equation . (Hint: Act on the Dirac equation from the left with another operator).
Show answer
We can act from the left with the operator :
Expanding this gives:
We can rewrite the first term using the symmetric and antisymmetric parts of the matrices and derivatives:
Since partial derivatives commute, the antisymmetric part of the derivative tensor is zero. Therefore, we only need the symmetric part of the gamma matrix product:
Substituting this back into our equation gives:
This is exactly the Klein-Gordon equation. This confirms that our relativistic energy-momentum relation is satisfied.
2. Plane-Wave Solutions and the Emergence of Antimatter
Now that we have the equation, let's find its solutions. We will follow the standard physicist's approach: look for plane-wave solutions.
How Did One Equation Predict Antimatter (…and Spin)?
The Physics Explained video provides a crystal-clear, step-by-step derivation of the plane-wave solutions. It starts with the simplest case (a particle at rest) and builds up to the general solution for a moving particle.
Please watch the following segments: Stationary Particle (2:56 - 10:52): This part solves the equation for \vec{p}=0 and finds four fundamental solutions: two with positive energy E=mc^2 and two with negative energy E=-mc^2. Moving Particle (17:09 - 27:47): This extends the solution to non-zero momentum. It shows how the relativistic energy-momentum relation is automatically satisfied and constructs the four-component spinors for moving particles. Pay attention to the final forms of the u_1, u_2, u_3, u_4 spinors.
As the video demonstrated, for any given momentum , the Dirac equation has four independent solutions.
- Two positive-energy solutions, which we will label and .
- Two negative-energy solutions, which we will label and .
The existence of negative-energy solutions was deeply troubling. In classical physics, they can be ignored. But in quantum mechanics, a particle in a positive-energy state could, in principle, radiate a photon and fall into a negative-energy state, and then another, and so on, spiraling down an infinite ladder of negative energy. This would make all atoms unstable.
Dirac's Brilliant Solution: The Dirac Sea and Antimatter
Dirac's resolution to this crisis was a moment of pure genius, leading directly to the prediction of antimatter.
How Did One Equation Predict Antimatter (…and Spin)?
This is perhaps the most fascinating part of the story. The next segment of the video explains Dirac's concept of an infinite 'sea' of negative-energy electrons and how a 'hole' in this sea would appear as a new particle—the antielectron, or positron.
Watch the segment from 27:47 to 42:39. This part is conceptually rich. Focus on: The instability problem caused by negative energies. The concept of the 'Dirac Sea' where all negative-energy states are filled. How a 'hole' in this sea behaves like a particle with positive energy and opposite charge. The eventual experimental discovery of the positron by Carl Anderson, confirming Dirac's prediction.
The Modern Interpretation: Antiparticle Spinors
The Dirac Sea is a beautiful and intuitive picture, but it has its own conceptual difficulties (e.g., how does it work for bosons?). The modern approach, rooted in Quantum Field Theory, uses the Feynman-Stückelberg interpretation: a negative-energy particle traveling backward in time is physically indistinguishable from a positive-energy antiparticle traveling forward in time.
This leads us to redefine our solutions. We keep the two positive-energy solutions, and , to describe our particle (e.g., an electron). We then use the two negative-energy solutions to construct two new positive-energy solutions, which we call and , to describe the corresponding antiparticle (e.g., a positron).
We seek plane-wave solutions of the form:
- Particles: , where . Inserting this into the Dirac equation gives the equation for u-spinors:
- Antiparticles: , where . Inserting this gives the equation for v-spinors:
The video you watched shows how to explicitly construct these -spinors from the original negative-energy solutions.
How Did One Equation Predict Antimatter (…and Spin)?
Let's see how the v-spinors are formally constructed.
Watch the short clip from 42:39 to 44:48. It explains the Feynman-Stückelberg interpretation and shows how to obtain the positive-energy antiparticle spinors (V_1, V_2) by relabeling the negative-energy solutions (U_3, U_4).
To find explicit solutions, one often works in a specific basis for the gamma matrices. A common choice is the Dirac-Pauli basis:
where are the 2x2 Pauli matrices. In this basis, the four standard solutions for a particle/antiparticle with four-momentum are constructed by choosing basis spinors for the spin (e.g., , ) and solving the coupled equations. For normalization to particles per volume (a convention we'll appreciate during quantization), the solutions are:
- Particle spinors (-spinors):
- Antiparticle spinors (-spinors):
You don't need to memorize these forms, but you should recognize their structure: they are four-component objects built from two-component Pauli spinors, , which encode the spin information.
3. The Final Puzzle: The Origin of Spin
We are now left with one final question: why are there two particle solutions () and two antiparticle solutions ()? Dirac did not set out to explain spin; he was simply looking for a relativistic wave equation. In one of the most remarkable results in theoretical physics, the property of spin-1/2 emerged naturally and unavoidably from his equation.
The two solutions correspond to the two possible spin orientations of a spin-1/2 particle: spin-up and spin-down.
How Did One Equation Predict Antimatter (…and Spin)?
The final part of the video demonstrates how spin is an intrinsic, non-negotiable feature of the Dirac equation.
Watch the concluding segments from 44:48 to the end (1:01:56). The key ideas are: In relativistic QM, orbital angular momentum (\vec{L}) is not conserved. To conserve total angular momentum (\vec{J}), one must introduce an intrinsic angular momentum operator, \vec{S}. The form of this spin operator is fixed by the algebra, and it is shown to correspond to a particle of spin-1/2. The video concludes by explicitly showing that the u^{(1,2)} and v^{(1,2)} solutions are indeed eigenstates of the spin operator, corresponding to spin-up and spin-down states.
Conclusion
This lesson has been a deep dive into one of the most important equations in physics. We have seen how Dirac's quest for a first-order relativistic equation led to a structure rich with physical meaning.
Key Takeaways:
- The Dirac equation, , is a relativistic wave equation for spin-1/2 fermions.
- Its mathematical consistency requires the wave function to be a four-component spinor and the to satisfy the Clifford algebra .
- The equation possesses both positive and negative-energy solutions. The negative-energy solutions are reinterpreted as describing positive-energy antiparticles.
- For any given momentum, there are four independent plane-wave solutions:
- Two particle solutions (), corresponding to spin-up and spin-down states. They satisfy .
- Two antiparticle solutions (), also corresponding to spin-up and spin-down states. They satisfy .
- The intrinsic spin-1/2 nature of the particle is not an ad-hoc addition but an emergent property of the equation itself.
Preview of the Next Lesson:
We now have the classical Dirac field and its solutions. The next step, mirroring our work with the Klein-Gordon field, is to perform canonical quantization. We will promote the Dirac field to an operator and impose quantization conditions. However, because fermions obey the Pauli exclusion principle, we will need to use anti-commutation relations instead of commutation relations. This will lead us to creation and annihilation operators for fermions and antifermions, and the construction of the fermionic Fock space.