Let be a bounded region in Euclidean space with piecewise smooth boundary and outward unit normal vector . For a continuously differentiable vector field on a neighborhood of its closure,The total outward flux equals the accumulated divergence inside. Contributions across shared internal faces cancel when a region is divided into small pieces.
For on a ball of radius , the divergence is , giving . On the boundary, , so the surface integral is also . This agreement turns the derivative into a geometric flux measurement. The required regularity matters: a singular field at the center cannot be included without checking its contribution separately.
New to topics? Read the docs here!