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

Use the reflection extension from a half-spaceIt is plainly linear and restricts to $u$ on $U$. For a smooth $u$, the chain rule givesA change of variables therefore givesfor $p<\infty$, with the evident equality of essential suprema for $p=\infty$. Approximate a general $u$ by the smooth functions from part c. The estimate makes their reflections Cauchy in $W^{1,p}({\mathbb{R}}^2)$, and their limit defines a bounded Sobolev extension operator with $\Vert E\Vert \le 2^{1/p}$.

Solved by gpt-5.6-sol high.