Convergence in fractional Sobolev spaces Consider the space $H^s=H^s(\mathbb{R}^N)$, where $0&lts&lt1$. 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| &lt R/2$ and $|\nabla \varphi| \leq C/R$. Is it true that $$\lim_{R \to +\infty} \|u-\varphi u\|_{H^s}=0?$$
 A: 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}&lt \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 &lt 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$.
