Elements of functional calculus and \(L^2\) regularity for some classes of Fourier integral operators (Q819258)

Assume that \(X\), \(Y\) are open sets in \(\mathbb{R}^n\) and let \[ C\subset (T^* X\setminus 0)\times (T^*Y\setminus 0) \] be a homogeneous canonical relation; the class of Fourier integral operators of order \(m\) associated with \(C\) is denoted by \(I^m(X, Y;C)\). \(\pi_L(\pi_R)\) stands for the projection of \(C\) down to the cotangent bundle of \(X(Y)\). The projections in the case considered in this paper fail to be local diffeomorphisms. The author investigates a smooth map \(f: M\to N\) of \(\text{corank\,}1\), \(M\), \(N\) being smooth manifolds, and defines the notion \(f\) to be a map of type \(k\) at \(P\in M\). The singular variety associated to \(f\) is given by: \(\Sigma= \{P\in M:\text{det}(Df)P= 0\}\). Let \(P_0\in C\), \(M= C\), \(f= \pi_L(\pi_R)\) and \(N= T^* X(T^* Y)\). Then, if \(\pi_L\) is of type \(k\) at \(P_0\) the canonical relation \(C\) is said to have type \(k\) singularity on the left at \(P_0\). Similarly one can define the notion of right type \(k\) singularity at \(P_0\). One of the main theorems of this paper can be formulated as follows. Theorem 1.5. Let \(n= 3\), \(F\in I^m(X,Y;C)\) and \(\pi_R: C\to T^*Y\) has at most type \(k\) singularities. Moreover, assume that \(D\pi_R\) drops rank simply on \(\Sigma\). Then \[ \| Ff\|_{L^2_{\alpha,\text{comp}}}(Y)\leq C_\varepsilon\| f\|_{L^2_{\beta,\text{loc}}}(X) \] for \(\beta= \alpha-m-{1\over 2}+{1\over 2k+2}- \varepsilon\), any \(\varepsilon> 0\), \(C_\varepsilon= \text{const}\) depending on \(\varepsilon\).