Birkhoff normal forms for Fourier integral operators II

Abstract

We consider the problem of constructing a microlocal logarithm and a normal form for an elliptic semi-classical Fourier integral operator near a fixed point of the corresponding canonical transformation. In [Ia] the canonical transformation was assumed to be of real hyperbolic type. In [IS] this assumption was relaxed considerably, to what we think are the natural conditions.