6
$\begingroup$

How can I see that $S(\mathbb{R}) \subset H^s(\mathbb{R})$, where the former is Schwartz and the latter is Sobolev space ? This should be obvious according to my notes but unfortunately I can't make an argument why this should be true ...

What I know is that for $f \in S(\mathbb{R})$ I have $\hat{f} \in S(\mathbb{R})$ where $\hat{f}$ stands for the Fourier Transform of $f$. Hence for any $k,m = 0,1,2, \dots$ I can find constants $c_{k,m}$ such that \begin{equation} \sup_x |\xi^k\hat{f}^{(m)}(\xi)| \leq c_{k,m} \end{equation} Now I need to make the step to argue that this implies \begin{equation} \int |(1+\xi^2)^{s/2}\hat{f}(\xi)|^2 \,d\xi < \infty \end{equation} but there I am struggeling. I mean it doesn't help that I can write this as \begin{equation} \int |(1+\xi^2)^{s/2}\hat{f}(\xi)|^2 \,d\xi \quad \leq \quad c^2_{0,0} \int |(1+\xi^2)^{s/2}|^2 \,d\xi \end{equation} since the LHS is still to big to be finite. It's also not enough to say \begin{equation} \int |(1+\xi^2)^{s/2}\hat{f}(\xi)|^2 \,d\xi \quad \leq \quad \tilde{c}_{k,0} \int \,d\xi \end{equation} (where $\tilde{c}_{k,0}$ stands for a constand that I obtain by expanding $(1 + \xi^2)^{s/2}$ and then using the property that $\hat{f}$ decays faster than any polynomial.)

There must be more that I can deduce from the fact that $\hat{f} \in S(\mathbb{R})$ but I seem to be blind.

Any hint would be helpful, many thanks!

1 Answers 1

4

It's a standard result that the Schwartz space is stable by Fourier transform (in other word, if $f\in\mathcal S(\mathbb R)$ then $\mathcal Ff\in\mathcal S(\mathbb R))$. We can find a constant $C$ such that $\sup_{x\in\mathbb R}|(1+\xi^2)^{\lfloor s/2\rfloor +3}\mathcal F(f)(x)|\leq C$. So we have $|(1+\xi^2)^{s/2}\mathcal F(f)(x)|\leq (1+\xi^2)^{\lfloor s/2\rfloor +1}\mathcal F(f)(x)\leq C\frac 1{1+x^2},$ which is square-integrable.

In fact, it can we shown that the Schwartz space is dense in $H^s(\mathbb R)$ for all $s$, and so is $\mathcal D(\mathbb R)$.

  • 0
    @DavideGiraudo Why do not write $\xi=x$?2017-01-16