Fine inducing and equilibrium measures for rational functions of the Riemann sphere
type: Item
instance of: scholarly article
title: Fine inducing and equilibrium measures for rational functions of the Riemann sphere
zbMATH Open document ID: 1343.37029
author: Michał Szostakiewicz
author: Mariusz Urbański
author: Anna Zdunik
published in: Israel Journal of Mathematics
publication date: 2015-11-17T00:00:00Z
review text: Let \(f:\widehat{\mathbb C}\rightarrow\widehat{\mathbb C}\) be a rational map of degree \(\deg(f) \geq 2\). The Julia set of \(f\) is denoted by \(J(f)\). Let \(C(J(f))\) be a Banach space of real-valued continuous functions on it equipped with supremum norm. The elements of \(C(J(f))\) are called potentials. If \(n\in\mathbb N^\ast\) and \(\varepsilon>0\) we say a finite subset \(E\) of \(J(f)\) is \((n,\varepsilon)\)-separated if whenever \(z \neq z' \in E\), there exists some \(i\in\{0,\cdots,n-1\}\) and \(|f^i(z)-f^i(z')|>\varepsilon\), where \(f^i=\underbrace{f\circ f \circ \cdots \circ f}_{i\mathrm{ times}}\). For \(\phi \in C(J(f))\) define \[ P_n(\phi,\varepsilon)=\sup\left\{\sum_{z \in E}\exp\left(\sum_{i=1}^{n-1}\phi(f^i(z))\right)/ E \text{ is }(n,\varepsilon)\mathrm{-separated}\right\}, \] and put \(P(\phi,\varepsilon)=\limsup_{n \rightarrow +\infty}P_n(\phi,\varepsilon)\). The topological pressure of \(\phi\) is given by \[ P(\phi)=\lim_{ \varepsilon \rightarrow 0}P(f,\phi,\varepsilon). \] By the celebrated Variational Principle we have \[ P(\phi) =\sup_{\{\mu:f_{\star}\mu=\mu\}}\left\{h_{\mu}(f)+\int \phi d\mu\right\}, \] where \(h_{\mu}(f)\) is the Kolmogorov-Sinai entropy and \(f_{\star}\mu\) is the pushforward measure of \(\mu\) under \(f\). The measures for which \(h_{\mu}(f)+\int \phi d\mu=P(\phi)\) are called equilibrium states. Let \(\phi\) be a Hölder-continuous function such that \(P(\phi)>\sup(\phi)\). It is known that there exists a unique equilibrium state measure \(\mu_{\phi}\) for this potential. In the paper under review, the authors characterize all maps and potentials for which \(\mathrm{HD}(\mu_{\phi})=\mathrm{HD}(J(f))\), where \(\mathrm{HD}\) is the Hausdorff dimension. Consequently, they obtain that \(\mathrm{HD}(\mu_{\phi})=2\) if and only if the potential is cohomologous to a constant function in \(C(J(f))\) and \(f\) is a critically finite rational map with a parabolic orbifold. They further establish that the map \(t \mapsto P(…
Mathematics Subject Classification ID: 37F10
Mathematics Subject Classification ID: 37F50
Mathematics Subject Classification ID: 37D35
Mathematics Subject Classification ID: 37A35
zbMATH DE Number: 6509701
zbMATH Keywords: Julia set
zbMATH Keywords: Kolmogorov-Sinai entropy
zbMATH Keywords: topological entropy
zbMATH Keywords: potential
zbMATH Keywords: topological pressure
zbMATH Keywords: Hausdorff dimension
zbMATH Keywords: equilibrium measure
zbMATH Keywords: central limit theorem
zbMATH Keywords: law of iterated logarithm
reviewed by: El Houcein El Abdalaoui
MaRDI profile type: Publication
full work available at URL: s11856-015-1257-6
OpenAlex ID: W2297883034
cites work: Ergodic theory of equilibrium states for rational maps
cites work: On Sullivan's conformal measures for rational maps of the Riemann sphere
cites work: Large entropy measures for endomorphisms of \(\mathbb{CP}^k\)
cites work: Bernoulli coding map and almost sure invariance principle for endomorphisms of \(\mathbb P^k\)
cites work: On the transfer operator for rational functions on the Riemann sphere
cites work: A proof of Thurston's topological characterization of rational functions
cites work: Q3560954
cites work: Convergence of the transfer operator for rational maps
cites work: Statistical properties of equilibrium states for rational maps
cites work: Recurrence times and rates of mixing
cites work: Q3322903
cites work: On the Bernoulli property for rational maps
cites work: Q3806395
cites work: Almost sure invariance principle for nonuniformly hyperbolic systems
cites work: Dimensions and Measures in Infinite Iterated Function Systems
cites work: Q4429924
cites work: On the uniqueness of the density for the invariant measure in an infinite hyperbolic iterated function system
cites work: Q3530411
cites work: On the Perron-Frobenius-ruelle operator for rational maps on the riemann sphere and for Hölder continuous functions
cites work: On the Hyperbolic Hausdorff Dimension of the Boundary of a Basin of Attraction for a Holomorphic Map and of Quasirepellers
cites work: Statistical properties of topological Collet–Eckmann maps
cites work: Nice inducing schemes and the thermodynamics of rational maps
cites work: Q3563981
cites work: Harmonic, Gibbs and Hausdorff measures on repellers for holomorphic maps. I
cites work: Q4340096
cites work: Stochastics and thermodynamics for equilibrium measures of holomorphic endomorphisms on complex projective spaces
cites work: Measures and dimensions in conformal dynamics
cites work: Analytic families of semihyperbolic generalized polynomial-like mappings
cites work: Equilibrium measures for holomorphic endomorphisms of complex projective spaces
cites work: Parabolic orbifolds and the dimension of the maximal measure for rational maps
cites work: Q3836844
DOI: 10.1007/S11856-015-1257-6
description: scientific article; zbMATH DE number 6509701