Stokesscher Integralsatz

Der Satz von Stokes oder Stokes'scher Integralsatz (nach Sir George Gabriel Stokes), häufig auch allgemeiner Satz von Stokes genannt, ist ein Ergebnis aus der Differentialgeometrie. In seiner allgemeinsten Form handelt es sich um einen sehr tiefliegenden Satz über die Integration von Differentialformen, der den Hauptsatz der Differential- und Integralrechnung verallgemeinert. Es geht darum, n-dimensionale Volumenintegrale über das Innere in Randintegrale über die Oberfläche des Volumenstücks umzuwandeln. Häufig werden speziellere Varianten des allgemeinen Satzes angegeben, aus denen das allgemeine Prinzip mehr oder minder gut ersichtlich ist; die beiden wichtigsten Spezialfälle, der gaußsche Integralsatz und der spezielle stokessche Integralsatz (siehe unten) entstammen der Vektoranalysis. In der Physik erlaubt der Satz von Stokes elegante Schreibweisen physikalischer Zusammenhänge, zum Beispiel bei den integrierten Formen der Maxwellschen Gleichungen.

Klassischer Integralsatz von Stokes

Der klassische Integralsatz von Stokes ist auch als Satz von Kelvin-Stokes oder Rotationssatz bekannt und seine Aussage ist:

Es sei $V \subset \R^3$ eine offene Teilmenge und $F : V \to \R^3$ ein einmal stetig-differenzierbares Vektorfeld. Weiter sei $M \subset V$ eine 2-dimensionale Untermannigfaltigkeit, die durch ein Einheitsnormalenfeld ν orientiert ist, und G eine (stückweise) glatt berandete kompakte Teilmenge von M. Die von M induzierte Orientierung auf den Rand von G wird durch des Einheitstangentialfeld τ repräsentiert. Dann gilt

$\int_G \langle \operatorname{rot} F, \nu \rangle \mathrm{d} S = \int_{\partial G} \langle F, \tau\rangle \mathrm{d} s$.

Die Form dS ist das Volumenelement bezüglich der Untermannigfaltigkeit M. In dem Fall, dass M eine reelle Teilmenge ist, hat das Volumenelement die gewohnte Form dxdy.

Beispiel

Es sei S eine Fläche, welche den Anforderungen des Satzes genügt und F = (v₁,v₂,0) ein Vektorfeld. So ist ein Einheitsnormalenfeld ν gegeben durch ν = (0,0,1) und es gilt

$\langle \operatorname{rot} F , \nu \rangle = \frac{\partial v_2}{\partial x} - \frac{\partial v_1}{\partial y}.$

Nach dem Satz von Stokes gilt

$\int_{\partial S} \langle F, \tau \rangle \mathrm{d} s = \int_S \langle \operatorname{rot} F, \nu \rangle \mathrm{d} S = \int_S \left( \frac{\partial v_2}{\partial x} - \frac{\partial v_1}{\partial y} \right) \mathrm{d} x \mathrm{d} y.$

Dieses Beispiel zeigt, dass der Satz von Green ein Spezialfall des Stokes'schen Integralsatzes ist.

Allgemeiner Integralsatz von Stokes

Sei M eine orientierte n-dimensionale differenzierbare Mannigfaltigkeit mit abschnittsweise glattem Rand $\partial M$ mit induzierter Orientierung. Dies ist für die meisten anschaulichen Beispiele, wie die Vollkugel mit Rand (Sphäre), gegeben.

Sei ferner ω eine alternierende Differentialform vom Grad n-1, die als stetig differenzierbar vorausgesetzt wird.

Dann gilt

$\int_M \mathrm{d}\omega = \int_{\partial M} \omega$

wobei d die Cartan-Ableitung bezeichnet (konkret:  $\mathrm{d}\omega \equiv\sum_{k,i=1}^n\,{\frac{\partial f_i}{\partial x_k}}\mathrm{d}x_k\wedge\omega_i$,  falls $\omega\equiv \sum_{i=1}^{n} f_i(x_1,x_2,...,x_n)\,\omega_i$  gilt, mit (n-1)-dimensionalen Basisformen $\,\omega_i$. Den allgemeinsten Fall bekommt man, wenn ω_i eines der n von Null verschiedenen Differential-Produkte ist, die man erhält, wenn man in dem Ausdruck $\mathrm{d}x_1\wedge \mathrm{d}x_2\wedge ...\wedge\mathrm{d}x_n$ eines der Elementardifferentiale dx_ν streicht, und zwar das mit ν = i. Ferner ist natürlich $\mathrm{d}x_j \wedge\mathrm{d}x_k = - \mathrm{d}x_k \wedge\mathrm{d}x_j$, für i, j, k, ν = 1,...,n.

Folgerung

Sei $U \subset \R^n$ offen und ω eine stetig differenzierbare (k-1)-Form in U. Dann gilt für jede orientierte kompakte k-dimensionale Untermannigfaltigkeit $M \subset U$

∫	dω = 0.
M

Beispiel

In $\R^{n} \backslash \{0\}$ betrachten wir die (n-1)-Form

$\sigma = \frac{x \mathrm{d}\vec{S}}{\|x\|^n} = \frac{1}{\|x\|^n} \begin{pmatrix}x_1\\ \vdots \\ x_n \end{pmatrix} \begin{pmatrix}\mathrm{d}x_2 \wedge \cdots \wedge \mathrm{d}x_n\\ \vdots \\ \mathrm{d}x_1 \wedge \cdots \wedge \mathrm{d} x_{n-1} \end{pmatrix}.$

Auf Grund des Stokes'schen Integralsatzes gilt

$\int_{\mathbb{S}^{n-1}} \sigma = \int_{||x||=1} \frac{x \mathrm{d}\vec{S}}{\|x\|^n} = \int_{||x||=1} x \mathrm{d}\vec{S} = \int_{B^{n}} \mathrm{d}(x \mathrm{d}\vec{S}) = n \operatorname{Vol}(B^n).$

Dabei bezeichnet $\mathbb{S}^{n-1}$ die (n-1)-dimensionale Einheitsphäre und Bⁿ den n-dimensionalen Einheitsball.

Zugrunde liegendes topologisches Prinzip

Hinter dem Satz steckt ein allgemeines topologisches Prinzip, das in seiner einfachsten Form besagt, dass sich bei „orientierter Pflasterung eines Flächenstücks“ im Innern die Wege „wegen Gegenverkehrs“ paarweise aufheben, so dass nur die Randkurve übrig bleibt.

Links in der Skizze sieht man vier kleine gleich orientierte „Pflastersteine“. Die in der Mitte eingezeichneten „inneren Wege“ werden paarweise in entgegengesetzter Richtung durchlaufen; ihre Beiträge zum Linienintegral heben sich deshalb gegenseitig auf, so dass nur der Beitrag der Randkurve übrigbleibt. Es genügt also, die Integralsätze nur für möglichst kleine „Pflastersteine“ zu beweisen.

Bei hinreichender Verfeinerung der Pflasterung ist das im Allgemeinen sehr einfach.

Spezialfälle

Mehrere Spezialfälle des allgemeinen Satzes von Stokes sind in der klassischen Vektoranalysis von Bedeutung. Dazu gehört natürlich auch der klassische Satz von Stokes, welcher im ersten Abschnitt schon behandelt wurde. Außerdem sind auch der Hauptsatz der Differential- und Integralrechnung, der Satz von Green und der Gauß'sche Integralsatz Spezialfälle des Stokes'schen Satzes.

Hauptsatz der Differential- und Integralrechnung

Sei $]a,b[ \subset \R$ ein offenes Intervall und sei $f \colon ]a,b[ \to \R$ eine stetig differenzierbare Funktion, so ist f(x)dx eine 1-Form bzw. Pfaff'sche Form so entartet der Stokes'sche Integralsatz zu

$\int_{]a,b[}\mathrm{d}f(x) = \int_{]a,b[}\frac{\mathrm{d}f}{\mathrm{d} x}(x)\, \mathrm{d}x = \left. f(x)\right|_a^b = f(b) - f(a).$

Dies ist Hauptsatz der Differential- und Interalrechnung.

Gauß'scher Integralsatz

Für eine kompakte Teilmenge V des $\mathbb{R}^n$ und ein n-dimensionales Vektorfeld F erhält man als einen weiteren Spezialfall den gaußschen Integralsatz.

$\int_{V} \operatorname{div}F \,\mathrm{d}V = \int_{\partial V} \langle F, \nu\rangle \, \mathrm{d} S$

Dabei ist ν der n-dimensionale Normalen-Einheitsvektor und die Integrale sind jetzt n- bzw. (n-1)-dimensional. Man kann diesen Satz als Aussage über die Divergenz eines Vektorfeldes auffassen.

Bedeutung

Der Satz von Stokes ist von fundamentaler Bedeutung in der Differentialgeometrie. Darüber hinaus finden er und seine Spezialfälle in vielen Bereichen der Physik Anwendung, beispielsweise in der Elektrodynamik.

Weblinks

• Veranschaulichung des klassischen Spezialfalls

Literatur

• Konrad Königsberger: Analysis 2. Springer-Verlag, Berlin/Heidelberg, 2000, ISBN 3-540-43580-8