Zur Theorie der unendlichen Reihen. (Q1532008)

Die Functionen \(f(x),\varphi(x),h(x)\) seien im Intervalle \((a\dots\infty)\) positiv und im Endlichen integrabel; \(\varphi(x)\) habe ausserdem im Intervalle \((a\dots\infty)\) überall einen positiven integrabeln Differentialquotienten und befriedige die Ungleichung \(\varphi(x)>x\). Dann gilt der Satz: \[ \frac{f(x)h(x)}{\varphi'(x)f(\varphi)}-h(\varphi)>\mu\qquad (a\leqq x\leqq\infty), \] so existirt das Integral: \[ \int_a^\infty f(x)dx. \] Bezeichnet \(m_0\) irgend eine Grösse, die \(\varphi(a)\) übertrifft, und wird im Intervalle \((a\dots\infty)\) die unendliche Wertmenge \(m_0,m_1,\dots,m_\nu,\dots\) durch die Gleichungen \[ m_1=\varphi(m_0),\quad m_2=\varphi(m_1),\quad m_3=\varphi(m_2),\dots \] definirt, bezeichnet endlich \(h(m_\nu \dots m_{\nu+1})\) die obere Grenze der Werte, welche die Function \(h(x)\) im Intervalle \((m_\nu\dots m_{\nu+1})\) annimmt, so gilt der Satz: Wenn im Intervalle \((a\dots\infty)\) die Ungleichung \[ \frac{f(x)h(x)}{\varphi'(x)f(\varphi)}-h(\varphi)\leqq 0 \] besteht, und wenn ausserdem die Reihe \[ \sum_{\nu=0}^\infty\;\frac{1}{h(m_\nu\dots m_{\nu+1})} \] divergirt, so ist der Grenzwert des Integrals \[ \int_a^u f(x)dx \] für \(u=\infty\) nicht endlich. Ausserdem verteidigt der Verfasser eine von ihm angegebene Reihe (vergl. F. d. M. XXI. 1889. 232-233, JFM 21.0232.03) gegen eine Bemerkung des Herrn Pringsheim (Math. Ann. XXXV. 308).