I would like to ask when the following Sobolev embedding holds true

$$W^{1,2}(\Omega)\subset L^p(\Omega)$$

where $\Omega\subset \mathbb{R}^2$ is any open set and $1 < p < \infty$. All book references concerns the case when the dimension of domain is strictly less or greater than $2$.

Actually, I ask this question because I need the following embedding

$$W^{1,2}(\mathbb{R}^2_+)\subset L^4(\mathbb{R}^2_+)$$ where $\mathbb{R}^2_+$ is the upper half plane.


This is true, yes, you actually have $$ W^{1,2}(\mathbb R_+^2)\subset L^q(\mathbb R_+^2) $$ for any $2\leq q<\infty$.

This is the case of embedding $p=n$.

  • $\begingroup$ In the unbounded case I think you also need $q\geq 2$. $\endgroup$ – Jose27 Feb 22 '15 at 23:21
  • $\begingroup$ @Jose27 Yes you are right $\endgroup$ – spatially Feb 22 '15 at 23:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.