TU Wien:Analysis VU (diverse)/Übungen 2024S/Beispiel 23

Man untersuche die Folge $a_n$ (mit Hilfe vollständiger Induktion) auf Monotonie und Beschränktheit und bestimme gegebenenfalls mit Hilfe der bekannten Rechenregeln für Grenzwerte den Grenzwert $\underset{n\to \mathrm{\infty }}{lim}{a}_n$. Überlegen Sie sich auch, warum die Folge wohldefiniert ist für alle $n\ge 0$.

$a_0=2,a_{n+1}=\sqrt{4a_n-3}\mathrm{\forall }n\ge 0$

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Lösungsansatz von Padraig

Hier ist ja doch recht einiges gefragt, also gehen wir das Gefragte Schritt für Schritt durch. Kleiner Tipp: Solche Beispiele kommen doch recht gerne zu Übungstests, also gut aufpassen! ;)

Monotonie

$a_0=2$

$a_1=\sqrt{5}>2$

Wir haben den Verdacht, dass $a_n$ monoton steigend sein könnte. Somit haben wir ja auch schon unseren Induktionsanfang. Bewiesen wird es nun folgendermaßen:

$a_n\le a_{n+1}$

$a_n\le \sqrt{4a_n-3}$

$a_n^2\le 4a_n-3$

$a_n^2-4a_n+3\le 0$

Wir sehen, dass dies für alle $a_n\in [1,3]$ gültig ist. Lediglich in diesem Bereich ist die Folge monoton steigend.

Beschränktheit

Da ja der Definitionsbereich für die Folge $a_n$ in $n\ge 0$ liegt, monoton steigend für $a_n\in [1,3]$ ist und unser $a_0$ bereits vordefiniert ist, ist es klar, dass $a_0=2$ unser Infimum ist. Für eine obere Schranke sehen wir uns die Folge genauer an. Schon alleine aufgrund dem Bereich, in welchem $a_n$ monoton fallend ist, haben wir den Verdacht, dass 3 eine obere Schranke sein könnte. Überprüfen wir dies genauer...

$a_n=3;a_{n+1}=\sqrt{4\cdot 3-3}=\sqrt{9}=3=a_n$

Was bedeutet das nun für uns?

Dies heißt, dass, sobald ein Wert von $a_n=3$ erreicht wurde, die Folge nicht weiter steigt. Das heißt also, dass für alle $a_n$ gelten muss, dass $a_n<3$ ist. Beweisen wir dies durch vollständige Induktion:

Induktionsanfang:

$a_0=2<3$

Induktionsvoraussetzung:

$a_n<3$

Induktionsbehauptung:

$a_{n+1}<3$

Induktionsschritt:

$a_n<3$

$4a_n<12$

$4a_n-3<9$

$\sqrt{4a_n-3}<3$

$a_{n+1}<3$

Somit haben wir es bewiesen und wir stellen fest, dass die Folge durch den Wert 3 nach oben beschränkt ist.

Sehen wir nochmals den Intervall an, für welchen $a_n$ steigend ist, also $[1,3]$, so erkennen wir, dass durch diesen alle möglichen Resultate von $a_n$ abgedeckt werden, da $2\le a_n\le 3$ gilt. Somit haben wir bewiesen, dass die gesamte Folge monoton steigend ist!

Konvergenz und Grenzwert

Da wir eine beschränkte, monoton steigende Folge vor uns haben, ist es selbstverständlich, dass diese konvergiert und folglich auch ein Grenzwert $li{m}_{n\to \mathrm{\infty }}{a}_n=a$ existieren muss. Dies bedeutet genauso, dass derselbe Grenzwert auch für $a_{n+1}$ existieren muss. Sehen wir uns doch diesen Zusammenhang genauer an...

$li{m}_{n\to \mathrm{\infty }}{a}_n=a=li{m}_{n\to \mathrm{\infty }}{a}_{n+1}=li{m}_{n\to \mathrm{\infty }}\sqrt{4a_n-3}=\sqrt{4a-3}$

$a^2=4a-3$

$a^2-4a+3=0$ w.A. für $a=3$

Und so ist es bewiesen: Der Grenzwert muss also 3 sein, und somit $li{m}_{n\to \mathrm{\infty }}{a}_n=3$ gelten.

Hinweis: Somit ist auch bewiesen, dass 3 das Supremum der Folge ist.

Wohldefiniertheit

Trivialerweise ist die Folge wohldefiniert (für $n\ge 0$), da für jedes beliebige $n\ge 0$ ein definiertes Resultat vorliegt.

--Padraig (Diskussion) 00:45, 25. Apr. 2022 (CEST)