On the sharpness of Seeger-Sogge-Stein orders (Q1301357)

Let \(T\in I^\mu(X,Y; \Lambda)\) be a Fourier integral operator, where the canonical relation \(\Lambda\) is a local graph and rank \(d\pi_{X\times Y}|_\Lambda\leq 2n-k\), \(1\leq k\leq n\), equal to \(2n-k\) at some point \((n=\dim X=\dim Y\), \(\pi_{X\times Y}\) is the natural projection from \((T^*X\setminus 0)\times(T^*Y\setminus 0)\) to \(X\times Y)\). The author proves that \(T\) is not bounded as a linear operator \(L^p_{\text{comp}}(Y)\to L^p_{\text{loc}}(X)\), if \[ \mu>-(n-k)|1/p-1/2 |,\quad 1<p< \infty. \] For the elliptic operators of small negative orders one shows that by a coordinate change they are equivalent to pseudo-differential operators.