Propagation des singularités pour des opérateurs pseudo- différentiels à symboles réels. (Propagation of singularities for pseudo-differential operators of real symbols) (Q579533)

Ce travail poursuit l'investigation des propriétés de propagation des singularités pour des o.p.d. à symbole principal réel \(p_ 0\) au voisinage d'un point \(\zeta\) à caractéristique double i-e t.q \(p_ 0(\tau)=dp_ 0(\zeta)=0\). Sous des conditions naturelles liées aux invariants naturellement définis sur \(\Sigma:=\{p_ 0^{-1}(0)\cap dp_ 0^{-1}(0)\}\subset T^*{\mathbb{R}}^ n\) (sous principal, matrice fondamentale, etc.) les auteurs décrivent la propagation des singularités et complètent les résultats antérieurs de \textit{V. Ya. Ivrij} [Tr. Mosk. Mat. O.-va 39, 49-82 (1979; Zbl 0433.35077)], the authors [J. Anal. Math. 41, 1-38 (1982; Zbl 0592.58053)], the first author and \textit{J. Sjöstrand} [Astérisque 95, 167-207 (1982; Zbl 0529.58033) et Commun. Partial Differ. Equations 10, 467-523 (1985; Zbl 0589.58031)]. Parmi les exemples traités citons juste les opérateurs correspondant au modèle: \[ -D^ 2_{x_ 1}+D^ 2_{x_ 2}+D^ 2_{x_ 3}+x^ 2_ 3 D^ 2_{x_ 4}+\lambda D_{x_ 4} \] sous la condition \(\lambda +(2k+1)\neq 0\) pour \(k\in {\mathbb{Z}}\).