On the maximal quadratic function for power-bounded operators in \(L^p\) (Q5942068)

Let \((X,{\mathcal X},m)\) be a \(\sigma\)-finite measure space and for \(1< p<\infty\), let \(L^p(X)\) denote the space of \(p\)th power integrable functions with norm \(|\cdot |_p\). For \(p> 1\), \(S_p\) denotes \[ \{T: L^p(X)\to L^p(X): \sup\{|T^n|_{p\to p},\;n= 1,2,3,\dots\}\}< \infty. \] If \(f\in L^p(X)\) and \(T\in S_p\), then the arithmetic mean square \(\{A_n(f), n= 1,2,3,\dots\}\) is defined by \(A_n(f)= n^{-1} \sum|T^k(f)|_{p\to p}\), and if \(1< n_1< n_2<\cdots\) is a sequence of integers, then the maximal quadratic function \(\Delta_T(f)\) corresponding to the sequence \(N= \{n_k\}\) is defined by \(\Delta_T(f)= (\sum^\infty_{k=1} \max_{n_c< n< n_{c+1}}\{|A_n(f)- A_{nk}(f)|^2)\}^{1/2}\). The sequence \(\{n_k\}\) is said to be admissible for a maximal quadratic function in \(S_p\) if \(\Delta_T(f)\in L^p(X)\) for \(T\in S_p\) and \(f\in L^p(X)\). The introduction of this paper includes reference to an earlier paper by the author, \((^*1)\) [Teor. Veroyatn. Primen. (Theory Probab. Appl.), 44, No. 2, 432-440 (1999; Zbl 0976.46016)], in which it is shown that \((^*2)\) for \(p> 1\), \(\{n_k\}\) is admissible for a maximal quadratic class in \(S_p\) if \(\lim(n_{k+1}/n_k)< \infty\). In the case \(p=2\) the condition is also sufficient for \(\{n_k\}\) to be admissible. In the results of this paper the condition of \((^*2)\) is shown to be sufficient that \(\{n_k\}\) be admissible for a maximal quadratic class of \(p> 1\).