Divergence theorem

The divergence theorem is the most general theorem relating an integral over a region with an integral over its boundary. Its special forms include Green’s theorem, Stoke’s theorem, and the fundamental theorem of calculus.

If we have some region Ω\Omega in Rk\R^k, and Ω\partial\Omega is its boundary, the divergence theorem states that for some operation ()(*):

Ωn^()dk1x=Ω()dkx\int_{\partial\Omega} \hat{\mathbf n}(*) d^{k-1}x = \int_\Omega \nabla (*) d^k x

The operation ()(*) here might for example be a dot product with some vector field F\mathbf F, in which case Ωn^Fdk1x=ΩFdkx\int_{\partial\Omega} \hat{\mathbf n}\cdot \mathbf F d^{k-1}x = \int_\Omega \nabla \cdot \mathbf F d^k x. Or it might be the cross product with F\mathbf F, in which case Ωn^×Fdk1x=Ω×Fdkx\int_{\partial\Omega} \hat{\mathbf n}\times\mathbf F d^{k-1}x = \int_\Omega \nabla \times\mathbf F d^k x.

The most commonly used form of the divergence theorem is where ()=F(*) = \cdot \mathbf F. In this case, it can be written as:

ΩFn^dk1x=Ωdiv(F)dkx\int_{\partial\Omega} \mathbf F \cdot \hat{\mathbf n} d^{k-1}x = \int_\Omega \mathrm{div}(\mathbf F) d^k x