10
$\begingroup$

Is there a counterexample of Sobolev Embedding Theorem? More precisely, please help me construct a sobolev function $u\in W^{1,p}(R^n),\,p\in[1,n)$ such that $u\notin L^q(R^n)$, where $q>p^*:=\frac{np}{n-p}$.^-^

$\endgroup$
8
$\begingroup$

Here is how you can do this on the unit ball $\{x | \|x \| \le 1\}$: Set $u(x) = \|x\|^{-\alpha}$. Then $\nabla u$ is easy to find. Now you can compute $\|u\|_{L^q}$ and $\|u\|_{W^{1,p}}$ using polar coordinates. Play around until the $L^q$ norm is infinite while the $W^{1,p}$ norm is still finite.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ To Hans Engler: Thank you for your help! I have done the problem by your hint! By the way, can you give me some hint to construct the corresponding version on the hole space $R^n$ if it is possible. Thanks again! :-) $\endgroup$ – Darry Nov 25 '12 at 2:15
  • $\begingroup$ To Hans Engler: Maybe we need to use Fourier analysis tool to construct the counterexample in a littile sophisticated form. How do you think? $\endgroup$ – Darry Nov 25 '12 at 2:58
  • $\begingroup$ @Darry: Just modify the argument you have. E.g. extend $u$ to all of $\mathbb{R}^n$ by defining it as $u(x) = 2-\|x\|$ for $1 \le \|x \| \le 2$ and $u(x) = 0$ for $\|x \| > 2$. $\endgroup$ – Hans Engler Nov 25 '12 at 14:39
  • $\begingroup$ @ Hans Engler:Thank you! ^-^ $\endgroup$ – Darry Nov 26 '12 at 2:00

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.