A lower bound for systems with double characteristics (Q816481)

The author considers a system, whose principal symbol is non negative, vanishes exactly to the second order on a symplectic manifold. It is proved that if the lowest eigenvalue of the localized operator is non negative on the characteristic manifold, then an inequality of the following form holds: \( \langle Pu,u \rangle \geq - C_K \| u \| ^2_{(m-3/2)/2}\), for every \(u \in C_0^\infty(K)\). Here \(K\) is a compact set, \(m\) is the order of the operator and the left hand side denotes the scalar product in \( L^2\).