Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-5/3/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 5 3 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Reflect across the two endpoints of into a slightly larger interval, giving an extension, and multiply by a smooth cutoff function equal to one near . Convolve the resulting function on with a mollifier. The convolutions are smooth; differentiation commutes with convolution of the weak derivative. Continuity of translations in proves both and in , hence convergence in the Sobolev norm.
To obtain convergence almost everywhere, select a sequence with . Then , so the summands tend to zero almost everywhere. Thus a smooth approximating sequence converges both in and almost everywhere. This is density of smooth functions in a Sobolev space; smooth functions need not vanish at the endpoints.
New to topics? Read the docs here!