Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Arbeitsblatt 9/latex

\setcounter{section}{9}






\zwischenueberschrift{Übungsaufgaben}




\inputaufgabe
{}
{

Zeige
\mavergleichskette
{\vergleichskette
{ \sum_{n = 1}^{\infty} \frac{1}{4n^2 - 1} }
{ = }{ \frac{1}{2} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{ x_n }
{ \defeq} { \sum_{k = 1 }^n { \frac{ 1 }{ k } } }
{ } { }
{ } { }
{ } { }
} {}{}{.} \aufzaehlungzwei {Finde das kleinste $n$ mit
\mavergleichskettedisp
{\vergleichskette
{x_n }
{ \geq} {2 }
{ } { }
{ } { }
{ } { }
} {}{}{.} } {Finde das kleinste $n$ mit
\mavergleichskettedisp
{\vergleichskette
{x_n }
{ \geq} {2{,}5 }
{ } { }
{ } { }
{ } { }
} {}{}{.} }

}
{} {}




\inputaufgabegibtloesung
{}
{

Karl möchte mit seinem programmierbaren Taschenrechner den Wert der Reihe
\mathl{\sum_{n = 1}^\infty { \frac{ 1 }{ n } }}{} annähernd berechnen. Die Anzeige des Rechners besitzt $8$ Nachkommastellen. Der Rechner schafft pro Sekunde eine Addition \zusatzklammer {also ein Reihenglied wird zur bisherigen Summe draufaddiert} {} {} der Reihe und zeigt das neue Ergebnis direkt an. Karl hat richtig programmiert und denkt sich folgende Strategie aus: \anfuehrung{Wenn die Anzeige eine ganze Stunde lang immer das gleiche anzeigt, so wird das wohl ziemlich nah am Ergebnis sein, sodass ich das als eine gute Annäherung nehmen kann. Der Rechner soll dann aufhören}{.} \aufzaehlungzwei {Was ist ungefähr das letzte Reihenglied, das aufaddiert wird? } {Was ist von der Strategie zu halten? }

}
{} {}




\inputaufgabe
{}
{

Zeige, dass die beiden \definitionsverweis {Reihen}{}{}
\mathdisp {\sum_{ k = 0}^\infty \frac{1}{2k+1} \text{ und } \sum_{ k = 0}^\infty \frac{1}{2k+2}} { }
\definitionsverweis {divergieren}{}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

Zeige die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1 }^n { \frac{ 1 }{ \sqrt{i} } } }
{ \leq} { 3 \sqrt{n} }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

Beweise das Cauchy-Kriterium für Reihen komplexer Zahlen.

}
{} {}




\inputaufgabe
{}
{

Es seien
\mathdisp {\sum_{ k = 0}^\infty a_{ k } \text{ und } \sum_{ k = 0}^\infty b_{ k }} { }
\definitionsverweis {konvergente Reihen}{}{} von \definitionsverweis {komplexen Zahlen}{}{} mit den Summen \mathkor {} {s} {und} {t} {.} Beweise die folgenden Aussagen. \aufzaehlungzwei {Die Reihe
\mathl{\sum_{ k = 0}^\infty c_{ k }}{} mit
\mathl{c_k=a_k+b_k}{} ist ebenfalls konvergent mit der Summe
\mathl{s+t}{.} } {Für
\mathl{\lambda \in {\mathbb C}}{} ist auch die Reihe
\mathl{\sum_{ k = 0}^\infty d_{ k }}{} mit
\mathl{d_k = \lambda a_k}{} konvergent mit der Summe $\lambda s$. }

}
{} {}




\inputaufgabe
{}
{

Man gebe ein Beispiel für eine \definitionsverweis {reelle Reihe}{}{}
\mathl{\sum_{ k = 0}^\infty a_{ k }}{,} die \zusatzklammer {als Folge von Partialsummen} {} {} \definitionsverweis {beschränkt}{}{} ist, aber nicht \definitionsverweis {konvergiert}{}{.}

}
{} {}




\inputaufgabe
{}
{

Zeige
\mavergleichskette
{\vergleichskette
{ \sum_{n = 0}^{\infty} \frac{3^n + (-2)^n }{ 5^n } }
{ = }{ \frac{45}{14} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

Entscheide, ob die Reihe
\mathdisp {\sum_{n=1}^\infty { \frac{ n! }{ n^n } }} { }
konvergiert.

}
{} {}




\inputaufgabegibtloesung
{}
{

Zeige, dass die Reihe
\mathdisp {\sum_{n=1}^\infty { \frac{ z^n }{ n^n } }} { }
für jedes
\mavergleichskette
{\vergleichskette
{z }
{ \in }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {absolut konvergiert}{}{.}

}
{} {}




\inputaufgabe
{}
{

Es sei $\mathcal R$ die Menge aller \definitionsverweis {komplexen Reihen}{}{} und $\mathcal F$ die Menge aller \definitionsverweis {komplexen Folgen}{}{.} Zeige, dass die Zuordnungen \maabbeledisp {} {{\mathcal R} } { {\mathcal F} } { \sum_{k = 0}^\infty a_k} { (x_n)_{n \in \N} \text{ mit } x_n \defeq \sum_{k = 0}^n a_k } {,} und \maabbeledisp {} {{\mathcal F} } { {\mathcal R} } { (x_n)_{n \in \N} } { \sum_{k = 0}^\infty a_k \text{ mit } a_0 \defeq x_0 \text{ und } a_k \defeq x_{k} - x_{k-1} \text{ für } k \geq 1 } {,} zueinander invers sind und eine Bijektion zwischen \mathkor {} {\mathcal R} {und} {\mathcal F} {} festlegen. Zeige, dass sich dabei die Konvergenzbegriffe entsprechen und dass sich reelle Reihen und reelle Folgen entsprechen. Zeige ferner, dass sich im reellen Fall Reihen mit nichtnegativen Reihengliedern und wachsende Folgen entsprechen.

}
{} {}




\inputaufgabe
{}
{

Professor Knopfloch und Dr. Eisenbeis schauen gerne die unendliche Fernsehserie \anfuehrung{Zebras}{,} die in der botswanischen Kalahari spielt und vom ewigen Kampf zwischen Löwen und Hyänen handelt. Dabei setzen sie unterschiedliche Strategien ein: Professor Knopfloch vergisst alle vorhergehenden Folgen, damit die neue Folge spannend wird. Dr. Eisenbeis merkt sich hingegen alle vorhergehenden Folgen genau und achtet bei jeder neuen Folge nur darauf, was sich geändert hat und was neu hinzukommt. Was ist Ihre Strategie? Was hat das mit Folgen und Reihen zu tun?

}
{} {}


Es sei
\mathl{\sum_{ k = 0}^\infty a_{ k }}{} eine \definitionsverweis {reelle Reihe}{}{.} Eine \definitionswort {Umordnung}{} dieser Reihe ist die Reihe
\mathl{\sum_{ k = 0}^\infty b_{ k }}{} mit
\mavergleichskette
{\vergleichskette
{b_k }
{ = }{a_{\sigma(k)} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zu einer \definitionsverweis {bijektiven Abbildung}{}{} \maabb {\sigma} {\N} {\N } {.}


Bei einer Umordnung einer Reihe kommen zwar genau die gleichen Summanden vor, es ändert sich aber die Folge der Partialsummen und damit eventuell auch das Konvergenzverhalten.




\inputaufgabe
{}
{

Zeige, dass bei einer \definitionsverweis {Folge}{}{} die Änderung von endlich vielen Folgengliedern weder die \definitionsverweis {Konvergenz}{}{} noch den \definitionsverweis {Grenzwert}{}{} ändert, und dass bei \definitionsverweis {Reihen}{}{} die Änderung von endlich vielen Reihengliedern zwar die Konvergenz nicht ändert, wohl aber die Summe.

}
{} {}




\inputaufgabe
{}
{

In einer Studenten-WG bereitet Studi 1 Kaffee zu, und füllt die Menge $x_1$ Kaffee in den Kaffeefilter. Dies sieht entsetzt Studi 2 und sagt: \anfuehrung{Willst Du, dass wir alle schon total wach werden?}{} und nimmt die Kaffeemenge
\mavergleichskette
{\vergleichskette
{ x_2 }
{ < }{ x_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} wieder aus dem Filter heraus. Danach kommt Studi 3 und sagt: \anfuehrung{Bin ich hier in einer Weicheier-WG gelandet?}{} und kippt wieder eine Kaffeemenge
\mavergleichskette
{\vergleichskette
{ x_3 }
{ < }{ x_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} dazu. So geht es unendlich weiter, wobei sich Kaffeeherausnehmer und Kaffeenachfüller abwechseln. Wie kann man charakterisieren, ob die Kaffeemenge im Filter \definitionsverweis {konvergiert}{}{?}

}
{} {}




\inputaufgabe
{}
{

Nachdem der Kaffee am Vortag für die Befürworter eines starken Kaffees zu schwach geworden ist, entwickeln sie eine neue Strategie: Sie wollen etwas früher aufstehen, sodass am Tagesanfang und zwischen je zwei Kaffeereduzierern immer zwei Kaffeeauffüller zum Zuge kommen. Dabei bleibt die interne Reihenfolge der beiden Lager als auch die hinzuzufügende bzw. wegzunehmende Kaffeemenge einer Person unverändert. Können sie mit dieser Strategie den Kaffee stärker machen, beispielsweise bei
\mavergleichskette
{\vergleichskette
{ x_n }
{ = }{ { \frac{ 1 }{ n } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{?}

}
{} {}




\inputaufgabegibtloesung
{}
{

Es sei $z$ eine \definitionsverweis {komplexe Zahl}{}{,}
\mavergleichskette
{\vergleichskette
{z }
{ \neq }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Beweise für
\mavergleichskette
{\vergleichskette
{n }
{ \in }{ \N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} durch Induktion die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 0}^n z^k }
{ =} { { \frac{ z^{n+1} -1 }{ z-1 } } }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}




\inputaufgabe
{}
{

Zwei Personen, \mathkor {} {A} {und} {B} {,} sitzen in der Kneipe. $A$ will nach Hause gehen, aber $B$ will noch ein Bier trinken. \anfuehrung{Na gut, dann trinken wir eben noch ein Bier, das ist aber das allerletzte}{} sagt $A$. Danach möchte $B$ immer noch Bier, aber da das vorhergehende Bier definitiv das letzte war, einigen sie sich auf ein allerletztes halbes Bier. Danach trinken sie noch ein allerletztes Viertelbier, danach noch ein allerletztes Achtelbier, u.s.w. Wie viel \anfuehrung{allerletztes Bier}{} trinken sie insgesamt?

}
{} {}




\inputaufgabe
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{ k }
{ \geq }{ 2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{n=1}^\infty { \frac{ 1 }{ n^k } }} { }
\definitionsverweis {konvergiert}{}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

Zeige, dass die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{n=1}^\infty { \frac{ \sin n }{ n^2 } }} { }
\definitionsverweis {konvergiert}{}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

Untersuche, ob die Reihe
\mathdisp {\sum_{n=1}^\infty { \frac{ 2n+5 }{ 4n^3-3n+2 } }} { }
konvergiert oder divergiert.

}
{} {}




\inputaufgabe
{}
{

Untersuche die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{n=0}^{\infty} { \frac{ 2n+7 }{ n^3-4n^2+3n-5 } }} { }
auf \definitionsverweis {Konvergenz}{}{.}

}
{} {}




\inputaufgabe
{}
{

Untersuche die folgenden Reihen auf Konvergenz: \aufzaehlungdrei{$\sum_{n=1}^{\infty} \frac{n+3}{n^3-n^2-n+2}$, }{$\sum_{n=1}^{\infty} \frac{n+ \sqrt{n} }{n^2 - \sqrt{n} +1}$, }{$\sum_{n=1}^{\infty} (-1)^n (\sqrt{n}-\sqrt{n-1})$. }

}
{} {}




\inputaufgabe
{}
{

Zeige, dass es für jedes
\mathl{\epsilon >0}{} eine Familie
\mathbed {\epsilon_n} {}
{n \in \N} {}
{} {} {} {,} von positiven reellen Zahlen mit
\mathl{\sum_{n=0}^\infty \epsilon_n \leq \epsilon}{} gibt.

}
{} {}




\inputaufgabe
{}
{

Beweise das folgende \stichwort {Minorantenkriterium} {.}


\faktsituation {Es seien $\sum_{ k = 0}^\infty a_{ k }$ und $\sum_{ k = 0}^\infty b_{ k }$ zwei \definitionsverweis {Reihen}{}{} von \definitionsverweis {nichtnegativen}{}{} \definitionsverweis {reellen Zahlen}{}{.}}
\faktvoraussetzung {Die Reihe
\mathl{\sum_{ k = 0}^\infty b_{ k }}{} sei \definitionsverweis {divergent}{}{} und es gelte
\mathl{a_k \geq b_k}{} für alle
\mathl{k \in \N}{.}}
\faktfolgerung {Dann ist auch die Reihe
\mathl{\sum_{ k = 0}^\infty a_{ k }}{} divergent.}
\faktzusatz {}
\faktzusatz {}

}
{} {}




\inputaufgabe
{}
{

Zeige, dass die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{k=1}^\infty \frac{1}{ \sqrt{k} }} { }
\definitionsverweis {divergiert}{}{.}

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{\sum_{ k = 0}^\infty a_{ k }}{} eine \definitionsverweis {konvergente Reihe}{}{} mit
\mathl{a_k \in \R_{\geq 0}}{.} Zeige, dass die durch
\mathdisp {y_n := \sum_{k \geq n/2 }^{n} a_k} { }
definierte \definitionsverweis {Folge}{}{} eine \definitionsverweis {Nullfolge}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $(x_n)_{n \in \N}$ eine monoton fallende Nullfolge. Beweise den folgenden Satz \zusatzklammer {Satz von Olivier} {} {}: Wenn die Reihe $\sum_{n=0}^{\infty} x_n$ konvergiert, dann ist $(n \cdot x_n)_{n \in \N}$ eine Nullfolge.

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{\sum_{ k = 0}^\infty a_{ k }}{} eine \definitionsverweis {absolut konvergente}{}{} \definitionsverweis {komplexe Reihe}{}{.} Zeige, dass dann auch jede \definitionsverweis {Umordnung}{}{} der Reihe gegen den gleichen Grenzwert konvergiert.

}
{} {}




\inputaufgabegibtloesung
{}
{

Es sei $z \in {\mathbb C},\, \betrag { z } <1$. Bestimme und beweise eine Formel für die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{ k = 0}^\infty (-1)^k z^k} { . }

}
{} {}

Die nächste Aufgabe befasst sich mit der $g$-\stichwort {adischen Entwicklung} {} von reellen Zahlen, vergleiche Aufgabe 9.34.


\inputaufgabe
{}
{

Es sei
\mathbed {g \in \N} {,}
{g \geq 2} {}
{} {} {} {.} Es sei eine Ziffernfolge
\mathdisp {z_i \in \{0,1 , \ldots , g-1\} \text{ für } i \in \Z, \, i \leq k} { , }
\zusatzklammer {wobei $k \in \N$ ist} {} {} gegeben und es sei
\mathdisp {r= \sum_{i=k}^{- \infty} z_i g^{i}} { }
die durch diese Ziffernfolge definierte \definitionsverweis {reelle Zahl}{}{.} Zeige, dass die Ziffernfolge genau dann ab einer gewissen Stelle \stichwort {periodisch} {} ist, wenn $r$ eine \definitionsverweis {rationale Zahl}{}{} ist.

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{2}
{

Es sei $z \in {\mathbb C},\, \betrag { z } <1$. Bestimme und beweise eine Formel für die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{ k = 0}^\infty { \mathrm i}^k z^k} { . }

}
{} {}




\inputaufgabe
{3}
{

Es seien
\mavergleichskette
{\vergleichskette
{ a,b }
{ \in }{ \R_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{k=0}^\infty \frac{1}{ak+b}} { }
\definitionsverweis {divergiert}{}{.}

}
{} {}




\inputaufgabe
{3}
{

Es sei
\mathbed {g \in \N} {,}
{g \geq 2} {}
{} {} {} {.} Eine \stichwort {Ziffernfolge} {,} die durch
\mathdisp {z_i \in \{0,1 , \ldots , g-1\} \text{ für } i \in \Z, \, i \leq k} { , }
\zusatzklammer {wobei
\mavergleichskette
{\vergleichskette
{ k }
{ \in }{ \N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist} {} {} gegeben ist, definiert eine \definitionsverweis {reelle Reihe}{}{\zusatzfussnote {Hier läuft also der Index in die umgekehrte Richtung} {.} {}}
\mathdisp {\sum_{i=k}^{- \infty} z_i g^{i}} { . }
Zeige, dass eine solche Reihe gegen eine eindeutig bestimmte nichtnegative \definitionsverweis {reelle Zahl}{}{} \definitionsverweis {konvergiert}{}{.}

}
{} {}




\inputaufgabe
{4}
{

In einen Klärteich mit einem Fassungsvermögen von $2000\,\mathrm m^3$ werden zu Beginn eines jeden Tages $200\,\mathrm m^3$ Wasser eingelassen, das einen bestimmten Schadstoff in einer Volumen-Konzentration von $10\,\%$ enthält und vollständig mit dem vorhandenen Wasser vermischt. Im Laufe eines Tages reduziert sich durch biologische Reaktion die vorhandene Schadstoffmenge jeweils um $20\,\%$. Gegen Ende eines Tages werden dann $200\,\mathrm m^3$ Wasser aus dem Klärteich abgepumpt. Welche Schadstoffkonzentration \zusatzklammer {in Prozent} {} {} stellt sich auf Dauer bei dem abgepumptem Wasser ein, wenn ganz am Anfang der Teich mit $1800\,\mathrm m^3$ klarem Wasser gefüllt war?

}
{} {}




\inputaufgabe
{4}
{

Zeige, dass die \definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{n=0}^\infty \frac{n^2}{2^n}} { }
\definitionsverweis {konvergiert}{}{.}

}
{} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {B-bronze.svg} }
\end{center}
\bildtext {} }

\bildlizenz { 龜-bronze.svg } {} {} {Commons} {} {}




\inputaufgabe
{5}
{

Die Situation im Schildkröten-Paradoxon von Zenon von Elea ist folgendermaßen: Eine langsame Schildkröte \zusatzklammer {mit der Kriechgeschwindigkeit
\mavergleichskette
{\vergleichskette
{ v }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} hat einen Vorsprung
\mavergleichskette
{\vergleichskette
{ s }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gegenüber dem schnelleren Achilles \zusatzklammer {mit der Geschwindigkeit
\mavergleichskette
{\vergleichskette
{ w }
{ > }{ v }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und dem Startpunkt $0$} {} {.} Sie starten gleichzeitig. Achilles kann die Schildkröte nicht einholen: Wenn er beim Ausgangspunkt der Schildkröte
\mavergleichskette
{\vergleichskette
{ s_0 }
{ = }{ s }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ankommt, so ist die Schildkröte nicht mehr dort, sondern ein Stück weiter, sagen wir an der Stelle
\mavergleichskette
{\vergleichskette
{ s_1 }
{ > }{ s_0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wenn Achilles an der Stelle $s_1$ ankommt, so ist die Schildkröte wieder ein Stück weiter, an der Stelle
\mavergleichskette
{\vergleichskette
{ s_2 }
{ > }{ s_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} u.s.w.

Berechne die Folgenglieder $s_n$, die zugehörigen Zeitpunkte $t_n$, sowie die jeweiligen Grenzwerte. Vergleiche diese Grenzwerte mit den direkt berechneten Überholungsdaten.

}
{} {}