No label defined (Q4941212)

Let \(\phi_i: X\to X\) \((i\in\mathbb{N})\) be a family of uniformly contracting maps of a compact metric space \(X\). It follows from this that there exists a continuous projection map \(\pi: \Sigma:=\mathbb{N}^{\mathbb{N}}\to X\). Consider a family \(f^{(i)}: X\to \mathbb{R}\) of continuous functions satisfying \(\sup_x \sum_{i\in \mathbb{N}}\exp[f^{(i)}(x)]< \infty\). It is shown that the function \[ f: \Sigma\to \mathbb{R},\quad f(\omega)= f^{(\omega_1)}(\pi(\omega_2,\dots)) \] is positive recurrent in the sense of \textit{O. Sarig} [Ergodic Theory Dyn. Syst. 19, No. 6, 1565-1593 (1999)], provided \(f\) is Hölder continuous. This construction provides a large class of these functions. Moreover, as shown in the article under review, the thermodynamic formalism holds for this iterated function system and such potentials. For the entire collection see [Zbl 0930.00046].