Kurs:Analysis II/Kapitel V: Das Riemannsche Integral im R^n/Der Stokessche Integralsatz für glatt berandete C^2-Mannigfaltigkeiten

Aus Wikiversity

Wechseln zu: Navigation, Suche

Inhaltsverzeichnis

[Bearbeiten] §9 Der Stokessche Integralsatz für glatt berandete C2-Mannigfaltigkeiten

Wir wählen m \in \mathbb{N} und betrachten die m- dimensionale Ebene

(1) \mathbb{E}^m := \Bigl\{ (0, y_1, \ldots, y_m) \in \mathbb{R}^{m + 1}: (y_1, \ldots, y_m) \in \mathbb{R}^m \Bigr\}.

Ähnlich wie im Beispiel aus §8 erklären wir zu vorgegebenem \eta \in \mathbb{R}^{m + 1} und r > 0 den Halbwürfel

H_r(\eta) := \Bigl\{ y \in \mathbb{R}^{m + 1}: y_1 \in (\eta_1 - r, \eta_1), y_j \in (\eta_j - r, \eta_j + r) \mathrm{\ f\ddot ur\ } j = 2, \ldots, m + 1 \Bigr\}

der Kantenlänge 2r. Dieser hat die obere begrenzende Seite

S_r(\eta) := \Bigl\{ y \in \mathbb{R}^{m + 1}: y_1 = \eta_1, y_j \in (\eta_j - r, \eta_j + r) \mathrm{\ f\ddot ur\ } j = 2, \ldots, m + 1 \Bigr\}

Die Symbole Hr(η) und Sr(η) fassen wir als Flächen im \mathbb{R}^{m + 1} wie folgt auf:

(2) H_r(\eta): Y(t_1, \ldots, t_{m + 1}) = (\eta_1 + t_1, \ldots, \eta_{m + 1} + t_{m + 1}) mit − r < t1 < 0, | tj | < r für j = 2, \ldots, m + 1

sowie

(3) S_r(\eta): Y(t_1, \ldots, t_m) = (\eta_1, \eta_2 + t_1, \ldots, \eta_{m + 1} + t_m) mit | tj | < r für j = 1, \ldots, m.

Seien nun \eta\in \mathbb{E}^m und r > 0 fest gewählt, so setzen wir H: = Hr(η) bzw. S: = Sr(η). Mit der Bedingung n > m stelle

(4) \Phi = \Phi(y_1, \ldots, y_{m + 1}): \overline{H} \to \mathbb{R}^n \in C^2(\overline{H}, \mathbb{R}^n)

eine Fläche dar, welche auf eine \overline{H} enthaltende offene Menge im \mathbb{R}^{m + 1} als reguläre C2-Fläche fortsetzbar ist. Definieren wir

(5) X(y_1, \ldots, y_{m + 1}) := \Phi(y_1, \ldots, y_{m + 1}), \quad (y_1, \ldots, y_{m + 1}) \in \overline{H},

so erhalten wir die folgende (m + 1)-dimensionale Fläche im \mathbb{R}^n

\mathcal{F} := \Bigl\{ X(t) \in \mathbb{R}^n: t \in H \Bigr\},

deren Rand die m-dimensionale Fläche

\mathcal{S} := \Bigl\{ X(t) \in \mathbb{R}^n: t \in S \Bigr\}

enthält. Sei nun eine m-Form

(6) \omega = \sum^n_{i_1, \ldots, i_m = 1} a_{i_1 \ldots i_m}(x)\, dx_{i_1} \wedge \ldots \wedge dx_{i_m}, \quad x \in \overline{\mathcal{F}}

der Regularitätsklasse \omega \in C^1_0(\mathcal{F} \cup \mathcal{S}). Dieses bedeutet, dass auf einer offenen Menge \mathcal{F} \cup \mathcal{S} \subset \mathcal{O} \subset \mathbb{R}^n die Regularitätsforderung \omega \in C^1_0(\mathcal{O}) erfüllt ist.

[Bearbeiten] Hilfssatz 1

Seien die Fläche \mathcal{F} mit dem Randstück \mathcal{S} sowie eine m-dimensionale Differentialform ω wie oben gegeben. Dann gilt
\int\limits_\mathcal{F} d\omega = \int\limits_\mathcal{S} \omega.

[Bearbeiten] Beweis

Unter Verwendung der Sätze sowie dem Beispiel aus §8 erhalten wir

\int\limits_\mathcal{F} d\omega = \int\limits_X d\omega = \int\limits_H (d\omega)_\Phi = \int\limits_H d(\omega_\Phi) = \int\limits_S \omega_\Phi = \int\limits_\mathcal{S} \omega.

q.e.d.

[Bearbeiten] Definition 1

Seien 1 \le m \le n sowie die Menge \mathcal{M} \subset \mathbb{R}^n gegeben. Wir nennen \mathcal{M} eine m-dimensionale Ck-Mannigfaltigkeit, falls es zu jedem \xi \in \mathcal{M} ein \eta \in \mathbb{R}^n sowie offene Umgebungen U \subset \mathbb{R}^n von \xi \in U und V \subset \mathbb{R}^n von \eta \in V sowie eine reguläre, eingebettete Fläche
x = \Phi(y): V \to U \in C^k(V, \mathbb{R}^n)
gibt, so dass
ξ = Φ(η) und \Phi(V) = \mathcal{M} \cap U
richtig ist; dabei ist k \in \mathbb{N} gewählt worden. Hier nennen wir (Φ,V) eine Karte der Mannigfaltigkeit. Die Gesamtheit aller Karten
\mathcal{A} := \Bigl\{ (\Phi_\iota, V_\iota): \iota \in J \Bigr\}
bildet einen Atlas der Mannigfaltigkeit. Sind \Phi_j: V_j \to U_j \cap \mathcal{M} mit j = 1,2 zwei Karten von \mathcal{A}, so dass W_{1,2} := \mathcal{M} \cap U_1 \cap U_2 \neq \emptyset richtig ist, dann betrachten wir die Parametertransformation \Phi_{2,1} := \Phi_2^{-1} \circ \Phi_1. Falls für solche beliebige Karten aus dem Atlas jeweils deren Funktionaldeterminante die Bedingung
J_{\Phi_{2, 1}}(x) > 0, \quad x \in \Phi_1^{- 1}(W_{1, 2})
erfüllt, so wird die Mannigfaltigkeit durch den Atlas orientiert.

[Bearbeiten] Definition 2

Sei \mathcal{M} eine beschränkte, (m + 1)-dimensionale, orientierte Ck-Mannigfaltigkeit im \mathbb{R}^n der Dimensionen n > m vom Differentiationsgrad k \in \mathbb{N}. Den topologischen Abschluss der Punktmenge \mathcal{M} bezeichnen wir mit \overline{\mathcal{M}} und die Menge der Randpunkte mit \partial \mathcal{M} := \overline{\mathcal{M}} \setminus \mathcal{M}. Wir sprechen von einer glatt berandeten Ck-Mannigfaltigkeit, wenn für jeden Randpunkt \xi \in \partial \mathcal{M} folgendes gilt:
Es gibt einen Halbwürfel Hr(η) im \mathbb{R}^{m + 1} mit \eta \in \mathbb{E}^m zu einem r > 0 sowie eine reguläre eingebettete Fläche
\Phi(y): \overline{H_r(\eta)} \to \mathbb{R}^n \in C^k(\overline{H_r(\eta)}),
so dass \Phi \bigr|_{H_r(\eta)} zum orientierten Atlas \mathcal{A} von \mathcal{M} gehört und eine offene Umgebung U \subset \mathbb{R}^n von \xi \in U mit den folgenden Eigenschaften:
\Phi(\eta) = \xi, \quad \Phi \Bigl( S_r(\eta) \Bigr) = \partial \mathcal{M} \cap U, \quad \Phi \Bigl( H_r(\eta) \Bigr) = \mathcal{M} \cap U.

[Bearbeiten] Bemerkungen

1. Wir lassen auch den Fall \partial \mathcal{M} = \emptyset zu und sprechen dann von einer geschlossenen Ck-Mannigfaltigkeit.

2. Seien \mathcal{M} und \partial \mathcal{M} aus Definition 2 mit den Karten \Phi: \overline{H_r(\eta)} \to \mathbb{R}^n gegeben. Dann bildet

(8) \partial \mathcal{A} := \Bigl\{ \Phi \bigl|_{S_r(\eta)}: \Phi \bigl|_{H_r(\eta)} gehört zum orientierten Atlas \mathcal{A} von \mathcal{M} \Bigr\}

einen orientierten Atlas von dem glatten Rand \partial \mathcal{M}. Also wird \partial \mathcal{M} zu einer orientierten, m-dimensionalen, geschlossenen C2-Mannigfaltigkeit.

Sei \mathcal{M} \subset \mathbb{R}^n eine (m + 1)-dimensionale, beschränkte, orientierte, glatt berandete C2-Mannigfaltigkeit mit dem glatten Rand \partial \mathcal{M}. Sei weiter

(9) \lambda = \sum_{1 \le i_1 < \ldots < i_{m + 1} \le n} b_{i_1 \ldots i_{m + 1}}(x)\, dx_{i_1} \wedge \ldots \wedge dx_{i_{m + 1}}, \quad x \in \mathcal{M}

eine auf dem Abschluss \overline{\mathcal{M}} stetige Differentialform. Wir wollen nun das Integral \int\limits_\mathcal{M} \lambda der Differentialform λ über die Mannigfaltigkeit \mathcal{M} erklären. Wir betrachten den kompakten Träger von λ, nämlich

(10) \operatorname{supp}\, \lambda := \overline{\{x \in \mathcal{M}: \lambda(x) \neq 0\}} \subset \mathcal{M} \cup \partial \mathcal{M} = \overline{\mathcal{M}}.

Dann existieren offene Mengen V_\iota \subset \mathbb{R}^{m + 1} und U_\iota \subset \mathbb{R}^n mit \iota \in J sowie Karten \Phi_\iota: V_\iota \to U_\iota \cap \mathcal{M}, so dass die offenen Mengen \{U_\iota\}_{\iota \in J} die kompakte Menge \operatorname{supp}\, \lambda überdecken. Wir wählen nun im \mathbb{R}^n eine dem Mengensystem \{U_\iota\}_{\iota \in J} untergeordnete Zerlegung der Eins und erhalten das Funktionensystem

(11) \begin{matrix} \alpha_k(x): \overline{\mathcal{M}} \to [0, 1] \in C^1(\overline{\mathcal{M}}) \text{ mit } \operatorname{supp}\, \alpha_k \subset U_{\iota_k} \cap \overline{\mathcal{M}} \\ \mathrm{f\ddot ur\ } k = 1, \ldots, k_0 \text{ und } \sum\limits^{k_0}_{k = 1} \alpha_k(x) = 1 \mathrm{\ f\ddot ur\ alle\ } x \in \operatorname{supp}\, \lambda. \end{matrix}

[Bearbeiten] Definition 3

Das Integral der Differentialform λ über die Mannigfaltigkeit \mathcal{M} erklären wir durch
(12) \int\limits_\mathcal{M} \lambda := \sum^{k_0}_{k = 1} \int\limits_\mathcal{M} \alpha_k \lambda = \sum^{k_0}_{k = 1} \int\limits_{V_k} (\alpha_k \lambda)_{\Phi_k}.

Wir wollen nun zeigen, dass in Gleichung (12) das Integral unabhängig von der Überdeckung des Trägers von λ und von der verwendeten Zerlegung der Eins ist: Stellt nämlich

\tilde \Phi_\iota: \tilde V_\iota \to \tilde U_\iota \cap \mathcal{M} mit \iota \in \tilde J

ein weiteres \operatorname{supp}\, \lambda überdeckendes System von Karten dar, so wählen wir wiederum eine dem System \{\tilde U_\iota\}_\iota untergeordnete Teilung der Eins von \operatorname{supp}\, \lambda. Wir erhalten

(13) \begin{matrix} \tilde \alpha_l: \overline{\mathcal{M}} \to [0, 1] \in C^1(\overline{\mathcal{M}}) \text{ mit } \operatorname{supp}\, \tilde \alpha_l \subset \tilde U_{\iota_l} \cap \overline{\mathcal{M}} \\ \mathrm{f\ddot ur\ } l = 1, \ldots, l_0 \text{ sowie } \sum\limits^{l_0}_{l = 1} \alpha_l(x) = 1 \mathrm{\ f\ddot ur\ alle\ } x \in \operatorname{supp}\, \lambda. \end{matrix}

Wir beachten die Inklusionen

(14) \operatorname{supp}\, (\alpha_k \tilde \alpha_l) \subset U_k \cap U_l \cap \overline{\mathcal{M}} für k = 1, \ldots, k_0 und l = 1, \ldots, l_0.

Unter der positiv-orientierten Abbildung \Phi_k^{-1} \circ \tilde \Phi_l transformieren sich die Integrale gemäß

(15) \int\limits_{V_k} (\alpha_k \tilde \alpha_l \lambda)_{\Phi_k} = \int\limits_{V_l} (\alpha_k \tilde \alpha_l \lambda)_{\Phi_l}

für k = 1, \ldots, k_0 und l = 1, \ldots, l_0. Ihre Summation ergibt

(16) \sum^{k_0}_{k = 1} \int\limits_{V_k} (\alpha_k \lambda)_{\Phi_k} = \sum^{k_0}_{k = 1} \sum^{l_0}_{l = 1} \int\limits_{V_k} (\alpha_k \tilde \alpha_l \lambda)_{\Phi_k} = \sum^{k_0}_{k = 1} \sum^{l_0}_{l = 1} \int\limits_{V_l} (\alpha_k \tilde \alpha_l \lambda)_{\Phi_l} = \sum^{l_0}_{l = 1} \int\limits_{V_l} (\tilde \alpha_l \lambda)_{\Phi_l}.

Somit ist das in (12) aufgeschriebene Integral unabhängig von der Auswahl der Karten und der Zerlegung der Eins. Entsprechend erklären wir Integrale über die geschlossene Mannigfaltigkeit \partial \mathcal{M}.

[Bearbeiten] Satz 1 (Stokesscher Integralsatz für glatt berandete C2-Mannigfaltigkeiten)

Voraussetzungen:
1. Sei \mathcal{M} eine beschränkte, orientierte, (m + 1)-dimensionale C2-Mannigfaltigkeit im \mathbb{R}^n der Dimensionen n > m mit dem Atlas \mathcal{A}. Durch den induzierten Atlas \partial \mathcal{A} wird der glatte Rand \partial \mathcal{M} zu einer beschränkten, orientierten, m-dimensionalen, geschlossenen C2-Mannigfaltigkeit im \mathbb{R}^n.
2. Weiter sei
\omega = \sum_{1 \le i_1 < \ldots < i_m \le n} a_{i_1 \ldots i_m} (x) dx_{i_1} \wedge \ldots \wedge dx_{i_m}, \quad x \in \overline{\mathcal{M}}
eine m-dimensionale Differentialform der Klasse C^1(\mathcal{O}) auf einer offenen Menge \overline{\mathcal{M}} \subset \mathcal{O} \subset \mathbb{R}^n.
Behauptung:
Dann gilt die Identität
\int\limits_\mathcal{M} d\omega = \int\limits_{\partial \mathcal{M}} \omega

[Bearbeiten] Beweis

Wie oben wählen wir eine Zerlegung der Eins {αk} mit k = 1, \ldots, k_0 auf \operatorname{supp}\, \omega \subset \mathcal{M} \cup \partial \mathcal{M}, welche dem überdeckenden Kartensystem untergeordnet ist. nun folgt unter Verwendung von Hilfssatz 1 die Identität

(17) \int\limits_{\partial \mathcal{M}} \omega = \sum^{k_0}_{k = 1} \int\limits_{\partial \mathcal{M}} \alpha_k \omega = \sum^{k_0}_{k = 1} \int\limits_\mathcal{M} d(\alpha_k \omega) = \int\limits_\mathcal{M} d\omega.

[Bearbeiten] Bemerkungen

  1. Mit dem Weierstraßschen Approximationssatz kann man die Regularitätsforderung bei \mathcal{M} und \partial \mathcal{M} von C2 auf C1 herabsetzen.
  2. Bei der Differentialform ω brauchen wir nur die absolute Integrabilität von dω auf \overline{\mathcal{M}} zu verlangen und man kann dabei auf die Stetigkeit der Ableitungen bis zum Rand verzichten.
  3. Die Mannigfaltigkeit darf auch einen singulären Rand der Kapazität Null enthalten.
  4. All diese Verallgemeinerungen werden bei der Anwendung in der Theorie partieller Differentialgleichungen benötigt. Darum werden wir in Kapitel I, §5 im Kurs Analysis III einen entsprechend allgemeineren Stokesschen Integralsatz für Mannigfaltigkeiten mit singulärem Rand bereitstellen.
Von „http://de.wikiversity.org/wiki/Kurs:Analysis_II/Kapitel_V:_Das_Riemannsche_Integral_im_R%5En/Der_Stokessche_Integralsatz_f%C3%BCr_glatt_berandete_C%5E2-Mannigfaltigkeiten“
Persönliche Werkzeuge