The Divergence Theorem

The divergence theorem (Gauss's theorem) relates the flux of a vector field through a closed surface to the volume integral of the divergence inside, providing the three-dimensional analogue of the flux form of Green's theorem.

The Theorem

Theorem11.4Divergence Theorem (Gauss's Theorem)

Let $E$ be a bounded solid region in $\mathbb{R}^3$ with piecewise smooth, outward-oriented boundary $\partial E = S$ . If $\mathbf{F}$ is a $C^1$ vector field on an open set containing $E$ , then $\oiint_S \mathbf{F} \cdot d\mathbf{S} = \iiint_E \nabla \cdot \mathbf{F}\,dV$ The total outward flux through the boundary equals the total divergence inside the region.

Applications

ExampleFlux of the identity field

For $\mathbf{F} = (x, y, z)$ and $E$ the unit ball, $\nabla \cdot \mathbf{F} = 3$ . By the divergence theorem: $\oiint_{S^2} \mathbf{F} \cdot d\mathbf{S} = \iiint_{B^3} 3\,dV = 3 \cdot \frac{4\pi}{3} = 4\pi$ Computing directly on $S^2$ : $\mathbf{F} \cdot \hat{\mathbf{n}} = \mathbf{r} \cdot \hat{\mathbf{r}} = 1$ , so flux $= \text{Area}(S^2) = 4\pi$ . $\checkmark$

ExampleGauss's Law in electrostatics

For a point charge $q$ at the origin, $\mathbf{E} = \frac{q}{4\pi\epsilon_0} \frac{\mathbf{r}}{r^3}$ . Since $\nabla \cdot \mathbf{E} = 0$ away from the origin, the divergence theorem gives $\oiint_S \mathbf{E} \cdot d\mathbf{S} = 0$ for any closed surface not enclosing the origin. For a surface enclosing the origin, one uses a limiting argument (excise a small sphere) to obtain $\oiint_S \mathbf{E} \cdot d\mathbf{S} = \frac{q}{\epsilon_0}$ This is Gauss's Law, a cornerstone of electrostatics.

Consequences

Theorem11.5Incompressible Fields

A vector field $\mathbf{F}$ satisfies $\nabla \cdot \mathbf{F} = 0$ (is divergence-free or solenoidal) if and only if $\oiint_S \mathbf{F} \cdot d\mathbf{S} = 0$ for every closed surface $S$ . Physically, this means the field has no sources or sinks; the total flux entering any region equals the total flux leaving it.

RemarkUnifying perspective

Green's theorem, Stokes' theorem, and the divergence theorem are all special cases of the generalized Stokes' theorem for differential forms on manifolds with boundary. They represent the same fundamental principle — that integrating a derivative over a region equals integrating the original quantity over the boundary — in dimensions $1$ , $2$ , and $3$ respectively.