One-sided \(O\)-Tauber conditions for summability subfields with sectional convergence (Q1818235)

Virtually, the present paper is the second part of what in its first one is concerned with two-sided Tauberian conditions [Results Math. 35, No. 3-4, 380-391 (1999; Zbl 0929.40005)]. We may hence confer to definition and notation of the review above. In the former paper, covering known results, a nonnegative matrix \(A\) and a sequence of \(c_n\) (where \(0\leq c_n\leq\infty\) and \(\sum_{\kappa\leq k}c_k= \infty\) for all \(\kappa)\) were related by a condition ``G'' necessary and sufficient in order that (O) \(a_n= \text{O}(c_n)\) be a Tauberian condition for the subfield \(\text{K}(A)\) of sectional convergence in the null field \(c^\circ A\) of summability \(A\). With \(Z(\kappa, \lambda): =\sup_n \sum_{\kappa\leq k\leq\lambda} a_{nk}\), \(C(\kappa, \lambda):= \sum_{\kappa\leq k\leq \lambda} c_k\) \((\kappa,\lambda \in\mathbb{N}_0)\), we have G reading as follows: Given \(\varepsilon>0\), there is some strictly increasing \((q_i)\) such that \(\liminf Z(q_i,q_{i+1} -1)>0\) and \(\limsup C(q_i+1, q_{i+1}-1) <\varepsilon\). The property of \(A\) and \((c_n)\) not to satisfy G was made explicit, for the sake of hump construction. In the present paper, with \(a_n\) real, the left hand estimate \((\text{O}_L)\) \(a_n= \text{O}_L (c_n)\) takes the place of (O). Complication arises from whether \(c_n\to 0\) or not, requiring, in the latter case, G to be extended in order to arrive at what is necessary and sufficient to render \(\text{(O}_L)\) a Tauberian condition. Like in the paper that precedes, a lot of results for standard methods, classical and recent, are thus given unification and precision. In part, they follow from the general theorems when applied to the bounded sequences in \(c^\circ A\) by the effect of M-perfectness [\textit{W. Meyer-König} and \textit{K. Zeller}, Math. Z. 177, 257-266 (1981; Zbl 0443.40005)]. Special attention is given to cases where, for the summability field of \(A\) or some appropriate subfield, \((\text{O}_L)\) is a Tauberian condition whenever so is (O), and also where the latter conclusion fails to hold.