English

Fourier decay and absolute continuity for typical homogeneous self-similar measures in ${\mathbb R}^d$ for $d\ge 3$

Dynamical Systems 2025-08-21 v1 Classical Analysis and ODEs

Abstract

We consider iterated function systems (IFS) in Rd{\mathbb R}^d for d3d\ge 3 of the form {fj(x)=λOx+aj}j=0m\{f_j(x) = \lambda {\mathcal O} x + a_j\}_{j=0}^m, with a0=0a_0=0 and m1m\ge 1. Here λ(0,1)\lambda\in (0,1) is the contraction ratio and O{\mathcal O} is an orthogonal matrix. Given a positive probability vector pp, there is a unique invariant (stationary) measure for the IFS, called (in this case) a homogeneous self-similar measure, which we denote μ(λO,D,p)\mu(\lambda {\mathcal O}, {\mathcal D}, p), where D={a0,,am}{\mathcal D} = \{a_0,\ldots,a_m\} is the set of ``vector digits''. We obtain two results on Fourier decay for such measures. First we show that if D{\mathcal D} spans Rd{\mathbb R}^d, then for every fixed O{\mathcal O} and pp the measure μ(λO,D,p)\mu(\lambda {\mathcal O}, {\mathcal D}, p) has power Fourier decay (equivalently, positive Fourier dimension) for all but a zero-Hausdorff dimension set of λ\lambda. In our second result we do not impose any restrictions on D{\mathcal D}, other than the necessary one of affine irreducibility, and obtain power Fourier decay for almost all homogeneous self-similar measures; however, only for even d4d\ge 4. Combined with recent work of Corso and Shmerkin [arXiv:2409.04608] , these results imply absolute continuity for almost all self-similar measures under the same assumptions, in the super-critical parameter region.

Keywords

Cite

@article{arxiv.2508.14698,
  title  = {Fourier decay and absolute continuity for typical homogeneous self-similar measures in ${\mathbb R}^d$ for $d\ge 3$},
  author = {Boris Solomyak},
  journal= {arXiv preprint arXiv:2508.14698},
  year   = {2025}
}

Comments

25 pages