Past exam of the functional analytic methods for partial differential equations course of the University of Oxford / 2023 / 1 / a / ii

Here Morrey's inequality has Hölder exponent $1-3/6=1/2$. Every $u\in W^{1,6}({\mathbb{R}}^3)$ has a unique continuous representative $u^{\ast }$ such thatWe use the Hölder norm $\Vert f{\Vert }_{C^{0,1/2}}=\Vert f{\Vert }_{\infty }+[f{]}_{C^{0,1/2}}$, where the Hölder seminorm is ${\sup }_{x\ne y}|f(x)-f(y)|/|x-y{|}^{1/2}$. The second bound is the homogeneous form of Morrey's inequality; the first includes control of the values themselves.

Let $u_j={\rho }_{1/j}\ast u$ be the mollifications from (i). They converge to $u$ in the Sobolev norm. Apply the assumed smooth version of Morrey's inequality to the differences $u_j-u_{\ell }$:Thus $(u_j)$ is a Cauchy sequence in the complete Hölder space $C^{0,1/2}({\mathbb{R}}^3)$ and converges there to a function $w$. In particular the convergence is uniform. On every bounded set $K$ of finite volume,Exhausting ${\mathbb{R}}^3$ by balls proves $w=u$ almost everywhere. Set $u^{\ast }=w$. Taking limits in the smooth Hölder norm bound gives the first boxed estimate. For any fixed $x\ne y$, taking limits ingives the second boxed estimate after taking the supremum. Finally, two continuous representatives equal almost everywhere must coincide everywhere, since a nonzero continuous difference would remain nonzero on an open ball of positive volume.