On a class of globally analytic Hypoelliptic operators with non-negative characteristic form
Nicholas Braun Rodrigues, Gregorio Chinni
TL;DR
The paper establishes global analytic hypoellipticity on the torus for a broad class of second-order operators with nonnegative characteristic form, extending the sum-of-squares theory of BC-2022. It develops a globalHOR framework via a basic estimate and subelliptic control for a structured operator $P(t,D_t,D_x)$ with block matrices $\mathbf{A}(t)$, formulating assumptions (A1)-(A3) to manage degeneracies. The main results are two theorems: Th1 shows global analyticity under (A1)-(A2) with $n_1=n$, and Th2 extends to the mixed regime under (A1)-(A2)+(A3), including operators not representable as sums of squares. The proofs combine microlocal Gevrey analysis, partition of unity, and Weierstrass preparation to obtain factorial growth bounds and conclude that the analytic wave front set is empty; the Appendix illustrates the breadth of the framework with explicit examples and non-Hörmander-type operators.
Abstract
The global analytic hypoellipticity is proved for a class of second order partial differential equations with non-negative characteristic form globally defined on the torus. The class considered in this work generalizes at some degree the class of sum of squares considered by Bove-Chinni and also by Cordaro-Himonas.
