Partialsummenfolge

In der Mathematik ist eine (unendliche) Reihe eine Folge, deren Glieder (Partialsummen) als Summen der ersten n Glieder einer anderen Folge gegeben sind.

Nomenklatur

Aus jeder Folge $\left(a_i\right)$ kann man eine Reihe $\left(s_n\right)$ konstruieren mittels

$s_n = a_0 + a_1 + \ldots + a_n.$

Wir verwenden als Indizes für die Glieder von Folge und Reihe in diesem Artikel die natürlichen Zahlen einschließlich der Null; in manchen Anwendungen ist es üblich, die Null auszuschließen. Mit Hilfe des Summenzeichens können die einzelnen Glieder der Reihe auch abgekürzt als

$s_n = \sum_{i=0}^n a_i$

geschrieben werden; sie werden auch Partialsummen der Folge (a_i) genannt. Wenn (a_i) und damit auch (s_n) für alle nichtnegativen ganzen Indizes i bzw. n definiert sind, spricht man von einer unendlichen Reihe. Wenn der Grenzwert der Folge der Partialsummen

$S = \lim_{n\rightarrow \infty}s_n = \lim_{n\rightarrow \infty} \left( \sum_{i=0}^n a_i \right)$

existiert, sagt man, die Reihe konvergiert; den Grenzwert S nennt man die Summe der Reihe oder den Wert der Reihe. Mit Hilfe des Summenzeichens kann diese Summe auch abgekürzt als

$S = \sum_{i=0}^\infty a_i$

geschrieben werden.

Eine Reihe (s_n) heißt divergent, wenn sie nicht konvergiert. Sie heißt bestimmt divergent oder uneigentlich konvergent, wenn die Teilsummen (s_n) gegen -∞ oder +∞ streben. Andernfalls heißt die Reihe unbestimmt divergent; dabei kann sie Häufungspunkte haben oder auch nicht.

Mit verschiedenen Konvergenzkriterien lässt sich feststellen, ob eine Reihe konvergiert.

Beispiele

Für einige einfache endliche Reihen kann man die Summe explizit berechnen, beispielsweise für arithmetische Reihen wie

$\sum_{k=1}^{n}{k} = 1+2+\cdots+n = \frac{n(n+1)}{2}$

oder die Summe der ersten n Quadrate lautet

$\sum_{k=1}^{n}{k^2} = 1+2^2+\cdots+n^2 = \frac{n(n+1)(2n+1)}{6}.$

Ein Beweis solcher Formeln kann z. B. über vollständige Induktion erfolgen. Es gibt jedoch auch konstruktive Methoden, Reihen explizit zu summieren: Eulersche Summenformel, Teleskopsummen, Summation und Umordnung bekannter Reihen. Weitere solche Summationsformeln finden sich in der Formelsammlung Algebra.

Eine weitere klassische Reihe ist die geometrische Reihe, der Name ergibt sich aus der geometrischen Folge (a_n = qⁿ für $n \in \mathbb{N}$). Die unendliche geometrische Reihe ist also:

$s = \sum_{n=0}^\infty q^n.$

Weitere Beispiele endlicher Reihen findet man im Artikel Addition.

Eine spezielle geometrische Reihe ist

$s = \sum_{n=0}^\infty \frac{1}{2^n} = 1+\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\frac{1}{16}+\cdots$

Diese Schreibweise bezeichnet nach der oben gegebenen Darstellung den Grenzwert der Folge

$1,\ \frac{3}{2},\ \frac{7}{4},\ \frac{15}{8},\ \ldots$

Man kann die Konvergenz dieser Reihe auf der Zahlengeraden visualisieren: Stellen wir uns eine Linie mit der Länge zwei vor, auf der aufeinanderfolgende Abschnitte mit den Längen 1, 1/2, 1/4, usw. markiert sind. Es gibt auf dieser Linie immer noch Platz für einen weiteren Abschnitt, da immer noch so viel Platz ist, wie der letzte Abschnitt lang war: Wenn wir die Strecke 1/2 markiert haben, haben wir insgesamt 3/2 verbraucht, es bleiben also noch 1/2 übrig. Wenn wir nun 1/4 wegstreichen, bleibt ein weiteres 1/4 übrig, etc. Da das „Reststück“ beliebig klein wird, ist der Grenzwert gleich 2.

Konvergente geometrische Reihen sind auch ein Gegenstand der Paradoxa von Zenon.

Ein Beispiel für eine divergente Reihe mit mehreren Häufungspunkten ist die Summe über die Folge +1,-1,+1,-1,… Die Reihe wechselt zwischen den Werten 1 und 0 (die Folge hingegen wechselt zwischen 1 und −1).

Konvergenzkriterien

Im Folgenden seien die Zahlen a_n stets reelle oder komplexe Zahlen, und die Reihe S definiert als

$S = \sum_{n=0}^\infty a_n.$

Zum Beweis der Konvergenz dieser Reihe gibt es diverse Konvergenzkritierien, die teils die bedingte, teils die stärkere absolute Konvergenz zeigen:

Notwendige Bedingung

Wenn die Reihe S konvergiert, dann konvergiert die Folge (a_n) der Summanden gegen 0 für $n\rightarrow \infty$. Die Umkehrung ist nicht allgemeingültig (ein Gegenbeispiel ist die harmonische Reihe).

Majorantenkriterium

Wenn alle Glieder a_n der Reihe S nichtnegative reelle Zahlen sind, S konvergiert und für alle n

$a_n\geq |b_n|$

mit reellen oder komplexen Zahlen b_n gilt, dann konvergiert auch die Reihe

$T = \sum_{n=0}^\infty b_n$

absolut, und es ist |T| ≤ S.

Minorantenkriterium

Wenn alle Glieder a_n der Reihe S nichtnegative reelle Zahlen sind, S divergiert und für alle n gilt

$a_n\leq b_n$

mit nichtnegativen reellen Zahlen b_n gilt, dann divergiert auch die Reihe

$\sum_{n=0}^\infty b_n$.

Quotientenkriterium

Wenn eine Konstante C < 1 und ein Index N existiert, sodass für alle n ≥ N gilt

$\left| \frac{a_{n+1}}{a_n} \right| \le C,$

dann konvergiert die Reihe S absolut.

Wurzelkriterium

Wenn eine Konstante C < 1 und ein Index N existiert, sodass für alle n ≥ N gilt

$\sqrt[n]{|a_n|} \le C,$

dann konvergiert die Reihe S absolut.

Integralkriterium

Ist $f: [1, \infty] \to [0, \infty]$ eine nichtnegative, monoton fallende Funktion mit

f(n) = a_n für alle n,

dann konvergiert S genau dann, wenn das Integral

$\int_1^\infty f(x) dx$

existiert.

Leibniz-Kriterium

Eine Reihe der Form

$S = \sum_{n=0}^\infty (-1)^n a_n$

mit nichtnegativen a_n wird alternierende Reihe genannt. Eine solche Reihe konvergiert, wenn die Folge a_n monoton gegen 0 konvergiert. Die Umkehrung ist nicht allgemeingültig.

Beispiele

• Eine geometrische Reihe $\sum_{n=0}^\infty z^n$ konvergiert genau dann, wenn | z | < 1.

• Die Reihe $\sum_{n=1}^\infty\frac1{n^r}$ konvergiert, wenn r > 1 und divergiert für $r\le1$, was mit dem Integralkriterium gezeigt werden kann. Als Funktion von r aufgefasst, ergibt diese Reihe die Riemannsche Zetafunktion.

• Die Teleskopreihe $\sum_{n=1}^\infty (b_n-b_{n+1})$ konvergiert genau dann, wenn die Folge b_n für $n\to\infty$ gegen eine Zahl L konvergiert. Der Wert der Reihe ist dann b₁ − L.

Reihen von Funktionen

Anstatt Folgen von Zahlen kann man auch Folgen von Funktionen betrachten und entsprechend Reihen definieren. Hier kommt zur Frage der Konvergenz noch die nach den Eigenschaften der Grenzfunktion hinzu. Umgekehrt kann man fragen, durch welche Reihe sich eine Funktion darstellen lässt. So eine Darstellung nennt sich Reihenentwicklung.

Potenzreihen

Einige wichtige Funktionen können als Taylorreihen dargestellt werden. Diese sind bestimmte unendliche Reihen, in denen Potenzen einer unabhängigen Variable vorkommen. Solche Reihen werden allgemein Potenzreihen genannt. Werden auch negative Potenzen der Variablen zugelassen, spricht man von Laurentreihen.

Fourierreihen

Als Fourierreihe einer Funktion bezeichnet man ihre Entwicklung nach trigonometrischen Funktionen sin(nx) und cos(nx) (n = 0,1,2,3,...).

Dirichletreihen

Als Dirichletreihe bezeichnet man eine Entwicklung

$F(s)=\sum_{n=1}^{\infty} \frac{f(n)}{n^s},$ mit $s=\sigma+it \in \mathbb{C}.$

Ein wichtiges Beispiel ist die Riemannsche Zetafunktion

$\zeta(s)=\sum_{n=1}^{\infty} \frac1{n^s},$ mit $\operatorname{Re}\,s&amp;gt;1$.

Literatur

• K. Knopp: Theorie und Anwendung der unendlichen Reihen. Berlin 1996. ISBN 3-540-59111-7