Ein Grenzwertsatz über Potenzreihen. (Q1461892)

Es handelt sich um das asymptotische Verhalten von \[ c_n = a_0b_n + a_1b_{n-1} +\cdots + a_nb_0 \] bei gegebenen Folgen \((a_n)\) und \((b_n)\). I. Schur hat im Arch. d. Math. und Phys. 27, 162, 1918 als Aufgabe den folgenden Satz mitgeteilt: Wenn \(f(x) =\sum a_nx_n\) den positiven Radius \(r\) hat und \(b_n/b_{n+1}\to q\) strebt mit \(|q|<r\), so ist \(c_n\cong b_n\,.\,f(q)\). Hierfür wird ein sehr durchsichtiger Beweis mitgeteilt und folgendes daran angeknüpft. Da im Falle \(q\neq 0\) ohne Beschränkung der Allgemeinheit \(q = 1\), \(r > 1\) angenommen werden darf, so besagt der Satz: \[ \begin{aligned} \noalign{Aus\vskip-1.50\baselineskip} &(1)\;\;\dfrac {b_n}{b_{n+1}}\;\;\;\text{folgt}\;\;\;(2)\;\;\dfrac {c_n}{b_n}\to \sum _{\nu =0}^\infty a_\nu . \end{aligned} \] \ \noindent Hier kann (1) nicht durch etwas Allgemeineres ersetzt werden. Es bleibt die Frage: Welches ist die Gesamtheit der \(\sum a_\nu x^\nu \), für die aus (1) stets (2) folgt? Diese Frage wird nicht beantwortet, aber gezeigt: Damit für \textit{jede konvergente} Reihe \(\sum a_\nu \) (2) besteht, ist notwendig und hinreichend, daß (a) \(\qquad \dfrac {b_n}{b_{n+1}}\to 1\) strebt und \(\qquad \text{(b)}\;\;\;\sum _{\nu =1}^n |b_\nu - b_{\nu -1}|\leqq M\cdot |b_n| \) \ \noindent bleibt (mit festem \(M\)) für alle \(n\geqq 1\).