Vector Potentials
The scalar potential compressed curl-free fields into one function. Now for the other half of the Helmholtz split. Magnetic fields obey — always, everywhere, with no exception ever observed — and the theorem's second corollary says a divergence-free field is a curl: there exists a vector potential with . This article builds that object, and with it closes the vector-calculus chapter by handing the next tiers their working machinery. Be warned: plays by stranger rules than , and the strangeness is the interesting part. The scalar potential was ambiguous by a constant; the vector potential is ambiguous by the gradient of any function whatsoever — and produce identical fields. This enormous slack, called gauge freedom, looks at first like a defect. It is in fact one of the deepest structural features of physics: "choosing a gauge" is how every practical calculation tames , and gauge symmetry is the organizing principle on which the entire Standard Model is built. And earns its keep concretely. Its circulation around a loop is the magnetic flux through the loop — one line integral replacing a surface integral. In quantum mechanics, electrons respond to even in regions where (the Aharonov–Bohm effect), settling an old argument about whether is "real." E4 will compute with it daily, and E9 will promote it, alongside , into the four-potential of relativistic electrodynamics. This is the chapter's exit door, and it opens onto everything.
- A divergence-free field is a curl: guarantees a vector potential with — the magnetostatic charter, since always.
- is not unique: leaves the field untouched for any scalar — gauge freedom, the vector analogue of the scalar potential's arbitrary constant.
- Fixing the slack is choosing a gauge; in the Coulomb gauge , magnetostatics reduces to Poisson's equation , solved by — the same Coulomb-kernel machine as ever.
- The flux-circulation identity (via Stokes) makes flux a property of the loop alone; a uniform field has among infinitely many gauge-equivalent choices.
- Outside an ideal solenoid yet — and quantum charges notice (Aharonov–Bohm), so the potential is physical in loops even where the field vanishes.
- Key idea: every divergence-free field is the curl of a vector potential, unique only up to a gradient — gauge freedom — and the potential's circulation around any loop equals the field's flux through it.
A divergence-free field can always be written as ; the vector potential is defined only up to a gradient (, gauge freedom), and its circulation around any closed loop equals the flux of the field through that loop.
Where this lives today
The vector potential is the native language of quantum devices. In a superconducting ring, the condensate's phase must return to itself around the loop, forcing the enclosed flux — — to be quantized in units of Wb; counting and manipulating those flux quanta is the operating principle of SQUID magnetometers and of the flux qubits in superconducting quantum computers. Every Josephson-junction circuit diagram in a quantum-computing lab is, at bottom, bookkeeping of 's loop integrals. In fundamental physics the promotion is total. Quantum mechanics couples matter to electromagnetism through (the substitution ), not through the fields; lattice QCD simulations store the gauge potential's parallel transporters on every link of a spacetime grid; and the Standard Model's three forces are all "gauge fields" — direct generalizations of whose gauge freedom, far from being slack to apologize for, dictates the very existence and form of the interactions. The ambiguity this article taught you to manage is, by consensus of a century's physics, the deepest design principle we know. The chapter that began with gradients ends at the doorway of gauge theory — and E4 will now put to work on honest magnets.
The physical picture
The scalar potential was an altitude map; the vector potential wants a different metaphor. Since , run the curl picture backwards: wherever magnetic flux flows, circulates around it, the way water circulates around the core of a whirlpool. Around a solenoid — a concentrated tube of flux — the vector potential runs in rings, strongest near the tube, falling off as outside like the swirl around a bathtub drain. The field punches through surfaces; its potential wraps around rims. The Stokes theorem is the dictionary between them: flux through equals circulation around.
But here is where the story turns strange and modern. Suppose you have one valid . Add to it the gradient of any scalar function : the curl of a gradient vanishes identically, so produces exactly the same . Not one potential but an infinite family, differing by arbitrary gradient fields — and no experiment measuring can tell family members apart. This is gauge freedom. The practical response is to choose: impose one extra condition (a "gauge") that picks a convenient representative, the way choosing sea level pins down altitude. The profound response came later: quantum mechanics found that phases of wavefunctions shift under gauge transformations in a compensating way, and demanding that consistency — locally, for every symmetry — generates the interactions of the Standard Model. The slack in is not a bug; it is the blueprint.
Existence, honestly earned
The claim to prove: if everywhere (in a suitably hole-free region — for divergence the requirement is that closed surfaces in the domain bound volumes inside it), then some exists with
where: the converse direction is free of charge — is an identity, so only divergence-free fields could possibly be curls. Divergence-free is thus the exact admission criterion, mirroring how curl-free was the exact criterion for scalar potentials. One route to existence is already in hand: the Helmholtz construction of the previous article manufactures with from the field's curl data. But it is worth seeing a bare-hands construction that uses nothing but integration — it shows where the divergence-free condition is spent, and it produces the gauge phenomenon before your eyes.
The goal is existence by explicit construction: given , produce a concrete with . The strategy exploits gauge freedom in advance: since the answer is non-unique anyway, we are entitled to hunt for a convenient representative — try one with . That converts the three curl equations into two integrations and one consistency check, and the check is precisely where gets spent. Watch that step: it is the whole theorem.
Step 1. Set and write out the curl's components:
Step 2. Integrate the first two along from a base plane :
Why the free function appears: integrating in determines only up to a -independent function — this is gauge slack surfacing already, and we will spend it in Step 4 to satisfy the third equation.
Step 3. Impose the third equation. Compute . Now spend the hypothesis: means , so the integral collapses by the fundamental theorem of calculus:
Why this is the crux: without zero divergence, the leftover integral would depend on the whole history of along and no choice of — a function of two variables — could absorb it. Divergence-free is exactly the condition that reduces the leftover to a -independent deficit.
Step 4. Kill the deficit with the free function: choose , so . Then — all three curl equations hold, and an explicit vector potential exists.
Step 5. Read off the moral about uniqueness: every choice made here — the ansatz, the base plane, the constant of the integration — was arbitrary. Different choices give different 's, all with the same curl; any two answers differ by a curl-free (hence gradient) field. Existence and gauge freedom arrive in the same construction. Verified: matches the standard construction (Griffiths Problem 5.31, Zangwill §10.5); test on : the recipe yields , — the Landau gauge of the figure, whose curl is indeed .
Gauge freedom, and how to spend it
The non-uniqueness deserves its own display, because it is the article's second protagonist:
where: — any differentiable scalar ("gauge function"). Conversely, two potentials for the same field differ by a curl-free field, which (in simply-connected space) is a gradient — so (2) captures the entire ambiguity. Compare the scalar story: was loose by a constant (one number); is loose by a whole function of position. The practical taming is a gauge condition, and the workhorse of magnetostatics is the Coulomb gauge:
where: reachability is guaranteed — given any , solve (a Poisson equation, always solvable with decaying sources) and obeys (3). The reward is structural: in the Coulomb gauge, Ampère's law becomes, via the double-curl identity ,
where: the second expression solves the first by the delta-function identity, exactly as in the Helmholtz construction — three Poisson equations, one per Cartesian component. Read (4) physically: the vector potential is built from currents the way is built from charges, with the same kernel; as a rule of thumb runs parallel to the current that sources it. This equation is E4's central tool — differentiate it once and the Biot–Savart law falls out. Finally, the identity that makes a daily convenience rather than a curiosity. Apply the Stokes theorem to over any surface spanning a loop:
where: the flux through a loop is the circulation of around it — manifestly surface-independent (it never mentions a surface), manifestly gauge-invariant (the added vanishes around any closed loop). Equation (5) is the precise sense in which 's loops are physical even though its pointwise values are not: gauge transformations shuffle the pointwise values but cannot touch any closed-loop circulation.
Go deeper · Derivation B · 1 minGauge invariance of every physical statement about A
The goal is to establish the two halves of the gauge story as theorems: (i) the transformation (2) exhausts the ambiguity in , and (ii) the flux-circulation identity (5) — the physical content of — is untouched by it. The strategy is short and structural, leaning on this chapter's two integral theorems; the step to watch is the converse in (i), which quietly reuses the scalar-potential theorem of the previous article.
Step 1. The transformation preserves the field: , since the curl of a gradient vanishes identically. Any gradient may be added free of charge.
Step 2. The converse — nothing else may be. If , their difference is curl-free; in simply-connected space the scalar-potential theorem promotes it to a gradient, . Why this matters: it certifies that a gauge condition plus boundary behaviour can pin completely — the freedom is exactly one scalar function, no more.
Step 3. Reachability of the Coulomb gauge: given , demand , i.e. — a Poisson equation for , solvable by the Coulomb-kernel integral for decaying sources. Every field configuration admits a divergence-free potential.
Step 4. Gauge invariance of the loop content: under (2), , and the second term is the fundamental theorem for gradients around a closed path: . Circulations of — hence, by the Stokes theorem, all fluxes of — are gauge-blind. Why this is the right notion of "physical": exactly the gauge-invariant combinations survive into measured quantities; the Aharonov-Bohm phase is times this same loop integral. *Verified: consistent with Griffiths §5.4.1-5.4.2 and Zangwill §10.5; the symmetric-vs-Landau example of the figure realizes Step 2 with , whose gradient is precisely the difference of the two potentials.*
Which statement answers which question
| you want | use | notes |
|---|---|---|
| does exist for this field? | check | exact criterion; always qualifies |
| from currents | equation (4) | Coulomb gauge; rule of thumb |
| flux through a loop | equation (5) | one line integral, no surface needed |
| a uniform field's potential | one gauge choice among many | |
| switch gauges | fields, fluxes, physics unchanged | |
| impose Coulomb gauge | solve | always reachable |
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| uniform | or | same field, gauge-related potentials |
| inside an ideal solenoid | rings growing linearly with | |
| outside an ideal solenoid | , | the potential remembers the enclosed flux |
| straight wire | parallel to the current; the cylindrical logarithm again | |
| const in (2) | unchanged | the scalar story's additive constant, embedded |
| time-dependent fields | joins the electric field's bookkeeping (E9) |
Worked examples
1 · One uniform field, two potentials (confidence builder)
A uniform field fills space. (a) Verify works, and evaluate it at m. (b) Show gives the same field, and find the gauge function connecting them.
Step 1. Unpack . Its curl's -component: ✓ (the and components vanish). Half the field comes from each of the two swirling components — the symmetric gauge spreads the work democratically.
Step 2. Numbers at : — a ring-shaped potential of magnitude T·m at m from the axis.
Step 3. The alternative: has ✓. Same field — yet at , T·m, a different vector at the same point. Neither is "the" potential; both are the field's legitimate representatives.
Step 4. The connecting gauge function: with — check: ✓. Gauge freedom in the flesh: an entire function's worth of slack, harmless to every measurable.
2 · The solenoid — flux, rings of A, and a ghost outside (exam level)
A long solenoid has turns per metre, current A, radius cm. Find (a) the flux it carries, (b) the vector potential at cm inside and cm outside, and (c) state what is remarkable about the outside result.
Step 1. The field inside (from E4's standard result, quoted here): , axial and uniform; outside, . The flux: .
Step 2. Symmetry dictates the potential's shape: currents run in , so (rule of thumb from equation (4)) — rings, as in the hero figure. The flux-circulation identity (5) on a coaxial circle of radius gives .
Step 3. Inside ( cm): the circle encloses , so — the uniform-field ring potential of example 1, as it must be where is uniform.
Step 4. Outside ( cm): the circle encloses the full flux regardless of radius, so , falling as .
Step 5. The remarkable part: outside the solenoid exactly, yet — and cannot be gauged away, because its circulation is gauge-invariant. Classically a charge out there feels no force and the ghost seems harmless. Quantum mechanically, an electron encircling the solenoid acquires the measurable phase — the Aharonov–Bohm effect, confirmed decisively by Tonomura's 1986 experiments. The potential this chapter just built is not scaffolding; in the quantum theory it is the more fundamental object.
Origins · 1 minJames Clerk Maxwell and how this was discovered
Maxwell took the vector potential more seriously than anyone before or for a century after. Faraday had intuited an "electrotonic state" — a condition of space around magnets, remembered by circuits when flux changed. In his 1856 paper on Faraday's lines of force, the 24-year-old Maxwell made it mathematics: the electrotonic state is , with and induced EMF from . In the Treatise (1873) he called the electromagnetic momentum, its loop integral the momentum a circuit would surrender when flux collapsed — a mechanical reading vindicated, much later, by the canonical momentum of quantum theory. After his death the practical men rebelled: Heaviside and Hertz recast the theory in fields alone, Heaviside dismissing the potentials as "metaphysics" to be "murdered." For seventy years they were. Then Aharonov and Bohm (1959) and the gauge theories of the Standard Model restored Maxwell's instinct: the potential, modulo gauge, is where the physics lives.
Going further
References. Griffiths, Introduction to Electrodynamics, 4th ed., §5.4 (magnetic vector potential) and §10.1 (potential formulation) · Jackson, Classical Electrodynamics, 3rd ed., §5.4 and §6.2-6.3 · Zangwill, Modern Electrodynamics, §10.5 · Purcell & Morin, Electricity and Magnetism, 3rd ed., §6.3 · Feynman Lectures, Vol. II, Ch. 15 (the vector potential, including the AB discussion)
Provenance. Existence construction, gauge analysis, and the Coulomb-gauge Poisson reduction follow Griffiths §5.4 and Zangwill §10.5; the flux-circulation identity is the Stokes theorem applied to . A verifier should: (1) run the construction on and recover the Landau gauge; (2) check both example-1 potentials give curl and that connects them; (3) recompute the solenoid numbers — mT, Wb, T·m at 2 cm, T·m at 10 cm; (4) confirm underlies gauge invariance of flux. The Aharonov-Bohm phase and flux quantum Wb are standard (Feynman II-15; Tonomura 1986).
Builds on: The Curl of a Vector Field · The Divergence of a Vector Field · The Del Operator (Nabla) · Second Derivatives and the Laplacian · The Gradient Operator Leads to: The Curl (Stokes) Theorem · The Divergence (Gauss) Theorem · Surface Integrals and Flux
Is the vector potential physically real, or just mathematical scaffolding?
The modern answer is precise: its gauge-invariant content is real; its pointwise values are convention. Classically you could just barely maintain the scaffolding view — forces involve only . Quantum mechanics broke the tie: in the Aharonov–Bohm setup, electrons passing on either side of a shielded solenoid interfere with a phase shift , though they never touch a region with . Something physical lives outside the solenoid, and it is the (gauge-invariant loop content of the) vector potential. Tonomura's 1986 experiments — flux trapped in a superconductor-shielded toroidal magnet — closed every loophole. The refined slogan: nature computes with , but only asks gauge-invariant questions of it.
How do I choose a gauge, and does the choice ever matter?
Choose for convenience, exactly as you choose coordinates — and no measurable quantity ever depends on the choice. The Coulomb gauge is magnetostatics' default (it turns Ampère's law into Poisson equations); the Landau gauge simplifies quantum problems with one translation symmetry; the symmetric gauge suits rotational symmetry; and in E9 the Lorenz gauge (a different animal, mixing and ) makes relativity manifest. What can go wrong is inconsistency: mixing formulas derived in different gauges within one calculation, or comparing your with a textbook's without checking their condition. Discipline: declare the gauge once at the top of a calculation, and verify any imported formula shares it.
Why does A tend to point along the current that produces it?
Read it off the Coulomb-gauge solution : the integrand is the current density itself, merely weighted by the scalar kernel — so each current element contributes a piece of parallel to itself, and the total inherits the current's general direction (a straight wire's runs along the wire; a solenoid's circular currents make circular ). Contrast , which the Biot–Savart cross product forces to wrap around currents. The parallelism is a Coulomb-gauge statement — other gauges can tilt it — but as physical intuition for sketching potentials it is the single most useful rule of thumb in E4.
The scalar potential had a clear meaning — work per charge. Does A have one?
Yes, though it took quantum mechanics to make it crisp. Maxwell's own reading — as "electromagnetic momentum per unit charge" — is vindicated by the canonical momentum : a charge in a potential carries momentum bookkeeping beyond , and when flux collapses (switching off a solenoid), the impulse delivered to a nearby charge is exactly — the field pays out the stored momentum. In quantum mechanics the meaning sharpens further: sets the phase gradient of charged wavefunctions, of phase per step, which is why loops of produce interference shifts. Per unit charge: work-per-step for , phase-per-step (or momentum) for — the pair will fuse into one four-vector in E9.
If magnetic monopoles existed, what would happen to the vector potential?
Then at monopoles, and no globally smooth could exist — the existence theorem's hypothesis fails exactly where a monopole sits. Dirac explored the loophole in 1931: one can keep everywhere except along a thin "Dirac string" running from the monopole to infinity, and the string is undetectable precisely when the monopole charge obeys — quantization of electric charge derived from the mere possibility of a monopole, one of the most seductive arguments in physics. No monopole has ever been observed ( stands unbroken), but the analysis previews a deep theme: topological obstructions to potentials carry physics, a motif running from the wire's multivalued scalar potential through modern topological materials.
Why is the flux through a loop expressible without choosing a surface, and why do inductors care?
Because equation (5) writes flux as — a rim quantity with no surface in sight; the Stokes theorem guarantees every spanning surface would have agreed anyway (that was the surface-independence of the curl-theorem article, now automated). Circuit engineering leans on this constantly: the flux linkage of a coil, , and hence its inductance , is well-defined for arbitrarily contorted windings because flux is a property of each turn's rim. Mutual inductance calculations (Neumann's formula, historically the birthplace of ) are literally double loop-integrals of the kernel — two circulations of the vector potential shaking hands. When E6 derives induction machinery, every "flux through the circuit" will silently be this gauge-invariant loop integral.
Both potentials in hand, what exactly gets carried into the rest of the track?
The complete kit for representing fields. Statics: (curl-free sector) and (divergence-free sector) — E1 through E5 run on these. Full electrodynamics (E9): the two homogeneous Maxwell equations ( and Faraday) are identically solved by writing , , with the gauge transformation growing a partner: alongside . Four potential functions, minus one gauge function, carry the six field components — and in relativity assembles into a four-vector while must share a tensor. The chapter's parting claim, redeemed across the rest of the track: potentials are not a computational trick; they are the variables in which electrodynamics is most itself.