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
v2 · 2026-09-06 · History
Domain-specific #
1677
Origin domain
relativistic quantum mechanics
Subdomain
spinor fields
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.

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) — more general patterns this builds on

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

    domain_specific:differential_equation is the minimal parent by strict specialization.

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

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

Family — Relativistic Fields & Spacetime Singularities (10 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08