Mathematics.

vector calculus

Divergence Theorem

Calculus III25 minDifficulty8 out of 10

You should know: surface integrals, divergence and curl

Overview

The divergence theorem (also called Gauss's theorem or Ostrogradsky's theorem) relates the flux of a vector field out of a closed surface S to the triple integral of the field's divergence over the solid region E that S encloses. It's the 3D analogue of Green's theorem, converting a (often hard) surface flux calculation into a (often easier) volume integral, or vice versa.

Interactive Graph

A vector field whose divergence is measured

Loading visualization…

Formal Definition

Definition

Let E be a solid region in ℝ³ with boundary surface S = ∂E, oriented with outward-pointing normal:

∬SF⋅dS=∭E(∇⋅F) dV\iint_S \mathbf F \cdot d\mathbf S = \iiint_E (\nabla \cdot \mathbf F)\, dV
Divergence Theorem

Notation

NotationMeaning
∂E\partial EThe closed boundary surface of solid region E, with outward-pointing normal

Theorems

Theorem 1: Divergence Theorem (Gauss's Theorem)
∬∂EF⋅dS=∭E(∇⋅F) dV for solid region E with outward-oriented boundary ∂E\iint_{\partial E} \mathbf F\cdot d\mathbf S = \iiint_E (\nabla\cdot\mathbf F)\, dV \text{ for solid region } E \text{ with outward-oriented boundary } \partial E

Corollaries

Follows from Divergence Theorem

If∇⋅F=0everywhereinE(Fis′incompressible′/source−free),thenthenetfluxthroughanyclosedsurfaceboundingEiszero.If ∇·F = 0 everywhere in E (F is 'incompressible' / source-free), then the net flux through any closed surface bounding E is zero.

Worked Examples

  1. Compute div F.

    ∇⋅F=1+1+1=3\nabla\cdot\mathbf F = 1+1+1 = 3

  2. By the divergence theorem, the flux equals 3 times the volume of the ball of radius a.

    ∬SF⋅dS=∭E3 dV=3⋅43πa3=4πa3\iint_S \mathbf F\cdot d\mathbf S = \iiint_E 3\, dV = 3\cdot\frac{4}{3}\pi a^3 = 4\pi a^3

Answer: 4πa³

Practice Problems

Difficulty 8/10

Use the divergence theorem to find the flux of F=⟨x³,y³,z³⟩ out of the sphere of radius 2 centered at the origin.

Difficulty 6/10

Use the divergence theorem to find the outward flux of F = ⟨x, y, z⟩ through any closed surface enclosing a volume V.

Common Mistakes

Common Mistake

Applying the divergence theorem to a surface that isn't closed (e.g. just a hemisphere without the disk 'lid').

The divergence theorem requires S to be a CLOSED surface (the complete boundary of a solid region E). An open surface like a bare hemisphere needs Stokes' theorem instead, or must be closed off with an additional 'cap' surface before applying the divergence theorem.

Common Mistake

Using an inward-pointing normal without adjusting the sign.

The theorem assumes OUTWARD-pointing normal on ∂E. Using an inward normal (common if a parametrization's cross product happens to point inward) flips the sign of the flux integral relative to the volume integral.

Quiz

The divergence theorem relates a flux integral over a closed surface to:
Physically, a positive divergence ∇·F at a point means that point acts as:

Historical Background

The theorem was discovered independently by several mathematicians: Joseph-Louis Lagrange gave an early special case in 1762, Carl Friedrich Gauss used it in 1813 studying gravitational attraction, Mikhail Ostrogradsky proved a general form in 1826 (published 1831) while studying heat theory, and George Green stated a version in his 1828 essay. It's variously called Gauss's theorem, Ostrogradsky's theorem, or the Gauss-Ostrogradsky theorem depending on tradition, though 'divergence theorem' is the most common name in English-language calculus courses today.

  1. 1762

    Lagrange proves an early special case

    Joseph-Louis Lagrange

  2. 1813

    Gauss applies a version of the theorem to gravitational attraction

    Carl Friedrich Gauss

  3. 1826

    Ostrogradsky proves a general form while studying heat propagation (published 1831)

    Mikhail Ostrogradsky

Summary

  • Divergence theorem: ∬_{∂E} F·dS = ∭_E (∇·F) dV, converting closed-surface flux to a volume integral of divergence.
  • Requires a CLOSED surface ∂E with outward-pointing normal.
  • If div F = 0 throughout E, net flux through any closed boundary is automatically zero (source-free/incompressible fields).
  • The 3D counterpart of Green's theorem (2D) and closely related to Stokes' theorem (which relates curl flux to circulation).

References

  1. BookGauss, C.F. (1813). Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum.
  2. WebsiteWikipedia — Divergence theorem