Semiclassical analysis of a nonlinear eigenvalue problem and non analytic hypoellipticity

We give a semiclassical analysis of a nonlinear eigenvalue problem arising from the study of the failure of analytic hypoellipticity and obtain a general family of hypoelliptic, but not analytic hypoelliptic operators.