1.8 Reihen

1.8.1. Definition

Es sei $(a_n{)}_{n\in \mathbb{N}}$ eine Folge reeller Zahlen. Wir schreiben $S_n:=\sum _{j=1}^n{a}_j$ für die Summe der ersten $n$ Folgenglieder.

Die damit definierte Folge $(S_n{)}_{n\in \mathbb{N}}$ nennt man eine (unendliche Reihe, oft schreibt man $\sum _{j=1}^{\mathrm{\infty }}{a}_j,$ und meint damit zunächst die Folge $(S_n{)}_{n\in \mathbb{N}}$.

Unendlich ist die Zahl der Summanden, aber nicht unbedingt die Summe der Reihe.

Man nennt $S_n$ die $n$-te Partialsumme der Reihe $\sum _{j=1}^{\mathrm{\infty }}{a}_j$.

Falls die Folge $(S_n{)}_{n\in \mathbb{N}}$ konvergiert, nennt man die Reihe konvergent, und bezeichnet den Grenzwert als den Wert oder die Summe der Reihe.

Man schreibt dann

$\sum _{j=1}^{\mathrm{\infty }}{a}_j:=\underset{n\to \mathrm{\infty }}{lim}{S}_n$

(obwohl wir diese Bezeichnung eigentlich schon vergeben haben).

Wenn die Folge $(S_n{)}_{n\in \mathbb{N}}$ nicht konvergiert, nennt man die Reihe divergent.

1.8.2 Beispiel

Die Reihe $\sum _{j=1}^{\mathrm{\infty }}\frac{1}{j^2}$ ist konvergent.

1.8.3. Bemerkung

Die Summe der Reihe $\sum _{j=1}^{\mathrm{\infty }}\frac{1}{j^2}$ (also der Grenzwert der Folge ${\left(\sum _{j=1}^n\frac{1}{j^2}\right)}_{n\in \mathbb{N}}$ der Partialsummen) ist $\sum _{j=1}^{\mathrm{\infty }}\frac{1}{j^2}=\frac{{\pi }^2}{6}$.

Dies zu beweisen, übersteigt unsere derzeitigen Möglichkeiten.

1.8.4 Beispiel

Die geometrische Reihe ist gegeben durch $\sum _{j=0}^{\mathrm{\infty }}{q}^j.$

Die Summation beginnt bei $j=0$, nicht bei $j=1$: Das ergibt eine hübschere Formel für die Summe der Reihe.

Für $|q|<1$ gilt ${\displaystyle \sum _{j=0}^{\mathrm{\infty }}{q}^j=\frac{1}{1-q}}$.

1.8.5. Beispiel

Wir betrachten die Folge der Partialsummen

$\begin{array}{rcl}{h}_1& :=& {\displaystyle \frac{1}{1},h_2:=\frac{1}{1}+\frac{1}{2},h_3:=\frac{1}{1}+\frac{1}{2}+\frac{1}{3},}\\ h_n& :=& {\displaystyle \frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}.}\end{array}$

Diese bilden die harmonische Reihe.

Die harmonische Reihe ist nicht konvergent, die Partialsummen wachsen über jede vorgegebene Grenze hinaus.

Um das einzusehen, schätzen wir geeignete Partialsummen nach unten ab (um recht widerwärtige Hauptnenner zu vermeiden):

Für die $2^n$-te Partialsumme $h_{2^n}$ ergibt sich

$\begin{array}{rccccccl}{h}_{2^n}=& 1& +& \frac{1}{2}& +& (\frac{1}{3}+\frac{1}{4})& +& (\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8})\\ & & & & +& \cdots & +& (\frac{1}{2^{n-1}+1}+\frac{1}{2^{n-1}+2}+\cdots +\frac{1}{2^n})\\ >& 1& +& \frac{1}{2}& +& \frac{1}{2}& +& \frac{1}{2}+\cdots +\frac{1}{2}\\ =& 1& +& \frac{n}{2}& & \end{array}$

— und das wird offenbar beliebig groß!

Man benutzt die harmonische Reihe vor allem dazu, die Divergenz anderer Reihen nachzuweisen (vgl. 1.9.12).

1.8.6 Beispiel

Die Exponentialreihe ist gegeben als $\sum _{j=0}^{\mathrm{\infty }}\frac{1}{j!}$ (wir summieren ab $j=0$).

Weil die Summanden $\frac{1}{j!}$ alle positiv sind, ist die Folge der Partialsummen $S_n=\sum _{j=0}^n\frac{1}{j!}$ streng monoton wachsend.

Die Abschätzung $(\ast \ast )$ im Beweis von 1.2.8 besagt $\sum _{j=0}^n\frac{1}{j!}<3$, also gerade $S_n<3$.

Damit ist gezeigt, dass diese Folge beschränkt ist.

Nach dem Satz von Bolzano und Weierstraß 1.6.5 ist die Folge $(S_n{)}_{n\in \mathbb{N}}$ der Partialsummen (und damit die Reihe $\sum _{j=0}^{\mathrm{\infty }}\frac{1}{j!}$) konvergent.

1.8.7 Bemerkung

In 1.2.8 haben wir die Monotonie und Beschränktheit (und damit die Konvergenz) der Folge ${\left({(1+\frac{1}{n})}^n\right)}_{n\in \mathbb{N}}$ nachgewiesen.

Dem Grenzwert dieser Folge haben wir den Namen Eulersche Zahl $\mathrm{e}$ gegeben.

Man kann beweisen, dass auch $\mathrm{e}=\sum _{j=0}^{\mathrm{\infty }}\frac{1}{j!}$ gilt.

Unsere Abschätzungen im Beweisgang in 1.2.8 haben also mehrmals vergröbert, im Endeffekt aber nichts an Genauigkeit verschenkt!