Lipschitzstetigkeit

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Lipschitz-stetig)
Zur Navigation springen Zur Suche springen
Für eine lipschitzstetige Funktion existiert ein Doppelkegel (weiß), dessen Ursprung entlang des Graphen bewegt werden kann, sodass dieser stets außerhalb des Doppelkegels bleibt

Lipschitzstetigkeit (nach Rudolf Lipschitz), auch Dehnungsbeschränktheit, bezeichnet in der Analysis eine Verschärfung der Stetigkeit. Anschaulich gesprochen kann eine lipschitzstetige Funktion sich nur beschränkt schnell ändern: Alle Sekanten einer Funktion haben eine Steigung, deren Betrag nicht größer ist als eine Konstante, die Lipschitzkonstante.

Verallgemeinerungen der Lipschitzstetigkeit sind die Hölderstetigkeit sowie die Lokale Hölderstetigkeit.

Definition[Bearbeiten | Quelltext bearbeiten]

Eine Funktion heißt lipschitzstetig, wenn eine Konstante existiert, sodass

für alle gilt.

Dies ist ein Spezialfall der folgenden, allgemeinen Definition.

Seien und metrische Räume. Eine Funktion heißt lipschitzstetig, falls es eine reelle Zahl gibt, sodass

erfüllt ist. wird Lipschitzkonstante genannt und es gilt stets . Anschaulich gesprochen ist der Betrag der Steigung von nach oben durch beschränkt. Ist eine Funktion lipschitzstetig, so sagt man auch, sie erfülle die Lipschitzbedingung.

Eine Abschwächung der Lipschitzstetigkeit ist die lokale Lipschitzstetigkeit. Eine Funktion heißt lokal lipschitzstetig, wenn es um jeden Punkt in eine Umgebung gibt, sodass die Einschränkung von auf diese Umgebung lipschitzstetig ist. Eine Funktion, die nur auf einer Teilmenge definiert ist, heißt lipschitz- oder lokal lipschitzstetig, wenn sie lipschitz- oder lokal lipschitzstetig bezüglich der metrischen Räume und ist.

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

Lipschitzstetige Funktionen sind lokal lipschitzstetig (wähle ganz als Umgebung und stets als Lipschitzkonstante). Lokal lipschitzstetige Funktionen sind stetig (wähle in der --Definition der Stetigkeit), und entsprechend sind lipschitzstetige Funktionen gleichmäßig stetig. Daher ist Lipschitzstetigkeit „stärker“ als gleichmäßige Stetigkeit. Die Umkehrung gilt im Allgemeinen nicht, so ist z. B. die Funktion zwar hölderstetig mit Exponenten und daher gleichmäßig stetig, jedoch nicht lipschitzstetig (siehe Beispiel).

Nach dem Satz von Rademacher ist eine lipschitzstetige Funktion fast überall differenzierbar. Es gibt jedoch auch Funktionen, die zwar differenzierbar, aber nicht lipschitzstetig sind, z. B. . Eine differenzierbare Funktion mit ist genau dann lipschitzstetig, wenn ihre erste Ableitung beschränkt ist.

Anwendung[Bearbeiten | Quelltext bearbeiten]

Lipschitzstetigkeit ist ein wichtiges Konzept in der Theorie gewöhnlicher Differentialgleichungen, um Existenz und Eindeutigkeit von Lösungen zu beweisen (siehe Satz von Picard-Lindelöf). Selbstabbildungen mit einer Lipschitzkonstante kleiner als eins nennt man Kontraktionen. Diese sind wichtig für den Fixpunktsatz von Banach.

Menge lipschitzstetiger Funktionen[Bearbeiten | Quelltext bearbeiten]

Ist (oder allgemeiner ein metrischer Raum), so wird die Menge der reellwertigen lipschitzstetigen Funktionen auf gelegentlich mit bezeichnet.

Für (oder allgemeiner für mit der euklidischen Metrik) ist jede affin-lineare Funktion lipschitzstetig. Auf einem allgemeinen metrischen Raum sind immerhin alle konstanten Funktionen lipschitzstetig. Insbesondere ist nicht leer und enthält die konstante Nullfunktion.

Sind und , so gilt sowie . Damit ist ein reeller Vektorraum, ein Funktionenraum.

Ist die Menge zudem noch beschränkt, so gilt außerdem für das punktweise Produkt . Damit wird zu einer Funktionenalgebra.

Beispiele[Bearbeiten | Quelltext bearbeiten]

  • Für eine lipschitzstetige Funktion ist der Quotient
mit durch jede Lipschitzkonstante von nach oben beschränkt. Für lokal lipschitzstetige Funktionen ist der Quotient auf hinreichend kleinen Umgebungen beschränkt.
Daher ist die Funktion mit wegen
zwar stetig und sogar gleichmäßig stetig, jedoch nicht lokal lipschitzstetig und folglich auch nicht lipschitzstetig.
  • Für die Funktion mit folgt mit
,
dass .
Das heißt, ist eine Lipschitzkonstante für diese Funktion auf dem Intervall .
Weil für der Quotient gleich ist, folgt, dass nur für einen beschränkten Definitionsbereich lipschitzstetig ist, für einen unbeschränkten jedoch nicht. Die ebenfalls durch definierte Funktion ist deshalb nicht lipschitzstetig.
  • Die Betragsfunktion , definiert als
,
ist wegen der umgekehrten Dreiecksungleichung lipschitzstetig mit , aber sie ist (an der Stelle ) nicht differenzierbar.

Siehe auch[Bearbeiten | Quelltext bearbeiten]

Literatur[Bearbeiten | Quelltext bearbeiten]

Weblinks[Bearbeiten | Quelltext bearbeiten]