Propagation of singularities for non-real pseudo-differential operators (Q1343315)

Soit \(P(x, \lambda^{-1}, D, \lambda)\) (\(\lambda\) assez grand) un opérateur pseudo-différentiel associé par la quantification de Weyl au symbole \(p(x, \xi, \lambda)= p_1(n, \xi)+ ip_2(x, \xi)+ \lambda^{- 1} p_0(n, \xi, \lambda)\), où \(p_1\) et \(p_2\) sont réels, \(p_2\geq 0\) et \(p_0\) un symbole d'ordre zéro. On suppose, en particulier, que sur l'ensemble \(N\) des caractéristiques doubles de \(P_1\), la dimension de l'espace engendré par les vecteurs propres généralisés associés aux valeurs propres dont les parties imaginaires sont positives est constante et que \(\text{Im } p_0> 0\). Pour certains ouverts \(W\subset T^* \mathbb{R}^n\) on définit l'ensemble de propagation \(C(\overline W)\). Le résultat principal du papier est le suivant: soit \(u(x, \lambda)\) une famille bornée de distributions tempérées et \(OF(u)\) son front d'ondes oscillant. Si \(OF(P_u)\cap \overline W= \emptyset\) et \(C(\overline W)(\rho)\cap \partial W\cap OF(u)= \emptyset\), alors \(\rho\not\in OF(u)\). En particulier, si \(\rho(x, 0)\) est un opérateur pseudo-différentiel usuel sous les mêmes hypothèses, on a la propriété ci-dessus avec \(WF(u)\) à la place de \(OF(u)\). De cette façon on étend les résultats de \textit{B. Lascar} et \textit{J. Sjöstrand} [Commun. Partial Differ. Equations 10, 467-523 (1985; Zbl 0589.58031)] aux opérateurs pseudo-différentiels non-réels. Les démonstrations sont basées sur des estimations \(L^r\) des solutions de l'équation de Schrödinger \((D_t+ P_1)_{u= 0}\), où on utilise une analyse de la structure microlocale d'un paramétrix.