Analysis-Blog: Folge 36
Peter Becker
veröffentlicht: 17 May 2021, zuletzt geändert: 27 May 2024 15:34
Schlüsselwörter: Leibniz-Kriterium, Majorantenkriterium, Minorantenkriterium, Quotientenkriterium, Wurzelkriterium, geometrische Reihe, Teleskopreihe
In den folgenden Übungen sollen Sie die Konvergenz von Reihen untersuchen oder Grenzwerte ermitteln.
Ermitteln Sie die Grenzwerte der folgenden konvergenten Reihen.
Sind die folgenden Reihen konvergent oder divergent? Begründen Sie jeweils Ihre Antwort.
Die Reihe $\displaystyle\sum_{n=1}^\infty (-1)^n\frac{1}{n}$ ist nach dem Leibnizkriterium konvergent (alternierende harmonische Reihe).
Die Reihe $\displaystyle\sum_{n=1}^\infty \frac{1}{n^2}$ ist konvergent, siehe den Blog über Teleskopreihen.
Nach Grenzwertregeln ist dann auch die Summe \[ \sum_{n=1}^\infty \left( (-1)^n\frac{1}{n} + \frac{1}{n^2} \right) \] der beiden Reihen konvergent.
Die Reihe ist divergent. Begründung: $\sum_{n=1}^\infty (-1)^n \frac{1}{n^2}$ ist nach dem Leibnizkriterium konvergent und damit beschränkt.
$\sum_{n=1}^\infty \frac{1}{n}$ ist die harmonische Reihe, die divergent ist (weil unbeschränkt).
Also ist auch die Summe der beiden Reihen unbeschränkt und damit divergent.
Beweisen Sie die folgenden Aussagen oder widerlegen Sie diese mit einem Gegenbeispiel.
Die Aussage ist falsch. Gegenbeispiel: Die alternierende harmonische Reihe \[ \sum_{n=1}^\infty a_n := \sum_{n=1}^\infty (-1)^n \frac{1}{n} \] ist nach dem Leibniz-Kriterium konvergent.
Die Folge $(b_n)$ mit $b_n:=(-1)^n$ ist beschränkt. Aber die Reihe \[ \sum_{n=1}^\infty b_n a_n = \sum_{n=1}^\infty \frac{1}{n} \] ist die harmonische Reihe und damit divergent.
Die Aussage ist wahr.
$(b_n)$ beschränkt heißt, es existiert $K > 0$ mit $|b_n|\leq K$ für alle $n\in\mathbb{N}$. \begin{eqnarray*} \sum_{n=1}^\infty a_n \text{ ist absolut konvergent } & \Rightarrow & S_n:=\sum_{k=1}^n |a_k| \text{ bildet eine Cauchy-Folge} \\ & \Rightarrow & \forall \epsilon > 0\, \exists n_0\in\mathbb{N}\,\forall m\geq n \geq n_0: |S_m-S_n| < \epsilon \end{eqnarray*} Wir zeigen jetzt, dass auch $\displaystyle T_n := \sum_{k=1}^n |b_k a_k|$ eine Cauchy-Folge ist. Es sei $\epsilon > 0$ beliebig. Wähle für $\displaystyle\epsilon':= \frac{\epsilon}{K}$ das $n_0$ aus der Voraussetzung, dass $S_n$ Cauchy-Folge ist. Dann gilt mit diesem $n_0$ und für alle $m\geq n\geq n_0$: \begin{eqnarray*} |T_m-T_n| & = & \sum_{k=n+1}^m |b_k a_k| \\ & = & \sum_{k=n+1}^m |b_k| |a_k| \\ & \leq & K \sum_{k=n+1}^m |a_k| \\ & = & K |S_m-S_n| \\ & < & K \epsilon' \\ & = & \epsilon. \end{eqnarray*}
Die Aussage ist wahr. Wenn $\sum_{n=1}^\infty a_n$ absolut konvergent ist, muss die Folge $(a_n)$ und damit auch die Folge $(|a_n|)$ eine Nullfolge sein. Also existiert ein $n_0$ mit $|a_n| < 1$ für alle $n\geq n_0$.
Aus $|a_n| < 1$ folgt aber $|a_n^2| = |a_n|^2 \leq |a_n|$. Ab $n_0$ ist damit $|a_n|$ eine Majorante für $|a_n^2|$. Somit ist auch die Reihe $\sum_{n=1}^\infty a_n^2$ absolut konvergent.