On Gevrey regularity of globally \(C^{\infty}\) hypoelliptic operators (Q1765192): Difference between revisions

The authors prove the following global Gevrey regularity theorem: For \((t, x) \in {\mathbb T}^{m+n}\) let \(P = P(t, D_t, D_x)\) be a linear partial differential operator with coefficients real analytic on \({\mathbb T}^m\). Suppose that \(P\) is globally \(C^\infty\) hypoelliptic in \({\mathbb T}^{m+n}\) and that \((t, x, \tau, 0) \notin WF_s(u)\), where \((t, x) \in {\mathbb T}^{m+n}\), \(\tau \neq 0\). If \(\ker P \subset G^s({\mathbb T}^{m+n})\) then \(u \in G^s({\mathbb T}^{m+n})\). Applications are also given to operators having lower order terms.