Abbildungsgrad

Der Abbildungsgrad ist ein Hilfsmittel der nichtlinearen Analysis, um die Existenz von Lösungen nichtlinearer Gleichungen f(x)=y nachzuweisen. Mit seiner Hilfe kann man beispielsweise den brouwerschen Fixpunktsatz, den Satz von Borsuk-Ulam oder den jordanschen Kurvensatz beweisen. Im Endlichdimensionalen (für stetige Funktionen) bezeichnet man ihn als brouwerschen Abbildungsgrad; seine Erweiterung auf Banachräume (für kompakte Störungen der Identität) heißt leray-schauderscher Abbildungsgrad.

Der brouwersche Abbildungsgrad

Der brouwersche Abbildungsgrad, benannt nach L. E. J. Brouwer, ordnet einer stetigen Funktion $f: \overline{\Omega} \subset \mathbb{R}^n \rightarrow \mathbb{R}^n$ für offenes, beschränktes $\Omega$ und gegebenes $y \in \mathbb{R}^n \setminus f(\partial\Omega)$ eine ganze Zahl $d(f, \Omega, y)$ zu. Entscheidend für die Anwendungen ist die Tatsache, dass die Gleichung f(x)=y bereits dann lösbar ist, wenn der Abbildungsgrad $d(f, \Omega, y)$ von null verschieden ist. Verschwindet der Abbildungsgrad $d(f, \Omega, y)$ , so kann keine Aussage zur Lösbarkeit gemacht werden.

Axiomatische Definition

Der brouwersche Abbildungsgrad ist eine Funktion

$d: \{(f, \Omega, y)\ |\ \Omega \subset \mathbb{R}^n\ \mathrm{offen, beschr\ddot{a}nkt}\ ,\ f: \overline{\Omega} \rightarrow \mathbb{R}^n\ \textrm{stetig}\ ,\ y \in \mathbb{R}^n\setminus f(\partial\Omega)\} \rightarrow \mathbb{Z}$

mit den folgenden Eigenschaften:

$d(\mathrm {id} _{\overline {\Omega }},\Omega ,y)=1$ für alle $y\in \Omega$ .
Zerlegungseigenschaft:

$d(f, \Omega, y) = d(f, \Omega_1, y) + d(f, \Omega_2, y)$ , falls $\Omega_1, \Omega_2$ disjunkte offene Teilmengen von $\Omega$ sind, so dass $y \not\in f(\overline{\Omega}\setminus(\Omega_1\cup\Omega_2))$ .

Homotopieinvarianz:

$t \mapsto d(F(t,\cdot), \Omega, y(t))$ ist bezüglich $t\in [0,1]$ konstant, falls $F: [0,1] \times \overline{\Omega} \rightarrow \mathbb{R}^n$ und $y: [0,1] \rightarrow \mathbb{R}^n$ stetig sind mit $y(t) \not = F(t, x)$ für alle $t\in [0,1]$ und $x \in \partial\Omega$ .

Man kann zeigen, dass eine derartige Funktion existiert und dass sie eindeutig ist.

Wichtige Eigenschaften des brouwerschen Abbildungsgrades

Ist $d(f,\Omega,y) \neq 0$ , so ist die Gleichung auf $\Omega$ lösbar.

Ist $g \in C(\bar{\Omega})$ mit
$\max\{|f(x)-g(x)|\, \colon x \in \partial \Omega\} < \mathrm{dist}(y, f(\partial\Omega)),$
so gilt $d(f,\Omega,y) = d(g,\Omega, y).$
Insbesondere ist der Abbildungsgrad durch die Werte auf $\partial \Omega$ eindeutig festgelegt.

Liegen und in derselben Zusammenhangskomponente von $\mathbb{R}^n\setminus f(\partial\Omega)$ , so gilt $d(f,\Omega,y_1) = d(f,\Omega, y_2).$
Man schreibt daher auch kurz $d(f,\Omega,Z)$ für $d(f,\Omega,y)$ , um anzudeuten, dass der Abbildungsgrad nicht von dem Punkt, sondern von der Komponente abhängt.

Seien $f: \overline{\Omega} \rightarrow \mathbb{R}^n$ und $g: \mathbb{R}^n \rightarrow \mathbb{R}^n$ stetig und $K_{i}$ die beschränkten Zusammenhangskomponenten von $\mathbb{R}^n\setminus f(\partial\Omega)$ sowie $y \in \mathbb{R}^n \setminus (g\circ f)(\partial \Omega)$ , dann gilt die leraysche Produktformel
$d(g\circ f, \Omega ,y) = \sum_i d(f,\Omega, K_i)\cdot d(g, K_i, y),$
worin nur endlich viele Summanden von null verschieden sind.

Darstellungen des Abbildungsgrades

Falls zusätzlich auf $\Omega$ stetig differenzierbar ist und alle Punkte in $f^{-1}(y)$ regulär sind, das heißt, die Determinante der Jacobimatrix ist in diesen Punkten $x \in f^{-1}(y)$ nicht null, so gilt
$d(f,\Omega,y) = \sum_{x \in f^{-1}(y)} \mathrm{sgn}\left(\det(J(f)(x))\right)\, .$
Ist nicht stetig differenzierbar, dann kann man aufgrund der zweiten Eigenschaft eine Funktion $g \in C^1(\Omega) \cap C(\bar{\Omega})$ wählen, die den gleichen Abbildungsgrad wie hat.
Sei $f \colon \overline{\Omega} \to \R^n$ wieder stetig auf $\overline{\Omega}$ und stetig differenzierbar auf $\Omega$ , $y \notin f(\partial \Omega)$ kein kritischer Punkt. Sei außerdem $(\phi_\epsilon)_{\epsilon > 0}$ eine Schar stetiger Funktionen von $\mathbb {R} ^{n}$ nach $\mathbb {R}$ mit $\operatorname{supp}(\phi_\epsilon) \subset \overline{K_\epsilon(0)}$ und $\textstyle \int_{\R^n} \phi_{\epsilon}(x) \mathrm{d} x= 1$ für alle $\epsilon >0$ wählen, hierbei bezeichnet $\overline{K_\epsilon(0)} \subset \R^n$ den abgeschlossenen Ball vom Radius $\epsilon$ um Null. Dann existiert ein $\epsilon_0(f,y)$ , so dass die Integralformel
$d(f, \Omega, y) = \int_\Omega \phi_\epsilon (f(x) - y) J(f)(x) \mathrm{d} x$
für alle $\epsilon \geq \epsilon_0(f,y)$ gilt.

Umlaufzahl

Der brouwersche Abbildungsgrad umfasst als Spezialfall die in der Funktionentheorie wichtige Umlaufzahl $\operatorname {ind}$ . Identifiziert man $\mathbb {R} ^{2}$ mit $\mathbb {C}$ , so ist der brouwersche Abbildungsgrad auch für die komplexe Ebene definiert. Eine geschlossene Kurve $\gamma \colon [0,1]\to \mathbb {C}$ kann man als stetiges Bild von $\mathbb{S}(0)$ verstehen. Mit $\mathbb {S} (0)\subset \mathbb {C}$ wird der Einheitskreisring um den Punkt null bezeichnet. Das heißt, es existiert eine stetige und surjektive Abbildung $f \colon \mathbb{S}(0) \to \operatorname{Bild}(\gamma)$ . Ist nun $a\notin \gamma = f(\mathbb{S}(0))$ , so ist aufgrund der Stetigkeit des Abbildungsgrades der Ausdruck d(f,K_1(0),a) für alle stetigen Fortsetzungen von dieselbe Zahl. Es gilt nun

$d(f,K_1(0),a) = \sum_{x \in f^{-1}(a)} \mathrm{sgn}\left(\det(J(f)(x))\right) = \sum_{x \in f^{-1}(a)} \frac{1}{2 \pi i}\int_{f(S^+_x)} \frac{\mathrm{d} z}{z - a} = \frac{1}{2 \pi i}\int_{f(\mathbb{S}(0))} \frac{\mathrm{d} z}{z - a} = \operatorname{ind}(f(S) , a),$

hierbei bezeichnet S^+_x einen genügend kleinen Kreisring um . Insbesondere zur Rechtfertigung des letzten Gleichheitszeichen sind noch ein paar Fakten aus der Topologie nötig.

Der leray-schaudersche Abbildungsgrad

Der leray-schaudersche Abbildungsgrad ist ein Analogon des brouwerschen Abbildungsgrades für (unendlichdimensionale) Banachräume. Dieser Abbildungsgrad wurde 1934 von J. Leray und J. Schauder definiert. Jedoch ist es nicht möglich, den Abbildungsgrad für beliebige stetige Funktionen zu definieren, sondern man darf nur noch kompakte Störungen der Identität zulassen.

Kompakte Störungen der Identität

Seien X,Y Banachräume und eine Teilmenge des Banachraums . Eine Funktion $K: M \rightarrow Y$ heißt kompakter Operator, falls

stetig ist und, falls
beschränkte Mengen $B \subset M$ auf relativ kompakte Mengen abbildet. Mit anderen Worten, $\overline{T(B)}$ ist eine kompakte Teilmenge von .

Ein Operator $F \colon M \subset X \rightarrow X$ , der sich als $F = \operatorname{Id} - K$ mit einem kompakten Operator darstellen lässt, heißt kompakte Störung der Identität.

Kompakte Homotopie

Eine kompakte Homotopie ist eine Homotopie zwischen kompakten Operatoren. Es sei $M\subset X$ offen und beschränkt und $K: t \mapsto K(t)$ für $t \in [0, 1]$ eine operatorwertige Funktion mit kompakten Operatoren $K(t): M \subset X \rightarrow X$ . Diese operatorwertige Funktion heißt kompakte Homotopie auf , falls zu jedem $\varepsilon >0$ ein $\delta >0$ existiert, sodass

$\|K(t_1)(x) - K(t_2)(x)\|_X \leq \varepsilon$

für alle $x\in M$ und $t_1, t_2 \in [0, 1]$ mit $|t_1-t_2| < \delta$ gilt.

Definition

Sei $F = \operatorname{Id} - K \colon \overline{M} \subset X \rightarrow X$ eine kompakte Störung der Identität, $M\subset X$ offen und beschränkt und $y \not\in F(\partial M)$ . Dann ist der leray-schaudersche Abbildungsgrad eine ganze Zahl $d(F, M, y) \in \mathbb{Z}$ , so dass folgende Eigenschaften gelten:

Ist $d(F, M, y) \neq 0$ , dann ist die Gleichung lösbar.

Homotopieinvarianz: Ist eine kompakte Homotopie auf ${\overline {M}}$ mit $K(t)(x) \neq x$ für alle $t \in [0, 1]$ und $x \in \partial M$ , so ist der Abbildungsgrad $d((\operatorname{Id}-K)(t), M, y)$ unabhängig von $t \in [0, 1]$ .

Beispiel

Die wichtigste Methode zur Berechnung des leray-schauderschen Abbildungsgrades führt, genau wie beim brouwerschen Abbildungsgrad, über die Homotopieinvarianz.

Interessiert man sich beispielsweise dafür, ob die Gleichung x - F_0(x) x = y eine Lösung in $\overline{\Omega}$ hat, so sucht man zunächst einen passenden Raum, so dass F_0 ein kompakter Operator ist. Um die Lösbarkeit nachzuweisen, nimmt man nun indirekt an, dass $x - F_0(x) \neq y$ auf $\partial \Omega$ gilt, weil sonst nichts mehr zu zeigen ist.

Anschließend sucht man eine kompakte Homotopie mit H(1) = F_0 und $x - H(t)(x) \neq y$ für alle $t \in [0, 1]$ und $x \in \partial \Omega$ . Diese Homotopie sollte so gewählt sein, dass man für den leray-schauderschen Abbildungsgrad $d(I-H(0), \Omega, y) \neq 0$ nachweisen kann. Daraus folgt nämlich $d(I-H(t), \Omega, y) \neq 0$ für alle $t \in [0, 1]$ und somit die Existenz eines $x\in \Omega$ mit x - F_0(x) x = y .

Für ein konkretes Beispiel sei das Anfangswertproblem

für $t \in [0,a]$ und $x(0)=x_{0}$ gegeben. Man kann zeigen, dass es mindestens eine Lösung hat, falls $f \colon [0,a] \times \R^n \to \R^n$ stetig ist und falls $|f(t,x)| \leq B(1 + |x|)$ auf $[0,a] \times \R^n$ für ein geeignetes $B \geq 0$ gilt. Um dies zu sehen, schreibt man das System von Differentialgleichungen in das System

$x(t) = x_0 + \int_0^t f(\tau,x(\tau)) \mathrm{d} \tau$

von Integralgleichungen um. Da beide Gleichungen äquivalent sind, reicht es zu zeigen, dass die Integralgleichung eine stetige Lösung besitzt. Diese ist dann auch differenzierbar. Daher wählt man X = C([0,a]) als den Raum der stetigen Funktion auf dem Intervall [0,a] mit der Maximumsnorm $\textstyle \|x\| = \max_{t \in [0,a]} |x(t)|$ . Außerdem setzt man

$F_0(x)(t) := x_0 + \int_0^t f(\tau,x(\tau)) \mathrm{d} \tau\,.$

Aufgrund des Satzes von Arzelà-Ascoli ist F_0 ein kompakter Operator und $H(t)(x) := t\cdot F_0(x)$ eine kompakte Homotopie. Da die Existenz einer Lösung von x - F_0(x) = 0 untersucht wird, wird y = 0 gesetzt. Da $|f(t,x)| \leq B(1 + |x|)$ vorausgesetzt wurde, kann man zeigen, dass es reicht, $\Omega := B_r(0)$ mit einem $r > (|x_0| + B \cdot a)e^{-Ba}$ zu wählen, und erhält aufgrund der Homotopieinvarianz

$d(I-F_0, B_r(0),y) = d(I, B_r(0),y) = 1\,.$

Damit ist gezeigt, dass die Integralgleichung mindestens eine stetige Lösung besitzt.

Abbildungen zwischen Mannigfaltigkeiten

Sei

$f:M\rightarrow N$

eine stetige Abbildung zwischen n-dimensionalen, kompakten, orientierten Mannigfaltigkeiten. (n ist eine natürliche Zahl.)

Die Orientierung der Mannigfaltigkeiten induziert Isomorphismen

$H_{n}(M,\mathbb {Z} )\cong \mathbb {Z} ,H_{n}(N,\mathbb {Z} )\cong \mathbb {Z}$ .

Der von f induzierte Homomorphismus

$f_*:H_n(M,\Z)\rightarrow H_n(N,\Z)$

ist die Multiplikation mit einer ganzen Zahl d, diese ist der Abbildungsgrad von f.

Literatur

Klaus Deimling: Nonlinear Functional Analysis. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 1985, ISBN 3-540-13928-1.
Michael Růžička: Nichtlineare Funktionalanalysis. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 2004, ISBN 3-540-20066-5.

Basierend auf einem Artikel in:

Wikipedia.de