Sobolev inequality

For , define the Sobolev conjugate of $p$ as

$$p^{*}:=\frac{np}{n-p}.$$

Note that $-n/p^{*}=1-n/p$.

In the following statement $\nabla$ represent the weak derivative and $W^{1,p}(\mathrm{\Omega })$is the Sobolev space of functions $u\in L^p(\mathrm{\Omega })$ whose weak derivative $\nabla u$ is itself in $L^p(\mathrm{\Omega })$.

Theorem 1

Assume that $p\mathrm{\in }\mathrm{[}\mathrm{1}\mathrm{,}n\mathrm{)}$ and let $\mathrm{\Omega }$ be a bounded, open subset of ${\mathrm{R}}^n$with Lipschitz boundary.Then there is a constant $C\mathrm{>}\mathrm{0}$ such that, for all $u\mathrm{\in }{W}^{\mathrm{1}\mathrm{,}p}\mathit{}\mathrm{(}\mathrm{\Omega }\mathrm{)}$ one has

$${\parallel u\parallel }_{L^{p^{*}}(\mathrm{\Omega })}\le C{\parallel \nabla u\parallel }_{L^p(\mathrm{\Omega })}.$$

We can restate the previous Theorem by saying that the Sobolev space $W^{1,p}(\mathrm{\Omega })$ is a subspace of the Lebesgue space $L^{p^{*}}(\mathrm{\Omega })$ and that the inclusion map $i:W^{1,p}(\mathrm{\Omega })\to L^{q^{*}}(\mathrm{\Omega })$ is continuous.

Title	Sobolev inequality
Canonical name	SobolevInequality
Date of creation	2013-03-22 15:05:14
Last modified on	2013-03-22 15:05:14
Owner	paolini (1187)
Last modified by	paolini (1187)
Numerical id	10
Author	paolini (1187)
Entry type	Theorem
Classification	msc 46E35
Synonym	Sobolev embedding
Synonym	sobolev immersion
Synonym	Gagliardo Nirenberg inequality
Related topic	LpSpace
Defines	Sobolev conjugate
Defines	Sobolev exponent