Kriterium von Bertrand

Das Kriterium von Bertrand oder das Bertrandsche Kriterium ist ein mathematisches Konvergenzkriterium zur Bestimmung der (absoluten) Konvergenz sowie Divergenz unendlicher Reihen, das nach dem französischen Mathematiker Joseph Bertrand (1822–1900) benannt ist.

Formulierung

Sei $(a_n{)}_{n\in \mathbb{N}}\in {ℝ}_{+}^{\mathbb{N}}$ eine positive reelle Folge und $A:={\sum }_{n=1}^{\mathrm{\infty }}{a}_n$ die zugehörige Reihe. Die Folge $(B_n{)}_{n\in \mathbb{N}}\in {ℝ}^{\mathbb{N}}$ mit:

$B_n:=\ln (n)(n(\frac{a_n}{a_{n+1}}-1)-1)$

habe den endlichen oder unendlichen (respektive uneigentlichen) Grenzwert $B\in \overline{ℝ}=ℝ\cup \{-\mathrm{\infty },+\mathrm{\infty }\}$:

$B:=\lim {\mathrm{\backslash limits}}_{n\to \mathrm{\infty }}{B}_n$.

Dann gilt für die Reihe: $A$ ist $\{\begin{array}{cc}\text{konvergent, falls}& B>1\\ \text{divergent, falls}& B<1\end{array}$.

Beweis

Sei $c_n:=n\ln (n)$ mit $n\in {\mathbb{N}}_{\geqq 2}$. Die Reihe $\sum _{n=2}^{\mathrm{\infty }}\frac{1}{c_n}$ divergiert aufgrund des Integralkriteriums. Setzen wir $f(x):=\frac{1}{x\ln (x)}$, so gilt $\frac{1}{c_n}=f(n)$ und $f(x)$ ist monoton fallend und $f(x)\to 0$ für $x\to \mathrm{\infty }$ und $x\geqq 2$. Des Weiteren ist:

$\underset{2}{\overset{R}{\int }}\frac{1}{x\ln (x)}\mathrm{d}x=\underset{2}{\overset{R}{\int }}\frac{\frac{\mathrm{d}}{\mathrm{d}x}\ln (x)}{\ln (x)}\mathrm{d}x=\ln (\ln (R))-\ln (\ln (2))\stackrel{R\to \mathrm{\infty }}{\to }\mathrm{\infty }$.

Setze nun:

$\begin{array}{cc}{K}_n& :=c_n\frac{a_n}{a_{n+1}}-c_{n+1}=n\ln (n)\frac{a_n}{a_{n+1}}-(n+1)\ln (n+1)\\ & =n\ln (n)\frac{a_n}{a_{n+1}}-n\ln (n+1)-\ln (n+1)\\ & =n\ln (n)\frac{a_n}{a_{n+1}}-n(\ln (1+\frac{1}{n})+\ln (n))-(\ln (1+\frac{1}{n})+\ln (n))\\ & =n\ln (n)\frac{a_n}{a_{n+1}}-(n+1)\ln (1+\frac{1}{n})-n\ln (n)-\ln (n)\\ & =\ln (n)(n\frac{a_n}{a_{n+1}}-n-1)-\ln {(1+\frac{1}{n})}^{n+1}\\ & =\ln (n)(n(\frac{a_n}{a_{n+1}}-1)-1)-\ln {(1+\frac{1}{n})}^{n+1}\\ & =B_n-\ln {(1+\frac{1}{n})}^{n+1}\end{array}$.

Mit der Stetigkeit des Logarithmus und dem bekannten Grenzwert $\underset{n\to \mathrm{\infty }}{\lim }{(1+\frac{1}{n})}^{n+1}=e$ folgt für $n\to \mathrm{\infty }$:

$K=B-\ln (e)=B-1$,

wobei $K,B\in \overline{ℝ}$ und $K:=\underset{n\to \mathrm{\infty }}{\lim }{K}_n$ gilt. $(c_n{)}_{n\in \mathbb{N}}$ erfüllt nun nach Konstruktion die Bedingungen des Kriteriums von Kummer. Aus Letzterem folgt für $A$: $A:\{\begin{array}{cc}\text{konvergent}& K>0\iff B>1\\ \text{divergent}& K<0\iff B<1\end{array}$.

Literatur

• Vorlage:Literatur