Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ia/paper-3/12b/a/solution
Past exam of the mathematics course of the University of Cambridge 2017 ia Paper 3 12B a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
Work with real-valued smooth functions on the bounded region enclosed by , with the oriented surface element pointing outward. Set . It is a harmonic function in and has zero Dirichlet boundary conditions on . Applying Green's first identity to with itself givesBoth terms on the right vanish by the boundary condition and harmonicity. The integrand is nonnegative and continuous, so throughout . Consequently is constant on each connected component; every bounded component meets the prescribed boundary, where that constant is zero. ThereforeThis is the energy proof of Uniqueness of the Dirichlet problem. Connectedness of is not essential if the boundary values are prescribed on every component. Boundedness, or suitable decay and integrability at infinity, is needed for the boundary/energy argument; the finite enclosed-volume interpretation is used here.
New to topics? Read the docs here!