Take $u\in W_0^{1,p}(U)$ and extend it by zero outside $U$. The <zero extension of W01> belongs to $W^{1,p}(\mathbb R^n)$ and the <Sobolev inequality> gives
$$
\|u\|_{L^{p^*}(U)}\leq C_S\|Du\|_{L^p(U)}.
$$
Because $U$ has finite measure, the <Holder inequality> gives
$$
\|u\|_{L^p(U)}
\leq |U|^{1/p-1/p^*}\|u\|_{L^{p^*}(U)}
\leq C\|Du\|_{L^p(U)}.
$$
Thus
$$
\|u\|_{W^{1,p}(U)}
\leq C'\|Du\|_{L^p(U)}.
$$
The reverse estimate follows directly from $\|Du\|_{L^p}\leq\|u\|_{W^{1,p}}$. After adjusting constants,
$$
\boxed{C\|Du\|_{L^p(U)}\leq\|u\|_{W^{1,p}(U)}\leq C'\|Du\|_{L^p(U)}}.
$$
This is the <Poincare inequality> on $W_0^{1,p}(U)$.

Solution

Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 105 / 1 / c / ii / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-105/1/c/ii/solution