On the equivalence of classes of Fourier coefficients (Q4943136)

A null sequence \(\{a_k\}\) is said to belong to the class \(F_p\) if for some \(p>1\) \[ \sum^\infty_{n= 1} n^{-1/p} \Biggl(\sum^\infty_{k= n}|\Delta a_k|^p\Biggr)^{1/p}< \infty. \] It is said to belong to the class \(S_p\) if there exists a monotonically decreasing sequence \(\{A_n\}\) such that \(\sum^\infty_{n=1} A_n< \infty\) and \({1\over n} \sum^n_{k= 1}{|\Delta a_k|^p\over A^p_k}= O(1)\). On the other hand, if \[ \sum^\infty_{m=1} 2^{(1-{1\over p})} \Biggl\{\sum^{2^{m+1}}_{n= 2^m+ 1}|\Delta a_n|^p\Biggr\}^{1/p}< \infty \] for some \(p>1\), then it is said to belong to the class \(F^*_p\). In this note the author establishes the following interesting result. Theorem. If \(p> 1\), then \[ F_p\subseteq S_p\subseteq F^*_p\subseteq F_p. \]