2
$\begingroup$

Let the weighted sobolev space $M^p_{s,\delta}$ be the completion of $C_0^\infty(\mathbb{R}^n)$ in the norm \begin{equation} \sum_{\left\vert\alpha\right\vert\leq s}\left\Vert(1+\left\vert x\right\vert^2)^{(\delta+\left\vert\alpha\right\vert)/2}D^\alpha \varPhi\right\Vert_{L^p}. \end{equation} In dimension $4$ one can state that if $p>1,\delta\in(-\frac{4}{p},\frac{4}{p})$ and we pose $L^p_\delta=M^p_{0,\delta}$ then we have that the operator $\Delta^2$ is an isomorphism from $M^p_{4,\delta}$ into $\Lambda$, where \begin{equation} \Lambda=\left\{f\in L^p_{4+\delta},\int_{\mathbb{R}^4}f\, dx=0\right\}. \end{equation} More precisely, if $p>1,\delta>-\frac{4}{p}$ and $s>\frac{4}{p}$, then $M^p_{s,\delta}$ is compactly embedded in $C_0(\mathbb{R}^4)$.

Question: does anyone know how to prove the compactness of the embedding? Does this result hold also in higher dimension? Thanks

$\endgroup$
2
  • $\begingroup$ How do you prove the embedding itself? $\endgroup$
    – timur
    Sep 3, 2013 at 13:56
  • $\begingroup$ Could you add references for your statements? It helps. $\endgroup$ Sep 3, 2013 at 14:28

1 Answer 1

2
$\begingroup$

Let $B_R\subset\mathbb{R}^n$ denote the $n$-dimensional open ball of radius $R$, centred at the origin. Then we have $$ \|\partial^\alpha u\|_{L^p(B_R)} \leq \max\{1,R^{-\delta-s}\} \|\langle x\rangle^{\delta+s}\partial^\alpha u\|_{L^p(\mathbb{R}^n)} \qquad\textrm{for}\quad |\alpha|=s, $$ and $$ \|u\|_{L^p(B_R)} \leq \max\{1,R^{-\delta}\}\|\langle x\rangle^{\delta}u\|_{L^p(\mathbb{R}^n)}, $$ where $\langle x\rangle=\sqrt{1+x^2}$. Hence, for any $R>0$, the restriction to $B_R$ of any $u\in M^p_{s,\delta}$ is in $W^{s,p}(B_R)$. In other words, the restriction map $J_R:u\mapsto u|_{B_R}$ is well defined and bounded as a map $J_R:M^p_{s,\delta}\to W^{s,p}(B_R)$. By the embedding result for the usual Sobolev spaces, this implies that $M^p_{s,\delta}\subset C(\mathbb{R}^n)$ for $s>\frac np$. Moreover, by a simple scaling argument it is easy to see that $$ \|u\|_{L^\infty(A_R)} \leq c \left(R^{-n/p}\|u\|_{L^{p}(A_R)} + R^{s-n/p}|u|_{W^{s,p}(A_R)}\right), $$ for $s>\frac np$, where $A_R=B_{2R}\setminus \overline{B}_R$ is an annulus. On $A_R$ with $R>1$, we have $\langle x\rangle\sim R$, which implies that $$ \|u\|_{L^{p}(A_R)} \leq c R^{-\delta}\|u\|_{M^p_{s,\delta}}, \qquad\textrm{and}\qquad |u|_{W^{s,p}(A_R)} \leq c R^{-\delta-s}\|u\|_{M^p_{s,\delta}}, $$ for $R>1$, and thus $$ \|u\|_{L^\infty(A_R)} \leq c R^{-\delta-n/p}\|u\|_{M^p_{s,\delta}}. \qquad\qquad(*) $$ It shows that if $u\in M^p_{s,\delta}$ with $s>\frac np$ and $\delta>-\frac np$, then $|u(x)|\to0$ uniformly as $x\to\infty$. In particular, we have the continuous embedding $M^p_{s,\delta}\hookrightarrow C_0(\mathbb{R}^n)$.

Let us now discuss the compactness of $M^p_{s,\delta}\hookrightarrow C_0(\mathbb{R}^n)$. By the Rellich-Kondrashov theorem, the restriction map $J_R:M^p_{s,\delta}\to C_b(B_R)$ is compact, with $C_b(B_R)$ denoting the bounded continuous functions on $B_R$ equipped with the uniform norm. Let $\{u_k\}$ be a bounded sequence in $M^p_{s,\delta}$. Then we can extract a subsequence $$ u_{11},\ldots,u_{1m},\ldots, $$ such that $\|u_{1m}-u_{1m'}\|_{L^\infty(B_1)}\to0$ as $m,m'\to\infty$. From this subsequence, we can further extract a subsequence $$ u_{21},\ldots,u_{2m},\ldots, $$ such that $\|u_{2m}-u_{2m'}\|_{L^\infty(B_2)}\to0$ as $m,m'\to\infty$. We repeat this process to get the doubly-infinite sequence $$ \begin{split} u_{11},&\ldots,u_{1m},\ldots,\\ \ldots&\ldots \ldots\\ u_{j1},&\ldots,u_{jm},\ldots,\\ \ldots&\ldots \ldots \end{split} \qquad\qquad(**) $$ which has the property that $\|u_{jm}-u_{jm'}\|_{L^\infty(B_j)}\to0$ as $m,m'\to\infty$. Now as usual, we look at the diagonal $\{u_{jj}\}$. Let $\varepsilon>0$ be given. Then we choose (an integer) $R$ so large that $$ \|u_k\|_{L^\infty(\mathbb{R}^n\setminus B_R)}\leq\varepsilon, $$ for all $k$. This is possible because of the uniform decay $(*)$. Hence $$ \|u_{jj}-u_{mm}\|_{L^\infty(\mathbb{R}^n)} \leq \|u_{jj}-u_{mm}\|_{L^\infty(B_R)} + \|u_{jj}-u_{mm}\|_{L^\infty(\mathbb{R}^n\setminus B_R)} \leq \|u_{jj}-u_{mm}\|_{L^\infty(B_R)} + 2\varepsilon. $$ If $j\geq R$ and $m\geq R$ then both $u_{jj}$ and $u_{mm}$ are elements of the $R$-th row of $(**)$, and since this row is a Cauchy sequence in $L^\infty(B_R)$, we conclude that $\{u_{jj}\}$ is Cauchy in $L^\infty(\mathbb{R}^n)$.

$\endgroup$
3
  • $\begingroup$ Thank you, this seems to work. Can I ask you for some references on this topic? $\endgroup$
    – gin111
    Sep 4, 2013 at 10:18
  • $\begingroup$ @gin111: I don't know any references on weighted spaces, but I know references on Sobolev spaces, such as Adams and Triebel. $\endgroup$
    – timur
    Sep 4, 2013 at 13:08
  • $\begingroup$ @gin111: Please consider accepting this answer if you think it was helpful. $\endgroup$
    – timur
    Aug 27, 2014 at 17:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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