Divergence Theorem

Work in progress. This note is still being written and incomplete.

2 min read Last updated Tue Aug 18 2026 03:09:13 GMT+0000 (Coordinated Universal Time)

Closed Surface

A surface σ\sigma is a closed surface iff it is the boundary of a solid region in R3\mathbb{R}^3.

For a closed surface, the positive orientation is the outward orientation.

Divergence Theorem

Let σ\sigma be a closed, piecewise smooth, orientable surface that encloses a solid region RR in R3\mathbb{R}^3. Suppose F\boldsymbol{F} is a vector field whose component functions have continuous first-order partial derivatives on an open set containing RR and its boundary σ\sigma. If n^\hat{n} is the outward unit normal field for σ\sigma,

σFn^dS=RdivFdV\iint_\sigma \boldsymbol{F} \cdot \hat{n}\,\text{d}S = \iiint_R \text{div}\,\boldsymbol{F}\,\text{d}V

Divergence as Flux Density

Let GG be a small solid region centered at P0P_0 with boundary surface σ(G)\sigma(G) oriented outward, and let F\boldsymbol{F} be a vector field whose component functions have continuous first-order partial derivatives on an open set containing GG. Denote the volume of GG by Vol(G)\text{Vol}(G) and the flux of F\boldsymbol{F} across σ(G)\sigma(G) by Φ(G)\Phi(G).

Φ(G)=σ(G)Fn^dS=GdivFdVdivF(P0)Vol(G)\Phi(G) = \iint_{\sigma(G)} \boldsymbol{F} \cdot \hat{n}\,\text{d}S = \iiint_G \text{div}\,\boldsymbol{F}\,\text{d}V \approx \text{div}\,\boldsymbol{F}(P_0)\,\text{Vol}(G)

As GG shrinks to P0P_0 in all directions,

divF(P0)=limGP01Vol(G)σ(G)Fn^dS\text{div}\,\boldsymbol{F}(P_0) = \lim_{G \to P_0} \frac{1}{\text{Vol}(G)} \iint_{\sigma(G)} \boldsymbol{F} \cdot \hat{n}\,\text{d}S

If F\boldsymbol{F} is the velocity field of a fluid in steady-state flow, divF\text{div}\,\boldsymbol{F} is the limiting outward flux per unit volume at a point.

Was this helpful?