Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ia/paper-3/12b/c/solution
Past exam of the mathematics course of the University of Cambridge 2017 ia Paper 3 12B c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
Let , using real-valued smooth and a fixed bounded region. Differentiation under the integral sign and Green's first identity yieldThe boundary term vanishes because on , and the heat equation gives in . ConsequentlyThe integrand is continuous and nonnegative. Thus at any fixed time, equality is equivalent to everywhere in , also giving there at that time. This proves Dirichlet energy dissipation for the heat equation.
The boundary condition fixes the boundary temperature in time; it is not a zero normal derivative condition. No sign condition on is used. The stated smoothness licenses the time derivative, spatial integration by parts and boundary trace; without that regularity an appropriate weak energy argument would be required.
New to topics? Read the docs here!