Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Vorlesung 87/kontrolle

Die äußere Ableitung

In dieser Vorlesung werden wir ein neuartiges mathematisches Objekt kennenlernen, die sogenannte äußere Ableitung. Es handelt sich dabei um einen Ableitungsbegriff, der aus Differentialformen vom Grad ${}k$ Differentialformen von Grad ${}k+1$ macht. Für eine Differentialform vom Grad ${}0$, also eine Funktion ${}f$, ist die zugehörige äußere Ableitung einfach die ${}1$-Form ${}df$, also die Differentialform, die jedem Punkt ${}P$ (bei einem euklidischen Raum) das totale Differential

$\left(Df\right)_{P}\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R}$

bzw.

(bei einer Mannigfaltigkeit ${}M$) die Tangentialabbildung

$T_{P}(f)\colon T_{P}M\longrightarrow \mathbb {R}$

zuordnet.

In der eindimensionalen Differentialrechnung sind Funktionen und ihre Ableitungen bzw. Stammfunktionen gleichartige Objekte (dies gilt auch noch für differenzierbare Kurven), aber schon bei der Einführung des totalen Differentials zu einer Funktion in mehreren Variablen war die Ableitung ein fundamental anderes Objekt als die Funktion. Zwar können entlang vorgegebener Richtungen höhere Richtungsableitungen definiert werden, die selbst wieder Funktionen sind, doch erfassen diese jeweils nur einen Teilaspekt der Ableitung der Funktion, während das totale Differential die volle Information enthält.

Mit diesem wesentlichen Unterschied von Funktion und Ableitung hängt auch zusammen, dass wir uns im Höherdimensionalen noch nicht mit der umgekehrten Frage beschäftigt haben, welche Ableitungen eine Stammfunktion besitzen. Eine Funktion in mehreren Variabeln kann keine Stammfunktion besitzen, nur für eine ${}1$-Differentialform ist dies eine sinnvolle Fragestellung. Der Satz von Schwarz über die Vertauschbarkeit der Richtungsableitungen stellt dabei schon ein wichtiges notwendiges Kriterium für die Existenz einer Stammfunktion zu einer ${}1$-Differentialform dar.

Mit der Theorie der äußeren Ableitungen findet die Frage nach Stammfunktionen bzw. Stammformen ihren natürlichen Rahmen. Darüber hinaus erlaubt sie, den Satz von Stokes prägnant zu formulieren. Ferner können mit der äußeren Ableitung wesentliche topologische Eigenschaften einer Mannigfaltigkeit charakterisiert werden, was allerdings weit über diese Vorlesung hinausgeht.

Definition Referenznummer erstellen

Es sei ${}U\subseteq \mathbb {R} ^{n}$ offen und es sei ${}\omega \in {\mathcal {E}}^{k}(U)$ eine stetig differenzierbare ${}k$- Differentialform mit der Darstellung

${}\omega =\sum _{I\subseteq \{1,\ldots ,n\},\,{\#\left(I\right)}=k}f_{I}dx_{I}\,$

mit stetig differenzierbaren Funktionen

$f_{I}\colon U\longrightarrow \mathbb {R} .$

Dann nennt man die ${}(k+1)$-Form

${}d\omega =\sum _{I\subseteq \{1,\ldots ,n\},\,{\#\left(I\right)}=k}df_{I}\wedge dx_{I}=\sum _{I\subseteq \{1,\ldots ,n\},\,{\#\left(I\right)}=k}{\left(\sum _{j=1}^{n}{\frac {\partial f_{I}}{\partial x_{j}}}dx_{j}\right)}\wedge dx_{I}\,$

die äußere Ableitung von ${}\omega$.

Manchmal spricht man genauer von der ${}k$-ten äußeren Ableitung. Der Differenzierbarkeitsgrad der Differentialform senkt sich dabei um ${}1$, wie man an den Koeffizientenfunktionen direkt ablesen kann.

Die äußere Ableitung ist für ${}k=0,\ldots ,n$ interessant, ab ${}k\geq n$ handelt es sich um die Nullabbildung. Wenn man sich auf glatte Differentialformen beschränkt, so ergibt sich insgesamt eine Folge von äußeren Ableitungen, nämlich

$C^{\infty }(U,\mathbb {R} )={\mathcal {E}}_{\infty }^{0}(U){\stackrel {d}{\longrightarrow }}{\mathcal {E}}_{\infty }^{1}(U){\stackrel {d}{\longrightarrow }}{\mathcal {E}}_{\infty }^{2}(U){\stackrel {d}{\longrightarrow }}\ldots {\stackrel {d}{\longrightarrow }}{\mathcal {E}}_{\infty }^{n-1}(U){\stackrel {d}{\longrightarrow }}{\mathcal {E}}_{\infty }^{n}(U){\stackrel {d}{\longrightarrow }}0.$

An der ersten Stelle steht hier einfach die Ableitung einer Funktion (die einzige Indexmenge mit ${}0$ Elementen ist die leere Menge), also die Zuordnung ${}f\mapsto df$.

Die wichtigsten Eigenschaften der äußeren Ableitung fassen wir wie folgt zusammen.

Lemma Lemma 87.2 ändern

Es sei ${}U\subseteq \mathbb {R} ^{n}$ offen, ${}k\in \mathbb {N}$ und es sei

$d\colon {\mathcal {E}}_{1}^{k}(U)\longrightarrow {\mathcal {E}}_{0}^{k+1}(U),\,\omega \longmapsto d\omega ,$

die äußere Ableitung. Dann gelten folgende Eigenschaften.

1. Die äußere Ableitung

   $d\colon {\mathcal {E}}_{1}^{0}(U)\longrightarrow {\mathcal {E}}_{0}^{1}(U),$

   ist das totale Differential.

2. Die äußere Ableitung ist ${}\mathbb {R}$- linear.
3. Für ${}\omega \in {\mathcal {E}}_{1}^{k}(U)$ und ${}\tau \in {\mathcal {E}}_{1}^{\ell }(U)$ gilt die Produktregel

   ${}d(\omega \wedge \tau )=(d\omega )\wedge \tau +(-1)^{k}\omega \wedge (d\tau )\,.$

   Für ${}k=0$ ist dies als

   ${}d(f\tau )=(df)\wedge \tau +fd\tau \,$

   zu lesen.

4. Für jede zweimal stetig differenzierbare Differentialform ${}\omega$ ist ${}d(d\omega )=0$.
5. Für eine stetig differenzierbare Abbildung (mit ${}W\subseteq \mathbb {R} ^{m}$ offen)

   $\psi \colon W\longrightarrow U$

   und jedes ${}\omega \in {\mathcal {E}}_{1}^{k}(U)$ gilt für die zurückgezogenen Differentialformen

   ${}d(\psi ^{*}\omega )=\psi ^{*}(d\omega )\,.$

Beweis

(1) folgt unmittelbar aus der Definition (die leere Menge ist die einzige relevante Indexmenge).
(2). Die Linearität folgt direkt aus der Definition, der Linearität des totalen Differentials und der Multilinearität des äußeren Produktes.

(3). Es seien ${}x_{1},\ldots ,x_{n}$ die Koordinaten auf ${}\mathbb {R} ^{n}$. Wegen der Linearität von ${}d$ und der Multilinearität des Dachprodukts können wir die beiden Differentialformen als ${}\omega =fdx_{I}$ und ${}\tau =gdx_{J}$ mit Indexmengen ${}I=\{i_{1},\ldots ,i_{k}\}$ und ${}J=\{j_{1},\ldots ,j_{\ell }\}$ schreiben. Es gilt dann

${}{\begin{aligned}d(\omega \wedge \tau )&=d{\left(fdx_{I}\wedge gdx_{J}\right)}\\&=d{\left((fg)dx_{I}\wedge dx_{J}\right)}\\&=\sum _{s=1}^{n}{\frac {\partial (fg)}{\partial x_{s}}}dx_{s}\wedge dx_{I}\wedge dx_{J}\\&=\sum _{s=1}^{n}{\left(g{\frac {\partial f}{\partial x_{s}}}+f{\frac {\partial g}{\partial x_{s}}}\right)}dx_{s}\wedge dx_{I}\wedge dx_{J}\\&=\sum _{s=1}^{n}g{\frac {\partial f}{\partial x_{s}}}dx_{s}\wedge dx_{I}\wedge dx_{J}+\sum _{s=1}^{n}f{\frac {\partial g}{\partial x_{s}}}dx_{s}\wedge dx_{I}\wedge dx_{J}\\&=\sum _{s=1}^{n}{\frac {\partial f}{\partial x_{s}}}dx_{s}\wedge dx_{I}\wedge gdx_{J}+\sum _{s=1}^{n}{\frac {\partial g}{\partial x_{s}}}dx_{s}\wedge fdx_{I}\wedge dx_{J}\\&=d(fdx_{I})\wedge gdx_{J}+\sum _{s=1}^{n}(-1)^{k}fdx_{I}\wedge {\frac {\partial g}{\partial x_{s}}}dx_{s}\wedge dx_{J}\\&=d(fdx_{I})\wedge gdx_{J}+(-1)^{k}fdx_{I}\wedge d(gdx_{J}).\end{aligned}}$

(4). Für eine ${}1$-Form ${}\omega =\sum _{j=1}^{n}g_{j}dx_{j}$ ist unter Verwendung von ${}dx_{i}\wedge dx_{j}=-dx_{j}\wedge dx_{i}$

${}{\begin{aligned}d\omega &=\sum _{j=1}^{n}d(g_{j}dx_{j})\\&=\sum _{j=1}^{n}{\left(\sum _{i=1}^{n}{\frac {\partial g_{j}}{\partial x_{i}}}dx_{i}\wedge dx_{j}\right)}\\&=\sum _{1\leq i<j\leq n}{\left({\frac {\partial g_{j}}{\partial x_{i}}}-{\frac {\partial g_{i}}{\partial x_{j}}}\right)}dx_{i}\wedge dx_{j}.\end{aligned}}$

Für eine zweimal stetig differenzierbare Funktion ${}f$ ist ${}df=\sum _{j=1}^{n}g_{j}dx_{j}$ mit den partiellen Ableitungen ${}g_{j}={\frac {\partial f}{\partial x_{j}}}$, und daher ist ${}d(df)=0$ nach dem Satz von Schwarz.

Für eine Differentialform vom Grad ${}k$ setzen wir ${}\omega =fdx_{i_{1}}\wedge \ldots \wedge dx_{i_{k}}$ an und erhalten

${}d(d\omega )=d(df\wedge dx_{i_{1}}\wedge \ldots \wedge dx_{i_{k}})\,.$

Nach der Produktregel (3) ist dieser Ausdruck eine Summe von ${}k+1$ Dachprodukten, bei denen jeweils ein „Dachfaktor“ die Form ${}d(dg)=0$ besitzt.

(5). Wir schreiben

${}\psi _{i}=x_{i}\circ \psi \,.$

Wegen der Linearität der äußeren Ableitung (2) und der Linearität des Zurückziehens von Differentialformen kann man ${}\omega =fdx_{I}$ mit ${}I=\{i_{1},\ldots ,i_{k}\}$ ansetzen. Da das Zurückziehen nach Aufgabe ***** {{:Kurs:Kurs:Mathematik (Osnabrück 2009-2011)/Zurückziehen von Differentialformen/Verträglichkeit mit skalarer Funktion/Aufgabe/Aufgabereferenznummer/Zurückziehen von Differentialformen/Verträglichkeit mit skalarer Funktion/Aufgabe/Aufgabereferenznummer}} und Aufgabe 83.13 mit der Multiplikation mit skalaren Funktionen und mit dem Dachprodukt verträglich ist, gilt unter Verwendung der Produktregel (3), der Regel (4) und der Kettenregel (im Sinne von Aufgabe 87.4)

${}{\begin{aligned}d{\left(\psi ^{*}\omega \right)}&=d{\left(\psi ^{*}{\left(fdx_{i_{1}}\wedge \ldots \wedge dx_{i_{k}}\right)}\right)}\\&=d{\left(\psi ^{*}(f)\psi ^{*}{\left(dx_{i_{1}}\wedge \ldots \wedge dx_{i_{k}}\right)}\right)}\\&=d{\left(\psi ^{*}(f){\left(\psi ^{*}dx_{i_{1}}\right)}\wedge \ldots \wedge {\left(\psi ^{*}dx_{i_{k}}\right)}\right)}\\&=d{\left(\psi ^{*}(f)d\psi _{i_{1}}\wedge \ldots \wedge d\psi _{i_{k}}\right)}\\&=d{\left(\psi ^{*}(f)\right)}\wedge {\left(d\psi _{i_{1}}\wedge \ldots \wedge d\psi _{i_{k}}\right)}+(\psi ^{*}(f))d{\left(d\psi _{i_{1}}\wedge \ldots \wedge d\psi _{i_{k}}\right)}\\&=d{\left(\psi ^{*}(f)\right)}\wedge {\left(d\psi _{i_{1}}\wedge \ldots \wedge d\psi _{i_{k}}\right)}\\&=\psi ^{*}(df)\wedge d\psi _{i_{1}}\wedge \ldots \wedge d\psi _{i_{k}}\\&=\psi ^{*}(df)\wedge \psi ^{*}{\left(dx_{i_{1}}\right)}\wedge \ldots \wedge \psi ^{*}{\left(dx_{i_{k}}\right)}\\&=\psi ^{*}{\left(df\wedge dx_{i_{1}}\wedge \ldots \wedge dx_{i_{k}}\right)}\\&=\psi ^{*}{\left(d{\left(fdx_{i_{1}}\wedge \ldots \wedge dx_{i_{k}}\right)}\right)}.\end{aligned}}$

$\Box$

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit. Dann definiert man zu einer differenzierbaren Differentialform ${}\omega \in {\mathcal {E}}_{1}^{k}(M)$ die äußere Ableitung ${}d\omega \in {\mathcal {E}}_{0}^{k+1}(M)$ unter Bezugnahme auf den lokalen Fall und Karten

$\alpha \colon U\longrightarrow V$

(${}U\subseteq M$ und ${}V\subseteq \mathbb {R} ^{n}$ offen) durch

${}(d\omega ){|}_{U}=d{\left(\omega {|}_{U}\right)}=\alpha ^{*}{\left(d{\left(\alpha ^{-1*}{\left(\omega {|}_{U}\right)}\right)}\right)}\,.$

Man zieht also die auf ${}U$ eingeschränkte Differentialform nach ${}V$ zurück, nimmt dort die äußere Ableitung gemäß den lokalen Vorschriften und zieht das Ergebnis nach ${}U$ zurück. Man muss sich klar machen, dass dies eine wohldefinierte Differentialform auf ${}M$ ergibt, dass es also zu einem Punkt ${}P\in M$ egal ist, unter Bezug auf welche Kartenumgebung die äußere Ableitung gebildet wird. Seien also zwei Karten für ${}P$ gegeben, wobei wir gleich annehmen dürfen, dass ihr Definitionsbereich gleich ${}U$ ist. Die Karten seien

$\alpha \colon U\longrightarrow V$

und

$\beta \colon U\longrightarrow W$

und wir setzen ${}\tau =\omega {|}_{U}$. Dann ergibt sich, wobei wir Lemma 87.2  (5) auf ${}\alpha \circ \beta ^{-1}$ und ${}\alpha ^{-1*}\tau$ anwenden,

${}{\begin{aligned}\beta ^{*}{\left(d{\left(\beta ^{-1^{*}}(\tau )\right)}\right)}&={\left(\beta \circ \alpha ^{-1}\circ \alpha \right)}^{*}{\left(d{\left({\left(\alpha ^{-1}\circ \alpha \circ \beta ^{-1}\right)}^{*}(\tau )\right)}\right)}\\&=\alpha ^{*}{\left(\beta \circ \alpha ^{-1}\right)}^{*}{\left(d{\left({\left(\alpha \circ \beta ^{-1}\right)}^{*}\alpha ^{-1*}(\tau )\right)}\right)}\\&=\alpha ^{*}{\left(d{\left(\alpha ^{-1*}(\tau )\right)}\right)}.\end{aligned}}$

Auch die grundlegenden Eigenschaften von oben übertragen sich auf Mannigfaltigkeiten.

Satz Satz 87.4 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit, ${}k\in \mathbb {N}$ und es sei

$d\colon {\mathcal {E}}_{1}^{k}(M)\longrightarrow {\mathcal {E}}_{0}^{k+1}(M),\,\omega \longmapsto d\omega ,$

die äußere Ableitung. Dann gelten folgende Eigenschaften.

1. Die äußere Ableitung

   $d\colon {\mathcal {E}}_{1}^{0}(M)\longrightarrow {\mathcal {E}}_{0}^{1}(M),$

   ist die Tangentialabbildung.

2. Die äußere Ableitung ist ${}\mathbb {R}$- linear.
3. Für ${}\omega \in {\mathcal {E}}_{1}^{k}(M)$ und ${}\tau \in {\mathcal {E}}_{1}^{\ell }(M)$ gilt die Produktregel

   ${}d(\omega \wedge \tau )=(d\omega )\wedge \tau +(-1)^{k}\omega \wedge d\tau \,$

4. Für jede zweimal stetig differenzierbare Differentialform ${}\omega$ ist ${}d(d\omega )=0$.
5. Es sei ${}L$ eine weitere differenzierbare Mannigfaltigkeit. Für eine stetig differenzierbare Abbildung

   $\psi \colon L\longrightarrow M$

   und jedes ${}\omega \in {\mathcal {E}}_{1}^{k}(M)$ gilt für die zurückgezogenen Differentialformen

   ${}d(\psi ^{*}\omega )=\psi ^{*}(d\omega )\,.$

Beweis

Dies sind alles lokale Aussagen, sodass sie sich aus Lemma 87.2 ergeben.

$\Box$

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit. Eine differenzierbare Differentialform ${}\omega$ auf ${}M$ heißt geschlossen, wenn ihre äußere Ableitung ${}d\omega =0$ ist.

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit. Eine ${}k$- Differentialform ${}\omega$ auf ${}M$ heißt exakt, wenn es eine differenzierbare ${}(k-1)$-Differentialform ${}\sigma$ auf ${}M$ mit ${}d\sigma =\omega$ gibt.

Eine exakte Differentialform ist also eine Differentialform, für die es eine Stammform ${}\sigma$ gibt. Mit diesen Begriffen kann man die obige Aussage ${}dd=0$ so formulieren, dass jede exakte Form geschlossen ist. Die Geschlossenheit ist also eine notwendige Bedingung dafür, das es eine Stammform geben kann. Es sei hier ohne Beweis bemerkt, dass dieses notwendige Kriterium für den ${}\mathbb {R} ^{n}$ auch hinreichend ist. Diese Äquivalenz gilt aber keineswegs auf jeder Mannigfaltigkeit.

Euklidische Halbräume

Definition Referenznummer erstellen

Unter dem euklidischen Halbraum der Dimension ${}n$ versteht man die Menge

${}H={\left\{x\in \mathbb {R} ^{n}\mid x_{1}\geq 0\right\}}\,$

mit der induzierten Topologie.

Bei ${}n=0$ ist dies ein Punkt, bei ${}n=1$ ist dies das Intervall ${}[0,\infty ]$, bei ${}n=2$ handelt es sich um eine Halbebene, und bei ${}n=3$ um einen Halbraum. Wenn man statt ${}1$ einen anderen Koordinatenindex oder „${}\leq$“ statt „${}\geq$ “ nimmt, so nennt man auch diese Objekte Halbräume. Da ein Halbraum ${}H$ abgeschlossen im ${}\mathbb {R} ^{n}$ ist, ist eine Teilmenge ${}T\subseteq H$ genau dann abgeschlossen in ${}H$, wenn sie abgeschlossen im ${}\mathbb {R} ^{n}$ ist. Diese Äquivalenz gilt nicht für offene Mengen. Beispielsweise ist der Gesamtraum ${}H$ in ${}H$ offen, aber nicht im ${}\mathbb {R} ^{n}$. Die Menge

$\partial H={\left\{x\in \mathbb {R} ^{n}\mid x_{1}=0\right\}}$

gehört zu ${}H$ und heißt der Rand von ${}H$. Er ist homöomorph zu ${}\mathbb {R} ^{n-1}$ (was bei ${}n=0$ als leer zu interpretieren ist). Mit ${}H_{+}$ bezeichnet man die positive Hälfte, also ${}H_{+}={\left\{x\in \mathbb {R} ^{n}\mid x_{1}>0\right\}}$, die eine offene Teilmenge im ${}\mathbb {R} ^{n}$ ist.

Die Halbräume bilden die Standardmodelle für die Mannigfaltigkeiten mit Rand, die wir jetzt einführen wollen. Es handelt sich dabei um eine Verallgemeinerung des Mannigfaltigkeitsbegriffes. Ein typisches Beispiel für eine Mannigfaltigkeit mit Rand ist die abgeschlossene Vollkugel; ihr Rand ist die Sphäre. Ein Punkt im Innern der Kugel besitzt eine kleinere offene Kugelumgebung, in einem solchen Punkt sieht es also „lokal“ so aus wie im ${}\mathbb {R} ^{3}$. Ein Punkt auf dem Rand der Kugel besitzt nicht eine solche Umgebung, sondern in jeder offenen Umgebung davon ist der Rand gegenwärtig; ein solcher Randpunkt sieht lokal wie ein Halbraum aus.

Die Karten einer Mannigfaltigkeit mit Rand werden offene Mengen in einem Halbraum sein. Für die Übergangsabbildungen müssen wir daher von differenzierbaren Abbildungen, die auf Halbräumen definiert sind, sprechen können. Dies ermöglicht die folgende Definition.

Definition Referenznummer erstellen

Es sei ${}U\subseteq H$ eine offene Teilmenge in einem euklidischen Halbraum ${}H\subseteq \mathbb {R} ^{n}$, ${}P\in U$ sei ein Punkt und es sei

$\varphi \colon U\longrightarrow \mathbb {R} ^{m}$

eine Abbildung. Dann heißt ${}\varphi$ stetig differenzierbar in ${}P$, wenn es eine offene Umgebung ${}P\in V\subseteq \mathbb {R} ^{n}$ und eine stetig differenzierbare Funktion

${\tilde {\varphi }}\colon V\longrightarrow \mathbb {R} ^{m}$

mit ${}{\tilde {\varphi }}{|}_{U\cap V}=\varphi {|}_{U\cap V}$ gibt.

Der neue Differenzierbarkeitsbegriff wird also auf den alten zurückgeführt. Für eine offene Menge ${}U\subseteq H$, die den Rand von ${}H$ nicht trifft, ist dies gleichbedeutend mit der Definition für eine offene Menge im ${}\mathbb {R} ^{n}$.

Mit dieser Strategie, Begriffe für Randpunkte über die Existenz von offenen Umgebungen mit fortgesetzten Objekten zu definieren, übertragen sich viele wichtige Konzepte auf die neue allgemeinere Situation, was wir nicht immer im Einzelnen ausführen werden. Bspw. ist klar, was ein Diffeomorphismus von offenen Mengen im Halbraum und was das totale Differential einer differenzierbaren Abbildung ist. Auch die Definition einer Mannigfaltigkeit mit Rand ist vor diesem Hintergrund nicht überraschend.

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