The projection method for a class of Frobenius-Perron operators (Q1809021)

Let \(\Omega\subset \mathbb{R}^n\) be a bounded subset with Lebesgue measure \(m\) and let \(S:\Omega\to\Omega\) be a Lebesgue measurable mapping satisfying the property: \[ \text{if }m(A)= 0\text{ then }m (S^{-1}(A))= 0 \] for all measurable subsets \(A\) of \(\Omega\). The Frobenius-Perron operator \(P: L^1(\Omega)\to L^1(\Omega)\) is defined as follows \[ \int_A Pf dm= \int_{S^{-1}(A)} f dm. \] Any fixed point of \(P\) is the Radon-Nikodým derivative of an absolutely continuous \(S\)-invariant finite measure. The authors prove the following fixed point result for Frobenius-Perron operator. Theorem. Let \(Pf\in L^2(\Omega)\) for all \(f\in L^2(\Omega)\) and \[ \|Pf\|_2\leq \alpha\|f\|_2+\|f\|, \] where \(0\leq \alpha<1\) and \(\beta\geq 0\) and \(\|\cdot\|_2\), \(\|\cdot\|\) denote the norms in \(L^2(\Omega)\) and \(L^1(\Omega)\) respectively. Then there exists a fixed density \(\overline f\) of \(P\). Moreover, \(\overline f\in L^2(\Omega)\). The second part of this paper is devoted to present the convergence of the Galerkin projection method to a fixed density of the Frobenius-Perron operator satisfying the condition of the theorem. In the paper, the authors prove also some more general results concerning the existence of fixed points of the Frobenius-Perron operator in Banach spaces.