Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-105/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 105 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Let tend to in the Sobolev space , using density of smooth functions in a Sobolev space. Write . Applying the Morrey inequality on a cube to a unit cube centered at , and bounding its average by the Holder inequality, givesfor every smooth . Hence is a Cauchy sequence in the supremum norm and has a bounded continuous limit by uniform convergence. On every finite-measure cube, this limit is also the limit, so almost everywhere.
For , choose , so that . The second estimate from part (a), followed by passage to the limit, givesThus is a Hölder continuous function andIt is the unique continuous representative: two continuous functions agreeing almost everywhere agree everywhere.
For , take a smooth cutoff function equal to one near zero and setIts weak derivative has size near zero, whose th power is integrable because . Thus , but it is essentially unbounded in every neighborhood of zero and has no continuous representative. The value assigned at zero is irrelevant.
New to topics? Read the docs here!