Kurs:Analysis/Teil II/11/Klausur mit Lösungen

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die offene Kugel mit Mittelpunkt ${\displaystyle {}x\in M}$ und Radius ${\displaystyle {}r\in \mathbb {R} _{+}}$ in einem metrischen Raum ${\displaystyle {}M}$.
2. Der Grenzwert einer Abbildung

   ${\displaystyle f\colon T\longrightarrow L}$

   in ${\displaystyle {}a\in M}$, wobei ${\displaystyle {}L,M}$ metrische Räume sind, ${\displaystyle {}T\subseteq M}$ eine Teilmenge und ${\displaystyle {}a\in M}$ ein Berührpunkt von ${\displaystyle {}T}$ ist.

3. Ein Zentralfeld

   ${\displaystyle F\colon \mathbb {R} \times V\longrightarrow V}$

   auf einem reellen endlichdimensionalen Vektorraum ${\displaystyle {}V}$.

4. Die Hesse-Matrix zu einer zweimal stetig differenzierbaren Funktion

   ${\displaystyle f\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} }$

   in einem Punkt ${\displaystyle {}P\in \mathbb {R} ^{n}}$.

5. Den Tangentialraum an die Faser einer stetig differenzierbare Abbildung

   ${\displaystyle \varphi \colon V\longrightarrow W}$

   zwischen endlichdimensionalen ${\displaystyle {}{\mathbb {K} }}$- Vektorräumen durch einen Punkt ${\displaystyle {}P\in V}$, in dem das totale Differential surjektiv ist.

6. Die Eigenschaft eines Vektorfeldes

   ${\displaystyle f\colon I\times \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n},}$

   lokal einer Lipschitz-Bedingung zu genügen.

Formuliere die folgenden Sätze.

1. Der Satz über zusammenhängende Teilmengen unter einer stetigen Abbildung.
2. Der Satz über eine Differentialgleichung höherer Ordnung und das zugehörige System erster Ordnung.
3. Der Satz über die Differentialgleichung zu einem Gradientenfeld.

Es seien ${\displaystyle {}P=\left({\frac {3}{4}},\,-1\right)}$ und ${\displaystyle {}Q=\left(2,\,{\frac {1}{5}}\right)}$ zwei Punkte im ${\displaystyle {}\mathbb {R} ^{2}}$. Bestimme den Abstand zwischen diesen beiden Punkten in

a) der euklidischen Metrik,

b) der Summenmetrik,

c) der Maximumsmetrik.

d) Vergleiche diese verschiedenen Abstände der Größe nach.

Die Abstände der einzelnen Koordinaten sind

${\displaystyle 2-{\frac {3}{4}}={\frac {8-3}{4}}={\frac {5}{4}}}$

und

${\displaystyle {\frac {1}{5}}-(-1)={\frac {1+5}{5}}={\frac {6}{5}}.}$

a) Der euklidische Abstand ist somit

${\displaystyle {}{\sqrt {{\left({\frac {5}{4}}\right)}^{2}+{\left({\frac {6}{5}}\right)}^{2}}}={\sqrt {{\frac {25}{16}}+{\frac {36}{25}}}}={\sqrt {\frac {625+576}{400}}}={\sqrt {\frac {1201}{400}}}={\frac {\sqrt {1201}}{20}}\,.}$

b) In der Summenmetrik ist der Abstand

${\displaystyle {}{\frac {5}{4}}+{\frac {6}{5}}={\frac {25+24}{20}}={\frac {49}{20}}\,.}$

c) Es ist

${\displaystyle {}{\frac {5}{4}}={\frac {25}{20}}>{\frac {24}{20}}={\frac {6}{5}}\,,}$

daher ist der Abstand in der Maximumsmetrik gleich ${\displaystyle {}{\frac {5}{4}}}$.

d) Wir behaupten, dass der Maximumsabstand kleiner dem euklidischen Abstand und dass dieser kleiner dem Summenabstand ist. Um dies zu sehen bringt man die drei Zahlen auf den Hauptnenner ${\displaystyle {}20}$ und muss dann für die Zähler

${\displaystyle {}25<{\sqrt {1201}}<49\,}$

zeigen. Wegen ${\displaystyle {}25^{2}=625<1201}$ und ${\displaystyle {}49^{2}>40^{2}=1600>1201}$ ist das klar.

Beweise den Satz über die Charakterisierung von stetigen Abbildungen mit offenen Mengen.

Siehe Metrische Räume/Stetige Abbildung/Charakterisierung/Fakt/Beweis.

Es sei ${\displaystyle {}M}$ eine Menge und

${\displaystyle \varphi \colon \mathbb {R} ^{n}\longrightarrow M}$

eine Abbildung.

a) Zeige, dass ${\displaystyle {}\varphi }$ injektiv ist, wenn die Einschränkung ${\displaystyle {}\varphi {|}_{G}}$ auf jede (affine) Gerade ${\displaystyle {}G\subseteq \mathbb {R} ^{n}}$ injektiv ist.

b) Zeige durch ein Beispiel, dass ${\displaystyle {}\varphi }$ nicht injektiv sein muss, wenn die Einschränkung ${\displaystyle {}\varphi {|}_{G}}$ auf jede Gerade ${\displaystyle {}G\subseteq \mathbb {R} ^{n}}$ durch den Nullpunkt injektiv ist.

a) Es seien ${\displaystyle {}P,Q\in \mathbb {R} ^{n}}$ verschieden. Es gibt eine Gerade ${\displaystyle {}G}$, auf der diese beiden Punkte liegen. Da ${\displaystyle {}\varphi {|}_{G}}$ injektiv ist, ist

${\displaystyle {}\varphi (P)\neq \varphi (Q)\,}$

und somit ist ${\displaystyle {}\varphi }$ injektiv.

b) Wir betrachten ${\displaystyle {}n=2}$ und ${\displaystyle {}M=\mathbb {R} }$ und die Funktion

${\displaystyle \varphi (x,y)={\begin{cases}x\,,{\text{ falls }}x\neq 0\,,\\y\,,{\text{ falls }}x=0\,.\end{cases}}}$

Die Geraden durch den Nullpunkt sind durch

${\displaystyle y=ax{\text{ mit }}a\in \mathbb {R} }$

und durch die durch ${\displaystyle {}x=0}$ gegebene Gerade (also die ${\displaystyle {}y}$-Achse) gegeben. Auf den Geraden vom ersten Typ ist ${\displaystyle {}x}$ die Projektion auf die ${\displaystyle {}x}$-Achse und damit bijektiv und auf der ${\displaystyle {}y}$-Achse ist die Funktion ${\displaystyle {}y}$ die Identität. Die Einschränkung von ${\displaystyle {}\varphi }$ auf jede Gerade durch den Nullpunkt ist also insbesondere injektiv. Dagegen ist beispielsweise

${\displaystyle {}\varphi (1,1)=1=\varphi (1,2)\,}$

und die Gesamtabbildung ist nicht injektiv.

Man gebe ein Beispiel einer bijektiven Abbildung

${\displaystyle \varphi \colon [0,1]\longrightarrow [0,1]\subseteq \mathbb {R} ,}$

die nicht rektifizierbar ist.

Wir betrachten die Funktion

${\displaystyle \varphi (x)={\begin{cases}x,{\text{ falls }}x\in \mathbb {Q} \,,\\1-x,{\text{ falls }}x\not \in \mathbb {Q} \,,\end{cases}}}$

die offenbar bijektiv ist. Um zu zeigen, dass ${\displaystyle {}\varphi }$ nicht rektifizierbar ist, wählen wir zu ${\displaystyle {}n\in \mathbb {N} }$ irrationale Zahlen ${\displaystyle {}x_{i}}$, ${\displaystyle {}1\leq i\leq n}$, mit

${\displaystyle 0<x_{1}<{\frac {1}{n}}<x_{2}<{\frac {2}{n}}<x_{3}<{\frac {3}{n}}<\cdots <{\frac {n-2}{n}}<x_{n-1}<{\frac {n-1}{n}}<x_{n}<1.}$

All diese Zahlen nehmen wir als Intervallunterteilung. Für ${\displaystyle {}n=3k}$ ist die Summe der Länge der Abstände der Bildpunkte mindestens

${\displaystyle {}\varphi (x_{1})-{\frac {1}{n}}+\varphi (x_{2})-{\frac {2}{n}}+\varphi (x_{3})-{\frac {3}{n}}+\cdots +\varphi (x_{k-1})-{\frac {k-1}{n}}+\varphi (x_{k})-{\frac {k}{n}}\geq k{\frac {1}{3}}\,,}$

da ja in diesem Bereich

${\displaystyle {}\varphi (x_{i})=1-x_{i}\geq {\frac {2}{3}}\,}$

gilt. Da ${\displaystyle {}k}$ beliebig groß gewählt werden kann, ist das Supremum über alle Streckenzuglängen unendlich und die Kurve ist nicht rektifizierbar.

Es sei

${\displaystyle {}v'=Mv\,}$

ein lineares Differentialgleichungssystem auf ${\displaystyle {}I\times \mathbb {R} ^{n}}$ (${\displaystyle {}I}$ ein reelles Intervall) mit einer Funktionenmatrix

${\displaystyle {}M(t)=(a_{ij}(t))_{1\leq i,j\leq n}\,,}$

wobei das zugrunde liegende Vektorfeld zugleich ein Zentralfeld sei. Zeige, dass die Matrix die Gestalt

${\displaystyle {}M(t)=\varphi (t){\begin{pmatrix}1&0&\cdots &\cdots &0\\0&1&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&1&0\\0&\cdots &\cdots &0&1\end{pmatrix}}\,}$

mit einer geeigneten Funktion

${\displaystyle \varphi \colon I\longrightarrow \mathbb {R} }$

besitzt.

Es sei ein Zeitpunkt ${\displaystyle {}t\in I}$ fixiert. Das Vektorfeld wird zu diesem Zeitpunkt durch die Matrix

${\displaystyle {}N:=M(t)=(a_{ij}(t))_{i,j}\,}$

beschrieben. Da es sich um ein Zentralfeld handelt, ist für jeden Vektor ${\displaystyle {}v\in \mathbb {R} ^{n}}$ der Vektor ${\displaystyle {}M(t)v}$ linear abhängig zu ${\displaystyle {}v}$. Dies bedeutet, dass jeder Vektor ein Eigenvektor zur Matrix ${\displaystyle {}N}$ ist. Dies kann aber nur sein, wenn überhaupt nur ein Eigenwert vorkommt. Es ist also ${\displaystyle {}N=\lambda \operatorname {Id} }$ und man kann ${\displaystyle {}\varphi }$ durch

${\displaystyle {}\varphi (t)=\lambda \,}$

definieren.

Wir betrachten die Abbildung

${\displaystyle \mathbb {R} ^{6}\longrightarrow \mathbb {R} ^{3},\,\left(x_{1},\,y_{1},\,x_{2},\,y_{2},\,x_{2},\,y_{2}\right)\longmapsto \left({\left(x_{1}-x_{2}\right)}^{2}+{\left(y_{1}-y_{2}\right)}^{2},\,{\left(x_{1}-x_{3}\right)}^{2}+{\left(y_{1}-y_{3}\right)}^{2},\,{\left(x_{2}-x_{3}\right)}^{2}+{\left(y_{2}-y_{3}\right)}^{2}\right),}$

die einem Dreieck die Längenquadrate seiner Seiten zuordnet. Bestimme die regulären Punkte der Abbildung.

Es sei

${\displaystyle {}U_{1}={\left\{(x,y)\in \mathbb {R} ^{2}\mid x>y\right\}}\subseteq \mathbb {R} ^{2}\,}$

und

${\displaystyle {}U_{2}={\left\{(u,v)\in \mathbb {R} ^{2}\mid u^{2}>4v\right\}}\subseteq \mathbb {R} ^{2}\,.}$

a) Skizziere ${\displaystyle {}U_{1}}$ und ${\displaystyle {}U_{2}}$.

b) Zeige, dass ${\displaystyle {}U_{1}}$ und ${\displaystyle {}U_{2}}$ offen sind.

c) Zeige, dass die Abbildung

${\displaystyle \varphi \colon U_{1}\longrightarrow U_{2},\,(x,y)\longmapsto (x+y,xy),}$

ein Diffeomorphismus ist.

Es sei

${\displaystyle {}b\geq 1\geq a>0\,}$

fixiert und sei

${\displaystyle {}M={\left\{f:[a,b]\rightarrow [a,b]\mid f{\text{ stetig}}\right\}}\,.}$

a) Zeige, dass die Abbildung

${\displaystyle H\colon M\longrightarrow M,\,f\longmapsto H(f)={\sqrt {f}},}$

wohldefiniert ist.

b) Es sei nun zusätzlich ${\displaystyle {}a>{\frac {1}{4}}}$. Zeige, dass die Abbildung ${\displaystyle {}H}$ aus a) eine starke Kontraktion ist (wobei ${\displaystyle {}M}$ mit der Maximumsnorm versehen sei).

c) Zeige, dass ${\displaystyle {}M}$ durch die Maximumsnorm ein vollständiger metrischer Raum wird.

d) Bestimme den Fixpunkt von ${\displaystyle {}H}$.

a) Da die Wurzelfunktion stetig ist, ist auch ${\displaystyle {}{\sqrt {f}}}$ als Hintereinanderschaltung von ${\displaystyle {}f}$ und ${\displaystyle {}{\sqrt {\,}}}$ wieder stetig. Wegen

${\displaystyle {}{\sqrt {t}}\geq t\,}$

für

${\displaystyle {}0\leq t\leq 1\,}$

und

${\displaystyle {}{\sqrt {t}}\leq t\,}$

für

${\displaystyle {}t\geq 1\,}$

ist

${\displaystyle {}a={\sqrt {a}}={\sqrt {b}}=b\,}$

und somit liegt das Bild von ${\displaystyle {}{\sqrt {f}}}$ wieder in ${\displaystyle {}[a,b]}$.

b) Für ${\displaystyle {}f,g\in M}$ und ${\displaystyle {}t\in [a,b]}$ ist

${\displaystyle {}\vert {{\sqrt {f(t)}}-{\sqrt {g(t)}}}\vert =\vert {\frac {f(t)-g(t)}{{\sqrt {f(t)}}+{\sqrt {g(t)}}}}\vert \leq \vert {f(t)-g(t)}\vert {\frac {1}{2{\sqrt {a}}}}\,.}$

Wegen ${\displaystyle {}a>{\frac {1}{4}}}$ ist der Faktor rechts kleiner als ${\displaystyle {}1}$. Wenn man das Supremum über alle ${\displaystyle {}t\in [a,b]}$ nimmt, so ergibt sich die entsprechende Abschätzung für die Maximumsnorm.

c) Nach Satz 55.9 (Analysis (Osnabrück 2021-2023)) ist der Raum ${\displaystyle {}C}$ der stetigen Funktionen von ${\displaystyle {}[a,b]}$ nach ${\displaystyle {}\mathbb {R} }$ ein vollständiger metrischer Raum. Die Bedingung, dass das Bild von ${\displaystyle {}[a,b]}$ wieder in ${\displaystyle {}[a,b]}$ liegt, kann man so formulieren, dass der Abstand (zur Maximumsnorm) von ${\displaystyle {}f}$ zur konstanten Funktion ${\displaystyle {}g}$ mit dem Wert ${\displaystyle {}{\frac {a+b}{2}}}$ maximal gleich ${\displaystyle {}{\frac {a+b}{2}}}$ ist. Es ist also

${\displaystyle {}M=B\left(g,{\frac {a+b}{2}}\right)\subseteq C\,}$

ein abgeschlossener Ball in ${\displaystyle {}C}$. Daher ist ${\displaystyle {}M}$ selbst nach Aufgabe 36.22 (Analysis (Osnabrück 2021-2023)) vollständig.

d) Wegen

${\displaystyle {}{\sqrt {1}}=1\,}$

ist die konstante Funktion

${\displaystyle {}f=1\,}$

der Fixpunkt von ${\displaystyle {}H}$.

Beweise den Satz von Picard-Lindelöf.

Nach Lemma 56.1 (Analysis (Osnabrück 2021-2023)) ist eine stetige Abbildung

${\displaystyle v\colon J\longrightarrow V}$

genau dann eine Lösung des Anfangswertproblems, wenn ${\displaystyle {}v}$ die Integralgleichung

${\displaystyle {}v(t)=w+\int _{t_{0}}^{t}f(s,v(s))\,ds\,}$

erfüllt. Wir wollen die Existenz und Eindeutigkeit einer Lösung für diese Integralgleichung unter Verwendung des Banachschen Fixpunktsatzes dadurch erweisen, dass wir für die Abbildung (man spricht von einem Funktional)

${\displaystyle \psi \longmapsto (t\mapsto w+\int _{t_{0}}^{t}f(s,\psi (s))\,ds)}$

einen Fixpunkt finden. Hierbei stehen links und rechts Abbildungen in ${\displaystyle {}t}$ (aus einem gewissen Teilintervall von ${\displaystyle {}I}$ mit Werten in ${\displaystyle {}V}$). Die Fixpunkteigenschaft ${\displaystyle {}H(\psi )=\psi }$ bedeutet gerade, dass ${\displaystyle {}\psi (t)=w+\int _{t_{0}}^{t}f(s,\psi (s))ds}$ ist. Um den Fixpunktsatz anwenden zu können müssen wir ein Definitionsintervall festlegen, und eine Metrik auf dem Abbildungsraum nach ${\displaystyle {}V}$ definieren, diesen metrischen Raum dann als vollständig und das Funktional als stark kontrahierend nachweisen. Aufgrund der Voraussetzung über die lokale Lipschitz-Bedingung gibt es eine offene Umgebung

${\displaystyle {}(t_{0},w)\in J'\times U{\left(w,\epsilon \right)}\subseteq I\times U\,}$

und ein ${\displaystyle {}L\in \mathbb {R} _{\geq 0}}$ mit

${\displaystyle {}\Vert {f(t,v)-f(t,{\tilde {v}})}\Vert \leq L\Vert {v-{\tilde {v}}}\Vert \,}$

für alle ${\displaystyle {}t\in J'}$ und ${\displaystyle {}v,{\tilde {v}}\in U{\left(w,\epsilon \right)}}$. Durch Verkleinern der Radien können wir annehmen, dass der Abschluss von ${\displaystyle {}J'\times U{\left(w,\epsilon \right)}}$, also das Produkt des abgeschlossenen Intervalls mit der abgeschlossenen Kugel, ebenfalls in ${\displaystyle {}I\times U}$ liegt. Aufgrund von Satz 36.12 (Analysis (Osnabrück 2021-2023)) gibt es ein ${\displaystyle {}M\in \mathbb {R} _{+}}$ mit

${\displaystyle \Vert {f(t,v)}\Vert \leq M{\text{ für alle }}(t,v)\in J'\times U{\left(w,\epsilon \right)}}$

(da diese Beschränktheit auf dem Abschluss gilt). Wir ersetzen nun ${\displaystyle {}J'}$ durch ein kleineres Intervall

${\displaystyle {}J=[t_{0}-\delta ,t_{0}+\delta ]\subseteq J'\,}$

mit ${\displaystyle {}\delta >0}$, ${\displaystyle {}\delta \leq \epsilon /M}$ und ${\displaystyle {}\delta \leq 1/(2L)}$.
Wir betrachten nun die Menge der stetigen Abbildungen

${\displaystyle {}{\begin{aligned}C&={\left\{\psi :J\rightarrow V\mid \psi {\text{ stetig}},\,\Vert {\psi (t)-w}\Vert \leq \epsilon {\text{ für alle }}t\in J\right\}}\\&={\left\{\psi :J\rightarrow V\mid \psi {\text{ stetig}},\,\Vert {\psi -w}\Vert \leq \epsilon \right\}}.\end{aligned}}}$

Dabei wird also ${\displaystyle {}C}$ mit der Maximumsnorm auf ${\displaystyle {}J}$ versehen. Dieser Raum ist nach Satz 55.9 (Analysis (Osnabrück 2021-2023)) und nach Aufgabe 36.22 (Analysis (Osnabrück 2021-2023)) wieder ein vollständiger metrischer Raum.
Wir betrachten nun auf diesem konstruierten Intervall ${\displaystyle {}J}$ bzw. der zugehörigen Menge ${\displaystyle {}C}$ die Abbildung

${\displaystyle H\colon C\longrightarrow C,\,\psi \longmapsto H(\psi )=(t\mapsto w+\int _{t_{0}}^{t}f(s,\psi (s))\,ds).}$

Dazu müssen wir zunächst zeigen, dass ${\displaystyle {}H(\psi )}$ wieder zu ${\displaystyle {}C}$ gehört. Für ${\displaystyle {}t\in J}$ ist aber nach Satz 39.1 (Analysis (Osnabrück 2021-2023))

${\displaystyle {}{\begin{aligned}\Vert {H(\psi )(t)-w}\Vert &=\Vert {\int _{t_{0}}^{t}f(s,\psi (s))\,ds}\Vert \\&\leq \vert {\int _{t_{0}}^{t}\Vert {f(s,\psi (s))}\Vert \,ds}\vert \\&\leq \vert {t-t_{0}}\vert M\\&\leq {\frac {\epsilon }{M}}M\\&=\epsilon ,\end{aligned}}}$

und ${\displaystyle {}H(\psi )}$ ist stetig, da es durch ein Integral definiert wird.
Zum Nachweis der Kontraktionseigenschaft seien ${\displaystyle {}\psi _{1},\psi _{2}\in C}$ gegeben. Für ein ${\displaystyle {}t\in J}$ ist

${\displaystyle {}{\begin{aligned}\Vert {H(\psi _{1})(t)-H(\psi _{2})(t)}\Vert &=\Vert {\int _{t_{0}}^{t}f(s,\psi _{1}(s))\,ds-\int _{t_{0}}^{t}f(s,\psi _{2}(s))\,ds}\Vert \\&=\Vert {\int _{t_{0}}^{t}(f(s,\psi _{1}(s))-f(s,\psi _{2}(s)))\,ds}\Vert \\&\leq \vert {\int _{t_{0}}^{t}\Vert {f(s,\psi _{1}(s))-f(s,\psi _{2}(s))}\Vert \,ds}\vert \\&\leq \vert {\int _{t_{0}}^{t}L\Vert {\psi _{1}(s)-\psi _{2}(s)}\Vert \,ds}\vert \\&=L\cdot \vert {\int _{t_{0}}^{t}\Vert {\psi _{1}(s)-\psi _{2}(s)}\Vert \,ds}\vert \\&\leq L\cdot \vert {\int _{t_{0}}^{t}\Vert {\psi _{1}-\psi _{2}}\Vert \,ds}\vert \\&\leq L\vert {t-t_{0}}\vert \cdot \Vert {\psi _{1}-\psi _{2}}\Vert \\&\leq {\frac {1}{2}}\Vert {\psi _{1}-\psi _{2}}\Vert .\end{aligned}}}$

Da dies für jedes ${\displaystyle {}t\in J}$ gilt, folgt aus dieser Abschätzung direkt

${\displaystyle {}\Vert {H(\psi _{1})-H(\psi _{2})}\Vert \leq {\frac {1}{2}}\Vert {\psi _{1}-\psi _{2}}\Vert \,,}$

d.h. es liegt eine starke Kontraktion vor. Daher besitzt ${\displaystyle {}H}$ ein eindeutiges Fixelement ${\displaystyle {}\psi \in C}$, und diese Abbildung löst die Differentialgleichung. Dies gilt dann erst recht auf jedem offenen Teilintervall von ${\displaystyle {}J}$.
Damit haben wir insbesondere bewiesen, dass es in ${\displaystyle {}C}$ nur eine Lösung geben kann, wir wollen aber generell auf dem Intervall ${\displaystyle {}J}$ Eindeutigkeit erhalten. Für eine Lösung ${\displaystyle {}v\colon J\rightarrow V}$ gilt aber wegen der Integralbeziehung wieder

${\displaystyle {}v(t)=w+\int _{t_{0}}^{t}f(s,v(s))ds\,}$

und die gleichen Abschätzungen wie weiter oben zeigen, dass die Lösung zu ${\displaystyle {}C}$ gehören muss.

Es sei

${\displaystyle h\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} }$

eine stetig differenzierbare Funktion und

${\displaystyle {}G(P)=\operatorname {Grad} \,h(P)\,}$

das zugehörige Gradientenfeld. Es sei

${\displaystyle \varphi \colon \mathbb {R} \longrightarrow \mathbb {R} ^{n}}$

eine stetig differenzierbare Lösung zur zugehörigen Differentialgleichung, die eine Faser ${\displaystyle {}F}$ zu ${\displaystyle {}h}$ zu zwei verschiedenen Zeitpunkten ${\displaystyle {}t_{0}<t_{1}}$ trifft. Zeige, dass ${\displaystyle {}\varphi {|}_{[t_{0},t_{1}]}}$ konstant ist.

Nehmen wir an, dass ${\displaystyle {}\varphi }$ auf dem Intervall ${\displaystyle {}I=[t_{0},t_{1}]}$ nicht konstant ist. Dann gibt es ein ${\displaystyle {}t\in {]t_{0},t_{1}[}}$ mit

${\displaystyle {}\varphi '(t)\neq 0\,.}$

Wir betrachten das Wegintegral

${\displaystyle {}\int _{\varphi }G=\int _{t_{0}}^{t_{1}}\left\langle G(\varphi (s)),\varphi '(s)\right\rangle ds=\int _{t_{0}}^{t_{1}}\left\langle \varphi '(s),\varphi '(s)\right\rangle ds=\int _{t_{0}}^{t_{1}}\Vert {\varphi '(s)}\Vert ^{2}ds\,.}$

Hierbei beruht die mittlere Gleichung darauf, dass ${\displaystyle {}\varphi }$ eine Lösung der Differentialgleichung ist. Da ${\displaystyle {}\varphi '(t)\neq 0}$ ist, ist die Norm ${\displaystyle {}\Vert {\varphi '(t)}\Vert }$ positiv und daher ist wegen der Stetigkeit dieses Integral positiv. Andererseits ist ${\displaystyle {}G}$ ein Gradientenfeld und daher ist nach Lemma 57.8 (Analysis (Osnabrück 2021-2023))

${\displaystyle {}\int _{\varphi }G=h(\varphi (t_{1}))-h(\varphi (t_{0}))=0\,,}$

da ja ${\displaystyle {}\varphi (t_{0})}$ und ${\displaystyle {}\varphi (t_{1})}$ zur gleichen Faser gehören. Dies ist ein Widerspruch.