Potentials and Gauge Freedom: The Hidden Symmetry

Trade six fields for four potentials

Two of Maxwell's equations are pure structure — they contain no sources. Because \nabla\cdot\mathbf{B}=0 everywhere, \mathbf{B} can always be written as the curl of a vector potential \mathbf{A} (a curl automatically has zero divergence). Feed that into Faraday's law and you find that \mathbf{E}+\partial\mathbf{A}/\partial t has zero curl, so it is the gradient of a scalar potential \varphi (which generalizes the electric potential you already know).

\mathbf{B} = \nabla\times\mathbf{A}, \qquad \mathbf{E} = -\nabla\varphi - \dfrac{\partial\mathbf{A}}{\partial t}

The fields in terms of a scalar potential φ and a vector potential A. Written this way, two of Maxwell's equations hold automatically.

Many potentials, one physics

Here is the surprise. The potentials are not unique. Pick any scalar function \chi(\mathbf{r},t) and shift the potentials by it: add \nabla\chi to \mathbf{A} and subtract \partial\chi/\partial t from \varphi. Compute \mathbf{E} and \mathbf{B} again and they are unchanged — the gradient's curl vanishes and the time-derivatives cancel. This is a gauge transformation.

\mathbf{A} \rightarrow \mathbf{A} + \nabla\chi, \qquad \varphi \rightarrow \varphi - \dfrac{\partial\chi}{\partial t}

A gauge transformation: an arbitrary function χ reshuffles the potentials while leaving every measurable field untouched.

Fixing the gauge

Since the freedom is yours to spend, spend it wisely: impose an extra condition that simplifies the equations. The Coulomb gauge \nabla\cdot\mathbf{A}=0 makes \varphi obey the ordinary Poisson equation — convenient in statics and for defining radiation modes. The Lorenz gauge treats space and time on the same footing, and is the natural choice for radiation and relativity.

\nabla\cdot\mathbf{A} = 0 \quad(\text{Coulomb}), \qquad \nabla\cdot\mathbf{A} + \dfrac{1}{c^2}\dfrac{\partial\varphi}{\partial t} = 0 \quad(\text{Lorenz})

Two common gauge conditions. Each uses up the gauge freedom to pin down the potentials.

The equations decouple: the d'Alembertian

In the Lorenz gauge something beautiful happens. The two remaining source equations, which in general tangle \varphi and \mathbf{A} together, decouple completely: each potential satisfies its own inhomogeneous wave equation, driven by its own source. The wave operator that appears is the d'Alembertian \Box — the spacetime cousin of the Laplacian.

\Box\,\varphi = -\dfrac{\rho}{\varepsilon_0}, \qquad \Box\,\mathbf{A} = -\mu_0\mathbf{J}, \qquad \Box \equiv \nabla^2 - \dfrac{1}{c^2}\dfrac{\partial^2}{\partial t^2}

In the Lorenz gauge, φ and A each obey a wave equation sourced by charge and current — the form that makes radiation transparent.

This is the doorway to the covariant theory. The four objects (\varphi/c,\mathbf{A}) bundle into a single four-potential A^\mu, the sources (c\rho,\mathbf{J}) into the four-current J^\mu, and the pair above collapses into one relativistic line, \Box A^\mu = \mu_0 J^\mu. That unification — Maxwell's equations in manifestly covariant form — is the launching point for the Radiation & Covariant EM track.