A coupling approach to random circle maps expanding on the average (Q2930241)

Let \((\Omega,\mathcal{F},\eta)\) be a probability space, and \(T\) be a map from \(\Omega\) to the set of \(C^2\) maps on the unit circle \(\mathbb{S}^1\) without critical points, which induces a cocycle \((\sigma,T)\) on \(\Omega^{\mathbb{N}}\times \mathbb{S}^1\) over the full shift \(\sigma\) on \(\Omega^{\mathbb{N}}\), that is, \(\Big((\omega_n)_{n\geq 1},x\Big)\mapsto \Big((\omega_{n+1})_{n\geq 1},T_{\omega_1}(x)\Big)\). Alternatively, the sequence of maps \(T_{\omega_n}\circ \cdots \circ T_{\omega_1}\) for any \(\omega=(\omega_n)_{n\geq 1}\) are called the random circle maps of induced by \(T\).NEWLINENEWLINEIn this paper the authors use the coupling method to study the statistical properties of the random circle maps induced by the map \(T\). They prove that there exists a unique absolutely continuous stationary probability measure \(\mu\), and the density \(\phi=\frac{d\phi}{dm}\) of the stationary measure is Lipschitz and is bounded away from zero. Moreover, the push-forward of any Holder continuous density \(\psi\) converges exponentially to the stationary density \(\phi\). Furthermore, the authors derive several interesting limit theorems of these random circle maps: CLT, ASIP, and gave a necessary and sufficient condition to determine whether the covariance matrix is degenerate.