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