Verallgemeinerung eines Littlewoodschen Satzes über Potenzreihen. (Q1440623)

Die \textit{Tauber}sche Umkehrung des \textit{Abel}schen Grenzwertsatzes verlangt für den Schluß\ von \(\lim \sum a_n x^n=s\) auf \(\sum a_n=s\), daß \[ (1)\quad na_n=o(1) \;\text{bzw.} \;(2)\quad \sum_{\nu=1}^n \nu a_\nu=o(n) \] ist. Daß\ \(o(1)\) in (1) durch \(O(1)\) ersetzt werden darf, zeigte \textit{Littlewood} (1910; F. d. M. 42, 276 (JFM 42.0276.*)-277). Daß\ \(o(n)\) in (2) nicht durch \(O(n)\) ersetzt werden darf, lehrt die Reihe \(\sum(-1)^nx^n\). Auch die Voraussetzung \[ \sum_1^n \nu | a_\nu|=O(n) \] reicht nicht aus. Dagegen folgt aus \(\lim \sum a_nx^n=s\) zusammen mit \[ \sum_{\nu=1}^n (\nu| a_\nu|)^p=O(n),\;p>1, \] die Konvergenz von \(\sum a_n\). Dieser Satz wurde von \textit{Hardy} und \textit{Littlewood} (1927; F. d. M. 53. 247) aufgestellt mit dem Bemerken, er folge aus einer \textit{R. Schmidt}schen Verallgemeinerung des \textit{Littlewood}schen Satzes. Hier wird ein kurzer, direkter Beweis dieses Satzes gegeben. Bezüglich der Voraussetzung \[ \sum_1^n \nu a_\nu=O(n) \] wird gezeigt, daß\ aus ihr, zusammen mit \(\lim \sum a_nx^n=s\) stets die \(C_1\)Summierbarkeit der Reihe \(\sum a_n\) folgt.