Kurs:Mathematik fuer Anwender/Konvergenz von Folgen und Reihen

Konvergenz von Folgen und Reihen

In diesem Kapitel behandeln wir Folgen und Reihen. Als Folge wird in der Mathematik im Allgemeinen die Auflistung von (un)endlich vielen fortlaufend nummerierten Objekten bezeichnet. In den Umweltwissenschaften kommen Folgen eine große Bedeutung zu. Beispielsweise können monatliche Niederschlagsmengen in Form einer Folge (Tupel) dargestellt werden, etwa in der Form (28,20,14,89,66,45,12,7,9,19,38,29), mit der Bedeutung, dass das erste Folgenglied $a_1=28$ die Niederschlagsmenge im Januar repräsentiert und das Folgenglied $a_2=20$ die Niederschlagsmenge im Februar.
Unter einer Reihe im mathematischen Sinn versteht man im Allgemeinen die Summe bestimmter Glieder einer Folge. Im Folgenden wollen wir uns näher mit Folgen und Reihen beschäftigen.

Definition: Reelle Folgen

Es sei $f:\mathbb{N}\to ℝ$ mit $f(n)=a_n$ eine Abbildung.

Dann heißt die Abfolge der Bilder $f(0)=:a_0,f(1)=:a_1,f(2)=:a_2,f(3)=:a_3,\dots$, die wir als unendlich langes Tupel ${\left(a_n\right)}_{n\in \mathbb{N}}=(a_0,a_1,a_2,a_3,\dots )$ schreiben, eine Folge in $ℝ$ bzw. eine reelle Folge.

Beispiel: Reelle Folgen

1. Sei $f:\mathbb{N}\to ℝ$ mit $f(n)=n!$. Dann ist $(0!,1!,2!,3!,4!\dots )=(1,1,2,6,24,\dots )$ eine reelle Folge.
2. Man kann eine Folge auch rekursiv definieren: Z. B. definieren wir $a_0:=0$, $a_1:=1$ und für alle $n\in \mathbb{N}$ mit $n\ge 1$ dann $a_{n+1}:=a_n+a_{n-1}$. Diese reelle Folge ${\left(a_n\right)}_{n\in \mathbb{N}}=(0,1,1,2,3,5,8,13,21,34,55,\dots )$ heißt Fibonacci-Folge.
3. ${\left(a_n\right)}_{n\in {\mathbb{N}}_{>0}}$ mit $a_n=\frac{1}{n}$, also $(1,\frac{1}{2},\frac{1}{3},\frac{1}{4},\frac{1}{5},\dots )$ ist eine reelle Folge.
4. $(1,1,1,1,1,1,1,1,1,\dots )$ ist eine sogenannte konstante Folge.

Bemerkung: Komplexe Folgen

Man kann Folgen auch allgemeiner definieren: Sei beispielsweise $f:\mathbb{N}\to ℂ$ mit $f(n)=a_n$ eine Abbildung. Dann ist ${\left(a_n\right)}_{n\in \mathbb{N}}=(a_0,a_1,a_2,a_3,\dots )$ eine komplexe Folge (d. h. eine Folge in $ℂ$). Alle Folgenglieder $a_i$ sind hier Elemente aus $ℂ$. Ein Beispiel ist die Folge ${\left(a_n\right)}_{n\in \mathbb{N}}$ mit $a_n=(1+2i{)}^n$.

Bemerkung: Folgen in ${ℝ}^m$

Weiter kann man Folgen in ${ℝ}^m$ für $m>1$ definieren. So ist zum Beispiel ${\left(\left(\begin{array}{c}\frac{1}{n}\\ 17\end{array}\right)\right)}_{n\in {\mathbb{N}}_{>0}}=(\left(\begin{array}{c}1\\ 17\end{array}\right),\left(\begin{array}{c}\frac{1}{2}\\ 17\end{array}\right),\left(\begin{array}{c}\frac{1}{3}\\ 17\end{array}\right),\dots )$ eine Folge in ${ℝ}^2$.

Da wir solche Folgen in der Vorlesung nicht wirklich besprechen werden, sind für die Klausur nur reelle Folgen relevant.

Bemerkung: Abstand zwischen Folgengliedern

Wir interessieren uns nun dafür, ob eine vorgegebene Folge, wenn wir die Folgenglieder immer weiter verfolgen, sich irgendwann an einen festen Wert “annähert” und ob alle weiteren Folgenglieder sich nicht mehr oder fast nicht mehr von diesem festen Wert unterscheiden. Um diese Annäherung mathematisch präzise fassen zu können, brauchen wir einen Abstandsbegriff. Hierzu definieren wir den Absolutbetrag.

Definition: Absolutbetrag

Der (Absolut-)Betrag ist definiert durch: $|\cdot |:ℝ\to {ℝ}_{\ge 0}$ mit $|x|=\{\begin{array}{cc}x& \text{ falls }x\ge 0,\\ -x& \text{ falls }x<0.\end{array}$

Beispiel: Absolutbetrag

Durch den Absolutbetrag können wir den Abstand zwischen je zwei reellen $a,b\in ℝ$ durch $|a-b|$ angeben. So ist beispielsweise der Abstand zwischen den reellen Zahlen $-100$ und $5$ dann $|-100-5|=|-105|=105$.

Satz: Rechenregeln für den Absolutbetrag

Für das Rechnen mit Beträgen sind folgende Rechenregeln hilfreich:

1. $\mathrm{\forall }x\in ℝ:$ $|x|=0\iff x=0$ (Definitheit),
   

Verbal: Eine reelle Zahl ist genau dann gleich $0$, wenn ihr Betrag gleich $0$ ist.

1. $\mathrm{\forall }x,y\in ℝ:$ $|x\cdot y|=|x|\cdot |y|$ (Homogenität),
   

Verbal: Der Betrag eines Produkts reeller Zahlen ist das Produkt der Beträge dieser Zahlen.

1. $\mathrm{\forall }x,y\in ℝ:$ $|x+y|\le |x|+|y|$ (Dreiecksungleichung),
   

Verbal: Der Betrag der Summe zweier reeller Zahlen ist kleiner oder gleich der Summe der Beträge dieser Zahlen.

Nun können wir formal sauber die Konvergenz einer reellen Folge definieren:

Definition: Konvergenz einer Folge

Es sei $(a_n{)}_{n\in \mathbb{N}}$ eine Folge in $ℝ$. Gibt es ein Element $a\in ℝ$, für das gilt $\mathrm{\forall }\epsilon >0:\mathrm{\exists }{n}_0\in \mathbb{N}:\mathrm{\forall }n\in \mathbb{N}\text{ mit }n\ge n_0:|a_n-a|<\epsilon ,$ so heißt die Folge $(a_n{)}_{n\in \mathbb{N}}$ konvergent gegen den Grenzwert $a$.

Wir schreiben $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=a.$

Anderenfalls nennen wir die Folge divergent.

Bemerkung: Norm

Wir hatten oben auch eine Verallgemeinerung von reellen Folgen definiert, nämlich komplexwertige Folgen oder Folgen in ${ℝ}^m$ für $m>1$. Analog zur obigen Definition kann man auch für diese Folgen eine Konvergenz definieren. Hierzu benötigt man aber auch eine Verallgemeinerung des Absolutbetrags. Eine solche Verallgemeinerung nennt man eine Norm oder Normfunktion. Mit diesen wollen wir uns an dieser Stelle aber nicht auseinandersetzen.

Konvergenz zusammengesetzter Folgen

Wissen wir von zwei Folgen in $ℝ$, dass sie konvergent sind, so können wir Aussagen über die Konvergenz von Folgen machen, die wir geeignet aus diesen beiden Folgen bauen können:

Lemma: Linearität

Es seien $(a_k{)}_{k\in \mathbb{N}}$ und $(b_k{)}_{k\in \mathbb{N}}$ konvergente Folgen in $ℝ$ und es seien $\alpha ,\beta \in ℝ$. Dann gilt:
Die Folge $(\alpha \cdot a_k+\beta \cdot b_k{)}_{k\in \mathbb{N}}$ ist konvergent und es gilt $\underset{k\to \mathrm{\infty }}{\lim }(\alpha \cdot a_k+\beta \cdot b_k)=\alpha \cdot \underset{k\to \mathrm{\infty }}{\lim }{a}_k+\beta \cdot \underset{k\to \mathrm{\infty }}{\lim }{b}_k.$

Bemerkung: Konvergenz von Folgen

Implizit verwenden wir in diesem Lemma auch, dass wir, genau wie bei Vektoren, Folgen addieren und mit Skalaren multiplizieren dürfen und das Ergebnis wieder eine Folge ist. Jetzt wissen wir aber immer noch nicht, wie wir einfach entscheiden können, ob und wogegen eine gegebene Folge konvergiert, wenn wir dies nicht anhand der Definition der Konvergenz nachprüfen wollen. Um hierfür geeignete Kriterien anzugeben, benötigen wir einige weitere Begriffe:

Definition: Nullfolge, Monotonie, Grenzwert

• Wir nennen eine reelle Folge $(a_k{)}_{k\in \mathbb{N}}$ mit $\underset{k\to \mathrm{\infty }}{\lim }{a}_k=0$ eine Nullfolge.

• Eine reelle Folge $(a_k{)}_{k\in \mathbb{N}}$ heißt

  • • monoton wachsend $⟺\mathrm{\forall }k\in \mathbb{N}:a_k\le a_{k+1};$
    • monoton fallend $⟺\mathrm{\forall }k\in \mathbb{N}:a_k\ge a_{k+1};$
    • nach oben beschränkt $⟺\mathrm{\exists }C\in ℝ:\mathrm{\forall }k\in \mathbb{N}:a_k\le C;$
    • nach unten beschränkt $⟺\mathrm{\exists }C\in ℝ:\mathrm{\forall }k\in \mathbb{N}:a_k\ge C;$
    • beschränkt $⟺\mathrm{\exists }C\in ℝ:\mathrm{\forall }k\in \mathbb{N}:|a_k|\le C;$

• Ist $(a_k{)}_{k\in \mathbb{N}}$ eine reelle Folge, für die gilt: $\mathrm{\forall }C>0:\mathrm{\exists }n\in \mathbb{N}:\mathrm{\forall }k\ge n:a_k>C,$ so schreiben wir $\underset{k\to \mathrm{\infty }}{\lim }{a}_k=\mathrm{\infty }$.

• Ist $(a_k{)}_{k\in \mathbb{N}}$ eine reelle Folge, für die gilt: $\mathrm{\forall }C<0:\mathrm{\exists }n\in \mathbb{N}:\mathrm{\forall }k\ge n:a_k<C,$ so schreiben wir $\underset{k\to \mathrm{\infty }}{\lim }{a}_k=-\mathrm{\infty }$.

Anmerkung zur Definition: Nullfolge, Monotonie, Grenzwert

Die letzen beiden Punkte der Definition waren notwendig, da $\mathrm{\infty }$ und $-\mathrm{\infty }$ keine reellen Zahlen sind. Damit ist die Definition der Konvergenz in den obigen beiden Fällen nicht anwendbar, da wir in den Grenzwert einer (reellen) Folge als eine reelle Zahl definiert hatten.

Der folgende Satz liefert ein sehr gutes (hinreichendes) Kriterium für die Konvergenz reeller Folgen:

Satz: Konvergenz, Monotonie und Beschränktheit

1. Jede reelle Folge, die monoton wachsend und nach oben beschränkt ist, ist konvergent.
2. Jede reelle Folge, die monoton fallend und nach unten beschränkt ist, ist konvergent.
3. Jede konvergente, reelle Folge ist beschränkt. (Die Umkehrung gilt im Allg. nicht!)

Beispiel: Konvergenz, Monotonie und Beschränktheit

• $\underset{n\to \mathrm{\infty }}{\lim }\frac{1}{n}=0$, also ist $(a_n{)}_{n\in {\mathbb{N}}_{>0}}$ mit $a_n=\frac{1}{n}$ eine Nullfolge (Nachweis mit Hilfe der Definition [Konvergenz] an der Tafel). Dass die Folge gegen eine reelle Zahl konvergiert, sieht man auch daran, dass sie monoton fallend und nach unten (z. B. durch $0$) beschränkt ist.
• $(a_n{)}_{n\in {\mathbb{N}}_{>0}}$ mit $a_n=(1+\frac{1}{n}{)}^n$ ist monoton wachsend und z. B. durch $3$ nach oben beschränkt (das rechnen wir nicht nach, das ist auch gar nicht so einfach). Damit konvergiert diese Folge gegen eine (uns unbekannte) reelle Zahl. Wir definieren $\underset{n\to \mathrm{\infty }}{\lim }(1+\frac{1}{n}{)}^n=:e$ ($e$ ist die sog. Eulersche Zahl).
  

Hier sieht man den Nachteil des obigen Satzes: Er liefert zwar die Aussage, dass die Folge konvergiert, aber sagt uns nicht gegen welche reelle Zahl.

• $(a_n{)}_{n\in \mathbb{N}}$ mit $a_n:=n$ konvergiert nicht in $ℝ$, es ist $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=\mathrm{\infty }$.
• $(a_n{)}_{n\in \mathbb{N}}$ mit $a_n:=(-1{)}^n$ besitzt keinen Grenzwert,
  

diese sog. alternierende Folge “hüpft” abwechselnd zwischen $1$ und $-1$ hin und her.
Sie ist weder monoton wachsend noch fallend, aber sie ist nach unten durch $-1$ und nach oben durch $1$ beschränkt.

Lemma: Rechenregeln

Es seien $(a_n{)}_{n\in \mathbb{N}}$ und $(b_n{)}_{n\in \mathbb{N}}$ konvergente reelle Folgen und es seien $\alpha ,\beta \in ℝ$. Dann gelten:

• $\underset{n\to \mathrm{\infty }}{\lim }(\alpha \cdot a_n+\beta \cdot b_n)=\alpha \cdot \underset{n\to \mathrm{\infty }}{\lim }{a}_n+\beta \cdot \underset{n\to \mathrm{\infty }}{\lim }{b}_n$ (steht schon in Lemma [linfolg]).
• $\underset{n\to \mathrm{\infty }}{\lim }(a_n\cdot b_n)=\underset{n\to \mathrm{\infty }}{\lim }{a}_n\cdot \underset{n\to \mathrm{\infty }}{\lim }{b}_n$.
• Gelten zusätzlich $\mathrm{\forall }n\in \mathbb{N}:b_n\ne 0$ und $\underset{n\to \mathrm{\infty }}{\lim }{b}_n\ne 0$, so ist $\underset{n\to \mathrm{\infty }}{\lim }\frac{a_n}{b_n}=\frac{\underset{n\to \mathrm{\infty }}{\lim }{a}_n}{\underset{n\to \mathrm{\infty }}{\lim }{b}_n}$.
• Gilt zusätzlich $\mathrm{\forall }n\in \mathbb{N}:a_n\ge 0$ und ist $m\in \mathbb{N}\setminus \{0\}$, so ist $\underset{n\to \mathrm{\infty }}{\lim }\sqrt[m]{a_n}=\sqrt[m]{\underset{n\to \mathrm{\infty }}{\lim }{a}_n}$.
• Gibt es ein $k\in \mathbb{N}$, sodass für alle $n\ge k$ gilt: $a_n\le b_n$. Dann ist $\underset{n\to \mathrm{\infty }}{\lim }{a}_n\le \underset{n\to \mathrm{\infty }}{\lim }{b}_n$.
• (Quetschlemma) Sei $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=\underset{n\to \mathrm{\infty }}{\lim }{b}_n$ und sei $(c_n{)}_{n\in \mathbb{N}}$ eine weitere reelle Folge, für die es ein $k\in \mathbb{N}$ gibt, sodass für alle $n\ge k$ gilt: $a_n\le c_n\le b_n$. Dann ist $(c_n{)}_{n\in \mathbb{N}}$ konvergent mit $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=\underset{n\to \mathrm{\infty }}{\lim }{c}_n=\underset{n\to \mathrm{\infty }}{\lim }{b}_n$.

Beispiel: Rechenregeln

• Es gilt für jedes $k\in {\mathbb{N}}_{>0}$: $\frac{3k^2+1}{2k^2+2k+4}=\frac{k^2\cdot (3+\frac{1}{k^2})}{k^2\cdot (2+\frac{2}{k}+\frac{4}{k^2})}=\frac{3+\frac{1}{k^2}}{2+\frac{2}{k}+\frac{4}{k^2}}$ und folglich $\underset{k\to \mathrm{\infty }}{\lim }\frac{3+\frac{1}{k^2}}{2+\frac{2}{k}+\frac{4}{k^2}}=\frac{\underset{k\to \mathrm{\infty }}{\lim }3+\frac{1}{k^2}}{\underset{k\to \mathrm{\infty }}{\lim }2+\frac{2}{k}+\frac{4}{k^2}}=\frac{\underset{k\to \mathrm{\infty }}{\lim }3+\underset{k\to \mathrm{\infty }}{\lim }\frac{1}{k^2}}{\underset{k\to \mathrm{\infty }}{\lim }2+\underset{k\to \mathrm{\infty }}{\lim }\frac{2}{k}+\underset{k\to \mathrm{\infty }}{\lim }\frac{4}{k^2}}=\frac{3}{2}.$
• Es gilt für jedes $n\in \mathbb{N}$: $\sqrt[3]{\frac{n+3}{8n+4}}=\sqrt[3]{\frac{1+3\cdot \frac{1}{n}}{8+4\cdot \frac{1}{n}}}$ und $\frac{n+3}{8n+4}\ge 0$. Dann ist auch $\underset{n\to \mathrm{\infty }}{\lim }\sqrt[3]{\frac{n+3}{8n+4}}=\underset{n\to \mathrm{\infty }}{\lim }\sqrt[3]{\frac{1+3\cdot \frac{1}{n}}{8+4\cdot \frac{1}{n}}}=\sqrt[3]{\underset{n\to \mathrm{\infty }}{\lim }\frac{1+3\cdot \frac{1}{n}}{8+4\cdot \frac{1}{n}}}=\sqrt[3]{\frac{1}{8}}=\frac{1}{2}.$

Definition: Reihen

Es sei $(a_k{)}_{k\in \mathbb{N}}$ eine reelle Folge. Die Summe $s_n:=\sum _{k=0}^n{a}_k=a_0+a_1+\dots +a_n$ heißt $n$-te Partialsumme. Die Folge $(s_n{)}_{n\in \mathbb{N}}={\left(\sum _{k=0}^n{a}_k\right)}_{n\in \mathbb{N}}$ heißt Reihe. Genau dann, wenn die Folge der Partialssummen $(s_n{)}_{n\in \mathbb{N}}$ konvergiert, nennen wir die Reihe konvergent. Wir schreiben dann für den Grenzwert $\underset{n\to \mathrm{\infty }}{\lim }\left(\sum _{k=0}^n{a}_k\right)=\sum _{k=0}^{\mathrm{\infty }}{a}_k.$ Nicht konvergente Reihen heißen divergent.

Bemerkung: Reihen

Reihen sind also besondere Folgen und damit gelten auch alle Resultate für Folgen, die wir bisher bewiesen (oder vielmehr behauptet und geglaubt) haben. Aber da Reihen besondere Folgen sind, gelten für sie auch besondere Resultate. Insbesondere gibt es einige nützliche Kriterien, um zu entscheiden, ob eine Reihe konvergiert.

Lemma: Konvergenzkriterien für Reihen

1. Ist die Reihe ${\left(\sum _{k=0}^n{a}_k\right)}_{n\in \mathbb{N}}$ konvergent, so ist die Folge $(a_k{)}_{k\in \mathbb{N}}$ eine Nullfolge.
   

Vorsicht! Die Umkehrung ist im Allg. falsch! Siehe z. B. die erste Reihe in [Beispreihe]

1. Es gelten auch für Reihen die Regeln aus Lemma [rechfolg].
2. (Majorantenkriterium) Seien $(a_k{)}_{k\in \mathbb{N}}$ und $(b_k{)}_{k\in \mathbb{N}}$ zwei Folgen mit $|a_k|\le b_k$ für alle $k\in \mathbb{N}$ und sei die Reihe ${\left(\sum _{k=0}^n{b}_k\right)}_{n\in \mathbb{N}}$ konvergent, so ist auch ${\left(\sum _{k=0}^n{a}_k\right)}_{n\in \mathbb{N}}$ konvergent.
3. (Quotientenkriterium) Ist $\underset{k\to \mathrm{\infty }}{\lim }\left|\frac{a_{k+1}}{a_k}\right|<1$, so ist die Reihe ${\left(\sum _{k=0}^n{a}_k\right)}_{n\in \mathbb{N}}$ konvergent.
   

Ist $\underset{k\to \mathrm{\infty }}{\lim }\left|\frac{a_{k+1}}{a_k}\right|>1$, so ist die Reihe ${\left(\sum _{k=0}^n{a}_k\right)}_{n\in \mathbb{N}}$ divergent.

1. (Wurzelkriterium) Ist $\underset{k\to \mathrm{\infty }}{\lim }\sqrt[k]{|a_k|}<1$, so ist die Reihe ${\left(\sum _{k=0}^n{a}_k\right)}_{n\in \mathbb{N}}$ konvergent.
   

Ist $\underset{k\to \mathrm{\infty }}{\lim }\sqrt[k]{|a_k|}>1$, so ist die Reihe ${\left(\sum _{k=0}^n{a}_k\right)}_{n\in \mathbb{N}}$ divergent.

1. (Leibnizkriterium) Ist $(a_k{)}_{k\in \mathbb{N}}$ eine monoton fallende Nullfolge, so ist die alternierende Reihe ${(\sum _{k=0}^n(-1{)}^k\cdot a_k)}_{n\in \mathbb{N}}$ konvergent.

Beispiele: Konvergenz von Reihen

• Die Reihe ${\left(\sum _{k=1}^n\frac{1}{k}\right)}_{n\in {\mathbb{N}}_{>0}}$ divergiert, es ist $\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k}=\mathrm{\infty }$, obwohl ${\left(\frac{1}{k}\right)}_{k\in {\mathbb{N}}_{>0}}$ eine Nullfolge ist. Diese Reihe heißt harmonische Reihe.
• Die alternierende harmonische Reihe ${(\sum _{k=1}^n(-1{)}^k\cdot \frac{1}{k})}_{n\in {\mathbb{N}}_{>0}}$ dagegen konvergiert nach dem Leibniz-Kriterium.
• Wir betrachten für $q\in ℝ$ die Reihe ${\left(\sum _{k=0}^n{q}^k\right)}_{n\in \mathbb{N}}$, die sogenannte geometrische Reihe.
  

Zuerst betrachten wir die Folge ${\left(q^k\right)}_{k\in \mathbb{N}}$. Ist $|q|\ge 1$, so ist die Folge keine Nullfolge, also divergiert die geometrische Reihe nach dem ersten Punkt in [konvreihe].
Sei also $|q|<1$, so ist zumindest schon einmal $\underset{k\to \mathrm{\infty }}{\lim }{q}^k=0$, wir haben also eine Chance für die Konvergenz der Reihe.
Trick: Wir multiplizieren $\sum _{k=0}^n{q}^k$ mit $(1-q)$ und erhalten $(1-q)\cdot \sum _{k=0}^n{q}^k=\sum _{k=0}^n{q}^k-q\cdot \sum _{k=0}^n{q}^k=\sum _{k=0}^n{q}^k-\sum _{k=0}^n{q}^{k+1}=\sum _{k=0}^n{q}^k-\sum _{k=1}^{n+1}{q}^k=q^0-q^{n+1}=1-q^{n+1}.$ Wir teilen beide Seiten durch $1-q$ (das ist wegen $|q|<1$ ungleich $0$, also ist Teilen erlaubt) und erhalten $\sum _{k=0}^n{q}^k=\frac{1-q^{n+1}}{1-q}.$ Es ist (wieder wegen $|q|<1$) $\underset{n\to \mathrm{\infty }}{\lim }{q}^{n+1}=0$, also ist $\sum _{k=0}^{\mathrm{\infty }}{q}^k=\underset{n\to \mathrm{\infty }}{\lim }\sum _{k=0}^n{q}^k=\underset{n\to \mathrm{\infty }}{\lim }\frac{1-q^{n+1}}{1-q}=\frac{1-\underset{n\to \mathrm{\infty }}{\lim }{q}^{n+1}}{1-q}=\frac{1}{1-q}.$