2
$\begingroup$

I want to decide whether there is a relation between the Gevrey space $G^s(\mathbb{R}^m)\;(s>1)$ and the schwartz space of rapidly decreasing functions $S(\mathbb{R}^m)$. I know that polynomials are in Gevrey class but no non zero polynomial is in $S$. Thus $G^s$ can not be included in $S$. My difficulty is in the converse case. Thank you for your suggestions.

$\endgroup$
1
  • 2
    $\begingroup$ The map sending a smooth function to its formal taylor series at $0$ is surjective (this is because given $f^{(k)}(0)$ we can make $\|f^{(l)}\|_\infty,l< k$ arbitrary small) ie. $C^\infty_c$ is not included in $G^s$ $\endgroup$
    – reuns
    Dec 23, 2019 at 22:35

1 Answer 1

4
$\begingroup$

The Gevrey space is defined by a regularity condition, which can be summarized by a strong decay of the Fourier transform. A fonction $u$ belongs to $G^s$ if its Fourier transform satisfies for some $\rho>0$ $$ \vert\hat u(\xi)\vert\le C e^{-\rho \vert\xi\vert^{1/s}}. \tag 1$$ The Schwartz space $\mathscr S$ is defined by regularity and decay. As you pointed out, $G^s$ is not included in $\mathscr S$, but the converse is not true either and in fact you do even have $$ \mathscr S\not\subset \cup_{s>0} G^s. $$ To prove this, consider a fonction $f$ defined on $\mathbb R^n$ by $$ f(\xi)= e^{-\bigl(\ln(1+\vert\xi\vert^2)\bigr)^2}. $$ It can be shown that $f$ belongs to the Schwartz space and thus $u=\hat f$ is also in $\mathscr S$. However, obviously $\hat u$ cannot satisfy (1) for any $s>0$.

It is also interesting to note that for $s>1$, $G^s$ contains some smooth compactly supported functions, which is not the case for $s\le 1$.

$\endgroup$
1
  • 1
    $\begingroup$ @ Bazin: Well explained. Thank you! $\endgroup$
    – Jem Y
    Dec 25, 2019 at 5:18

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.