Partitions of flat one-variate functions and a Fourier restriction theorem for related perturbations of the hyperbolic paraboloid (Q2050529)

In this paper the authors consider problems associated to Fourier restriction to hyperbolic hypersurfaces, following upon their previous work found in [\textit{S. Buschenhenke} et al., ``On Fourier restriction for finite-type perturbations of the hyperbolic paraboloid'', Preprint, \url{arXiv:1902.05442}; Proc. Lond. Math. Soc. (3) 120, No. 1, 124--154 (2020; Zbl 1442.42044)]. Given a surface \(S\), one may define the Fourier extension operator \(\mathscr{E}\) by \[\mathscr{E}f(\xi) = \widehat{f d\sigma}(\xi) = \int_S f(x) e^{-i\xi \cdot x} d\sigma(x)\] with \(f \in L^q(S, d\sigma)\). Here \(\xi = (\xi_1, \xi_2, \xi_3) \in \mathbb{R}^3\). The main result in this paper is the following: Assume that \(r > 10/3\) and \(\frac{1}{q\prime} > \frac{2}{r}\), and moreover suppose \(S\) is the graph of the phase function \(\phi(x,y) = xy + h(y)\), where the function \(h\) is smooth and satisfies \[h(0) = h^\prime(0) = h^{\prime\prime}(0) = 0\;.\] Assume further that either the function \(h\) is of finite type at the origin, or flat and such that \(h^{\prime\prime\prime}(t)\) is monotonic. Then if \(\Omega\) is a sufficiently small neighborhood of the origin, \[\left\|\mathscr{E}f\right\|_{L^r(\mathbb{R}^3)} \leq C_{r,q} \left\|f\right\|_{L^q(\Omega)}\] for all \(f \in L^q(\Omega)\).