A new theory of convergence and divergence of series with positive terms (Q1559945)

Im \(1^{\text{ten}}\) Kapitel dieser Abhandlung wird gezeigt, dass sämtliche Kriterien der Convergenz oder Divergenz von unendlichen Reihen aus positiven Gliedern, welche auf Untersuchung des allgemeinen Gliedes \(u_n\) oder des Quotienten \(\frac{u_{n+1}}{u_n}\) gegründet sind, aus einem Satze abgeleitet werden könen. Dieser ist einfach folgender : ``Angenommen, die Reihe der Grössen \(\psi_0, \psi_1, \cdots\) habe die Eigenschaft, entweder nirgends ab- oder nirgends zuzunehmen, ferner die Grössen \(\lambda_0, \lambda_1 \cdots\) seien stets gleichbezeichnet; so ist die Reihe \[ \sum^{\infty}_{0_n} \frac {\psi_n - \psi_{n+1}}{\lambda_n} \] sicher convergent, falls für \(n=\infty\) Lim\,\(\psi_n\) nicht \(\infty\) und Lim\,\(\lambda_n\) nicht 0; dagegen sicher divergent, falls Lim\,\(\psi_n \infty\)''. Denkt man sich das allgemeine Glied der Reihe \(\Sigma u_n\) auf die Form \[ u_n = \frac {\psi_n - \psi_{n+1}}{\lambda_n} \] gebracht, so erhält man Convergenz- oder Divergenz-Kriterien, je nachdem man für \(\psi_n\) Functionen setzt, die für \(n = \infty\) endlich oder unendlich sind. Im ersten Falle wird man nehmen \[ \cdots e^{-\mu n}, n^{-\mu}, (ln)^{-\mu}(lln)^{-\mu} \cdots (\mu >0), \] wodurch für 1 : \(\lambda_n\) erhalten wird: \[ e^{\mu n } u_n, u^{1+\mu}u_n, n(ln)^{1+\mu}u_n, nln(lln)^{1+\mu}u_n \cdots. \] Bleibt einer dieser Ausdrücke für \(n=\infty\) endlich, so ist die Reihe \(\varSigma u_n\) sicher convergent. Diese Kriterien, hier ``von erster Art.'' genannt, sind identisch mit der ersten Reihe der Kriterien von J. Bertrand (Liouville J. VII. P. 37) und bereits von O. Bonnet (ebenda VIII. P. 78) in vorstehender Form gegeben. Setzt man in (1) \(\psi_n = u_n \varphi_n\), wo \(\varphi_n\) positiv sein soll, so erhält man die Kriterien \(2^{\text{ter}}\) Art.: ``Ist \[ \mathop{\text{Lim}}\limits_{n=\infty} \left\{\varphi_n - \frac {u_{n+1}}{u_n}\,\varphi (n+1)\right\} >0, \] so convergirt die Reihe \(\varSigma u_n\). Dagegen divergirt diese Reihe, falls dieser Grenzwerth negativ und \(\varphi_n\) so gewählt ist, dass die Reihe \(\varSigma \frac {1}{\varphi_n}\) divergent ist''. Dieses Convergenz-Kriterium ist im Wesentlichen mit dem Kummer'schen (Crelle J. XIII) übereinstimmend; nur hat es hier einen absoluten Ausdruck gefunden, indem die Wahl der Function \(\varphi_n\) von dem Gliede \(u_n\) unabhängig erscheint. Bei Anwendung des vorstehenden Satzes lässt sich die Function \(\varphi_n\) durchaus so beschränken, dass \(\text{Lim\,}\varphi_n\) nicht 0 und \(\varSigma\,\frac{1}{\varphi_n}\) divergent ist. Denn es folgt leicht, dass bei positiven Lim\,\(\lambda_n\) erstens Lim \(\varphi_n\) nicht 0 sein kann und zweitens die Convergenz von \(\varSigma\, \frac {1}{\varphi_n}\) auf eine von 0 und \(\infty\) verschiedene Lim\,\(\psi_n\) führt, was mit Rücksicht auf (1) ausgeschlossen werden kann. Setzt man demgemäss der Reihe nach \(\varphi_n\) gleich \[ 1,\,n,\,nln,\, nlnlln,\, \cdots \] so gelangt man zu den logarithmischen Kriterien zweiter Art. Von J. Bertrand (cf. A. A. 0). Zum Nachweise der Divergenz der entsprechenden Reihen \(\varSigma \frac {1}{\varphi_n}\) kann das Kummer'sche Divergenz-Kriterium dienen. Herr du Bois-Reymond zeigt dann allgemein, wie die Bertrand'schen Kriterien \(2^{\text{ter}}\) Art. Auf die \(1^{\text{ster}}\) Art. zurückgeführt werden können. Das\(2^{\text{te}}\) Kapitel enthält Sätze über Reihen aus Gliedern von der Form \(X(n){\omega_n - \omega_{n+1}}\), wo Lim\,\(X(n)=0\), \(\text{Lim\,} = \omega_n = \infty\), welche zu einer Verallgemeinerung des bekannten Abel'schen Satzes führen, dass die Divergenz der Reihe \(\varSigma u_n\) die Divergenz der Reihe \[ \varSigma \,\frac {u_n}{u_1+u_2+\cdots + U_{n-1}} \] bedinge (Crelle J. III. P. 79). Im Anhange wird eine so schwache Divergenz und Convergenz nachgewiesen, dass die logarithmischen Kriterien von J. Bertrand völlg versagen -- gegen die Ansicht von O. Bonnet (a. A. 0. P. 79).