Satz von Stolz-Cesaro

Satz von Stolz-Cesaro

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).

Inhaltsverzeichnis

Satz

Sind (a_k)\! und (b_k)\! mit b_k>0\! Folgen wobei letztere streng monoton ist und unbeschränkt wächst.

Dann folgt aus der Existenz des Grenzwertes der Differenzenquotienten \frac{a_k-a_{k-1}}{b_k-b_{k-1}}\to c für k\to\infty

die Existenz des Grenzwerts der Quotienten zum selben Wert, \frac{a_k}{b_k}\to c.

Beweis

Nach der Annahme der Konvergenz der Differenzenquotienten existiert für jedes \varepsilon>0 ein N\!, so dass 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|
\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 \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

(ak) = (10,10,100,100,1000,1000,...)

(bk) = (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.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz von Stolz-Cesàro — 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).… …   Deutsch Wikipedia

  • 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).… …   Deutsch Wikipedia

  • Cesaro — bezeichnet: Cesarò, Gemeinde in der Provinz Messina in der Region Sizilien, Italien Ernesto Cesàro (1859–1906), italienischer Mathematiker, nach dem das Cesaro Mittel und der Satz von Stolz Cesaro benannt sind Ingo Cesaro (* 1941), deutscher… …   Deutsch Wikipedia

  • Cesàro — Ernesto Cesàro Ernesto Cesàro (* 12. März 1859 in Neapel; † 12. September 1906 in Torre Annunziata) war ein italienischer Mathematiker. Ernesto Cesàro wuchs in für die Familie schwierigen wirtschaftlichen Zeiten des Umbruchs (siehe Risorgimento)… …   Deutsch Wikipedia

  • Ernesto Cesaro — Ernesto Cesàro Ernesto Cesàro (* 12. März 1859 in Neapel; † 12. September 1906 in Torre Annunziata) war ein italienischer Mathematiker. Ernesto Cesàro wuchs in für die Familie schwierigen wirtschaftlichen Zeiten des Umbruchs (siehe Risorgimento)… …   Deutsch Wikipedia

  • Ernesto Cesàro — (* 12. März 1859 in Neapel; † 12. September 1906 in Torre Annunziata) war ein italienischer Mathematiker. Ernesto Cesàro wuchs in für die Familie schwierigen wirtschaftlichen Zeiten des Umbruchs (siehe Risorgimento) in Torre Annun …   Deutsch Wikipedia

  • Hausdorff — Felix Hausdorff (Fotografie zwischen 1913 und 1921 entstanden) Felix Hausdorff (* 8. November 1868 in Breslau; † 26. Januar 1942 in Bonn) war ein deutscher Mathematiker. Er gilt als Mitbegründer der allgemeinen Topologie und lieferte wesentliche… …   Deutsch Wikipedia

  • Mongré — Felix Hausdorff (Fotografie zwischen 1913 und 1921 entstanden) Felix Hausdorff (* 8. November 1868 in Breslau; † 26. Januar 1942 in Bonn) war ein deutscher Mathematiker. Er gilt als Mitbegründer der allgemeinen Topologie und lieferte wesentliche… …   Deutsch Wikipedia

  • Paul Mongré — Felix Hausdorff (Fotografie zwischen 1913 und 1921 entstanden) Felix Hausdorff (* 8. November 1868 in Breslau; † 26. Januar 1942 in Bonn) war ein deutscher Mathematiker. Er gilt als Mitbegründer der allgemeinen Topologie und lieferte wesentliche… …   Deutsch Wikipedia

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”