A perturbed ergodic theorem (Q4942907)

Let \(L^1=L^1(X,\Sigma,\mu)\) be the usual complex \(L^1\)-space over a \(\sigma\)-finite measure space \((X,\Sigma,\mu); \Re f\) denotes the real part of \(f\), \(f^+:=(\Re f)^+=\Re f\vee 0\). For an arbitrary contraction \(T\) acting in \(L^1\) a sequence of positive measurable functions \((p_n)_{n\in \mathbb N}\) is called to be \(T\)-adopted if for every \(f\in L^1\) the inequalities \(|f|\leq p_n\) for all \(n\in \mathbb N\) imply \(|Tf|\leq p_{n+1}\) for every \(n\in \mathbb N.\) The author's main result is the following Theorem. Suppose that \(T\) is an arbitrary contraction in \(L^1\), \((p_n)_{n\in \mathbb N}\) is a \(T\)-adopted sequence and \((q_n)_{n\in \mathbb N}\) is a sequence of positive \(L^1\)-functions that satisfy: \[ \int\sum_{i=1}^\infty(q_i-Tq_{i-1})^+d\mu<\infty. \] Then \[ \lim_{n\to\infty}\frac{q_0+q_1+\cdots+q_n}{p_0+p_1+\cdots+p_n} \] exists and is finite \(\mu\)-a.e. on the set \(\{x|\sum_{i=0}^\infty p_i(x)>0\}\).