Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Zweidimensionale Lipschitz-Stetigkeit

Zweidimensionale Lipschitz-Stetigkeit

Universität / Fachhochschule

Gewöhnliche Differentialgleichungen

Tags: Gewöhnliche Differentialgleichungen

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Schurli

Schurli aktiv_icon

16:45 Uhr, 24.10.2015

Antworten
Welche der folgenden Funktionen f:2 erfüllen in 2 eine Lipschitz-Bedingung, welche erfüllen eine lokale Lipschitzbedingung (bezüglich y)? Begründe deine Antwort!

(1) f(x,y):=1+y1+x2

(2) f(x,y):=xy

(3) f(x,y):=sin(x)sin(y)

Zu (1):
Hier muss ich doch zeigen, dass f(x1,y1)-f(x2,y2)α(x1-x2,y1-y2). Mein Problem ist, dass ich nicht weiß welche Norm zugrunde liegt, weil keine Angabe darüber gemacht wurde, also kann ich auch nicht so ein α finden!

Kann ich hier wirklich ohne weiters die euklidische Norm verwenden?

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
DrBoogie

DrBoogie aktiv_icon

18:19 Uhr, 24.10.2015

Antworten
"Mein Problem ist, dass ich nicht weiß welche Norm zugrunde liegt"

Es ist egal, in n sind alle Normen äquivalent. Kannst beliebige wählen.
Schurli

Schurli aktiv_icon

09:17 Uhr, 25.10.2015

Antworten
So, jetzt beschäftige ich mich wieder mit dieser Aufgabe und bemerke:
da kommen ja irrrre lange Rechnungen raus. Kannst du mir eine Norm empfehlen, die da nicht total lange Würste an Rechnungen liefert (die meisten liefern leiden seitenlange Umformungen mit riesigen Termen).

Wäre lieb, wenn du mir das sagst. :-)
Antwort
DrBoogie

DrBoogie aktiv_icon

09:19 Uhr, 25.10.2015

Antworten
Hast Du schon mit max{x,y} versucht?
Schurli

Schurli aktiv_icon

09:29 Uhr, 25.10.2015

Antworten
Nein, aber, deiner Meinung nach müsste es den Rechenaufwand (von allen anderen Normen) her minimieren!?
Antwort
DrBoogie

DrBoogie aktiv_icon

09:35 Uhr, 25.10.2015

Antworten
Ich habe die Aufgaben nicht durchgerechnet, aber meistens ist es die beste Wahl.
Schurli

Schurli aktiv_icon

09:38 Uhr, 25.10.2015

Antworten
Weiteres probelem, das ich grad bemerke: Anfangs - und Zielraum haben unterschiedliche Dimension. So gesehen dürfte es sowieso mal viel schwerer Fallen da was zu vergleichen. Außerdem vertragen sich die Normen nicht.

Ich müsste ja zeigen:
1+y11+x12-1+y21+x22max(x1-x2,y1-y-2)max

Wie ich aber den linken Ausdruck mit deiner vorgeschlagenen Norm umformen soll ist mir schleierhaft. :/ Hast du da einen Tipp?
Schurli

Schurli aktiv_icon

09:47 Uhr, 25.10.2015

Antworten
Neue Idee: Ich glaube ich kann mir Arbeit ersparen, denn: Die erste Funktion ist doch bei genauerer Betrachtung unbeschränkt (man braucht nur den Nenner festzuhalten und mit dem Zähler gegen unendlich gehen) und daher kann sie auch nicht Lipschitz sein. Weil das liegt nahe, dass sie irgendwo explodiert und dort somit in ihrem Wachstum (auch) unbeschränkt ist.
Antwort
DrBoogie

DrBoogie aktiv_icon

09:52 Uhr, 25.10.2015

Antworten
"Die erste Funktion ist doch bei genauerer Betrachtung unbeschränkt (man braucht nur den Nenner festzuhalten und mit dem Zähler gegen unendlich gehen) und daher kann sie auch nicht Lipschitz sein."

Das ist eine falsche Folgerung. Eine eindimensionale Funktion f(x)=x ist unbeschränkt und doch global Lipschitz.

Ist Dir bekannt, dass eine stetig diff-bare Funktion auch lokal Lipschitz ist?
Und wenn Du eine Schranke für Ableitung hast, dann auch global.
Schurli

Schurli aktiv_icon

09:56 Uhr, 25.10.2015

Antworten
Ich glaube nicht, dass im zweidimensionalen von Differenzierbarkeit alleine gesprochen werden darf. Soweit ich mich erinnere, muss man entweder von partieller oder von totaler Differenzierbarkeit reden.

Okay, deiner Aussage zufolge sind alle außer die Mittelfunktion Lipschitz! Wir müssen aber Lipschitz-Konstanten angeben, das heißt wohl, ich werde Umformungen mittels Norm und Lipschitz-Definition durchführen müssen!
Antwort
DrBoogie

DrBoogie aktiv_icon

09:58 Uhr, 25.10.2015

Antworten
"Ich glaube nicht, dass im zweidimensionalen von Differenzierbarkeit alleine gesprochen werden darf."

Doch. Aber damit wird immer die totale Diff-barkeit gemeint.

"Okay, deiner Aussage zufolge sind alle außer die Mittelfunktion Lipschitz!"

Lokal - ja, aber global?
Antwort
DrBoogie

DrBoogie aktiv_icon

09:59 Uhr, 25.10.2015

Antworten
"Wir müssen aber Lipschitz-Konstanten angeben, das heißt wohl, ich werde Umformungen mittels Norm und Lipschitz-Definition durchführen müssen!"

Nicht unbedingt, solche Konstanten können Ableitungen liefern.
Habt Ihr überhaupt nichts gemacht in die Richtung?
Schurli

Schurli aktiv_icon

10:01 Uhr, 25.10.2015

Antworten
Lieb, dass du nachfragst:
Voraussetzungen: Ana 2 + Lipschitz - Definition einer allgemeinen Funktion UV, wobei U und V normierte Räume sind. Leider haben wir keine (konkreten) Beispiele angeschaut, daher sind paar meiner Kommilitonen auch verwirrt mit diesem Beispiel.
Schurli

Schurli aktiv_icon

10:05 Uhr, 25.10.2015

Antworten
(Im Übrigen bin ich ein Fern-Uni Selbststudium Student ;-) )


Antwort
DrBoogie

DrBoogie aktiv_icon

10:16 Uhr, 25.10.2015

Antworten
Übrigens reicht die partielle stetige Diff-barkeit für lokalen Lipschitz, kuck den Satz 12.3 hier:
http//wwwmath.uni-muenster.de/u/raimar/lehre/WS08/Math-f-Phys-III/Math-f-Ph-3.pdf
Schurli

Schurli aktiv_icon

12:04 Uhr, 25.10.2015

Antworten
Supi, ich präsentiere nun meine Resultate:

Zu (1): Partielle Ableitung nach y liefert 11+x2<1, also ist eine Lipschitzkonstante etwa 1.

Zu (3): Partielle Ableitung nach y liefert sin(x)cos(x)1, also ist eine Lipschitzkonstante wieder 1.

Zu (2): Hier versagt dieses Lemma, daher muss auf die Definition zurückgegriffen werden:
f(x,y1)-f(x,y2)=xy1-xy2=xy1-xy2=x(y1-y2)=xy1-y2. Da x folgt, dass es keine Lipschitzkonstante geben kann.

Bistdu so mit meinen Begründungen zufrieden?
Antwort
DrBoogie

DrBoogie aktiv_icon

12:10 Uhr, 25.10.2015

Antworten
In 2) muss man noch sagen, dass die Funktion lokal Lipschitz ist. Global aber nicht mehr.

Schurli

Schurli aktiv_icon

12:17 Uhr, 25.10.2015

Antworten
Zu (2): Zum Beispiel, wenn die Funktion auf einem Rechteck definiert ist!?

Lieber dr.Boogie, eine andere interessante Frage, wieso reicht es eigentlich aus, dass die x-Koordinaten beim Nachweis der L-Stetigkeit übereinstimmen? Hat man da nicht einen Strich anstatt ganz 2
Antwort
DrBoogie

DrBoogie aktiv_icon

12:29 Uhr, 25.10.2015

Antworten
"Zu (2): Zum Beispiel, wenn die Funktion auf einem Rechteck definiert ist!? "

Oder auch auf einem Kreis, ist egal, Hauptsache beschränkt.

Die andere Frage hab ich nicht verstanden.
Schurli

Schurli aktiv_icon

12:32 Uhr, 25.10.2015

Antworten
Du hast ja gesehen, wie ich die Lipschitz-Stetigkeit nachgewiesen habe, ich habe geschrieben, dass f(x,y1)-f(x,y2), d.h. die x-Kooridnaten stimmen überein. Aber muss man das nicht für die gesamte zweidimensionale Ebene zeigen, d.h. jeweils andere x-Koordinanten nehmen?
Antwort
DrBoogie

DrBoogie aktiv_icon

13:07 Uhr, 25.10.2015

Antworten
Wenn es nur um Lipschitz bzgl. y geht, ist x natürlich konstant, also
ist es richtig f(x,y1)-f(x,y2) abzuschätzen, mit gleichen x. Das ist genauso wie in der Definition der partiellen Ableitung.
Frage beantwortet
Schurli

Schurli aktiv_icon

15:40 Uhr, 25.10.2015

Antworten
Na super, dann haben wir diesen Teil der Hausaufgabe ja erledigt, vielen Dank Dr. Boogie! :-)