Section13.3The Divergence Theorem
After completing this section you should be able to...
In the double integral chapter, we learned a way to greatly simplify flux computations when working with simple closed curves. Green's theorem stated that \(\int_C \vec F\cdot \vec n\ ds = \iint_R (M_x+N_y) dA\text{.}\) The divergence of \(\vec F\) is the quantity \(\text{ div } (\vec F) = M_x+N_y\text{.}\) We saw this in definition 11.5.1 on page 11.5.1, when we defined the divergence, or flux density, of a vector field \(\vec F\) at a point \(P\) to be the flux per unit area. We then stated that \(\text{ div } (\vec F)=M_x+N_y\text{.}\) We more generally defined the divergence in the previous unit. This generalizes the simplification to higher dimensions, and is called the divergence theorem. We'll repeat the definition of divergence, with its theorem, for reference.
Theorem13.3.1Divergence Theorem
Let \(S\) be a closed surface whose interior is the solid domain \(D\text{.}\) Let \(\vec n\) be an outward pointing unit normal vector to \(S\text{.}\) Suppose that \(\vec F(x,y,z)\) is a continuously differentiable vector field on some open region that contains \(D\text{.}\) Then the outward flux of \(\vec F\) across \(S\) can be computed by adding up, along the entire solid \(D\text{,}\) the flux per unit volume (divergence). Symbolically, the divergence theorem states
\begin{equation*}
\iint_S\vec F\cdot \vec n d\sigma = \iiint_D \vec \nabla \cdot \vec F dV = \iiint_D \left(M_x+N_y+P_z\right) dV
\end{equation*}
for \(S\) a closed surface with interior \(D\) and outward normal \(\vec n\text{.}\)
Exercise13.3.1
Consider the exact same vector field and box as Exercise 12.1.11. We then have the vector field \(\vec F=(x+y,y,z)\) and \(S\) is the surface of the cube in the first quadrant bounded by {\(x=2,y=3,z=5\)}.
(a)
Compute the divergence of \(\vec F\text{.}\) I.E find \(\text{ div } (\vec F) = M_x+N_y+P_z\text{.}\)
(b)
Use the divergence theorem to compute the flux of \(\vec F\) across \(S\text{.}\)
HintJust as the area is found by adding up little bits of area, which is what we mean by \(A=\iint_R dA\text{,}\) the volume is found by adding up little bits of volume.
Exercise13.3.2
Let \(S\) be the surface of the wedge in the first octant bounded by the planes \(x=1\) and \(\ds\frac{y}{2}+\frac{z}{3}=1\text{.}\) Let \(\vec F\) be the vector field \(\left\lt x+3y^2,y^2-4x,2z+xy\right>\text{.}\) Use the divergence theorem to compute the outward flux of \(\vec F\) across \(S\text{.}\) Make sure you draw the wedge (you may find centroids and volume help complete this exercise rapidly).
Exercise13.3.3
Consider the vector field \(\vec F = \left\lt yz,-xz,3xz\right>\text{.}\) Let \(D\) be the solid region in space inside the cylinder of radius 4, above the plane \(z=0\text{,}\) and below the paraboloid \(z=x^2+y^2\text{.}\) The surface \(S\) consists of 3 portions, so computing the flux would require a rather time consuming process of parameterizing these 3 surfaces. Instead, use the divergence theorem to compute the outward flux of \(\vec F\) across the surface \(S\text{.}\)