Polynomial Fourier decay for fractal measures and their pushforwards

Abstract

We prove that the pushforwards of a very general class of fractal measures $\hat{I}¼$ 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,\hat{I}\cdot >0$ such that $|\widehat{F\hat{I}¼}(\hat{I}¾)|\le C|\hat{I}¾{|}^{-\hat{I}\cdot }$ for all $\hat{I}¾\ne 0$. Using this, we prove that if $\hat{I}¦=\{\ddot{I}{†}_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 $\ddot{I}{†}_a$ is not an affine map, then every non-atomic self-conformal measure for $\hat{I}¦$ 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.

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