Cauchysches Verdichtungskriterium - LinkFang.de





Cauchysches Verdichtungskriterium


Das Cauchy’sche Verdichtungskriterium, auch bekannt als Cauchy’scher Verdichtungssatz, Verdichtungsprinzip, Verdünnungssatz oder Kondensationskriterium (nach Augustin Louis Cauchy), ist ein mathematisches Konvergenzkriterium, also ein Mittel zur Entscheidung, ob eine unendliche Reihe konvergent oder divergent ist.

Formulierung

Sei [math](a_n)_{n \in \N}[/math] eine monoton fallende Folge nicht-negativer reeller Zahlen. Dann hat die unendliche Reihe

[math]S = \sum_{n=1}^\infty a_n[/math]

das gleiche Konvergenzverhalten wie die verdichtete Reihe

[math]T = \sum_{k=0}^\infty 2^ka_{2^k}[/math],

das heißt, dass die eine Reihe genau dann konvergiert, wenn die andere konvergiert.

Beweisskizze

Die Wirkungsweise dieses Kriteriums kann als Betrachtung von Ober- und Untersummen der zu untersuchenden Reihe gedacht werden. Die Folge [math](a_n)_{n\in\N}[/math] wird in Blöcke aufsteigender Länge aufgeteilt und in jedem Block gegen Maximum und Minimum abgeschätzt. Da die Folge [math](a_n)_{n\in\N}[/math] als monoton fallend vorausgesetzt wurde, ist das Maximum mit dem ersten und das Minimum mit dem letzten Folgenglied eines jeden Blockes identisch.

Das Kriterium ergibt sich nun aus dem Majorantenkriterium. Die gängigste Blockaufteilung ist die nach Zweierpotenzen mit Blöcken [math]a_{2^k}, a_{2^k+1},\dots,a_{2^{k+1}-1}[/math]. Um Konvergenz nachzuweisen, konstruiert man die Majorante [math](b_n)_{n\in\N}[/math] durch

[math]b_{2^k+m}:=a_{2^k}\ge a_{2^k+m}[/math] für [math]0 \leq m \lt 2^k[/math].

Zu jedem Index k enthält die Majorante [math]2^k[/math] Glieder mit demselben Wert [math]a_{2^k}[/math], die Majorante konvergiert also genau dann, wenn [math]\textstyle T = \sum_{k=0}^\infty 2^ka_{2^k}[/math] konvergiert.

Um Divergenz nachzuweisen, konstruiert man die Minorante [math](b_n)_{n\in\N}[/math] durch

[math]b_{2^k+m}:=a_{2^{k+1}}\le a_{2^{k+1}-1}\le a_{2^k+m}[/math] für [math]0\leq m \lt 2^k[/math].

Zu jedem Index k enthält die Minorante [math]2^k[/math] Glieder mit demselben Wert [math]a_{2^{k+1}}[/math], die Minorante divergiert also genau dann, wenn [math]\textstyle \frac12(T-a_1) = \sum_{k=0}^\infty 2^ka_{2^{k+1}}[/math] divergiert.

Anwendungsbeispiel

Eine Anwendung liegt bei den allgemeinen harmonischen Reihen. Für ein festes [math]\alpha\gt0[/math] hat

[math]S = \sum_{n=1}^\infty \frac1{n^\alpha}[/math]

das gleiche Konvergenzverhalten wie

[math]T = \sum_{k=0}^\infty 2^k\frac1{(2^k)^\alpha}=\sum_{k=0}^\infty (2^{1-\alpha})^k[/math].

[math]T[/math] ist offensichtlich eine geometrische Reihe mit Faktor [math]q=2^{1-\alpha}[/math]. Aus deren Konvergenzverhalten folgt, dass für [math]\alpha\gt1[/math] Konvergenz, sonst Divergenz, vorliegt. Man beachte den Wechsel des Startwertes und des Indexes der Reihe von [math]n=1[/math] auf [math]k=0[/math].

Analog ergibt sich für die noch langsamer konvergierenden bzw. divergierenden Reihen

[math] \sum_{n=2}^\infty\frac1{n\cdot \ln(n)^\alpha},\quad \sum_{n=\lceil e \rceil}^\infty\frac1{n\cdot \ln(n)\cdot \ln(\ln(n))^\alpha},\quad \sum_{n=\lceil e^e \rceil}^\infty \frac1{n\cdot \ln(n)\cdot \ln(\ln(n))\cdot \ln(\ln(\ln(n)))^\alpha} \;\cdots [/math]

für [math]\alpha\gt1[/math] Konvergenz, sonst Divergenz.

Verallgemeinerung

Anstelle der Teilfolge [math]a_{2^k}[/math] können auch allgemeinere Teilfolgen zur Verdichtung verwendet werden. Sei [math](a_n)_{n \in \N}[/math] eine monoton fallende Folge nichtnegativer reeller Zahlen. Dann hat die unendliche Reihe

[math]S = \sum_{n=1}^\infty a_n[/math]

das gleiche Konvergenzverhalten wie die verdichtete Reihe

[math]T = \sum_{k=0}^\infty f(k)a_{f(k)}[/math],

wobei [math]f(k)[/math] eine streng monoton steigende Funktion auf den natürlichen Zahlen ist mit [math]{\alpha,\beta \in \R}[/math], sodass gilt

[math]1 \lt \alpha \le \inf \left \lbrace {f(n+1)\over f(n)}: {n \in \N} \right \rbrace \le \sup \left \lbrace {f(n+1)\over f(n)}: {n \in \N} \right \rbrace \le \beta[/math].

Quellen


Kategorien: Keine Kategorien vorhanden!

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Cauchysches Verdichtungskriterium (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.