Propogation Des Singularites pour Des Operateurs dont La Matrice Foundament contient Des Valeurs propres non Purement Imaginaires

L'objectif de ce travail est de prouver un résultat de propagation des singularité pour certains opérateurs pseudo–différentiels dont les caractéristiques doubles sont symplectiques et tels que la seule valeur propre purement imaginaire de la matrice foundamentale soit zéro. Il s'agit du probl´me du croisement symplectique. Lorsque la condimension de la variét´ des caractéeristiques dubles est 2, l'opérateur admet des directions micro–hyperhboliques et aussi des modéles réduits trés simples, ces situations ont été traitées par Hanges et par Oaku dans le cas analytique. La propagation des singularités à laquelle on s'intéresse ici est celle qui dans ce cas là exclut le branchement des singularités, elle exige done une condition discrète sur les valeurs du symbole sous principal. Le cas de la codimension 2 est plus simple puisqui'il correspond à une situation [ugrave] il n'y a pas de résonances.

Il est aussi apparu que ce probléme intervenait dans l'equation de Schrödinger semi–classique voir Helffer–Sjöstrand, la méthode utilisée dans cet article reprenant une idée développée par Menikoff–Sjöstrand utilise des constructions "explicites", la difficulté étant qu'il faut un certain nombre de fois changer le sens d'intégration.

Une autre approche constructive aussi a été utilisée dans Lascar–Sjästrand elle marche dans une situation beaucoup plus générale mais exige une condition trop stricte sur le terme d'ordre inférieur.

Comme un premier pas vers l'extension de ce résultat à des conditions plus larges sur le symbole sous principal, nous avons voulu donner une preuve aussi simple que possible dans le ces des caractéristiques doubles symplectiques. La méthode utilise une estimaton d'énergie; à la différence de notre travail les concaténatios ne donnent pas le résultat et il faut procéder avec plus de soin.