Fourier transform of self-affine measures

Abstract

Suppose $F$ is a self-affine set on ${\mathbb{R}}^d$, $d\ge 2$, which is not a singleton, associated to affine contractions $f_j=A_j+b_j$, $A_j\in \mathrm{GL}(d,\mathbb{R})$, $b_j\in {\mathbb{R}}^d$, $j\in \mathcal{A}$, for some finite $\mathcal{A}$. We prove that if the group $\Gamma$ generated by the matrices $A_j$, $j\in \mathcal{A}$, forms a proximal and totally irreducible subgroup of $\mathrm{GL}(d,\mathbb{R})$, then any self-affine measure $\mu =\sum p_j{f}_j\mu$, $\sum p_j=1$, $0<p_j<1$, $j\in \mathcal{A}$, on $F$ is a Rajchman measure: the Fourier transform $\hat{\mu }(\xi )\to 0$ as $|\xi |\to \infty$. As an application this shows that self-affine sets with proximal and totally irreducible linear parts are sets of rectangular multiplicity for multiple trigonometric series. Moreover, if the Zariski closure of $\Gamma$ is connected real split Lie group in the Zariski topology, then $\hat{\mu }(\xi )$ has a power decay at infinity. Hence $\mu$ is $L^p$ improving for all $1<p<\infty$ and $F$ has positive Fourier dimension. In dimension $d=2,3$ the irreducibility of $\Gamma$ and non-compactness of the image of $\Gamma$ in $\mathrm{PGL}(d,\mathbb{R})$ is enough for power decay of $\hat{\mu }$. The proof is based on quantitative renewal theorems for random walks on the sphere ${\mathbb{S}}^{d-1}$.

arXiv commentv2: 27 pages, updated references. Accepted to Advances in Math

References in corpus (16)

• Arithmetic progressions in sets of fractional dimension
• Absolute continuity of self-similar measures, their projections and convolutions
• Ledrappier-Young formula and exact dimensionality of self-affine measures
• Fourier dimension and spectral gaps for hyperbolic surfaces
• Absolute continuity of non-homogeneous self-similar measures
• On the Ledrappier-Young formula for self-affine measures
• Summability of Multi-Dimensional Trigonometric Fourier Series
• Dimension of invariant measures for affine iterated function systems
• Kleinian Schottky groups, Patterson-Sullivan measures and Fourier decay
• Fourier decay, Renewal theorem and Spectral gaps for random walks on split semisimple Lie groups
• Random walks in the group of Euclidean isometries and self-similar measures
• On the Fourier analytic structure of the Brownian graph
• Fourier decay in nonlinear dynamics
• Absolute Continuity of Self Similar Measures
• Sum-product for real Lie groups
• Discretized Sum-product and Fourier decay in ${\mathbb{R}}^n$

Cited by in corpus (5)

• Polynomial Fourier decay for fractal measures and their pushforwards
• Julia sets of hyperbolic rational maps have positive Fourier dimension
• On the Rajchman property for self-similar measures on ${\mathbb{R}}^d$
• Discretized Sum-product and Fourier decay in ${\mathbb{R}}^n$
• On arithmetic sums of fractal sets in ${\mathbb{R}}^d$