No label defined (Q4676262)

Let~\((X,\mathcal B,m,T)\) be an ergodic measure-preserving dynamical system on a finite measure space. The author [Fundam. Math. 174, No. 3, 217--228 (2002; Zbl 1004.28010)] and \textit{R. L. Jones} [Proc. Am. Math. Soc. 132, No. 4, 1087--1090 (2004; Zbl 1046.28010)] using different methods showed that the one-sided maximal function \(f\mapsto\sup_{m\geq1}\frac{1}{m}\sum_{k=0}^{m-1}f(T^k)\) is injective on~\(L^1(m)\). Here the same result is shown in a two-sided setting, for the operator \(f\mapsto\sup_{n\leq0<m}\frac{1}{m-n}\sum_{k=n}^{m-1}f(T^k).\) The same result has been found independently by \textit{P. A. Hagelstein} [Fundam. Math. 183, No. 1, 81--90 (2004; Zbl 1069.28010)]. The author gives an example showing that the uniqueness theorem is not valid for the symmetric ergodic maximal operator \(M_s\), where \(f\mapsto\sup_{m\geq 0}\frac{1}{2m+1}\sum_{k=-m}^{m}f(T^k).\) It is pointed out that in the infinite measure case the result no longer holds, but can be recovered for nonnegative functions.