Lipschitz-Bedingung |
15.08.2006, 21:08 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
Lipschitz-Bedingung Erfüllt die Funktion auf ganz R² eine globale bzw lokale Lipschitzbed. bzgl. y? Ist das zugehörige Anf.wertproblem y'=f(x,y); y(0)=0 eindeutig lösbar? kann man sagen, dass wenn die funktion stetig diffbar ist, sie eine lokale lipschitzbed erfüllt ? wie bekommt man das mit der globalen Lbed. heraus? und wenn sie die bedingugen erfüllt ist das anfproblem eindeutig lösbar, oder? |
||||||||||||
16.08.2006, 00:52 | Abakus | Auf diesen Beitrag antworten » | ||||||||||
RE: Lipschitz-Bedingung
Kritischer Punkt ist die 0. Schau dir die Verhältnisse da mal an.
Zu vermuten wäre nein. Das kannst du durch Berechnung der Lösungen sogleich bestätigen.
Ja. Das folgt aus dem Mittelwertsatz der Differentialrechnung. Am Besten zeigst du das gleich mal.
Durch Abschätzung oder Anschauen der Ableitung (wenn existent) oder sonstwie. Das ist allgemein schwer zu sagen. Hier lässt es sich widerlegen.
Welche Bedingungen genau ? Wenn du zB die aus dem Satz von Picard-Lindelöf meinst, ja. Grüße Abakus |
||||||||||||
16.08.2006, 01:21 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
danke für deine tipps! wie meinst du soll ich die funktion bei 0 untersuchen? versuchen den grenzwert zu bilden...?? hm, mit dem anfwertproblem, hab das mal gelöst und bin auf gekommen. d.h. wegen +/- ist es nicht eindeutig? kannst du mir bitte noch ein hint geben, mit der globalen lipschitzbedingung, hab so was noch nie gemacht und weiß nicht wie man das am besten abschätzt ... weiß nur dass gelten muss also der mittelwertsatz sagt ja, wenn f auf [a,b] stetig und diffbar, dann gilt: , d.h und damit erfüllt sie eine lipschitzbedingung? aber das problem ist hier ja dann nicht eindecutig lösbar, also können die bedingunegn von picard-l nicht erfüllt sein, oder? viele grüße |
||||||||||||
16.08.2006, 01:59 | Abakus | Auf diesen Beitrag antworten » | ||||||||||
Wie sieht zB die partielle Ableitung nach y aus und was macht die in 0 ? Daraus solltest du zu einer Idee kommen.
Das sieht nach einem RF aus. Ich habe als Lösung Polynome.
Du weißt dann, dass zu x, y ein existiert, so dass: . ist stetig und auf einem Kompaktum daher beschränkt. Welche Lipschitz-Konstante L bietet sich hier demnach an ?
Ja, richtig. Grüße Abakus |
||||||||||||
16.08.2006, 02:30 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
danke für deine hilfe. ich hab jetzt versucht die partielle ableitung zu bilden: y analog... wenn das stimmt, ist die funktion in 0 partiell diffbar... richtig? und wie bekomm ich raus ob sie auch stetig diffbar ist? polynome...? ... am besten ich schreib mal meine zwischenschritte auf: d.h. und dann komm ich auf diese lösung... was hab ich daran falsch gemacht? hm, ich würde mal sagen als lipschitzkonstante bietet sich dieses f(?) an ?? (weiß leider nicht wie ich den buchstaben eingeben kann, sorry...) viele grüße |
||||||||||||
16.08.2006, 11:14 | Abakus | Auf diesen Beitrag antworten » | ||||||||||
Ich meine hier die partielle Differenzierbarkeit nach y. Und Wurzelfunktionen haben in 0 eine spezielle Eigenschaft:
Soweit ok. Jetzt noch nach y auflösen (du musst die dritte Potenz bilden).
Der Buchstabe ist \xi. Im Prinzip nimmst du , ja. Nur da du zu verschiedenen auch verschiedene hast, wählst du dieses so, dass maximal wird. Und das kannst du, wenn du ein Kompaktum betrachtest und stetig ist (hier gehen also 2 wichtige Voraussetzungen ein !). Grüße Abakus |
||||||||||||
Anzeige | ||||||||||||
|
||||||||||||
16.08.2006, 17:17 | Ambrosius | Auf diesen Beitrag antworten » | ||||||||||
Stetige Diffbarkeit ist auf kompakten Mengen äquivalent zur globalen Lipschitz-Bedingung. Die sagt ja, anschaulich gesprochen, eine Beschränktheit der Sekantensteigungen aus. 0 ist hier der "kritische" Punkt. Dort wächst die Funktion "unendlich" schnell, also über alle hypotetischen Grenzen hinaus. So könnte man anschaulich agrumentieren. Natürlich ersetzt das nicht den Beweis. Allerdings ist dann Picard-Lindelöf in 0 nicht anwendbar, das also vermutlich nicht nur eine Lösung existiert, sondern vermutlich viel viel mehr (Peano) |
||||||||||||
16.08.2006, 23:34 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
danke für eure erklärungen-... also meinst du mit der speziellen eigenschaft der wurzelfunktion, dass man im nullpunkt eigentlich keine eindeutige tangente anlegen kann? d.h. sie ist dort nicht stetig diffbar, also kann es auch keine lipschitzkonstante (lokal?) geben? aber wie schreibt man das mathematisch korrekt auf? hab noch die dritte potenz gebildet: hast du das auch raus? das komische ist nur, wenn man jetzt dieses anfwertproblem y(0) = 0 einsetzt bekommt man ja y= 0 ?? und wenn ich die anfangswerte gleich als integralgrenzen nehme bekomm ich ? aha, okay, das war der satz dass jede stetige funktion auf einer kompakten menge ihr max/min annimmt? viele grüße |
||||||||||||
17.08.2006, 01:33 | Abakus | Auf diesen Beitrag antworten » | ||||||||||
Vorsicht, es gilt nur die Hinrichtung. Aus einer Lipschitz-Bedingung folgt umgekehrt i.A. nicht die Differenzierbarkeit.
Eine solche Wurzelfunktion ist in 0 nicht differenzierbar (senkrechte Tangente). Demzufolge ist es notwendig, dort genauer hinzuschauen. Nimm einmal an, eine solche Funktion erfülle in 0 eine Lipschitz-Bedingung und schreibe das einmal konkret hin. Dann kannst du versuchen, weiter umzuformen und zu einem Widerspruch zu kommen. (Versuche es einmal selbst.)
Statt 1/3 sollte da 1/2 stehen. Beim AWP erhälst du und damit . Mit kennst du noch eine zweite Lösung, und damit kannst du zur lokalen Eindeutigkeit etwas aussagen. Das was du zuletzt mit Integralgrenzen ausgerechnet hast, erfüllt die DGL nicht (Probe machen).
Ja, von diesem Satz war in einem bestimmtem Zusammenhang hier die Rede. Insgesamt hast du jetzt einige Hinweise und Ideen, die du vielleicht erstmal für dich ordnen und zusammenfassen solltest. Grüße Abakus |
||||||||||||
17.08.2006, 14:06 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
danke für die hints! ah, okay da hast du mich auf eine idee gebracht. diese lipschitzbedingug sagt ja, dass die funktion beschränkt ist: für die wurzelfunktion f(x) = x im eindimensionalen gilt das in nullpunkt ja nicht, da hast du so einen widerspruch gemeint? ich kriegt das nur nicht mit unsrer funktion hier hin. weil da bekomm ich dann: wie meinst du das mit der zweiten lösung von y(x) = 0 ? wie kann ich da etwas zur eindeutigkeit sagen? kann man das eigentlich nicht auch mit dem satz der impl. funktion, also wenn ? viele grüße |
||||||||||||
17.08.2006, 23:36 | Abakus | Auf diesen Beitrag antworten » | ||||||||||
Ja, das ist es. Betrachte für die Bedingung bzw.
Na setze die Nullfunktion einmal probeweise in die DGL ein. Was stellst du fest ? Neben der Nullfunktion hast du noch eine weitere Lösung (demnach gibt es mindestens 2 Lösungen). Bei mindestens 2 Lösungen ist die Lösung nicht eindeutig bestimmt.
Auf die Idee wäre ich jetzt weniger gekommen. Was willst du denn genau auf diese Art folgern ? (es geht ja nicht um die Auflösung einer impliziten Gleichung, sondern um eine DGL) Grüße Abakus |
||||||||||||
18.08.2006, 16:01 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
hi abakus, danke für deine erklärungen. ahja, das mit der eindeutigkeit und dem awp hab ich nun verstanden =) d.h. es fehlt "nur" noch das mit lipschitz. leider fehlt mir da noch jede idee wie ich das hier: weiter abschätzen kann um die divgergenz zu zeigen... hast du noch ein tipp für mich? viele grüße |
||||||||||||
18.08.2006, 21:23 | Abakus | Auf diesen Beitrag antworten » | ||||||||||
Naheliegend ist beide Ungleichungsseiten durch zu teilen. Dann erhälst du: Kann das für kleine y sein ? Grüße Abakus |
||||||||||||
18.08.2006, 23:47 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
naja, kann sicher nicht sein.d.h. ich muss y->0 gehn lassen und dann wird der bruch immer größer, also nicht beschränkt und daraus folgt der widerspruch? und ist damit dann sowohl lokale als auch globale lipschitzigkeit widerlegt? |
||||||||||||
19.08.2006, 00:03 | Abakus | Auf diesen Beitrag antworten » | ||||||||||
Genau, so ist es. Die lokale Lipschitz-Stetigkeit ist damit in y=0 widerlegt, in anderen Punkten ist sie wohl erfüllt. Global geht natürlich erst recht nicht, wenn die Eigenschaft nicht lokal überall vorhanden ist. Grüße Abakus |
||||||||||||
19.08.2006, 08:26 | kingskid | Auf diesen Beitrag antworten » | ||||||||||
okay dann vielen dank nochmal für deine hilfe !! |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |
|