A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
Divergence theorem: ∬_S F · dS = ∭_W (∇·F) dV, where S is the closed surface bounding W (outward normal). This relates flux through a closed surface to divergence integrated over the volume.
You have computed flux integrals — the integral of a vector field F dotted with the outward normal over a surface — and triple integrals over solid regions. The divergence theorem is the bridge between these two operations: it says that the total outward flux through a closed surface equals the integral of the divergence of F over the enclosed volume.
The physical intuition is about sources and sinks. Think of F as the velocity field of a fluid. Divergence at a point measures how much the fluid is "spreading out" (positive divergence = source, like water from a faucet) or "converging" (negative divergence = sink, like a drain). If you enclose a region in a surface, the total flow escaping through the surface must equal the total amount being generated inside — that is exactly what the divergence theorem says. If ∇·F = 0 everywhere, nothing is being created or destroyed, and the net outward flux is zero regardless of which closed surface you choose.
The divergence theorem is the three-dimensional analogue of the Fundamental Theorem of Calculus. Just as ∫_ab f'(x) dx = f(b) - f(a) relates a derivative over an interval to values at the boundary, the divergence theorem relates the divergence (a kind of derivative) integrated over a volume to the flux through the boundary surface. This pattern — "integral of a derivative over a region equals an integral over the boundary" — runs through all the major theorems of vector calculus: the FTC, Green's theorem (2D), Stokes' theorem (surfaces), and the divergence theorem (volumes).
The main practical use of the divergence theorem is simplification: computing a surface integral directly can be painful (especially for awkward surfaces), but computing the divergence and integrating over the volume may be far easier. The reverse is also sometimes useful — if the triple integral is hard but the surface is simple, you can compute the surface integral instead. As with all the vector calculus theorems, the key condition is that F must have continuous first-order partial derivatives throughout the region, and S must be a closed, piecewise-smooth surface with outward-pointing normals.
Watch out for the closed-surface requirement. Open surfaces (like a paraboloid cap without a base) are handled by Stokes' theorem, not the divergence theorem. If a surface is not closed, you can sometimes *make* it closed by adding a convenient cap or base, apply the divergence theorem to the closed surface, then subtract the flux through the piece you added. This strategy is a common technique for difficult flux computations.