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.

Articles by others on the same topic (0)

There are currently no matching articles.