Section 17.3 The Biot–Savart Law
We started with the superposition principle for the (electric) scalar potential
and the corresponding superposition principle for the electric field
But we also have the relation
and we could have calculated the above integral representation of \(\EE\) by taking the gradient of the one for \(V\text{.}\)
It is fairly easy to see that consistency of the above expressions requires
which can of course also be computed directly. Note that the gradient only “sees” \(\rr\text{,}\) not \(\rrp\text{;}\) we are only taking \(x\text{,}\) \(y\text{,}\) and \(z\) derivatives (or their equivalents in curvilinear coordinates), not \(x'\text{,}\) \(y'\text{,}\) or \(z'\) derivatives. This also means there is no difficulty bringing the gradient inside the integral sign. Direct verification of this identity is most easily done by writing everything out explicitly in rectangular coordinates.
Starting instead with the vector potential, we have
Proceeding by analogy, we can ask what the result would be of differentiating this expression. But \(\AA\) is a vector field; how should we differentiate? It turns out that the correct choice is to take the curl. We can move curl inside the integral, and use the product rule for curl. The only dependence on \(\rr\) is in the term on the denominator; that's “\(f\)”. Everything else is “\(\GG\)”, which is a constant vector field, so that the “\(\grad\times\GG\)” term is zero. Thus, all we need to do is use the previously derived formula (17.3.1) for \(\grad(1/|\rr-\rrp|)\text{,}\) resulting in
(where the minus sign has been removed by reversing the order of the cross product). You should recognize the right-hand side of (17.3.2) as the Biot-Savart Law for the magnetic field. We have therefore shown that
which justifies having called \(\AA\) the (magnetic) vector potential to begin with.
For surface currents, the Biot-Savart Law takes the form
and for line currents we have
since \(\II\,ds' = I\,d\rr\text{.}\) (The order of the cross product is often reversed in the last expression, but this requires the convention that the other factor still be regarded as being inside the integral.)