Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 105 / 2

In polar coordinates, setaway from the origin, assigning any value at the origin. This is unbounded as $r=\sqrt{x^2+y^2}\downarrow 0$. It belongs to $L^2(U)$ becauseMoreoverand henceThus $u\in H^1(U)$ but $u\notin L^{\infty }(U)$, exhibiting the failure of first-order Sobolev embedding into Linfinity in two dimensions.

The boundedness in the Sobolev space $H^1(U)$ and the weak sequential compactness of bounded sequences in a reflexive Banach space give a subsequence converging weakly to some $u\in H^1(U)$. For each integer $m\ge 2$, the Rellich-Kondrachov compactness theorem makes $H^1(U)\hookrightarrow L^m(U)$ compact because the dimension is two. Repeated extraction followed by the diagonal argument gives one subsequence $u_{n_k}$ converging strongly to $u$ in every $L^m(U)$ with integral $m\ge 2$.

For any finite real $p\ge 1$, choose an integer $m\ge \max \{2,p\}$. Since $U$ has finite measure, the Lp inclusion on a finite measure space givesThe same subsequence therefore works for every finite $p$.

The Holder inequality interpolates between $L^2(U)$ and $L^6(U)$:Taking cube roots and applying the three-dimensional Sobolev inequality $H^1(U)\hookrightarrow L^6(U)$ givesThis is the H1 L3 interpolation inequality in three dimensions.

Linearity in $u$ follows from linearity of the weak derivative and Lebesgue integration. By the Holder inequality, the three-dimensional Sobolev inequality, and the preceding $L^3$ interpolation estimate,Thus $\Phi$ is a linear functional and a continuous linear map on $H^1(U)$.

After passing to a subsequence, weak compactness and the Rellich-Kondrachov compactness theorem giveFor fixed $w\in H^1(U)$, the Sobolev inequality gives $w\in L^6(U)$, soMeanwhile ${\partial }_j{u}_{n_k}\rightharpoonup {\partial }_{j}u$ in $L^2(U)$. Pairing this weak convergence with the strong convergence of the products, or equivalently using the weak-strong product convergence lemma, yields