Differentiability almost everywhere of supercritical Sobolev functions

ID: differentiability-almost-everywhere-of-supercritical-sobolev-functions

For , the Hölder continuous function representative of has a classical Fréchet derivative at almost every point, equal to its weak derivative. At a point where the -mean oscillation of tends to zero, apply the Morrey inequality on a cube to . On a cube of side comparable to , its oscillation is at most
The required points have full measure by the Lebesgue differentiation theorem.

New to topics? Read the docs here!