# Sobolev embedding

In an exercise I am asked to prove the following statement: The embedding $$T:W^{1,1}(\mathbb{R}^n)\rightarrow L^2(\mathbb{R}^n), u\mapsto u$$ is continuous. Using the Gagliardo-Nierenberg inequality $\|u\|_{W^{1,1}(\mathbb{R}^n)}\geq\|u\|_{L^2(\mathbb{R}^n)}$, $u\in\mathcal{C}^1_c(\mathbb{R}^n)$, I managed to prove this result for the domain $W^{1,1}_0(\mathbb{R}^n)$ where I can approximate by test functions. Does someone know how to approach the general case? Why is the embedding well-defined?

• Your Gagliardo-Nierenberg inequality is definitely in the wrong direction. Furthermore, $W_0^{1,1}(\Bbb{R}^n) = W^{1,1}(\Bbb{R}^n)$. – PhoemueX Oct 24 '15 at 18:41
• Yes, you're right. I've corrected this typo. Thanks! – JohnSmith Oct 24 '15 at 18:42
• Do you mean $W^{1,2}(\mathbb{R}^n)$? $W^{1,1}$ does not embed in $L^2$ for $n>2$. – Jose27 Oct 24 '15 at 19:01
• Yes, I really mean $W^{1,1}$. It is actually an old exam that I use for revision. Ok, then there seems to be a typo on the sheet. – JohnSmith Oct 24 '15 at 19:10

In general, keep in mind that $W^{1,p}=W_0^{1,p}$. (prove it! good exercise). Then the rest is clear.