Consider the space $H^s=H^s(\mathbb{R}^N)$, where 0. Take any $u \in H^s$ and any smooth function $\varphi$ such that $\operatorname{supp}\varphi \subset B(0,R)$, for some radius $R>0$. Moreover, $\varphi(x)=1$ if |x| < R/2 and $|\nabla \varphi| \leq C/R$. Is it true that $\lim_{R \to +\infty} \|u-\varphi u\|_{H^s}=0?$
Convergence in fractional Sobolev spaces
-
0You can assume that $\varphi=1$ on $B(0,R/2)$ and $\varphi=0$ outside $B(0,R)$, and that $|\nabla \varphi| \leq 2/R$. – 2012-04-22
1 Answers
Edit: Well, I think I have it mostly.
First, it is true for $s=1$, which is pretty easy to verify.
Now choose $\tilde{u} \in H^1$ (or even $\tilde{u} \in C^\infty_c$) with \| u - \tilde{u} \|_{H^s}< \epsilon. We have by the triangle inequality $\| u - \varphi u \|_{H^s} \le \| u - \tilde{u} \|_{H^s} + \| \tilde{u} - \varphi \tilde{u}\|_{H^s} + \| \varphi \cdot (u-\tilde{u}) \|_{H^s}.$ The first term is at most $\epsilon$. The second term is bounded by $\| \tilde{u} - \varphi\tilde{u}\|_{H^1}$ (since $\| \cdot \|_{H^s} \le \| \cdot \|_{H^r}$ whenever s < r, which is easy to verify), and this goes to 0 as $R \to \infty$.
For the third term, I would like to claim $\|\varphi v\|_{H^s} \le C \|v\|_{H^s}$ whenever $\varphi \in C^\infty_c$, as is the case here (i.e. $v \mapsto \varphi v$ is continuous on $H^s$). Since it is true for $s=0$ and $s=1$, we should be able to invoke some interpolation theorem and get it for all $s \in (0,1)$. But there should be an easy way too, I just don't see it. It's worth noting that by the closed graph theorem, it would suffice to show $\varphi v \in H^s$ whenever $v \in H^s$.
-
0This is something I have been trying to work out since some weeks. I guess that the approach thru Fourier analysis leads nowhere, since this is a local question while Fourier transforms are global. I am trying to see if the (equivalent) approach thru Gagliardo seminorms is more convenient. – 2012-04-23