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

George Stokes (1819 -1903)

Der Satz von Stokes gehört zu den wichtigsten Sätzen der Mathematik. Er stiftet eine direkte Beziehung zwischen dem Integral einer Differentialform über dem Rand einer berandeten Mannigfaltigkeit und dem Integral der äußeren Ableitung dieser Form über der gesamten Mannigfaltigkeit. Damit handelt es sich um eine weitgehende Verallgemeinerung des Hauptsatzes der Infinitesimalrechnung, nach dem das bestimmte Integral einer auf einem Intervall definierten Funktion mittels der Stammfunktion allein durch die Werte am Intervallrand ausgedrückt werden kann.

Der Satz von Stokes-Quaderversion

Bevor wir den Satz von Stokes allgemein formulieren und beweisen, geben wir die Quaderversion davon, bei der der Definitionsbereich der Differentialform ein Quader ist, dessen Rand aus seinen Seiten besteht. Damit dieses geometrische Objekt eine Mannigfaltigkeit mit Rand ist, müssen wir die „Kanten“ herausnehmen. Allerdings sind die Kanten auf den Seiten jeweils Nullmengen (und ebenso die Seiten auf dem Gesamtquader), so dass beim Integrieren diese Teilmengen ignoriert werden können.

Satz

Es sei ${}Q\subseteq \mathbb {R} ^{n}$ ein achsenparalleler ${}n$-dimensionaler Quader (mit Seiten aber ohne Kanten) mit dem Rand ${}\partial Q$ und ${}\omega$ eine auf ${}Q$ definierte stetig-differenzierbare ${}(n-1)$- Differentialform.

Dann ist

${}\int _{Q}d\omega =\int _{\partial Q}\omega \,.$

Beweis

Da beide Seiten dieser Gleichung linear in ${}\omega$ sind, können wir annehmen, dass ${}\omega$ die Gestalt

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

mit einer in einer offenen Umgebung von ${}Q$ definierten stetig differenzierbaren Funktion ${}f$ besitzt. Die Integrale sind links und rechts Lebesgue-Integrale zu stetigen Funktionen auf Teilmengen des ${}\mathbb {R} ^{n}$ bzw. ${}\mathbb {R} ^{n-1}$. Daher können wir auf beiden Seiten zum topologischen Abschluss übergehen, da dadurch die in Frage stehenden Integrationsbereiche nur um eine Nullmenge verändert werden, sodass dies die Integrale nicht ändert.

Wir schreiben den abgeschlossenen Quader als

${}{\overline {Q}}=[a,b]\times {\tilde {Q}}\,.$

Wir wenden Korollar 83.10 auf jede Seite ${}S$ ausgenommen ${}a\times {\tilde {Q}}$ und ${}b\times {\tilde {Q}}$ an und erhalten darauf

${}\int _{S}\omega =\int _{S}fdx_{2}\wedge \ldots \wedge dx_{n}=\int _{S}0=0\,,$

da auf diesen Seiten jeweils eine der Variablen ${}x_{2},\ldots ,x_{n}$ konstant ist. Aufgrund des Satzes von Fubini und des Hauptsatzes der Infinitesimalrechnung (angewendet auf jedes fixierte $(x_{2},\ldots ,x_{n})$) gilt

${}{\begin{aligned}\int _{Q}d\omega &=\int _{Q}df\wedge dx_{2}\wedge \ldots \wedge dx_{n}\\&=\int _{Q}{\left(\sum _{j=1}^{n}{\frac {\partial f}{\partial x_{j}}}dx_{j}\right)}\wedge dx_{2}\wedge \ldots \wedge dx_{n}\\&=\int _{Q}{\frac {\partial f}{\partial x_{1}}}dx_{1}\wedge dx_{2}\wedge \ldots \wedge dx_{n}\\&=\int _{\tilde {Q}}{\left(\int _{[a,b]}{\frac {\partial f}{\partial x_{1}}}dx_{1}\right)}dx_{2}\wedge \ldots \wedge dx_{n}\\&=\int _{\tilde {Q}}{\left(f(b,x_{2},\ldots ,x_{n})-f(a,x_{2},\ldots ,x_{n})\right)}dx_{2}\wedge \ldots \wedge dx_{n}\\&=\int _{b\times {\tilde {Q}}}fdx_{2}\wedge \ldots \wedge dx_{n}-\int _{a\times {\tilde {Q}}}fdx_{2}\wedge \ldots \wedge dx_{n}\\&=\sum _{S{\text{ orientierte Seite von }}Q}\int _{S}fdx_{2}\wedge \ldots \wedge dx_{n}\\&=\int _{\partial Q}fdx_{2}\wedge \ldots \wedge dx_{n}\\&=\int _{\partial Q}\omega .\end{aligned}}$

$\Box$

Der Satz von Stokes

Satz

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

Dann ist

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

Beweis

Es sei ${}U_{i}$, ${}i\in I$, eine offene Überdeckung von ${}M$ mit orientierten Karten und es sei ${}h_{j}$, ${}j\in J$, eine dieser Überdeckung untergeordnete stetig differenzierbare Partition der Eins, die nach Satz 89.9 existiert. Zu jedem ${}P\in M$ gibt es eine offene Umgebung ${}P\in V_{P}\subseteq M$ derart, dass ${}h_{j}{|}_{V_{P}}=0$ bis auf endlich viele Ausnahmen ist. Es sei ${}Y$ der Träger von ${}\omega$. Die Überdeckung ${}Y\subseteq \bigcup _{P\in M}V_{P}$ besitzt wegen der vorausgesetzten Kompaktheit eine endliche Teilüberdeckung, sagen wir

${}Y\subseteq V_{1}\cup \ldots \cup V_{r}=V\,.$

Daher sind überhaupt nur endlich viele der ${}h_{j}$ auf ${}V$ von ${}0$ verschieden. Wir setzen ${}\omega _{j}=h_{j}\omega$; diese Differentialformen sind ebenfalls stetig differenzierbar. Der Träger von ${}h_{j}$ ist eine in ${}M$ abgeschlossene Teilmenge, die in ${}U_{i(j)}$ liegt, daher liegt der Träger von ${}\omega _{j}$ in ${}Y\cap U_{i(j)}$ und ist selbst kompakt nach Aufgabe 82.8. Es gilt

${}\omega =\sum _{j\in J}\omega _{j}\,,$

wobei nur endlich viele dieser Differentialformen ${}\omega _{j}$ von ${}0$ verschieden sind, da ${}\omega _{j}{|}_{M\setminus Y}=0$ für alle ${}j$ ist und

${}\omega _{j}{|}_{V}=0\,$

für alle ${}j$ bis auf endlich viele Ausnahmen. Wegen der Additivität des Integrals von Differentialformen und der Additivität der äußeren Ableitung kann man die Aussage für die einzelnen ${}\omega _{j}$ getrennt beweisen. Wir können also annehmen, dass eine stetig differenzierbare ${}(n-1)$-Differentialform gegeben ist, die kompakten Träger besitzt, der ganz in einer Kartenumgebung ${}U$ liegt.
Es liegt ein Diffeomorphismus ${}\alpha \colon U\rightarrow V$ mit ${}V\subseteq H$ offen vor, der zugleich einen Diffeomorphismus zwischen den Rändern ${}\partial U=\partial M\cap U$ und ${}\partial V=\partial H\cap V$ induziert. Dabei gilt

${}\int _{\partial U}\omega =\int _{\partial V}\alpha ^{-1*}\omega \,$

und

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

nach Lemma 87.2  (5). Wir können also von einer auf ${}V\subseteq H$ definierten stetig differenzierbaren Differentialform mit kompaktem Träger ausgehen, die wir auf ganz ${}H$ außerhalb des Trägers als Nullform fortsetzen können.
Wegen der Kompaktheit des Trägers gibt es einen hinreichend großen Quader ${}Q\subseteq H$, dessen eine Seite ${}S$ auf ${}\partial H$ liegt und der den Träger von ${}\omega$ nur in ${}S$ trifft. Auf allen anderen Seiten von ${}Q$ ist ${}\omega$ (und damit auch ${}d\omega$) die Nullform. Daher gilt einerseits

${}\int _{H}d\omega =\int _{Q}d\omega \,$

und andererseits

${}\int _{\partial H}\omega =\int _{S}\omega =\int _{\partial Q}\omega \,.$

Somit folgt die Aussage aus der Quaderversion des Satzes von Stokes.

$\Box$

Korollar

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

Dann ist

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

Beweis

Dies folgt wegen ${}\partial M=\emptyset$ unmittelbar aus Satz 90.2.

$\Box$

Korollar

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 ${}(n-1)$- Differentialform mit kompaktem Träger auf ${}M$, die auf dem Rand ${}\partial M$ konstant gleich ${}0$ ist.

Dann ist

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

Beweis

Dies folgt unmittelbar aus Satz 90.2.

$\Box$

Wichtig bei der vorstehenden Aussage ist, dass ${}\omega$ auf dem Rand ${}0$ ist; es genügt nicht, dass die äußere Ableitung ${}d\omega$ auf dem Rand ${}0$ ist, wie schon die eindimensionale Situation zeigt.

Es gibt viele Möglichkeiten, die Volumenform ${}\tau =dx_{1}\wedge \ldots \wedge dx_{n}$ des ${}\mathbb {R} ^{n}$ als äußere Ableitung einer ${}(n-1)$-Form zu realisieren, bspw. mit ${}\omega =x_{1}dx_{2}\wedge \ldots \wedge dx_{n}$. Damit kann man die Berechnung des Volumens eines berandeten Körpers auf die Berechung eines Integrals über den Rand zurückführen. Im ebenen Fall nennt man diese Aussage auch den Satz von Green.

Satz

Es sei ${}M\subseteq \mathbb {R} ^{2}$ eine kompakte Mannigfaltigkeit mit Rand ${}\partial M$, und es seien

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

stetig differenzierbare Funktionen.

Dann ist

${}{\begin{aligned}\int _{M}{\left(-{\frac {\partial f}{\partial y}}(x,y)+{\frac {\partial g}{\partial x}}(x,y)\right)}dx\wedge dy&=\int _{\partial M}f(x,y)dx+g(x,y)dy\\\end{aligned}}$

Beweis

Dies folgt aus Satz 90.2, angewendet auf die stetig differenzierbare ${}1$- Form ${}\omega =f(x,y)dx+g(x,y)dy$.

$\Box$

Korollar

Es sei ${}M\subseteq \mathbb {R} ^{2}$ eine kompakte Mannigfaltigkeit mit Rand ${}\partial M$.

Dann ist der Flächeninhalt von ${}M$ gleich

${}\lambda ^{2}(M)=\int _{\partial M}xdy=-\int _{\partial M}ydx\,.$

Beweis

Dies folgt wegen ${}\lambda ^{2}(M)=\int _{M}dx\wedge dy$ aus Satz 90.5 angewendet auf ${}f=0,\,g=x$ bzw. ${}f=-y,\,g=0$.

$\Box$

Der Brouwersche Fixpunktsatz

Satz

Es sei ${}M$ eine kompakte orientierte differenzierbare Mannigfaltigkeit mit Rand ${}\partial M$ und mit abzählbarer Basis der Topologie.

Dann gibt es keine stetig differenzierbare Abbildung

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

deren Einschränkung auf ${}\partial M$ die Identität ist.

Beweis

Der Rand ${}\partial M$ ist nach Satz 88.8 eine orientierte differenzierbare Mannigfaltigkeit (ohne Rand). Daher gibt es nach Satz 89.10 eine stetig differenzierbare positive Volumenform ${}\tau$ auf ${}\partial M$. Es ist ${}\int _{\partial M}\tau >0$. Die äußere Ableitung der Volumenform ${}\tau$ ist ${}0$.  Nehmen wir an, dass es eine stetig differenzierbare Abbildung

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

mit ${}\varphi {|}_{\partial M}=\operatorname {Id} _{\partial M}$ gebe. Dann ist die zurückgezogene Form ${}\varphi ^{*}\tau$ eine ${}(n-1)$- Differentialform auf ${}M$, deren Einschränkung auf den Rand mit ${}\tau$ übereinstimmt. Daher gilt unter Verwendung von Satz 90.2 und Satz 87.4  (5)

${}{\begin{aligned}\int _{\partial M}\tau &=\int _{\partial M}\varphi ^{*}\tau \\&=\int _{M}d(\varphi ^{*}\tau )\\&=\int _{M}\varphi ^{*}(d\tau )\\&=\int _{M}\varphi ^{*}(0)\\&=0.\end{aligned}}$

Dies ist ein Widerspruch.

$\Box$

Man formuliert diese Aussage auch so, dass man sagt, dass es keine (stetig differenzierbare) Retraktion auf den Rand gibt.

Der folgende Satz heißt Brouwerscher Fixpunktsatz.

Satz

Es sei

$\psi \colon B\left(0,r\right)\longrightarrow B\left(0,r\right)$

eine stetig differenzierbare Abbildung der abgeschlossenen Kugel im ${}\mathbb {R} ^{n}$ in sich.

Dann besitzt ${}\psi$ einen Fixpunkt.

Beweis

Zur Notationsvereinfachung sei ${}r=1$.  Nehmen wir an, dass es eine fixpunktfreie stetig differenzierbare Abbildung ${}\psi$ geben würde. Dann ist stets

${}x\neq \psi (x)\,,$

sodass die beiden Punkte eine Gerade definieren. Die Idee ist, mittels dieser Geraden einen (der beiden) Durchstoßungspunkt mit der Sphäre als Bildpunkt einer Retraktion auf den Rand zu nehmen. Mit der Hilfsfunktion

${}h(x)={\frac {\psi (x)-x}{\Vert {\psi (x)-x}\Vert }}\,$

definieren wir eine Abbildung

$\varphi \colon B\left(0,1\right)\longrightarrow \mathbb {R} ^{n}$

durch

$\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)\,.$

Dabei ist der Ausdruck unter der Wurzel positiv. Dies ist bei ${}\Vert {x}\Vert <1$ klar und bei ${}\Vert {x}\Vert =1$ liegt ein Punkt auf der Sphäre vor, dessen Verbindungsgerade mit dem Kugelpunkt ${}\psi (x)$ nicht senkrecht zu ${}x$ ist (der affine Tangentialraum zu einem Punkt der Sphäre trifft eine Kugel nur in einem Punkt), sodass

${}\left\langle x,h(x)\right\rangle \neq 0\,$

ist. Da die Quadratwurzel und der Betrag außerhalb des Nullpunktes stetig differenzierbar sind, handelt es sich bei ${}h(x)$ und bei ${}\varphi (x)$ um stetig differenzierbare Abbildungen. Die Abbildung ${}\varphi$ bildet nach Aufgabe ***** die Kugel auf die Sphäre ab und ihre Einschränkung auf die Sphäre ist die Identität. Damit liegt eine stetig differenzierbare Retraktion der abgeschlossenen Vollkugel auf ihren Rand vor, was nach Satz 90.7 nicht sein kann.

$\Box$

Fußnoten

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