Paper detail

Typical absolute continuity for classes of dynamically defined measures

We consider one-parameter families of smooth uniformly contractive iterated function systems $\{f^λ_j\}$ on the real line. Given a family of parameter dependent measures $\{μ_λ\}$ on the symbolic space, we study geometric and dimensional properties of their images under the natural projection maps $Π^λ$. The main novelty of our work is that the measures $μ_λ$ depend on the parameter, whereas up till now it has been usually assumed that the measure on the symbolic space is fixed and the parameter dependence comes only from the natural projection. This is especially the case in the question of absolute continuity of the projected measure $(Π^λ)_*μ_λ$, where we had to develop a new approach in place of earlier attempt which contains an error. Our main result states that if $μ_λ$ are Gibbs measures for a family of Hölder continuous potentials $ϕ^λ$, with Hölder continuous dependence on $λ$ and $\{Π^λ\}$ satisfy the transversality condition, then the projected measure $(Π^λ)_*μ_λ$ is absolutely continuous for Lebesgue a.e.\ $λ$, such that the ratio of entropy over the Lyapunov exponent is strictly greater than $1$. We deduce it from a more general almost sure lower bound on the Sobolev dimension for families of measures with regular enough dependence on the parameter. Under less restrictive assumptions, we also obtain an almost sure formula for the Hausdorff dimension. As applications of our results, we study stationary measures for iterated function systems with place-dependent probabilities (place-dependent Bernoulli convolutions and the Blackwell measure for binary channel) and equilibrium measures for hyperbolic IFS with overlaps (in particular: natural measures for non-homogeneous self-similar IFS and certain systems corresponding to random continued fractions).