Paper detail

Geometric pressure in real and complex 1-dimensional dynamics via trees of preimages and via spanning sets

We consider $f:\hat I\to \R$ being a $C^3$ (or $C^2$ with bounded distortion) real-valued multimodal map with non-flat critical points, defined on $\hat I$ being the union of closed intervals, and its restriction to the maximal forward invariant subset $K\subset I$. We assume that $f|_K$ is topologically transitive. We call this setting the (generalized multimodal) real case. We consider also $f:\C\to \C$ a rational map on the Riemann sphere and its restriction to $K=J(f)$ being Julia set (the complex case). We consider topological pressure $P_{\spanning}(t)$ for the potential function $φ_t=-t\log |f'|$ for $t>0$ and iteration of $f$ defined in a standard way using $(n,\e)$-spanning sets. Despite of $ϕ_t=\infty$ at critical points of $f$, this definition makes sense (unlike the standard definition using $(n,\e)$-separated sets) and we prove that $P_{\spanning}(t)$ is equal to other pressure quantities, called for this potential {\it geometric pressure}, in the real case under mild additional assumptions, and in the complex case provided there is at most one critical point with forward trajectory accumulating in $J(f)$. $P_{\spanning}(t)$ is proved to be finite for general rational maps, but it may occur infinite in the real case. We also prove that geometric tree pressure in the real case is the same for trees rooted at all `safe' points, in particular at all points except the set of Hausdorff dimension 0.