The sharp Gevrey Kotake-Narasimhan theorem with an elementary proof (Q2671289)

In this article, the author is interested in the Gevrey regularity of the Hörmander operators \[P=\sum_{j=1}^{m}X_j^2+X_0+c,\] where the \(X_j\) are real and smooth vector fiels, and where \(c(x)\) is a smooth function, all in the Gevrey class \(G^s\). The operator \(P\) is also assumed to satisfy a subelliptic estimate in an open set \(\Omega_0\): for some \(\varepsilon>0\), there exists a constant \(C\) such that \[\forall v\in C_0^{\infty}(\Omega_0):\Vert v\Vert_{\varepsilon}^2\leq C\left(\vert (Pv,v)\vert+\Vert v\Vert_0^2\right).\] Under all these assumptions, the author proves that \(G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)\) for all \(s\geq1\), that is the Gevrey growth of derivatives of a vector \(u\) for \(P\) as measured by iterates of \(P\) yields Gevrey regularity for \(u\) in a larger Gevrey class dictated by the size of \(\varepsilon\) in the \textit{a priori} estimate.