Fixpunktsatz von Krasnoselski

Der Fixpunktsatz von Krasnoselski (Vorlage:EnS) ist einer der zahlreichen Lehrsätze, die der sowjetische Mathematiker Mark Alexandrowitsch Krasnoselski zum mathematischen Teilgebiet der Nichtlinearen Funktionalanalysis beigesteuert hat. Der Satz geht auf eine wissenschaftliche Publikation Krasnoselskis aus dem Jahre 1962 zurück und behandelt die Frage nach den Bedingungen, unter denen für kompakte Operatoren auf Banachräumen ein Fixpunktsatz gilt. Der Satz ist verwandt mit dem Fixpunktsatz von Schauder.

Formulierung des Satzes

Der Krasnoselski’sche Fixpunktsatz lässt sich folgendermaßen angeben:

Gegeben seien ein geordneter $ℝ$-Banachraum $X$ mit Norm $\Vert \cdot \Vert$ und Ordnungskegel $K=\{x\in X:0⪯x\}\subset X$.

Der Ordnungskegel $K=\{x\in X:0⪯x\}$ sei eine abgeschlossene Teilmenge von $X$, die nicht aus dem Nullpunkt allein bestehen soll, und die zugehörige Relation $⪯$ eine Halbordnungsrelation.

Weiter seien auf $K$ ein kompakter Operator $\mathrm{\Psi }:K\to K$ gegeben sowie zwei verschiedene reelle Zahlen $R_1>0$ und $R_2>0$, so dass die beiden Bedingungen

(i) $\mathrm{\Psi }(x)⪯̸x(\mathrm{\forall }x\in K\cap S_{R_1}(0))$.

(ii) $x⪯̸\mathrm{\Psi }(x)(\mathrm{\forall }x\in K\cap S_{R_2}(0))$.

erfüllt seien.

Dann gilt:

$\mathrm{\Psi }$ besitzt einen Fixpunkt $x_0=\mathrm{\Psi }(x_0)\in K$, welcher zudem der Beziehung

$\min (R_1,R_2)<\Vert x_0\Vert <\max (R_1,R_2)$

genügt.

Erläuterungen

• Die obigen Bedingungen (i) und (ii) bedeuten, dass für $x\in K$ mit $\Vert x\Vert =R_1$ stets $x-\mathrm{\Psi }(x)\in ̸K$ gilt und für $x\in K$ mit $\Vert x\Vert =R_2$ stets $\mathrm{\Psi }(x)-x\in ̸K$.
• Falls die obigen Bedingungen (i) und (ii) erfüllt sind, spricht man (in der englischen Fachsprache) für $R_1<R_2$ von einer Vorlage:Lang, für $R_1>R_2$ von einer Vorlage:Lang.

Hintergrund

Die Herleitung des Krasnoselski’schen Fixpunktsatzes nutzt an entscheidender Stelle den folgenden wichtigen Satz des US-amerikanischen Mathematikers James Dugundji aus dem Jahre 1951:

In einem Banachraum $X$ ist jede nichtleere, abgeschlossene und konvexe Teilmenge $C\subseteq X$ ein Retrakt von $X$.

Folgerung

Mit dem Fixpunktsatz von Krasnoselski gelingt es, unter gewissen Umständen auf die Existenz sehr vieler Fixpunkte zu schließen. Er zieht nämlich folgendes Korollar nach sich:

Gelten oben die Bedingungen (i) und (ii) sogar für eine ganze Folge ${(R_1(n),R_2(n))}_{n=1,2,3,\dots }$ von Zahlenpaaren mit positiven reellen Zahlen $R_1(n)\ne R_2(n)(n\in \mathbb{N})$ und konvergieren die beiden Zahlenfolgen ${(R_1(n))}_{n=1,2,3,\dots }$ und ${(R_2(n))}_{n=1,2,3,\dots }$ beide gegen $\mathrm{\infty }$, so besitzt der kompakte Operator $\mathrm{\Psi }:K\to K$ abzählbar unendlich viele Fixpunkte.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur