Magnetic Vector Potential

Two articles ago, ∇⋅B⃗=0\nabla\cdot\vec B=0 came with a structural promise attached: a field with no divergence is always somebody's curl. This article collects. Define A⃗\vec A by B⃗=∇×A⃗\vec B=\nabla\times\vec A and one of magnetostatics' two field equations is solved identically — not for some current distribution, for all of them — because the divergence of a curl vanishes as a matter of algebra. That is the same trick electrostatics played when ∇×E⃗=0\nabla\times\vec E=0 let us write E⃗=−∇V\vec E=-\nabla V and never think about the curl equation again. Magnetism's conserved statement is a divergence, so magnetism's potential is a vector: three components, curl instead of gradient, and a new kind of freedom in choosing it. Why bother? Three reasons, in ascending order of depth. Practically, A⃗\vec A points along the current that makes it — it inherits the source's geometry the way VV piles up near charge — so it is often easier to compute than the wrap-around B⃗\vec B, and one curl at the end buys the field. Structurally, A⃗\vec A has a direct physical reading: its line integral around any loop is the magnetic flux through it, ∮A⃗⋅dℓ⃗=ΦB\oint\vec A\cdot\mathrm{d}\vec\ell=\Phi_B, which makes A⃗\vec A a kind of flux bookkeeper stationed along every curve in space. And fundamentally, the twentieth century ruled that A⃗\vec A is not a scaffold: it enters the canonical momentum p⃗=mv⃗+qA⃗\vec p=m\vec v+q\vec A, and a quantum charge circling a solenoid picks up a measurable phase from A⃗\vec A in a region where B⃗\vec B is exactly zero — the Aharonov–Bohm effect. One honest caveat runs through the article: A⃗\vec A is not unique. Adding any gradient ∇λ\nabla\lambda changes nothing physical. Here we exploit only the simplest consequence; the full story of that freedom — what it means, how to spend it, and how it turns Ampère's law into a Poisson equation — is the next article's entire business.

Key takeaways
  • B⃗=∇×A⃗\vec B=\nabla\times\vec A solves ∇⋅B⃗=0\nabla\cdot\vec B=0 identically (divergence of curl ≡0\equiv0); conversely, the Helmholtz machinery guarantees every divergence-free field has such an A⃗\vec A.
  • A⃗\vec A is determined only up to a gradient: A⃗→A⃗+∇λ\vec A\to\vec A+\nabla\lambda leaves B⃗\vec B untouched — gauge freedom, owned in full by the next article.
  • Flux meaning: ∮A⃗⋅dℓ⃗=ΦB\oint\vec A\cdot\mathrm{d}\vec\ell=\Phi_B through the loop, by Stokes — gauge-invariant, and nonzero even where B⃗=0\vec B=0 (outside a solenoid A=ΦB/2πsA=\Phi_B/2\pi s).
  • For steady localized currents, A⃗(r⃗)=μ04π∫J⃗(r⃗′)r dτ′\vec A(\vec r)=\frac{\mu_0}{4\pi}\int\frac{\vec J(\vec r')}{\mathfrak{r}}\,\mathrm{d}\tau' — the exact transcription of the electrostatic potential integral, one for each Cartesian component; its curl reproduces Biot–Savart, its divergence vanishes for steady currents.
  • A⃗\vec A points along its source current and is often the easier computation; infinite sources need the same reference-point care as the line charge's logarithmic VV.
  • Beyond statics, A⃗\vec A is fundamental: canonical momentum p⃗=mv⃗+qA⃗\vec p=m\vec v+q\vec A, the Aharonov–Bohm phase qΦB/ℏq\Phi_B/\hbar, and the four-potential of relativity.
  • KEY IDEA: writing B⃗=∇×A⃗\vec B=\nabla\times\vec A spends the no-monopole law once and for all, converts magnetostatics into an electrostatics-shaped problem, and costs only a gauge ambiguity that no measurable quantity ever feels.
The core insight

Solving ∇⋅B⃗=0\nabla\cdot\vec B=0 structurally by writing B⃗=∇×A⃗\vec B=\nabla\times\vec A converts the coupled magnetostatic equations into a single, electrostatics-like problem for A⃗\vec A, at the price of a gauge ambiguity that you fix by a convenient condition.

Where this lives today

The Aharonov–Bohm effect graduated from thought experiment to precision tool. Tonomura's 1986 electron-holography experiment — toroidal ferromagnets clad in superconducting niobium so that flux could neither leak nor be touched — showed the interference shift surviving with B⃗\vec B rigorously excluded from the electron's path, settling a thirty-year argument: the potentials, not the local fields, couple to quantum phase. Today AB rings are standard instruments in mesoscopic physics — conductance through a nanoscale ring oscillates with period h/eh/e in the threaded flux, making ∮A⃗⋅dℓ⃗\oint\vec A\cdot\mathrm{d}\vec\ell a routinely dialed experimental knob — and flux quantization in superconducting loops (Φ=nh/2e\Phi=nh/2e, the phase-coherence condition on the pair wavefunction) underpins SQUID magnetometers and every flux qubit. On the theory side, this article's modest bookkeeping device turned out to be the template for fundamental physics. The statement "physics depends on A⃗\vec A only through gauge-invariant combinations" — promoted from observation to principle and generalized beyond electromagnetism — generates the Standard Model: demanding local phase freedom for matter fields forces gauge fields with exactly A⃗\vec A's transformation law into existence. The next article begins that story where it starts, with λ\lambda.

Origins · 1 minJames Clerk Maxwell and how this was discovered
JC
James Clerk Maxwell
1831–1879 · Edinburgh, Cambridge, and the Treatise years

Maxwell inherited A⃗\vec A twice over — from Franz Neumann's induction theory (1845), where the object first appeared as a calculational potential, and from Faraday's "electrotonic state," a physical intuition without mathematics: Faraday was convinced that a wire near a magnet sat in a special condition, undetectable at rest, revealed as an induced current the instant anything changed. In "On Faraday's Lines of Force" (1856) Maxwell identified the two: his electrotonic intensity was a vector field whose curl gave the magnetic field and whose time derivative gave the induced electric force. By the Treatise (1873) he had renamed it the electromagnetic momentum — momentum per unit charge stored in the field configuration, cashed out as an impulse when currents switch — precisely the canonical-momentum reading modern mechanics assigns to qA⃗q\vec A. History then zigzagged: Heaviside and Hertz stripped the potentials from Maxwell's equations as "metaphysics," recasting everything in E⃗\vec E and B⃗\vec B — and quantum mechanics reinstated A⃗\vec A at the foundation, exactly where Maxwell's instinct had put it.

History
1845
— Franz Neumann's induction theory introduces the vector potential as a mathematical device for computing induced EMFs.
1856
— Maxwell's "On Faraday's Lines of Force" gives Faraday's electrotonic state exact form: a field whose curl is B.
1873
— Maxwell's Treatise names A the "electromagnetic momentum"; Heaviside and Hertz soon banish potentials as unphysical scaffolding.
1959
— Aharonov and Bohm predict a measurable phase from A in field-free regions; Chambers reports the effect within a year.
1986
— Tonomura's shielded-toroid holography experiment closes every loophole: the potential's loop integral, not the local field, moves the fringes.

The physical picture

Electrostatics earned its potential from a curl: ∇×E⃗=0\nabla\times\vec E=0 meant closed-loop line integrals of E⃗\vec E vanished, so a path-independent scalar VV existed and E⃗=−∇V\vec E=-\nabla V. Magnetostatics cannot copy that move — ∇×B⃗=μ0J⃗\nabla\times\vec B=\mu_0\vec J is emphatically nonzero where currents flow, so no single-valued magnetic "voltage" exists in current-carrying regions. What magnetism conserves is the other differential statement: ∇⋅B⃗=0\nabla\cdot\vec B=0, no sources, no sinks, field lines that never end. And the vector-calculus chapter proved the matching converse pair: curl-free fields are gradients, divergence-free fields are curls. Electricity's zero buys a scalar potential; magnetism's zero buys a vector one. That asymmetry — promised an explanation back when the divergence article first flagged it — is now cashed: it was never a stylistic choice, but the shape of which conservation law each field offers. The best intuition for A⃗\vec A is genealogical: A⃗\vec A looks like its parent current. A wire carrying current up generates an A⃗\vec A that points up, strongest near the wire, weakening with distance — exactly the portrait of VV near a charged line. The magnetic field then wraps around because taking a curl turns "parallel and fading with distance" into "circulating." If you can sketch the current, you can sketch A⃗\vec A without solving anything; B⃗\vec B is one mechanical curl away. Fluid dynamicists know the same object by another name — for divergence-free flow, the velocity field is the curl of a stream function, and A⃗\vec A is magnetism's stream function.

Figure
A inherits the geometry of the current while B wraps around it — wire and solenoid portraits
straight wire: A runs with I, B circles it I A ∥ I, fades as ln B wraps solenoid seen end-on: A circles with the winding current B out of page (inside only) A circulates — even out here, where B = 0 sparser dashes = weaker A: it falls as 1/s outside, carrying the flux record Φ = ∮A·dl

The flux relation is what saves A⃗\vec A from being pure bookkeeping. Walk any closed loop and total up the tangential A⃗\vec A: Stokes' theorem converts that circulation into the flux of ∇×A⃗=B⃗\nabla\times\vec A=\vec B through the loop. So A⃗\vec A stores flux information locally, along curves — and it keeps the records even where the field itself has left. Outside an ideal solenoid B⃗\vec B is exactly zero, yet a loop drawn around the solenoid must report the trapped interior flux; something on the loop has to carry that information, and that something is A⃗=ΦB2πsϕ^\vec A=\frac{\Phi_B}{2\pi s}\hat\phi. Classically this looks like an accounting curiosity. Quantum mechanically it is an experiment: electrons steered around opposite sides of a shielded flux tube interfere as if they felt what they never touched.

The definition and its immediate payoffs

The definition, and the identity that makes it worth having:

B⃗=∇×A⃗(1)\vec B=\nabla\times\vec A \qquad (1)

where: A⃗\vec A — the magnetic vector potential, units T m=Wb/m=V s/m\mathrm{T\,m}=\mathrm{Wb/m}=\mathrm{V\,s/m}; equivalently kg·m/(s·C) — momentum per unit charge, a reading that will earn its keep below. Because ∇⋅(∇×A⃗)≡0\nabla\cdot(\nabla\times\vec A)\equiv0 for any smooth A⃗\vec A, equation (1) makes ∇⋅B⃗=0\nabla\cdot\vec B=0 automatic; and because ∇⋅B⃗=0\nabla\cdot\vec B=0 is exactly the hypothesis of the E0 converse theorem (divergence-free fields are curls, on well-behaved domains), such an A⃗\vec A is guaranteed to exist for every magnetic field there is. One of Maxwell's two magnetostatic equations is hereby retired — permanently absorbed into notation. The non-uniqueness must be stated before it can be postponed. Since the curl of a gradient vanishes identically,

A⃗  →  A⃗+∇λleavesB⃗ unchanged, for any smooth λ(r⃗).(2)\vec A\;\to\;\vec A+\nabla\lambda \quad\text{leaves}\quad \vec B\ \text{unchanged, for any smooth }\lambda(\vec r). \qquad (2)

where: λ\lambda — an arbitrary scalar "gauge function." Infinitely many A⃗\vec A's describe each B⃗\vec B; the choice among them is called a gauge choice, and the standard magnetostatic pick, ∇⋅A⃗=0\nabla\cdot\vec A=0 (the Coulomb gauge), is the one this chapter's integral formula will quietly live in. What the freedom means, why the Coulomb gauge is always reachable, what freedom remains after it, and how it converts Ampère's law into three Poisson equations — all of that is the next article, which owns the gauge story. Here we need only the fact of (2) and one gauge-proof quantity:

∮∂SA⃗⋅dℓ⃗=∫S(∇×A⃗)⋅da⃗=∫SB⃗⋅da⃗=ΦB.(3)\oint_{\partial S}\vec A\cdot\mathrm{d}\vec\ell =\int_S(\nabla\times\vec A)\cdot\mathrm{d}\vec a =\int_S\vec B\cdot\mathrm{d}\vec a =\Phi_B . \qquad (3)

where: SS — any surface spanning the loop ∂S\partial S. Stokes' theorem, applied to the definition. Read it twice: once as meaning (A⃗\vec A's circulation is the enclosed flux — the vector potential is a flux ledger), and once as invariance (add ∇λ\nabla\lambda and the circulation shifts by ∮∇λ⋅dℓ⃗=0\oint\nabla\lambda\cdot\mathrm{d}\vec\ell=0 around any closed loop, so the ledger's entries are gauge-independent). Equation (3) is to A⃗\vec A what "VV differences are work per charge" was to the scalar potential: the license to compute with a non-unique object. And the door to mechanics, stated here and spent in the quantum-facing sections: a charged particle in a magnetic field carries the Lagrangian L=12mv2+qv⃗⋅A⃗−qVL=\tfrac12mv^2+q\vec v\cdot\vec A-qV, whose conjugate momentum is not mv⃗m\vec v but

p⃗=mv⃗+qA⃗.(4)\vec p=m\vec v+q\vec A . \qquad (4)

where: p⃗\vec p — the canonical momentum, the object quantum mechanics promotes to −iℏ∇-i\hbar\nabla. Maxwell, working before vectors had their modern clothes, called A⃗\vec A the electromagnetic momentum for exactly this reason: it is the momentum a unit charge holds on deposit in the field, the quantity whose sudden release you feel as an induced kick when a nearby current is switched off. That reading — A⃗\vec A as momentum-per-charge — is the single best answer to "but what is it?"

Derivation AThe integral formula for A, certified by one curl

The goal is the workhorse formula of the article: for steady, localized currents,

A⃗(r⃗)=μ04π∫J⃗(r⃗′)r dτ′,A⃗(r⃗)=μ0I4π∮dℓ⃗′r(line dialect),\vec A(\vec r)=\frac{\mu_0}{4\pi}\int\frac{\vec J(\vec r')}{\mathfrak{r}}\,\mathrm{d}\tau', \qquad \vec A(\vec r)=\frac{\mu_0 I}{4\pi}\oint\frac{\mathrm{d}\vec\ell'}{\mathfrak{r}} \quad\text{(line dialect)},

with r=∣r⃗−r⃗′∣\mathfrak{r}=|\vec r-\vec r'| — the exact structural copy of V=14πε0∫ρrdτ′V=\frac{1}{4\pi\varepsilon_0}\int\frac{\rho}{\mathfrak{r}}\mathrm{d}\tau', one copy per Cartesian component, with ρ/ε0→μ0Ji\rho/\varepsilon_0\to\mu_0J_i. The strategy is deliberately honest about logical order: rather than deriving this from a Poisson equation (that route needs the Coulomb gauge, owned next article), we take the formula as candidate and certify it directly — its curl must return the Biot–Savart field, which is the definition of being a correct vector potential. This also repairs the base text's garbled sign bookkeeping: done carefully, no ambiguous signs survive.

Step 1. Set up the curl. Differentiation at the field point passes through the source integral:

∇×A⃗=μ04π∫∇× ⁣[J⃗(r⃗′)r]dτ′.\nabla\times\vec A =\frac{\mu_0}{4\pi}\int\nabla\times\!\left[\frac{\vec J(\vec r')}{\mathfrak{r}}\right]\mathrm{d}\tau' .

Why this is legal: ∇\nabla differentiates with respect to r⃗\vec r while the integration variable is r⃗′\vec r'; for smooth localized sources the derivative and integral commute.

Step 2. Product rule with a frozen vector. Inside the integral, J⃗(r⃗′)\vec J(\vec r') is a constant as far as ∇\nabla is concerned. The E0 product rule ∇×(fc⃗)=(∇f)×c⃗\nabla\times(f\vec c)=(\nabla f)\times\vec c for constant c⃗\vec c gives

∇× ⁣[J⃗(r⃗′)r]=∇ ⁣(1r)×J⃗(r⃗′)=−r^r2×J⃗(r⃗′)=J⃗(r⃗′)×r^r2,\nabla\times\!\left[\frac{\vec J(\vec r')}{\mathfrak{r}}\right] =\nabla\!\left(\frac{1}{\mathfrak{r}}\right)\times\vec J(\vec r') =-\frac{\hat{\boldsymbol{\mathfrak{r}}}}{\mathfrak{r}^2}\times\vec J(\vec r') =\frac{\vec J(\vec r')\times\hat{\boldsymbol{\mathfrak{r}}}}{\mathfrak{r}^2},

using the standard kernel gradient ∇(1/r)=−r^/r2\nabla(1/\mathfrak{r})=-\hat{\boldsymbol{\mathfrak{r}}}/\mathfrak{r}^2 and one clean anticommutation of the cross product — the two minus signs meet and cancel, no (±1)(\pm1) hedging required.

Step 3. Recognize the result.

∇×A⃗=μ04π∫J⃗(r⃗′)×r^r2 dτ′=B⃗Biot–Savart(r⃗)    ✓\nabla\times\vec A =\frac{\mu_0}{4\pi}\int\frac{\vec J(\vec r')\times\hat{\boldsymbol{\mathfrak{r}}}}{\mathfrak{r}^2}\,\mathrm{d}\tau' =\vec B_{\rm Biot\text{–}Savart}(\vec r)\;\;\checkmark

— the volume-dialect Biot–Savart law, verbatim. The candidate is certified: it is a vector potential for the magnetostatic field.

Step 4. Which gauge did we land in? Take the divergence. Using ∇⋅(fc⃗)=c⃗⋅∇f\nabla\cdot(f\vec c)=\vec c\cdot\nabla f and the kernel's exchange symmetry ∇(1/r)=−∇′(1/r)\nabla(1/\mathfrak{r})=-\nabla'(1/\mathfrak{r}):

∇⋅A⃗=μ04π∫J⃗⋅∇1r dτ′=−μ04π∫J⃗⋅∇′1r dτ′=μ04π∫∇′⋅J⃗r dτ′=0.\nabla\cdot\vec A =\frac{\mu_0}{4\pi}\int\vec J\cdot\nabla\frac{1}{\mathfrak{r}}\,\mathrm{d}\tau' =-\frac{\mu_0}{4\pi}\int\vec J\cdot\nabla'\frac{1}{\mathfrak{r}}\,\mathrm{d}\tau' =\frac{\mu_0}{4\pi}\int\frac{\nabla'\cdot\vec J}{\mathfrak{r}}\,\mathrm{d}\tau' =0 .

The third equality is integration by parts (the surface term dies because the current is localized); the last is the steady-current condition ∇′⋅J⃗=0\nabla'\cdot\vec J=0 from the continuity article. The formula is not gauge-agnostic: it delivers specifically the divergence-free representative — the Coulomb-gauge A⃗\vec A, a fact the next article will re-derive from the Poisson side and lean on heavily. Verified: dimensions — μ0J dτ/r∼(T m/A)(A/m2)(m3)/m=T m\mu_0 J\,\mathrm{d}\tau/\mathfrak{r}\sim(\mathrm{T\,m/A})(\mathrm{A/m^2})(\mathrm{m^3})/\mathrm{m}=\mathrm{T\,m} ✓; matches Griffiths Eq. 5.65 and Jackson §5.4; the by-parts step is the same maneuver the E1 energy article used, recalled not reinvented.

The formula's fine print is the same as its electrostatic parent's. It presumes the current is localized — for an infinite wire or solenoid the integral diverges, exactly as VV of an infinite line charge did, and the cure is identical: compute differences, or pull the potential from the field equations with a reference point, accepting a logarithm. And it presumes steady currents twice over — once for Biot–Savart to be the right target, once in Step 4's divergence check.

Go deeper · Derivation B · 2 minThe solenoid's vector potential, inside and out
Derivation BThe solenoid's vector potential, inside and out

The goal is the complete Coulomb-gauge A⃗\vec A of the ideal infinite solenoid (nn turns per meter, current II, radius RR) — the single most instructive A⃗\vec A in physics, because it is nonzero precisely where the field is zero:

A⃗(s)=μ0nI s2 ϕ^    (s≤R),A⃗(s)=μ0nI R22s ϕ^=ΦB2πs ϕ^    (s≥R).\vec A(s)=\frac{\mu_0 nI\,s}{2}\,\hat\phi\;\;(s\le R), \qquad \vec A(s)=\frac{\mu_0 nI\,R^2}{2s}\,\hat\phi=\frac{\Phi_B}{2\pi s}\,\hat\phi\;\;(s\ge R).

The strategy showcases why A⃗\vec A earns its keep: instead of integrating anything, we use symmetry plus the flux relation (3) — an "Ampère's law for A⃗\vec A" in which flux plays the role of enclosed current.

Step 1. Symmetry pins the direction. A⃗\vec A inherits the source geometry: the solenoid's current is azimuthal, so A⃗=A(s) ϕ^\vec A=A(s)\,\hat\phi — circles around the axis, magnitude depending only on ss. (Formally: each current element contributes dA⃗∥dℓ⃗′\mathrm{d}\vec A\parallel\mathrm{d}\vec\ell' by the integral formula, and the axial/rotational symmetry kills all but the azimuthal average.)

Step 2. Circulate on a coaxial circle. For a circle of radius ss, equation (3) reads A(s)⋅2πs=ΦB(s)A(s)\cdot2\pi s=\Phi_B(s), the flux through the circle. Two regimes:

Step 3. Inside (s≤Rs\le R): the enclosed flux is B⋅πs2B\cdot\pi s^2 with B=μ0nIB=\mu_0 nI from the Ampère's-law article, so

A(s)=μ0nI s2⟺A⃗=12 B⃗×s⃗,A(s)=\frac{\mu_0 nI\,s}{2} \quad\Longleftrightarrow\quad \vec A=\tfrac12\,\vec B\times\vec s ,

the linear-in-ss circulating profile — one standard representative of a uniform field (the "symmetric gauge," one member of the menagerie the next article will display).

Step 4. Outside (s≥Rs\ge R): the enclosed flux saturates at ΦB=μ0nI⋅πR2\Phi_B=\mu_0 nI\cdot\pi R^2 — the solenoid holds all its field inside — so

A(s)=ΦB2πs:A(s)=\frac{\Phi_B}{2\pi s}:

nonzero, falling as 1/s1/s, carrying the memory of the trapped flux through a region where B⃗=0\vec B=0 identically. Why no gauge trickery can remove the exterior A⃗\vec A: any candidate A⃗\vec A must satisfy (3), and the circulation around the solenoid is the gauge-invariant number ΦB≠0\Phi_B\neq0. You can reshape the exterior potential, but you cannot make it vanish on every loop — some tangential A⃗\vec A must survive to carry the flux record. That immovable remainder is what the electron reads in the Aharonov–Bohm experiment. *Verified: curl check in cylindrical coordinates — Bz=1s∂s(sAϕ)B_z=\frac{1}{s}\partial_s(sA_\phi) gives 1s∂s(μ0nIs2/2)=μ0nI\frac1s\partial_s(\mu_0nIs^2/2)=\mu_0nI inside ✓ and 1s∂s(ΦB/2π)=0\frac1s\partial_s(\Phi_B/2\pi)=0 outside ✓; continuity at s=Rs=R: both branches give μ0nIR/2\mu_0nIR/2 ✓; numbers — n=1000n=1000 turns/m, I=100I=100 A, R=2R=2 cm: B=0.126B=0.126 T, ΦB=1.58×10−4\Phi_B=1.58\times10^{-4} Wb, A=6.3×10−4A=6.3\times10^{-4} T·m at s=1s=1 cm and 5.0×10−45.0\times10^{-4} T·m at s=5s=5 cm, recomputed ✓.*

Figure
The solenoid payoff profile — A rises linearly inside, falls as one over s outside, while B drops dead at the wall
s / R 01234 wall s = R B = μ₀nI, then dead zero outside A = μ₀nIs/2 A = Φ/2πs — nonzero where B = 0 peak μ₀nIR/2 every loop out here still reads ∮A·dl = Φ_B

Limiting cases

caseresultmeaning
far from any localized currentA⃗=μ04πm⃗×r^r2\vec A=\frac{\mu_0}{4\pi}\frac{\vec m\times\hat r}{r^2}the dipole term leads — no monopole term exists; derived in the multipole article next
uniform field regionA⃗=12B⃗×r⃗\vec A=\tfrac12\vec B\times\vec r (one choice of many)the symmetric gauge; alternatives differ by ∇λ\nabla\lambda — next article's menagerie
outside confined fluxA⃗=ΦB2πsϕ^\vec A=\frac{\Phi_B}{2\pi s}\hat\phiB⃗=0\vec B=0 but A⃗\vec A carries the flux record; Aharonov–Bohm territory
infinite line currentA⃗=−μ0I2πln⁡(s/s0) z^\vec A=-\frac{\mu_0I}{2\pi}\ln(s/s_0)\,\hat zintegral formula diverges; reference-point logarithm, like the line charge's VV
time-dependent sourcesA⃗\vec A obeys a wave equation; E⃗=−∇V−∂tA⃗\vec E=-\nabla V-\partial_t\vec Astatics is the frozen limit; retarded potentials owned in the radiation chapter

Worked examples

1 · The solenoid ledger, with numbers (confidence builder)

A solenoid has n=1000n=1000 turns/m, I=100I=100 A, radius R=2.0R=2.0 cm. Find AA at s=1.0s=1.0 cm and s=5.0s=5.0 cm, and the flux both values report.

Step 1. Interior field and flux. B=μ0nI=4π×10−7×105=0.126B=\mu_0 nI=4\pi\times10^{-7}\times10^5=0.126 T; trapped flux ΦB=BπR2=0.126×π×(0.02)2=1.58×10−4\Phi_B=B\pi R^2=0.126\times\pi\times(0.02)^2=1.58\times10^{-4} Wb.

Step 2. Inside point. A(1 cm)=μ0nIs/2=0.126×0.01/2A(1\ \mathrm{cm})=\mu_0nIs/2=0.126\times0.01/2 = 6.3×10−46.3\times10^{-4} T·m, azimuthal. Check via the ledger: circulation =A⋅2πs=3.95×10−5=A\cdot2\pi s=3.95\times10^{-5} Wb =B⋅πs2=B\cdot\pi s^2 ✓ — the circle's own enclosed flux.

Step 3. Outside point. A(5 cm)=ΦB/2πs=1.58×10−4/(2π×0.05)A(5\ \mathrm{cm})=\Phi_B/2\pi s=1.58\times10^{-4}/(2\pi\times0.05) = 5.0×10−45.0\times10^{-4} T·m — barely smaller than the interior value, in a region where B⃗\vec B is identically zero. Its circulation: A⋅2πs=1.58×10−4A\cdot2\pi s=1.58\times10^{-4} Wb =ΦB=\Phi_B ✓ — every exterior loop files the same flux report.

Step 4. The quantum reading. An electron encircling this solenoid would acquire AB phase eΦB/ℏ≈2.4×1011e\Phi_B/\hbar\approx2.4\times10^{11} rad — absurdly scrambled, which is why real AB experiments shrink the flux to a few quanta: the natural unit is h/e=4.14×10−15h/e=4.14\times10^{-15} Wb, and our bench solenoid traps ∼4×1010\sim4\times10^{10} of them. Tonomura's decisive 1986 experiment used micron-scale magnets holding single-digit quanta.

2 · The infinite wire's logarithmic A (exam level)

Find A⃗\vec A of an infinite straight wire carrying I=15I=15 A, and verify it reproduces the known field. How much does AzA_z change from s=1s=1 cm to s=2s=2 cm?

Step 1. Direction and the divergence honesty. A⃗∥J⃗\vec A\parallel\vec J: purely z^\hat z, magnitude Az(s)A_z(s). The integral formula applied naively gives μ0I4π∫−∞∞dz′/s2+z′2\frac{\mu_0I}{4\pi}\int_{-\infty}^{\infty}\mathrm{d}z'/\sqrt{s^2+z'^2} — logarithmically divergent, the same disease as the line charge's VV. Cure: demand the right curl instead, with a reference radius s0s_0.

Step 2. Solve the curl condition. In cylindrical coordinates with A⃗=Az(s)z^\vec A=A_z(s)\hat z, the curl has the single component Bϕ=−∂Az/∂sB_\phi=-\partial A_z/\partial s. Setting −∂sAz=μ0I/2πs-\partial_sA_z=\mu_0I/2\pi s (the wire's known field) and integrating:

A⃗(s)=−μ0I2πln⁡ ⁣ss0 z^.\vec A(s)=-\frac{\mu_0 I}{2\pi}\ln\!\frac{s}{s_0}\,\hat z .

Positive (parallel to II) for s<s0s<s_0, negative beyond — the offset is pure reference convention, the logarithm's differences are physics.

Step 3. Numbers. ΔAz=Az(1 cm)−Az(2 cm)=μ0I2πln⁡2=2×10−7×15×0.693\Delta A_z=A_z(1\ \mathrm{cm})-A_z(2\ \mathrm{cm})=\frac{\mu_0I}{2\pi}\ln2=2\times10^{-7}\times15\times0.693 = 2.1×10−62.1\times10^{-6} T·m. Field check at s=1.5s=1.5 cm: B=μ0I/2πs=0.20B=\mu_0I/2\pi s=0.20 mT ✓ recomputed from the derivative.

Step 4. The momentum reading. By equation (4), switching this current off transfers impulse q ΔA⃗q\,\Delta\vec A to a nearby charge — a proton at 1 cm versus one at 2 cm differ by eΔAz=3.3×10−25e\Delta A_z=3.3\times10^{-25} kg·m/s of deposited field momentum: tiny, but this ledger entry is exactly what Faraday's induced EMF pays out, as the electrodynamics chapter will make quantitative.

Going further

References. Griffiths, Introduction to Electrodynamics, 4th ed., §5.4 · Jackson, Classical Electrodynamics, 3rd ed., §5.4 · Purcell & Morin, Electricity and Magnetism, 3rd ed., §6.3 · Zangwill, Modern Electrodynamics, §10.1–10.3

Provenance. Equations cross-checked against Griffiths Introduction to Electrodynamics 4th ed §5.4 (Eqs. 5.62–5.65, dipole 5.85), Jackson Classical Electrodynamics 3rd ed §5.4, and Zangwill Modern Electrodynamics ch. 10. A verifier should recompute: the double-curl identity reduction to ∇2A=−μ0J\nabla^2\mathbf{A}=-\mu_0\mathbf{J}; the integration-by-parts proof that the integral solution is divergence-free for steady currents; recovery of Biot–Savart by taking the curl; and the Aharonov–Bohm phase qΦB/ℏq\Phi_B/\hbar. The value μ0=4π×10−7 T⋅m/A\mu_0=4\pi\times10^{-7}\,\mathrm{T{\cdot}m/A} (exact pre-2019 SI) is standard. (Scope note: the double-curl/Poisson reduction is stated here and owned by the next article; this article certifies the integral solution directly by curl. The base text's Biot–Savart recovery carried ambiguous sign placeholders — repaired here with the frozen-vector product rule, no sign ambiguity remaining. Worked numbers: solenoid 0.1260.126 T / 1.58×10−41.58\times10^{-4} Wb / 6.3×10−46.3\times10^{-4} and 5.0×10−45.0\times10^{-4} T·m; wire ΔAz=2.1×10−6\Delta A_z=2.1\times10^{-6} T·m — recomputed.)

Builds on: Divergence of B and Absence of Magnetic Monopoles · Curl of B · Ampere's Law · Electric Current and Current Density · Biot-Savart Law

Leads to: Gauge Freedom and the Coulomb Gauge · Magnetic Field of Steady Current Configurations · Lorentz Force Law

Why does the magnetic field get a vector potential when the electric field only needed a scalar?

Each field's potential is purchased with its conservation law, and the two fields conserve different things. E⃗\vec E (in statics) has zero curl — closed-loop work vanishes — and a curl-free field is the gradient of a scalar: one function, three components recovered by differentiation. B⃗\vec B has zero divergence — no sources or sinks — and a divergence-free field is the curl of a vector: you need three functions, because the object being encoded (a circulating field) has intrinsically more directional structure than a "downhill flow." The asymmetry traces straight back to the sources: charges exist, monopoles don't. In a region with genuinely no current you can locally use a magnetic scalar potential too, a trick the magnetized-matter chapter will exploit — but it fails on any loop encircling current, where the would-be potential comes back multivalued.

Is A physically real, or just a calculational trick?

The modern verdict has two clauses. The configuration A⃗(r⃗)\vec A(\vec r), point by point, is not measurable — gauge freedom means infinitely many A⃗\vec A's describe one world, so asking "what is A⃗\vec A here?" is like asking a mountain's "true altitude" without agreeing on sea level. But the gauge-invariant content of A⃗\vec A is as real as anything in physics: quantum interference measures ∮A⃗⋅dℓ⃗\oint\vec A\cdot\mathrm{d}\vec\ell directly (Aharonov–Bohm), the canonical momentum mv⃗+qA⃗m\vec v+q\vec A is what quantum mechanics quantizes, and no local function of B⃗\vec B alone can reproduce these effects when the flux is confined away from the particle. Summary: real field, redundant description. Classical electromagnetism let you pretend only B⃗\vec B existed; quantum mechanics revoked that option.

What are the units of A, and is there an intuition for them?

[A⃗]=T⋅m=Wb/m=V⋅s/m[\vec A]=\mathrm{T\cdot m}=\mathrm{Wb/m}=\mathrm{V\cdot s/m} — and, most instructively, kg·m/(s·C): momentum per unit charge. That last reading is Maxwell's own ("electromagnetic momentum") and it is operational: by p⃗=mv⃗+qA⃗\vec p=m\vec v+q\vec A, a charge sitting in a vector potential holds qA⃗q\vec A of momentum on deposit in the field. Switch the source current off and the deposit is paid out — the induced electric field −∂A⃗/∂t-\partial\vec A/\partial t delivers exactly the impulse qA⃗initialq\vec A_{\rm initial}. The V·s/m version is equally practical: it is why A⃗\vec A's time derivative is an electric field, the fact the induction chapter runs on.

How literally should I take the analogy between A and the electrostatic potential V?

Component by component, very literally — with three caveats. The Coulomb-gauge AxA_x is computed from μ0Jx\mu_0J_x exactly as VV is from ρ/ε0\rho/\varepsilon_0, so every electrostatic solving technique (superposition, symmetry, even separation of variables) transfers. Caveat one: it's three parallel problems, coupled only through the source geometry. Caveat two: the analogy runs through the Coulomb gauge — in other gauges A⃗\vec A obeys different equations. Caveat three: the physical readings differ — VV is energy per charge, A⃗\vec A is momentum per charge; equipotentials of VV guide statics intuition, while for A⃗\vec A the useful geometric object is its circulation, the flux ledger. Where the analogy is weakest: boundary conditions at material surfaces, which for A⃗\vec A involve surface currents rather than surface charges (the boundary-conditions article ahead).

If B is zero outside a solenoid, how can anything out there depend on A? Doesn't that violate locality?

It genuinely bothered people, Ehrenberg and Siday included, and the resolution sharpens the concept. Classically, nothing outside depends on A⃗\vec A: the Lorentz force needs B⃗\vec B, and no classical exterior experiment detects the trapped flux. Quantum mechanically, the phase of a charged wavefunction accumulates qℏ∫A⃗⋅dℓ⃗\frac{q}{\hbar}\int\vec A\cdot\mathrm{d}\vec\ell along each path, and two paths enclosing the solenoid differ by qℏ∮A⃗⋅dℓ⃗=qΦBℏ\frac{q}{\hbar}\oint\vec A\cdot\mathrm{d}\vec\ell=\frac{q\Phi_B}{\hbar} — gauge-invariant, hence measurable, and manifestly an effect of the enclosed flux rather than the local field. Locality survives in refined form: the interaction is local in the potentials (A⃗\vec A couples to the particle where the particle is), while the observable depends only on a global, gauge-invariant loop quantity. What died is the stronger claim that E⃗\vec E and B⃗\vec B alone, sampled along the trajectory, determine all physics.

When should I compute A first instead of going straight for B?

Three standard situations. First, when the current's geometry is simpler than the field's — A⃗\vec A is parallel to J⃗\vec J, so a planar or azimuthal current gives a one-component A⃗\vec A where B⃗\vec B has two; the multipole expansion (next-but-one article) is built on A⃗\vec A for exactly this reason. Second, when flux is the quantity you actually want: inductance calculations and induction problems read ΦB=∮A⃗⋅dℓ⃗\Phi_B=\oint\vec A\cdot\mathrm{d}\vec\ell directly off the potential without ever constructing B⃗\vec B. Third, in any Lagrangian, Hamiltonian, or quantum setting, where the formalism simply refuses to run on B⃗\vec B: minimal coupling needs A⃗\vec A itself. For a quick field at a symmetric point, though, Ampère's law or Biot–Savart remains the shorter road — A⃗\vec A is a strategic instrument, not a universal shortcut.

The solenoid's exterior A falls as 1 over s. Doesn't that clash with A being like the potential of its source?

No — it is the analogy working correctly, just for an unusual source. The exterior A⃗=ΦB/2πs ϕ^\vec A=\Phi_B/2\pi s\,\hat\phi is azimuthal because the source current is azimuthal, exactly as the parallel-rule predicts. The 1/s1/s profile is forced by the flux ledger: every exterior circle must return the same ΦB\Phi_B, so A⋅2πsA\cdot2\pi s must be constant. Compare the interior: flux grows as s2s^2, so AA grows as ss. The two regimes stitch continuously at the wall (both give μ0nIR/2\mu_0nIR/2), and the kink in slope at s=Rs=R is precisely where the surface current lives — a preview of the general rule (owned by the boundary-conditions article) that A⃗\vec A stays continuous across current sheets while its normal derivative jumps.

Which gauge is the integral formula in, and did I choose it?

You chose it implicitly — a subtlety worth making explicit once. Transcribing the electrostatic Coulomb integral component by component produces one specific representative out of the infinite gauge family: taking its divergence and integrating by parts (using ∇′⋅J⃗=0\nabla'\cdot\vec J=0 for steady currents) gives exactly zero, so the formula lands in the Coulomb gauge ∇⋅A⃗=0\nabla\cdot\vec A=0 automatically. Nothing is wrong with the other representatives — add any ∇λ\nabla\lambda and the curl still returns the correct B⃗\vec B — but they are not what the integral computes. The next article turns this from an observation into a method: impose ∇⋅A⃗=0\nabla\cdot\vec A=0 deliberately, and Ampère's law collapses into the vector Poisson equation whose solution this integral is.

Before this

Where this leads