For a bounded region with piecewise smooth boundary, suppose is a continuously differentiable vector field on an open neighbourhood of its closure. The divergence theorem, with outward unit normal vector , isThe surface integral measures total outward flux. Edges and isolated vertices have zero surface area and do not affect the integral.
In Cartesian coordinates, write the constant vector as . The product rule and constancy of its components giveThe last expression is the dot product with the gradient, so
Apply the divergence theorem to , using ii. Because the vector is constant, it can be taken outside both integrals:This holds for every , in particular each of the three Cartesian basis vectors. Equality of the three components proves the gradient volume-to-boundary identityIt suffices that be a continuously differentiable function on a neighbourhood of the closure of .
Articles by others on the same topic
There are currently no matching articles.