Kurs:Differentialgeometrie (Osnabrück 2023)/Arbeitsblatt 23/kontrolle

Übungsaufgaben

Aufgabe Referenznummer erstellen

Diskutiere die Newton-Leibniz-Formel als einen Spezialfall des Satzes von Stokes.

Aufgabe Referenznummer erstellen

Beweise die Quaderversion des Satzes von Stokes direkt für einen Quader ${}[a_{1},b_{1}]\times \cdots \times [a_{n},b_{n}]$ und eine ${}n-1$- Differentialform ${}\omega$ der Gestalt

${}\omega =x_{1}^{m_{1}}\cdots x_{n}^{m_{n}}dx_{2}\wedge \ldots \wedge dx_{n}\,.$

Aufgabe Referenznummer erstellen

Es sei ${}M$ eine ${}n$- dimensionale orientierte differenzierbare Mannigfaltigkeit mit Rand und mit abzählbarer Basis der Topologie und es sei ${}\omega$ eine stetig differenzierbare geschlossene ${}(n-1)$- Differentialform auf ${}M$ mit kompaktem Träger. Zeige

${}\int _{\partial M}\omega =0\,.$

Aufgabe Referenznummer erstellen

Es sei ${}M$ eine kompakte ${}n$- dimensionale orientierte differenzierbare Mannigfaltigkeit (ohne Rand) mit abzählbarer Basis der Topologie und es sei ${}\omega$ eine stetig differenzierbare ${}(n-1)$- Differentialform auf ${}M$. Zeige

${}\int _{M}d\omega =0\,.$

Was bedeutet diese Aussage für ${}S^{1}$? Wie kann man diese Aussage in diesem Fall über ein Wegintegral beweisen?

Aufgabe Referenznummer erstellen

Es sei ${}M$ eine kompakte orientierte differenzierbare Mannigfaltigkeit (ohne Rand) mit abzählbarer Basis der Topologie und es sei ${}\tau$ eine positive Volumenform auf ${}M$. Zeige, dass ${}\tau$ nicht exakt ist.

Wie sieht dies ohne die Kompaktheitsvoraussetzung aus?

Aufgabe * Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}\omega$ eine exakte Differentialform auf ${}M$. Es sei ${}S$ eine kompakte orientierte differenzierbare Mannigfaltigkeit (ohne Rand) mit abzählbarer Basis der Topologie und es sei

$\varphi \colon S\longrightarrow M$

eine stetig differenzierbare Abbildung. Zeige

${}\int _{S}\varphi ^{*}\omega =0\,.$

Aufgabe Referenznummer erstellen

Wir betrachten die stetig differenzierbare Abbildung ($n\geq 2$)

$\pi \colon \mathbb {R} ^{n}\setminus \{0\}\longrightarrow S^{n-1},\,(x_{1},\ldots ,x_{n})\longmapsto {\frac {1}{\sqrt {x_{1}^{2}+\cdots +x_{n}^{2}}}}(x_{1},\ldots ,x_{n}).$

Es sei ${}\omega$ die kanonische Volumenform auf ${}S^{n-1}$. Zeige, dass ${}\pi ^{*}\omega$ auf ${}\mathbb {R} ^{n}\setminus \{0\}$ eine geschlossene, aber keine exakte ${}n-1$- Differentialform ist.

Aufgabe Referenznummer erstellen

Es sei ${}M=B\left(0,1\right)\setminus \{(0,0)\}\subset \mathbb {R} ^{2}$ mit dem Rand ${}\partial M=S^{1}$. Wir betrachten die beiden stetig differenzierbaren ${}1$- Differentialformen

$\omega =ydx-xdy\,\,{\text{ und }}\,\,\tau ={\frac {1}{x^{2}+y^{2}}}{\left(ydx-xdy\right)}$

auf ${}M$. Zeige, dass die Einschränkungen der beiden Formen auf den Rand übereinstimmen und insbesondere ${}\int _{\partial M}\omega =\int _{\partial M}\tau$ gilt. Vergleiche ${}\int _{M}d\omega$ und ${}\int _{M}d\tau$.

Aufgabe Referenznummer erstellen

Man mache sich klar, dass der Satz von Green nicht behauptet, dass der Flächeninhalt eines umrandeten Gebiets im ${}\mathbb {R} ^{2}$ nur von der Länge des Randes abhängt.

Aufgabe Referenznummer erstellen

Es sei ${}D$ das durch ${}(0,2),\,(1,-1)$ und ${}(-2,-1)$ gegebene Dreieck und ${}\tau =x^{2}ydx\wedge dy$ eine ${}2$- Differentialform auf ${}D$. Finde eine Stammform für ${}\tau$ und berechne damit ${}\int _{D}\tau$ durch ein Integral über dem Dreiecksrand.

Aufgabe Referenznummer erstellen

Bestätige den Satz von Green für das Einheitsquadrat ${}T=[0,1]\times [0,1]$ und die Differentialformen

${}\omega =x^{a}y^{b}dx+x^{c}y^{d}dy\,$

mit ${}a,b,c,d\in \mathbb {N}$ durch explizite Berechnungen.

Aufgabe Referenznummer erstellen

Bestätige den Satz von Green durch explizite Berechnungen für die Menge ${}T=[-2,2]\times [-2,2]\setminus U{\left(0,1\right)}$ (also das zentrierte Quadrat der Seitenlänge ${}4$ ohne den offenen Einheitskreis) und die Differentialform ${}\omega =(x-y)dx+xydy$.

Aufgabe * Referenznummer erstellen

Beweise den Satz von Green für ein Dreieck ${}D$ mit den Eckpunkten ${}P_{1},P_{2},P_{3}\in \mathbb {R} ^{2}$ und für die Differentialform ${}xdy$.

Aufgabe Referenznummer erstellen

Es sei

$f\colon [a,b]\longrightarrow \mathbb {R} _{+}$

eine stetig differenzierbare Funktion. Wir fassen den Subgraphen als eine Mannigfaltigkeit mit Rand auf, wobei der Rand aus dem Graphen, dem Grundintervall und den beiden Seitenkanten, aber ohne die vier Eckpunkte besteht. Berechne den Flächeninhalt des Subgraphen mit den beiden Differentialformen ${}xdy$ und ${}ydx$ über den Rand.

Aufgabe Referenznummer erstellen

Bestimme das Volumen der dreidimsionalen abgeschlossenen Einheitskugel durch ein geeignetes Flächenintegral über die Einheitssphäre ${}S^{2}$.

Aufgabe * Referenznummer erstellen

Wir betrachten die ${}2$- Differentialform

${}\omega =xdy\wedge dz-ydx\wedge dz+zdx\wedge dy\,$

auf der Einheitskugel ${}B\left(0,1\right)$.

a) Zeige, dass ${}d\omega$ das Dreifache der Standardvolumenform auf der Kugel ist.

b) Zeige, dass ${}\omega {|}_{S^{2}}$ die Standardflächenform auf der Einheitssphäre ist.

c) Berechne die Kugeloberfläche aus dem Kugelvolumen mit dem Satz von Stokes.

Aufgabe * Referenznummer erstellen

Es sei ${}\omega$ eine stetig differenzierbare ${}n-1$- Differentialform auf einer offenen Menge ${}U\subseteq \mathbb {R} ^{n}$ und sei die äußere Ableitung gleich

${}d\omega =fdx_{1}\wedge \ldots \wedge dx_{n}\,$

mit einer Funktion ${}f\colon U\rightarrow \mathbb {R}$. Zeige für ${}P\in U$ die Gleichheit

${}f(P)={\frac {1}{\beta _{n}}}\cdot \operatorname {lim} _{\epsilon \rightarrow 0}\,{\frac {1}{\epsilon ^{n}}}\int _{S^{n-1}(P,\epsilon )}\omega \,,$

wobei ${}\beta _{n}$ das Volumen der ${}n$-dimensionalen Einheitskugel bezeichnet.

Für einen Spezialfall der vorstehenden Aussage siehe Aufgabe 58.23 (Analysis (Osnabrück 2021-2023)).

Aufgabe Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit mit einem nichtleeren Rand. Zeige, dass es eine differenzierbare Abbildung ${}M\rightarrow \partial M$ gibt.

Aufgabe Referenznummer erstellen

Es sei ${}H\subseteq \mathbb {R} ^{n}$ (${}n\geq 1$) ein Halbraum. Zeige, dass es eine differenzierbare Abbildung

$\varphi \colon H\longrightarrow \partial H$

gibt, deren Einschränkung auf ${}\partial H$ die Identität ist.

Wie sieht das bei ${}n=0$ aus?

Aufgabe Referenznummer erstellen

Wir betrachten die Mannigfaltigkeit mit Rand ${}M=\mathbb {R} ^{n}\setminus U{\left(0,1\right)}$. Zeige, dass es eine stetig differenzierbare Abbildung von ${}M$ auf den Rand ${}S{\left(0,1\right)}$ gibt, die auf dem Rand die Identität ist.

Für die folgende Aufgabe kann man Aufgabe 21.8 heranziehen.

Aufgabe Referenznummer erstellen

Wir betrachten die Mannigfaltigkeit mit Rand

${}M=B\left(0,1\right)\setminus \{\left(1,\,0\right)\}\subseteq \mathbb {R} ^{2}\,.$

Zeige, dass es eine stetig differenzierbare Abbildung

$\varphi \colon M\longrightarrow \partial M$

gibt, die auf dem Rand die Identität ist.

Aufgabe Referenznummer erstellen

Zeige, dass es auf einem Annulus bijektive stetig differenzierbare Abbildungen ohne Fixpunkt gibt.

Aufgabe Aufgabe 23.23 ändern

Zeige, dass die im Beweis zum Brouwerschen Fixpunktsatz verwendete Abbildung

${}\varphi (x)=x+\left(-\left\langle x,h(x)\right\rangle +{\sqrt {1+\left\langle x,h(x)\right\rangle ^{2}-\Vert {x}\Vert ^{2}}}\right)\cdot h(x)\,$

(mit ${}h(x)={\frac {\psi (x)-x}{\Vert {\psi (x)-x}\Vert }}$) die Einheitskugel auf die Einheitssphäre abbildet.

Aufgaben zum Abgeben

Aufgabe (4 Punkte)Referenznummer erstellen

Es sei ${}D$ das durch ${}(0,2),\,(1,-1)$ und ${}(-2,-1)$ gegebene Dreieck und ${}\tau =(3x^{2}y^{5}-x\sin y)dx\wedge dy$ eine ${}2$- Differentialform auf ${}D$. Finde eine Stammform für ${}\tau$ und berechne damit ${}\int _{D}\tau$ durch ein Integral über dem Dreiecksrand.

Aufgabe (6 Punkte)Referenznummer erstellen

Wir betrachten den Würfel

${}Q=[-1,1]^{3}\subseteq \mathbb {R} ^{3}\,$

und die ${}2$- Differentialform

${}\omega =dx\wedge dy+ydx\wedge dz+x^{2}y^{2}z^{2}dy\wedge dz\,.$

Berechne ${}d\omega$ und die beiden Integrale ${}\int _{\partial Q}\omega$ und ${}\int _{Q}d\omega$ (unabhängig voneinander).

Aufgabe (4 Punkte)Referenznummer erstellen

Berechne den Flächeninhalt der abgeschlossenen Einheitskreisscheibe über ein geeignetes Wegintegral.

Aufgabe (2 Punkte)Referenznummer erstellen

Zeige, dass es auf einem Torus bijektive stetig differenzierbare Abbildungen ohne Fixpunkt gibt.

Aufgabe (3 Punkte)Referenznummer erstellen

Es sei ${}B$ die abgeschlossene Einheitskreisscheibe und ${}K$ der obere Halbkreisbogen. Zeige, dass es eine differenzierbare Abbildung

$\varphi \colon B\longrightarrow K$

gibt, deren Einschränkung auf ${}K$ die Identität ist.

Aufgabe (3 Punkte)Referenznummer erstellen

Es seien ${}v,w\in \mathbb {R} ^{n}$ mit ${}\Vert {v}\Vert \leq 1$ und ${}\Vert {w}\Vert =1$. Zeige, dass es ein ${}a\in \mathbb {R}$ mit ${}\Vert {v+aw}\Vert =1$ gibt.

Aufgabe (4 Punkte)Referenznummer erstellen

Wir betrachten die Mannigfaltigkeit mit Rand

${}M=B\left(0,1\right)\setminus \{\left(1,\,0\right)\}\subseteq \mathbb {R} ^{2}\,.$

Zeige, dass es eine fixpunktfreie stetig differenzierbare Abbildung

$\varphi \colon M\longrightarrow M$

gibt.