The Cauchy problem for effectively hyperbolic operators (Q796760)

L'A. introduit et étudie une classe \(\psi^ m_{cl}(X)\) d'opérateurs pseudo-différentiels P de symbol principal \(p\in C^{\infty}(T^*X\backslash 0)\) sur une variété X qu'il dénomme effectivement hyperboliques et qui généralisent les opérateurs différentiels effectivement hyperboliques [cf. \textit{V. Ivrij} et \textit{V. Petkov}, Usp. Mat. Nauk. 29, No.5(179), 3-70 (1974; Zbl 0312.35049)]. Le résultat principal est le théorème: Si \(p\in \psi^ m_{cl}(X)\) est effectivement hyperbolique dans W alors pour tout \(u\in C^{-\infty}(X)\), \(WF(u)\cap W\backslash(WF(Pu))\) est une réunion de rayons maximaux dans \(W\backslash WF(P(u))\). A partir de ce résultat l'A. peut répondre partiellement à une conjecture de Ivrij-Petkov, plus précisement il montre que si \(P\in Diff^ m(X)\) est effectivement hyperbolique [et si il existe \(t\in C^{\infty}(X)\) tel que P soit faiblement t-hyperbolique, P n'a pas de points radiaux, et si pour \(\forall \rho \in \Sigma(p)\backslash \Sigma(p_ 1)\) l'application de Hamilton a une valeur propre réelle non-nulle, alors P est effectivement hyperbolique sur \(T^*X\backslash 0]\) alors, \(\forall \bar x\in X\) possède un voisinage \(A\subset X\) tel que en notant \(A_{\pm}=\{\lambda \in A\), \(\pm t(x)>0\}\), P est un isomorphisme de \(\{f\in C^{\infty}(A)\), \(\sup p(f)\subset A_{\pm}\}\) sur \(\{f\in C^{-\infty}(A)\), \(\sup p(f)\subset A_{\pm}\}\) modulo des noyaux et conoyaux de dimensions finies. Pour cela on étudie la structure microlocale des opérateurs pseudodifférentiels effectivement hyperboliques, et on montre qu'un tel opérateur à symbole principal réel \(p\) peut être réduit microlocalement à une forme sur laquelle les conditions imposées sont assez évidentes. Ceci d'ailleurs s'obtient en utilisant le théorème de préparation différentiable. On passe ensuite aux estimations d'énergie, pour lesquelles on utilise l'inégalité stricte de Gårding. Enfin, au {\S}4, afin de pourvoir utiliser les estimations obtenues, on fait une étude qualitative de rayons, ce qui finalement permet d'obtenir le théorème de propagation des singularités. Le résultat concernant le problème de Cauchy est prouvé au dernier paragraphe.