Can someone kindly confirm that the SchwarzSchwartz space $\mathcal S(\mathbb R^n)$ made of all infinitely-differentiable functions $f:\mathbb R^n \to \mathbb R$ with rapidly decreasing derivatives of all orders is contained in any fractional Sobolev space $H^k(\mathbb R^n)$ ? Thanks in advance.
After all, at least for the case $k=1$, it holds for any $f \in \mathcal S(\mathbb R^n)$ and $m>0$ that
$$ \|f\|_{H^1(\mathbb R^n)}^2 = \int_{\mathbb R^n}Lap(f)(x)\,dx \le C\int_{\mathbb R^n}(1+\|x\|)^{-m}\,dx \le C'\int_0^\infty (1+r)^{-m}r^{n-1}\,dr. $$ Thus, taking $m$ sufficiently larger than $n$, we see that $f \in H^1(\mathbb R^n)$.