Divergenzfrei

Unter der Divergenz versteht man in der Mathematik ein bestimmtes Funktional eines Vektorfeldes. Interpretiert man dieses Feld als Strömungsfeld, so gibt die Divergenz für jede Stelle die Tendenz an, ob ein Teilchen in der Nähe zu diesem Punkt hin- bzw. von diesem Punkt wegfließt. Es sagt damit aus, ob und wo das Vektorfeld Quellen (Divergenz größer als Null) oder Senken (Divergenz kleiner als Null) hat. Ist die Divergenz überall gleich Null, so bezeichnet man das Feld als quellenfrei.

Beispiel aus der Physik

Man betrachtet zum Beispiel eine ruhige Wasseroberfläche, auf die ein dünner Strahl Öl trifft. Die Bewegung des Öls auf der Oberfläche kann durch ein zweidimensionales (zeitabhängiges) Vektorfeld beschrieben werden, d. h. zu jedem Zeitpunkt ist die Fließgeschwindigkeit (und -richtung) des Ölfilms in jedem Punkt angegeben. Die Stelle, an der der Strahl auf die Wasseroberfläche trifft, ist eine „Ölquelle“, da von dort Öl wegfließt, ohne Zufluss auf der Oberfläche. Die Divergenz in der Nähe dieser Stelle ist positiv. Im Gegensatz dazu bezeichnet man die Stelle, an der das Öl beispielsweise am Rand aus dem Wasserbecken abfließt, als Senke. Die Divergenz in der Nähe dieser Stelle ist negativ.

Verbal lässt sich die Divergenz eines Vektorfeldes v(x,y,z) wie folgt formulieren. Sie ist die Summe über alle Komponenten von der schrittweitebezogenen Vergrößerung der jeweiligen Komponente, wenn man einen infinitesimalen Schritt in positive Komponentenrichtung geht.

Die Divergenz lässt sich formal als Ableitungsoperator interpretieren und gehört zusammen mit den anderen Ableitungsoperatoren Gradient und Rotation der Vektoranalysis an, einem Untergebiet der mehrdimensionalen Analysis.

Formale Definition

Die Divergenz eines Vektorfeldes $\vec F:\R^n\to\R^n$ ist ein skalares Feld. Es wird als $\nabla \cdot \vec F$ oder als $\operatorname{div}\vec F$ geschrieben. Dabei bezeichnet $\nabla$ den formalen Nabla-Operator und $\operatorname{div}$ das Operatorsymbol der Divergenz. Für den Fall eines dreidimensionalen Vektorfeldes $\vec F(x_1, x_2, x_3)$ ist die Divergenz in kartesischen Koordinaten definiert als

$\begin{matrix} \operatorname{div}: & C^{\infty}(\R^3, \R^3) & \rightarrow & C^{\infty}(\R^3) \\ & \vec F = \left(F^1, F^2, F^3\right) & \mapsto & \frac{\partial}{\partial x_1}F^1 + \frac{\partial}{\partial x_2}F^2+ \frac{\partial}{\partial x_3}F^3 \end{matrix}$

Allgemein gilt für ein n-dimensionales Vektorfeld $\vec F = (F^1, \ldots, F^n)$ das jedem Punkt eines n-dimensionalen Raumes einen n-Vektor zuordnet:

$\begin{matrix} \operatorname{div}: & C^{\infty}(\R^n,\R^n) & \rightarrow & C^{\infty}(\R^n) \\ & \vec F=\left(F^1,\ldots,F^n\right) & \mapsto & \sum\limits_{i=1}^n\frac{\partial}{\partial x_i}F^i \end{matrix}$

Die Divergenz lässt sich formal als Skalarprodukt zwischen $\nabla=\left(\frac{\partial}{\partial x_1}, \ldots, \frac{\partial}{\partial x_n}\right)^T$ und $\vec F = (F^1, \ldots, F^n)^T$ interpretieren, d. h. als die Summe der komponentenweisen Produkte.

Die Divergenz als „Quellendichte“

Man kann das Vektorfeld $\vec F:\R^n\to\R^n$ als Strömungsfeld interpretieren, mit einer (skalaren) Quellen- und einer (vektoriellen) Wirbeldichte (n=3) Die Divergenz kann in diesem Sinne als „Quellendichte“ (im Gegensatz zur „Wirbeldichte“, siehe Rotation (Mathematik)) interpretiert werden

Für die Interpretation der Divergenz als „Quellendichte“ ist die folgende koordinatenfreie Definition wichtig (hier für den Fall n=3)

$\operatorname{div}\,\vec{F} = \lim_{|\Delta V|\to 0}\,\left\{\frac{1}{|\Delta V|}\,\iint\limits_{\partial (\Delta V)}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \vec F\;\cdot\vec n\,{d}S\,\right\}\,.$

Dabei ist ΔV ein beliebiges Volumen, z. B. eine Kugel oder ein Parallelepiped; | ΔV | ist sein Inhalt. Es wird über den Rand $\partial (\Delta V)$ dieses Volumenelements integriert; $\vec{n}$ ist die nach außen gerichtete Normale und dS das zugehörige Flächenelement.

Für n > 3 kann diese Aussage leicht verallgemeinert werden, indem man n-dimensionale Volumina und ihre (n-1)-dimensionalen Randflächen betrachtet. Bei Spezialisierung auf infinitesimale Würfel oder Quader erhält man die bekannte Darstellung in kartesischen Koordinaten

$\operatorname{div}\, \vec{F} = \sum\limits_{i=1}^n\,\frac{\partial F_i}{\partial x_i}\,.$

In orthogonalen krummlinigen Koordinaten, z. B. Kugelkoordinaten, elliptischen Koordinaten, usw., (also für $\mathrm{d}\vec{r} = \sum_{i=1}^n a_i(u_1, \dots, u_n) \cdot \mathrm{d}u_i\,\vec e_i(u_1, \dots, u_n)\,$, mit $\vec e_i\cdot \vec e_k = \delta_{i,k}\,$ (=1 für i=k, =0 sonst), wobei $\vec{F} = \sum_{i=1}^n\,F_i(u_1, \dots, u_n)\,\vec e_i$ ist, wobei also nicht die du_i, sondern die $a_i\cdot\mathrm{d}u_i$ die physikalische Dimension einer „Länge“ haben, gilt dagegen etwas allgemeiner

$\operatorname{div}\, \vec{F} = (a_1 \cdot a_2 \cdot \ldots \cdot a_n)^{-1}\,\left\{ \frac{\partial}{\partial u_1}[(a_2 \cdot a_3\cdot \ldots \cdot a_{n-1} \cdot a_n)\,F_1] + \dots \right\},$ wobei die Punkte am Ende weitere Terme beinhalten, die durch fortgesetzte zyklische Permutationen, erzeugt nach dem Schema $1 \to 2, 2 \to 3, \dots, (n-1) \to n, n \to 1$, usw., aus dem angeschriebenen folgen.

Herleitung der kartesischen Darstellung

Zur Herleitung der kartesischen Darstellung der Divergenz aus der koordinatenfreien Darstellung betrachte einen infinitesimalen Würfel $[x_{1},x_{1}+\Delta x_{1}],\ldots,[x_{n},x_{n}+\Delta x_{n}]$.

$\begin{align} \frac{1}{|\Delta V|}\int\limits _{\partial(\Delta V)}\vec{F}\cdot\vec{n}\,\mathrm{d}S & =\frac{1}{\Delta x_{1}\Delta x_{2}\ldots\Delta x_{n}}\left[\int\limits _{x_{2}}^{x_{2}+\Delta x_{2}}\ldots\int\limits _{x_{n}}^{x_{n}+\Delta x_{n}}\left(\vec{F}(x_{1}+\Delta x_{1},x_{2},\ldots,x_{n})-\vec{F}(x_{1},x_{2},\ldots,x_{n})\right)\cdot\hat{e}_{1}\,\mathrm{d}x_{2}\ldots\mathrm{d}x_{n}\right]+\ldots\\ & +\frac{1}{\Delta x_{1}\Delta x_{2}\ldots\Delta x_{n}}\left[\int\limits _{x_{1}}^{x_{1}+\Delta x_{1}}\ldots\int\limits _{x_{n-1}}^{x_{n-1}+\Delta x_{n-1}}\left(\vec{F}(x_{1},\ldots,x_{n-1},x_{n}+\Delta x_{n})-\vec{F}(x_{1},\ldots,x_{n-1},x_{n})\right)\cdot\hat{e}_{n}\,\mathrm{d}x_{1}\ldots\mathrm{d}x_{n-1}\right]\end{align}$

Nun wendet man den Mittelwertsatz der Integralrechnung an, wobei die gestrichenen Größen x'_i aus dem Intervall [x_i,x_i + Δx_i] sind.

$\begin{align} \frac{1}{|\Delta V|}\int\limits _{\partial(\Delta V)}\vec{F}\cdot\vec{n}\,\mathrm{d}S & =\frac{\left(\vec{F}(x_{1}+\Delta x_{1},x'_{2},\ldots,x'_{n})-\vec{F}(x_{1},x'_{2},\ldots,x'_{n})\right)\cdot\hat{e}_{1}}{\Delta x_{1}}\underbrace{\left[\frac{1}{\Delta x_{2}}\int\limits _{x_{2}}^{x_{2}+\Delta x_{2}}\mathrm{d}x_{2}\right.}_{=1}\ldots\underbrace{\left.\frac{1}{\Delta x_{n}}\int\limits _{x_{n}}^{x_{n}+\Delta x_{n}}\mathrm{d}x_{n}\right]}_{=1}+\ldots\\ & +\frac{\left(\vec{F}(x'_{1},\ldots,x'_{n-1},x_{n}+\Delta x_{n})-\vec{F}(x'_{1},\ldots,x'_{n-1},x_{n})\right)\cdot\hat{e}_{n}}{\Delta x_{n}}\left[\frac{1}{\Delta x_{1}}\int\limits _{x_{1}}^{x_{1}+\Delta x_{1}}\mathrm{d}x_{1}\ldots\frac{1}{\Delta x_{n-1}}\int\limits _{x_{n-1}}^{x_{n-1}+\Delta x_{n-1}}\mathrm{d}x_{n-1}\right]\end{align}$

Somit bleibt nur die Summe der Differenzenquotienten übrig

$\frac{1}{|\Delta V|}\int\limits _{\partial(\Delta V)}\vec{F}\cdot\vec{n}\,\mathrm{d}S=\frac{F_{1}(x_{1}+\Delta x_{1},x'_{2},\ldots,x'_{n})-F_{1}(x_{1},x'_{2},\ldots,x'_{n})}{\Delta x_{1}}+\ldots+\frac{F_{n}(x'_{1},\ldots,x'_{n-1},x_{n}+\Delta x_{n})-F_{n}(x'_{1},\ldots,x'_{n-1},x_{n})}{\Delta x_{n}}$,

die im Grenzübergang $\Delta x_{i}\to 0$ zu partiellen Ableitungen werden:

$\operatorname{div}\,\vec{F}(x_{1},x_{2},\ldots,x_{n})=\frac{\partial F_{1}}{\partial x_{1}}(x_{1},x_{2},\ldots,x_{n})+\ldots+\frac{\partial F_{n}}{\partial x_{n}}(x_{1},x_{2},\ldots,x{}_{n})$

Ein „Zerlegungs-Theorem“

Für n=3-dimensionale Vektorfelder $\vec{F}(\vec{r})$, die im ganzen Raum mindestens zweimal stetig differenzierbar sind und im Unendlichen hinreichend rasch gegen Null gehen, gilt, dass sie in einen wirbelfreien Teil $\vec{E}$ und einen quellenfreien Teil $\vec{B}$ zerfallen, $\vec{F} = \vec{E} + \vec{B}$. Für den wirbelfreien Teil gilt, dass er durch seine Quellendichte wie folgt dargestellt werden kann:

$\vec{E}(\vec{r}) = -\nabla \Phi(\vec{r})$, mit

$\Phi (\vec{r}) = \int_{\mathbb R^3}\,\mathrm{d}^{(3)}r'\,\,\frac{\mathrm{div}\,\vec{E}(\vec r')}{4\pi|\vec{r} -\vec r'|}$.

Für den quellenfreien Teil, $\vec{B}(\vec{r})$, gilt analoges, wenn man das skalare Potential Φ durch ein sog. Vektorpotential $\vec{A}$ ersetzt und zugleich die Ausdrücke $-\nabla\,\Phi$ bzw. $\operatorname{div}\,\vec{E}$ (=Quellendichte von $\vec{E}$) durch die Operationen $\nabla \times\,\vec A$ bzw. $\nabla\times\vec B$ (=Wirbeldichte von $\vec{B}$) substituiert.

Rechenregeln

Sei c eine Konstante, u ein skalares Feld und $\vec{F}$, $\vec{G}$ jeweils ein Vektorfeld. Dann gelten folgende Regeln:

Linearität

• $\operatorname{div}\,(c\cdot\vec{F}) = c\cdot\operatorname{div}\,\vec{F}$
• $\operatorname{div}\,(\vec{F}+\vec{G}) = \operatorname{div}\,\vec{F} + \operatorname{div}\,\vec{G}$

Produktregeln

• $\operatorname{div}\,(u\cdot\vec{F}) = \left\langle\operatorname{grad}\,u,\vec{F}\right\rangle +u\cdot\operatorname{div}\,\vec{F}$
• $\operatorname{div}(\vec{F}\times\vec{G}) = \left\langle\vec{G},\operatorname{rot}\,\vec{F}\right\rangle - \left\langle\vec{F},\operatorname{rot}\,\vec{G}\right\rangle$

Die Produktregeln ergeben sich aus den Produktregeln von Differentialformen.

Dabei sind bei der ersten Regel u eine 0-Form und F eine 2-Form, wobei bei der zweiten Regel F und G 1-Formen sind.

Integralsatz

Eine wichtige Rolle spielt die Divergenz beim Gaußschen Integralsatz. Er besagt, dass der Durchfluss durch eine geschlossene Oberfläche gleich dem Integral über die Divergenz des Vektorfeldes im Inneren dieses Volumens ist und erlaubt damit die Umwandlung eines Volumenintegrals in ein Oberflächenintegral:

$\iiint\limits_V \operatorname{div} \vec F\; \mathrm{d}V = \iint\limits_{\partial V}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \vec F\;\cdot\vec n\,{d}S\,,$

wobei $\vec{n}$ der Normalenvektor der Oberfläche $\partial V$ ist. Anschaulich beschreibt er damit für den Fall einer Strömung den Zusammenhang zwischen dem Durchfluss durch diese Fläche und den Strömungsquellen und Senken innerhalb des zugehörigen Volumens.

Zylinder- und Kugelkoordinaten

In Zylinderkoordinaten gilt für die Divergenz eines Vektorfeldes $\vec{F}(\rho,\varphi,z)$:

$\operatorname{div}\,\vec{F} = \frac 1 \rho \frac \partial {\partial \rho} (\rho F_\rho) + \frac 1 \rho \frac{\partial F_\varphi}{\partial \varphi} + \frac{\partial F_z}{\partial z}$

In Kugelkoordinaten gilt für die Divergenz eines Vektorfeldes $\vec{F}(r, \theta,\varphi)$:

$\operatorname{div}\,\vec{F} = \frac 1 {r^2} \frac \partial {\partial r} (r^2 F_r) + \frac 1 {r \sin \theta} \frac{\partial}{\partial \theta} ( F_\theta \sin \theta) + \frac 1{r \sin \theta } \frac {\partial F_\varphi}{\partial \varphi}$

Inverse

Unter gewissen Voraussetzungen existiert eine Rechts- oder Linksinverse der Divergenz. So gibt es für ein lipschitz-stetiges Gebiet $\Omega\subset\R^n$ einen Operator $B:W^{m,p}(\Omega) \rightarrow W^{m,p}(\Omega)$, so dass für jedes $f\in W^{m,p}(\Omega)$ mit $\int_\Omega f \,\mathrm d\lambda=0$

$\operatorname{div}Bf=f$

gilt, wobei W^m,p(Ω) den entsprechenden Sobolew-Raum für $m\in\N$ und $1<p<\infty$ bezeichnet. B heißt Bogowksii-Operator.^[1]

Literatur

• Adolf J. Schwab: Begriffswelt der Feldtheorie, Springer Verlag, ISBN 3-540-42018-5

Quellen

1. ↑ G. P. Galdi, An introduction to the mathematical theory of the Navier-Stokes equations. Vol. I, Springer Tracts in Natural Philosophy, vol. 38, Springer-Verlag, New York, 1994, ISBN 0-387-94172-X

Weblinks

• Wie "krümme" ich Nabla und Delta? - Herleitung des Nablaoperators für orthonormal krummlinige Koordinaten auf www.matheplanet.com