Leray-Schauder-Alternative

Sei ${\displaystyle X}$ ein normierter Raum. Die stetige Abbildung ${\displaystyle f\colon X\to X}$ erfüllt die Leray-Schauder-Randbedingung, falls ein ${\displaystyle r>0}$ existiert, so dass aus ${\displaystyle \|x\|=r}$ die Ungleichheit ${\displaystyle f(x)\neq \lambda x}$ für alle ${\displaystyle \lambda >1}$ folgt.

Sei ${\displaystyle X}$ ein normierter Raum und ${\displaystyle f\colon X\to X}$ eine kompakte Abbildung, die der Leray-Schauder-Randbedingung genügt, dann hat ${\displaystyle f}$ mindestens einen Fixpunkt.

Die Aussage trägt die Bezeichnung Alternative, weil entweder die Gleichung ${\displaystyle f(x)=\lambda x}$ für ein ${\displaystyle \lambda >1}$ oder die Gleichung ${\displaystyle f(x)=x}$ eine Lösung hat. Jedoch bietet der Satz keine notwendigen Bedingungen, daher können für bestimmte ${\displaystyle f}$ auch beide Gleichungen erfüllt sein. Das zentrale Hilfsmittel für den Beweis des Satzes ist der Leray-Schauder-Abbildungsgrad.

In diesem Abschnitt werden hinreichende Bedingungen für Fixpunkte aufgeführt, die von Altman, Krasnoselskii und anderen bewiesen wurden und als Spezialfälle der Leray-Schauder-Alternative verstanden werden können. Im Folgenden sei ${\displaystyle X}$ normierter Raum, ${\displaystyle f\colon X\to X}$ eine stetige Funktion und ${\displaystyle B_{r}=\{x:\|x\|<r\}\subset X}$ eine Kugel mit Radius ${\displaystyle r}$.

• Klaus Deimling: Nonlinear Functional Analysis. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 1985, ISBN 3-540-13928-1, Seite 204.
• Robert F. Brown: A topological introduction to nonlinear analysis. Birkhäuser 2004, ISBN 0817632581, Seite 27.
• Vasile I. Istratescu: Fixed Point Theory an Introduction. Springer Science & Business 2001, ISBN 9027712247, Seite 166.