divergence theorem
/ GOWSS for Gauss /
Imagine a closed balloon full of moving fluid and ask: how much fluid is leaving the balloon through its skin per second? You could measure the outflow patch by patch over the whole surface — or you could go inside and add up all the little sources and sinks scattered through the volume. The divergence theorem says these two accounts must agree exactly: what crosses the boundary equals what is produced within.
Precisely, for a vector field F and a solid region V with closed boundary surface S oriented outward, the divergence theorem states that the flux integral over S of F dot n dS equals the triple integral over V of (div F) dV. The left side is total outward flux through the surface; the right side is the integral of the source density (the divergence) over the interior. It is the highest-dimensional of the three classical theorems and the cleanest physically: total flux out equals total source inside, with no leftover.
The divergence theorem is the backbone of every conservation law in continuous physics. Gauss's law in electromagnetism is literally this theorem applied to the electric field: flux of E through a closed surface equals enclosed charge over epsilon_0. The continuity equation — that the rate a quantity accumulates in a region equals minus the flux of its current out — is derived from it, governing conservation of mass, charge, and energy. It is also the tool that converts the integral (global) form of a physical law into its differential (local) form, and back.
For F = (x, y, z) and V the unit ball, div F = 3, so the right side is 3 times the ball's volume 4 pi/3 = 4 pi. The left side is the flux through the unit sphere, which we found to be 4 pi — the two halves of the theorem match.
Outward flux 4 pi equals the volume integral of the divergence 4 pi — the theorem in a single ball.
The surface must be closed (it must fully enclose the volume) and oriented outward, and F must be smooth throughout V; for a field with a singularity inside — such as the inverse-square field at a point charge — the naive volume integral fails, and the correct accounting (which recovers Gauss's law with the enclosed charge) uses a Dirac delta source rather than an ordinary integrable divergence.