Remarks on lower bounds for pseudo-differential operators (Q1887189)

The authors obtain lower bounds for classical properly supported and formally self-adjoint pseudodifferential operators with multiple characteristics, real Weyl symbol and a positive principal symbol which vanishes to exact even order \(k\geq 2\) on the smooth characteristic manifold \(\Sigma\). Under an additional positivity assumption on the \(J\)th Taylor polynomial of the sub-principal symbol restricted to \(\Sigma\), for \(0\leq J\leq k/2 -1\), a lower bound with gain of \(k/(k-J-1)\) derivatives is obtained by means of the Fefferman-Phong inequality.