For a bounded region with piecewise smooth boundary and a continuously differentiable vector field on a neighborhood of its closure, the divergence theorem says
where is the outward unit normal vector. The left side integrates divergence over the volume; the right side is the outward flux.
Apply the divergence theorem to . The product rule gives
because the two gradient inner products cancel. Also . Thus
This is Green's second identity, under the usual regularity assumptions permitting these derivatives and boundary integrals.
Take in Green's second identity. Since , , on the unit sphere, and there,
The final term vanishes by the divergence theorem, because it equals . Therefore
We assume sufficient boundary regularity for the stated boundary values and integrals, or use the corresponding trace/limit formulation. This is the equality of volume and surface averages for a harmonic function, since the unit ball and sphere have volume and area .

Articles by others on the same topic (0)

There are currently no matching articles.