Satz von Stolz

Der Satz von Stolz, stolzsche Grenzwertsatz oder Satz von Stolz-Cesàro handelt von Grenzwerten in der Mathematik. Er ist benannt nach dem österreichischen Mathematiker Otto Stolz (1842–1905) und dem italienischen Mathematiker Ernesto Cesàro (1859–1906).

Satz

Sind $(a_{n})_{n\in \mathbb {N} }$ und $(b_{n})_{n\in \mathbb {N} }$ Folgen in $\mathbb {R}$ mit

1. $\lim a_{n}=\lim b_{n}=0$ und $b_{n}$ streng monoton fallend oder
2. $\lim b_{n}=\infty$ und $b_{n}$ streng monoton wachsend

und existiert der Grenzwert

$\lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}$,

dann gilt:

$\lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}$.

Beweis des zweiten Falls

Nach der Annahme der Konvergenz der Differenzenquotienten mit einem Grenzwert $c$ existiert für jedes $\varepsilon >0$ ein $N$, sodass für alle $k>N$ der Differenzenquotient zum Index $k$ in der Umgebung $U_{\varepsilon }(c)$ liegt. Es gibt also für jedes $k$ ein $\eta _{k}$ mit

$a_{k}-a_{k-1}=(b_{k}-b_{k-1})(c+\eta _{k})$;

für $k>N$ gilt $|\eta _{k}|<\varepsilon$.

Summiert man diese Beziehungen nach $k$ von $N+1$ bis $n\gg N$, so erhält man die Gleichung

$a_{n}-a_{N}=(b_{n}-b_{N})\,c+\sum _{k=N+1}^{n}(b_{k}-b_{k-1})\,\eta _{k}$.

Somit gilt für den Quotienten der Folgenglieder

${\frac {a_{n}}{b_{n}}}={\frac {a_{N}}{b_{n}}}+\left(1-{\frac {b_{N}}{b_{n}}}\right)c+\sum _{k=N+1}^{n}{\frac {b_{k}-b_{k-1}}{b_{n}}}\,\eta _{k}$

Der erste Summand der rechten Seite konvergiert gegen null, da die Folge $(b_{n})$ unbeschränkt wächst. Aus demselben Grunde konvergiert der zweite Summand gegen $c$. Aufgrund der Monotonie der Folge $(b_{k})$ gilt für den dritten Summanden

$\left|\sum _{k=N+1}^{n}{\frac {b_{k}-b_{k-1}}{b_{n}}}\,\eta _{k}\right|\leq \sum _{k=N+1}^{n}{\frac {b_{k}-b_{k-1}}{b_{n}}}\,|\eta _{k}|<\left(1-{\frac {b_{N}}{b_{n}}}\right)\varepsilon \leq \varepsilon$.

Man kann nun ein $M>N$ finden, sodass für alle $n>M$ auch in den ersten zwei Summanden die Differenz zum Grenzwert durch $\varepsilon$ beschränkt ist, für alle $n>M$ erhält man dann die Abschätzung

$\left|{\frac {a_{n}}{b_{n}}}-c\right|<3\varepsilon$,

somit konvergiert die Folge der Quotienten gegen $c$.

Zur Umkehrung

Die Umkehrung des obigen Satzes ist im Allgemeinen falsch. Betrachtet man die beiden Folgen

$(a_{k})=(10,10,100,100,1000,1000,\dotsc )$

$(b_{k})=(10,11,100,101,1000,1001,\dotsc ),$

dann gilt ${\frac {a_{k}}{b_{k}}}\to 1$. Die Folge ${\frac {a_{k}-a_{k-1}}{b_{k}-b_{k-1}}}$ hat jedoch keinen Grenzwert.

Umformulierung für Reihen

Gegeben seien zwei weitere Folgen $(r_{n})$ und $(d_{n})$ derart, dass $\textstyle a_{n}=\sum _{k=1}^{n}r_{k}$ und $\textstyle b_{n}=\sum _{k=1}^{n}d_{k}$. Weiterhin sei $(b_{n})$ streng monoton und unbeschränkt wachsend.

Aus

${\frac {r_{n}}{d_{n}}}={\frac {a_{n}-a_{n-1}}{b_{n}-b_{n-1}}}\to c$

folgt dann

${\frac {\sum _{k=1}^{n}r_{k}}{\sum _{k=1}^{n}d_{k}}}={\frac {a_{n}}{b_{n}}}\to c$.

Die oben genannten Voraussetzungen an $(d_{n})$ werden z. B. erfüllt von

• der harmonischen Folge $d_{n}={\frac {1}{n}}$, d. h. $b_{n}=H_{n}$,
• jeder Folge mit positivem Grenzwert, wie $d_{n}=1$, d. h. $b_{n}=n$,
• jeder monoton wachsenden Folge, wie $d_{n}=2n-1$, d. h. $b_{n}=n^{2}$.

Bemerkungen

Ein Spezialfall ist der Cauchysche Grenzwertsatz, dass also die Folge der Cesàro-Mittel einer konvergenten Folge wieder gegen den Grenzwert der Folge konvergiert.

In gewisser Weise stellt der Satz von Stolz für die Grenzwertberechnung bei Folgen ein Analogon zur Regel von de L’Hospital für die Grenzwertberechnung von Funktionen dar.

Literatur

• Marian Mureşan: A Concrete Approach to Classical Analysis. Springer, 2008, ISBN 978-0-387-78932-3, S. 85–88 (Auszug (Google))
• A. D. R. Choudary, Constantin Niculescu: Real Analysis on Intervals. Springer, 2014, ISBN 978-81-322-2148-7, S. 59–62 (Auszug (Google))
• J. Marshall Ash, Allan Berele, Stefan Catoiu: Plausible and Genuine Extensions of L’Hospital’s Rule. In: Mathematics Magazine, Vol. 85, No. 1, Februar 2012, S. 52–60, doi:10.4169/math.mag.85.1.52 (JSTOR:10.4169/math.mag.85.1.52)

Weblinks

• Gabriel Nagy: The Stolz-Cesaro Theorem. (PDF)
• Übungszettel mit Anleitung zum Beweis (PDF; 49 kB)
• L’Hopital’s theorem and Cesaro-Stolz’s theorem auf imomath.com