Characterization of \(O\)-Tauberian conditions for partial fields of effectiveness of sectional convergence (Q1297016)

Let \(A=(a_{nk})\) be an infinite matrix with rows and columns indexed by the non-negative integers. The sequence \(s=\{s_n\}=\{a_0+\cdots+a_n\}\) of complex numbers is \(A\)-summable to \(\sigma\) if the series \((As)_n =\sum_{k=0}^{\infty}a_{nk}s_k\) converge and have limit \(\sigma\) as \(n\to \infty\). Tauberian conditions on a summability process are conditions under which \((As)_n\to\sigma\) implies \(s_n\to\sigma\). For Cesàro- and Abel-summability, \textit{G. G. Lorentz} [Tauberian theorems and Tauberian conditions, Trans. Am. Math. Soc. 63, 226-234 (1948; Zbl 0032.06001)] characterized the sequences \(c_n\) with \(0\leq c_n\leq\infty\) for which \(a_n=O(c_n)\) is a Tauberian condition, and the corresponding result for Euler-Knopp- and Borel-summability is due to \textit{M. Stieglitz} [Die allgemeine Form der \(O\)-Tauber-Bedingung für das Euler-Knopp- und Borel-Verfahren, J. Reine Angew. Math. 246, 172-179 (1971; Zbl 0208.08502)]. Let \(c^oA\) be the set of sequences \(s\) for which \(As\) is a null sequence (\(As\in c^o\)). Let \(K=K(A)\) be the set of \(s\) in \(c^oA\) for which \[ \sup\biggl| \sum_{k=\kappa}^{\infty}a_{nk}s_k\biggr| \to 0\quad\text{as }\quad \kappa\to\infty. \] The central result of this paper gives conditions under which \(a_n=O(c_n)\) is a Tauberian condition for \(K\). Some extensions and applications of this theorem are given, and the remainder of the paper gives special attention to power series, Cesàro-, Abel-, Euler-Knopp- and Borel-summability.