„Monotoniekriterium“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
BKL: für Folgen, Reihen, Funktionen * http://wiki-hm.projektonlinestudent.de/index.php?title=Monotoniekriterium * http://www.uni-siegen.de/fb6/analysis/overhagen/vorlesungsbeschreibungen/skripte/zahlb3.pdf |
Quartl (Diskussion | Beiträge) BKS in Artikel umgewandelt |
||
Zeile 1: | Zeile 1: | ||
{{Dieser Artikel|behandelt das Monotoniekriterium für Folgen und Reihen; zur Monotonie von Funktionen siehe [[Monotonie (Mathematik)#Monotonie differenzierbarer reeller Funktionen]].}} |
|||
Als '''Monotoniekriterium''' bezeichnet man: |
|||
[[Datei:Converging Sequence example.svg|miniatur|Nach dem Monotoniekriterium konvergiert eine monoton fallende, nach unten beschränkte Folge gegen einene Grenzwert.]] |
|||
Das '''Monotoniekriterium''' ist in der [[Mathematik]] ein wichtiges [[Konvergenzkriterium]] für [[Folge (Mathematik)|Folgen]] und [[Reihe (Mathematik)|Reihen]]. Mit dem Monotoniekriterium kann die Konvergenz einer [[Monotonie (Mathematik)|monoton]] wachsenden oder fallenden Folge oder Reihe nachgewiesen werden, ohne dass ihr genauer Grenzwert bekannt ist. |
|||
== Monotoniekriterium für Folgen == |
|||
* ein Kriterium für Funktionen, siehe [[Monotonie (Mathematik)#Monotonie differenzierbarer reeller Funktionen]] |
|||
* ein Konvergenzkriterium ''(Kriterium der monotonen Konvergenz)'' für: |
|||
** Folgen, siehe [[Grenzwert (Folge)#Erstes Hauptkriterium]] |
|||
** Reihen, vergleiche [[Konvergenzkriterium]] |
|||
=== Kriterium === |
|||
{{Begriffsklärung}} |
|||
Das Monotoniekriterium für [[Folge (Mathematik)|Folgen]] lautet: |
|||
:''Eine [[Monotonie (Mathematik)|monoton wachsende]] Folge [[Reelle Zahl|reeller Zahlen]] konvergiert genau dann gegen einen [[Grenzwert (Folge)|Grenzwert]], wenn sie nach oben [[Folge (Mathematik)#Beschränktheit|beschränkt]] ist.'' |
|||
Da das Konvergenzverhalten einer Folge nicht von den ersten Folgengliedern abhängt, reicht es dabei aus, dass sich die Folge ab einem bestimmten Folgenglied monoton verhält und beschränkt ist. Gibt es also in einer Folge <math>(a_n)_{n \in \N}</math> reeller Zahlen einen Index <math>N \in \N</math>, sodass |
|||
:<math>a_n \leq a_{n+1}</math> |
|||
für alle <math>n \geq N</math> ist und gibt es weiter eine reelle Schranke <math>K</math>, sodass |
|||
:<math>a_n \leq K</math> |
|||
ist, dann konvergiert diese Folge und für den Grenzwert gilt |
|||
:<math>\lim_{n \to \infty} a_n \leq K</math>. |
|||
Analog dazu konvergiert eine monoton fallende Folge genau dann, wenn sie nach unten beschränkt ist, und ihr Grenzwert ist dann mindestens so groß wie die untere Schranke. Mit dem Monotoniekriterium kann somit die Existenz des Grenzwerts einer Folge nachgewiesen werden, ohne dass der genaue Grenzwert bekannt ist. |
|||
=== Beispiel === |
|||
Die Folge |
|||
:<math>a_n = \frac{n}{n+1}</math> |
|||
ist monoton wachsend und es gilt <math>a_n < 1</math> für alle <math>n</math>. Somit konvergiert die Folge gegen einen Grenzwert mit |
|||
:<math>\lim_{n \to \infty} a_n \leq 1</math>. |
|||
Wie man an diesem Beispiel sieht kann der Grenzwert einer Folge gleich der angegebenen Schranke sein, selbst wenn jedes Folgenglied echt kleiner als die Schranke ist. |
|||
=== Beweis === |
|||
Es reicht aus, den Fall einer monoton wachsenden und nach oben beschränkten Folge <math>(a_n)</math> zu betrachten. Sei |
|||
:<math>a = \sup \left\{ a_n \mid n \in \N \right\}</math> |
|||
und <math>\varepsilon > 0</math> beliebig gewählt. Da <math>a - \varepsilon</math> keine obere Schranke der Folge ist, existiert ein Index <math>N \in \N</math> mit |
|||
:<math>a - \varepsilon < a_N \leq a</math>. |
|||
Nachdem die Folge <math>(a_n)</math> monoton wachsend ist, gilt damit |
|||
:<math>a - \varepsilon < a_m \leq a</math> |
|||
für alle <math>m > N</math>. Also ist |
|||
:<math>| a_m - a | = a - a_m < \varepsilon</math> |
|||
und somit konvergiert die Folge monoton gegen <math>a</math> (man schreibt auch <math>a_n \nearrow a</math>). Umgekehrt ist eine monoton wachsende, konvergente Folge durch ihren Grenzwert nach oben beschränkt. |
|||
=== Anwendung === |
|||
In der Praxis wird das Monotoniekriterium oft auch in der Form angewendet, dass man zu einer monoton wachsenden Folge <math>(a_n)</math> eine monoton fallende Folge <math>(b_n)</math> findet, die <math>a_n \leq b_n</math> für alle <math>n \in \N</math> erfüllt. Dann konvergieren sowohl <math>(a_n)</math> als auch <math>(b_n)</math> und es gilt |
|||
:<math>\lim_{n \to \infty} a_n \leq \lim_{n \to \infty} b_n</math>. |
|||
Beispielsweise ist die zur Definition der [[Eulersche Zahl|Eulerschen Zahl]] verwendete Folge |
|||
:<math>a_n = \left( 1 + \frac{1}{n} \right)^n</math> |
|||
monoton wachsend und die Folge |
|||
:<math>b_n = \left( 1 + \frac{1}{n-1} \right)^n</math> |
|||
monoton fallend. Nachdem <math>a_n < b_n</math> gilt, konvergieren beide Folgen. Bildet (wie in diesem Beispiel) <math>b_n - a_n</math> eine [[Nullfolge]], so liegt eine [[Intervallschachtelung]] vor und es gilt sogar |
|||
:<math>\lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n</math>. |
|||
== Monotoniekriterium für Reihen == |
|||
=== Kriterium === |
|||
Das Monotoniekriterium für [[Reihe (Mathematik)|Reihen]] lautet: |
|||
:''Eine Reihe mit nichtnegativen reellen Summanden konvergiert genau dann gegen einen Grenzwert, wenn ihre [[Partialsumme]]n nach oben beschränkt sind.'' |
|||
Dabei reicht es ebenfalls aus, dass die Summanden ab einem bestimmten Index nichtnegativ sind. Gilt also für die Summanden einer Reihe <math>\textstyle \sum_{i=1}^\infty a_i</math> |
|||
:<math>a_i \geq 0</math> |
|||
für alle <math>i \geq N</math> und ist die Folge <math>(s_n)_{n \in \N}</math> der Partialsummen |
|||
:<math>s_n = \sum_{i=1}^n a_i</math> |
|||
nach oben beschränkt, dann konvergiert diese Reihe und es gilt für den Grenzwert |
|||
:<math>\sum_{i=1}^\infty a_i = \sup \left\{ \sum_{i=1}^n a_i \mid {n \in \N} \right\} < \infty</math>. |
|||
Analog dazu konvergiert eine Reihe mit nichtpositiven reellen Summanden genau dann, wenn ihre Partialsummen nach unten beschränkt sind. Eine Reihe, die dem Monotoniekriterium genügt, ist dabei nicht nur konvergent, sondern sogar [[Absolute Konvergenz|absolut konvergent]]. |
|||
=== Beispiel === |
|||
Es wird die die Reihe |
|||
:<math>\sum_{i=1}^\infty \frac{1}{i^2}</math> |
|||
auf Konvergenz untersucht. Die Summanden sind alle nichtnegativ, deswegen ist das Monotoniekriterium anwendbar. Die Partialsummen der Reihe sind nach oben beschränkt, denn es gilt mit der Entwicklung als [[Teleskopsumme]] |
|||
:<math>s_n = \sum_{i=1}^n \frac{1}{i^2} < 1 + \sum_{i=2}^n \left( \frac{1}{i-1} - \frac{1}{i} \right) = 1 + \left( 1 - \frac{1}{n} \right) < 2</math>, |
|||
da jedes Teleskopsummenglied durch |
|||
:<math>\frac{1}{i-1} - \frac{1}{i} = \frac{i-(i-1)}{i(i-1)} = \frac{1}{i^2-i} > \frac{1}{i^2}</math> |
|||
abgeschätzt werden kann. Demnach konvergiert die Reihe gegen einen Grenzwert, der höchstens <math>2</math> ist. Der tatsächliche Grenzwert dieser Reihe liegt bei <math>\tfrac{\pi^2}{6}</math>. |
|||
=== Beweis === |
|||
Auch hier reicht es aus, den Fall einer Reihe mit nichtnegativen Summanden zu betrachten. Aus <math>a_i \geq 0</math> folgt |
|||
:<math>s_{n+1} = s_n + a_{n+1} \geq s_n</math>, |
|||
wodurch die Folge <math>(s_n)</math> der Partialsummen monoton wachsend ist. Nach Voraussetzung ist diese Folge auch nach oben beschränkt. Aus dem Monotoniekriterium für Folgen folgt dann die Konvergenz der Reihe. |
|||
== Literatur == |
|||
* {{Literatur|Autor=[[Harro Heuser]]|Titel=Lehrbuch der Analysis – Teil 1|Verlag=Springer|Jahr=2009|ISBN=3-834-80777-X}} |
|||
* {{Literatur|Autor=[[Wolfgang Walter]]|Titel=Analysis 1, Band 1|Verlag=Springer|Jahr=2004|ISBN=3-540-20388-5}} |
|||
[[Kategorie:Folgen und Reihen]] |
Version vom 13. Mai 2013, 09:15 Uhr
Das Monotoniekriterium ist in der Mathematik ein wichtiges Konvergenzkriterium für Folgen und Reihen. Mit dem Monotoniekriterium kann die Konvergenz einer monoton wachsenden oder fallenden Folge oder Reihe nachgewiesen werden, ohne dass ihr genauer Grenzwert bekannt ist.
Monotoniekriterium für Folgen
Kriterium
Das Monotoniekriterium für Folgen lautet:
- Eine monoton wachsende Folge reeller Zahlen konvergiert genau dann gegen einen Grenzwert, wenn sie nach oben beschränkt ist.
Da das Konvergenzverhalten einer Folge nicht von den ersten Folgengliedern abhängt, reicht es dabei aus, dass sich die Folge ab einem bestimmten Folgenglied monoton verhält und beschränkt ist. Gibt es also in einer Folge reeller Zahlen einen Index , sodass
für alle ist und gibt es weiter eine reelle Schranke , sodass
ist, dann konvergiert diese Folge und für den Grenzwert gilt
- .
Analog dazu konvergiert eine monoton fallende Folge genau dann, wenn sie nach unten beschränkt ist, und ihr Grenzwert ist dann mindestens so groß wie die untere Schranke. Mit dem Monotoniekriterium kann somit die Existenz des Grenzwerts einer Folge nachgewiesen werden, ohne dass der genaue Grenzwert bekannt ist.
Beispiel
Die Folge
ist monoton wachsend und es gilt für alle . Somit konvergiert die Folge gegen einen Grenzwert mit
- .
Wie man an diesem Beispiel sieht kann der Grenzwert einer Folge gleich der angegebenen Schranke sein, selbst wenn jedes Folgenglied echt kleiner als die Schranke ist.
Beweis
Es reicht aus, den Fall einer monoton wachsenden und nach oben beschränkten Folge zu betrachten. Sei
und beliebig gewählt. Da keine obere Schranke der Folge ist, existiert ein Index mit
- .
Nachdem die Folge monoton wachsend ist, gilt damit
für alle . Also ist
und somit konvergiert die Folge monoton gegen (man schreibt auch ). Umgekehrt ist eine monoton wachsende, konvergente Folge durch ihren Grenzwert nach oben beschränkt.
Anwendung
In der Praxis wird das Monotoniekriterium oft auch in der Form angewendet, dass man zu einer monoton wachsenden Folge eine monoton fallende Folge findet, die für alle erfüllt. Dann konvergieren sowohl als auch und es gilt
- .
Beispielsweise ist die zur Definition der Eulerschen Zahl verwendete Folge
monoton wachsend und die Folge
monoton fallend. Nachdem gilt, konvergieren beide Folgen. Bildet (wie in diesem Beispiel) eine Nullfolge, so liegt eine Intervallschachtelung vor und es gilt sogar
- .
Monotoniekriterium für Reihen
Kriterium
Das Monotoniekriterium für Reihen lautet:
- Eine Reihe mit nichtnegativen reellen Summanden konvergiert genau dann gegen einen Grenzwert, wenn ihre Partialsummen nach oben beschränkt sind.
Dabei reicht es ebenfalls aus, dass die Summanden ab einem bestimmten Index nichtnegativ sind. Gilt also für die Summanden einer Reihe
für alle und ist die Folge der Partialsummen
nach oben beschränkt, dann konvergiert diese Reihe und es gilt für den Grenzwert
- .
Analog dazu konvergiert eine Reihe mit nichtpositiven reellen Summanden genau dann, wenn ihre Partialsummen nach unten beschränkt sind. Eine Reihe, die dem Monotoniekriterium genügt, ist dabei nicht nur konvergent, sondern sogar absolut konvergent.
Beispiel
Es wird die die Reihe
auf Konvergenz untersucht. Die Summanden sind alle nichtnegativ, deswegen ist das Monotoniekriterium anwendbar. Die Partialsummen der Reihe sind nach oben beschränkt, denn es gilt mit der Entwicklung als Teleskopsumme
- ,
da jedes Teleskopsummenglied durch
abgeschätzt werden kann. Demnach konvergiert die Reihe gegen einen Grenzwert, der höchstens ist. Der tatsächliche Grenzwert dieser Reihe liegt bei .
Beweis
Auch hier reicht es aus, den Fall einer Reihe mit nichtnegativen Summanden zu betrachten. Aus folgt
- ,
wodurch die Folge der Partialsummen monoton wachsend ist. Nach Voraussetzung ist diese Folge auch nach oben beschränkt. Aus dem Monotoniekriterium für Folgen folgt dann die Konvergenz der Reihe.
Literatur
- Harro Heuser: Lehrbuch der Analysis – Teil 1. Springer, 2009, ISBN 3-8348-0777-X.
- Wolfgang Walter: Analysis 1, Band 1. Springer, 2004, ISBN 3-540-20388-5.