Die Mathe-Redaktion - 20.01.2019 20:25 - Registrieren/Login
Auswahl
ListenpunktHome
ListenpunktAktuell und Interessant ai
ListenpunktArtikelübersicht/-suche
ListenpunktAlle Links / Mathe-Links
ListenpunktFach- & Sachbücher
ListenpunktMitglieder / Karte
ListenpunktRegistrieren/Login
ListenpunktArbeitsgruppen
ListenpunktSchwätz / Top 15
ListenpunktWerde Mathe-Millionär!
ListenpunktAward-Abstimmung ab 3.1.
ListenpunktFormeleditor fedgeo
Aktion im Forum
Suche
Stichwortsuche in Artikeln und Links von Matheplanet
Suchen im Forum
Suchtipps

Bücher
Englische Bücher
Software
Suchbegriffe:
Mathematik bei amazon
Naturwissenschaft & Technik
In Partnerschaft mit Amazon.de
Kontakt
Mail an Matroid
[Keine Übungsaufgaben!]
Impressum

Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und
die Forumregeln.

Sie können Mitglied werden. Mitglieder können den Matheplanet-Newsletter bestellen, der etwa alle 2 Monate erscheint.

Der Newsletter Okt. 2017

Für Mitglieder
Mathematisch für Anfänger
Wer ist Online
Aktuell sind 673 Gäste und 27 Mitglieder online.

Sie können Mitglied werden:
Klick hier.

Über Matheplanet
 
Zum letzten Themenfilter: Themenfilter:
Matroids Matheplanet Forum Index
Moderiert von Wally haerter
Gewöhnliche DGL » Theorie der Gew. DGL » Satz von Picard-Lindelöf
Druckversion
Druckversion
Autor
Universität/Hochschule J Satz von Picard-Lindelöf
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2018-11-06

\(\begingroup\)
Hallo,
es geht um Satz von Picard - Lindelöff in der globalen Version.
Jedoch will ich nicht so auf den Beweis eingehen, sondern  auf den Formalismus.

Man hat ja ein AWP der Form: \(y'(x) = f(x,y)\) mit \(y(x_0)=y_0\)
mit \(x \in[x_0,x_0+a]\)

Dieses kann man äquivalent in eine Integralgleichung umschreiben: \((y(x)=y(x_0) + \int_{x_0}^x f(t,y(t)) dt\)
Darauf wendet man dann den Banachschen Fixpunktsatz, die Integralgleichung ist von der Form y=Ty.

Man rüstet dann den Raum der stetigen Funktionen auf \([x_0,x_0+a]\), mit der Norm \(||y||_s:=max_{x \in[x_0,x_0+a] }|y(x)|e^{-sx}\) aus und erhält einen Banachraum.
Jetzt werden Abschätzungen gemacht:
|Ty-Tz|<....warum wird hier der Betrag verwendet?
Muss es nicht die allgemeine Norm sein?
Man erhält dann  \(|Ty-Tz|...... \leq L ||y-z||_s \frac{1}{s} e^{sx}
\)
L ist die Lipschitzkonstante.
Dann multipliziert man mit dem e- Term und erhält dann auf der linken Seite \(|Ty-Tz| e^{-sx}\) und kann zur Norm übergehen:
\(||Ty-Tz||_s\)
So wurde das erklärt.
Den letzten Schritt verstehe ich ja, denn die Norm ist ja so definiert. Warum fängt man auf der linken Seite mit dem Betrag bei |Ty-Tz| an. Das Bild von T liegt doch nicht in R?
\(\endgroup\)


Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
xiao_shi_tou_
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 12.08.2014
Mitteilungen: 515
Aus: Bonn
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, eingetragen 2018-11-06

\(\begingroup\)
2018-11-06 21:13 - SabrinaMathe im Themenstart schreibt:

Jetzt werden Abschätzungen gemacht:
|Ty-Tz|<....warum wird hier der Betrag verwendet?
Muss es nicht die allgemeine Norm sein?
Man erhält dann  \(|Ty-Tz|...... \leq L ||y-z||_s \frac{1}{s} e^{sx}
\)
L ist die Lipschitzkonstante.

Hi.
Das stimmt so nicht.
Du hast beim Beweis der Lipschitz-Stetigkeit auf der Linken Seite nicht
\(|Ty-Tz|\), aber \(|Ty(x)-Tz(x)|\) stehen und die Abschaetzung gilt fuer alle \(x\).

Das heisst, du hast:
\(\forall x\colon |Ty(x)-Tz(x)|e^{-sx} \leq L \left\lVert y-z\right\rVert_s  
\).

(\(\frac{1}{s}\) ist konstant und wird in \(L\) reingezogen nehme ich an. )

Das heisst \(L \left\lVert y-z \right\rVert_s\) ist eine obere Schranke von \(\{|Ty(x)-Tz(x)|e^{-sx}\colon x\in [x_0,x_0+a]\}\).

Da das Supremum die kleinste Obere Schranke ist folgt:
\(\left\lVert Ty-Tz\right\rVert \leq L \left\lVert y-z\right\rVert_s  
\)

Was ist das fuer eine Norm?
Warum hat man den Faktor \(e^{-sx}\)? Ich kenne den Beweis normalerweise mit der Supremumsnorm. Dient der Faktor der Abschaetzung?
Kannst du mal die Abschaetzung hier reinschreiben?

Hast du ausserdem den Wikipedia Artikel hier schon gelesen/gesehen?



-----------------
"Jedes Gehirn kann Fragen beantworten. Es geht darum die richtigen Fragen zu finden."
\(\endgroup\)


Wahlurne Für xiao_shi_tou_ bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 8400
Aus: Dortmund, Old Europe
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.2, eingetragen 2018-11-06

\(\begingroup\) \(\newcommand{\D}{\displaystyle}\)
Hallo, Sabrina,

ohne den Originaltext zu sehen kann ich nur raten:

Es ist gemeint \(|Ty(x)-Tz(x)|\), weil auf der rechten Seite auch noch ein \(x\) vorkommt, und erste später wird bei Bedarf das Supremum genommen.

Wally

[Die Antwort wurde vor Beitrag No.1 begonnen.]
\(\endgroup\)


Wahlurne Für Wally bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.3, vom Themenstarter, eingetragen 2018-11-06

\(\begingroup\)
Hallo,
ja Wally hat recht.
Ich habe bei Wiki gesehen, dass sie nur ||.|| verwenden.
Die Norm ist so komisch mit dem e- Teil, da uns noch ein Werkzeug fehlt, um das mit der Supremumsnorm zu machen( laut Vorlesung).

Es ging mir letztlich egtl nur um die Frage, warum der Betrag bei Ty(x)-Tz(x) geschrieben wird und nicht die allgemeine  Norm.
Bei Wiki ist es ja auch so?

|Ty(x)-T(z)(x)| müssen dann doch in\(\mathbb R\) liegen, was doch nicht der Fall ist?
\(\endgroup\)


Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
Wally
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.11.2004
Mitteilungen: 8400
Aus: Dortmund, Old Europe
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.4, eingetragen 2018-11-07


Wenn man den Satz beweisen will, hat man (mindestens) zwei Möglichkeiten.

Man möchte ja haben, dass der Integraloperator eine Kontraktion definiert, um den Banachschen Fixpunktsatz anwenden zu können.

Die "Standardmöglichkeit" ist es, das Intervall so klein zu machen, dass das Produkt aus Intervalllänge und Lipschitzkonstante <math>L</math> kleiner als 1 ist, und dann solche lokalen Existenzintervalle zusammenzustückeln.

Wenn man eine globale Lipschitzkonstante hat, kann man den Trick mit der Norm nehmen, die durch Gewichtung der sup-Norm mit einer Exponentialfunktion entsteht, und erhält Existenz und Eindeutigkeit in einem Schritt für ein beliebig langes Intervall.

Wally



Wahlurne Für Wally bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.5, vom Themenstarter, eingetragen 2018-11-07


Das verstehe ich auch egtl ganz ok :)
Man kann die gewichtete Norm nehmen, da die Normen im euklischen Raum äuqivalent sind oder?

Mir ging es eher darum, warum | Ty(x)-Tz(x)schreibt.

|Ty(x)-T(z)(x)| müssen dann doch in R liegen, was doch nicht der Fall ist?

Verstehst du worauf ich hinaus will?



Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
xiao_shi_tou_
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 12.08.2014
Mitteilungen: 515
Aus: Bonn
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.6, eingetragen 2018-11-07


2018-11-07 08:35 - SabrinaMathe in Beitrag No. 5 schreibt:
Das verstehe ich auch egtl ganz ok :)
Man kann die gewichtete Norm nehmen, da die Normen im euklischen Raum äuqivalent sind oder?

Mir ging es eher darum, warum | Ty(x)-Tz(x)schreibt.

|Ty(x)-T(z)(x)| müssen dann doch in R liegen, was doch nicht der Fall ist?

Verstehst du worauf ich hinaus will?

Hi
Warum sollte das nicht der Fall sein?



Wahlurne Für xiao_shi_tou_ bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.7, vom Themenstarter, eingetragen 2018-11-07

\(\begingroup\)
Ach ja. Es geht ja um eine Differentialgleichung und nicht um ein System.

Aber warum steht dann \(||y-z||_s \)in der Norm.
Wo liegen die Bilder?
\(\endgroup\)


Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
xiao_shi_tou_
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 12.08.2014
Mitteilungen: 515
Aus: Bonn
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.8, eingetragen 2018-11-07

\(\begingroup\)
Die Bilder wurden bei der Abschaetzung nach oben durch das Supremum ersetzt.
Nach dem Motto: \(|x|\leq sup\{|x|\}\). Deshalb hast du rechts die Norm und links den Absolutbetrag.
Hast du den Wikipedia-Artikel angeschaut? Da steht alles.
\(\endgroup\)


Wahlurne Für xiao_shi_tou_ bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.9, vom Themenstarter, eingetragen 2018-11-07


Hallo,
ja ich habe den Artikel gelesen. Warum stehen ||y-z|| in der Norm . Wo liegen y und z?



Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
xiao_shi_tou_
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 12.08.2014
Mitteilungen: 515
Aus: Bonn
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.10, eingetragen 2018-11-07


Das sind doch stetige Funktionen.
Deshalb stehen sie in der Norm.



Wahlurne Für xiao_shi_tou_ bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.11, vom Themenstarter, eingetragen 2018-11-08


Aber in welchem Raum liegen die?
In R können sie ja nicht sein?



Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
xiao_shi_tou_
Aktiv Letzter Besuch: in der letzten Woche
Dabei seit: 12.08.2014
Mitteilungen: 515
Aus: Bonn
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.12, eingetragen 2018-11-09

\(\begingroup\)
Das geht doch schon aus dem Themenstart hervor.
Das sind stetige Funktionen auf einem abgeschlossenen Intervall mit Werten in \(\mathbb{R}\).
\(\endgroup\)


Wahlurne Für xiao_shi_tou_ bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.13, vom Themenstarter, eingetragen 2018-11-11


Es ist klar geworden. Vielen Dank für euere Mühen:)



Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 28.10.2018
Mitteilungen: 98
Aus:
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.14, vom Themenstarter, eingetragen 2018-11-11


Erledigt:)



Wahlurne Für SabrinaMathe bei den Matheplanet-Awards stimmen
  Profil  Quote  Link auf diesen Beitrag Link
SabrinaMathe hat die Antworten auf ihre/seine Frage gesehen.
SabrinaMathe hat selbst das Ok-Häkchen gesetzt.
SabrinaMathe wird per Mail über neue Antworten informiert.
Neues Thema [Neues Thema]  Druckversion [Druckversion]

 


Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2019 by Matroids Matheplanet
This web site was made with PHP-Nuke, a web portal system written in PHP. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]