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

Choose a nonnegative mollifier $\rho \in C_c^{\infty }({\mathbb{R}}^3)$ with $\int \rho =1$, and put ${\rho }_{\epsilon }(x)={\epsilon }^{-3}\rho (x/\epsilon )$. Sobolev approximation by mollifiers in the Sobolev space under consideration statesIn particular, it gives density of smooth functions in a Sobolev space. We prove convergence of both the function and all its first weak derivatives.

The usual smoothing properties of convolution give $u_{\epsilon }\in C^{\infty }$. For a test function $\varphi \in C_c^{\infty }({\mathbb{R}}^3)$ and $i\in \{1,2,3\}$, Fubini's theorem and the definition of a weak derivative giveThe integrals are absolutely convergent: the compact supports of ${\rho }_{\epsilon }$ and $\varphi$ restrict $y$ to a compact set, on which $u$ and ${\partial }_{i}u$ are integrable by Holder inequality. ConsequentlyThe approximate identity theorem in the Lp space $L^6$ applies separately to $u$ and ${\partial }_{i}u$. ThusEach convolution belongs to $L^6$ by Young's convolution inequality. With the componentwise Sobolev norm, the sixth power of the required difference is the sum of these four sixth powers, proving the boxed claim. Any equivalent Sobolev norm gives the same convergence.

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.