Absolutely continuous invariant measures for random non-uniformly expanding maps (Q2509946)

The authors consider a discrete random dynamical system \((\alpha,f)\) defined on a probability space \((\mathbb{X}, \mathfrak{B}_{\mathbb{X}},\nu)\) and taking values on a compact interval \(I_0\) endowed with its normalized Lebesgue measure \(m\). Let \(\varphi:\mathbb{X}\times I_0 \rightarrow \mathbb{X}\times I_0, (\theta,x)\mapsto (\alpha(\theta), f_{\theta}(x))\) the associated skew product. If \(\varphi\) satisfies some convenient conditions and if it is non-uniformly expanding along the vertical direction according to \(\nu\times m\) on the subset \(Z\subset \mathbb{X}\times I_0\), the authors prove that \(\varphi\) admits finitely many ergodic invariant probability measures absolutely continuous with respect to \(\nu\times m\), whose basins cover \(Z\), up to a \(\nu\times m\)-zero measure set. The authors prove also a similar result for higher-dimensional random non-uniformly expanding dynamical systems. The results are consequences of the construction of such measures for skew-products with essentially arbitrary base dynamics and asymptotic expansion along the fibers. In both cases their method deals with either critical or singular points for the random maps.