Calcul exponential des opérateurs microdifférentiels d'ordre infini. II (Q1064639)

Soit \(P\) un opérateur pseudodifférentiel (ou microdifférentiel) tel que \(\exp P\) soit aussi un opérateur pseudodifférentiel. Alors le symbole de \(\exp P\) s'écrit \(\exp q\) avec un symbole \(q\). Pour la réciproque, si \(Q\) est un opérateur à symbole \(\exp q\), il existe un opérateur \(P\) tel que \(Q=\exp P\). Tous ces résultats reposent sur la théorie développée dans la Note I [ibid. 33, No.4, 227-250 (1983; Zbl 0495.58025)]. Comme application, on obtient une condition suffisante d'inversibilité pour les opérateurs pseudodifférentiels d'ordre infini.