Scalar oscillatory integrals in smooth spaces of homogeneous type

DOI10.4171/RMI/831MaRDI QIDQ2340465zbMATH OpenFDO

Publication date 17 April 2015

Published in Revista Matemática Iberoamericana (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.5774

oscillatory integrals spaces of homogeneous type stationary phase

Set functions and measures on spaces with additional structure (28C99) Asymptotic approximations, asymptotic expansions (steepest descent, etc.) (41A60) Singular and oscillatory integrals (Calderón-Zygmund, etc.) (42B20) Geometries with differentiable structure (51H25)

Abstract: We consider a generalization of the notion of spaces of homogeneous type, inspired by recent work of Street [21] on the multi-parameter Carnot-Caratheodory geometry, which imbues such spaces with differentiability structure. The setting allows one to formulate estimates for scalar oscillatory integrals on these spaces which are uniform and respect the underlying geometry of both the space and the phase function. As a corollary we obtain a generalization of a theorem of Bruna, Nagel, and Wainger [1] on the asymptotic behavior of scalar oscillatory integrals with smooth, convex phase of finite type.

Review text

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)].

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Scalar oscillatory integrals in smooth spaces of homogeneous type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340465)