Divergence Theorem

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

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.

Statement

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,

∬σF⋅n^ dS=∭Rdiv F dV\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)F⋅n^ dS=∭Gdiv F dV≈div F(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,

div F(P0)=lim⁡G→P01Vol(G)∬σ(G)F⋅n^ 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, div F\text{div}\,\boldsymbol{F} is the limiting outward flux per unit volume at a point.

Written by October 9, 2026 1 min read
Was this helpful?