Der Begriff der nichtexpansiven Abbildung entstammt der Funktionalanalysis, einem der Teilgebiete der Mathematik. Die nichtexpansiven Abbildungen zählen zu den lipschitzstetigen Abbildungen zwischen metrischen Räumen. Sie sind unter anderem bedeutsam im Zusammenhang mit Fixpunktsätzen.

Definition

Bearbeiten

Eine Abbildung   für zwei metrische Räume   und   heißt nichtexpansiv, wenn stets die folgende Ungleichung erfüllt ist:

 

Erfüllt eine solche Abbildung   für   mit   sogar stets die strenge Ungleichung

    ,

so nennt man   strikt nichtexpansiv.

Fixpunktsatz von Browder-Göhde-Kirk

Bearbeiten

Zu den nichtexpansiven Abbildungen von metrischen Räumen in sich zählen nicht zuletzt auch die kontraktiven Abbildungen. Wie bei letzteren stellt sich auch für erstere die Frage nach der Existenz von Fixpunkten. Eine Antwort auf diese Frage liefert der Fixpunktsatz von Browder-Göhde-Kirk. Er ist verwandt mit den Fixpunktsätzen von Banach und Schauder und geht auf Arbeiten von Felix Earl Browder, Dietrich Göhde und William A. Kirk aus den 1960er Jahren zurück.

Der Fixpunktsatz von Browder-Göhde-Kirk lässt sich zusammengefasst darstellen wie folgt:[1][2][3]

Gegeben seien ein gleichmäßig konvexer Banachraum   und darin eine nichtleere, abgeschlossene, beschränkte und konvexe Teilmenge  .
Sei weiterhin   eine nichtexpansive Abbildung, also dergestalt, dass stets die Ungleichung   erfüllt sei.
Dann gilt:
Die Fixpunktmenge   ist eine nichtleere, abgeschlossene und konvexe Teilmenge von  .
Insbesondere gibt es ein   mit   .

Der Fixpunktsatz von Browder-Göhde-Kirk gab Anlass zu einer Anzahl von Folgeuntersuchungen, die zu verschiedenen Beweisvarianten und Verallgemeinerungen führten. Die Resultate des Satzes wurden von Felix Browder, William A. Kirk und Dietrich Göhde unabhängig voneinander im Jahre 1965 gefunden. Browder hat mit diesem Satz die Existenz periodischer Lösungen gewisser Differentialgleichungen bewiesen. Kirks Version ist sogar noch etwas allgemeiner.[2]

Anmerkungen

Bearbeiten
  • Die nichtexpansiven Abbildungen sind genau diejenigen lipschitzstetigen Abbildungen   zwischen metrischen Räumen, welche die Lipschitz-Konstante   besitzen.
  • Fixpunkteigenschaften gewisser strikt nichtexpansiver Abbildungen behandelt der Satz von Edelstein.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Eberhard Zeidler: Nonlinear Functional Analysis and its Applications I 1986, S. 478
  2. a b Dirk Werner: Funktionalanalysis. 2007, S. 173
  3. Albrecht Pietsch: History of Banach Spaces and Linear Operators. 2007, S. 244