1: \begin{definition}\label{def:Gevrey}

2: 

3: 	Let $s>0$. A function $f$ belongs to the Gevrey class $G^s(\R^d)$, 	

4: 	if there exists an $\epsilon_0>0$ such that

5: 	\begin{align*}

6: 		e^{\epsilon_0 \langle D_v \rangle^{1/s}} f \in L^2(\R^d)\,, \quad  \text{where} \quad \langle D_v \rangle = \left(1+ |D_v|^2 \right)^{1/2}.

7: 	\end{align*}

8: 	and we use the notation $D_v=-\frac{\I}{2\pi} \nabla_v$. Thus, $G^1(\R^d)$ is the space of real analytic functions, and $G^s(\R^d)$ for $s\in(0,1)$ the space of ultra-analytic functions.

9: 	

10: 	Equivalently\footnote{see, for example, Theorem 4 in \cite{LO97}.}, $f\in G^s(\R^d)$ if

11: 	$f\in \mathcal{C}^{\infty}(\R^d)$ and there exists a constant $C>0$ such that for all $k\in\N_0$ one has

12: 	\begin{align*}

13: 		\| D^k f\|_{L^2(\R^d)} \leq C^{k+1} (k!)^s,

14: 	\end{align*}

15: 	where $\| D^k f\|_{L^2}^2 = \sup_{|\beta|=k} \| \partial^{\beta} f\|_{L^2}^2$.

16: \end{definition}

17: