Inversione d'un teorema sul rapporto delle medie \((Cp)\) di due serie. (Q1461637)

Die Arbeit schließt an den Hardy-(Landau-)schen Umkehrsatz an: Aus \(C_1\)-\(\sum a_n=s\) und \(|na_n|<K\) folgt \(\sum a_n=s\). (\(O\)-\(C_1\to K\)-Satz.) Verf. fragt nach Bedingungen, unter denen allgemeiner \[ \text{aus}\;\;\frac {s_0+s_1+\cdots +s_n}{t_0+t_1+\cdots +t_n} \to \gamma \;\;\;\text{folge, daß auch}\;\;\frac {s_n}{t_n}\to \gamma \] strebt. Er zeigt (Satz 1), daß dies richtig ist, falls \ a) alle \(t_n>0\) sind,\qquad b) \(\dfrac {t_0+t_1+\cdots t_n}{t_{n+1}+\cdots t_{n+r_n}}\) \ für \ \( 0<\overline {\underline {\lim}}\,\frac {r_n}{n}<+\infty \) \ \noindent beschränkt bleibt und falls auch \ \[ \begin{aligned} &\\ \noalign{c)\vskip-1.20\baselineskip} &(n+1)\Bigl|\dfrac {s_n}{t_n} - \dfrac {s_{n-1}}{t_{n-1}}\Bigr|\\ &\\ \end{aligned} \] \ \noindent beschränkt ist. -- Für \(t_n \equiv 1\) geht der Beweis in den von Cipolla (F. d. M. 47, 196, 1919-20) für den Hardyschen Satz gegebenen über. Dieser Satz wird auf \(C\)-Transformatinen höherer Ordnung ausgedehnt und lautet dann (Satz 2): Wenn für die Reihen \(\sum a_n\) und \(\sum b_n\) die Folgen \((na_n)\) und \((nb_n)\) beschränkt sind und wenn für die \(C_p\)-Transformationen der Teilsummen \(t_n\) von \(\sum b_n\) die Bedingungen \(\begin{matrix}\l&\quad\\ &\\ \text{a)} &t_n^{(p+1)}\geqq t_n^{(p)}\geqq t_n^{(p-1)}\geqq\cdots \geqq t_n^{(p-k)}\geqq \alpha >0\quad (p\geqq p-k>-1),\\ &\\ \text{b)} & \dfrac {n+p+1}{t_n^{(p+1)}}\geqq \dfrac {n+p}{t_n^{(p)}}\geqq \cdots \geqq \dfrac {n+p-k}{t_n^{(p-k)}}\\ &\\ \end{matrix} \) \noindent erfüllt sind, so folgt aus dem Verhalten (Konvergenz \(\to \infty \) oder Divergenz gegen \(\pm\infty \)) des Quotienten \[ \frac {s_n^{(p+1)}}{t_n^{(p+1)}}\text{ dasselbe Verhalten für } \frac {s_n^{(q)}}{t_n^{(q)}}. \] Dabei bedeutet \(s_n^{(q)}\) die \(C_q\)-Transformation der Teilsummen \(s_n\) von \(\sum a_n\) und \(q\) darf irgendeine reelle Zahl \(\geqq p - k > - 1\), (\(k\geqq 0\), ganz) sein. Für \(b_0 = 1\), \(b_n\equiv 0\) für \(n\geqq 1\) ergibt sich wieder der \(O\)-\(C_p\to K\)-Satz.