Logarithmisches Konvergenzkriterium

Das logarithmische Konvergenzkriterium ist ein Konvergenzkriterium der Analysis, einem der Teilgebiete der Mathematik. Es gibt hinreichende Bedingungen sowohl für die Konvergenz als auch für die Divergenz von Reihen, deren Glieder eine Folge positiver reeller Zahlen bilden.

Formulierung des Kriterium

Das Kriterium besagt folgendes:

Sei $(a_k{)}_{k\in \mathbb{N}}$ eine Zahlenfolge in $ℝ$ und sei dabei jede Zahl $a_k>0$   $(k\in \mathbb{N})$  .

Es sei vorausgesetzt, dass die dazu gebildete Zahlenfolge $(b_k{)}_{k\in \mathbb{N}}$   mit

$b_k=\frac{\ln (k\cdot a_k)}{\ln (\ln (k))}(k\in \mathbb{N})$

eigentlich oder uneigentlich konvergiere und dabei den Grenzwert

$L=\underset{k\to \mathrm{\infty }}{\lim }{b}_k\in [-\mathrm{\infty },\mathrm{\infty }]$

habe.

Dann gilt:

(I) Im Falle   $L<-1$   ist die zugehörige Reihe ${\sum }_k{a}_k$ konvergent:

$\sum _{k=1}^{\mathrm{\infty }}{a}_k<\mathrm{\infty }$   .

(II) Im Falle   $L>-1$   ist die zugehörige Reihe ${\sum }_k{a}_k$ divergent:

$\sum _{k=1}^{\mathrm{\infty }}{a}_k=\mathrm{\infty }$   .

Hinweise zum Beweis

Der Beweis beruht auf dem Majoranten- und Minorantenkriterium und darauf, dass die Reihe

$\sum _{k=2}^{\mathrm{\infty }}\frac{1}{k\cdot {\ln (k)}^{1+\delta }}$

für   $\delta >0$   konvergiert und für   $\delta =0$   divergiert.

Dabei kommt für den Konvergenzfall das Integralkriterium zum Tragen sowie die Tatsache, dass dann

${\int }_2^{\mathrm{\infty }}\frac{1}{t\cdot {\ln (t)}^{1+\delta }}\mathrm{d}t=\frac{1}{\delta \cdot {\ln (2)}^{\delta }}$

ist.

Anwendung

• Für

$a_k=\frac{1}{k^2}(k\in \mathbb{N})$

hat man

$\underset{k\to \mathrm{\infty }}{\lim }{b}_k=\underset{k\to \mathrm{\infty }}{\lim }\frac{\ln (\frac{1}{k})}{\ln (\ln (k))}=\underset{k\to \mathrm{\infty }}{\lim }\frac{-\ln (k)}{\ln (\ln (k))}=\underset{x\to \mathrm{\infty }}{\lim }\frac{-x}{\ln (x))}=-\mathrm{\infty }<1$  ,

was nach dem Kriterium einen Beweis für die Konvergenz der bekannten Reihe

$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^2}=1+\frac{1}{4}+\frac{1}{9}+\frac{1}{16}+\cdots$

darstellt.

• Für

$a_k=\frac{1}{k}(k\in \mathbb{N})$

hat man

$\underset{k\to \mathrm{\infty }}{\lim }{b}_k=\underset{k\to \mathrm{\infty }}{\lim }\frac{\ln (1)}{\ln (\ln (k))}=0>-1$  ,

womit das Kriterium die Divergenz der harmonischen Reihe beweist.

Anmerkung

Über den „Zweifelsfall“   $\underset{k\to \mathrm{\infty }}{\lim }{b}_k=-1$   sind keine Aussagen hinsichtlich Konvergenz oder Divergenz zu machen. D. h., es können je nach vorgelegter Zahlenfolge beide Fälle eintreten.

Literatur

• Vorlage:Literatur