No label defined (Q4386482)

Let \(X\) be a \({\mathcal C}^\infty\) \(n\)-dimensional manifold without boundary and let \(\Sigma\subset T^*X\setminus 0\) be a \({\mathcal C}^\infty\) conic submanifold. Let \(P= P^*\) be a pseudodifferential operator of \(OPN^{m,k}(X,\Sigma)\), \(m\in\mathbb{R}\), \(k\in\mathbb{N}\) [see \textit{J. Sjöstrand}, Ark. Mat. 12, 85-130 (1974; Zbl 0317.35076), for the definition]. The authors look at the necessary conditions and sufficient conditions concerning \(\Sigma\) and the total symbol \(p\) of \(P\) for the validity of the inequality \[ (Pu,u)\geq - C_K\| u\|^2_{m/2- (k+2)/4},\;u\in{\mathcal C}^\infty_0(K) \] for any compact \(K\subset X\). In particular, for \(k= 2\) \textit{L. L. Hörmander's} inequality [J. Anal. Math. 32, 118-196 (1977; Zbl 0367.35054)] is recovered.