Notes on Regularity of Fourier integral operators with symbol in $S^{m}_{0,δ}$

Abstract

Let $T_{a,φ}$ be a Fourier integral operator defined with $a\in S^{m}_{0,δ}(0\leqδ<1)$ and $φ\in Φ^{2}$ satisfying the strong non-degenerate condition. We demonstrate that when the order satisfies $$m\leq-\frac{n}{2}-\frac{n}{p}δ+\frac{n}{p},$$ the operator $T_{a,φ}$ becomes bounded on $L^{p}(\mathbb{R}^n)$ for $2< p<\infty$ and maps $L^{\infty}(\mathbb{R}^n)$ to $BMO(\mathbb{R}^n)$ when $p=\infty$. Furthermore, the derived bound on $m$ is sharp for $L^{p}$ estimates in the case $δ=0$, and for $(L^{\infty},BMO)$ when $0\leqδ<1$.