For a thin wire carrying current , the given magnetic vector potential reduces to . Taking its curl and using gives the Biot-Savart law
This is exactly the sign convention in the printed form using .
Let . Away from the wire, . The supplied divergence and curl of a cross product therefore gives . But , so the integrand is the total differential of along the source loop. Its closed-loop integral is zero. Thus at every point outside , as demanded by the current-free magnetostatic Ampère's law.
For , , and counterclockwise current, . At the origin, , so
For the ellipse expressed relative to a focus, . The cosine integrates to zero, giving
Here is the semilatus rectum. Reversing the current reverses the field direction.
The identity divergence of a curl is zero follows by the symmetry of second partial derivatives and antisymmetry of the Levi-Civita symbol. Therefore
If and is in Coulomb gauge, the curl of the curl identity gives . Apply the supplied scalar Poisson equation representation to each component of the decaying vector potential. In the units of this problem the Coulomb-gauge vector potential of a localized steady current is
Here one needs , and enough localization of for the stated representation and differentiations. A smooth compactly supported current density is a sufficient convenient case. The local differential equations and gauge alone do not impose these conditions: , , satisfy them but do not satisfy the displayed integral formula. The formula selects the decaying solution, excluding nondecaying homogeneous harmonic functions.
With , the gradient of the kernel is . Since is independent of ,
Thus taking the curl gives the Biot-Savart law in the problem's normalization:
Finally, change variables in the integral for . This keeps the singular kernel independent of the differentiation variable:
For smooth localized , differentiation under the integral sign is legitimate: is locally integrable in three dimensions, and on a bounded neighbourhood of the translated sources and their derivatives have common compact support. The integral indeed satisfies Coulomb gauge.
For a time-independent current, the Maxwell equations reduce to magnetostatics:
Write using a vector potential and choose the Coulomb gauge . The vector identity for the curl of a curl gives the Poisson equation
The free-space Green function therefore gives
Taking the curl with respect to , moving it under the integral, and using gives the Biot-Savart law
Take the curl of the integral from part (a). Since is independent of ,
This is the Biot-Savart law.
Parametrize the loop by and . At the observation point , the Biot-Savart law for a line current gives
The components perpendicular to the axis cancel by rotational symmetry, while the axial component of the cross product is . Therefore
The direction is fixed by the right-hand rule and reverses when the electric current reverses. At the centre,
This is the on-axis magnetic field of a circular current loop.