For a continuously differentiable vector field on a volume and its boundary, the divergence theorem equates to the outward flux . For the given field, , soOn the sphere, , andThus the surface flux is also , verifying the theorem by explicit calculation.
Apply the product rule to , then apply the divergence theorem. This proves Green's first identity:Swap and and subtract. The gradient products cancel, giving Green's second identity:For uniqueness, set . It is a harmonic function with zero Dirichlet boundary conditions. Under the stated smoothness assumptions, Green's first identity with gives . Thus is constant on each connected component, and its boundary value makes every constant zero. The two solutions agree throughout . This is Dirichlet uniqueness for the Poisson equation. For classical solutions merely continuous up to the boundary and twice continuously differentiable in the interior, the maximum principle for harmonic functions gives the same conclusion without requiring boundary derivatives.
Articles by others on the same topic
There are currently no matching articles.