Vector Potentials

The scalar potential compressed curl-free fields into one function. Now for the other half of the Helmholtz split. Magnetic fields obey ∇⋅B=0\nabla\cdot\mathbf{B}=0 — 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 A\mathbf{A} with B=∇×A\mathbf{B}=\nabla\times\mathbf{A}. This article builds that object, and with it closes the vector-calculus chapter by handing the next tiers their working machinery. Be warned: A\mathbf{A} plays by stranger rules than VV, 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 — A\mathbf{A} and A+∇λ\mathbf{A}+\nabla\lambda 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 A\mathbf{A}, and gauge symmetry is the organizing principle on which the entire Standard Model is built. And A\mathbf{A} 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 A\mathbf{A} even in regions where B=0\mathbf{B}=0 (the Aharonov–Bohm effect), settling an old argument about whether A\mathbf{A} is "real." E4 will compute with it daily, and E9 will promote it, alongside VV, into the four-potential of relativistic electrodynamics. This is the chapter's exit door, and it opens onto everything.

Key takeaways
  • A divergence-free field is a curl: ∇⋅F=0\nabla\cdot\mathbf{F}=0 guarantees a vector potential A\mathbf{A} with F=∇×A\mathbf{F}=\nabla\times\mathbf{A} — the magnetostatic charter, since ∇⋅B=0\nabla\cdot\mathbf{B}=0 always.
  • A\mathbf{A} is not unique: A→A+∇λ\mathbf{A}\to\mathbf{A}+\nabla\lambda leaves the field untouched for any scalar λ\lambda — gauge freedom, the vector analogue of the scalar potential's arbitrary constant.
  • Fixing the slack is choosing a gauge; in the Coulomb gauge ∇⋅A=0\nabla\cdot\mathbf{A}=0, magnetostatics reduces to Poisson's equation ∇2A=−μ0J\nabla^2\mathbf{A}=-\mu_0\mathbf{J}, solved by A=μ04π∫J(r′)∣r−r′∣dτ′\mathbf{A}=\frac{\mu_0}{4\pi}\int\frac{\mathbf{J}(\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|}\mathrm{d}\tau' — the same Coulomb-kernel machine as ever.
  • The flux-circulation identity ΦB=∮A⋅dℓ\Phi_B=\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell} (via Stokes) makes flux a property of the loop alone; a uniform field has A=12B×r\mathbf{A}=\tfrac12\mathbf{B}\times\mathbf{r} among infinitely many gauge-equivalent choices.
  • Outside an ideal solenoid B=0\mathbf{B}=0 yet A≠0\mathbf{A}\neq0 — 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.
The core insight

A divergence-free field can always be written as F=∇×A\mathbf{F}=\nabla\times\mathbf{A}; the vector potential is defined only up to a gradient (A→A+∇λ\mathbf{A}\to\mathbf{A}+\nabla\lambda, 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 — ∮A⋅dℓ\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell} — to be quantized in units of h/2e=2.07×10−15h/2e=2.07\times10^{-15} 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 A\mathbf{A}'s loop integrals. In fundamental physics the promotion is total. Quantum mechanics couples matter to electromagnetism through A\mathbf{A} (the substitution p→p−qA\mathbf{p}\to\mathbf{p}-q\mathbf{A}), 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 A\mathbf{A} 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 A\mathbf{A} to work on honest magnets.

The physical picture

The scalar potential was an altitude map; the vector potential wants a different metaphor. Since B=∇×A\mathbf{B}=\nabla\times\mathbf{A}, run the curl picture backwards: wherever magnetic flux flows, A\mathbf{A} 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 1/s1/s outside like the swirl around a bathtub drain. The field B\mathbf{B} punches through surfaces; its potential A\mathbf{A} wraps around rims. The Stokes theorem is the dictionary between them: flux through equals circulation around.

Figure
The vector potential circulates around magnetic flux — rings of A wrapping a solenoid's field tube
B inside the solenoid rings of A, falling as 1/s outside outside: B = 0 but A ≠ 0 — its rings remember the flux they enclose B punches through surfaces; A wraps around rims: Φ = circulation of A

But here is where the story turns strange and modern. Suppose you have one valid A\mathbf{A}. Add to it the gradient of any scalar function λ(r)\lambda(\mathbf{r}): the curl of a gradient vanishes identically, so A+∇λ\mathbf{A}+\nabla\lambda produces exactly the same B\mathbf{B}. Not one potential but an infinite family, differing by arbitrary gradient fields — and no experiment measuring B\mathbf{B} 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 A\mathbf{A} is not a bug; it is the blueprint.

Figure
Gauge freedom — two very different vector potentials, one identical magnetic field
symmetric gauge: A = ½ B×r rings around the origin Landau gauge: A = Bx ŷ straight arrows, growing with x both have curl = B ẑ exactly — they differ by ∇λ with λ = ½Bxy

Existence, honestly earned

The claim to prove: if ∇⋅F=0\nabla\cdot\mathbf{F}=0 everywhere (in a suitably hole-free region — for divergence the requirement is that closed surfaces in the domain bound volumes inside it), then some A\mathbf{A} exists with

F=∇×A(1)\mathbf{F}=\nabla\times\mathbf{A} \qquad (1)

where: the converse direction is free of charge — ∇⋅(∇×A)=0\nabla\cdot(\nabla\times\mathbf{A})=0 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 W\mathbf{W} with ∇×W=F\nabla\times\mathbf{W}=\mathbf{F} 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.

Derivation ABuilding a vector potential by direct integration

The goal is existence by explicit construction: given ∇⋅F=0\nabla\cdot\mathbf{F}=0, produce a concrete A\mathbf{A} with ∇×A=F\nabla\times\mathbf{A}=\mathbf{F}. 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 Az=0A_z=0. That converts the three curl equations into two integrations and one consistency check, and the check is precisely where ∇⋅F=0\nabla\cdot\mathbf{F}=0 gets spent. Watch that step: it is the whole theorem.

Step 1. Set Az=0A_z=0 and write out the curl's components:

Fx=∂Az∂y−∂Ay∂z=−∂Ay∂z,Fy=∂Ax∂z,Fz=∂Ay∂x−∂Ax∂yF_x=\frac{\partial A_z}{\partial y}-\frac{\partial A_y}{\partial z}=-\frac{\partial A_y}{\partial z},\qquad F_y=\frac{\partial A_x}{\partial z},\qquad F_z=\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y}

Step 2. Integrate the first two along zz from a base plane z=0z=0:

Ax(x,y,z)=∫0zFy(x,y,z′) dz′,Ay(x,y,z)=−∫0zFx(x,y,z′) dz′+g(x,y)A_x(x,y,z)=\int_0^zF_y(x,y,z')\,\mathrm{d}z',\qquad A_y(x,y,z)=-\int_0^zF_x(x,y,z')\,\mathrm{d}z'+g(x,y)

Why the free function gg appears: integrating in zz determines AyA_y only up to a zz-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 ∂xAy−∂yAx=−∫0z(∂xFx+∂yFy)dz′+∂xg\partial_xA_y-\partial_yA_x=-\int_0^z\big(\partial_xF_x+\partial_yF_y\big)\mathrm{d}z'+\partial_xg. Now spend the hypothesis: ∇⋅F=0\nabla\cdot\mathbf{F}=0 means ∂xFx+∂yFy=−∂zFz\partial_xF_x+\partial_yF_y=-\partial_zF_z, so the integral collapses by the fundamental theorem of calculus:

∂xAy−∂yAx=∫0z∂z′Fz dz′+∂xg=Fz(x,y,z)−Fz(x,y,0)+∂xg\partial_xA_y-\partial_yA_x=\int_0^z\partial_{z'}F_z\,\mathrm{d}z'+\partial_xg=F_z(x,y,z)-F_z(x,y,0)+\partial_xg

Why this is the crux: without zero divergence, the leftover integral would depend on the whole history of FF along zz and no choice of g(x,y)g(x,y) — a function of two variables — could absorb it. Divergence-free is exactly the condition that reduces the leftover to a zz-independent deficit.

Step 4. Kill the deficit with the free function: choose g(x,y)=∫0xFz(x′,y,0) dx′g(x,y)=\int_0^xF_z(x',y,0)\,\mathrm{d}x', so ∂xg=Fz(x,y,0)\partial_xg=F_z(x,y,0). Then ∂xAy−∂yAx=Fz\partial_xA_y-\partial_yA_x=F_z — all three curl equations hold, and an explicit vector potential exists.

Step 5. Read off the moral about uniqueness: every choice made here — the Az=0A_z=0 ansatz, the base plane, the constant of the gg integration — was arbitrary. Different choices give different A\mathbf{A}'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 F=B0z^\mathbf{F}=B_0\hat{\mathbf{z}}: the recipe yields Ax=0A_x=0, Ay=B0xA_y=B_0x — the Landau gauge of the figure, whose curl is indeed B0z^B_0\hat{\mathbf{z}}.

Gauge freedom, and how to spend it

The non-uniqueness deserves its own display, because it is the article's second protagonist:

A′=A+∇λ⟹∇×A′=∇×A(2)\mathbf{A}'=\mathbf{A}+\nabla\lambda \quad\Longrightarrow\quad \nabla\times\mathbf{A}'=\nabla\times\mathbf{A} \qquad (2)

where: λ(r)\lambda(\mathbf{r}) — 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: VV was loose by a constant (one number); A\mathbf{A} is loose by a whole function of position. The practical taming is a gauge condition, and the workhorse of magnetostatics is the Coulomb gauge:

∇⋅A=0(3)\nabla\cdot\mathbf{A}=0 \qquad (3)

where: reachability is guaranteed — given any A0\mathbf{A}_0, solve ∇2λ=−∇⋅A0\nabla^2\lambda=-\nabla\cdot\mathbf{A}_0 (a Poisson equation, always solvable with decaying sources) and A0+∇λ\mathbf{A}_0+\nabla\lambda obeys (3). The reward is structural: in the Coulomb gauge, Ampère's law ∇×B=μ0J\nabla\times\mathbf{B}=\mu_0\mathbf{J} becomes, via the double-curl identity ∇×(∇×A)=∇(∇⋅A)−∇2A\nabla\times(\nabla\times\mathbf{A})=\nabla(\nabla\cdot\mathbf{A})-\nabla^2\mathbf{A},

∇2A=−μ0J⟹A(r)=μ04π∫J(r′)∣r−r′∣ dτ′(4)\nabla^2\mathbf{A}=-\mu_0\mathbf{J} \quad\Longrightarrow\quad \mathbf{A}(\mathbf{r})=\frac{\mu_0}{4\pi}\int\frac{\mathbf{J}(\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|}\,\mathrm{d}\tau' \qquad (4)

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 VV is built from charges, with the same 1/∣r−r′∣1/|\mathbf{r}-\mathbf{r}'| kernel; as a rule of thumb A\mathbf{A} 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\mathbf{A} a daily convenience rather than a curiosity. Apply the Stokes theorem to B=∇×A\mathbf{B}=\nabla\times\mathbf{A} over any surface spanning a loop:

ΦB=∫SB⋅da=∮∂SA⋅dℓ(5)\Phi_B=\int_{\mathcal{S}}\mathbf{B}\cdot\mathrm{d}\mathbf{a}=\oint_{\partial\mathcal{S}}\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell} \qquad (5)

where: the flux through a loop is the circulation of A\mathbf{A} around it — manifestly surface-independent (it never mentions a surface), manifestly gauge-invariant (the added ∮∇λ⋅dℓ\oint\nabla\lambda\cdot\mathrm{d}\boldsymbol{\ell} vanishes around any closed loop). Equation (5) is the precise sense in which A\mathbf{A}'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
Derivation BGauge 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 A\mathbf{A}, and (ii) the flux-circulation identity (5) — the physical content of A\mathbf{A} — 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: ∇×(A+∇λ)=∇×A+∇×(∇λ)=∇×A\nabla\times(\mathbf{A}+\nabla\lambda)=\nabla\times\mathbf{A}+\nabla\times(\nabla\lambda)=\nabla\times\mathbf{A}, 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 ∇×A1=∇×A2\nabla\times\mathbf{A}_1=\nabla\times\mathbf{A}_2, their difference K=A1−A2\mathbf{K}=\mathbf{A}_1-\mathbf{A}_2 is curl-free; in simply-connected space the scalar-potential theorem promotes it to a gradient, K=∇λ\mathbf{K}=\nabla\lambda. Why this matters: it certifies that a gauge condition plus boundary behaviour can pin A\mathbf{A} completely — the freedom is exactly one scalar function, no more.

Step 3. Reachability of the Coulomb gauge: given A0\mathbf{A}_0, demand ∇⋅(A0+∇λ)=0\nabla\cdot(\mathbf{A}_0+\nabla\lambda)=0, i.e. ∇2λ=−∇⋅A0\nabla^2\lambda=-\nabla\cdot\mathbf{A}_0 — a Poisson equation for λ\lambda, 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), ∮A⋅dℓ→∮A⋅dℓ+∮∇λ⋅dℓ\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell}\to\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell}+\oint\nabla\lambda\cdot\mathrm{d}\boldsymbol{\ell}, and the second term is the fundamental theorem for gradients around a closed path: λ(end)−λ(start)=0\lambda(\text{end})-\lambda(\text{start})=0. Circulations of A\mathbf{A} — hence, by the Stokes theorem, all fluxes of B\mathbf{B} — 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 q/ℏq/\hbar 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 λ=12B0xy\lambda=\tfrac12B_0xy, whose gradient is precisely the difference of the two potentials.*

Which statement answers which question

you wantusenotes
does A\mathbf{A} exist for this field?check ∇⋅F=0\nabla\cdot\mathbf{F}=0exact criterion; B\mathbf{B} always qualifies
A\mathbf{A} from currentsequation (4)Coulomb gauge; A∥J\mathbf{A}\parallel\mathbf{J} rule of thumb
flux through a loopequation (5)one line integral, no surface needed
a uniform field's potentialA=12B×r\mathbf{A}=\tfrac12\mathbf{B}\times\mathbf{r}one gauge choice among many
switch gaugesA→A+∇λ\mathbf{A}\to\mathbf{A}+\nabla\lambdafields, fluxes, physics unchanged
impose Coulomb gaugesolve ∇2λ=−∇⋅A0\nabla^2\lambda=-\nabla\cdot\mathbf{A}_0always reachable

Limiting cases

CaseResultMeaning
uniform B=B0z^\mathbf{B}=B_0\hat{\mathbf{z}}A=12B×r\mathbf{A}=\tfrac12\mathbf{B}\times\mathbf{r} or B0x y^B_0x\,\hat{\mathbf{y}}same field, gauge-related potentials
inside an ideal solenoidA=12Bs ϕ^\mathbf{A}=\tfrac12B s\,\hat{\boldsymbol{\phi}}rings growing linearly with ss
outside an ideal solenoidA=Φ2πs ϕ^\mathbf{A}=\dfrac{\Phi}{2\pi s}\,\hat{\boldsymbol{\phi}}, B=0\mathbf{B}=0the potential remembers the enclosed flux
straight wireA=−μ0I2πln⁡(s/s0) z^\mathbf{A}=-\dfrac{\mu_0I}{2\pi}\ln(s/s_0)\,\hat{\mathbf{z}}parallel to the current; the cylindrical logarithm again
λ=\lambda= const in (2)A\mathbf{A} unchangedthe scalar story's additive constant, embedded
time-dependent fieldsE=−∇V−∂A/∂t\mathbf{E}=-\nabla V-\partial\mathbf{A}/\partial tA\mathbf{A} joins the electric field's bookkeeping (E9)

Worked examples

1 · One uniform field, two potentials (confidence builder)

A uniform field B=0.20 T z^\mathbf{B}=0.20\ \mathrm{T}\,\hat{\mathbf{z}} fills space. (a) Verify A1=12B×r\mathbf{A}_1=\tfrac12\mathbf{B}\times\mathbf{r} works, and evaluate it at P=(0.10, 0.20, 0)P=(0.10,\ 0.20,\ 0) m. (b) Show A2=Bx y^\mathbf{A}_2=Bx\,\hat{\mathbf{y}} gives the same field, and find the gauge function connecting them.

Step 1. Unpack A1=12B×r=B2(−y, x, 0)\mathbf{A}_1=\tfrac12\mathbf{B}\times\mathbf{r}=\tfrac{B}{2}(-y,\ x,\ 0). Its curl's zz-component: ∂xAy−∂yAx=B2+B2=B\partial_xA_y-\partial_yA_x=\tfrac{B}{2}+\tfrac{B}{2}=B ✓ (the xx and yy components vanish). Half the field comes from each of the two swirling components — the symmetric gauge spreads the work democratically.

Step 2. Numbers at PP: A1=0.202(−0.20, 0.10, 0)=(−0.020, 0.010, 0) T m\mathbf{A}_1=\tfrac{0.20}{2}(-0.20,\ 0.10,\ 0)=\boxed{(-0.020,\ 0.010,\ 0)\ \mathrm{T\,m}} — a ring-shaped potential of magnitude 12Bs=0.022\tfrac12Bs=0.022 T·m at s=0.224s=0.224 m from the axis.

Step 3. The alternative: A2=Bx y^\mathbf{A}_2=Bx\,\hat{\mathbf{y}} has ∂xAy−∂yAx=B−0=B\partial_xA_y-\partial_yA_x=B-0=B ✓. Same field — yet at PP, A2=(0, 0.020, 0)\mathbf{A}_2=(0,\ 0.020,\ 0) 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: A2−A1=B2(y, x, 0)=∇λ\mathbf{A}_2-\mathbf{A}_1=\tfrac{B}{2}(y,\ x,\ 0)=\nabla\lambda with λ=12Bxy\boxed{\lambda=\tfrac12Bxy} — check: ∇(12Bxy)=B2(y,x,0)\nabla(\tfrac12Bxy)=\tfrac{B}{2}(y,x,0) ✓. 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 n=1000n=1000 turns per metre, current I=2.0I=2.0 A, radius R=5.0R=5.0 cm. Find (a) the flux it carries, (b) the vector potential at s=2.0s=2.0 cm inside and s=10s=10 cm outside, and (c) state what is remarkable about the outside result.

Step 1. The field inside (from E4's standard result, quoted here): B=μ0nI=4π×10−7×1000×2.0=2.51×10−3 TB=\mu_0nI=4\pi\times10^{-7}\times1000\times2.0=2.51\times10^{-3}\ \mathrm{T}, axial and uniform; outside, B=0\mathbf{B}=0. The flux: Φ=BπR2=2.51×10−3×π×(0.050)2=2.0×10−5 Wb\Phi=B\pi R^2=2.51\times10^{-3}\times\pi\times(0.050)^2=\boxed{2.0\times10^{-5}\ \mathrm{Wb}}.

Step 2. Symmetry dictates the potential's shape: currents run in ϕ^\hat{\boldsymbol{\phi}}, so (rule of thumb from equation (4)) A=A(s) ϕ^\mathbf{A}=A(s)\,\hat{\boldsymbol{\phi}} — rings, as in the hero figure. The flux-circulation identity (5) on a coaxial circle of radius ss gives A(s)⋅2πs=Φenc(s)A(s)\cdot2\pi s=\Phi_{\mathrm{enc}}(s).

Step 3. Inside (s=2.0s=2.0 cm): the circle encloses Φenc=Bπs2\Phi_{\mathrm{enc}}=B\pi s^2, so A=12Bs=12×2.51×10−3×0.020=2.5×10−5 T mA=\tfrac12Bs=\tfrac12\times2.51\times10^{-3}\times0.020=\boxed{2.5\times10^{-5}\ \mathrm{T\,m}} — the uniform-field ring potential of example 1, as it must be where B\mathbf{B} is uniform.

Step 4. Outside (s=10s=10 cm): the circle encloses the full flux regardless of radius, so A=Φ2πs=1.97×10−52π×0.10=3.1×10−5 T mA=\dfrac{\Phi}{2\pi s}=\dfrac{1.97\times10^{-5}}{2\pi\times0.10}=\boxed{3.1\times10^{-5}\ \mathrm{T\,m}}, falling as 1/s1/s.

Step 5. The remarkable part: outside the solenoid B=0\mathbf{B}=0 exactly, yet A≠0\mathbf{A}\neq0 — and cannot be gauged away, because its circulation ∮A⋅dℓ=Φ≠0\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell}=\Phi\neq0 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 qΦ/ℏq\Phi/\hbar — 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
JC
James Clerk Maxwell
1831–1879 · Cambridge and the Cavendish Laboratory

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 A\mathbf{A}, with B=∇×A\mathbf{B}=\nabla\times\mathbf{A} and induced EMF from −∂A/∂t-\partial\mathbf{A}/\partial t. In the Treatise (1873) he called A\mathbf{A} 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 p=mv+qA\mathbf{p}=m\mathbf{v}+q\mathbf{A} 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.

History
1845
— Franz Neumann's theory of induction introduces the vector potential as a calculational device for mutual inductance.
1856
— Maxwell identifies Faraday's electrotonic state with A, writing B as its curl.
1873
— Maxwell's Treatise names A the electromagnetic momentum and builds electrodynamics around the potentials.
1885
— Heaviside recasts the theory in E and B alone, campaigning to banish the potentials as unphysical scaffolding.
1959
— Aharonov and Bohm predict a measurable electron phase from A in field-free regions; Tonomura's 1986 experiments settle it — the loops of A are real.

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 B=∇×A\mathbf{B}=\nabla\times\mathbf{A}. A verifier should: (1) run the Az=0A_z=0 construction on F=B0z^\mathbf{F}=B_0\hat{\mathbf{z}} and recover the Landau gauge; (2) check both example-1 potentials give curl =Bz^=B\hat{\mathbf{z}} and that λ=12Bxy\lambda=\tfrac12Bxy connects them; (3) recompute the solenoid numbers — B=μ0nI=2.51B=\mu_0nI=2.51 mT, Φ=2.0×10−5\Phi=2.0\times10^{-5} Wb, Ain=12Bs=2.5×10−5A_{\mathrm{in}}=\tfrac12Bs=2.5\times10^{-5} T·m at 2 cm, Aout=Φ/2πs=3.1×10−5A_{\mathrm{out}}=\Phi/2\pi s=3.1\times10^{-5} T·m at 10 cm; (4) confirm ∮∇λ⋅dℓ=0\oint\nabla\lambda\cdot\mathrm{d}\boldsymbol{\ell}=0 underlies gauge invariance of flux. The Aharonov-Bohm phase qΦ/ℏq\Phi/\hbar and flux quantum h/2e=2.07×10−15h/2e=2.07\times10^{-15} 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 B\mathbf{B}. Quantum mechanics broke the tie: in the Aharonov–Bohm setup, electrons passing on either side of a shielded solenoid interfere with a phase shift qΦ/ℏ=qℏ∮A⋅dℓq\Phi/\hbar=\frac{q}{\hbar}\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell}, though they never touch a region with B≠0\mathbf{B}\neq0. 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 A\mathbf{A}, 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 ∇⋅A=0\nabla\cdot\mathbf{A}=0 is magnetostatics' default (it turns Ampère's law into Poisson equations); the Landau gauge A=Bx y^\mathbf{A}=Bx\,\hat{\mathbf{y}} simplifies quantum problems with one translation symmetry; the symmetric gauge suits rotational symmetry; and in E9 the Lorenz gauge (a different animal, mixing VV and A\mathbf{A}) makes relativity manifest. What can go wrong is inconsistency: mixing formulas derived in different gauges within one calculation, or comparing your A\mathbf{A} 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 A=μ04π∫J(r′)∣r−r′∣dτ′\mathbf{A}=\frac{\mu_0}{4\pi}\int\frac{\mathbf{J}(\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|}\mathrm{d}\tau': the integrand is the current density itself, merely weighted by the scalar kernel 1/∣r−r′∣1/|\mathbf{r}-\mathbf{r}'| — so each current element contributes a piece of A\mathbf{A} parallel to itself, and the total inherits the current's general direction (a straight wire's A\mathbf{A} runs along the wire; a solenoid's circular currents make circular A\mathbf{A}). Contrast B\mathbf{B}, 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 — A\mathbf{A} as "electromagnetic momentum per unit charge" — is vindicated by the canonical momentum p=mv+qA\mathbf{p}=m\mathbf{v}+q\mathbf{A}: a charge in a potential carries momentum bookkeeping beyond mvm\mathbf{v}, and when flux collapses (switching off a solenoid), the impulse delivered to a nearby charge is exactly −q ΔA-q\,\Delta\mathbf{A} — the field pays out the stored momentum. In quantum mechanics the meaning sharpens further: A\mathbf{A} sets the phase gradient of charged wavefunctions, qℏA⋅dℓ\frac{q}{\hbar}\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell} of phase per step, which is why loops of A\mathbf{A} produce interference shifts. Per unit charge: work-per-step for VV, phase-per-step (or momentum) for A\mathbf{A} — the pair will fuse into one four-vector in E9.

If magnetic monopoles existed, what would happen to the vector potential?

Then ∇⋅B=μ0ρm≠0\nabla\cdot\mathbf{B}=\mu_0\rho_m\neq0 at monopoles, and no globally smooth A\mathbf{A} could exist — the existence theorem's hypothesis fails exactly where a monopole sits. Dirac explored the loophole in 1931: one can keep A\mathbf{A} everywhere except along a thin "Dirac string" running from the monopole to infinity, and the string is undetectable precisely when the monopole charge obeys qg=nh4πqg=n\frac{h}{4\pi} — 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 (∇⋅B=0\nabla\cdot\mathbf{B}=0 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⋅dℓ\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol{\ell} — 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, NΦN\Phi, and hence its inductance L=NΦ/IL=N\Phi/I, 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 A\mathbf{A}) are literally double loop-integrals of the 1/∣r−r′∣1/|\mathbf{r}-\mathbf{r}'| 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: E=−∇V\mathbf{E}=-\nabla V (curl-free sector) and B=∇×A\mathbf{B}=\nabla\times\mathbf{A} (divergence-free sector) — E1 through E5 run on these. Full electrodynamics (E9): the two homogeneous Maxwell equations (∇⋅B=0\nabla\cdot\mathbf{B}=0 and Faraday) are identically solved by writing B=∇×A\mathbf{B}=\nabla\times\mathbf{A}, E=−∇V−∂A/∂t\mathbf{E}=-\nabla V-\partial\mathbf{A}/\partial t, with the gauge transformation growing a partner: V→V−∂λ/∂tV\to V-\partial\lambda/\partial t alongside A→A+∇λ\mathbf{A}\to\mathbf{A}+\nabla\lambda. Four potential functions, minus one gauge function, carry the six field components — and in relativity (V/c,A)(V/c,\mathbf{A}) assembles into a four-vector while (E,B)(\mathbf{E},\mathbf{B}) 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.

Before this

Where this leads