Coulomb Gauge
Back in magnetostatics, the Coulomb gauge was a modest housekeeping rule: impose , and the vector potential's equation collapses to three tidy Poisson problems. That article — Gauge Freedom and the Coulomb Gauge — proved the condition attainable, priced its leftover freedom, and closed with a promissory note: in time-dependent theory the same gauge produces a scalar potential that updates instantaneously across the universe, an apparent causality scandal whose acquittal was deferred "to the radiation chapter." This is the radiation chapter, and this article pays the note. Impose when the sources move, and the equations split with striking asymmetry. The scalar potential obeys the electrostatic Poisson equation at every instant — charge wiggles in a distant galaxy and here rearranges now, with no light-travel delay. The vector potential, meanwhile, obeys a genuine wave equation, but sourced by only part of the current: the transverse (divergence-free) part, with the longitudinal part surgically cancelled by the very term the instantaneous generates. Everything acausal is quarantined in ; everything radiative travels at inside . The scandal dissolves once you watch the fields rather than the potentials: outside the light cone of any source change, the transverse field conspires to cancel the updated Coulomb piece exactly, and the measurable still carries yesterday's news. Prosecuting that cancellation honestly — and understanding why the transverse/longitudinal split is nonlocal enough to pull it off — is this article's core business. The reward for tolerating the weirdness is the gauge modern physics quantizes light in: two transverse polarizations, an explicit Coulomb interaction, and the working coordinates of atomic physics and QED.
- The Coulomb gauge imposes in full electrodynamics. Gauss's law then forces — Poisson's equation with the charge density at the same instant: is the electrostatic potential of the frozen present configuration, recomputed at every .
- The vector potential obeys a true wave equation, , sourced only by the transverse (divergence-free) part of the current; the longitudinal part is cancelled by , courtesy of charge conservation.
- The instantaneous violates nothing: potentials are gauge coordinates, not observables. Outside the light cone of a source change, the transverse piece of cancels the updated Coulomb piece exactly; the total field is causal in every gauge.
- The Helmholtz longitudinal/transverse split is nonlocal — that is how a "transverse" field can carry the instantaneous antidote — and it is frame-dependent, which is the covariance price of this gauge.
- Far from charges one may set outright: the radiation gauge, where the two transverse components of are the only dynamical variables — exactly the photon's two polarizations.
- Division of labor: the magnetostatic twin owns attainability, the harmonic residual, and the static toolkit; this article owns the dynamical structure and the causality acquittal.
- Key idea: with , the scalar potential is the instantaneous Coulomb integral and the vector potential is a causal wave driven by the transverse current alone — and the observable fields remain strictly causal.
Imposing makes the scalar potential obey an instantaneous Poisson equation while the vector potential is driven only by the transverse current; the observable fields nonetheless remain causal.
Where this lives today
The Coulomb gauge is where light gets quantized. Set , take and , and the field's only dynamical variables are the two transverse components of — each Fourier mode a harmonic oscillator, each quantum a photon with exactly two polarization states, no ghost bookkeeping required. That radiation-gauge quantization, essentially in Fermi's 1932 formulation, still underlies quantum optics: cavity QED, circuit QED with superconducting qubits, and the input–output theory behind every quantum-limited amplifier are written in it. Atomic, molecular, and condensed-matter physics stay in Coulomb gauge for a different reason: the instantaneous Coulomb interaction sits explicitly in the Hamiltonian — the term that makes atoms bind — while the transverse field enters as the coupling that drives absorption and emission. The gauge's org chart is the structure of quantum chemistry. The frame-dependence that embarrasses the gauge relativistically is priced and paid daily: high-energy theory uses covariant gauges for loop integrals, then checks gauge-invariant answers, while bound-state QED (Lamb shifts, positronium, precision hydrogen) still often runs in Coulomb gauge because binding is a rest-frame concept. And on the computational side, "solve a Poisson equation every step, project the current transverse" is the literal inner loop of electromagnetic particle-in-cell plasma codes and Gummel-cycle device simulators — the two clerks, implemented as a fast elliptic solve plus a hyperbolic update, integrating the same split this article derived.
Origins · 1 minJames Clerk Maxwell and how this was discovered
It is one of history's neat ironies that the man who discovered electromagnetic waves never wrote the gauge that makes them look simplest. Throughout the Treatise on Electricity and Magnetism (1873), Maxwell worked with the potentials as primary objects and systematically imposed — the Coulomb gauge, decades before the name existed. His scalar potential was therefore the instantaneous Coulomb integral, and the strange split this article prosecutes — omniscient , causal transverse — is native to the original formulation of electrodynamics, not a modern curiosity. FitzGerald and Heaviside later grumbled that Maxwell's potential-first, Coulomb-gauge presentation obscured the propagation physics (Heaviside campaigned to "murder the potentials" outright), and the fields-first rewrite became the textbook standard. The pendulum swung back: quantum mechanics restored the potentials to primacy, and Fermi's Coulomb-gauge QED put Maxwell's coordinates at the center of the quantum theory of light. Maxwell had, characteristically, chosen the gauge that the physics of bound charges and photons would eventually demand.
The physical picture
Picture the gauge as a firm with two clerks. The first clerk — the scalar potential — maintains the Coulomb ledger: at every tick of the clock, he looks at where all the charge is right now and writes down the electrostatic potential of that frozen arrangement, as if the world were a statics problem refreshed infinitely fast. He is omniscient and instantaneous and completely unobservable. The second clerk — the transverse vector potential — handles everything that actually propagates: her entries obey a wave equation, travel at , and carry the radiation. The gauge condition is the firm's org chart: it assigns all divergence (all charge-tracking) to the first clerk and all curl (all circulation and radiation) to the second, with no overlap. The current splits along the same line. Any current density decomposes — the Helmholtz decomposition of the vector-calculus chapter — into a curl-free longitudinal piece , which shuffles charge from place to place and is fully dictated by through continuity, and a divergence-free transverse piece , which circulates without accumulating charge anywhere. The longitudinal piece is the first clerk's problem: it only updates the Coulomb ledger. The transverse piece is the only thing that radiates. This is not a gauge artifact dressed as insight — it is the reason antenna engineers speak of effective currents and why the dipole radiation pattern three articles ahead carries a : that factor is the transverse projection.
The equations to be earned are, from Gauss's law and the Ampère–Maxwell law with the potential definitions of the chapter opener inserted:
where: is the present charge density — no retardation — and is the transverse part of the current in the Helmholtz sense, . Read the asymmetry: the first equation has no time derivatives at all (elliptic, instantaneous, boundary-value character), while the second is hyperbolic and causal. One gauge, two completely different kinds of physics problem — this split is the gauge's entire personality, and both its power and its scandal flow from it. The scalar equation solves exactly as in electrostatics, instant by instant:
where: the source is evaluated at the same as the field point — the "instantaneous Coulomb integral." Note what this is not: it is not a claim that anything physical moves instantaneously; it is the definition of one gauge coordinate. The retarded integral that answers the corresponding question causally is two articles ahead, and comparing the two side by side is the fastest way to see what a gauge choice does and does not commit you to.
The goal is the full system (1): impose on the general coupled potential equations and reduce them, tracking exactly where the longitudinal current disappears — the cancellation is the theorem here, not a bookkeeping afterthought. The strategy: Gauss's law first (one line, delivering the instantaneous Poisson equation), then the Ampère–Maxwell law via the curl-of-curl identity, and finally the identification of the leftover term as exactly using continuity plus the Helmholtz uniqueness argument recalled from the vector-calculus chapter. Watch for the moment charge conservation enters — without it the gauge would not close.
Step 1. The scalar equation. Gauss's law with :
Why this is the gauge's signature move: the only time derivative in Gauss's law rides on , and the condition erases it. What remains is elliptic — no wave operator, no retardation, the same equation solved throughout electrostatics, now with a time-stamped source.
Step 2. The vector equation, raw. Ampère–Maxwell with both potential definitions inserted and the curl-of-curl identity :
so that
Why the leftover term is a feature: the gauge has killed the ugliness, but the scalar potential still contaminates the vector equation through . The next two steps show this contamination is precisely engineered — it subtracts the non-radiating part of the current.
Step 3. Identify the contamination as the longitudinal current. Apply to Step 1's Poisson equation and use continuity, :
where the last equality holds because the transverse part of is divergence-free by definition. Now compare the two fields and : both are curl-free (one is a gradient; the other by the definition of the Helmholtz split), they have equal divergences everywhere, and both vanish at infinity for localized sources. By the Helmholtz uniqueness theorem of the vector-calculus chapter,
Why continuity is the load-bearing wall: without the divergences would not match and the identification would fail. The instantaneous "knows" how charge is about to rearrange only because the longitudinal current is enslaved to by charge conservation — the gauge is spending the continuity equation, not luck.
Step 4. The cancellation. Substitute Step 3 into Step 2:
Why this earns the gauge its aliases: the wave equation for — the only causal, propagating object in the formalism — is driven by the transverse current alone. Longitudinal charge-shuffling never radiates; it only refreshes the Coulomb ledger. Hence "transverse gauge" and, in the source-free case, "radiation gauge." Consistency check: taking the divergence of both sides gives — the gauge condition, once imposed, propagates itself. *As a consistency check: the static limit of both equations recovers the electrostatic Poisson equation and the magnetostatic of the twin article, where automatically since steady currents are divergence-free.*
The scandal, prosecuted
Equation (2) says that if a charge on Proxima Centauri twitches at noon, the Coulomb-gauge in this room changes at noon — four years before any light arrives. Before dissolving the paradox, sharpen it: this is not a small effect, not a far-field subtlety, and not an approximation artifact. It is the exact, intended behavior of the gauge. The resolution has to be structural, and it is: the acausal content of is exactly cancelled, outside the light cone, by the transverse field — and the cancellation works because the Helmholtz split is nonlocal. That last point deserves its own paragraph, because it is where intuition usually breaks. "Transverse" in the Helmholtz sense does not mean "locally perpendicular to something"; it means divergence-free, a condition diagnosed by integrals over all space. The transverse projection of a current localized in a wire is not localized in the wire — it has tails filling all space (the projection kernel falls off as a power law). So , despite obeying a causal-looking wave equation sourced by , receives contributions from transverse-current tails that switched on the instant the distant charge moved. The transverse field is causal with respect to — but itself is an instantaneously nonlocal functional of the physical current. Two instantaneous wrongs, one causal right.
Go deeper · Derivation B · 2 minCausality of the fields — the light-cone cancellation, exhibited
The goal is the acquittal: show that the total electric field in Coulomb gauge is strictly causal — outside the light cone of any source change, still reports the old configuration — and exhibit the mechanism, namely that the transverse piece develops an instantaneous component equal and opposite to the updated Coulomb field. The strategy is a bookkeeping argument built on two facts: (i) the total fields obey gauge-invariant, sourced wave equations — recalled from the wave chapter's opener, which derived directly from Maxwell — whose solutions with quiescent past are retarded and causal (the uniqueness and domain-of-dependence argument is the next article's Derivation A; the explicit retarded field formulas are Jefimenko's Equations, which serve as this derivation's receipts); and (ii) the Coulomb-gauge split of that causal total into is exact and unambiguous. Squeezing (ii) against (i) forces the cancellation.
Step 1. Split the field along the gauge's org chart. In Coulomb gauge is divergence-free, so is transverse; and is a gradient, hence longitudinal. The split of is therefore aligned with the potentials:
Why this alignment is special to this gauge: in a general gauge both potentials contribute to both Helmholtz components. Coulomb gauge is exactly the choice that makes the split of read off the potentials — which is why the scandal is so visible here.
Step 2. The longitudinal field is the instantaneous Coulomb field. From (2),
— the electrostatic field of the present configuration, updated with zero delay everywhere. Taken alone, this piece is flagrantly acausal. Why we do not panic: alone is not measurable. No detector projects onto Helmholtz components — the projection requires knowledge of the field everywhere at one instant. Detectors read the total .
Step 3. The total field is causal. The total obeys the sourced wave equation recalled above, with sources and that are physical, local, and causal. With a quiescent (or previously settled) past, the unique solution is the retarded one: depends on sources only on the past light cone. Concretely — the scenario to hold in mind — let a source sit static until , then rearrange. For , the total field is still the old static field, unchanged.
Step 4. Force the books to balance. Outside the light cone ():
The transverse field outside the light cone is forced to be nonzero: it must supply the old field while subtracting the updated Coulomb field. The instantaneous piece of — sourced by the nonlocal tails of discussed above — is exactly the antidote, point by point, to the instantaneous update of . Inside the light cone, both pieces are "new" and their sum is the genuine retarded field. Why the conspiracy is guaranteed rather than miraculous: both statements — the causal total and the instantaneous split — are theorems about the same solution of Maxwell's equations. The cancellation is their only possible reconciliation. What looks like fine-tuning is bookkeeping: the gauge put the acausality into by hand, so it must hide the antidote in by necessity. *This is the classic analysis of Brill & Goodman (Am. J. Phys. 35, 832, 1967). The explicit retarded field formulas that serve as Step 3's receipts are Jefimenko's equations, three articles ahead, which contain no reference to any gauge — as befits gauge-invariant observables.*
Residual freedom, and what pins it
The magnetostatic twin showed that survives further gauge shifts with harmonic gauge functions, . Dynamics adds a wrinkle: the shift must also preserve the instantaneous Poisson character of , and since , any time-dependent harmonic is formally admissible. What kills the residue in practice is decay: a harmonic function that vanishes at infinity is identically zero (the mean-value property of the boundary-value chapter), so demanding that both potentials die at infinity at every instant leaves constant — no residual freedom at all. For localized sources, Coulomb gauge plus decay conditions is a complete gauge fixing: equations (1)–(2) have exactly one solution pair. This is tidier than the Lorenz gauge, whose residual freedom (next article) is a genuine family of gauge waves.
Limiting cases
| case | result | meaning |
|---|---|---|
| statics | , | both gauges' equations coincide ( makes Lorenz ≡ Coulomb); the twin article's home territory |
| source-free region | , , | the radiation gauge: two transverse wave amplitudes, the classical skeleton of photon quantization |
| slow sources (, sizes ) | fields ≈ instantaneous Coulomb + small transverse correction | the quasistatic regime: Coulomb gauge makes the hierarchy explicit — the leading physics is the first clerk's ledger |
| single Fourier mode | ; | in -space the Helmholtz split is a local projector — the nonlocality in real space is the Fourier transform's spreading |
| relativistic boost | fails in the new frame | the condition is not Lorentz-invariant: each frame has its own Coulomb gauge — the covariance price |
Worked examples
1 · The blinking dipole and the one-millisecond ledger (confidence builder)
Setup. Two small spheres 1 m apart exchange charge through a wire at kHz: on one sphere, on the other, with C — an oscillating dipole with C·m. An observer sits at km, on the dipole axis. How do the Coulomb-gauge and the physical field each respond? (Chosen distance is no accident: km, so the observer sits right at the radiation-zone boundary, and the light-travel time ms is one full period.)
Step 1. The instantaneous ledger. The Coulomb-gauge at the observer is the present dipole potential, on axis. Amplitude: . Its phase tracks the source with zero delay: when the laboratory clock reads , the potential 300 km away already reads its maximum.
Step 2. The physical field. The measurable at 300 km is built from the source one light-time earlier — a full period back. In this radiation zone the field is dominated not by the Coulomb-ledger piece but by the radiation term (delivered in Electric Dipole Radiation), and every crest of it left the source 1.0 ms before arriving. A fast field mill at 300 km and an identical one at 3 km would see the same waveform shifted by ms — the fields march outward at , indifferent to the ledger's omniscience.
Step 3. Where the books balance. Between the two clerks: the observer's (instantaneous, amplitude set by -type scales) is cancelled outside each light cone by the transverse clerk's antidote piece, and what survives is the retarded total. Nothing about the choice of 1 kHz or 300 km matters to the principle — scale it to Proxima Centauri and four years, and the arithmetic of the cancellation is identical.
The lesson: the gauge's instantaneous entries are enormous in extent and zero in consequence. Causality lives in the totals.
2 · Transverse projection is the radiation pattern (exam level)
Setup. A short center-fed antenna carries a uniform oscillating current , A. Consider the far field propagating toward a direction at angle from the antenna axis. Using the -space form of the Helmholtz split (the limiting-cases table), find the transverse current fraction driving in that direction, and connect it to the dipole radiation pattern.
Step 1. The projector. For the Fourier mode traveling along , the transverse projection of the source is . With and :
Step 2. Numbers. Toward (broadside): — the whole current radiates. At : . At : . At : . Along the axis (): zero — the current is purely longitudinal as seen by that direction, and nothing radiates along the axis of a linear antenna.
Step 3. Power. Radiated power per solid angle rides on , i.e. on : broadside, at , at , at , on axis. This is exactly the donut of Electric Dipole Radiation, obtained three articles early from pure gauge structure: the dipole pattern is the transverse projector made visible. The equation was never solved — only its source examined — yet the angular shape of the answer is already fixed.
The lesson: "only the transverse current radiates" is quantitative engineering, not slogan. Antenna nulls are directions in which the current looks longitudinal.
Going further
References. Griffiths, Introduction to Electrodynamics, 4th ed., §10.1.3 · Jackson, Classical Electrodynamics, 3rd ed., §6.3, §6.5 · Zangwill, Modern Electrodynamics, §15.3 · Brill & Goodman, "Causality in the Coulomb gauge," Am. J. Phys. 35, 832 (1967) · Fermi, "Quantum theory of radiation," Rev. Mod. Phys. 4, 87 (1932) The three key algebraic checks underlying this article are: (1) substituting the field forms into Gauss's law to obtain under ; (2) the curl-of-curl reduction of Ampère–Maxwell to ; (3) using continuity and the time-differentiated Poisson equation to establish . Constants and are standard vacuum values. Consistency with Jefimenko's equations confirms field causality. The magnetostatic twin Gauge Freedom and the Coulomb Gauge owns the attainability/repair construction, the harmonic-residual analysis, and the static toolkit, all recalled here by name and not re-derived; this article owns the dynamical system (Derivation A, with the identification as Step 3), the light-cone causality acquittal (Derivation B, after Brill & Goodman), the nonlocality analysis of the Helmholtz split, and the dynamic residual-freedom closure. Worked examples — the km blinking dipole and the transverse-projection table — have all numbers recomputed.
Builds on: Scalar and Vector Potentials · Gauge Transformations · Gauge Freedom and the Coulomb Gauge (magnetostatics twin) · Helmholtz Decomposition Leads to: Lorenz Gauge · Retarded Potentials · Jefimenko's Equations · Electric Dipole Radiation
What exactly does this article add to the magnetostatics Coulomb-gauge article?
Division of labor, mandated by the chapter plan. The magnetostatic twin owns the gauge machinery: the proof that curl-free differences are gradients, the attainability of by solving a Poisson repair problem, the harmonic residual freedom, the uniform-field menagerie, and the doctrine of gauge-invariance audits — all with static sources, where never enters the story. This article owns everything that time does to the gauge: the instantaneous Poisson equation for , the transverse-sourced wave equation for with the continuity-powered cancellation, the causality scandal and its light-cone acquittal (the twin's closing FAQ promised exactly this), the nonlocality of the Helmholtz split, and the radiation-gauge reduction that quantum optics builds on. Read the twin for how to reach and manipulate the gauge; read this for what the gauge does when sources move.
If V updates instantly, could two experimenters use it to communicate faster than light?
No, and it is worth seeing exactly where the scheme dies. To "read" , the receiving experimenter must measure something, and everything measurable — forces on charges, induced currents, interference phases — is built from and , which Derivation B shows are unchanged outside the sender's light cone: the updated Coulomb piece and the transverse antidote cancel to whatever precision you compute them. The instantaneous update is real as a statement about the gauge coordinate and empty as a channel, in precisely the way a change of map projection can move every latitude line on Earth "instantly" without moving any city. The same acquittal covers all gauges at once, since gauge transformations never touch the fields.
Is the longitudinal and transverse decomposition of E something I could measure separately?
Not with local apparatus. The split is defined by conditions on divergence and curl — properties that require field data over all space at one instant — and the projection kernels are long-ranged. A detector at a point reads the total field; assigning its reading to versus requires already knowing the global field configuration. Worse, the split is frame-dependent: a boosted observer's Helmholtz components mix yours. The decomposition is a superbly useful calculational coordinate system — it diagonalizes the gauge's structure and, in -space, the radiation problem — but no invariant meaning attaches to the pieces separately. (Free radiation far from all sources is the exception where the transverse piece is the whole field.)
Why does atomic physics insist on the Coulomb gauge rather than the manifestly covariant Lorenz gauge?
Because atoms are bound by the Coulomb interaction, and this gauge hands it over explicitly. The instantaneous produces the electron–nucleus and electron–electron potentials directly in the Hamiltonian — the hydrogen problem, the helium problem, all of quantum chemistry — while the transverse enters separately as the radiation field that drives transitions. In Lorenz gauge, the same physics arrives disguised: the binding interaction hides inside retarded photon exchange, and extracting a Schrödinger-like problem requires undoing the covariance you paid for. For systems with a preferred frame (the atom's rest frame), frame-dependence is no defect. Relativistic corrections come in as systematic expansions (Breit interaction, retardation corrections) on top of the Coulomb-gauge skeleton.
Does the transverse current really extend outside the wire that carries the actual current?
Yes — and computing one case makes it believable. The transverse projection subtracts from the gradient field , and is the Coulomb integral of the charge the current is rearranging, which fills all space. For a short current element, outside the element is the (time-derivative of the) dipole-pattern gradient field — falling off as a power law, present everywhere, switching on simultaneously with the current. That is not physical charge flow at those points; it is a mathematical component of a nonlocal decomposition. The physical current is confined to the wire; its transverse part is not, and the wave equation for is sourced by the latter. This is the mechanism behind the instantaneous antidote in Derivation B.
In the radiation gauge, where did the scalar potential go — is setting V to zero always allowed?
Only where there is no net charge density. With , the instantaneous Poisson equation plus decay at infinity forces with no further choice — the radiation gauge is the Coulomb gauge meeting empty space, not an extra condition. With you cannot zero while keeping : the two conditions together would overdetermine the gauge function (temporal gauge is attainable alone, at the price of a nonzero ). In practice the radiation gauge is the natural habitat for free-field problems — quantizing light, cavity modes, scattering states — while the full Coulomb gauge handles matter and field together, with carrying the binding interactions.
The equation for A is a clean wave equation. Why do we not just solve it with retarded integrals like the Lorenz-gauge potentials?
You can — with one catch: the source is , not . The retarded solution of is the retarded integral over the transverse current, which (previous FAQ) fills all space even for a compact physical current. So the "retarded" Coulomb-gauge integrates over an unbounded effective source, which is computationally awkward and conceptually the very origin of its instantaneous content. The Lorenz gauge's selling point, delivered over the next articles, is exactly that its retarded integrals run over the physical, compact and . Rule of thumb: Coulomb gauge for Hamiltonians and mode counting; Lorenz gauge for propagation and radiation integrals.