Satz von Birkhoff-Kellogg

Der Satz von Birkhoff-Kellogg (Vorlage:EnS) ist ein Lehrsatz aus dem mathematischen Teilgebiet der Nichtlinearen Funktionalanalysis, der auf eine im Jahre 1922 von den beiden Mathematikern George David Birkhoff und Oliver Dimon Kellogg vorgelegte wissenschaftliche Arbeit zurückgeht. Er behandelt die Frage, unter welchen Bedingungen für gewisse Operatoren auf unendlich-dimensionalen Banachräumen das Eigenwertproblem lösbar ist. Der Satz erweist sich dabei als Analogon des klassischen Satzes von Poincaré-Brouwer in der Topologie.

Formulierung des Satzes

Der Satz lässt sich zusammengefasst darstellen wie folgt:

Gegeben seien ein unendlich-dimensionaler Banachraum $X$ und darin eine beschränkte offene Teilmenge $G\subset X$, welche den Nullpunkt $0\in X$ enthalte.

Auf der abgeschlossenen Hülle $\bar{G}$ von $G$ sei ein kompakter (linearer oder nichtlinearer) Operator $\mathrm{K}:\bar{G}\to X$ gegeben, der die Bedingung

$\underset{x\in \partial G}{\inf }\Vert \mathrm{K}(x)\Vert >0$.

erfülle.

Dann gilt:

Das Eigenwertproblem ist für $\mathrm{K}$ lösbar. Dabei gibt es einen Randpunkt $x_0\in \partial G$ und dazu eine reelle Zahl $\lambda \in ℝ\setminus \{0\}$, welche die Gleichung $\mathrm{K}(x_0)=\lambda x_0$ erfüllen.

Hintergrund

Der Beweis des Birkhoff-Kellogg’schen Satzes beruht wesentlich auf einem allgemeinen Eigenwertprinzip, zu dessen Herleitung der Leray-Schauder’sche Abbildungsgrad genutzt wird, sowie dem folgenden Approximationssatz für kompakte Operatoren (Vorlage:EnS):

Gegeben seien zwei Banachräume $X,Y$ (über $𝕂$ mit $𝕂\in \{ℝ,ℂ\}$) sowie eine beschränkte nichtleere Teilmenge $M\subset X$ und hierauf ein beliebiger Operator $\mathrm{\Psi }:M\to Y$.

Dann gilt:

$\mathrm{\Psi }$ ist ein kompakter Operator genau dann, wenn es eine Folge ${\mathrm{\Psi }}_n:M\to Y(n=1,2,3,\dots )$ von Operatoren gibt derart, dass für $n=1,2,3,\dots$ stets folgende drei Bedingungen erfüllt sind:

(i) ${\mathrm{\Psi }}_n$ ist kompakt.

(ii) $\underset{x\in M}{\sup }\Vert \mathrm{\Psi }(x)-{\mathrm{\Psi }}_n(x){\Vert }_Y\le \frac{1}{n}$.

(iii) Der von der Bildmenge ${\mathrm{\Psi }}_n(M)$ (über $𝕂$) aufgespannte lineare Unterraum $\mathrm{span}({\mathrm{\Psi }}_n(M))$ hat endliche Dimension.

Literatur

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