Mathe für Nicht-Freaks: Wurzelkriterium

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Kommen wir nun zum Wurzelkriterium, welches ein mächtiges Kriterium ist, um Konvergenz oder Divergenz einer konkret gegebenen Reihe nachzuweisen. Es basiert auf dem Majorantenkriterium, wobei hier die Konvergenz einer Reihe auf die Konvergenz der geometrischen Reihe $\sum _{k=1}^{\mathrm{\infty }}{q}^k$ mit $0\le q<1$ zurückgeführt wird.

Herleitung

Wiederholung

Wir haben bereits das Majorantenkriterium kennengelernt. Es besagt, dass eine Reihe $\sum _{k=1}^{\mathrm{\infty }}{a}_k$ absolut konvergiert, wenn es eine konvergente Reihe $\sum _{k=1}^{\mathrm{\infty }}{c}_k$ mit $|a_k|\le c_k$ gibt.

Außerdem wissen wir, dass jede geometrische Reihe $\sum _{k=1}^{\mathrm{\infty }}{q}^k$ mit $q\in [0,1)$ konvergiert.

Erste Herleitung

Sei $\sum _{k=1}^{\mathrm{\infty }}{a}_k$ eine Reihe, deren Konvergenz wir mit Hilfe des Majorantenkriteriums nachweisen wollen, indem wir die Konvergenz der Reihe auf die Konvergenz der geometrischen Reihe zurückführen. Um das Majorantenkriterium so anwenden zu können, muss es ein $q\in [0,1)$ mit $|a_k|\le q^k$ geben. Dann ist

Die Reihe $\sum _{k=1}^{\mathrm{\infty }}{a}_k$ konvergiert nach dem Majorantenkriterium absolut. Die Ungleichung $|a_k|\le q^k$ können wir umformen:

Wenn es also ein $q$ mit $0\le q<1$ gibt, so dass $\sqrt[k]{|a_k|}\le q$ ist, dann ist $|a_k|\le q^k$ und die Reihe $\sum _{k=1}^{\mathrm{\infty }}{a}_k$ konvergiert.

Umformulierung mit Limes Superior

Für das Konvergenzverhalten ist der Wert von endlich vielen Summanden egal. Dementsprechend muss auch nicht $\sqrt[k]{|a_k|}\le q$ für alle $k\in \mathbb{N}$ gelten, sondern nur für alle $k\in \mathbb{N}$ bis auf endlich viele Ausnahmen. Es muss also nur für fast alle $k\in \mathbb{N}$ die Ungleichung $\sqrt[k]{|a_k|}\le q$ erfüllt sein.

Die Forderung, dass es ein $q\in [0,1)$ mit $\sqrt[k]{|a_k|}\le q$ für fast alle $k\in \mathbb{N}$ gibt, können wir auch mit dem Limes Superior formulieren:

Anders ausgedrückt:

Ist $\sqrt[k]{|a_k|}\le q$ für fast alle $k$, dann ist die Folge ${\left(\sqrt[k]{|a_k|}\right)}_{k\in \mathbb{N}}$ nach oben beschränkt und muss einen größten Häufungspunkt kleiner gleich $q$ besitzen. Dieser Häufungspunkt ist gleich $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}$ und es gilt $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}\le q$.

Sei umgekehrt $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}\le q$ für ein $q\in [0,1)$. Dann ist für alle $ϵ>0$ die Ungleichung $\sqrt[k]{|a_k|}\le q+ϵ$ für fast alle $k\in \mathbb{N}$ erfüllt. Wegen $q<1$ gibt es ein $ϵ>0$, das klein genug ist, damit auch $q+ϵ<1$ ist. Setzen wir $\tilde{q}=q+ϵ$. Es ist $\tilde{q}<1$ und die Ungleichung $\sqrt[k]{|a_k|}\le \tilde{q}$ ist für fast alle $k$ erfüllt.

Anstelle von $\sqrt[k]{|a_k|}\le q$ für fast alle $k\in \mathbb{N}$ reicht auch $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}<1$, um die Konvergenz der Reihe zu zeigen. Wir können also zusammenfassen: Vorlage:Important

Wurzelkriterium für Divergenz

Wir haben bisher nur das Wurzelkriterium für die Konvergenz einer Reihe kennengelernt. Gibt es auch ein Wurzelkriterium für die Divergenz einer Reihe? Stellen wir uns vor, dass $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}>1$ ist. Dann ist für unendlich viele $k\in \mathbb{N}$ die Ungleichung $\sqrt[k]{|a_k|}\ge 1$ erfüllt. Für diese $k$ gilt $|a_k|\ge 1^k=1$, womit ${(|a_k|)}_{k\in \mathbb{N}}$ keine Nullfolge ist. Damit kann aber auch ${\left(a_k\right)}_{k\in \mathbb{N}}$ keine Nullfolge sein. Aus dem Trivialkriterium folgt dann, dass $\sum _{k=1}^{\mathrm{\infty }}{a}_k$ divergiert. Wir können diesen Fall verallgemeinern, indem wir anstelle von $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}>1$ die Ungleichung $\sqrt[k]{|a_k|}\ge 1$ für unendlich viele $k\in \mathbb{N}$ fordern.

Definition

Das Wurzelkriterium lautet:

Grenzen des Wurzelkriteriums

Im Fall $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}=1$ können wir nichts über Konvergenz bzw. Divergenz der Reihe sagen. Es gibt nämlich sowohl konvergente als auch divergente Reihen, die diese Gleichung erfüllen. Ein Beispiel ist die divergente harmonische Reihe $\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k}$. Es ist

Aber auch die konvergente Reihe $\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^2}$ erfüllt diese Gleichung:

Dies zeigt, dass wir aus $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}=1$ weder zeigen können, dass die Reihe konvergiert, noch dass sie divergiert. Wir müssen also in einem solchen Fall ein anderes Konvergenzkriterium verwenden!

Vorgehen bei der Anwendung des Wurzelkriteriums

Um das Wurzelkriterium auf eine Reihe $\sum _{k=1}^{\mathrm{\infty }}{a}_k$ anzuwenden, können wir folgendermaßen vorgehen: Wir bilden $\sqrt[k]{|a_k|}$ und betrachten dessen Limes (bei Existenz des Limes) bzw. dessen Limes Superior.

1. Ist $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}<1$, dann konvergiert die Reihe absolut.
2. Ist $\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\sqrt[k]{|a_k|}>1$, dann divergiert die Reihe.
3. Ist $\sqrt[k]{|a_k|}\ge 1$ für unendlich viele $k$, dann divergiert die Reihe.
4. Trifft keiner der drei Fälle zu, können wir nichts zum Konvergenzverhalten der Reihe aussagen.

Beispielaufgaben

Beispielaufgabe 1

Datei:Wurzelkriterium Aufgabe Lösung.webm Mathe für Nicht-Freaks: Vorlage:Aufgabe

Beispielaufgabe 2

Datei:Wurzelkriterium Aufgabe Lösung 2.webm

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}