No label defined (Q4945126)

Let \(\tau\) be measure preserving in a measure space \((X,A,m)\), \(\mu\) a probability on \(\mathbb{Z}\) and \(\mu f(x)= \sum_{j\in \mathbb{Z}} \mu(j)f(\tau^j x)\). It has been shown by A. Bellow, R. Jones and J. Rosenblatt that \(\mu^n f\) converges a.e. and in \(L^p\)-norm for \(f\in L^p\) \((1< p< \infty)\) when \(\mu\) has ``bounded angular ratio''. The problem has remained open if convergence a.e. holds for \(f\in L^1\). It is shown that the answer is ``yes'' if \(\mu\) is strictly aperiodic, \(\sum k\mu(k)= 0\), and \(\sum k^2\mu(k)< \infty\). The key to the proof is a maximal estimate for maximal operators satisfying certain regularity conditions. This was obtained independently by Zo and by the authors, using the Calderón-Zygmund decomposition. It then remains nontrivial to show that those regularity conditions are satisfied under the above conditions on \(\mu\). (The moment conditions above imply that \(\mu\) has bounded angular ratio). For the entire collection see [Zbl 0932.00088].