A theorem in the theory of summable divergent series. (Q1440644)

Es bezeichne \(\varphi_n\) entweder die Funktion \[ \frac{\Gamma(n+1+\alpha)}{\Gamma(n+1)} \;(\alpha>0) \] oder eine logarithmisch-exponentielle Funktion (vgl. \textit{G. H. Hardy}, ``Orders of infinity'', 1924; F. d. M. 50, 153 (JFM 50.0153.*)), welche entweder nicht schneller oder nicht langsamer wächst als alle positiven Potenzen von \(x\). Ferner sei \(\sum a_n\) \((C,r)\)-summierbar zur Summe \(A\), wobei \(r\) eine nicht negative ganze Zahl bezeichnet. Die Verf. beweisen, daß\ \(\sum a_n \varphi_n\) dann und nur dann \((C,r)\)-summierbar zur Summe \(B\) ist, wenn \[ \sum(A_n-A)(\varphi_n-\varphi_{n+1}) \] \((C,r-1)\)-summierbar ist zur Summe \(B-A \varphi_0\); dabei ist \[ A_n=\sum_{\nu=0}^n a_\nu. \] Den Spezialfall \(\varphi_n=n+1\) dieses Satzes haben die Verf. bereits 1924 veröffentlicht und bei ihren Untersuchungen über die \textit{Cesàro}sche Summierbarkeit von Fourierreihen benutzt. Die in dem allgemeinen Satz formulierte Annahme über das Wachstum von \(\varphi_n\) ist notwendig für die Richtigkeit dieses Satzes; denn für \[ \varphi_n=\log (n+1) \] ist die Bedingung des Satzes nicht mehr hinreichend, und für \[ \varphi_n=e^n \] ist sie nicht mehr notwendig. Selbstverständlich läß\ t sich die entsprechende notwendige und hinreichende Bedingung für die \((C,r)\)-Summierbarkeit des Integrals \[ \int_0^\infty a(x) a(x)\varphi(x)dx \] zum Werte \(A\) angeben; dabei ist entweder \[ \varphi(x)=x^\alpha,\;(\alpha>0), \] oder \(\varphi(x)\) ist eine logarithmisch-exponentielle Funktion, d. h: \[ x^\delta \prec \varphi(x)\prec x^\Delta. \] Diese notwendige und hinreichende Bedingung ist die \((C,r-1)\)-Summierbarkeit von \[ \int_0^\infty \{ A(x)-A) \} \varphi'(x)dx,\;A(x)=\int_0^x a(x)dx. \]