www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenFolgen und Reihenrekursiv definierte Folge
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Folgen und Reihen" - rekursiv definierte Folge
rekursiv definierte Folge < Folgen und Reihen < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Folgen und Reihen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

rekursiv definierte Folge: Konvergenz und Grenzwert
Status: (Frage) beantwortet Status 
Datum: 22:46 Sa 05.12.2009
Autor: Jansen88

Aufgabe
Berachten sie die rekursiv definierte Folge:

[mm] x_{1}=1, [/mm]
[mm] x_{n+1}=\bruch{1}{1+x_{n}} [/mm]
für [mm] n\ge1 [/mm]

Beweisen Sie mit Hilfe des Cauchy'schen Konvergenzkriteriums ihre Konvergenz und bestimmen Sie den Grenzwert.

Hinweis: Mit vollständiger Induktion (zeigen!) gilt für alle n und k:
[mm] |x_{n+k}-x_{k}|\le(\bruch{4}{9})^{n-1}|x_{k+1}-x_{1}| [/mm]

Hallo :)

Ich habe für die Folge für die ersten n angeschaut und meine Vermutung ist, dass sie eine alternierende Folge gegen den Grenzwert 0,6 ist.

Nun soll ich das aber mit dem Cauchy'schen Konvergenzkriteriums beweisen:

Eine Folge [mm] (x_n) [/mm] ist genau dann konvergent, wenn sie eine Cauchy-Folge ist.

Ich denke, dass ich diese Aussage dann in beide Richtungen bewiesen muss oder?

1.) Eine Folge [mm] (x_{n}) [/mm] heißt Cauchy-Folge, wenn gilt:
[mm] \forall\varepsilon>0 \exists n_{0}\in\IN \forall n,m\gen_{0}: |x_{n}-x_{m}|<\varepsilon [/mm]
Es sei [mm] \limes_{n\rightarrow\infty}=c [/mm] :
[mm] |x_{n}-c|<\bruch{\vareepsilon}{2} [/mm]
[mm] |x_{m}-c|<\bruch{\vareepsilon}{2} [/mm]

Aus der Dreiecksungleichung folgt:
[mm] |x_{n}-x_{m}|\ge|x_{m}-c|-|x_{n}-c|<\bruch{\varepsilon}{2}+\bruch{\varepsilon}{2}<\varepsilon [/mm]

Geht das so?
Oder lieg ich völlig falsch?
Ich hoffe mir kann jemand helfen.

LG

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
rekursiv definierte Folge: Antwort
Status: (Antwort) fertig Status 
Datum: 22:55 Sa 05.12.2009
Autor: kuemmelsche

Hallo Jansen,

so wie ich die Aufgabe verstehe, sollst du nicht das Konvergenzkriterium beweisen. Sowas habt ihr bestimmt in der Vorlesung gemacht!

Du sollst mit diesem Kriterium Konvergenz zeigen. Wenn du dir mal den Hinweis anschaust, dann siehst du vllt wie das gehen soll. Du sollst ersteinmal über Induktion den Hinweis belegen. Wenn du dann diese Abschätzung weiterführst, sieht du was ich meine.

Den Grenzwert errechnet man (nachdem man konvergenz gezeigt hat!) indem man benutzt, dass sowohl [mm] $x_{n+1}$ [/mm] als auch [mm] $x_n$ [/mm] gegen den gleichen Grenzwert $x$ geht.

lg Kai

Ps.: Der Grenzwert sollte [mm] $\bruch{\wurzel{5}-1}{2}$ [/mm] sein.

Bezug
                
Bezug
rekursiv definierte Folge: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 01:00 So 06.12.2009
Autor: Jansen88

[mm] |x_{n+k}-x_{k}|\le(\bruch{4}{9})^{n-1}|x_{k+1}-x_{1}| [/mm]

Okay, dann muss ich per Indkution beweisen, dass dies für alle n und k gilt:

[mm] |x_{n+1+k+1}-x_{k+1}|\le(\bruch{4}{9})^{n}|x_{k+2}-x_{1}| [/mm]

[mm] \bruch{|x_{n+k+2-x_{k+1}}|}{|x_{k+2}-x_{1}| }\le(\bruch{4}{9})^{n} [/mm]

Wie löse ich das weiter auf? Irgendwie komme ich nicht weiter!

Lg


Bezug
                        
Bezug
rekursiv definierte Folge: Antwort
Status: (Antwort) fertig Status 
Datum: 01:15 So 06.12.2009
Autor: kuemmelsche


> [mm]|x_{n+k}-x_{k}|\le(\bruch{4}{9})^{n-1}|x_{k+1}-x_{1}|[/mm]
>
> Okay, dann muss ich per Indkution beweisen, dass dies für
> alle n und k gilt:
>  
> [mm]|x_{n+1+k+1}-x_{k+1}|\le(\bruch{4}{9})^{n}|x_{k+2}-x_{1}|[/mm]
>
> [mm]\bruch{|x_{n+k+2-x_{k+1}}|}{|x_{k+2}-x_{1}| }\le(\bruch{4}{9})^{n}[/mm]

Wie bist du denn dahin gekommen, in der Induktion?

Wenn du über den Hinweis konvergenz gezeigt hast, dann musst du in der ursprünglichen Rekursionsvorschrift meinen Hinweis anwenden!

>  
> Wie löse ich das weiter auf? Irgendwie komme ich nicht
> weiter!
>  
> Lg
>  

lg Kai

Bezug
                                
Bezug
rekursiv definierte Folge: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 01:28 So 06.12.2009
Autor: Jansen88

Ich war erst dabei den Hinweis selbst zu zeigen...

Bezug
        
Bezug
rekursiv definierte Folge: falsche Aufgabenstellung
Status: (Antwort) fertig Status 
Datum: 12:17 So 06.12.2009
Autor: Marc

Hallo,

mittlerweile wurde ein Tippfehler in der Aufgabenstellung bzw. dem Hinweis korrigiert (Aufgabenblatt einfach nochmal runterladen):

[mm]|x_{n+k}-x_{\red{n}}|\le(\bruch{4}{9})^{n-1}|x_{k+1}-x_{1}|[/mm]

Viele Grüße,
Marc

Bezug
                
Bezug
rekursiv definierte Folge: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:27 So 06.12.2009
Autor: Jansen88

Ich komm trotzdem nicht weiter, kannst du mir weiterhelfen?

Bezug
                        
Bezug
rekursiv definierte Folge: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:07 So 06.12.2009
Autor: Jansen88

[mm] x_{n+1}=\bruch{1}{1+x_{n}} [/mm] und [mm] x_{1}=1 [/mm]

dann ist doch [mm] |x_{n+k+1}-x_{n+1}|=|\bruch{1}{1+x_{n+k}}-\bruch{1}{1+x_{n}}|=|\bruch{1+x_{n}-1-x_{n+k}}{(1+x_{n+k})(1+x_{n})}|= [/mm]
[mm] |\bruch{x_{n}-x_{n+k}}{(1+x_{n+k})(1+x_{n})}| [/mm]
[mm] =|\bruch{x_{n+k}-x_{n}}{(1+x_{n+k})(1+x_{n})}|→ [/mm] a


nun [mm] |x_{n+k}-x_{n}|=|\bruch{1}{1+x_{n+k-1}}-\bruch{1}{1+x_{n-1}}|=|\bruch{x_{n+k-1}-x_{n-1}}{(1+x_{n+k-1})(1+x_{n-1})}| [/mm] dies in a einsetzen :
[mm] |x_{n+k+1}-x_{n+1}|=|\bruch{x_{n+k}-x_{n}}{(1+x_{n+k})(1+x_{n})}|=|\bruch{x_{n+k-1}-x_{n-1}}{(1+x_{n+k-1})(1+x_{n-1})((1+x_{n+k})(1+x_{n}))}| [/mm]

[mm] |\bruch{x_{k+1}-x_{1}}{(1+x_{n+k-1})(1+x_{n-1})((1+x_{n+k})(1+x_{n}))} [/mm]

Ist das richtig?
Wie kommt denn die [mm] \bruch({4}{9})^{n} [/mm] ins Spiel?

Wäre schön, wenn mir jemand helfen kann, da ich das bis morgen verstanden haben muss.

Liebe Grüße

Bezug
                                
Bezug
rekursiv definierte Folge: Antwort
Status: (Antwort) fertig Status 
Datum: 23:56 So 06.12.2009
Autor: kuemmelsche

Die [mm] $\bruch{4}{9}$ [/mm] kommen durch die Induktion ins Spiel. Wie man da drauf kommt ist schwer zu sagen. Dafür sind ja die Hinweise da.

Es steht doch extra da, du sollst das über Indultion zeigen! Also indunktionsanfang, und Schritt!

lg Kai

Bezug
                                
Bezug
rekursiv definierte Folge: Antwort
Status: (Antwort) fertig Status 
Datum: 00:43 Mo 07.12.2009
Autor: Marc

Hallo Jansen88,

> [mm]x_{n+1}=\bruch{1}{1+x_{n}}[/mm] und [mm]x_{1}=1[/mm]
>  
> dann ist doch
> [mm]|x_{n+k+1}-x_{n+1}|=|\bruch{1}{1+x_{n+k}}-\bruch{1}{1+x_{n}}|=|\bruch{1+x_{n}-1-x_{n+k}}{(1+x_{n+k})(1+x_{n})}|=[/mm]
>   [mm]|\bruch{x_{n}-x_{n+k}}{(1+x_{n+k})(1+x_{n})}|[/mm]
>   [mm]=|\bruch{x_{n+k}-x_{n}}{(1+x_{n+k})(1+x_{n})}|→[/mm] a

Das sieht sehr gut aus, denn hier erkennt man im Zähler doch einen Term, der in der Induktionsvoraussetzung (IV) vorkommt: [mm] $|x_{n+k}-x_{n}|$. [/mm] Dieser Term lässt sich deswegen mit der IV abschätzen.

> nun
> [mm]|x_{n+k}-x_{n}|=|\bruch{1}{1+x_{n+k-1}}-\bruch{1}{1+x_{n-1}}|=|\bruch{x_{n+k-1}-x_{n-1}}{(1+x_{n+k-1})(1+x_{n-1})}|[/mm]
> dies in a einsetzen :
>  
> [mm]|x_{n+k+1}-x_{n+1}|=|\bruch{x_{n+k}-x_{n}}{(1+x_{n+k})(1+x_{n})}|=|\bruch{x_{n+k-1}-x_{n-1}}{(1+x_{n+k-1})(1+x_{n-1})((1+x_{n+k})(1+x_{n}))}|[/mm]
>  
> [mm]|\bruch{x_{k+1}-x_{1}}{(1+x_{n+k-1})(1+x_{n-1})((1+x_{n+k})(1+x_{n}))}[/mm]
>  
> Ist das richtig?

Das mag richtig sein, aber du bist über's Ziel hinausgeschossen. Das Ziel war, die IV in dem Term zu entdecken, das war schon oben der Fall.

>  Wie kommt denn die [mm]\bruch({4}{9})^{n}[/mm] ins Spiel?

Die kommt dadurch ins Spiel, dass man sich überlegt, dass [mm] $\frac{1}{2}\le x_n\le [/mm] 1$ gilt für alle n (das muss noch gezeigt werden, folgt auch ganz leicht per Induktion). Für den Nenner oben ergibt sich dann nämlich:
[mm] $\frac1{(1+x_{n+k})(1+x_{n})}\le \frac1{(1+1/2)(1+1/2)}=\frac49$, [/mm] da ja sowohl [mm] $x_{n+k}\ge [/mm] 1/2$ als auch [mm] $x_{n}\ge [/mm] 1/2$.

Viele Grüße,
Marc


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Folgen und Reihen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]