Morrey's inequality ($|u(x)-u(y)|\le C_{d,p}|x-y{|}^{1-d/p}\Vert \nabla u{\Vert }_{L^p}$)

For $d<p<\infty$, every Sobolev space element $u\in W^{1,p}({\mathbb{R}}^d)$ has a Hölder continuous function representative of exponent $1-d/p$, with the displayed bound. It also satisfies $\Vert u{\Vert }_{\infty }\le C_{d,p}(\Vert u{\Vert }_p+\Vert \nabla u{\Vert }_p)$. Averaging the fundamental theorem of calculus along a line segment over a ball givesThe Holder inequality bounds this by $C_{d,p}{r}^{1-d/p}\Vert \nabla u{\Vert }_p$, because $(d-1)p^{\prime }<d$. To compare two ball averages, translate a ball along the segment between their centres and use the same fundamental theorem of calculus along a line segment. These bounds give the displayed estimate. Density of smooth functions in a Sobolev space supplies the representative for nonsmooth $u$. For $p=\infty$, the corresponding conclusion is Lipschitz continuity.