Solution

ID: past-exam-of-the-methods-of-applied-functional-analysis-course-of-the-university-of-oxford/2010/a/2/b/ii/solution

Write for the continuous representatives of the weak derivatives. Integrating the preceding identity over gives
The first term converges to because in . For fixed , all segments in the second term lie in a compact set. Continuity of implies uniformly on that set. Hence every has the finite limit
The same argument is uniform for in any fixed compact set: all the segments then lie in a common compact set. Thus locally uniformly, so is continuous; the local convergence also gives almost everywhere.
Passing to the limit in the segment identity, and taking its endpoints to be and , gives
Therefore is differentiable with continuous gradient : . This is the continuous weak gradient gives a C1 representative criterion.

New to topics? Read the docs here!