Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil I/Vorlesung 9

„Kultur ist Reichtum an Problemen.“

Egon Friedell

... und ein Vorlesungsminischwein diskutiert.

Reihen

Wir haben in der letzten Vorlesung gesagt, dass man eine Dezimalentwicklung, also eine (unendliche) Ziffernfolge mit Ziffern zwischen ${}0$ und ${}9$ als eine wachsende Folge von rationalen Zahlen auffassen kann. Dabei hat die ${}n$-te Nachkommastelle ${}z_{-n}$ die Bedeutung, dass ${}z_{-n}\cdot 10^{-n}$ zur vorhergehenden Approximation hinzu zu addieren ist. Die Ziffernfolge gibt also in Verbindung mit den inversen Zehnerpotenzen die Differenz der Folgenglieder an, und die Folgenglieder ergeben sich durch Aufsummieren dieser Differenzen. Diese Sichtweise führt zum Begriff der Reihe.

Definition

Es sei ${}{\left(a_{k}\right)}_{k\in \mathbb {N} }$ eine Folge von reellen Zahlen. Unter der Reihe ${}\sum _{k=0}^{\infty }a_{k}$ versteht man die Folge ${}{\left(s_{n}\right)}_{n\in \mathbb {N} }$ der Partialsummen

${}s_{n}:=\sum _{k=0}^{n}a_{k}\,.$

Falls die Folge ${}{\left(s_{n}\right)}_{n\in \mathbb {N} }$ konvergiert, so sagt man, dass die Reihe konvergiert. In diesem Fall schreibt man für den Grenzwert ebenfalls

$\sum _{k=0}^{\infty }a_{k}$

und nennt ihn die Summe der Reihe.

Alle Begriffe für Folgen übertragen sich auf Reihen, indem man eine Reihe ${}\sum _{k=0}^{\infty }a_{k}$ als Folge der Partialsummen ${}s_{n}=\sum _{k=0}^{n}a_{k}$ auffasst. Wie schon bei Folgen kann es sein, dass die Summation nicht bei ${}k=0$, sondern bei einer anderen Zahl beginnt.

Beispiel

Wir wollen die Reihe

$\sum _{k=1}^{\infty }{\frac {1}{k(k+1)}}$

berechnen, wozu wir zuerst eine Formel für die ${}n$-te Partialsumme angeben. Es ist

${}s_{n}=\sum _{k=1}^{n}{\frac {1}{k(k+1)}}=\sum _{k=1}^{n}{\left({\frac {1}{k}}-{\frac {1}{k+1}}\right)}=1-{\frac {1}{n+1}}={\frac {n}{n+1}}\,.$

Diese Folge konvergiert gegen ${}1$, sodass die Reihe konvergiert und ihre Summe gleich ${}1$ ist.

Lemma

Es seien

$\sum _{k=0}^{\infty }a_{k}{\text{ und }}\sum _{k=0}^{\infty }b_{k}$

konvergente Reihen von reellen Zahlen mit den Summen ${}s$ und ${}t$. Dann gelten folgende Aussagen.

1. Die Reihe ${}\sum _{k=0}^{\infty }c_{k}$ mit ${}c_{k}:=a_{k}+b_{k}$ ist ebenfalls konvergent mit der Summe ${}s+t$.
2. Für ${}r\in \mathbb {R}$ ist auch die Reihe ${}\sum _{k=0}^{\infty }d_{k}$ mit ${}d_{k}:=ra_{k}$ konvergent mit der Summe ${}rs$.

Beweis

Siehe Aufgabe 9.8.

$\Box$

Lemma

Es sei

$\sum _{k=0}^{\infty }a_{k}$

eine Reihe von reellen Zahlen.

Dann ist die Reihe genau dann konvergent, wenn das folgende Cauchy-Kriterium erfüllt ist: Zu jedem ${}\epsilon >0$ gibt es ein ${}n_{0}$ derart, dass für alle

${}n\geq m\geq n_{0}\,$

die Abschätzung

${}\vert {\sum _{k=m}^{n}a_{k}}\vert \leq \epsilon \,$

gilt.

Beweis

Siehe Aufgabe 9.9.

$\Box$

Lemma

Es sei

$\sum _{k=0}^{\infty }a_{k}$

eine konvergente Reihe von reellen Zahlen.

Dann ist

${}\lim _{k\rightarrow \infty }a_{k}=0\,.$

Beweis

Dies folgt direkt aus Lemma 9.4.

$\Box$

Nikolaus von Oresme (1330-1382) bewies, dass die harmonische Reihe divergiert.

Es ist also eine notwendige Bedingung für die Konvergenz einer Reihe, dass die Reihenglieder eine Nullfolge bilden. Diese Bedingung ist nicht hinreichend, wie die harmonische Reihe zeigt.

Beispiel

Die harmonische Reihe ist die Reihe

$\sum _{k=1}^{\infty }{\frac {1}{k}}.$

Es geht also um die „unendliche Summe“ der Stammbrüche

$1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{7}}+{\frac {1}{8}}+\ldots .$

Diese Reihe divergiert: Für die ${}2^{n}$ Zahlen ${}k=2^{n}+1,\ldots ,2^{n+1}$ ist

${}\sum _{k=2^{n}+1}^{2^{n+1}}{\frac {1}{k}}\geq \sum _{k=2^{n}+1}^{2^{n+1}}{\frac {1}{2^{n+1}}}=2^{n}{\frac {1}{2^{n+1}}}={\frac {1}{2}}\,.$

Daher ist

${}\sum _{k=1}^{2^{n+1}}{\frac {1}{k}}=1+\sum _{i=0}^{n}\left(\sum _{k=2^{i}+1}^{2^{i+1}}{\frac {1}{k}}\right)\geq 1+(n+1){\frac {1}{2}}\,.$

Damit ist die Folge der Partialsummen unbeschränkt und kann nach Lemma 7.9 nicht konvergent sein.

Aus der Divergenz der harmonischen Reihe folgt, dass man einen beliebig weiten Überhang mit gleichförmigen Bauklötzen bauen kann.

Die folgende Aussage heißt Leibnizkriterium für alternierende Reihen.

Satz

Es sei ${}{\left(x_{k}\right)}_{k\in \mathbb {N} }$ eine fallende Nullfolge von nichtnegativen reellen Zahlen.

Dann konvergiert die Reihe ${}\sum _{k=0}^{\infty }(-1)^{k}x_{k}$.

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Wir setzen

${}s_{n}=\sum _{k=0}^{n}(-1)^{k}x_{k}\,.$

Wir betrachten die Teilfolge mit geradem Index. Für jedes ${}n$ gilt wegen ${}x_{2n+2}\leq x_{2n+1}$ die Beziehung

${}s_{2(n+1)}=s_{2n}-x_{2n+1}+x_{2n+2}\leq s_{2n}\,,$

d.h. diese Teilfolge ist fallend. Ebenso ist die Folge der ungeraden Teilsummen wachsend. Es gelten die Abschätzungen

${}s_{0}\geq s_{2n}\geq s_{2n-1}\geq s_{1}\,.$

Daher sind die beiden Teilfolgen fallend und nach unten beschränkt bzw. wachsend und nach oben beschränkt, und daher wegen Korollar 8.10 konvergent. Wegen ${}s_{2n}-s_{2n-1}=x_{2n}$ und ${}\lim _{n\rightarrow \infty }x_{n}=0$ stimmen die Grenzwerte überein.

$\Box$

 

Absolute Konvergenz

Definition

Eine Reihe

$\sum _{k=0}^{\infty }a_{k}$

von reellen Zahlen heißt absolut konvergent, wenn die Reihe

$\sum _{k=0}^{\infty }\vert {a_{k}}\vert$

konvergiert.

Lemma

Eine absolut konvergente Reihe von reellen Zahlen

konvergiert.

Beweis

Es sei ${}\epsilon >0$ vorgegeben. Wir wenden das Cauchy-Kriterium an. Aufgrund der absoluten Konvergenz gibt es ein ${}n_{0}$ derart, dass für alle ${}n\geq m\geq n_{0}$ die Abschätzung

${}\vert {\sum _{k=m}^{n}\vert {a_{k}}\vert \,}\vert =\sum _{k=m}^{n}\vert {a_{k}}\vert \leq \epsilon \,$

gilt. Daher ist

${}\vert {\sum _{k=m}^{n}a_{k}}\vert \leq \vert {\sum _{k=m}^{n}\vert {a_{k}}\vert \,}\vert \leq \epsilon \,,$

was die Konvergenz bedeutet.

$\Box$

Beispiel

Eine konvergente Reihe muss nicht absolut konvergieren, d.h. Satz 9.9 lässt sich nicht umkehren. Aufgrund des Leibnizkriteriums konvergiert die alternierende harmonische Reihe

${}\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+{\frac {1}{5}}-\ldots \,,$

und zwar ist ihr Grenzwert ${}\ln 2$, was wir hier aber nicht beweisen. Die zugehörige absolute Reihe ist aber die harmonische Reihe, die nach Beispiel 9.6 divergiert.

Die folgende Aussage heißt das Majorantenkriterium.

Lemma

Es sei ${}\sum _{k=0}^{\infty }b_{k}$ eine konvergente Reihe von reellen Zahlen und ${}{\left(a_{k}\right)}_{k\in \mathbb {N} }$ eine Folge reeller Zahlen mit ${}\vert {a_{k}}\vert \leq b_{k}$ für alle ${}k$.

Dann ist die Reihe

$\sum _{k=0}^{\infty }a_{k}$

absolut konvergent.

Beweis

Das folgt direkt aus dem Cauchy-Kriterium.

$\Box$

Beispiel

Wir wollen bestimmen, ob die Reihe

${}\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}=1+{\frac {1}{4}}+{\frac {1}{9}}+{\frac {1}{16}}+{\frac {1}{25}}+\ldots \,$

konvergiert oder nicht. Dazu ziehen wir das Majorantenkriterium und Beispiel 9.2 heran, wo wir die Konvergenz von ${}\sum _{k=1}^{n}{\frac {1}{k(k+1)}}$ gezeigt haben. Für ${}k\geq 2$ ist

${}{\frac {1}{k^{2}}}\leq {\frac {1}{k(k-1)}}\,.$

Daher konvergiert ${}\sum _{k=2}^{\infty }{\frac {1}{k^{2}}}$ und somit auch ${}\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}$. Über den Wert der Summe ist damit noch nichts gesagt. Mit deutlich aufwändigeren Methoden (siehe Korollar 23.11 (Maß- und Integrationstheorie (Osnabrück 2022-2023))) kann man zeigen, dass diese Summe gleich ${}{\frac {\pi ^{2}}{6}}$ ist.

Die geometrische Reihe und das Quotientenkriterium

Dieses Bild veranschaulicht das Verhalten der geometrischen Reihe zu ${}x={\frac {1}{4}}$. Die Grundseite des Quadrates sei ${}2$, dann passt die geometrische Reihe dreimal in dieses Quadrat rein. Der jeweilige Flächeninhalt der drei Reihen ist ${}{\frac {4}{3}}$.

Die Reihe ${}\sum _{k=0}^{\infty }x^{k}$ heißt geometrische Reihe zu ${}x\in \mathbb {R}$, es geht also um die Summe

$1+x+x^{2}+x^{3}+\ldots .$

Die Konvergenz hängt wesentlich vom Betrag von ${}x$ ab.

Satz

Für alle reellen Zahlen ${}x$ mit ${}\vert {x}\vert <1$ konvergiert die Reihe ${}\sum _{k=0}^{\infty }x^{k}$ absolut und es gilt

${}\sum _{k=0}^{\infty }x^{k}={\frac {1}{1-x}}\,.$

Beweis

Für jedes ${}x$ und jedes ${}n\in \mathbb {N}$ gilt die Beziehung

${}(x-1){\left(\sum _{k=0}^{n}x^{k}\right)}=x^{n+1}-1\,$

und daher gilt für die Partialsummen die Beziehung (bei ${}x\neq 1$)

${}s_{n}=\sum _{k=0}^{n}x^{k}={\frac {x^{n+1}-1}{x-1}}\,.$

Für ${}n\rightarrow \infty$ und ${}\vert {x}\vert <1$ konvergiert dies wegen [[Angeordneter Körper/Konvergente Folgen/Rechenregeln/Fakt|Lemma 8.1 ]] und Aufgabe 8.22 gegen ${}{\frac {-1}{x-1}}={\frac {1}{1-x}}$.

$\Box$

Die folgende Aussage heißt Quotientenkriterium.

Satz

Es sei

$\sum _{k=0}^{\infty }a_{k}$

eine Reihe von reellen Zahlen. Es gebe eine reelle Zahl ${}q$ mit ${}0\leq q<1$ und ein ${}k_{0}$

${}\vert {\frac {a_{k+1}}{a_{k}}}\vert \leq q\,$

für alle ${}k\geq k_{0}$(insbesondere sei ${}a_{k}\neq 0$ für ${}k\geq k_{0}$).

Dann konvergiert die Reihe ${}\sum _{k=0}^{\infty }a_{k}$ absolut.

Beweis

Die Konvergenz ändert sich nicht, wenn man endlich viele Glieder ändert. Daher können wir ${}k_{0}=0$ annehmen. Ferner können wir annehmen, dass alle ${}a_{k}$ positive reelle Zahlen sind. Es ist

${}a_{k}={\frac {a_{k}}{a_{k-1}}}\cdot {\frac {a_{k-1}}{a_{k-2}}}{\cdots }{\frac {a_{1}}{a_{0}}}\cdot a_{0}\leq a_{0}\cdot q^{k}\,.$

Somit folgt die Konvergenz aus dem Majorantenkriterium und der Konvergenz der geometrischen Reihe.

$\Box$

Beispiel

Unter den Kochschen Schneeflocken versteht man die Folge ${}K_{n}$ der folgendermaßen rekursiv definierten ebenen Figuren: Die Ausgangsfigur ${}K_{0}$ ist ein gleichseitiges Dreieck. Die Figur ${}K_{n+1}$ entsteht aus ${}K_{n}$, indem man in jeder Begrenzungskante von ${}K_{n}$ das mittlere Drittel durch die beiden Schenkel eines darauf aufgesetzten nach außen gerichteten gleichmäßigen Dreiecks ersetzt.

Es sei ${}A_{n}$ der Flächeninhalt und ${}L_{n}$ die Länge des Randes der ${}n$-ten Kochschen Schneeflocke. Wir wollen zeigen, dass die Folge ${}A_{n}$ konvergiert und die Folge ${}L_{n}$ bestimmt gegen ${}\infty$ divergiert.

Die Anzahl der Kanten von ${}K_{n}$ ist ${}3\cdot 4^{n}$, da bei jedem Unterteilungsschritt eine Kante durch vier Kanten ersetzt wird, deren Länge ${}1/3$ der Länge der Vorgängerkante ist. Es sei ${}r$ die Seitenlänge des gleichseitigen Ausgangsdreiecks. Dann besteht ${}K_{n}$ aus ${}3\cdot 4^{n}$ Kanten der Länge ${}r{\left({\frac {1}{3}}\right)}^{n}$ und die Gesamtlänge der Kanten von ${}K_{n}$ ist gleich

${}L_{n}=3\cdot 4^{n}r{\left({\frac {1}{3}}\right)}^{n}=3r{\left({\frac {4}{3}}\right)}^{n}\,.$

Wegen ${}{\frac {4}{3}}>1$ divergiert dies gegen ${}\infty$.

Beim Übergang von ${}K_{n}$ nach ${}K_{n+1}$ kommt für jede Kante ein neues Dreieck mit gedrittelter Seitenlänge hinzu. Der Flächeninhalt eines gleichseitigen Dreiecks mit Seitenlänge ${}s$ ist ${}{\frac {\sqrt {3}}{4}}s^{2}$ (Grundseite mal Höhe durch ${}2$). Im Schritt von ${}K_{n}$ nach ${}K_{n+1}$ kommen somit ${}3\cdot 4^{n}$ Dreiecke mit dem Flächeninhalt ${}{\frac {\sqrt {3}}{4}}{\left({\frac {1}{3}}\right)}^{2(n+1)}r^{2}={\frac {\sqrt {3}}{4}}r^{2}{\left({\frac {1}{9}}\right)}^{n+1}$ hinzu. Daher ist der Gesamtflächeninhalt von ${}K_{n}$ gleich

${}{\begin{aligned}&\,{\frac {\sqrt {3}}{4}}r^{2}\left(1+3{\frac {1}{9}}+12\left({\frac {1}{9}}\right)^{2}+48\left({\frac {1}{9}}\right)^{3}+\cdots +3\cdot 4^{n-1}\left({\frac {1}{9}}\right)^{n}\right)\\&={\frac {\sqrt {3}}{4}}r^{2}\left(1+{\frac {3}{4}}\left({\frac {4}{9}}\right)^{1}+{\frac {3}{4}}\left({\frac {4}{9}}\right)^{2}+{\frac {3}{4}}\left({\frac {4}{9}}\right)^{3}+\cdots +{\frac {3}{4}}\left({\frac {4}{9}}\right)^{n}\right).\end{aligned}}$

Wenn wir hinten die erste ${}1$ und den Faktor ${}{\frac {3}{4}}$ ignorieren, was die Konvergenzeigenschaft nicht ändert, so steht in der Klammer die Partialsumme einer geometrischen Reihe zu ${}{\frac {4}{9}}$, welche konvergiert.

Fußnoten

<< | Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)