Wave equation for a hypoelliptic operator with double characteristics on an asymptotic manifold and geometric asymptotics (Q2565900)

The authors study \[ P=-D^2_t+Q(x,D_x), \] where \(Q\) is a classical second order pseudo-differential operator on a compact manifold of dimension \(n\), bounded from below, with symplectic characteristic manifold of codimension \(2d\). A precise parametrix is constructed, by improving preceding results of the authors [ibid. 41, 1--38 (1982; Zbl 0592.58053)]. As an application, the authors give an asymptotic formula with sharp remainder for the counting function of the eigenvalues of \(Q(x,D)\), under the assumption \(2d=n\). A general formula with weak remainder, exhibiting a logarithmic term in the case \(2d=n\), was already obtained by \textit{A. Menikoff} and \textit{J. Sjöstrand} [Math. Ann. 235, 55--85 (1978; Zbl 0375.35014)].