Kurs:Mathematik (Osnabrück 2009-2011)/Teil II/Vorlesung 49/kontrolle

Der Banachsche Fixpunktsatz

Satz Referenznummer erstellen

Es sei ${}M$ ein nicht-leerer vollständiger metrischer Raum und

$f\colon M\longrightarrow M$

eine

stark kontrahierende Abbildung.

Dann besitzt ${}f$ genau einen Fixpunkt.

Beweis

Es sei ${}c\in \mathbb {R}$, ${}0\leq c<1$, ein Kontraktionsfaktor, d.h. es gelte

${}d{\left(f(x),f(y)\right)}\leq c\cdot d{\left(x,y\right)}\,$

für alle ${}x,y\in M$. Wenn ${}x,y\in M$ Fixpunkte sind, so folgt aus

${}d(x,y)=d(f(x),f(y))\leq c\cdot d(x,y)\,$

sofort ${}d(x,y)=0$ und somit ${}x=y$, es kann also maximal einen Fixpunkt geben.
Es sei nun ${}x\in M$ ein beliebiger Punkt. Wir betrachten die durch

$x_{0}=x{\text{ und }}x_{n}:=f^{n}(x):=f(x_{n-1})$

rekursiv definierte Folge in ${}M$. Wir setzen

${}a=d{\left(f(x),x\right)}\,.$

Dann gilt für jedes ${}n\in \mathbb {N}$ die Beziehung

${}d{\left(f^{n+1}(x),f^{n}(x)\right)}\leq c\cdot d{\left(f^{n}(x),f^{n-1}(x)\right)}\leq c^{n}\cdot d{\left(f(x),x\right)}=c^{n}a\,.$

Daher gilt aufgrund der Dreiecksungleichung und der geometrischen Reihe für ${}n\geq m$ die Beziehung

${}{\begin{aligned}d{\left(f^{n}(x),f^{m}(x)\right)}&\leq d{\left(f^{n}(x),f^{n-1}(x)\right)}+d{\left(f^{n-1}(x),f^{n-2}(x)\right)}+\cdots +d{\left(f^{m+1}(x),f^{m}(x)\right)}\\&\leq a\left(c^{n-1}+c^{n-2}+\cdots +c^{m+1}+c^{m}\right)\\&=ac^{m}\left(c^{n-m-1}+c^{n-m-2}+\cdots +c^{2}+c^{1}+1\right)\\&\leq c^{m}a{\frac {1}{1-c}}.\,\end{aligned}}$

Zu einem gegebenen ${}\epsilon >0$ wählt man ${}n_{0}$ mit

${}c^{n_{0}}a{\frac {1}{1-c}}\leq \epsilon \,.$

Dies zeigt, dass eine Cauchy-Folge vorliegt, die aufgrund der Vollständigkeit gegen ein ${}y\in M$ konvergiert.
Wir zeigen, dass dieses ${}y$ ein Fixpunkt ist. Die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ konvergiert gegen ${}f(y)$, da eine kontrahierende Abbildung stetig ist. Andererseits stimmt diese Bildfolge mit der Ausgangsfolge bis auf die Indizierung überein, sodass der Grenzwert ${}y$ sein muss.

$\Box$

Der Satz über die Umkehrabbildung

Der Satz über die (lokale) Umkehrabbildung gehört zu den wichtigsten Sätzen der mehrdimensionalen Analysis. Er besagt, dass eine stetig differenzierbare Abbildung ${}\varphi$ zwischen endlichdimensionalen Vektorräumen, für die das totale Differential in einem Punkt bijektiv ist (was voraussetzt, dass die Dimension des Definitionsraum mit der Dimension des Zielraums übereinstimmt), die Abbildung selbst auf geeigneten kleinen offenen Umgebungen von ${}P$ und von ${}\varphi (P)$ eine Bijektion ist. D.h. die Abbildung verhält sich lokal so wie das totale Differential.

Wir brauchen einige Vorbereitungen. Der Beweis des folgenden Lemmas ist schon eine gute Einstimmung für den Beweis des folgenden Hauptsatzes.

Lemma Lemma 49.2 ändern

Es seien ${}V_{1}$ und ${}V_{2}$ endlichdimensionale reelle Vektorräume, ${}U_{1}\subseteq V_{1}$ und ${}U_{2}\subseteq V_{2}$ offene Teilmengen und sei

$\varphi \colon U_{1}\longrightarrow U_{2}\subseteq V_{2}$

eine bijektive differenzierbare Abbildung. Sei ${}P\in U_{1}$. Das totale Differential

$\left(D\varphi \right)_{P}$

sei bijektiv und die Umkehrabbildung

$\psi \colon U_{2}\longrightarrow U_{1}$

sei stetig in ${}Q=\varphi (P)$.

Dann ist die Umkehrabbildung differenzierbar in ${}Q$ und für ihre Ableitung gilt

${}\left(D\psi \right)_{Q}=(\left(D\varphi \right)_{P})^{-1}\,.$

Beweis

Zuerst kann man durch Verschiebungen im Definitionsraum und im Zielraum annehmen, dass ${}P=0$ und ${}\varphi (P)=0$ ist. Es sei ${}D=\left(D\varphi \right)_{P}$ die durch das totale Differential gegebene bijektive lineare Abbildung mit der linearen Umkehrabbildung ${}D^{-1}$. Wir betrachten die Gesamtabbildung

$U_{1}{\stackrel {\varphi }{\longrightarrow }}V_{2}{\stackrel {D^{-1}}{\longrightarrow }}V_{1}.$

Diese ist wieder differenzierbar, und das totale Differential davon ist ${}D^{-1}\circ D=\operatorname {Id}$ nach der Kettenregel. Wenn wir für diese zusammengesetzte Abbildung die Aussage zeigen können, so folgt die Aussage auch für ${}\varphi$, da eine lineare Abbildung differenzierbar ist. Wir können also annehmen, dass ${}\varphi$ eine differenzierbare Abbildung mit ${}\varphi (0)=0$ ist, deren totales Differential in ${}0$ die Identität ist.
Nach diesen Reduktionen bedeutet die Differenzierbarkeit von ${}\varphi$ in ${}0$, dass der Limes

${}\operatorname {lim} _{v\rightarrow 0}\,{\frac {\varphi (v)-v}{\Vert {v}\Vert }}=0\,$

ist. Wir müssen entsprechend für die Umkehrabbildung ${}\psi$ die Beziehung

${}\operatorname {lim} _{w\rightarrow 0}\,{\frac {\psi (w)-w}{\Vert {w}\Vert }}=0\,$

zeigen. Es genügt, dies für jede Folge ${}w_{n}\rightarrow 0$ nachzuweisen. Eine solche Folge kann man eindeutig als ${}w_{n}=\varphi (v_{n})$ (mit ${}v_{n}=\psi (w_{n})$) schreiben und aufgrund der vorausgesetzten Stetigkeit von ${}\psi$ konvergiert auch die Folge ${}{\left(v_{n}\right)}_{n\in \mathbb {N} }$ gegen ${}0$. Also ist

${}{\begin{aligned}{\frac {\Vert {\psi (w_{n})-w_{n}}\Vert }{\Vert {w_{n}}\Vert }}&={\frac {\Vert {\psi (\varphi (v_{n}))-\varphi (v_{n})}\Vert }{\Vert {\varphi (v_{n})}\Vert }}\\&={\frac {\Vert {v_{n}-\varphi (v_{n})}\Vert }{\Vert {\varphi (v_{n})}\Vert }}\\&={\frac {\Vert {\varphi (v_{n})-v_{n}}\Vert }{\Vert {\varphi (v_{n})}\Vert }}.\end{aligned}}$

Wegen ${}\varphi (v)=v+\Vert {v}\Vert \cdot r(v)$ mit ${}\operatorname {lim} _{v\rightarrow 0}\,r(v)=0$ gibt es eine hinreichend kleine Umgebung von ${}0$ derart, dass

${}\Vert {\varphi (v)}\Vert =\Vert {v+\Vert {v}\Vert \cdot r(v)}\Vert \geq {\frac {1}{2}}\Vert {v}\Vert \,.$

Daher lässt sich die obere Gleichungskette (für ${}n$ hinreichend groß) fortsetzen durch

$\leq 2\cdot {\frac {\Vert {\varphi (v_{n})-v_{n}}\Vert }{\Vert {v_{n}}\Vert }},$

und dies konvergiert gegen ${}0$.

$\Box$

Im allgemeinen ist eine differenzierbare Abbildung nicht bijektiv. Man kann das Lemma aber häufig anwenden, indem man zu einer kleineren offenen Umgebung des Punktes ${}P$ übergeht und für diese die Bijektivität auf das Bild zeigt.

Im Beweis des folgenden Satzes geht auch die folgende Version des Mittelwertsatzes ein.

Lemma

Es seien ${}V$ und ${}W$ euklidische Vektorräume, ${}G\subseteq V$ sei offen und enthalte mit je zwei Punkten die Verbindungsstrecke. Es sei

$\varphi \colon G\longrightarrow W$

eine differenzierbare Abbildung und es gelte

${}\Vert {\left(D\varphi \right)_{P}}\Vert \leq b\,$

für alle ${}P\in G$.

Dann gilt für ${}P,Q\in G$ die Abschätzung

${}\Vert {\varphi (Q)-\varphi (P)}\Vert \leq \Vert {Q-P}\Vert \cdot b\,.$

Beweis

Bei ${}P=Q$ ist nichts zu zeigen, sei also ${}P\neq Q$. Wir betrachten die Abbildung

$h\colon [0,\Vert {Q-P}\Vert ]\longrightarrow W,\,t\longmapsto \varphi (P+t{\frac {Q-P}{\Vert {Q-P}\Vert }}).$

Da nach Voraussetzung ${}P+t{\frac {Q-P}{\Vert {Q-P}\Vert }}\in G$ ist, ist dies eine differenzierbare Kurve. Daher gibt es nach der Mittelwertabschätzung für Kurven ein ${}c\in [0,\Vert {Q-P}\Vert ]$ mit

${}{\begin{aligned}\Vert {\varphi (P)-\varphi (Q)}\Vert &\leq \Vert {Q-P}\Vert \cdot \Vert {h'(c)}\Vert \\&=\Vert {Q-P}\Vert \cdot \Vert {{\left(D\varphi \right)}_{P+c{\frac {Q-P}{\Vert {Q-P}\Vert }}}{\left({\frac {Q-P}{\Vert {Q-P}\Vert }}\right)}}\Vert \\&=\Vert {Q-P}\Vert \cdot \Vert {\left(D\varphi \right)_{P+c{\frac {Q-P}{\Vert {Q-P}\Vert }}}}\Vert \cdot \Vert {\frac {Q-P}{\Vert {Q-P}\Vert }}\Vert \\&\leq \Vert {Q-P}\Vert \cdot \Vert {\left(D\varphi \right)_{P+c{\frac {Q-P}{\Vert {Q-P}\Vert }}}}\Vert \\&\leq \Vert {Q-P}\Vert \cdot b.\end{aligned}}$

$\Box$

Der folgende Satz besagt, dass eine stetig differenzierbare Abbildung in einer geeigneten offenen Umgebung eines Punktes bijektiv ist, wenn die Ableitung in diesem Punkt bijektiv ist. D.h., dass sich die Abbildung lokal so verhält wie die lineare Approximation.

Satz Referenznummer erstellen

Es seien ${}V_{1}$ und ${}V_{2}$ endlichdimensionale reelle Vektorräume, sei ${}G\subseteq V_{1}$ offen und es sei

$\varphi \colon G\longrightarrow V_{2}$

eine stetig differenzierbare Abbildung. Es sei ${}P\in G$ ein Punkt derart, dass das totale Differential

$\left(D\varphi \right)_{P}$

bijektiv ist.

Dann gibt es eine offene Menge ${}U_{1}\subseteq G$ und eine offene Menge ${}U_{2}\subseteq V_{2}$ mit ${}P\in U_{1}$ und mit ${}\varphi (P)\in U_{2}$ derart, dass ${}\varphi$ eine Bijektion

$\varphi {|}_{U_{1}}\colon U_{1}\longrightarrow U_{2}$

induziert, und dass die Umkehrabbildung

$(\varphi {|}_{U_{1}})^{-1}\colon U_{2}\longrightarrow U_{1}$

ebenfalls stetig differenzierbar ist.

Beweis

  Wir beginnen mit einigen Reduktionen. Zuerst kann man durch Verschiebungen im Definitionsraum und im Zielraum annehmen, dass ${}P=0$ und ${}\varphi (P)=0$ ist. Es sei ${}D=\left(D\varphi \right)_{P}$ die durch das totale Differential gegebene bijektive lineare Abbildung mit der linearen Umkehrabbildung ${}D^{-1}$. Wir betrachten die Gesamtabbildung

$G{\stackrel {\varphi }{\longrightarrow }}V_{2}{\stackrel {D^{-1}}{\longrightarrow }}V_{1}.$

Diese ist wieder stetig differenzierbar, und das totale Differential davon ist ${}D^{-1}\circ D=\operatorname {Id}$. Wenn wir für diese zusammengesetzte Abbildung die Aussage zeigen können, so folgt die Aussage auch für ${}\varphi$, da eine lineare Abbildung stetig differenzierbar ist. Wir können also annehmen, dass ${}\varphi \colon V_{1}\rightarrow V_{1}=V_{2}$ eine stetig differenzierbare Abbildung mit ${}\varphi (0)=0$ ist, deren totales Differential in ${}0$ die Identität ist. Wir werden dennoch von ${}V_{1}$ und ${}V_{2}$ sprechen, um klar zu machen, ob sich etwas im Definitionsraum oder im Zielraum abspielt.
Sei ${}y\in V_{2}$ fixiert. Wir betrachten die Hilfsabbildung

$H_{y}\colon G\longrightarrow V_{2},\,x\longmapsto H_{y}(x)=x-\varphi (x)+y.$

Diese Hilfsabbildung erfüllt folgende Eigenschaft: Ein Punkt ${}x\in G$ ist genau dann ein Fixpunkt von ${}H_{y}$, also ein Punkt mit ${}H_{y}(x)=x-\varphi (x)+y=x$, wenn ${}\varphi (x)=y$ ist, d.h. wenn ${}x$ ein Urbild von ${}y$ unter ${}\varphi$ ist. Die Abbildungen ${}H_{y}$ sind selbst stetig differenzierbar und es gilt ${}\left(DH_{y}\right)_{x}=\operatorname {Id} -\left(D\varphi \right)_{x}$.
  Wir möchten den Banachschen Fixpunktsatz auf ${}H_{y}$ anwenden, um dafür einen Fixpunkt zu gewinnen und diesen als Urbildpunkt von ${}y$ unter ${}\varphi$ nachweisen zu können. Wir fixieren eine euklidische Norm. Wegen der Stetigkeit von ${}x\mapsto \left(D\varphi \right)_{x}$ und wegen

${}\left(D\varphi \right)_{0}=\operatorname {Id} \,$

gibt es ein ${}r\in \mathbb {R}$, ${}r>0$, derart, dass für alle ${}x\in B\left(0,r\right)$ die Abschätzung

${}\Vert {\left(DH_{y}\right)_{x}}\Vert =\Vert {\operatorname {Id} -\left(D\varphi \right)_{x}}\Vert \leq {\frac {1}{2}}\,$

gilt. Für jedes ${}x\in B\left(0,r\right)$ gilt daher nach der Mittelwertabschätzung die Abschätzung

${}{\begin{aligned}\Vert {x-\varphi (x)}\Vert &=\Vert {H_{0}(x)}\Vert \\&=\Vert {H_{0}(x)-H_{0}(0)}\Vert \\&\leq {\frac {1}{2}}\Vert {x}\Vert .\end{aligned}}$

Für ${}y\in B\left(0,{\frac {r}{2}}\right)$ und ${}x\in B\left(0,r\right)$ gilt

${}{\begin{aligned}\Vert {H_{y}(x)}\Vert &=\Vert {x-\varphi (x)+y}\Vert \\&\leq \Vert {x-\varphi (x)}\Vert +\Vert {y}\Vert \\&\leq {\frac {\Vert {x}\Vert }{2}}+{\frac {r}{2}}\\&\leq {\frac {r}{2}}+{\frac {r}{2}}\\&=r.\end{aligned}}$

Für jedes ${}y\in B\left(0,{\frac {r}{2}}\right)$ liegt also eine Abbildung

$H_{y}\colon B\left(0,r\right)\longrightarrow B\left(0,r\right)$

vor.
Wegen der oben formulierten Ableitungseigenschaft und aufgrund der Mittelwertabschätzung gilt für zwei Punkte ${}x_{1},x_{2}\in B\left(0,r\right)$ die Abschätzung

${}\Vert {H_{y}(x_{1})-H_{y}(x_{2})}\Vert \leq {\frac {1}{2}}\Vert {x_{1}-x_{2}}\Vert \,,$

sodass ${}H_{y}$ eine stark kontrahierende Abbildung ist. Da ein euklidischer Vektorraum und damit auch die abgeschlossene Kugel ${}B\left(0,r\right)$ vollständig sind (siehe Aufgabe 49.1 und Aufgabe 49.12), besitzt jede Abbildung ${}H_{y}$ aufgrund des Banachschen Fixpunktsatzes genau einen Fixpunkt aus ${}B\left(0,{\frac {r}{2}}\right)$, den wir mit ${}\psi (y)$ bezeichnen. Aufgrund der eingangs gemachten Überlegung ist ${}\varphi (\psi (y))=y$.
Zu ${}y\in U{\left(0,{\frac {r}{2}}\right)}$ gehört das eindeutige Urbild ${}x\in B\left(0,r\right)$ zur offenen Kugel ${}U{\left(0,r\right)}$, wie die obige Abschätzung zeigt. Wir setzen ${}U_{2}=U{\left(0,{\frac {r}{2}}\right)}$ und ${}U_{1}=\varphi ^{-1}(U_{2})\cap U{\left(0,r\right)}$, wobei ${}U_{1}$ aufgrund der Stetigkeit von ${}\varphi$ offen ist. Die eingeschränkte Abbildung

$\varphi {|}_{U_{1}}\colon U_{1}\longrightarrow U_{2},\,x\longmapsto \varphi (x)$

ist wieder stetig und bijektiv. Insbesondere gibt es eine Umkehrabbildung

$\psi \colon U_{2}\longrightarrow U_{1},$

die wir als stetig differenzierbar nachweisen müssen.
Wir zeigen zuerst, dass ${}\psi$ Lipschitz-stetig ist mit der Lipschitz-Konstanten ${}2$. Seien ${}y_{1},y_{2}\in U_{2}$ gegeben mit den eindeutigen Elementen ${}x_{1},x_{2}\in U_{1}$ mit ${}\varphi (x_{1})=y_{1}$ und ${}\varphi (x_{2})=y_{2}$. Es gelten die Abschätzungen

${}{\begin{aligned}\Vert {x_{2}-x_{1}}\Vert &=\Vert {H_{0}(x_{2})+\varphi (x_{2})-H_{0}(x_{1})-\varphi (x_{1})}\Vert \\&\leq \Vert {H_{0}(x_{2})-H_{0}(x_{1})}\Vert +\Vert {\varphi (x_{2})-\varphi (x_{1})}\Vert \\&\leq {\frac {1}{2}}\Vert {x_{2}-x_{1}}\Vert +\Vert {\varphi (x_{2})-\varphi (x_{1})}\Vert ,\end{aligned}}$

wobei die letzte Abschätzung auf obiger Überlegung beruht. Durch Umstellung ergibt sich

${}\Vert {\psi (y_{2})-\psi (y_{1})}\Vert =\Vert {x_{2}-x_{1}}\Vert \leq 2\Vert {y_{2}-y_{1}}\Vert \,.$

Aufgrund von Lemma 49.2 ist ${}\psi$ auch differenzierbar und es gilt die Formel

${}\left(D\psi \right)_{y}=(\left(D\varphi \right)_{\psi (y)})^{-1}\,.$

Aus dieser Darstellung lässt sich auch die stetige Abhängigkeit der Ableitung von ${}y$ ablesen, da ${}\psi$ stetig ist, da das totale Differential von ${}\varphi$ nach Voraussetzung stetig von ${}x=\psi (y)$ abhängt und da das Bilden der Umkehrmatrix ebenfalls stetig ist.

$\Box$

<< | Kurs:Mathematik (Osnabrück 2009-2011)/Teil II | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)