Sobolev conjugate

The Sobolev conjugate of p for $1\le p<n$, where n is space dimensionality, is

$p^{\ast }=\frac{pn}{n-p}>p$

This is an important parameter in the Sobolev inequalities.

Motivation

A question arises whether u from the Sobolev space $W^{1,p}({ℝ}^n)$ belongs to $L^q({ℝ}^n)$ for some q > p. More specifically, when does $\Vert Du{\Vert }_{L^p({ℝ}^n)}$ control $\Vert u{\Vert }_{L^q({ℝ}^n)}$? It is easy to check that the following inequality

$\Vert u{\Vert }_{L^q({ℝ}^n)}\le C(p,q)\Vert Du{\Vert }_{L^p({ℝ}^n)}(\ast )$

can not be true for arbitrary q. Consider $u(x)\in C_c^{\mathrm{\infty }}({ℝ}^n)$, infinitely differentiable function with compact support. Introduce $u_{\lambda }(x):=u(\lambda x)$. We have that:

$\begin{array}{cc}\Vert u_{\lambda }{\Vert }_{L^q({ℝ}^n)}^q& ={\int }_{{ℝ}^n}|u(\lambda x){|}^{q}dx=\frac{1}{{\lambda }^n}{\int }_{{ℝ}^n}|u(y){|}^{q}dy={\lambda }^{-n}\Vert u{\Vert }_{L^q({ℝ}^n)}^q\\ \Vert D{u}_{\lambda }{\Vert }_{L^p({ℝ}^n)}^p& ={\int }_{{ℝ}^n}|\lambda Du(\lambda x){|}^{p}dx=\frac{{\lambda }^p}{{\lambda }^n}{\int }_{{ℝ}^n}|Du(y){|}^{p}dy={\lambda }^{p-n}\Vert Du{\Vert }_{L^p({ℝ}^n)}^p\end{array}$

The inequality (*) for $u_{\lambda }$ results in the following inequality for $u$

$\Vert u{\Vert }_{L^q({ℝ}^n)}\le {\lambda }^{1-\frac{n}{p}+\frac{n}{q}}C(p,q)\Vert Du{\Vert }_{L^p({ℝ}^n)}$

If $1-\frac{n}{p}+\frac{n}{q}\ne 0,$ then by letting $\lambda$ going to zero or infinity we obtain a contradiction. Thus the inequality (*) could only be true for

$q=\frac{pn}{n-p}$,

which is the Sobolev conjugate.

See also

• Sergei Lvovich Sobolev
• conjugate index

References

• Lawrence C. Evans. Partial differential equations. Graduate Studies in Mathematics, Vol 19. American Mathematical Society. 1998. Template:ISBN