Section 14.15 Second derivatives
A conservative vector field is the gradient of some function, for example
But integrals of conservative vector fields are independent of path, so that evaluating the integral along two different paths between the same two points yields the same answer, as illustrated in Figure 16.4.1. Combining two such paths into a closed loop changes the orientation of one path, as shown in Figure 14.15.1, and the integrals now cancel; the integral of \(\grad V\) around any closed loop vanishes. Using Stokes' Theorem, we therefore obtain
Equivalently, the Master Formula tells us how to evaluate the left-hand side of (14.15.1), namely by evaluating the potential at the endpoints. Since both endpoints are the same, the integral must be zero. But since the left-hand side must vanish for any closed curve, the integrand must be identically zero. We have proved that
for any function \(V\text{.}\)
A similar argument can be used to show that
for any vector field \(\FF\text{.}\) Consider a closed surface. Cut it in half along some closed curve, as shown in the first diagram in Figure 14.15.2. Then each piece of the surface is a butterfly net with the same rim, as shown in the second diagram in Figure 14.15.2 (with the pieces separated for clarity). Applying Stokes' Theorem to each piece leads to the conclusion that the flux of the curl of \(\FF\) upward through each piece must be the same, so that the flux up through the top cancels the flux downward through the bottom. This cancellation forces the flux of the curl of \(\FF\) outward through the entire surface to vanish. Using the Divergence Theorem, we get
This argument shows that the first integral is zero over any volume, forcing the integrand to vanish, as claimed.
The above identities can also be derived by direct computation, most easily done in rectangular coordinates. For instance, when calculating the curl of \(\grad{V}\text{,}\) each component will contain mixed second-order partial derivatives of \(V\text{,}\) for example:
But partial derivatives can be taken in any order, so the derivatives above cancel, thus proving the identity. Similar second-order derivatives arise when computing the divergence of \(\grad\times\AA\text{,}\) establishing the other identity.