Scalar oscillatory integrals in smooth spaces of homogeneous type (Q2340465)

Let \(\Omega\) be a tolopogical space equipped with a Borel measure of smooth density \(\mu\). There are many problems in mathematical analysis involving the issue of estimating oscillatory integrals of the form \[ \int_{\Omega}e^{if}\psi\,d\mu \] (here, the phase \(f\) is a real-valued function and the amplitude \(\psi\) is supported on a set of finite measure), and a lot of effort has been carried out to understanding these integrals. The main result of this paper is a uniform estimate for scalar oscillatory integrals in terms of a non oscillatory quantity of geometric nature. The author generalizes an earlier work by \textit{J. Bruna} et al. [Ann. Math. (2) 127, No. 2, 333--365 (1988; Zbl 0666.42010)] in which the authors estimated the Fourier transform of smooth convex surfaces of finite type in terms of volumes of ``caps''. In this regard, these assumptions on convexity and finite type are relaxed, and new Fourier decay estimates are allowed for new surfaces. The key idea is a generalization of the notion of spaces of homogeneous type in which new smoothness hypotheses are added. To state the result, we need a bit of notation. Take some open \(\Omega_0\subset \Omega\). For \(x\in \Omega_0\) and \(j\in \mathbb{Z}^d\), let \(B_j(x)\) be a ball (roughly, a set containing \(x\), where \(j\) is the scale). We assume that the hypotheses of the generalized spaces of homogeneous type are satisfied. Assume also that there is a homeomorphism \(\Phi_{j,x}: \mathbb{B}\to B_j(x)\) mapping \(0\) to \(x\), where \(\mathbb{B}\) is the open Euclidean unit ball. Let \(m\geq 2\), and define \[ |d_x^kf|_j:=\sup_{1<|\alpha|\leq k}\big|\partial_t^{\alpha}[f\circ \Phi_{j,x}(t)]|_{t=0}\big|, \quad \text{for any } k=1,\ldots,m \] where \(\alpha\) ranges over all multiindices in \(\mathbb{Z}^d\) such that \(|\alpha|:=\|\alpha\|_{\ell^{\infty}}\) is at most \(m\). Fix any \(\varepsilon\in (0,1)\) and let \(R\) be the scale function. Then, under certain conditions on \(|d_x^kf|_{R(x)}\), one has the uniform estimate \[ \Big|\int_{\Omega_0}e^{if}\psi\,d\mu\Big|\lesssim \int_{\Omega_0}\frac{\sum_{k=0}^{m-1} \varepsilon^k|d_x^k\psi|_{R(x)}}{(1+\varepsilon|d_x^1f|_{R(x)})^{m-1}}\,\mu(x). \] Moreover, it is shown that the hypotheses of the generalized spaces of homogeneous type are satisfied in Carnot-Carathéodory geometries. In this way, the framework built up in the present work is essentially the same as in [\textit{B. Street}, Rev. Mat. Iberoam. 27, No. 2, 645--732 (2011; Zbl 1222.53036)].