Let $U$ be bounded connected, open subset of $\mathbb R^n$ with $C^1$ boundary. Let $q=\frac{pn}{n-p}$. Prove the following Poincare inequality for $u \in W^{1,p}(U)$:
$$\|u- (u)_U\|_{L^q(U)}\leq C \|Du\|_{L^p(U)}.$$
My idea: I read the Poincare inequality proof in Evan's book, that said $\|u- (u)_U\|_{L^p(U)}\leq C \|Du\|_{L^p(U)}$ for each function $u \in W^{1,p}(U)$.
I used the general embedding theorem, according to this embedding if $u \in W^{1,p}(U)$, then $u \in L^q(U)$ under some conditions.
Now I am little confuse to connect these two result to make conclusion.
Can anyone suggest, how do I connect both result to solve the given inequality?
You know $W^{1,p} \hookrightarrow L^q$, i.e., $\|u\|_{L^q} \leq \tilde C \|u\|_{W^{1,p}}=\tilde C (\|u\|_{L^p}^p+\|Du\|_{L^p}^p)^{1/p}$. Hence we conclude
$$\begin{aligned}\|u-(u)_U\|_{L^q} &\leq \tilde C(\|u-(u)_U\|_{L^p}^p+\|Du\|_{L^p}^p)^{1/p} \\ &\leq \tilde C(C^p\|Du\|_{L^p}^p+\|Du\|_{L^p}^p)^{1/p} \\ &=\tilde C (C^p+1)^{1/p} \|Du\|_{L^p}. \end{aligned}$$