Polynomial Fourier decay for fractal measures and their pushforwards

Abstract

We prove that the pushforwards of a very general class of fractal measures $\mu$ on ${\mathbb{R}}^d$ under a large family of non-linear maps $F:{\mathbb{R}}^d\to \mathbb{R}$ exhibit polynomial Fourier decay: there exist $C,\eta >0$ such that $|\widehat{F\mu }(\xi )|\le C|\xi {|}^{-\eta }$ for all $\xi \ne 0$. Using this, we prove that if $\Phi =\{{\phi }_a:[0,1]\to [0,1]{\}}_{a\in \mathcal{A}}$ is an iterated function system consisting of analytic contractions, and there exists $a\in \mathcal{A}$ such that ${\phi }_a$ is not an affine map, then every non-atomic self-conformal measure for $\Phi$ has polynomial Fourier decay; this result was obtained simultaneously by Algom, Rodriguez Hertz, and Wang. We prove applications related to the Fourier uniqueness problem, Fractal Uncertainty Principles, Fourier restriction estimates, and quantitative equidistribution properties of numbers in fractal sets.

arXiv comment53 pages, 1 figure. v2 has several clarifications and changes to structure and numbering; main results are unchanged. To appear in Mathematische Annalen

References in corpus (12)

• Spectral gaps without the pressure condition
• Equidistribution from Fractals
• Control of eigenfunctions on surfaces of variable curvature
• Spectral gaps, additive energy, and a fractal uncertainty principle
• Uniformly Hyperbolic Finite-Valued SL(2,R)-Cocycles
• Semiclassical measures on hyperbolic surfaces have full support
• Fourier dimension and spectral gaps for hyperbolic surfaces
• An introduction to fractal uncertainty principle
• Fourier transform of self-affine measures
• Absolute continuity of non-homogeneous self-similar measures
• $L^q$ dimensions and projections of random measures
• Conditional mixing in deterministic chaos

Cited by in corpus (1)

• Disintegration results for fractal measures and applications to Diophantine approximation