For a bounded region with piecewise smooth boundary and a continuously differentiable vector field on a neighborhood of its closure, the divergence theorem sayswhere 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 givesbecause the two gradient inner products cancel. Also . ThusThis 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 . ThereforeWe 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
There are currently no matching articles.