Mehrfach monotone Zahlenfolgen. (Q1454792)

In der Theorie der unendlichen Reihen steht neben der Untersuchung der Reihen mit beliebigen positiven Gliedern unvermittelt diejenige der Reihen mit positiven (einfach-)monoton abnehmenden Gliedern. So ist z. B. bei jenen \(a_n \to 0\), bei diesen dagegen \(na_n \to 0\) eine notwendige Konvergenzbindung. Durch \textit{E. Jacobsthal} und \textit{K. Knopp} wurde (F. d. M. 47, 201 (JFM 47.0201.*) der Begriff der \(p\)-fachen Monotonie eingeführt. Nachdem inzwischen von \textit{S. Chapman} und \textit{A. F. Andersen} (s. F. d. M. 48, 225-226) für eine Zahlenfolge \((x_n)\) die Differenzen \(\varDelta^\alpha x_n\) einer nicht ganzzahligen Ordnung \(\alpha\) eingeführt worden sind, lag es nahe, auch eine Monotonie von nicht ganzzahliger Ordnung einzuführen. Definition: Die positive Nullfolge \((x_n)\) soll \(\alpha\)-fach monoton heißen, wenn ihre \(\alpha\)-ten Differenzen \[ \varDelta^\alpha x_n=\sum_{\nu=0}^\infty \binom{\nu-\alpha-1}{\nu} x_{n+\nu} \] existieren und \(\geqq 0\) sind für \(n = 0\), 1, 2, \(\ldots\). Es gilt der Satz: Ist die Folge \(\alpha\)-fach monoton mit \(\alpha > 0\), so ist sie auch \(\beta\)-fach monoton, falls \(0 \leqq \beta\leqq \alpha\). -- Hieraus ergibt sich in bekannter Weise ein Index der Monotonie für jede positive Nullfolge. Im \S2 werden Anwendungen dieser Begriffe auf die Untersuchung von unendlichen Reihen gegeben. Als prägnantestes Resultat, das die eingangs erwähnten klassischen Tatsachen sozusagen miteinander verbindet, ergibt sich: Ist \(a_n\geqq 0\), \(\sum a_n\) konvergent, \((a_n)\) eine \(\alpha\)-fach monotone Folge und \(0\leqq\alpha\leqq1\), so strebt \(n^\alpha a_n\to 0\). An diese Note schließen zwei spätere Arbeiten von \textit{Th. Kaluza} und \textit{Ferrar} (F. d. M. 53, 183-184) an.