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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Solomyak, Boris
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909745462378496
author Solomyak, Boris
author_facet Solomyak, Boris
contents We consider iterated function systems (IFS) in ${\mathbb R}^d$ for $d\ge 3$ of the form $\{f_j(x) = λ{\mathcal O} x + a_j\}_{j=0}^m$, with $a_0=0$ and $m\ge 1$. Here $λ\in (0,1)$ is the contraction ratio and ${\mathcal O}$ is an orthogonal matrix. Given a positive probability vector $p$, there is a unique invariant (stationary) measure for the IFS, called (in this case) a homogeneous self-similar measure, which we denote $μ(λ{\mathcal O}, {\mathcal D}, p)$, where ${\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 ${\mathcal D}$ spans ${\mathbb R}^d$, then for every fixed ${\mathcal O}$ and $p$ the measure $μ(λ{\mathcal O}, {\mathcal D}, p)$ has power Fourier decay (equivalently, positive Fourier dimension) for all but a zero-Hausdorff dimension set of $λ$. In our second result we do not impose any restrictions on ${\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 $d\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.
format Preprint
id arxiv_https___arxiv_org_abs_2508_14698
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Fourier decay and absolute continuity for typical homogeneous self-similar measures in ${\mathbb R}^d$ for $d\ge 3$
Solomyak, Boris
Dynamical Systems
Classical Analysis and ODEs
28A80, 42A38
We consider iterated function systems (IFS) in ${\mathbb R}^d$ for $d\ge 3$ of the form $\{f_j(x) = λ{\mathcal O} x + a_j\}_{j=0}^m$, with $a_0=0$ and $m\ge 1$. Here $λ\in (0,1)$ is the contraction ratio and ${\mathcal O}$ is an orthogonal matrix. Given a positive probability vector $p$, there is a unique invariant (stationary) measure for the IFS, called (in this case) a homogeneous self-similar measure, which we denote $μ(λ{\mathcal O}, {\mathcal D}, p)$, where ${\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 ${\mathcal D}$ spans ${\mathbb R}^d$, then for every fixed ${\mathcal O}$ and $p$ the measure $μ(λ{\mathcal O}, {\mathcal D}, p)$ has power Fourier decay (equivalently, positive Fourier dimension) for all but a zero-Hausdorff dimension set of $λ$. In our second result we do not impose any restrictions on ${\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 $d\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.
title Fourier decay and absolute continuity for typical homogeneous self-similar measures in ${\mathbb R}^d$ for $d\ge 3$
topic Dynamical Systems
Classical Analysis and ODEs
28A80, 42A38
url https://arxiv.org/abs/2508.14698