Past exam of the mathematics course of the University of Cambridge / 2013 / ia / Paper 3 / 12C / b

Under the usual bounded-domain hypotheses, with piecewise smooth boundary and a sufficiently smooth vector field, the divergence theorem stateswhere $\mathbf{n}$ is outward. Apply it to $g\mathbf{F}$ and use the product rule $\nabla \cdot (g\mathbf{F})=\mathbf{F}\cdot \nabla g+g\nabla \cdot \mathbf{F}$ to obtainFor uniqueness, let $w=u_1-u_2$ for two classical solutions with the same Dirichlet boundary data. Then $\Delta w=0$ and $w=0$ on the boundary. Taking $\mathbf{F}=\nabla w$, $g=w$ gives Green's first identity in the formThe continuous nonnegative integrand must vanish, so $w$ is constant on each connected component. The zero boundary data make every such constant zero. Thus the solution of the Dirichlet problem for the Laplace equation is unique, if it exists. This establishes Uniqueness of the Dirichlet problem; existence is assumed. Boundedness, or suitable conditions at infinity, is needed: on an unbounded half-space the harmonic function $w=z$ has zero boundary values but is not identically zero.