Absolutely Continuous Stationary Measures

This thesis studies the absolute continuity of stationary measures. Given a finite set of measurable maps S₁, S₂, \dots, S_n on a measurable set $X$ and a probability vector p₁, p₂, \dots, p_n we say that a probability measure $\nu$ on $X$ is stationary if \begin{equation*} \nu = \sum_i=1ⁿ p_i \nu \circ S_i^-1. \end{equation*} If S₁, \dots, S_n are elements of *PSL*₂($\mathbb{R}$) acting on *X* = *P*¹($\mathbb{R}$), we get the notion of Furstenberg measures. If S₁, \dots, S_n are similarities, affine maps, or conformal maps then $\nu$ is called a self-similar, self-affine, or self-conformal measure respectively. This thesis is concerned with Furstenberg measures and self-similar measures. Two fundamental questions about stationary measures are what are their dimensions and when are they absolutely continuous. This thesis deals with the second one of these. There are several classes of stationary measures which are known to be absolutely continuous for typical choices of parameters. For example Solomyak showed that for almost every $\lambda \in (1/2, 1)$ the Bernoulli convolution with parameter $\lambda$ is absolutely continuous. This was extended by Shmerkin who showed that the exceptional set has Hausdorff dimension zero. However, despite much effort, there are relatively few known explicit examples of stationary measures which are absolutely continuous. In this thesis we find sufficient conditions for self-similar measures and Furstenberg measures to be absolutely continuous. Using this we are able to give new examples. The techniques we use are largely inspired by the techniques of Hochman and Varj\'u though we introduce several new ingredients the most important of which is ``detail'' which is a quantitative way of measuring how smooth a measure is at a given scale.

Name dc:type.qualificationname

Doctor of Philosophy (PhD)

Level dc:type.qualificationlevel

Doctoral

Grantor dc:publisher.institution

University of Cambridge

Year dc:date.issued

2023

Author dc:creator

• Kittle, Samuel

Advisor dc:contributor.advisor

• Varju, Peter

• Furstenberg measures
• Self-similar measures
• Stationary measures

Licence

• https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/9361af87-a344-4fd8-b73a-1179c83d6d4e/download
• https://creativecommons.org/licenses/by/4.0/

Language dc:language

eng

DOI dc:identifier.doi

https://doi.org/10.17863/CAM.104177

OAI identifier oai:identifier

oai:www.repository.cam.ac.uk:1810/361044