Gaußscher Integralsatz

Der gaußsche Integralsatz, auch Satz von Gauß-Ostrogradski oder Divergenzsatz, ist ein Ergebnis aus der Vektoranalysis. Er stellt einen Zusammenhang zwischen der Divergenz eines Vektorfeldes und dem durch das Feld vorgegebenen Fluss durch eine geschlossene Oberfläche her.

Der nach Gauß benannte Integralsatz folgt als Spezialfall aus dem Satz von Stokes, der auch den Hauptsatz der Differential- und Integralrechnung verallgemeinert.

Formulierung des Satzes

Im Dreidimensionalen ist ein Gebiet V dargestellt, das von der geschlossenen Fläche S=∂V berandet wird, orientiert durch den äußeren Flächennormalvektor n.

Es sei $V\subset \mathbb {R} ^{n}$ eine kompakte Menge mit abschnittsweise glattem Rand $S=\partial V$, der Rand sei orientiert durch ein äußeres Normaleneinheitsvektorfeld ${\vec {n}}$. Ferner sei das Vektorfeld ${\vec {F}}$ stetig differenzierbar auf einer offenen Menge $U$ mit $V\subseteq U$. Dann gilt

$\int _{V}\operatorname {div} {\vec {F}}\;\mathrm {d} ^{(n)}V=\oint _{S}{\vec {F}}\cdot {\vec {n}}\;\mathrm {d} ^{(n-1)}S$

wobei ${\vec {F}}\cdot {\vec {n}}$ das Standardskalarprodukt der beiden Vektoren bezeichnet.

Beispiel

Ist $V:=\{{\vec {x}}\in \mathbb {R} ^{3}\colon \|{\vec {x}}\|_{2}\leq 1\}$ die abgeschlossene Einheitskugel im $\mathbb {R} ^{3}$, dann gilt $S=\partial V=\{{\vec {x}}\in \mathbb {R} ^{3}\colon \|{\vec {x}}\|_{2}=1\}$ sowie ${\vec {n}}({\vec {x}})={\vec {x}}$.

Für das Vektorfeld ${\vec {F}}\colon \mathbb {R} ^{3}\to \mathbb {R} ^{3}$ mit ${\vec {F}}({\vec {x}})={\vec {x}}$ gilt $\operatorname {div} {\vec {F}}({\vec {x}})=3$.

Es folgt

$\int _{V}\operatorname {div} {\vec {F}}\;\mathrm {d} ^{3}V=\int _{V}3\;\mathrm {d} ^{3}V=3\cdot {\frac {4}{3}}\pi =4\pi$

sowie

$\oint _{S}{\vec {F}}\cdot {\vec {n}}\;\mathrm {d} ^{2}S=\oint _{S}{\vec {x}}\cdot {\vec {x}}\;\mathrm {d} ^{2}S=\oint _{S}1\;\mathrm {d} ^{2}S=4\pi \,.$

Bei der Rechnung wurde verwendet, dass ${\vec {x}}\cdot {\vec {x}}=\|{\vec {x}}\|_{2}^{2}=1$ für alle ${\vec {x}}\in S$ gilt und dass die dreidimensionale Einheitskugel das Volumen ${\tfrac {4}{3}}\pi$ und die Oberfläche $4\pi$ hat.

Folgerungen

Aus dem gaußschen Integralsatz können weitere Identitäten hergeleitet werden. Zur Vereinfachung wird im Folgenden die Notation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm d\vec S:=\vec n\;\mathrm d^{(n-1)}S} und $\mathrm {d} V:=\mathrm {d} ^{(n)}V$ sowie die Nabla-Schreibweise verwendet.

• Wendet man den gaußschen Integralsatz auf das Produkt eines Skalarfeldes $f$ mit einem Vektorfeld ${\vec {G}}$ an, dann erhält man

$\int _{V}\left(\left(\nabla f\right)\cdot {\vec {G}}+f\left(\nabla \cdot {\vec {G}}\right)\right)\mathrm {d} V=\int _{V}\nabla \cdot \left(f{\vec {G}}\right)\mathrm {d} V=\oint _{S}f{\vec {G}}\cdot \mathrm {d} {\vec {S}}\,.$

Betrachtet man den Spezialfall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec{G}=\nabla g} , dann erhält man die erste greensche Identität.

Betrachtet man hingegen den Spezialfall ${\vec {G}}=\mathrm {const.}$, dann erhält man

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int_V\left(\nabla f\right)\mathrm{d}V = \oint_{S} f\,\mathrm d\vec S }

bzw., nach Komponenten aufgeschlüsselt,

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int_V \frac{\partial f}{\partial x_i} \,\mathrm dV = \oint_{S} f n_i \,\mathrm d^{\left(n-1\right)}S\,. }

• Wendet man den gaußschen Integralsatz für $n=3$ auf das Kreuzprodukt zweier Vektorfelder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec{F}} und ${\vec {G}}$ an, dann erhält man

$\int _{V}\left({\vec {G}}\cdot \left(\nabla \times {\vec {F}}\right)-{\vec {F}}\cdot \left(\nabla \times {\vec {G}}\right)\right)\,\mathrm {d} V=\int _{V}\left(\nabla \cdot \left({\vec {F}}\times {\vec {G}}\right)\right)\,\mathrm {d} V=\oint _{S}\left({\vec {F}}\times {\vec {G}}\right)\cdot \mathrm {d} {\vec {S}}\,.$

Betrachtet man den Spezialfall ${\vec {G}}=\mathrm {const.}$, dann erhält man

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int_V \left(\nabla\times\vec{F}\right)\, \mathrm dV = \oint_{S} \mathrm d\vec{S} \times\vec{F}\,. }

• Wendet man den gaußschen Integralsatz auf Vektorfelder im ℝⁿ an, multipliziert die Integrale mit Basisvektoren ê_1,2,...,n der Standardbasis, nutzt die Eigenschaften des dyadischen Produktes „⊗“ aus und addiert die Ergebnisse, erhält man die Verallgemeinerung auf Tensoren:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \oint_S \vec{F}_i\cdot\mathrm{d}\vec{S} =& \int_V \nabla\cdot\vec{F}_i\,\mathrm{d}V = \int_V \operatorname{div}\vec{F}_i\,\mathrm{d}V\,,\quad i=1,2,...,n \\ \rightarrow\sum_{i=1}^n\oint_S \vec{F}_i\cdot\mathrm{d}\vec{S}\;\hat{e}_i =& \oint_S \sum_{i=1}^n (\hat{e}_i\otimes\vec{F}_i)\cdot\mathrm{d}\vec{S} \\ =& \sum_{i=1}^n \int_V \nabla\cdot\vec{F}_i\,\mathrm{d}V\; \hat{e}_i = \int_V \sum_{i=1}^n \nabla\cdot(\vec{F}_i\otimes\hat{e}_i)\,\mathrm{d}V \\ \rightarrow \oint_S \mathbf{T}^\top\cdot\mathrm{d}\vec{S} =& \int_V(\nabla\cdot\mathbf{T})\,\mathrm{d}V \end{align}}

Das Superskript ⊤ steht für die Transposition. Mit dem Divergenzoperator $\operatorname {div} (\mathbf {T} ):=\nabla \cdot (\mathbf {T} ^{\top })$ schreibt sich das:

$\oint _{S}\mathbf {T} \cdot \mathrm {d} {\vec {S}}=\int _{V}\operatorname {div} (\mathbf {T} )\,\mathrm {d} V$

• Wendet man den gaußschen Integralsatz $n=1$ auf die Ableitung einer reellen Funktion $f$ auf dem Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [a,b]} an, dann erhält man den Hauptsatz der Differential- und Integralrechnung. Die Auswertung des Integrals an den Intervallenden im Hauptsatz entspricht dabei der Auswertung des Randintegrals im Divergenzsatz.

$\int _{[a,b]}{\frac {\mathrm {d} f}{\mathrm {d} x}}\,\mathrm {d} x=\oint _{\partial [a,b]}f\cdot \,\mathrm {d} {\vec {S}}=f(b)-f(a)\,.$

Anwendungen

Flüssigkeiten, Gase, Elektrodynamik

Der Satz wird genutzt zur Beschreibung der Erhaltung von Masse, Impuls und Energie in einem beliebigen Volumen: Das Integral der Quellenverteilung (Summe der Divergenz eines Vektorfeldes) über das Volumen im Innern einer Hülle multipliziert mit einer Konstanten ergibt den gesamten Durchfluss (das Hüllenintegral) der gesamten Strömung durch die Hülle dieses Volumens.

Gravitation

Siehe auch: Newtonsches Schalentheorem

Im Gravitationsfeld erhält man: Das Oberflächenintegral ist -4πG mal die Masse innen, solange die Masse darin radialsymmetrisch verteilt ist (konstante Dichte bei gegebener Entfernung vom Mittelpunkt) und unabhängig von irgendwelchen (ebenfalls radialsymmetrisch verteilten) Massen außerhalb. Insbesondere gilt: Die ganze Sphäre außerhalb einer Kugel hat keinen (zusätzlichen) Einfluss, sofern ihre Masse radialsymmetrisch verteilt ist. Allein die Summe der Quellen und Senken im Innengebiet wirken.

Partielle Integration im Mehrdimensionalen

Der gaußsche Integralsatz führt auf eine Formel zur partiellen Integration im Mehrdimensionalen

$\int _{\Omega }\varphi \,\operatorname {div} \,{\vec {v}}\;\mathrm {d} V=\int _{\partial \Omega }\varphi \,{\vec {v}}\cdot \mathrm {d} {\vec {S}}-\int _{\Omega }{\vec {v}}\cdot \operatorname {grad} \,\varphi \;\mathrm {d} V$.

Bedeutung

Der gaußsche Integralsatz findet in vielen Bereichen der Physik Anwendung, vor allem auch in der Elektrodynamik und der Fluiddynamik.

Im letzteren Fall wird die Bedeutung des Satzes besonders anschaulich. Nehmen wir an, das Vektorfeld ${\vec {F}}$ beschreibt fließendes Wasser in einem gewissen Raumbereich. Dann beschreibt die Divergenz von ${\vec {F}}$ gerade die Stärke von allen Quellen und Senken in einzelnen Punkten. Möchte man nun wissen, wie viel Wasser aus einem bestimmten Bereich $V$ insgesamt herausfließt, so ist intuitiv klar, dass man folgende zwei Möglichkeiten hat:

• Man untersucht bzw. misst, wie viel Wasser durch die Oberfläche von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} aus- und eintritt. Dies entspricht dem Durchfluss von senkrechten Komponenten auf der Oberfläche als Oberflächenintegral.
• Man bilanziert (misst) im Innern des dadurch begrenzten Volumens, wie viel Wasser insgesamt innerhalb von $V$ in Senken (Löchern) verschwindet und wie viel aus Quellen (Wasserzuflüssen) hinzukommt. Man addiert also die Effekte von Quellen und Senken. Dies wird alternativ und gleichwertig dann durch das Volumenintegral über die Divergenz realisiert.

Der gaußsche Integralsatz besagt, dass tatsächlich beide Möglichkeiten stets absolut gleichwertig zum Ziel führen. Er hat damit auch den Charakter eines Erhaltungssatzes der Energie.

Geschichte

Der Satz wurde wahrscheinlich zum ersten Mal von Joseph Louis Lagrange im Jahre 1762 formuliert und unabhängig davon später von Carl Friedrich Gauß (1813), George Green (1825) und Michail Ostrogradski (1831) neu entdeckt. Ostrogradski lieferte auch den ersten formalen Beweis.

Literatur

• Otto Forster: Analysis. Band 3: Maß- und Integrationstheorie, Integralsätze im $\mathbb {R}$ⁿ und Anwendungen, 8. verbesserte Auflage. Springer Spektrum, Wiesbaden, 2017, ISBN 978-3-658-16745-5.
• Konrad Königsberger: Analysis 2, Springer, Berlin 2004.