Quotientenkriterium

Das Quotientenkriterium ist ein mathematisches Konvergenzkriterium für Reihen. Es basiert auf dem Majorantenkriterium, das heißt, eine komplizierte Reihe wird durch eine einfache, hier die geometrische Reihe, nach oben abgeschätzt. Die geometrische Reihe konvergiert genau dann, wenn der Betrag der Folgenglieder abnimmt, also der (konstante) Quotient zweier aufeinanderfolgender Glieder ${\displaystyle q}$ kleiner als 1 ist. Nimmt eine andere Reihe ab einem bestimmten Element mindestens genauso schnell ab, ist also der Quotient kleiner oder gleich ${\displaystyle q}$, so ist auch diese konvergent. Mit dem Quotientenkriterium kann auch Divergenz nachgewiesen werden. Bleibt der Quotient immer größer oder gleich 1, wird der Betrag der Folgenglieder nicht kleiner. Da diese dann keine Nullfolge bilden, ist die Reihe divergent.

Entwickelt wurde das Quotientenkriterium von dem Mathematiker und Physiker Jean-Baptiste le Rond d’Alembert, zu dessen Ehren diese mathematische Aussage auch d’Alembertsches Konvergenzkriterium genannt wird.^[1]

Aussage

Entscheidungsbaum für das Quotientenkriterium

Gegeben sei eine Reihe ${\displaystyle S:=\sum _{n=0}^{\infty }a_{n}}$ mit reellen oder komplexen Summanden, ${\displaystyle a_{n}\neq 0}$ für fast alle ${\displaystyle n\in \mathbb {N} }$. Gibt es ein ${\displaystyle q<1}$, so dass für fast alle ${\displaystyle n\in \mathbb {N} }$ gilt

${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|\leq q<1,}$

so ist die Reihe absolut konvergent. Gilt dagegen für fast alle ${\displaystyle n\in \mathbb {N} }$

${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|\geq 1}$,

so ist die Reihe divergent.^[2]

Dabei darf ${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|}$ nicht von unten gegen 1 streben. Gilt dagegen lediglich ${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|<1}$, kann also der Quotient beliebig nahe an 1 herankommen, so liefert das Quotientenkriterium keine Aussage über die Konvergenz oder die Divergenz.

Im Fall der Konvergenz muss ${\displaystyle q}$ von ${\displaystyle n}$ unabhängig sein.

Beispiele

• Wir betrachten die Reihe ${\displaystyle \sum _{n=0}^{\infty }{\frac {5+n}{10^{n}}}}$ und prüfen diese auf Konvergenz. Über das Quotientenkriterium erhalten wir

${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|={\frac {5+(n+1)}{10^{n+1}}}\cdot {\frac {10^{n}}{5+n}}={\frac {1}{10}}\cdot {\frac {6+n}{5+n}}\leq {\frac {3}{25}}<1}$.

Folglich ist die Reihe absolut konvergent.

• Wir betrachten die Reihe ${\displaystyle \sum _{n=1}^{\infty }{\frac {n!}{2^{n}}}}$ und prüfen diese auf Konvergenz. Wir erhalten

${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|={\frac {(n+1)!}{2^{n+1}}}\cdot {\frac {2^{n}}{n!}}={\frac {n+1}{2}}\geq 1}$.

Somit ist diese Reihe divergent.

• Wir wollen den Konvergenzradius der Potenzreihe ${\displaystyle \sum _{n=1}^{\infty }{\frac {n!}{n^{n}}}z^{n}}$ für komplexe Zahlen ${\displaystyle z\in \mathbb {C} }$ bestimmen. Für ${\displaystyle z=0}$ ist die Reihe offensichtlich gegen 0 konvergent, sei also ${\displaystyle z\not =0}$ und wir erhalten

${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|=\left|{\frac {(n+1)!n^{n}}{n!(n+1)^{n+1}}}{\frac {z^{n+1}}{z^{n}}}\right|=\left({\frac {1}{1+{\frac {1}{n}}}}\right)^{n}|z|\,\,{\overset {n\to \infty }{\longrightarrow }}\,\,{\frac {|z|}{e}}}$.

Der Konvergenzradius ist also die eulersche Zahl ${\displaystyle e}$.

• Ein Beispiel für die Nichtanwendbarkeit des Quotientenkriteriums ist die allgemeine harmonische Reihe ${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{\alpha }}}}$. Es gilt

${\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|=\left({\frac {n}{n+1}}\right)^{\alpha }{\overset {n\to \infty }{\longrightarrow }}1}$.

Für ${\displaystyle \alpha =1}$ ist die allgemeine harmonische Reihe divergent, für ${\displaystyle \alpha >1}$ konvergent; das Quotientenkriterium kann aber die beiden Fälle nicht unterscheiden.

Beweisidee

Der Fall der Konvergenz folgt mit dem Majorantenkriterium aus der Konvergenz von ${\displaystyle \sum _{n=0}^{\infty }q^{n}}$, einer geometrischen Reihe. Das Kriterium für Divergenz folgt daraus, dass die Glieder dann wegen ${\displaystyle 0<\left|a_{n}\right|\leq \left|a_{n+1}\right|}$ keine Nullfolge bilden können.

Spezialfälle

Existiert ${\displaystyle L:=\lim _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|}$, so liefert das Quotientenkriterium

1. für ${\displaystyle L<1}$ absolute Konvergenz,
2. für ${\displaystyle L>1}$ Divergenz,
3. für ${\displaystyle L=1}$ keine Konvergenzaussage.

Unter Verwendung von Limes superior und Limes inferior lässt sich das Quotientenkriterium folgendermaßen formulieren:

1. Ist ${\displaystyle \limsup _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|<1}$, so ist die Reihe absolut konvergent,
2. ist ${\displaystyle \liminf _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|>1}$, so ist die Reihe divergent,
3. ist ${\displaystyle \liminf _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|\leq 1\leq \limsup _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|}$, so lässt sich keine Konvergenzaussage machen.

Im Gegensatz zum Wurzelkriterium muss für das Divergenzkriterium nicht der Limes superior, sondern der Limes inferior verwendet werden.

Abgewandeltes Quotientenkriterium

Neben dem „gewöhnlichen“ Quotientenkriterium gibt es noch folgende Versionen (siehe auch Kriterium von Raabe): Sei ${\displaystyle (a_{n})_{n\in \mathbb {N} }}$ eine Folge mit echt positiven Gliedern. Wenn nun

${\displaystyle \exists d>1,n_{0}\in \mathbb {N} :\forall n\geq n_{0}:{\frac {a_{n+1}}{a_{n}}}\leq 1-{\frac {d}{n}}}$,

so gilt, dass ${\displaystyle \sum _{n=1}^{\infty }a_{n}}$ konvergent ist.

Ist andererseits

${\displaystyle \exists n_{0}:\forall n\geq n_{0}:{\frac {a_{n+1}}{a_{n}}}\geq 1-{\frac {1}{n}}}$,

so folgt:

${\displaystyle \sum _{n=1}^{\infty }a_{n}}$ divergiert gegen ${\displaystyle \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

• Otto Forster: Analysis I Differential- und Integralrechnung einer Veränderlichen. Rowohlt, Hamburg 1976.
• Konrad Knopp: Theorie und Anwendung der unendlichen Reihen. 6. Auflage. Springer, 1996, ISBN 3-540-59111-7 (online, Ausgabe von 1964).
• Peter Hartmann: Mathematik für Informatiker. 4. Auflage. Vieweg, 2006, ISBN 3-8348-0096-1, S. 254.

Weblinks

• Mathematik-Online-Lexikon (Definition und Beweis)

Einzelnachweise

1. Wilhelm Merz: Mathematik für Ingenieure und Naturwissenschaftler. Springer Spektrum, Berlin 2013, ISBN 978-3-642-29979-7, S. 170. 
2. Harro Heuser: Lehrbuch der Analysis. 11. Auflage. Teil 1. B. G. Teubner, Stuttgart 1994, ISBN 3-519-42231-X, S. 205 f.