Skip to content

Dirac Equation

The Lorentz-covariant first-order field equation for relativistic spin-one-half matter, with particle and antiparticle solution sectors.

Version
v3 · 2026-09-19 · History
Domain-specific #
1677
Domain group
Natural Sciences
Origin domain
Physics
Subdomains
Relativistic Quantum Mechanics, Spinor Fields → Physics
Aliases
Free Dirac equation

Core Idea

In natural units, the free Dirac equation is

\[ (i\gamma^\mu\partial_\mu-m)\psi=0, \]

where \(\psi\) is a spinor field, \(m\) is the mass, and the gamma matrices satisfy the Clifford relation

\[ \{\gamma^\mu,\gamma^\nu\}=2\eta^{\mu\nu}I. \]

It is first order in both time and spatial derivatives, Lorentz covariant, and describes relativistic spin-\(1/2\) matter. Dirac constructed the equation in 1928 to reconcile quantum-mechanical time evolution with special relativity while accounting for electron “duplexity,” the two-valued spin degree of freedom.

How would you explain it like I'm…

The Fast Electron Rule

Electrons are super tiny bits inside everything. The Dirac equation is a rule for how an electron behaves even when it zooms along incredibly fast, and it keeps track of a special two-way setting each electron has. The math also had a mirror-image side, which helped lead scientists to the idea of antimatter: a twin of the electron with the opposite charge.

Speedy Spinning Particle Equation

The Dirac equation is a famous physics equation that describes particles like electrons. Paul Dirac made it in 1928 to combine two big ideas: quantum mechanics, the rules for tiny things, and special relativity, the rules for very fast things. It also naturally includes spin, a property that gives electrons two possible states. The equation has solutions that looked like they had negative energy, and trying to understand them led to the idea of a positive-charge partner of the electron, now called antimatter. Today, physicists understand those solutions using a larger theory called quantum field theory.

Relativistic Spin-½ Equation

The Dirac equation describes relativistic particles with spin one-half, such as electrons. Dirac built it in 1928 to make quantum mechanics agree with special relativity while also explaining why electrons have a two-valued spin property. Unlike the earlier Klein-Gordon equation, it uses only first derivatives in both time and space, which required replacing a simple number field with a spinor (a multi-component object) and special matrices called gamma matrices. The equation is like a square root of Einstein's energy-momentum relation, so each component of a free solution still obeys the Klein-Gordon equation. Its solutions come in positive- and negative-frequency types; the negative ones led Dirac to predict a positive-charge partner of the electron. In modern quantum field theory these are interpreted as particles and antiparticles, so the equation supplied the structure that led to antimatter, but it needs that field-theory framework to make the full modern prediction.

 

In natural units the free Dirac equation is (iγ^μ ∂_μ − m)ψ = 0, where ψ is a spinor field, m the mass, and the gamma matrices satisfy the Clifford relation {γ^μ, γ^ν} = 2η^{μν} I. It is first order in both time and space derivatives and Lorentz covariant, and it describes relativistic spin-1/2 matter. Dirac constructed it in 1928 to combine quantum-mechanical time evolution with special relativity while accounting for the electron's two-valued spin. The Clifford relation makes the first-order operator a square root of the relativistic energy-momentum relation: applying the conjugate operator shows each component of a free solution satisfies the Klein-Gordon equation. The spinor and matrix structure, however, carries information the scalar Klein-Gordon equation lacks: spin, a conserved current whose time component is positive in the one-particle treatment, and distinct positive- and negative-frequency solution sectors. Historically, the negative-energy sector led Dirac via hole theory to posit a positively charged counterpart of the electron. In modern quantum field theory, quantization reinterprets the two sectors through particle and antiparticle creation and annihilation operators, so the equation supplied the structure leading to antimatter without being, as a classical PDE alone, a complete modern prediction.

Scope of Application

The equation governs electrons, muons, quarks, and other relativistic fermionic fields in particle physics and quantum field theory. Its external-field versions support relativistic atomic structure, scattering, magnetic coupling, and condensed-matter effective theories. Dirac-like Hamiltonians appear near band crossings in graphene and topological materials, but their quasiparticles and effective “speed of light” must not be confused with elementary vacuum electrons.

Minimal electromagnetic coupling gives

\[ (i\gamma^\mu D_\mu-m)\psi=0, \qquad D_\mu=\partial_\mu+iqA_\mu \]

Clarity

Metric signature, gamma-matrix representation, units, charge sign, and adjoint convention must be stated. Different gamma representations are related by similarity transformations and do not describe different physics. A sign difference in \(D_\mu\) may reflect the convention for charge or gauge transformation.

The four spinor components are not four independent scalar particles. On shell, constraints and interpretation organize them into two spin states in particle and antiparticle sectors.

Manages Complexity

First-order factorization packages relativistic dispersion and spin into one operator. Clifford algebra turns repeated matrix products into metric contractions, making covariance calculations systematic. Spin sums, propagators, and bilinear covariants all exploit the same algebra.

The Hamiltonian form separates time evolution:

\[ i\partial_t\psi=(-i\boldsymbol\alpha\cdot\nabla+\beta m)\psi, \]

Abstract Reasoning

Multiplying the free equation by \(i\gamma^\nu\partial_\nu+m\) yields

\[ (i\gamma^\nu\partial_\nu+m)(i\gamma^\mu\partial_\mu-m)\psi =-(\Box+m^2)\psi=0, \]

up to the chosen metric convention. Symmetry of \(\partial_\mu\partial_\nu\) removes the antisymmetric gamma part, while the Clifford anticommutator produces the metric. Hence \(E^2=\mathbf p^2+m^2\) for plane waves.

Knowledge Transfer

The equation's reasoning transfers across fermion species by changing mass, charge, internal indices, and interactions while retaining spinor, Clifford, covariance, and current roles. Techniques such as plane-wave decomposition, projection operators, and propagator construction then recur literally.

Transfer to condensed matter preserves a matrix-linear Hamiltonian and spinor-like pseudospin, but the substrate and symmetry interpretation can change. Transfer to curved spacetime preserves local Clifford algebra while replacing global inertial coordinates with tetrads and spin connection. Naming what is preserved prevents analogy from becoming identity inflation.

Relationships to Other Abstractions

Local relationship map for Dirac EquationParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Dirac EquationDOMAINDomain-specific abstraction: Differential equation — is a kind ofDifferentialequationDOMAIN

Current abstraction Dirac Equation Domain-specific

Parents (1) — outgoing typed relations

  • Dirac Equation is a kind of Differential equation Domain-specific

    domain_specific:differential_equation is the broader abstraction this entry instantiates.

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

Dirac Equation sits in a sparse region of the domain-specific corpus (90th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25