Das Kefk Network Wiki befindet sich im Testbetrieb.

Quotientenkriterium

Aus Kefk.

Wechseln zu: Navigation, Suche

Das Quotientenkriterium (d'Alembert-Kriterium, nach Jean Baptiste le Rond d'Alembert) ist ein mathematisches Konvergenzkriterium, also Mittel zur Entscheidung, ob eine unendliche Reihe konvergent oder divergent ist.

Sei eine unendliche Reihe

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

mit reellen oder komplexen Summanden an gegeben.

Falls nun

\limsup_{n\to\infty} \left|\frac{a_{n+1}}{a_n}\right| \le q<1

ist, so konvergiert die Reihe S, und das sogar absolut, d.h. die Reihe der Beträge konvergiert. Dieses Kriterium folgt mit dem Majorantenkriterium aus Eigenschaften der geometrischen Reihe.

Existiert jedoch ein Index N sodass

\left|\frac{a_{n+1}}{a_n}\right|\geq 1

für alle n\geq N, so divergiert die Reihe, da die Glieder dann keine Nullfolge bilden können.

In allen anderen Fällen lässt sich nichts über die Konvergenz aussagen. So lässt sich beispielsweise mit dem Quotientenkriterium keine Aussage über die Konvergenz der allgemeinen harmonischen Reihe \sum_{n=1}^\infty \frac{1}{n^\alpha} für \alpha \ge 1machen, da \limsup_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|=\lim_{n\to\infty}\left(\frac{n}{n+1}\right)^\alpha=1, aber \left|\frac{a_{n+1}}{a_n}\right|=\left(\frac{n}{n+1}\right)^\alpha<1. Für α = 1 ist die allgemeine harmonische Reihe divergent, für α > 1 konvergent; das Quotientenkriterium kann aber die beiden Fälle nicht unterscheiden.

Die Konvergenzbedingung mit dem limsup lässt sich auch so formulieren:

Falls eine Konstante C < 1 und ein Index N existieren, so dass

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

für alle n ≥ N, dann konvergiert die Reihe S.

Ist die Reihe nach dem Quotientenkriterium konvergent, erhält man noch eine Fehlerabschätzung, d.h. eine Abschätzung des Restglieds der Summe nach N Summanden:

|S-S_N| = \left|\sum_{n=N+1}^\infty a_n \right| \le |a_{N+1}| { 1 \over 1-C }.

Inhaltsverzeichnis

Beweis

Da sich das Konvergenzverhalten einer Reihe nicht ändert, wenn man endlich viele Summanden abändert, kann man für den Beweis auch \left|\frac{a_{n+1}}{a_n}\right|\leq C<1 für alle n \in \mathbb{N} annehmen. Aus der vollständigen Induktion von \left|a_{n}\right| \leq C \left|a_{n-1} \right| folgt \left|a_n\right| \leq C^n \left|a_0\right|. Die Reihe \sum_{n=0}^\infty C^n \left|a_0\right| ist daher Majorante von \sum_{n=0}^\infty a_n und konvergiert, da sie eine Geometrische Reihe ist:
\sum_{n=0}^\infty \left| a_0 \right| C^n = \left|a_0 \right|\sum_{n=0}^\infty C^n={\left|a_0 \right| \over {1-C}}.
Nach dem Majorantenkriterium konvergiert damit auch \sum_{n=0}^\infty a_n.

Abgewandeltes Quotientenkriterium

Neben dem "gewöhnlichen" Quotientenkriterium gibt es noch folgende Versionen (siehe auch Kriterium von Raabe):

Für Konvergenz

Sei (an) eine Folge mit echt positiven Gliedern. Wenn nun gilt, dass:

\exists d>1,n_0\in\mathbb{N}:\forall n\ge n_0:\frac{a_{n+1}}{a_n}\le 1-\frac{d}{n}

so gilt:

\sum_{n=1}^\infty a_n ist konvergent.

Für Divergenz

Es sei (an) wie oben. Wenn nun gilt, dass:

\exists n_0:\forall n\ge n_0: \frac{a_{n+1}}{a_n}\ge 1-\frac{1}{n}

so gilt:

\sum_{n=1}^\infty a_n divergiert gegen \infty.

Anwendungen

Mit dem Quotientenkriterium lässt sich beispielsweise die Konvergenz der Taylorreihen für die Exponentialfunktion und für die Sinus- und Kosinusfunktionen zeigen.

Literatur

  • Forster, O. (1976): Analysis I Differential- und Integralrechnung einer Veränderlichen. -- Rowohlt Taschenbuch Verlag GmbH, Hamburg.
Von „http://www.kefk.org/wiki/Quotientenkriterium“
Persönliche Werkzeuge