Abstract:In this paper, we establish the global boundedness of oscillatory integral operators on Besov-Lipschitz and Triebel-Lizorkin spaces, with amplitudes in general $S^m_{\rho,\delta}(\mathbb{R}^n)$-classes and non-degenerate phase functions in the class $\textart F^k$. Our results hold for a wide range of parameters $0\leq\rho\leq1$, $0\leq\delta<1$, $0<p\leq\infty$, $0<q\leq\infty$ and $k>0$. We also provide a sufficient condition for the boundedness of operators with amplitudes in the forbidden class $S^m_{1,1}(\mathbb{R}^n)$ in Triebel-Lizorkin spaces.
What problem does this paper attempt to address?
This paper aims to solve the problem of global boundedness of oscillatory integral operators (OIOs) on Besov - Lipschitz spaces \(B^s_{p,q}(\mathbb{R}^n)\) and Triebel - Lizorkin spaces \(F^s_{p,q}(\mathbb{R}^n)\). Specifically, the authors explore the boundedness of oscillatory integral operators with amplitudes in the generalized Hörmander class \(S^m_{\rho,\delta}(\mathbb{R}^n)\) and non - degenerate phase functions \(\phi\), where the phase functions belong to the class \(F_k\) and satisfy the strong non - degeneracy condition (SND). The results of the paper are applicable to a wide range of parameters \(0\leq\rho\leq1, 0\leq\delta < 1, 0 < p\leq\infty, 0 < q\leq\infty\) and \(k > 0\).
In addition, the paper also provides a sufficient condition for proving the boundedness of operators with "forbidden" amplitudes \(S^m_{1,1}(\mathbb{R}^n)\) on Triebel - Lizorkin spaces.
### Main contributions of the paper:
1. **Amplitudes in the generalized Hörmander class**: The global boundedness of oscillatory integral operators with amplitudes in the generalized Hörmander class on Besov - Lipschitz and Triebel - Lizorkin spaces is studied.
2. **Non - degenerate phase functions**: The case where the non - degenerate phase function \(\phi\) belongs to the class \(F_k\) is considered, and such phase functions often appear in partial differential equations.
3. **Wide range of parameters**: The results are applicable to a wide range of parameters, including \(0\leq\rho\leq1, 0\leq\delta < 1, 0 < p\leq\infty, 0 < q\leq\infty\) and \(k > 0\).
4. **Boundedness of forbidden amplitudes**: A sufficient condition for proving the boundedness of oscillatory integral operators with "forbidden" amplitudes \(S^m_{1,1}(\mathbb{R}^n)\) on Triebel - Lizorkin spaces is provided.
### Structure of the paper:
- **Section 1: Introduction**: The research background and motivation, as well as the main results of the paper, are introduced.
- **Section 2: Preliminaries**: The basic concepts and related definitions of oscillatory integral operators, as well as the background knowledge of classical function spaces, are provided.
- **Section 3: Basic kernel estimates**: Through frequency - space decomposition and complex kernel estimates, the boundedness of oscillatory integral operators on Besov - Lipschitz spaces is established.
- **Section 4: \(L^2\) boundedness**: Using the continuous version of the almost orthogonality method and the Cotlar - Stein lemma, the global \(L^2\) boundedness of oscillatory integral operators is proved.
- **Section 5: Estimates from \(h^p\) to \(L^p\)**: The boundedness of oscillatory integral operators from \(h^p\) spaces to \(L^p\) spaces is discussed.
- **Section 6 and Section 7: Transfer to Triebel - Lizorkin spaces**: The results of Hardy spaces are transferred to Triebel - Lizorkin spaces, dealing with the cases of \(0 < p < 1\) and \(p > 2\) respectively.
- **Section 8: Triebel - Lizorkin estimates**: The main results regarding the forbidden amplitudes are included.
- **Section 9: Besov - Lipschitz estimates**: The boundedness of oscillatory integral operators on Besov - Lipschitz spaces is proved.
### Conclusion:
Through detailed theoretical analysis and complex estimates, this paper successfully extends the boundedness results of oscillatory integral operators on Besov - Lipschitz and Triebel - Lizorkin spaces, and especially makes significant progress in dealing with the case of "forbidden" amplitudes. These results are important for understanding partial differential equations.