Divergenz eines Vektorfeldes

Divergenz eines Vektorfeldes

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.

Inhaltsverzeichnis

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 dui, 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 [xi,xi + Δxi] 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 Wm,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


Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Rotation eines Vektorfeldes — Die Rotation ist ein Ableitungsoperator, der im dreidimensionalen Raum Vektorfelder ableitet. Handelt es sich um ein Strömungsfeld, so gibt die Rotation für jeden Ort die doppelte Winkelgeschwindigkeit an, mit der ein mitschwimmender Körper… …   Deutsch Wikipedia

  • Divergenz (Mathematik) — Unter der Divergenz versteht man in der Mathematik einen Differentialoperator, der einem Vektorfeld ein Skalarfeld zuordnet. Während bei einem Vektorfeld jedem Punkt ein Vektor zugeordnet wird, wird bei einem Skalarfeld jedem Punkt ein Skalar,… …   Deutsch Wikipedia

  • Divergenz — (zu lateinisch divergere ‚auseinander streben‘) bezieht sich auf: allgemein eine Abweichung (mehrere Bedeutungen) Divergenz (Optik), ein Maß für die Richtungscharakteristik des Strahlenbündels ein Maß für das Aufweiten des Teilchenstrahles… …   Deutsch Wikipedia

  • Divergenz — Ungleichheit; Verschiedenartigkeit; Auseinandergehen; Abweichung; Antagonismus * * * Di|ver|gẹnz 〈[ vɛr ] f. 20〉 Ggs Konvergenz 1. Auseinanderstreben 2. Meinungsverschiedenheit [<frz …   Universal-Lexikon

  • Gradient eines Skalarfeldes — Zwei Skalarfelder dargestellt als Grauschattierung (dunklere Färbung entspricht größerem Funktionswert). Die blauen Pfeile darauf symbolisieren den zugehörigen Gradienten. Der Gradient ist ein mathematischer Operator, genauer ein… …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Quellenfrei — 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… …   Deutsch Wikipedia

  • Vektoranalysis — ist ein Teilgebiet der Mathematik, das sich hauptsächlich mit Vektorfeldern in zwei oder mehr Dimensionen beschäftigt und dadurch die bereits in der Schulmathematik behandelten Gebiete der Differential und der Integralrechnung wesentlich… …   Deutsch Wikipedia

  • Vektoranalyse — Vektoranalysis ist ein Teilgebiet der Mathematik, das sich mit Vektoren in zwei oder mehr Dimensionen beschäftigt. Es besteht aus einem Satz von Formeln und Problemlösungstechniken, die für Ingenieurwesen und Physik sehr nützlich sind. Betrachtet …   Deutsch Wikipedia

  • Rotation (Mathematik) — Die Rotation ist ein Ableitungsoperator, der Vektorfelder im dreidimensionalen Raum ableitet und als Ergebnis wieder ein Vektorfeld liefert. Handelt es sich beispielsweise um ein Strömungsfeld, so gibt die Rotation für jeden Ort die doppelte… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”