Abstract:We develop a unified approach for establishing rates of decay for the Fourier transform of a wide class of dynamically defined measures. Among the key features of the method is the systematic use of the $L^2$-flattening theorem obtained in \cite{Khalil-Mixing}, coupled with non-concentration estimates for the derivatives of the underlying dynamical system. This method yields polylogarithmic Fourier decay for Diophantine self-similar measures, and polynomial decay for Patterson-Sullivan measures of convex cocompact hyperbolic manifolds, Gibbs measures associated to non-integrable $C^2$ conformal systems, as well as stationary measures for carpet-like non-conformal iterated function systems. Applications include essential spectral gaps on convex cocompact hyperbolic manifolds, fractal uncertainty principles, and equidistribution properties of typical vectors in fractal sets.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the development of a unified method for the decay rate of the Fourier transform of dynamically defined measures. Specifically, the authors aim to establish a systematic method to determine the decay rate of the Fourier transform of a large class of dynamically defined measures. These measures include, but are not limited to, self - similar measures, Patterson - Sullivan measures of convex - compact hyperbolic manifolds, Gibbs measures of non - integrable $C^2$ conformal systems, and stationary measures of carpet - like non - conformal iterated function systems.
### Main problems and goals
1. **Development of a unified method**:
- The paper proposes a unified method to obtain the Fourier decay rate of dynamically defined measures. The core of this method lies in the systematic use of the $L^2$ flattening theorem, combined with non - concentration estimates of derivatives of dynamical systems.
2. **Specific applications**:
- **Self - similar measures**: For self - similar measures satisfying the Diophantine condition, this method can prove that they have a polylogarithmic Fourier decay.
- **Patterson - Sullivan measures**: For Patterson - Sullivan measures of convex - compact hyperbolic manifolds, this method can prove that they have a polynomial Fourier decay.
- **Gibbs measures**: For Gibbs measures of conformal IFS satisfying the spectral gap hypothesis, this method can prove that they have a polynomial Fourier decay.
- **Stationary measures of carpet - like non - conformal IFS**: For stationary measures of carpet - like non - conformal IFS showing non - linearity in each principal direction, this method can prove that they have a polynomial Fourier decay.
3. **Practical applications**:
- **Essential spectral gap**: On convex - compact hyperbolic manifolds, this method can be used to prove the existence of an essential spectral gap.
- **Fractal uncertainty principle**: This method can be applied to the study of the fractal uncertainty principle.
- **Normality and equidistribution properties of vectors in fractal sets**: This method can prove the normality and equidistribution properties of vectors in fractal sets.
### Method overview
1. **Averaging**:
- Using the multi - scale/convolution structure of the dynamical system or measure, represent the Fourier transform of the measure $\mu$ at frequency $\xi$ as the average of the Fourier transforms of a series of measures $\mu_x$ at different frequencies.
2. **Flattening**:
- Find a mechanism to prove that for most $x\in X$, the Fourier transform of the measure $\mu_x$ has the desired decay rate at most frequencies. The key is to be able to control the size of the set of exceptional frequencies independently of $x$.
3. **Separation**:
- Through the non - linearity or Diophantine hypothesis of the dynamical system, prove that the intersection of the frequencies appearing in step 1 in the set of exceptional frequencies appearing in step 2 is small enough.
### Key results
- **Self - similar measures**: For self - similar measures satisfying the Diophantine condition, it is proved that they have a polylogarithmic Fourier decay.
- **Patterson - Sullivan measures**: For Patterson - Sullivan measures of convex - compact hyperbolic manifolds, it is proved that they have a polynomial Fourier decay.
- **Gibbs measures**: For Gibbs measures of conformal IFS satisfying the spectral gap hypothesis, it is proved that they have a polynomial Fourier decay.
- **Stationary measures of carpet - like non - conformal IFS**: For stationary measures of carpet - like non - conformal IFS showing non - linearity in each principal direction, it is proved that they have a polynomial Fourier decay.
These results are not only of great theoretical significance, but also have wide applications in other mathematical fields such as quantum chaos, the fractal uncertainty principle, etc.