Abstract:We show that every self conformal measure with respect to a $C^2 (\mathbb{R})$ IFS $\Phi$ has polynomial Fourier decay under some mild and natural non-linearity conditions. In particular, every such measure has polynomial decay if $\Phi$ is $C^\omega (\mathbb{R})$ and contains a non-affine map.
A key ingredient in our argument is a cocycle version of Dolgopyat's method, that does not require the cylinder covering of the attractor to be a Markov partition. It is used to obtain spectral gap-type estimates for the transfer operator, which in turn imply a renewal theorem with an exponential error term in the spirit of Li (2022).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the Fourier decay properties of self - similar and self - conformal measures. Specifically, the authors prove that under certain mild non - linear conditions, every self - conformal measure has polynomial Fourier decay. Moreover, they also introduce a new method - the cocycle version of the Dolgopyat method - to overcome the limitations in existing methods, such as not requiring that the cylinder cover of the attractor is a Markov partition.
### Main contributions of the paper
1. **Polynomial Fourier decay**:
- The authors prove that for any \( C^2(\mathbb{R}) \) iterated function system (IFS) satisfying certain mild non - linear conditions, each non - atomic self - conformal measure corresponding to it has polynomial Fourier decay. Specifically, there exists some \( \alpha=\alpha(\nu)>0 \) such that:
\[
|F_q(\nu)| = O\left(\frac{1}{|q|^\alpha}\right)
\]
- where \( F_q(\nu) \) is the Fourier transform of the measure \( \nu \).
2. **The cocycle version of the Dolgopyat method**:
- The authors introduce a new method, namely the cocycle version of the Dolgopyat method, for obtaining spectral gap estimates of transfer operators. This method does not require the assumption that the cylinder cover is a Markov partition, and thus is applicable to a wider range of situations.
3. **Special cases of real - analytic IFS**:
- For real - analytic IFS, if it contains a non - affine mapping, then each non - atomic self - conformal measure also has polynomial Fourier decay. This result is obtained by combining the Dolgopyat method and the new method of Algom et al.
### Background and motivation of the paper
- **Importance of Fourier decay**:
- The property of Fourier decay has an important impact on the geometric characteristics of measures. For example, if the Fourier transform decays at a polynomial rate, then some strong geometric information of the measure can be deduced.
- For example, Shmerkin's result shows that if the Fourier transform of a measure decays at a polynomial rate, then the convolution of this measure with any one - dimensional measure is absolutely continuous.
- **Limitations of existing methods**:
- Existing methods usually require the assumption that the cylinder cover of the IFS is a Markov partition, which limits their scope of application. The authors overcome this limitation by introducing the cocycle version of the Dolgopyat method.
### Technical details of the paper
- **Spectral gap estimates of transfer operators**:
- The authors express the measure \( \nu \) as an integral of a series of random measures by constructing a random model, and express the transfer operator as a convex combination of these random measures. This method allows them to obtain spectral gap estimates of transfer operators without assuming Markov partitions.
- Specific steps include: constructing a random model, proving spectral gap estimates, deriving renewal theorems, obtaining effective equidistribution results, and finally combining these results to obtain bounds on Fourier decay.
- **Treatment of real - analytic IFS**:
- For real - analytic IFS, the authors use the Poincaré - Siegel theorem to prove a dichotomy: either the IFS is not \( C^2 \) conjugate to linear, or it is \( C^\omega \) conjugate to self - similar. This result enables them to apply different methods respectively to prove polynomial Fourier decay.
### Conclusion
This paper solves the problem of polynomial Fourier decay of self - conformal measures by introducing new methods and techniques, and expands the scope of application of existing methods. These results are of great significance for the research in geometric measure theory and related fields.