\(L^ 2\) estimates for Fourier integral operators with complex phase (Q789709)

The author considers Fourier integral operators \(A\in I^ 0(X\times Y,\quad C',\quad \Omega(X\times Y)^{1/2})\) with complex canonical relations C which are not necessarily of graph type. It is shown that every such A is \(L^ 2\) continuous if and only if at every real point of C the projections of real tangents of C to \(T(T^*(X))\) and to \(T(T^*(Y))\) are both injective. The method of proof relies on techniques of almost periodic analytic continuation is developped by \textit{A. Melin} and \textit{J. Sjöstrand} [Lecture Notes Math. 459, 120-223 (174; Zbl 0306.42007 and Commun. Partial Differ. Equations 1, 313-400 (1976; Zbl 0364.35049].