We consider an operator being a sum of squares of vector fields. It has
the form,
class="mathmlsrc">class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0001870816000645&_mathId=si1.gif&_user=111111111&_pii=S0001870816000645&_rdoc=1&_issn=00018708&md5=f30b36947b72db6b2eaeaffb1f8de5a7" title="Click to view the MathML source">p,r∈Nclass="mathContainer hidden">class="mathCode">,
class="formula" id="fm0010">
This type of operator is
class="mathmlsrc">class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0001870816000645&_mathId=si3.gif&_user=111111111&_pii=S0001870816000645&_rdoc=1&_issn=00018708&md5=1d6b789af9bddd7fb8fefb8f6fb05976" title="Click to view the MathML source">C∞class="mathContainer hidden">class="mathCode"> hypoelliptic by Hörmander's
theorem,
[18]. Its analytic or Gevrey hypoellipticity has
then been studied by a number of
authors and is relevant in relation to
the Treves conjecture. The Poisson–Treves stratification of
P includes both symplectic and non-symplectic strata.
In this paper we show that P is Gevrey class="mathmlsrc">class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0001870816000645&_mathId=si4.gif&_user=111111111&_pii=S0001870816000645&_rdoc=1&_issn=00018708&md5=8e9d46440d8eb36254f688e3880626bd" title="Click to view the MathML source">(p+r)/pclass="mathContainer hidden">class="mathCode"> hypoelliptic, by constructing a parametrix whose symbol belongs to some exotic classes. One can also show that this number is optimal.