Magnetic vector potential, gauge freedom, and the Coulomb gauge
Anchor (Master): Jackson, Classical Electrodynamics, 3rd ed. (1999), Ch. 5-6; Cohen-Tannoudji, Dupont-Roc, & Grynberg, Photons and Atoms (1997), Ch. I
Intuition Beginner
Since the magnetic field has no sources or sinks (no magnetic monopoles), we can always write as the curl of another vector field:
The vector field is called the magnetic vector potential. It is not unique: adding the gradient (slope) of any scalar function to gives the same , because the curl of a gradient is always zero: . This freedom to change without changing is called gauge freedom, and the transformation is a gauge transformation.
The vector potential is useful because it simplifies many calculations. Instead of computing directly from the Biot-Savart law (which involves a cross product), we can compute from a simpler integral and then take the curl. For a steady current in a wire loop, the vector potential is:
This is simpler than the Biot-Savart law because the integrand is a vector divided by a scalar, with no cross product.
Visual Beginner
| Quantity | Definition | Units |
|---|---|---|
| Magnetic field | curl of | Tesla (T) |
| Vector potential | Potential for | Tm |
| Gauge function | Tm | |
| Coulomb gauge | divergence of equals zero | (dimensionless condition) |
Worked example Beginner
Compute for an infinite straight wire carrying current in the -direction.
By symmetry, points in the -direction and depends only on the distance from the wire: . The integral formula gives where is a reference distance.
Now take the curl: . In cylindrical coordinates, . This is the familiar result from Ampere's law.
Notice that is not unique. We can add any gradient to without changing . For example, adding would shift the reference point. This is gauge freedom.
Check your understanding Beginner
Formal definition Intermediate+
The magnetic vector potential is defined by the relation , which is guaranteed to exist by the divergence-free condition and the Helmholtz decomposition theorem.
Gauge transformations. For any smooth scalar function :
leave the physical fields and unchanged.
Coulomb gauge. The choice . In this gauge, the magnetostatic equation becomes:
which is three independent Poisson equations (one for each component of ). The solution is:
Lorenz gauge. The choice . This gauge is Lorentz-invariant and decouples the equations for and into wave equations:
where is the d'Alembertian.
In the language of differential forms. is a 2-form and is a 1-form with . The gauge transformation is . The Coulomb gauge corresponds to the codifferential condition (where is the Hodge codifferential).
Key derivation Intermediate+
Derivation (The Coulomb gauge: existence, uniqueness, and the Poisson equation).
Theorem. For any vector field , there exists a gauge transformation such that . The function satisfies .
Proof. We seek such that , i.e., . This is a Poisson equation with source . The solution is:
which is well-defined provided falls off faster than at infinity. Under this gauge transformation, .
Derivation (Poisson equation for in the Coulomb gauge). Starting from Ampere's law and substituting :
Using the vector identity :
In the Coulomb gauge (), the first term vanishes:
This is the vector Poisson equation, with solution:
The Coulomb gauge is satisfied automatically when (steady currents, continuity equation). In this case, . Integrating by parts and using plus the boundary condition at infinity gives .
Bridge. The vector potential and gauge freedom are the 3D precursors of the 4-potential and the gauge transformation that appears in the covariant formulation 10.06.01. The foundational insight is that gauge freedom is not a mere mathematical convenience but a deep structural property of electromagnetism: the physical fields (, ) are gauge-invariant, while the potentials (, ) are gauge-dependent. The choice of gauge (Coulomb for statics, Lorenz for radiation) selects the most convenient representation. The central message is that in the Coulomb gauge, the vector potential satisfies a simple Poisson equation, making it as easy to compute as the scalar potential in electrostatics. This simplicity is why the Coulomb gauge is preferred for magnetostatic problems. The Lorenz gauge, by contrast, makes the Lorentz invariance manifest and decouples the equations for and into wave equations, which is essential for radiation problems 10.07.02 and the retarded potential formalism 10.08.01.
Exercises Intermediate+
Lean formalization Intermediate+
Mathlib has differential forms and the exterior derivative, providing the abstract setting for . The Helmholtz decomposition exists. However, the gauge transformation , the Coulomb/Lorenz gauge conditions, and the Green's function solution of the vector Poisson equation are all absent. The physical boundary conditions and the existence/uniqueness theory are also missing. lean_status: none.
Advanced results Master
The Helmholtz decomposition. Any sufficiently smooth vector field that vanishes at infinity can be uniquely decomposed as where is a scalar potential and is a vector potential. The scalar potential satisfies (Poisson equation for the divergence part), and the vector potential satisfies (Poisson equation for the curl part, in the Coulomb gauge). This decomposition is the mathematical foundation for the existence of the vector potential.
The Lorenz gauge and Lorentz invariance. The Lorenz gauge condition can be written in covariant form as . This is manifestly Lorentz-invariant (a scalar equation), and the gauge transformation preserves the Lorenz condition if . The four-potential transforms as a four-vector under Lorentz transformations, and the Lorenz gauge condition selects a particular representative from each gauge equivalence class.
Gauge fixing as a constrained optimization. The Coulomb gauge minimises over all gauge-equivalent potentials. The Lorenz gauge minimises a similar functional involving the four-potential. This variational characterisation provides an alternative proof of the existence of the gauge fixing.
Synthesis. The vector potential is the bridge between the magnetic field (a physical, measurable quantity) and the mathematical framework that simplifies calculations. The foundational insight is that gauge freedom — the ability to change without changing — is not a deficiency but a feature: it reflects a redundancy in the description that can be exploited to simplify different problems. The central message is that the Coulomb gauge () makes magnetostatic problems tractable (Poisson equation for each component), while the Lorenz gauge () makes radiation and relativistic problems tractable (decoupled wave equations). Putting these together, the vector potential provides the unified description of magnetostatics, electrodynamics, and radiation 10.07.02, and generalises to the four-potential 10.06.01 in the covariant formulation.
Full proof set Master
Proposition (Uniqueness of in the Coulomb gauge). If and both satisfy , , and at infinity, then .
Proof. Let . Then and . Since , there exists a scalar with . Then . Since satisfies Laplace's equation and at infinity, we must have const (the only solution to Laplace's equation that does not grow at infinity and whose gradient vanishes at infinity). Therefore and .
Connections Master
- Faraday tensor
10.06.01is the 4-dimensional formulation of the electromagnetic field; the 4-potential is the covariant generalisation of the vector potential. - Biot-Savart/Ampere
10.02.01is the direct computation of ; the vector potential provides an alternative route. - Magnetic scalar potential
10.02.05is an alternative potential that works only in current-free regions; it complements the vector potential. - Radiation
10.07.02uses the retarded vector potential in the Lorenz gauge to compute radiation fields. - Green's function methods
10.08.01provide the general framework for solving the Poisson and wave equations for the potentials. - Differential forms
10.04.01give the coordinate-free formulation: , gauge transformation .
Historical & philosophical context Master
The vector potential was introduced by Franz Ernst Neumann in 1845 and developed by Wilhelm Weber and James Clerk Maxwell. Maxwell's original formulation of electromagnetism (the "20 equations in 20 unknowns" of the 1865 paper) used the vector potential as a fundamental quantity; the field-based formulation (using and directly) was popularised by Heaviside and Hertz in the 1880s.
The gauge principle — that the potentials are not uniquely determined by the fields — was initially regarded as a mathematical nuisance. Its physical significance became apparent only with quantum mechanics: the Aharonov-Bohm effect (1959) showed that the vector potential has observable consequences even in regions where . This established gauge freedom as a fundamental principle of physics, not merely a computational device.
The modern view (developed by Yang and Mills in the 1950s and standard in particle physics) is that gauge invariance is the defining principle of the electromagnetic interaction: the Lagrangian is invariant under local gauge transformations, and this invariance requires the existence of the electromagnetic field. This perspective inverts the historical one: instead of the field implying the potential, the gauge principle implies the field.
Bibliography Master
- Maxwell, J. C., "A Dynamical Theory of the Electromagnetic Field," Phil. Trans. R. Soc. 155, 459-512 (1865).
- Aharonov, Y. and Bohm, D., "Significance of electromagnetic potentials in the quantum theory," Phys. Rev. 115, 485-491 (1959).
- Jackson, J. D., Classical Electrodynamics, 3rd ed. (Wiley, 1999).
- Griffiths, D. J., Introduction to Electrodynamics, 4th ed. (Cambridge, 2017).
- Cohen-Tannoudji, C., Dupont-Roc, J., and Grynberg, G., Photons and Atoms: Introduction to Quantum Electrodynamics (Wiley, 1997).