Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ia/paper-3/12b/b/solution

Put . Then on , and the constant does not change a gradient, so . Expand the unnormalized Dirichlet energy:
The cross term is zero by Green's first identity:
Thus the useful stronger identity is
Equality holds exactly when has zero gradient. It is then constant on every connected component and zero on that component’s boundary, hence . Therefore equality holds precisely when throughout . This is the Dirichlet principle; an additive boundary constant does not alter the minimizing energy. The energy here omits the optional factor , which does not affect minimizers or the inequality.

New to topics? Read the docs here!