Norm convergence of multiple ergodic averages for commuting transformations

Abstract

AbstractLet T1,…,Tl:X→X be commuting measure-preserving transformations on a probability space $(X, \mathcal {X}, \mu )$. We show that the multiple ergodic averages $\bfrac {1}{N} \sum _{n=0}^{N-1} f_1(T_1^n x) \cdots f_l(T_l^n x)$ are convergent in $L^2(X,\mathcal {X},\mu )$ as $N \to \infty $ for all $f_1,\ldots ,f_l \in L^\infty (X,\mathcal {X},\mu )$; this was previously established for l=2 by Conze and Lesigne [J. P. Conze and E. Lesigne. Théorèmes ergodique por les mesures diagonales. Bull. Soc. Math. France112 (1984), 143–175] and for general l assuming some additional ergodicity hypotheses on the maps Ti and TiTj−1 by Frantzikinakis and Kra [N. Frantzikinakis and B. Kra. Convergence of multiple ergodic averages for some commuting transformations. Ergod. Th. & Dynam. Sys.25 (2005), 799–809] (with the l=3 case of this result established earlier by Zhang [Q. Zhang. On the convergence of the averages $\bfrac {1}{N} \sum _{n=1}^N f_1(R^n x) f_2(S^n x) f_3(T^n x)$. Mh. Math.122 (1996), 275–300]). Our approach is combinatorial and finitary in nature, inspired by recent developments regarding the hypergraph regularity and removal lemmas, although we will not need the full strength of those lemmas. In particular, the l=2 case of our arguments is a finitary analogue of those by Conze and Lesigne.