Analysis I - Abteilung für Mathematische Stochastik
Analysis I - Abteilung für Mathematische Stochastik
Analysis I - Abteilung für Mathematische Stochastik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
4.3 Absolute Konvergenz von Reihen 43<br />
2. Divergiert ∑ ∞<br />
n=1 x n, so divergiert auch ∑ ∞<br />
n=1 y n.<br />
Beweis. Es genügt 1. zu zeigen. Sei ε > 0. Da ∑ ∞<br />
n=1 y n konvergiert, gibt es mit dem Cauchy-<br />
Kriterium für Reihen (Lemma 4.5) ein N ′ ≥ N, so dass ∑ m ′<br />
n=m y n < ε für m ′ > m ≥ N ′ gilt.<br />
Daraus folgt auch ∣ ∑ m ′<br />
n=m x n∣ ≤ ε. Mit anderen Worten erfüllt auch ∑ ∞<br />
n=1 x n das Cauchy-<br />
Konvergenzkriterium. Außerdem gilt<br />
∣<br />
∞∑ ∣ ∣∣<br />
x n =<br />
n=N<br />
lim<br />
M→∞<br />
∣<br />
M∑ ∣ ∣∣<br />
x n ≤<br />
n=N<br />
lim<br />
M→∞<br />
n=N<br />
M∑<br />
y n =<br />
∞∑<br />
y n .<br />
n=N<br />
Beispiel 4.13.<br />
1. Für 0 < x < 1 konvergiert die Reihe<br />
∞∑<br />
x (n2) .<br />
n=1<br />
Es gilt nämlich n 2 > n für alle n und damit x n2 ≤ x n . Außerdem haben wir in Proposition<br />
4.2 die Konvergenz von ∑ ∞<br />
n=1 xn gezeigt.<br />
2. Es gilt<br />
∞∑<br />
n=1<br />
1<br />
√<br />
n(n + 1)<br />
= ∞,<br />
1<br />
denn √ ≥ 1<br />
n(n+1) 2n und ∑ ∞<br />
n=1 1<br />
2n<br />
= ∞ nach Proposition 4.3.<br />
Korollar 4.14. Eine absolut konvergente Reihe ∑ ∞<br />
n=1 x n ist auch konvergent.<br />
Beweis. Wir wenden das Majorantenkriterium mit y n := |x n | an. Da die Reihe absolut konvergiert,<br />
folgt aus Theorem 4.12.1 direkt dass auch ∑ ∞<br />
n=1 x n konvergiert.<br />
Theorem 4.15 (Quotientenkriterium). Sei ∑ ∞<br />
n=1 x n eine Reihe und x n ≠ 0 für fast alle<br />
n. Außerdem existiere<br />
q := lim ∣ x ∣<br />
n+1 ∣∣.<br />
Dann gilt:<br />
n→∞<br />
1. Ist q < 1, so konvergiert die Reihe absolut.<br />
2. Ist q > 1, so divergiert die Reihe.<br />
Beweis. 1. Sei ˜q so, dass q < ˜q < 1. Dann gilt |x n+1 /x n | < ˜q für fast alle n. Also gibt es ein<br />
N, so dass für n > N<br />
Mit<br />
x n<br />
|x n+1 | ≤ ˜q|x n | ≤ ˜q 2 · · · |x n−1 | ≤ · · · ≤ ˜q n−N |x N |.<br />
∞∑<br />
∞∑<br />
|x N |˜q n−N = |x N | · ˜q n < ∞<br />
n=N<br />
und dem Majorantenkriterium folgt die Behauptung.<br />
2. Sei ˆq so, dass 1 < ˆq < q. Wegen lim n→∞<br />
∣<br />
∣xn+1 /x n<br />
∣ ∣ > ˆq gilt |xn+1 | > ˆq|x n | für fast alle n.<br />
Insbesondere ist (x n ) n=1,2,... keine Nullfolge und die Behauptung folgt aus Lemma 4.6.<br />
n=0