Skip to main content

Section 12.15 Second derivatives

Figure 12.19. A closed path.

A conservative vector field is the gradient of some function, for example

\begin{gather*} \EE = - \grad V \end{gather*}

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 [2]. Combining two such paths into a closed loop changes the orientation of one path, as shown in Figure 12.19, and the integrals now cancel; the integral of \(\grad V\) around any closed loop vanishes. Using Stokes' Theorem, we therefore obtain

\begin{equation} \Int_{\textrm{inside}} \!\! (\grad\times\grad V) \cdot d\AA = \oint\limits_{\textrm{loop}} \grad V \cdot d\rr = 0 .\tag{12.15.1} \end{equation}

Equivalently, the Master Formula tells us how to evaluate the left-hand side of (12.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

\begin{gather*} \grad\times\grad V = \zero \end{gather*}

for any function \(V\text{.}\)

Figure 12.20. Splitting a closed surface into two pieces. The orientations shown are compatible with Stokes' Theorem.

A similar argument can be used to show that

\begin{gather*} \grad\cdot(\grad\times\FF) = 0 \end{gather*}

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 12.20. Then each piece of the surface is a butterfly net with the same rim, as shown in the second diagram in Figure 12.20 (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

\begin{gather*} \Int_{\textrm{inside}} \grad\cdot(\grad\times\FF) \, d\tau = \Int_{\textrm{surface}} (\grad\times\FF)\cdot d\AA = 0 \end{gather*}

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:

\begin{gather*} \grad\times\grad V = ... + \left( \Partial{}{x}\Partial{V}{y} - \Partial{}{y}\Partial{V}{x} \right) \,\kk \end{gather*}

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.