On the convergence to equilibrium states for certain non-hyperbolic systems (Q4353846)

The author studies convergence of iterates of the Perron-Frobenius operator for multi-dimensional non-invertible maps which are not hyperbolic and have discontinuities. The setting is as follows. Let \((X,{\mathcal F},\lambda)\) be a non-atomic probability space and let \(T:X\to X\) be a non-singular transformation with respect to \(\lambda\). Suppose that there exists a countable measurable partition \(Q=\{X_{\alpha}\}\) of \(X\) generating \(\mathcal F\) and such that for every \(X_{\alpha}\in Q\), \(\lambda(X_{\alpha})>0\) and \(T\) is non-singular, invertible on \(X_{\alpha}\). Then the system \((X,{\mathcal F},\lambda)\) is called a fibered system in Schweiger's sense. A set of the form \(X_{a_{1}}\cap T^{-1} X_{a_{2}}\cap \dots \cap T^{-(n-1)}X_{a_{n}}\) is called a cylinder of rank \(n\) provided it has positive \(\lambda\)-measure, and is denoted by \(X_{a_{1}\dots a_{n}}\). If \(\forall X_b\in Q\), we have \[ TX_b=\cup _{X_{a}\in Q, \lambda(X_{a}\cap T X_{b})>0} X_a (\text{mod }\lambda), \] then we say that \(T\) satisfies the Markov property with respect to \(Q\). A finite range structure is a set \(\mathcal U\) of the form \({\mathcal U}=\{T^n X_{a_{1}\dots a_{n}}, \forall n>0\}\) consisting of only finitely many subsets of \(X\) with positive \(\lambda\)-measure. The system \((T,X,Q,{\mathcal U})\) is called a piecewise invertible system with finite range structure. Typical examples come from number theoretic transformations. In this paper, the author studies the convergence of the Perron-Frobenius operator for such maps, which do not necessarily satisfy neither Renyi's condition on the uniform boundedness of the distorsion of iterates, nor the Markov property, and for which the densities of the invariant measures may have singularities. For instance, the maps studied may have indifferent periodic points.