Satz von Stolz

Der Satz von Stolz bzw. 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\N}$ und $(b_{n})_{n\in\N}$ Folgen in $\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 ε > 0 ein $N\!$, so dass für alle $k>N\!$ der Differenzenquotient zum Index $k\!$ in der Umgebung U_ε(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 | η_k | < ε.

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| \le\sum_{k=N+1}^n \frac{b_k-b_{k-1}}{b_n}\,|\eta_k| <\left(1-\frac{b_N}{b_n}\right)\varepsilon\le\varepsilon$.

Man kann nun ein $M>N\!$ finden, so dass für alle $n>M\!$ auch in den ersten zwei Summanden die Differenz zum Grenzwert durch ε 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,...)

(b_k) = (10,11,100,101,1000,1001,...)

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.

Verallgemeinerung

Gegeben seien zwei weitere Folgen $(r_n)\!$ und $(b_n)\!$ derart, dass $a_n=\sum_{k=1}^n r_k$ und $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}^nr_k}{\sum_{k=1}^nd_k}=\frac{a_n}{b_n}\to c$.

Die oben genannten Voraussetzungen werden erfüllt von

• der harmonischen Reihe $d_n=\frac1n$, und
• jeder Reihe, deren Glieder einen positiven Grenzwert besitzen, wie $d_n=1\!$, d. h. $b_n=n\!$, oder gar
• jeder Reihe, deren Glieder selbst wachsen, wie $d_n=2n-1\!$, d. h. $b_n=n^2\!$.

Bemerkungen

Ein Spezialfall ist der Cauchysche Grenzwertsatz.

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

Literatur

• Marian Mureşan: A Concrete Approach to Classical Analysis. Springer 2008, ISBN 9780387789323, S.85 (eingeschränkte Online-Version in der Google Buchsuche)

Weblinks

• Eine Quelle auf matheplanet.com
• Übungszettel (PDF) mit Anleitung zum Beweis (49 kB)
• Vollständiger Beweis des Satz von Stolz als PDF