Analytic Hypoellipticity for Sums of Squares and the Treves Conjecture

2016/05/12 by Albano, Paolo, Bove, Antonio, Mughetti, Marco
#Analysis of PDEs (math.AP) #FOS: Mathematics

paper · doi:10.48550/arxiv.1605.03801

Abstract

We are concerned with the problem of real analytic regularity of the solutions of sums of squares with real analytic coefficients. Treves conjecture states that an operator of this type is analytic hypoelliptic if and only if all the strata in the Poisson-Treves stratification are symplectic. We produce a model operator, P₁ , having a single symplectic stratum and prove that it is Gevrey s₀ hypoelliptic and not better. See Theorem \refth:1 for a definition of s₀ . We also show that this phenomenon has a microlocal character. We point out explicitly that this is a counterexample to the sufficient part of Treves conjecture and not to the necessary part, which is still an open problem.

Related

• Analytic Hypoellipticity at Non-Symplectic Poisson-Treves Strata for Sums of Squares of Vector Fields
• (Semi-)Global Analytic Hypoellipticity for a class of "sums of squares" which fail to be locally analytic hypoelliptic
• Some remarks on Trèves' conjecture
• Kirillov theory, Treves strata, Schrodinger equations and analytic hypoellipticity of sums of squares
• Analytic and Gevrey Hypoellipticity for Perturbed Sums of Squares Operators