Viele Dozenten stellen gerne Aufgaben, in denen die Konvergenz oder Divergenz einer Reihe bewiesen werden muss. Auf dieser Seite sammeln wir einige Tipps und Tricks, die dir bei solchen Aufgaben helfen. Sie zeigen auch exemplarisch, wie erfahrene Mathematiker Konvergenzaufgaben angehen. Anschließend werden wir diese Vorgehensweisen an mehreren Anwendungsbeispielen veranschaulichen.

Überprüfe zunächst, ob du das Trivialkriterium anwenden kannst. Dieses besagt, dass jede Reihe \sum _{{k=1}}^{\infty }a_{k}, bei der die Folge (a_{k})_{{k\in \mathbb{N} }} nicht gegen null konvergiert, divergieren muss. Bestimme also zunächst den Grenzwert von (a_{k})_{{k\in \mathbb{N} }}. Wenn dieser Grenzwert nicht existiert oder wenn dieser Grenzwert ungleich null ist, dann divergiert die Reihe \sum _{{k=1}}^{\infty }a_{k}. Es kann allerdings vorkommen, dass die Bauart der Folge (a_{k})_{{k\in \mathbb{N} }} zu kompliziert ist, um das Konvergenzverhalten ohne großen Aufwand feststellen zu können. In diesem Fall müssen wir auf die anderen Konvergenzkriterien zurückgreifen. Ist (a_{k})_{{k\in \mathbb{N} }} eine Nullfolge, so müssen wir ebenfalls ein anderes Kriterium anwenden.

Bei Reihen der Form \sum _{{k=1}}^{\infty }{\frac {a_{k}}{b_{k}}} lohnt sich oft eine Überprüfung mit dem Quotientenkriterium. Wenn \limsup _{{k\to \infty }}\left|{\tfrac {{\tfrac {a_{{k+1}}}{b_{{k+1}}}}}{{\tfrac {a_{k}}{b_{k}}}}}\right|=\limsup _{{k\to \infty }}\left|{\tfrac {a_{{k+1}}b_{k}}{b_{{k+1}}a_{k}}}\right|<1, dann konvergiert die Reihe nach dem Quotientenkriterium absolut. Ist \liminf _{{k\to \infty }}\left|{\tfrac {a_{{k+1}}b_{k}}{b_{{k+1}}a_{k}}}\right|>1, dann divergiert die Reihe. Gilt jedoch \liminf _{{k\to \infty }}\left|{\tfrac {a_{{k+1}}b_{k}}{b_{{k+1}}a_{k}}}\right|=1=\limsup _{{k\to \infty }}\left|{\tfrac {a_{{k+1}}b_{k}}{b_{{k+1}}a_{k}}}\right|, so ist keine Konvergenzaussage möglich und wir müssen andere Konvergenzkriterien in Betracht ziehen.

Bei einer Reihe über einer Potenz der Form \sum _{{k=1}}^{\infty }a_{k}^{k} oder \sum _{{k=1}}^{\infty }a_{k}^{{k^{2}}} ist oft das Wurzelkriterium hilfreich. Dieses besagt, dass die Reihe absolut konvergiert, wenn \limsup _{{k\to \infty }}{\sqrt[ {k}]{|a_{k}^{k}|}}=\limsup _{{k\to \infty }}|a_{k}|<1 bzw. \limsup _{{k\to \infty }}{\sqrt[ {k}]{|a_{k}^{{k^{2}}}|}}=\limsup _{{k\to \infty }}|a_{k}^{k}|<1 ist. Ist \limsup _{{k\to \infty }}|a_{k}|>1 bzw. \limsup _{{k\to \infty }}|a_{k}^{k}|>1, so divergiert die Reihe. Konvergiert die Folge (a_{k})_{{k\in \mathbb{N} }} bzw. (a_{k}^{k})_{{k\in \mathbb{N} }}, so gelten die entsprechenden Aussagen mit \lim , statt \limsup . Ist der Limes Superior gleich 1, dann ist das Wurzelkriterium, genau wie das Quotientenkriterium, nicht anwendbar.

Bei alternierenden Folgen kann oft das Leibniz-Kriterium angewandt werden. Dieses besagt, dass jede Reihe der Form \sum _{{k=1}}^{\infty }(-1)^{k}a_{k} oder der Form \sum _{{k=1}}^{\infty }(-1)^{{k+1}}a_{k} konvergiert, wenn die Folge (a_{k})_{{k\in \mathbb{N} }} eine monoton fallende Nullfolge ist. Wichtig ist, dass beide Eigenschaften (monoton fallend und Nullfolge) erfüllt sind. Ist (a_{k})_{{k\in \mathbb{N} }} keine Nullfolge, so divergiert die Reihe nach dem Trivialkriterium. Ist (a_{k})_{{k\in \mathbb{N} }} eine Nullfolge, jedoch nicht monton fallend, so kann die Reihe konvergieren oder divergieren. Dies muss mit einem der anderen Kriterien überprüft werden. Außerdem müssen wir beachten, dass wir mit dem Leibniz-Kriterium nur die Konvergenz und nicht die absolute Konvergenz der Reihe folgern können. Diese muss zusätzlich noch gezeigt bzw. widerlegt werden. Oftmals ist das mit dem Majoranten- bzw. Minorantenkriterium möglich.

Die beiden Kriterien lassen sich häufig bei Reihen der Form \sum _{{k=1}}^{\infty }{\tfrac {P(k)}{Q(k)}} anwenden, wobei P und Q Polynomfunktionen sind. Das Quotienten- sowie das Wurzelkriterium versagen bei Reihen dieser Form. Als Majorante eignet sich häufig die konvergente Reihe \sum _{{k=1}}^{\infty }{\tfrac 1{k^{2}}} und als divergente Minorante die harmonische Reihe \sum _{{k=1}}^{\infty }{\tfrac 1k}. Ansonsten ist auch jede Reihe \sum _{{k=1}}^{\infty }{\tfrac 1{k^{\alpha }}} mit \alpha >1 als Majorante und jede Reihe \sum _{{k=1}}^{\infty }{\tfrac 1{k^{\alpha }}} mit \alpha \leq 1 als Minorante geeignet. Um eine geeignete Majorante zu finden, müssen wir den Zähler P(k) nach oben und den Nenner Q(k) nach unten abschätzen. Um eine geeignete Minorante zu finden, funktioniert es genau umgekehrt. Als Anhaltspunkt, ob die Reihe konvergiert oder divergiert, gilt die folgende Merkregel: Ist {\text{grad}}(P)<{\text{grad}}(Q)-1, so konvergiert die Reihe und wir können das Majorantenkriterium anwenden. Gilt hingegen {\text{grad}}(P)\geq {\text{grad}}(Q)-1, so divergiert die Reihe. In diesem Fall können wir das Minorantenkriterium anwenden. Dabei bezeichnet {\text{grad}}(P) bzw. {\text{grad}}(Q) die größte Potenz des Polynoms P bzw. Q.

Alle Tipps und Tricks haben wir für dich in einem Entscheidungsbaum zusammengefasst:

Betrachten wir zunächst die Reihe

Hier lautet die Koeffizientenfolge

Diese Folge ist eine Nullfolge. \lim _{{k\to \infty }}{\tfrac {k^{a}}{k!}}=0 haben wir für natürliche Zahlen a\in \mathbb{N} bereits bewiesen. Nach dem Sandwichsatz folgt damit auch \lim _{{k\to \infty }}{\tfrac {k^{a}}{k!}}=0 für a\in \mathbb{Q} . Auch ist diese Folge nicht alternierend, da alle Folgenglieder positiv sind. Da es sich um eine Quotientenfolge handelt, liegt es nun auf der Hand, das Quotientenkriterium anzuwenden. Es gilt

Mit den Rechenregeln für Grenzwerte gilt nun

Nach dem Quotientenkriterium konvergiert somit unsere Reihe \sum _{{k=1}}^{\infty }{\tfrac {k^{a}}{k!}} (absolut). Fertig!

Als nächstes sehen wir uns die Reihe

an. Hier ist

Diese Folge ist eine Nullfolge. Dies ist nicht so offensichtlich, wird aber klar, wenn wir a_{k}={\tfrac {k^{k}}{2^{{k^{2}}}}}=\left({\tfrac {k}{2^{k}}}\right)^{k} schreiben. Bedenken wir nun, dass \lim _{{k\to \infty }}{\tfrac {k}{2^{k}}}=0 ist, so folgt auch \lim _{{k\to \infty }}a_{k}=\lim _{{k\to \infty }}\left({\tfrac {k}{2^{k}}}\right)^{k}=0. Alternierend ist die Folge wieder nicht, da alle Glieder positiv sind. Es handelt sich wieder um eine Quotientenfolge. Allerdings besteht der Nenner aus dem Term 2^{{k^{2}}}. Durch Ziehen der k-ten Wurzel vereinfacht sich dieser zu 2^{k}. Ebenso vereinfacht sich der Zähler nach dem Wurzelziehen. Daher wenden wir hier das Wurzelkriterium an. Es gilt

Wegen

konvergiert die Reihe \sum _{{k=1}}^{\infty }{\tfrac {k^{k}}{2^{{k^{2}}}}} nun (absolut).

Als Drittes untersuchen wir die Reihe

auf Konvergenz. Wieder ist

eine Nullfolge. Denn \lim _{{k\to \infty }}|a_{k}|=\lim _{{k\to \infty }}{\tfrac {1}{2k-1}}=0. Da die Folge alternierend ist, bietet sich das Leibniz-Kriterium an. Die Nullfolgeneigenschaft von (b_{k})_{{k\in \mathbb{N} }}=\left({\tfrac 1{2k-1}}\right)_{{k\in \mathbb{N} }} haben wir uns schon überlegt. Als nächstes müssen wir überprüfen, ob (b_{k})_{{k\in \mathbb{N} }} auch monoton fallend ist. Es gilt für alle k\in \mathbb{N} :

Also ist \left({\tfrac 1{2k-1}}\right)_{{k\in \mathbb{N} }} eine monoton fallende Nullfolge und die Reihe \sum _{{k=1}}^{\infty }{\tfrac {(-1)^{k}}{2k-1}} konvergiert. Wir müssen sie nun noch auf absolute Konvergenz untersuchen. Dazu überlegen wir, ob \sum _{{k=1}}^{\infty }\left|{\tfrac {(-1)^{k}}{2k-1}}\right|=\sum _{{k=1}}^{\infty }{\tfrac {1}{2k-1}} konvergiert. Diese kann allerdings nicht konvergieren, denn es gilt

Da die harmonische Reihe \sum _{{k=1}}^{\infty }{\tfrac 1k} divergiert, divergiert auch die Reihe \sum _{{k=1}}^{\infty }{\tfrac 1{2k}}=\sum _{{k=1}}^{\infty }{\tfrac 12}\cdot {\tfrac 1k}. Nach dem Minorantenkriterium divergiert somit die Reihe \sum _{{k=1}}^{\infty }{\tfrac 1{2k-1}}. Unsere Reihe \sum _{{k=1}}^{\infty }{\tfrac {(-1)^{k}}{2k-1}} konvergiert daher nicht absolut.

Als Viertes betrachten wir die Reihe

Hier ist die Koeffizientenfolge (a_{k})_{{k\in \mathbb{N} }} mit

Diese hat die Form {\tfrac {P(k)}{Q(k)}} („Polynom durch Polynom“) mit P(k)=k^{2}-2k+1 und Q(k)=2k^{4}+6. Wegen

konvergiert die Reihe (absolut). Außerdem können wir wegen {\tfrac {k^{2}}{k^{4}}}={\tfrac 1{k^{2}}} die Koeffizientenfolge nach oben durch C\cdot {\tfrac {1}{k^{2}}} mit C\in \mathbb{R} ^{+} abschätzen. Dazu machen wir den Zähler größer und den Nenner kleiner. Es gilt

Da nun die Reihe \sum _{{k=1}}^{\infty }{\tfrac 12}{\tfrac 1{k^{2}}}={\tfrac 12}\sum _{{k=1}}^{\infty }{\tfrac 1{k^{2}}} konvergiert, konvergiert auch die Reihe \sum _{{k=1}}^{\infty }{\tfrac {k^{2}-2k+1}{2k^{4}+6}} (absolut).

Als Letztes betrachten wir noch die Reihe

Dieses Beispiel soll veranschaulichen, dass bei alternierenden Reihen nicht immer zwangsläufig das Leibniz-Kriterium angewendet werden kann. Der Grund liegt in diesem Fall darin, dass die Koeffizientenfolge (a_{k})_{{k\in \mathbb{N} }} mit a_{k}=(-1)^{k}\left({\tfrac k{k+1}}\right) keine Nullfolge ist. Es gilt nämlich

Also ist (|a_{k}|)_{{k\in \mathbb{N} }} keine Nullfolge und damit gilt dies auch für (a_{k})_{{k\in \mathbb{N} }}. Die Reihe \sum _{{k=1}}^{\infty }(-1)^{{k}}\left({\tfrac {k}{k+1}}\right) divergiert daher nach dem Trivialkriterium .