Quaternionic structure and analysis of some Kramers-Fokker-Planck operators

The present article is concerned with global subelliptic estimates for Kramers-Fokker-Planck operators with polynomials of degree less than or equal to two. The constants appearing in those estimates are accurately formulated in terms of the coefficients, especially when those are large.