# Compactness of Sobolev embedding for domains of finite measure

Let $\Omega \subset \mathbb{R}^d$ be a domain of finite Lebesgue measure, not assumed to be smooth or bounded. Is it true that the embedding of, say, $W^{1,p}_0(\Omega)$ (Sobolev functions with zero boundary value) into $L^q(\Omega)$ is compact for $1/q > 1/p - 1/d$?

-
There are necessary and sufficient conditions on $\Omega$ for the compactness of such embedding. Check Mazy'a's book Sobolev Spaces, Springer Verlag, 2011, Section 5.5.2. –  Liviu Nicolaescu Sep 28 '12 at 20:57
Since you want this only for functions with compact support, the embedding theorem follows directly from the one for functions on $\mathbb{R}^n$. –  Deane Yang Mar 3 '13 at 23:04
@Deane, I am not sure I follow your argument here. There is no compact embedding for functions on $\mathbb{R}^n$. Could you axpand what do you mean here, I am sure I misunderstand something. –  András Bátkai Mar 4 '13 at 9:01
@Andras There is no compact embedding on $\mathbb{R}^N$ but since the functions have zero boundary value they can be extended to a large ball where the embedding will hold, and therefore the restriction to $\Omega$ also embeds into $L^p$ compactly for $p<p^*$, as holds for smooth domains. –  Daniel Spector Mar 4 '13 at 11:40
@Daniel, what disturbs me in this argument is only that the ball depends on the functions. –  András Bátkai Mar 4 '13 at 16:56