Cauchysches Verdichtungskriterium – „Mathe für Nicht-Freaks“

In diesem Kapitel wollen wir das Verdichtungskriterium oder auch Kondensationskriterium (nach Augustin Louis Cauchy) behandeln. Es bietet die Möglichkeit, die Konvergenz beziehungsweise Divergenz einer Reihe $\sum_{k = 1}^{\infty} a_{k}$ auf die der verdichteten Reihe $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ zurückzuführen. Genauer besagt das Kriterium, dass die Reihe genau dann konvergiert, wenn die verdichtete Reihe konvergiert. Um das Kriterium herzuleiten, verwenden wir dieselben Ideen, die wir für die Divergenz der harmonischen Reihe $\sum_{k = 1}^{\infty} \frac{1}{k}$ beziehungsweise die Konvergenz der verallgemeinerten harmonischen Reihe $\sum_{k = 1}^{\infty} \frac{1}{k^{α}}$ für $α > 1$ benutzt haben.

Wiederholung und Herleitung des Kriteriums

Für die Divergenz der harmonischen Reihe $\sum_{k = 1}^{\infty} \frac{1}{k}$ hatten wir die $2^{n}$ -te Partialsumme $\sum_{k = 1}^{2^{n}} \frac{1}{k}$ nach unten wie folgt abgeschätzt:

\begin{matrix} \sum_{k = 1}^{2^{n}} \frac{1}{k} & = 1 + \frac{1}{2} + (\frac{1}{3} + \frac{1}{4}) + (\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}) + \dots + (\frac{1}{2^{n - 1} + 1} + \dots + \frac{1}{2^{n} - 1} + \frac{1}{2^{n}}) \\ ↓ Summanden abschätzen: \frac{1}{3} \geq \frac{1}{4} \land \frac{1}{5} \geq \frac{1}{6} \geq \frac{1}{7} \geq \frac{1}{8} \land \dots \\ \geq 1 + \frac{1}{2} + (\frac{1}{4} + \frac{1}{4}) + (\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}) + \dots + (\frac{1}{2^{n}} + \dots + \frac{1}{2^{n}} + \frac{1}{2^{n}}) \\ ↓ Summanden zusammenfassen \\ = 1 + \frac{1}{2} + 2 \cdot \frac{1}{4} + 4 \cdot \frac{1}{8} + \dots + 2^{n - 1} \cdot \frac{1}{2^{n}} \\ = 1 + \underset{n Summanden}{\underset{⏟}{\frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \dots + \frac{1}{2}}} = 1 + \frac{n}{2} \end{matrix}

Die Frage ist nun, inwieweit wir diese Konzepte auf eine allgemeine Reihe $\sum_{k = 1}^{\infty} a_{k}$ mit denselben Eigenschaften wie die harmonische Reihe anwenden können. Im Wesentlichen haben wir bei der Abschätzung verwendet, dass die Glieder der harmonischen Reihe nichtnegativ und monoton fallend waren.

Sei also $\sum_{k = 1}^{\infty} a_{k}$ eine Reihe mit nichtnegativen Gliedern und $a_{k} \geq a_{k + 1}$ für alle $k \in ℕ$ . Dann gilt

\begin{matrix} \sum_{k = 1}^{2^{n}} a_{k} & = a_{1} + a_{2} + (a_{3} + a_{4}) + (a_{5} + a_{6} + a_{7} + a_{8}) + \dots + (a_{2^{n - 1} + 1} + \dots + a_{2^{n} - 1} + a_{2^{n}}) \\ ↓ Summanden abschätzen: a_{3} \geq a_{4} \land a_{5} \geq a_{6} \geq a_{7} \geq a_{8} \land \dots \\ \geq a_{1} + a_{2} + (a_{4} + a_{4}) + (a_{8} + a_{8} + a_{8} + a_{8}) + \dots + (a_{2^{n}} + \dots + a_{2^{n}} + a_{2^{n}}) \\ ↓ Summanden zusammenfassen \\ = a_{1} + a_{2} + 2 \cdot a_{4} + 4 \cdot a_{8} + \dots + 2^{n - 1} \cdot a_{2^{n}} \\ ↓ Index und Vorfaktor anpassen \\ \geq \frac{1}{2} a_{1} + \frac{1}{2} 2 a_{2} + \frac{1}{2} 4 a_{4} + \frac{1}{2} 8 a_{8} + \dots + \frac{1}{2} 2^{n} a_{2^{n}} \\ ↓ \frac{1}{2} ausklammern \\ = \frac{1}{2} (a_{1} + 2 a_{2} + 4 a_{4} + 8 a_{8} + \dots + 2^{n} a_{2^{n}}) \\ = \frac{1}{2} \sum_{k = 0}^{n} 2^{k} a_{2^{k}} \end{matrix}

Also haben wir $\sum_{k = 1}^{2^{n}} a_{k}$ nach unten durch $\frac{1}{2} \sum_{k = 0}^{n} 2^{k} a_{2^{k}}$ abgeschätzt. Divergiert $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ und damit auch $\frac{1}{2} \sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ , so divergiert $\sum_{k = 1}^{2^{n}} a_{k}$ nach dem Minorantenkriterium. Da die Folge ${(\sum_{k = 1}^{2^{n}} a_{k})}_{n \in ℕ}$ eine Teilfolge der Partialsummenfolge ${(\sum_{k = 1}^{\infty} a_{k})}_{n \in ℕ}$ ist und da aus der Divergenz einer Teilfolge die Divergenz der gesamten Folge folgt, muss auch $\sum_{k = 1}^{\infty} a_{k}$ divergieren. Über das Prinzip der Kontraposition erhält man: Konvergiert $\sum_{k = 1}^{\infty} a_{k}$ , so konvergiert auch $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ .

Des Weiteren hatten wir für die Konvergenz der verallgemeinerten harmonischen Reihe $\sum_{k = 1}^{\infty} \frac{1}{k^{α}}$ mit $α > 1$ die $n$ -te Partialsumme $\sum_{k = 1}^{n} \frac{1}{k^{α}}$ für $n \leq 2^{m + 1} - 1$ nach oben durch die konvergente geometrische Reihe $\sum_{i = 0}^{m} {(\frac{1}{2^{α - 1}})}^{i}$ abgeschätzt. Dazu haben wir die folgende Abschätzung verwendet:

\begin{matrix} \sum_{k = 1}^{n} \frac{1}{k^{α}} & \leq \sum_{k = 1}^{2^{m + 1} - 1} \frac{1}{k^{α}} \\ = 1 + \frac{1}{2^{α}} + \frac{1}{3^{α}} + (\frac{1}{4^{α}} + \frac{1}{5^{α}} + \frac{1}{6^{α}} + \frac{1}{7^{α}}) + \dots + \underset{2^{m} Summanden}{\underset{⏟}{(\frac{1}{(2^{m})^{α}} + \dots + \frac{1}{(2^{m + 1} - 1)^{α}})}} \\ ↓ \frac{1}{3^{α}} \leq \frac{1}{2^{α}} \land \frac{1}{7^{α}} \leq \frac{1}{6^{α}} \leq \frac{1}{5^{α}} \leq \frac{1}{4^{α}} \land \dots \land \frac{1}{(2^{m + 1} - 1)^{α}} \leq \dots \leq \frac{1}{(2^{m})^{α}} (da α > 1) \\ \leq 1 + \frac{1}{2^{α}} + \frac{1}{2^{α}} + (\frac{1}{4^{α}} + \frac{1}{4^{α}} + \frac{1}{4^{α}} + \frac{1}{4^{α}}) + \dots + \underset{2^{m} Summanden}{\underset{⏟}{(\frac{1}{(2^{m})^{α}} + \dots + \frac{1}{(2^{m})^{α}})}} \\ = 1 + (2 \cdot \frac{1}{2^{α}}) + 4 \cdot \frac{1}{4^{α}} + \dots + 2^{m} \cdot \frac{1}{(2^{m})^{α}} \\ = 1 + \frac{1}{2^{α - 1}} + \frac{1}{4^{α - 1}} + \dots + \frac{1}{(2^{m})^{α - 1}} \\ = \frac{1}{(2^{α - 1})^{0}} + \frac{1}{(2^{α - 1})^{1}} + \frac{1}{(2^{α - 1})^{2}} + \dots + \frac{1}{(2^{α - 1})^{m}} \\ = \sum_{i = 0}^{m} \frac{1}{(2^{α - 1})^{i}} \leq \sum_{i = 0}^{\infty} {(\frac{1}{2^{α - 1}})}^{i} = \frac{1}{1 - 2^{1 - α}} < \infty \end{matrix}

Dies versuchen wir nun wieder auf eine Reihe $\sum_{k = 1}^{\infty} a_{k}$ mit nichtnegativen Gliedern und $a_{k + 1} \leq a_{k}$ für alle $k \in ℕ$ zu verallgemeinern: Sei $n \leq 2^{m + 1} - 1$ , dann gilt

\begin{matrix} \sum_{k = 1}^{n} a_{k} & \leq \sum_{k = 1}^{2^{m + 1} - 1} a_{k} \\ = a_{1} + a_{2} + a_{3} + (a_{4} + a_{5} + a_{6} + a_{7}) + \dots + \underset{2^{m} Summanden}{\underset{⏟}{(a_{2^{m}} + \dots + a_{2^{m + 1} - 1})}} \\ ↓ a_{3} \leq a_{2} \land a_{7} \leq a_{6} \leq a_{5} \leq a_{4} \land \dots \land a_{2^{m + 1} - 1} \leq \dots \leq a_{2^{m}} \\ \leq a_{1} + a_{2} + a_{2} + (a_{4} + a_{4} + a_{4} + a_{4}) + \dots + \underset{2^{m} Summanden}{\underset{⏟}{(a_{2^{m}} + \dots + a_{2^{m}})}} \\ = a_{1} + 2 \cdot a_{2} + 4 \cdot a_{4} + \dots + 2^{m} \cdot a_{2^{m}} \\ = \sum_{k = 0}^{m} 2^{k} a_{2^{k}} \end{matrix}

Damit haben wir $\sum_{k = 1}^{n} a_{k}$ nach oben durch $\sum_{k = 0}^{n} 2^{k} a_{2^{k}}$ abgeschätzt. Damit folgt: Konvergiert die Reihe $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ , so konvergiert auch die Reihe $\sum_{k = 1}^{\infty} a_{k}$ .

Insgesamt haben wir die Äquivalenz der Konvergenz der Reihe $\sum_{k = 1}^{n} a_{k}$ und der verdichteten Reihe $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ gezeigt. Dieses Resultat ist das Verdichtungskriterium für Reihen. Es ist durchaus nützlich, da es Beispiele von Reihen gibt, bei denen die Konvergenz beziehungsweise Divergenz der verdichteten Reihe wesentlich leichter zu bestimmen ist als bei der ursprünglichen Reihe.

Satz (Verdichtungskriterium)

Sei $(a_{n})_{n \in ℕ}$ eine nichtnegative und monoton fallende Folge, dann konvergiert die Reihe $\sum_{k = 1}^{\infty} a_{k}$ genau dann, wenn die Reihe $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ konvergiert.

Beweis (Verdichtungskriterium)

Beweisschritt: " $\Rightarrow$ "

Für die Teilfolge $(S_{2^{n}})$ gilt

\begin{matrix} \sum_{k = 1}^{2^{n}} a_{k} & = a_{1} + a_{2} + (a_{3} + a_{4}) + (a_{5} + a_{6} + a_{7} + a_{8}) + \dots + (a_{2^{n - 1} + 1} + \dots + a_{2^{n} - 1} + a_{2^{n}}) \\ ↓ Summanden abschätzen: a_{3} \geq a_{4} \land a_{5} \geq a_{6} \geq a_{7} \geq a_{8} \land \dots \\ \geq a_{1} + a_{2} + (a_{4} + a_{4}) + (a_{8} + a_{8} + a_{8} + a_{8}) + \dots + (a_{2^{n}} + \dots + a_{2^{n}} + a_{2^{n}}) \\ ↓ Summanden zusammenfassen \\ = a_{1} + a_{2} + 2 \cdot a_{4} + 4 \cdot a_{8} + \dots + 2^{n - 1} \cdot a_{2^{n}} \\ ↓ Index und Vorfaktor anpassen \\ \geq \frac{1}{2} a_{1} + \frac{1}{2} 2 a_{2} + \frac{1}{2} 4 a_{4} + \frac{1}{2} 8 a_{8} + \dots + \frac{1}{2} 2^{n} a_{2^{n}} \\ ↓ \frac{1}{2} ausklammern \\ = \frac{1}{2} (a_{1} + 2 a_{2} + 4 a_{4} + 8 a_{8} + \dots + 2^{n} a_{2^{n}}) \\ = \frac{1}{2} \sum_{k = 0}^{n} 2^{k} a_{2^{k}} \end{matrix}

Konvergiert nun die Reihe $(S_{n})_{n \in ℕ} = \sum_{k = 1}^{\infty} a_{k}$ , so konvergiert auch die Teilfolge $(S_{2^{n}})_{n \in ℕ}$ . Mit der obigen Abschätzung konvergiert die Reihe $\frac{1}{2} \sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ , da sie beschränkt ist. Also konvergiert $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ .

Beweisschritt: " $\Leftarrow$ "

Für die $n$ -te Partialsumme von $\sum_{k = 1}^{\infty} a_{k}$ gilt für $n \leq 2^{m + 1} - 1$ :

\begin{matrix} \sum_{k = 1}^{n} a_{k} & \leq \sum_{k = 1}^{2^{m + 1} - 1} a_{k} \\ = a_{1} + a_{2} + a_{3} + (a_{4} + a_{5} + a_{6} + a_{7}) + \dots + \underset{2^{m} Summanden}{\underset{⏟}{(a_{2^{m}} + \dots + a_{2^{m + 1} - 1})}} \\ ↓ a_{3} \leq a_{2} \land a_{7} \leq a_{6} \leq a_{5} \leq a_{4} \land \dots \land a_{2^{m + 1} - 1} \leq \dots \leq a_{2^{m}} \\ \leq a_{1} + a_{2} + a_{2} + (a_{4} + a_{4} + a_{4} + a_{4}) + \dots + \underset{2^{m} Summanden}{\underset{⏟}{(a_{2^{m}} + \dots + a_{2^{m}})}} \\ = a_{1} + 2 \cdot a_{2} + 4 \cdot a_{4} + \dots + 2^{m} \cdot a_{2^{m}} \\ = \sum_{k = 0}^{m} 2^{k} a_{2^{k}} \end{matrix}

Konvergiert nun die Reihe $\sum_{k = 0}^{\infty} 2^{k} a_{2^{k}}$ , so ist nach obiger Abschätzung $\sum_{k = 1}^{\infty} a_{k}$ beschränkt und konvergiert somit.

Hinweis

Analog zu oben lässt sich auch zeigen, dass eine monoton steigende Reihe mit nichtpositiven Gliedern genau dann konvergiert, wenn ihre verdichtete Reihe konvergiert.

Warnung

Das Verdichtungskriterium wird nicht in jeder Grundvorlesung behandelt. Der Grund dafür ist, dass der Umfang der Anwendungsbeispiele nicht so groß ist wie bei den anderen Kriterien. Die Hauptanwendung ist die verallgemeinerte harmonische Reihe. Deren Konvergenz beziehungsweise Divergenz kann man jedoch auch direkt (wie wir) oder später mit Hilfe des Integralkriteriums zeigen. Verwendet das Verdichtungskriterium daher bitte nur, falls es wirklich in der Vorlesung oder Übung behandelt wurde!

Anwendungsbeispiele

Anwendungsbeispiel für das Cauchy Verdichtungskriterium (YouTube-Video vom YouTube-Kanal Quatematik)

Beispiel (Verdichtungskriterium 1)

Das wichtigste Anwendungsbeispiel des Verdichtungskriteriums ist die verallgemeinerte harmonische Reihe $\sum_{k = 1}^{\infty} \frac{1}{k^{α}}$ für $α > 0$ . Deren Konvergenz beziehungsweise Divergenz haben wir zwar schon direkt untersucht, der Vollständigkeit halber wollen wir aber hier noch das Verdichtungskriterium anwenden. Nach diesem konvergiert die Reihe genau dann, wenn die verdichtete Reihe konvergiert. Diese lautet

\begin{matrix} \sum_{k = 0}^{\infty} 2^{k} \frac{1}{(2^{k})^{α}} & = \sum_{k = 0}^{\infty} \frac{1}{(2^{k})^{α - 1}} \\ = \sum_{k = 0}^{\infty} \frac{1}{(2^{α - 1})^{k}} \\ = \sum_{k = 0}^{\infty} {(\frac{1}{2^{α - 1}})}^{k} \end{matrix}

Dies ist eine geometrische Reihe $\sum_{k = 0}^{\infty} q^{k}$ mit $q = \frac{1}{2^{α - 1}}$ . Sie konvergiert genau dann, wenn

\begin{matrix} \frac{1}{2^{α - 1}} < 1 & \Leftrightarrow 2^{α - 1} > 1 \\ \Leftrightarrow α - 1 > 0 \\ \Leftrightarrow α > 1 \end{matrix}

Nach dem Verdichtungskriterium konvergiert die verallgemeinerte harmonische Reihe $\sum_{k = 1}^{\infty} \frac{1}{k^{α}}$ genau dann, wenn $α > 1$ ist. Sie divergiert also insbesondere für $0 < α \leq 1$ .

Aufgabe (Verdichtungskriterium 2)

Untersuche für $α > 0$ die Reihe $\sum_{k = 2}^{\infty} \frac{1}{k (\ln (k))^{α}}$ auf Konvergenz.

Beweis (Verdichtungskriterium 2)

Nach dem Verdichtungskriterium konvergiert die Reihe genau dann, wenn die folgende Reihe konvergiert:

\begin{matrix} \sum_{k = 1}^{\infty} 2^{k} \frac{1}{2^{k} (\ln (2^{k})^{α}} & = \sum_{k = 1}^{\infty} \frac{1}{\ln (2^{k})^{α}} \\ ↓ \ln (x^{y}) = y \ln (x) \\ = \sum_{k = 1}^{\infty} \frac{1}{(k \ln (2))^{α}} \\ = \sum_{k = 1}^{\infty} \frac{1}{k^{α}} \frac{1}{\ln (2)^{α}} \end{matrix}

Dies ist die verallgemeinerte harmonische Reihe mit konstanten Vorfaktor $\frac{1}{\ln (2)^{α}}$ . Nach dem vorherigen Beispiel ist die Reihe somit für $α > 1$ konvergent und für $0 < α \leq 1$ divergent.

Anwendung der Konvergenzkriterien →

„Analysis Eins“ ist jetzt als Buch verfügbar!

Den Bereich zur Analysis 1 gibt es jetzt auch als Buch! Bestelle dir dein Exemplar oder lade dir das Buch gleich kostenlos als PDF herunter:

Buch kaufen PDF downloaden

Über 150 ehrenamtliche Autorinnen und Autoren – die meisten davon selbst Studierende – haben daran mitgewirkt. Wir wollen, dass alle Studierende die Konzepte der Hochschulmathematik verstehen und dass hochwertige Bildungsangebote frei verfügbar sind. Bei dieser Mission kannst du mitmachen oder uns mit einer Spende unterstützen.

Fragen? Feedback? Interesse an der Mitarbeit?

Wenn du Fragen zum Inhalt hast oder etwas nicht verstanden hast, kontaktiere uns. Wir werden dir deine Fragen gerne beantworten! Auch für Kritik und Anmerkungen sind wir sehr dankbar! Unsere Artikel sind gewissenhaft recherchiert, aber vereinzelte Fehler können nicht ausgeschlossen werden und wir sind sehr dankbar für alle Hinweise. Melde dich auch bei uns, wenn du unsere Vision, Hochschulmathematik verständlich zu erklären, unterstützen möchtest! Unsere Kontaktmöglichkeiten:

E-Mail: mfnf@kulla.me

Telegram-Gruppe: https://t.me/serlo_hochschule

Hinweis: Telegram ist ein externer Chatdienst, der nicht von Serlo oder der Wikimedia betrieben wird. Bitte informiere dich selbstständig, ob du mit ihren Datenschutzbestimmungen einverstanden bist.

Dieser Artikel steht unter einer freien CC-BY-SA 3.0 Lizenz. Damit kannst du ihn frei verwenden, bearbeiten und weiterverbreiten, solange du „Mathe für Nicht-Freaks“ als Quelle nennst und deine Änderungen am Text unter derselben CC-BY-SA 3.0 oder einer dazu kompatiblen Lizenz stellst. Auf der Seite „Kopier uns!“ erklären wir dir detailliert, was du bei der Benutzung unsere Texte, Bilder und Videos beachten musst.