## Compact Embeddings of Sobolev Spaces: A Counterexample Showing The Rellich-Kondrachov Theorem Is Sharp

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and there is a constant $C$, depending only on $p$, $n$, and $U$, such that $$||u||_{L^{p^{*}}(U)} \leq C ||u||_{W^{1,p}(U)}$$ for every $u \in W^{1,p}(U)$ (cf. Theorem 2 in Section 5.6.1 of Partial Differential Equations by Evans).

The Rellich-Kondrachov Compactness Theorem says that $W^{1,p}(U)$ is compactly embedded into $L^{q}(U)$ for every $1 \leq q < p^{*}$. This means two things:

(i) There is a constant $C$, depending only on $p$, $n$, and $U$, such that ```$$
\displaystyle{ ||u||_{L^q(U)}  \leq  C||u||_{W^{1,p}(U)} }
$$``` for every $u \in W^{1,p}(U)$.

(ii) Every bounded sequence $(u_k)$ in $W^{1,p}(U)$ has a subsequence $(u_{k_j})$ that converges in $L^q(U)$.

Is there a standard counterexample that shows we cannot take $q=p^{\ast}$ in the Rellich-Kondrachov Compactness Theorem? In other words, I am asking for a sequence $(u_k)$ that is bounded in the $W^{1,p}(U)$ norm but has no convergent subsequence in ${L^{p^{\ast}}(U)}$. Note that such a sequence would have a subsequence that converges in $L^q(U)$ for every $1 \leq q < p^{\ast}$ but diverges in ${L^{p^{*}}(U)}$.

Thanks.

-

Isn't the name Kondrashev? – timur Mar 8 2012 at 17:49
The Russian is В.И.Кондрашов. Therefore, according with the BGN/PCGN romanization of Russian, the English transliteration should be "Kondrashov". Nevertheless, for some reason, "Rellich-Kondrachov theorem" gets more Google results than  "Rellich-Kondrashov theorem" (small numbers, anyway) – Pietro Majer May 25 at 17:54

## 2 Answers

Yes, there is a standard way. Take any nonzero $u\in W^{1,p}(U)$, with support in a ball, say w.l.o.g $\operatorname{supp}(u)\subset B(0,r)\subset U$, and consider $$u_\epsilon(x):= u\big(\frac{x}{\epsilon}\big)$$ Under this action by dilatations, the $L^q$ norm of $u$ and the $L^{p}$ norm of $\nabla u$ rescale with the same powers exactly for $q=p^*$: $$\|u_ \epsilon\| _ q = \epsilon^{n/q} \|u\|_ q$$ $$\| \nabla u_ \epsilon\|_p = \epsilon^{\frac{n-p}{p}} \|\nabla u\| _ p$$ This means that the normalized family , for all $0 < \epsilon \le 1$,

$$\epsilon ^ { - \frac {n} {p ^ *} } u \Big( \frac{x} {\epsilon} \Big) \ , \ \ \ 0 < \epsilon \le r$$

is bounded in $W^{1,p}$, and has a constant non-zero norm in $L^{p*}$, and of course has no convergent subsequences there for $\epsilon \to 0$, since it converges a.e. to zero. Note also that it converges to $0$ in $L^q$ for all $q < p^*$, as it has to be.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

This question has cropped up in a work of mine.When the p* norm is computed without using the gradient value of the sequence,the Gagliardo-Nirenberg ```default condition' 1-n/p + n/p* = 0 
appears to impose a restriction on the sequence index epsilon,since the sequence index disappears.This has the```effect' that the W^(1,p) bound condition the sequence has to compulsorily verify is ignored and this sounds illogical,specially when the Rellich-Kondrachov theorem tacitly makes use of such a bound in its proof.On the other hand,since the gradient values of the sequence have to be used in integration to verify the W^(1,p) bound and keeping in mind that there is a formula that expresses a C^1 function of compact support in terms of its gradient(this by integration by parts of the fundamental solution of the Laplacian),it is possible to obtain estimates for the p* norm in terms of the L^infinity norm of the defining test function u and what is more,such an estimate involves positive powers of the sequence index epsilon even though the Gagliardo-Nirenberg default condition is used,showing that the sequence actually converges to zero in p* norm! The actual meaning therefore is that the p* norm computations,one without using the gradient of the sequence and the other using the gradient and its implied value in integration,are different and if forcibly compared,leads to the contradiction that u vanishes identically.We have worked out the proof that relies on nontrivial facts such as strong bounds for the Hardy-Littlewood maximal function. It is to be noted further that the condition q < p* is only a sufficient condition to establish the Rellich-Kondrachov theorem by interpolation and there is nothing to support that the theorem can not be established by a procedure that does not require interpolation. In summary,the counter-example seems vacuous,showing that compactness at p* may still be an open problem!

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 45, "mathjax_display_tex": 5, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9123409390449524, "perplexity_flag": "head"}