Helmholtz-Theorem

Das Helmholtz-Theorem, auch Helmholtz-Zerlegung, Stokes-Helmholtz-Zerlegung oder Fundamentalsatz der Vektoranalysis besagt, dass bestimmte differenzierbare Vektorfelder als Summe eines rotationsfreien (wirbelfreien) Gradientenfelds und eines divergenzfreien (quellenfreien) Rotationsfelds geschrieben werden können.

Geschichte

Die Helmholtz-Zerlegung in drei Dimensionen wurde erstmals 1849 von George Gabriel Stokes für eine Theorie der Beugung beschrieben, Hermann von Helmholtz veröffentlichte 1858 sein Papier über die hydrodynamischen Grundgleichungen, das zu seiner Forschung zu den Helmholtzschen Wirbelsätzen gehört.

Die Zerlegung hat sich zu einem wichtigen Werkzeug für viele Probleme der theoretischen Physik entwickelt, aber auch Anwendungen in der Animation, Computervision sowie Robotik gefunden. Dabei wurde die Helmholtz-Zerlegung auf höher-dimensionale Räume erweitert und als Helmholtz-Hodge-Zerlegung unter Nutzung von Differentialgeometrie und Tensorrechnung auch auf riemannschen Mannigfaltigkeiten angewandt.

Definitionen

Das Helmholtz-Theorem besagt, dass es möglich ist, ein auf einem Gebiet $\Omega \subset \mathbb {R} ^{n}$ definiertes, differenzierbares Vektorfeld ${\vec {f}}({\vec {x}})\in C^{1}(\Omega ,\mathbb {R} ^{n})$ als Superposition eines rotationsfreien (wirbelfreien) Gradientfelds ${\vec {g}}({\vec {x}})=-\operatorname {grad} \Phi ({\vec {x}})$ für ein Skalarpotential $\Phi \in C^{2}(\Omega ,\mathbb {R} ^{n})$ und eines divergenzfreien (quellenfreien) Rotationsfelds ${\vec {r}}({\vec {x}})$ darzustellen, so dass:

${\begin{aligned}{\vec {g}}({\vec {x}})&=-\operatorname {grad} (\Phi ({\vec {x}})),\\\operatorname {div} {\vec {r}}({\vec {x}})&=0,\\{\vec {f}}({\vec {x}})&={\vec {g}}({\vec {x}})+{\vec {r}}({\vec {x}}).\end{aligned}}$

Diese Zerlegung ist allerdings nicht eindeutig.

Eine alternative Definition auf Basis von Räumen lautet: Für ein Gebiet $\Omega \subset \mathbb {R} ^{n}$ wird $L_{\sigma }^{p}(\Omega )={\overline {\{{\vec {u}}\in C(\Omega ):\operatorname {div} \cdot {\vec {u}}=0\}}}^{\|\cdot \|_{p}}$ der Raum der divergenzfreien Funktionen genannt, wobei und $\|\cdot \|_{p}$ die $p$-Norm bezeichnet. Die Zerlegung

$L^{p}(\Omega )=L_{\sigma }^{p}(\Omega )\oplus G_{p}$

mit $G_{p}=\{{\vec {u}}=\operatorname {grad} \Phi :\Phi \in L_{\text{loc}}^{1}(\Omega )\ {\text{und}}\ \operatorname {grad} \Phi \in L^{p}(\Omega )\}$ wird Helmholtz-Zerlegung genannt, insofern die Zerlegung existiert. In diesem Fall gibt es eine Projektion $P$ mit $PL^{p}(\Omega )=L_{\sigma }^{p}(\Omega )$, die sog. Helmholtz-Projektion.

Die Zerlegung existiert auf jeden Fall, falls $\Omega$ der Halbraum, ein beschränktes Gebiet mit $C^{2}$-Rand oder ein Außenraum mit $C^{2}$-Rand ist. Für $p=2$ existiert die Zerlegung für beliebige Gebiete mit $C^{2}$-Rand. Hat $\Omega$ einen $C^{1}$-Rand, gilt $L_{\sigma }^{p}(\Omega )=\{u\in L^{p}(\Omega ):\operatorname {div} {\vec {u}}=0\ {\text{und}}\ {\vec {u}}\cdot {\vec {\nu }}=0\ {\text{auf}}\ \partial \Omega \}$, wobei 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{\nu}} die äußere Normale ist. Für andere Fälle gibt es verschiedene Verfahren, Skalar- und Rotationsfeld zu bestimmen.

Verfahren

Im drei-dimensionalen Raum

Im drei-dimensionalen Raum kann ein divergenzfreies Feld als Rotation eines Vektorpotentials 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{A}(\vec{x})} dargestellt werden:

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{r}(\vec{x}) = \operatorname{rot}(\vec{A}(\vec{x})).}

Daraus folgt:

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 \operatorname{rot}(\vec{g}(\vec{x})) = -\operatorname{rot}(\operatorname{grad}(\Phi(\vec{x})))\equiv 0}

und

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 \operatorname{div}(\vec{r}(\vec{x})) = \operatorname{div}(\operatorname{rot}(\vec{A}(\vec{x})))\equiv 0} .

Es ist also möglich das Vektorfeld 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}(\vec{x})} durch Superposition (Addition) zweier unterschiedlicher Potentiale 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 \Phi(\vec{x})} und 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{A}(\vec{x})} auszudrücken.

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}(\vec{x}) = \vec{g}(\vec{x}) + \vec{r}(\vec{x}) = -\operatorname{grad}(\Phi(\vec{x})) + \operatorname{rot}(\vec{A}(\vec{x}))}

Die beiden einander ergänzenden Potentiale lassen sich durch die folgenden Integrale aus dem Feld 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}(\vec{x})} gewinnen. Es handelt sich hierbei um die Faltung der Divergenz bzw. Rotation des Vektorfelds, wobei als Integralkern die Fundamentallösung der Laplace-Gleichung genutzt wird.

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 \Phi(\vec{x}) = \frac{1}{4\pi}\int_V \frac{\operatorname{div}(\vec{f}(\vec{x}'))}{|\vec{x}-\vec{x}'|}\mathrm{d}^3r'}

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{A}(\vec{x}) = \frac{1}{4\pi}\int_V \frac{\operatorname{rot}(\vec{f}(\vec{x}'))}{|\vec{x}-\vec{x}'|} \mathrm{d}^3r'}

Hierbei ist 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} das die Felder enthaltende Volumen. Bei Feldern, für die 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} unbeschränkt ist, beispielsweise der gesamte drei-dimensionale Raum, so ist die mathematische Voraussetzung für die Verwendung der Faltungsintegrale, dass 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 \operatorname{div}(\vec{f}(\vec{x}))} und 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 \operatorname{rot}(\vec{f}(\vec{x}))} für 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 r \to \infty} schneller als 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 \tfrac{1}{|\vec{x}|}} gegen 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 0} geht, also 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 \lim\nolimits_{|\vec{x}| \to \infty} \vec{f}(\vec{x}) |\vec{x}| = 0} . Ansonsten divergieren die obigen Integrale, lassen sich also nicht mehr berechnen. Daher wird die Helmholtz-Zerlegung in Lehrbüchern häufig überhaupt nur für Testfunktionen definiert, die diese Eigenschaft erfüllen. Otto Blumenthal zeigte allerdings bereits 1905, dass mit einem veränderten Integrationskern eine Integration für alle Felder möglich ist, die schneller als eine Potenzfunktion 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{x}|^{-d}} mit 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 d > 0} abfallen. Hierfür ersetzt man in den Integrationsgleichungen den Kern 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 K(x, x')} durch 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 K'(\vec{x}, \vec{x}') = K(\vec{x}, \vec{x}') - K(0, \vec{x}')} . Mit noch komplexeren Integrationskernen kann sogar für divergierende, allerdings nicht schneller als polynomial ansteigende, Funktionen eine numerische Lösung berechnet werden.

Im n-dimensionalen Raum

Die Verallgemeinerung auf 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 n} Dimensionen kann nicht mit einem Vektorpotential erfolgen, da der Rotationsoperator und das Kreuzprodukt nur in drei Dimensionen definiert sind. Das Skalarpotential ist hingegen identisch definiert wie in drei Dimensionen als

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 G(\vec{x}) = \int_{\mathbb{R}^n} \operatorname{div}(\vec{f}(\vec{x}')) K(\vec{x}, \vec{x}') dx' = \int_{\mathbb{R}^n} \sum_i \frac{\partial f_i}{\partial x_i}(\vec{x}') K(\vec{x}, \vec{x}') dx',}

wobei als Integrationskern 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 K(\vec{x}, \vec{x}')} wieder die Fundamentallösung der Laplace-Gleichung im n-dimensionalen Raum eingesetzt wird:

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 K(\vec{x}, \vec{x}') = \begin{cases} \frac{1}{2\pi} \log{ | \vec{x}-\vec{x}' | } & n=2, \\ \frac{1}{n(2-n)V_n} | \vec{x}-\vec{x}' | ^{2-n} & \text{sonst}, \end{cases} }

mit 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_n = \pi^\frac{n}{2} / \Gamma\big(\tfrac{n}{2}+1\big)} dem Volumen des n-dimensionalen Einheitsballs und 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 \Gamma(\vec{x})} der Gamma-Funktion.

Für 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 n = 3} entspricht 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_n} gerade 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 \frac{4 \pi}{3}} , wodurch sich derselbe Vorfaktor wie oben ergibt. Das Rotationspotential ist eine antisymmetrische Matrix mit den Elementen:

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 R_{ij}(\vec{x}) = \int_{\mathbb{R}^n} \left( \frac{\partial f_i}{\partial x_j}(\vec{x}') - \frac{\partial f_j}{\partial x_i}(\vec{x}') \right) K(\vec{x}, \vec{x}') dx'. }

Oberhalb der Diagonale stehen 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 \textstyle\binom{n}{2}} Einträge, die an der Diagonale gespiegelt erneut auftreten, allerdings mit negativem Vorzeichen. Im drei-dimensionalen Fall entsprechen die Matrixelemente gerade die Komponenten des Vektorpotentials 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 = [A_1, A_2, A_3] = [R_{23}, R_{31}, R_{12}]} . Ein solches Matrix-Potential lässt sich allerdings nur im dreidimensionalen Fall als Vektor schreiben, weil 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 \textstyle\binom{n}{2} = n} nur für 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 n = 3} gilt.

Wie im drei-dimensionalen Fall ist das Gradientenfeld als Gradient des Skalarpotentials 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 G} definiert. Das Rotationsfeld ist hingegen im allgemeinen Fall definiert als:

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{r}(\vec{x}) = \left[ \sum\nolimits_k \partial_{x_k} R_{ik}(\vec{x}); {1 \leq i \leq n} \right],}

also als Zeilen-Divergenz der Matrix. Im drei-dimensionalen Raum ist dies äquivalent zur Rotation des Vektorpotentials.

Genauso wie in drei Dimensionen muss die Divergenz des Vektorfelds sowie der Term 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 \tfrac{\partial f_i}{\partial x_j} - \tfrac{\partial f_j}{\partial x_i}} für 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{x}| \to \infty} schneller als 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 \tfrac{1}{|\vec{x}|^2}} gegen 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 0} gehen, oder bei durch Ersetzen des Integrationskerns 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 K(\vec{x}, \vec{x}')} durch 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 K'(\vec{x}, \vec{x}') = K(\vec{x}, \vec{x}') - K(0, \vec{x}')} schneller als 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{x}|^{-d}} mit d > 0 abfallen.

Für einige Vektorfelder, die auch nicht im Unendlichen gegen Null gehen müssen, lassen sich mit Methoden basierend auf der partiellen Integration und der Cauchy-Formel für mehrfache Integration die Rotations- und Skalarpotentiale analytisch berechnen, wie bei multivariaten Polynomen, Sinus-, Cosinus- und Exponentialfunktionen.

Helmholtz-Hodge-Zerlegung auf riemannschen Mannigfaltigkeiten

Im Rahmen der Hodge-Theorie und der De-Rham-Kohomologie verallgemeinert die Helmholtz-Hodge-Zerlegung das Helmholtz-Theorem von Vektorfeldern zu Differentialformen auf riemannschen Mannigfaltigkeiten.

Eindeutigkeit und Eichung

Grundsätzlich ist die Helmholtz-Zerlegung nicht eindeutig bestimmt. Addiert man zum Skalarpotential 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 G(\vec{x})} eine harmonische Funktion 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 H(\vec{x})} , die also 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 \Delta H(\vec{x}) = 0} erfüllt, so ist

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} \vec{g}'(\vec{x}) &= \operatorname{grad} (G(\vec{x}) + H(\vec{x})) = \vec{g}(\vec{x}) + \operatorname{grad} H(\vec{x}),\\ \vec{r}'(\vec{x}) &= \vec{r}(\vec{x}) - \operatorname{grad} H(\vec{x}) \end{align}}

ebenfalls eine Helmholtz-Zerlegung 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 \vec{f}(\vec{x})} . Für 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}} , die im unendlichen gegen null abfallen, ist eine plausible Wahl, dass Skalar- und Rotations- bzw. Vektorpotential dies auch tun. Da 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 H(\vec{x}) = 0} die einzige harmonische Funktion mit dieser Eigenschaft ist, was sich aus einer Abwandlung des Satzes von Liouville folgern lässt, ist so die Eindeutigkeit des Gradienten- und Rotationsfelds sichergestellt.

Während das ursprüngliche Vektorfeld an jedem Punkt 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 \Omega} durch 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 n} Komponenten zu beschreiben ist, sind im drei-dimensionalen Fall für das skalare und das Vektorpotential zusammen 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 n+1} Komponenten nötig. Dadurch entsteht eine Redundanz, weil die Wahl der Potentiale nicht eindeutig ist, die physikalische Beschreibung invariant gegenüber der Wahl einer Eichung. Die Eichtheorie befasst sich damit, wie verschiedene Potentiale mittels Eichtransformationen berechnet werden können, bekannte Beispiele aus der Physik sind die Coulomb-Eichung und die Lorenz-Eichung. Die Redundanz lässt sich auch beseitigen, indem der quellfreie Anteil des Vektorfeldes der toroidal-poloidalen Zerlegung unterworfen wird, wodurch letztlich insgesamt drei Skalarpotentiale zur Beschreibung ausreichen.

Anwendungen

Elektrodynamik

Das Helmholtz-Theorem ist besonders in der Elektrodynamik von Interesse, da sich mit seiner Hilfe die Maxwell-Gleichungen im Potentialbild schreiben und einfacher lösen lassen. Mit der Helmholtz-Zerlegung lässt sich beweisen, dass bei gegebener elektrischer Stromdichte und Ladungsdichte das elektrische Feld und die magnetische Flussdichte bestimmen lassen. Sie sind eindeutig, wenn die Dichten im unendlichen verschwinden und man dasselbe für die Potentiale annimmt.

Fluiddynamik

In der Fluiddynamik, speziell der Lösbarkeitstheorie der Navier-Stokes-Gleichungen, spielt die Helmholtz-Projektion eine wichtige Rolle. Wird die Helmholtz-Projektion auf die linearisierte inkompressiblen Navier-Stokes-Gleichungen angewandt, erhält man die Stokes-Gleichung. Diese ist nur noch von der Geschwindigkeit der Teilchen in der Strömung abhängig, jedoch nicht mehr vom statischen Druck, wodurch die Gleichung auf eine Unbekannte reduziert werden konnte. Beide Gleichungen, die Stokes- und die linearisierte Gleichung, sind jedoch äquivalent. Der Operator 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 P\Delta} wird Stokes-Operator genannt.

Theorie dynamischer Systeme

In der Theorie dynamischer Systeme können mittels der Helmholtz-Zerlegung „Quasipotentiale“ bestimmt werden sowie in manchen Fällen Lyapunov-Funktionen berechnet werden.

Für einige dynamische Systeme wie das auf Edward N. Lorenz (1963) zurückgehende Lorenz-System, ein vereinfachtes Modell für atmosphärische Konvektion, lässt sich die Helmholtz-Zerlegung analytisch berechnen:

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 \dot \vec{x} = \vec{f}(\vec{x}) = \big[a (x_2-x_1), x_1 (b-x_3)-x_2, x_1 x_2-c x_3 \big].}

Die Helmholtz-Zerlegung 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 \vec{f}(\vec{x})} ist, mit dem Skalarpotential 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 \Phi(\vec{x}) = - \tfrac{a}{2} x_1^2 - \tfrac{1}{2} x_2^2 - \tfrac{c}{2} x_3^2} gegeben als:

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} \vec{g}(\vec{x}) &= \big[-a x_1, -x_2, -c x_3 \big], \\ \vec{r}(\vec{x}) &= \big[+ a x_2, b x_1 - x_1 x_3, x_1 x_2 \big]. \end{align}}

Das quadratische Skalarpotential sorgt für eine Bewegung in Richtung des Koordinatenursprungs, was für den stabilen Fixpunkt für einige Parameterbereich verantwortlich ist. Für andere Parameter sorgt das Rotationsfeld dafür, dass ein seltsamer Attraktor entsteht, wodurch das Modell einen Schmetterlingseffekt zeigt.

Computeranimation und Robotik

Die Helmholtz-Zerlegung wird auch im Bereich der Computertechnik verwendet. Dazu gehört die Robotik, die Bildrekonstruktion aber auch die Computeranimation, wo die Zerlegung für eine realistische Visualisierung von Fluiden oder Vektorfeldern eingesetzt wird.