Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil II/Arbeitsblatt 53

Übungsaufgaben

Aufgabe *

Finde zwei natürliche Zahlen, deren Summe ${}65$ und deren Produkt ${}1000$ ist.

Aufgabe

Zeige, dass die Abbildung

$\varphi \colon {\mathbb {C} }^{2}\longrightarrow {\mathbb {C} }^{2},\,(x,y)\longmapsto (x+y,xy),$

surjektiv ist.

Aufgabe *

Man gebe ein Beispiel einer bijektiven differenzierbaren Abbildung

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

mit einer stetigen Umkehrabbildung ${}\psi$ derart, dass ${}\psi$ nicht differenzierbar ist.

Aufgabe *

Man gebe ein Beispiel einer Funktion

$f\colon \mathbb {R} \longrightarrow \mathbb {R} ,$

das zeigt, dass im Satz über die (lokale) Umkehrbarkeit die Bijektivität im Allgemeinen nur auf echten Teilintervallen besteht.

Aufgabe

Zeige, dass die Abbildung

$\mathbb {R} ^{2}\longrightarrow \mathbb {R} \times \mathbb {R} _{+},\,(x,y)\longmapsto (x,e^{x+y}),$

bijektiv ist. Man gebe explizit eine Umkehrabbildung an.

Aufgabe

Es sei

$f\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto f(x),$

eine Funktion. Zeige, dass die Abbildung

$\mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(x,y)\longmapsto (x,y+f(x)),$

bijektiv ist. Bestimme explizit eine Umkehrabbildung.

Was besagt in der vorstehenden Aufgabe der Satz über die Umkehrabbildung, wenn ${}f$ differenzierbar ist?

Aufgabe

Es seien

$f_{1},\ldots ,f_{n}\colon \mathbb {R} \longrightarrow \mathbb {R}$

stetig differenzierbare Funktionen. Betrachte die Abbildung

$f\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n},\,(x_{1},\ldots ,x_{n})\longmapsto (f_{1}(x_{1}),\ldots ,f_{n}(x_{n})),$

Zeige:

1. Die Abbildung ${}f$ ist differenzierbar.
2. Das totale Differential von ${}f$ in ${}0$ ist genau dann bijektiv, wenn von sämtlichen Funktionen ${}f_{i},\,i=1,\ldots ,n$, die Ableitungen in ${}0$ nicht ${}0$ sind.
3. ${}f$ ist genau dann auf einer offenen Umgebung von ${}0$ bijektiv, wenn die einzelnen ${}f_{i}$ in einer geeigneten Umgebung bijektiv sind.

Aufgabe

Betrachte die Abbildung

$\varphi \colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{3},\,(x,y,z)\longmapsto (\sin xy,yz\cos \left(x^{2}\right),e^{xyz}).$

Zeige, dass ${}\varphi$ im Punkt ${}P=(1,\pi ,1)$ lokal umkehrbar ist, und bestimme das totale Differential der Umkehrabbildung im Punkt ${}Q=\varphi (P)$.

Aufgabe

Es seien ${}P=a+bX+cY+\ldots$ und ${}Q=d+eX+fY+\ldots$ Polynome in zwei Variablen und

$\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(x,y)\longmapsto (P(x,y),Q(x,y)),$

die zugehörige Abbildung. Wann besitzt ${}\varphi$ in ${}\varphi (0,0)$ lokal eine Umkehrabbildung? Wie sieht in diesem Fall das totale Differential der Umkehrabbildung im Punkt ${}\varphi (0,0)$ aus?

Kommentar:

Die Komponentenfunktionen der Abbildung ${}\varphi$ sind Polynome, sodass ${}\varphi$ nach Korollar 48.12 total differenzierbar ist. Die Abbildung ist auf ganz ${}\mathbb {R} ^{2}$ definiert, sodass wir die Jacobi-Matrix im Punkt ${}(0,0)$ bestimmen können, um mittels des Satzes über die lokale Umkehrbarkeit auf die Umkehrbarkeit von ${}\varphi$ im Punkt ${}\varphi (0,0)$ zu schließen.

Bei der Berechnung der Jacobi-Matrix im Punkt ${}(0,0)$ fällt auf, dass diese nur von den Koeffizienten der Monome vom Grad ${}1$ abhängt. Koeffizienten zu Monomen höheren Grades liefern keinen Beitrag. Beispielsweise gilt

${\frac {\partial X^{2}}{\partial X}}(0,0)=(2X)(0,0)=0$

und

${\frac {\partial XY}{\partial X}}(0,0)=Y(0,0)=0$

und das Gleiche gilt für alle anderen höheren Terme. Somit ergibt sich für die Jacobi-Matrix

$\operatorname {Jak} (\varphi )_{(0,0)}={\begin{pmatrix}b&c\\e&f\end{pmatrix}}.$

Falls die Determinante nicht verschwindet, also ${}bf-ce\neq 0$ gilt, so ist ${}\varphi$ nach dem Satz über die lokale Umkehrbarkeit in einer Umgebung von ${}\varphi (0,0)$ umkehrbar – besitzt dort also eine total differenzierbare Umkehrabbildung. Wie sieht nun das totale Differential der Umkehrabbildung konkret aus?

Der Satz über die lokale Umkehrbarkeit liefert nur ein hinreichendes Kriterium für die Umkehrbarkeit in regulären Punkten – die anderen Fälle sind schwer zu charakterisieren. Falls beispielsweise die Polynome ${}P=x^{3}$ und ${}Q=y^{3}$ sind, so ist die Jacobi-Determinante Null, sodass wir den Satz nicht verwenden können. Tatsächlich besitzt ${}\varphi$ aber in ${}(0,0)$ (und sogar global) eine stetige Umkehrfunktion, die durch ${}(x,y)\longmapsto ({\sqrt[{3}]{x}},{\sqrt[{3}]{y}})$ gegeben ist. Diese ist jedoch in ${}(0,0)$ nicht differenzierbar.

 

Aufgabe *

Es sei

$f\colon \mathbb {R} \longrightarrow \mathbb {R}$

eine nullstellenfreie stetig differenzierbare Funktion und sei ${}g$ eine Stammfunktion zu ${}f$. Es sei

$\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2}$

mit

${}\varphi (x,y)=\left({\frac {x}{f(y)}},\,g(y)\right)\,.$

a) Bestimme die Jacobi-Matrix zu ${}\varphi$.

b) Zeige, dass man auf ${}\varphi$ in jedem Punkt den Satz über die lokale Umkehrbarkeit anwenden kann.

c) Zeige, dass ${}\varphi$ injektiv ist.

Aufgabe *

Es sei

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

eine total differenzierbare Abbildung derart, dass es eine reelle Zahl ${}c\in [0,1[$ gibt mit

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

für alle ${}P\in \mathbb {R} ^{n}$. Zeige, dass ${}\varphi$ die Voraussetzungen des Banachschen Fixpunktsatzes erfüllt.

Im Beweis des Umkehrsatzes wurde mit folgender Definition gearbeitet.

Es seien ${}V$ und ${}W$ euklidische Vektorräume und sei

$\varphi \colon V\longrightarrow W$

eine lineare Abbildung. Dann nennt man

${}\Vert {\varphi }\Vert :={\operatorname {sup} \,(\Vert {\varphi (v)}\Vert ,\Vert {v}\Vert =1)}\,$

die Norm von ${}\varphi$.

Aufgabe

Begründe, warum die Norm einer linearen Abbildung zwischen euklidischen Vektorräumen wohldefiniert ist.

Aufgabe

Es seien ${}V$ und ${}W$ euklidische Vektorräume und sei

$\varphi \colon V\longrightarrow W$

eine lineare Abbildung. Zeige, dass es einen Vektor ${}v\in V$, ${}\Vert {v}\Vert =1$, mit

${}\Vert {\varphi (v)}\Vert =\Vert {\varphi }\Vert \,$

gibt.

Aufgabe

Zeige, dass die Norm einer linearen Abbildung zwischen euklidischen Vektorräumen folgende Eigenschaften erfüllt.

1. Es ist ${}\Vert {\varphi (v)}\Vert \leq \Vert {\varphi }\Vert \cdot \Vert {v}\Vert$.
2. Es ist ${}\Vert {\varphi }\Vert =0$ genau dann, wenn ${}\varphi =0$ ist.
3. Es ist ${}\Vert {c\varphi }\Vert =\vert {c}\vert \cdot \Vert {\varphi }\Vert$.
4. Es ist ${}\Vert {\varphi _{1}+\varphi _{2}}\Vert \leq \Vert {\varphi _{1}}\Vert +\Vert {\varphi _{2}}\Vert$.

Aufgabe

Sei ${}V$ ein euklidischer Vektorraum und sei

$\varphi \colon V\longrightarrow V$

eine lineare Abbildung. Es sei ${}\lambda \in \mathbb {R}$ ein Eigenwert von ${}\varphi$. Zeige, dass die Abschätzung

${}\vert {\lambda }\vert \leq \Vert {\varphi }\Vert \,$

gilt.

Aufgabe

Sei ${}V$ ein euklidischer Vektorraum und sei

$\varphi \colon V\longrightarrow V$

eine lineare Abbildung derart, dass eine Orthogonalbasis aus Eigenvektoren von ${}\varphi$ existiert. Zeige, dass

${}\Vert {\varphi }\Vert ={\max {\left(\vert {\lambda }\vert ,\lambda {\text{ ist Eigenwert von }}\varphi \right)}}\,$

gilt.

Aufgabe

Es sei

$\varphi \colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ,\,(x_{1},\ldots ,x_{n})\longmapsto \sum _{i=1}^{n}a_{i}x_{i},$

eine lineare Abbildung ${}\neq 0$. Bestimme einen Vektor ${}v\in \mathbb {R} ^{n}$ auf der abgeschlossenen Kugel mit Mittelpunkt ${}0$ und Radius ${}1$, an dem die Funktion

$B\left(0,1\right)\longrightarrow \mathbb {R} ,\,v\longmapsto \vert {\varphi (v)}\vert ,$

ihr Maximum annimmt. Bestimme die Norm von ${}\varphi$.

Mit diffeomorph ist im Folgenden stets ${}C^{1}$-diffeomorph gemeint.

Aufgabe

Definiere explizit einen Diffeomorphismus zwischen ${}\mathbb {R} ^{n}$ und einer offenen Kugel ${}U{\left(0,r\right)}\subseteq \mathbb {R} ^{n}$.

Aufgabe

Zeige, dass eine offene Kreisscheibe ${}U{\left(P,r\right)}\subseteq \mathbb {R} ^{2}$ ($r>0$) und ein offenes Rechteck ${}]a,b[\times ]c,d[$ ($b>a,d>c$) diffeomorph sind.

Aufgabe

Zeige die folgenden Aussagen.

1. Die Identität ist ein Diffeomorphismus.
2. Eine lineare bijektive Abbildung ist ein Diffeomorphismus.
3. Die Umkehrabbildung eines Diffeomorphismus ist wieder ein Diffeomorphismus.
4. Die Hintereinanderschaltung von Diffeomorphismen ist ein Diffeomorphismus.

Aufgabe

Es seien ${}U_{1}\subseteq V_{1}$, ${}U_{2}\subseteq V_{2}$, ${}U_{3}\subseteq V_{3}$, und ${}U_{4}\subseteq V_{4}$ offene Teilmengen in reellen endlichdimensionalen Vektorräumen. Es seien

$\varphi \colon U_{1}\longrightarrow U_{3}$

und

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

${}C^{1}$- Diffeomorphismen. Zeige, dass auch die Produktabbildung

$\varphi \times \psi \colon U_{1}\times U_{3}\longrightarrow U_{2}\times U_{4}$

ein ${}C^{1}$-Diffeomorphismus ist.

Aufgabe

Es sei

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

und

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

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

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

c) Zeige, dass die Abbildung

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

ein Diffeomorphismus ist.

Aufgabe

Bestimme die regulären Punkte der Abbildung

$\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(x,y)\longmapsto (x^{2}y,x-\sin y).$

Zeige, dass ${}\varphi$ in ${}P=(1,0)$ regulär ist und bestimme das totale Differential der Umkehrabbildung von ${}\varphi |_{U}$ in ${}\varphi (P)$, wobei ${}U$ eine offene Umgebung von ${}P$ sei (die nicht explizit angegeben werden muss).

Kommentar:

Die Abbildung ist auf ganz ${}\mathbb {R} ^{2}$ definiert und überall partiell differenzierbar. Nach Satz 48.11 ist ${}\varphi$ folglich total differenzierbar. Die regulären Punkte ${}Q$ sind genau diejenigen, in denen das totale Differential vollen Rang besitzt, also ${}\operatorname {rang} (D\varphi )_{Q}=2$. Als lineare Abbildung wird das totale Differential durch die Jacobi-Matrix beschrieben. In unserem Fall ist die zugehörige Jacobi-Matrix quadratisch, sodass wir mittels der Determinante überprüfen können, ob das totale Differential maximalen Rang besitzt. Entsprechend ist ${}Q$ genau dann ein regulärer Punkt, wenn

$\det(\operatorname {Jak} (\varphi )_{Q})\neq 0$

gilt. Für welche Punkte gilt dies, wenn man das berechnet?

Für die regulären Punkte gilt nun nach dem Satz über die lokale Umkehrbarkeit, dass ${}\varphi$ in einer (möglicherweise sehr kleinen) Umgebung von ${}\varphi (Q)$ eine Umkehrabbildung existiert, die sogar stetig differenzierbar ist. Ist dies ein Diffeomorphismus? Im Allgemeinen existiert eine solche Umkehrabbildung nicht global, sondern nur lokal in einer Umgebung von ${}\varphi (Q)$. Für ${}\varphi$ kann man das auch direkt nachvollziehen, weil ${}\varphi$ nicht injektiv ist (der Punkt ${}(0,0)$ hat beispielsweise viele Urbilder).

In der Regel ist es schwierig, diese Umkehrabbildung explizit zu berechnen, aber wir können zumindest das totale Differential der lokalen Umkehrabbildung (die wir mit ${}\psi$ bezeichnen) angeben. Für die Hintereinanderschaltung ${}\psi \circ \varphi$ wissen wir, dass dies die Identitätsabbildung in einer Umgebung von ${}Q$ ist. Durch Verwenden der der Kettenregel können wir daher folgern, dass

$\operatorname {Jak} (\psi )_{\varphi (Q)}\circ \operatorname {Jak} (\varphi )_{Q}$

die Identitätsmatrix sein muss. Die Jacobi-Matrizen sind also invers zueinander. Für ${}P=(1,0)$ lässt sich das totale Differential der Umkehrabbildung somit über die Inverse der Jacobi-Matrix von ${}\varphi$ berechnen.

Falls ${}Q$ kein regulärer Punkt ist, so wird dies als kritischer Punkt bezeichnet. In diesem Fall macht der Satz über die lokale Umkehrbarkeit keine Aussage darüber, ob die Abbildung in diesem kritischen Punkt lokal invertierbar ist. Tatsächlich können beide Fälle auftreten, was man dann durch spezifische Überlegungen entscheiden muss.

 

Aufgabe *

Man gebe für jedes ${}n\in \mathbb {N} _{+}$ eine bijektive, total differenzierbare Abbildung

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

an, für die das totale Differential in mindestens einem Punkt nicht regulär ist.

Aufgabe

Es seien ${}U,V,W$ euklidische Vektorräume und seien ${}\varphi :U\longrightarrow V$ und ${}\psi :V\longrightarrow W$ differenzierbare Abbildungen. Es sei ${}\varphi$ regulär in ${}P\in U$ und ${}\psi$ regulär in ${}Q=\varphi (P)\in V$. Ist dann ${}\psi \circ \varphi$ regulär in ${}P$? Unter welchen Voraussetzungen stimmt dies?

Aufgabe

Das komplexe Quadrieren

${\mathbb {C} }\longrightarrow {\mathbb {C} },\,z\longmapsto z^{2},$

kann man reell als

$\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,x+{\mathrm {i} }y=(x,y)\longmapsto (x+{\mathrm {i} }y)^{2}=x^{2}-y^{2}+2{\mathrm {i} }xy=(x^{2}-y^{2},2xy),$

schreiben. Untersuche ${}\varphi$ auf reguläre Punkte. Auf welchen (möglichst großen) offenen Teilmengen ist ${}\varphi$ umkehrbar?

Aufgabe

Finde möglichst große offene Teilmengen ${}G\subseteq {\mathbb {C} }\cong \mathbb {R} ^{2}$ und ${}H\subseteq {\mathbb {C} }$ derart, dass die Abbildung

${\mathbb {C} }\longrightarrow {\mathbb {C} },\,z\longmapsto z^{3},$

einen Diffeomorphismus von ${}G$ nach ${}H$ induziert.

Kommentar:

Wir fassen die Abbildung als reelle Abbildung ${}\mathbb {R} ^{2}\rightarrow \mathbb {R} ^{2}$ auf. Hier bietet es sich an, mit der Polardarstellung der komplexen Zahlen zu arbeiten, also ${}z=re^{i\alpha }$ mit ${}r\geq 0$ und ${}0\leq \alpha <2\pi$. Über den komplexen Zahl ist das Potenzieren zum Exponenten ${}3$ nicht injektiv (wohl aber surjektiv). Für

$z'=re^{i\left(\alpha +{\tfrac {2\pi }{3}}\right)}$

gilt zum Beispiel

$(z')^{3}=r^{3}e^{3i\left(\alpha +{\tfrac {2\pi }{3}}\right)}=r^{3}e^{3i\alpha }e^{i2\pi }=z^{3}.$

Wenn wir die Abbildung auf eine offene Teilmenge einschränken wollen, auf der sie bijektiv ist, können folglich keine Punkte enthalten sein, die sich genau um eine ${}120$-Grad-Drehung unterscheiden. Beispielsweise können wir als offene Menge ${}G$ die Punkte mit ${}0<\alpha <{\tfrac {2\pi }{3}}$ und ${}r>0$ wählen, aber es sind viele andere Definitionsgebiete denkbar. Auf diesem Gebiet ${}G$ ist die Abbildung nach den vorherigen Überlegungen injektiv und folglich bijektiv. Mit ${}H=\{z=re^{i\alpha }\mid r>0,0<\alpha <2\pi \}$ können wir die Umkehrabbildung durch

$H\longrightarrow G,\quad z=re^{i\alpha }\longmapsto {\sqrt[{3}]{r}}e^{i{\tfrac {\alpha }{3}}}$

angeben, sodass die Umkehrabbildung stetig ist. Die auf ${}G$ eingeschränkte Abbildung könnten wir daher auch als ${}C^{0}$-Diffeomorphismus bezeichnen.

Der Begriff Diffeomorphismus selbst steht für ${}C^{1}$-Diffeomorphismus. Wir müssen also noch begründen, dass die eingeschränkte Abbildung auf ${}G$ und deren Umkehrung differenzierbar sind – zum Beispiel durch Betrachtung der Jacobi-Matrix.

 

Aufgabe *

Wir betrachten die Abbildung

$\varphi \colon \mathbb {R} \setminus \{0\}\times \mathbb {R} \longrightarrow \mathbb {R} ^{2},\,(x,y)\longmapsto \left({\frac {y^{2}}{x}},\,{\frac {y^{3}}{x^{2}}}\right).$

a) Bestimme die regulären Punkte der Abbildung ${}\varphi$.

b) Zeige, dass ${}\varphi$ in ${}P=(1,2)$ lokal eine differenzierbare Umkehrabbildung ${}\psi =\varphi ^{-1}$ besitzt, und bestimme das totale Differential von ${}\psi$ im Punkt ${}\varphi (P)$.

c) Man gebe alle Punkte ${}Q\in \mathbb {R} \setminus \{0\}\times \mathbb {R}$ an, in denen ${}\varphi$ nicht lokal invertierbar ist.

Aufgabe

Zeige, dass die Transformation

$[0,2\pi ]\times [0,1]\longrightarrow B\left(0,1\right),\,(\alpha ,w)\longmapsto ({\sqrt {w}}\cos \alpha ,{\sqrt {w}}\sin \alpha ),$

auf geeigneten offenen Teilmengen ein Diffeomorphismus ist und berechne die Jacobi-Determinante in jedem Punkt.

Aufgabe

Es seien ${}P_{1},\ldots ,P_{n}$ und ${}Q_{1},\ldots ,Q_{n}$ Punkte in der Ebene ${}\mathbb {R} ^{2}$. Zeige, dass die beiden offenen Mengen ${}U=\mathbb {R} ^{2}\setminus \{P_{1},\ldots ,P_{n}\}$ und ${}V=\mathbb {R} ^{2}\setminus \{Q_{1},\ldots ,Q_{n}\}$ zueinander diffeomorph sind.

Aufgabe

Es sei

${}T={\left\{{\frac {1}{n}}\mid n\in \mathbb {N} _{+}\right\}}\cup \{0\}\,,$

${}U=\mathbb {R} \setminus T\,$

und

${}V=\mathbb {R} \setminus \mathbb {N} \,.$

Zeige, dass ${}U$ und ${}V$ zueinander diffeomorph sind.

Aufgabe

Es sei

${}T={\left\{\left({\frac {1}{n}},0\right)\mid n\in \mathbb {N} _{+}\right\}}\cup \{(0,0)\}\,,$

${}U=\mathbb {R} ^{2}\setminus T\,$

und

${}V=\mathbb {R} ^{2}\setminus \mathbb {N} \,.$

Zeige, dass ${}U$ und ${}V$ zueinander nicht homöomorph sind.

Aufgabe *

Wir betrachten die Abbildung

$\varphi \colon \mathbb {R} ^{6}\longrightarrow \mathbb {R} ^{4},\,(a,b,c,d,u,v)\longmapsto (au+bv+c+d,ad-bc,ac-b^{2},bd-c^{2}).$

a) Bestimme die Jacobi-Matrix zu dieser Abbildung.

b) Zeige, dass ${}\varphi$ im Nullpunkt nicht regulär ist.

c) Zeige, dass ${}\varphi$ in ${}(1,1,0,0,1,1)$ regulär ist.

Aufgabe *

Wir betrachten die Abbildung

$F\colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{3},\,(x,y,z)\longmapsto (x+y+z,xy+xz+yz,xyz).$

Zeige, dass ein Punkt ${}P=(x,y,z)$ genau dann ein regulärer Punkt von ${}F$ ist, wenn die Koordinaten von ${}P$ paarweise verschieden (also ${}x\neq y$, ${}x\neq z$ und ${}y\neq z$) sind.

Aufgabe *

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen und

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

eine stetig differenzierbare Abbildung. Zeige, dass die Menge der regulären Punkte von ${}\varphi$ offen ist.

Aufgabe *

Es seien ${}V$ und ${}W$ endlichdimensionale reelle Vektorräume, ${}U\subseteq V$ und ${}U'\subseteq W$ offene Teilmengen und

$\varphi \colon U\longrightarrow U'$

ein Diffeomorphismus. Es sei

$F\colon I\times U\longrightarrow V,\,(t,x)\longmapsto F(t,x),$

ein Vektorfeld auf ${}U$. Es sei ${}G$ das durch

${}G(t,y):={\left(D\varphi \right)}_{\varphi ^{-1}(y)}{\left(F(t,\varphi ^{-1}(y))\right)}\,$

definierte Vektorfeld auf ${}U'$. Zeige, dass

$\alpha \colon J\longrightarrow U$

genau dann eine Lösung des Anfangswertproblems

$x'=F(t,x){\text{ mit }}x(t_{0})=x_{0},$

wenn ${}\varphi \circ \alpha$ eine Lösung des Anfangswertproblems

$y'=G(t,y){\text{ mit }}y(t_{0})=\varphi (x_{0})$

ist.

Aufgaben zum Abgeben

Aufgabe (2 Punkte)

Seien ${}U_{1}$ und ${}U_{2}$ offene Mengen in euklidischen Vektorräumen ${}V_{1}$ und ${}V_{2}$. Es sei

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

eine bijektive Abbildung, die in einem Punkt ${}P\in U_{1}$ differenzierbar sei derart, dass die Umkehrabbildung in ${}Q=\varphi (P)$ auch differenzierbar ist. Zeige, dass das totale Differential ${}\left(D\varphi \right)_{P}$ bijektiv ist.

Aufgabe (3 Punkte)

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

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

eine stetig differenzierbare Abbildung. Es sei ${}U\subseteq G$ eine offene Teilmenge derart, dass für jeden Punkt ${}P\in U$ das totale Differential ${}\left(D\varphi \right)_{P}$ bijektiv ist. Zeige, dass dann das Bild ${}\varphi (U)$ offen in ${}V_{2}$ ist.

Aufgabe (4 Punkte)

Bestimme die Umkehrabbildung zur Abbildung

$\mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(x,y)\longmapsto (x+y^{2},-y^{4}-2xy^{2}-x^{2}+y^{2}+x+y).$

Aufgabe (5 Punkte)

Betrachte die Abbildung

$\varphi \colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{3},\,(x,y,z)\longmapsto (x+y+z,xy+xz+yz,xyz).$

Zeige, dass ein Punkt ${}(x,y,z)$ genau dann ein kritischer Punkt von ${}\varphi$ ist, wenn in ${}(x,y,z)$ zwei Zahlen doppelt vorkommen.

Aufgabe (5 Punkte)

Betrachte die Abbildung

$\varphi \colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{2},\,(x,y,z)\longmapsto (x^{2}-y^{2}z,y+\sin xz).$

Zeige, dass die Menge der kritischen Punkte von ${}\varphi$ eine Gerade umfasst, aber auch noch weitere (mindestens einen) Punkte enthält.

Aufgabe (4 Punkte)

Wir betrachten die Abbildung

$\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(x,y)\longmapsto (x,xy).$

Bestimme die regulären Punkte, die Fasern  (also die Urbilder zu einem Punkt ${}(u,v)\in \mathbb {R} ^{2}$), das Bild und das Bild aller regulären Punkte dieser Abbildung. Man gebe möglichst große offene Mengen ${}U_{1},U_{2}\subseteq \mathbb {R} ^{2}$ derart an, dass

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

ein Diffeomorphismus ist.

Aufgabe (4 Punkte)

Es seien ${}U_{1},U_{2}\subseteq \mathbb {R} ^{k}$ und ${}V_{1},V_{2}\subseteq \mathbb {R} ^{n}$ offene Teilmengen mit ${}0\in V_{1},V_{2}$ und es sei

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

ein Diffeomorphismus, der eine Bijektion zwischen ${}U_{1}\times \{0\}$ und ${}U_{2}\times \{0\}$ induziert. Zeige, dass dann auch die Einschränkung von ${}\varphi$ auf ${}U_{1}\cong U_{1}\times \{0\}$ nach ${}U_{2}\cong U_{2}\times \{0\}$ ein Diffeomorphismus ist.