Typical dimension and absolute continuity for classes of dynamically defined measures, Part II : exposition and extensions

TL;DR

This paper extends previous work on parametrized dynamically defined measures, providing formulas for Hausdorff dimension and absolute continuity under transversality conditions, especially for multi-parameter families and complex measures.

Contribution

It introduces multi-parameter families of measures and broadens the scope of dimension and absolute continuity results for dynamically defined measures.

Findings

Formulas for Hausdorff dimension under transversality

Almost sure absolute continuity for parameter regions

Extension to multi-parameter families and Furstenberg-like measures

Abstract

This paper is partly an exposition, and partly an extension of our work [1] to the multiparameter case. We consider certain classes of parametrized dynamically defined measures. These are push-forwards, under the natural projection, of ergodic measures for parametrized families of smooth iterated function systems (IFS) on the line. Under some assumptions, most crucially, a transversality condition, we obtain formulas for the Hausdorff dimension of the measure and absolute continuity for almost every parameter in the appropriate parameter region. The main novelty of [1] and the present paper is that not only the IFS, but also the ergodic measure in the symbolic space, whose push-forward we consider, depends on the parameter. This includes many interesting families of measures, in particular, invariant measures for IFS's with place-dependent probabilities and natural (equilibrium) measures for smooth IFS's. One of the goals of this paper is to present an exposition of [1] in a more reader-friendly way, emphasizing the ideas and proof strategies, but omitting the more technical parts. This exposition/survey is based in part on the series of lectures by K\'aroly Simon at the Summer School "Dynamics and Fractals" in 2023 at the Banach Center, Warsaw. The main new feature, compared to [1], is that we consider multi-parameter families; in other words, the set of parameters is allowed to be multi-dimensional. This broadens the scope of applications. A new application considered here is to a class of Furstenberg-like measures. [1] B. B\'ar\'any, K. Simon, B. Solomyak and A. \'Spiewak: Typical absolute continuity for classes of dynamically defined measures. Advances in Mathematics, Volume 399, 2022, 108258, ISSN 0001-8708, https://doi.org/10.1016/j.aim.2022.108258.