Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-105/1/b/solution

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, gives
for 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, gives
Thus is a Hölder continuous function and
It 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 set
Its 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!