<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="de">
	<id>https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Helmholtz-Theorem</id>
	<title>Helmholtz-Theorem - Versionsgeschichte</title>
	<link rel="self" type="application/atom+xml" href="https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Helmholtz-Theorem"/>
	<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Helmholtz-Theorem&amp;action=history"/>
	<updated>2026-05-31T08:04:22Z</updated>
	<subtitle>Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie</subtitle>
	<generator>MediaWiki 1.43.8</generator>
	<entry>
		<id>https://wiki-de.moshellshocker.dns64.de/index.php?title=Helmholtz-Theorem&amp;diff=521573&amp;oldid=prev</id>
		<title>imported&gt;T. Wirbitzki: lk digizeitschriften.de (abgeschaltet), https</title>
		<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Helmholtz-Theorem&amp;diff=521573&amp;oldid=prev"/>
		<updated>2026-02-12T21:43:49Z</updated>

		<summary type="html">&lt;p&gt;lk digizeitschriften.de (abgeschaltet), https&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Neue Seite&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Das &amp;#039;&amp;#039;&amp;#039;Helmholtz-Theorem&amp;#039;&amp;#039;&amp;#039;, auch &amp;#039;&amp;#039;&amp;#039;Helmholtz-Zerlegung&amp;#039;&amp;#039;&amp;#039;, &amp;#039;&amp;#039;&amp;#039;Stokes-Helmholtz-Zerlegung&amp;#039;&amp;#039;&amp;#039;&amp;lt;ref name=&amp;quot;kundu2012&amp;quot;&amp;gt;{{Literatur|Titel=Ultrasonic and Electromagnetic NDE for Structure and Material Characterization|Autor=Tribikram Kundu|Verlag=CRC Press|Jahr=2012|Online={{Google Buch|BuchID=yhP2FJgn25wC}}|Seiten=37|ISBN=1439836639}}&amp;lt;/ref&amp;gt; oder &amp;#039;&amp;#039;&amp;#039;Fundamentalsatz der Vektoranalysis&amp;#039;&amp;#039;&amp;#039; besagt, dass bestimmte differenzierbare [[Vektorfeld]]er als Summe eines rotationsfreien (wirbelfreien) [[Gradientenfeld]]s und eines [[Divergenz eines Vektorfeldes|divergenzfreien]] (quellenfreien) Rotationsfelds geschrieben werden können.&lt;br /&gt;
&lt;br /&gt;
== Geschichte ==&lt;br /&gt;
&lt;br /&gt;
Die Helmholtz-Zerlegung in drei Dimensionen wurde erstmals 1849&amp;lt;ref name=&amp;quot;stokes1849&amp;quot; /&amp;gt; von [[George Gabriel Stokes]] für eine Theorie der [[Beugung (Physik)|Beugung]] beschrieben, [[Hermann von Helmholtz]] veröffentlichte 1858&amp;lt;ref name=&amp;quot;helmholtz1858&amp;quot; /&amp;gt; sein Papier über die [[Hydrodynamik|hydrodynamischen]] Grundgleichungen,&amp;lt;ref name=&amp;quot;kustepeli2016&amp;quot; /&amp;gt; das zu seiner Forschung zu den [[Helmholtzsche Wirbelsätze|Helmholtzschen Wirbelsätzen]] gehört.&lt;br /&gt;
&lt;br /&gt;
Die Zerlegung hat sich zu einem wichtigen Werkzeug für viele Probleme der [[theoretische Physik|theoretischen Physik]] entwickelt,&amp;lt;ref name=&amp;quot;kustepeli2016&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;sprossig2009&amp;quot; /&amp;gt; aber auch Anwendungen in der [[Animation]], [[Computervision]] sowie [[Robotik]] gefunden.&amp;lt;ref name=&amp;quot;bhatia2013&amp;quot; /&amp;gt; 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 [[riemannsche Mannigfaltigkeit|riemannschen Mannigfaltigkeiten]] angewandt.&amp;lt;ref name=&amp;quot;kustepeli2016&amp;quot;/&amp;gt;&amp;lt;ref name=&amp;quot;sprossig2009&amp;quot;/&amp;gt;&amp;lt;ref name=&amp;quot;bhatia2013&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;glotzl2023&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Definitionen ==&lt;br /&gt;
&lt;br /&gt;
Das Helmholtz-Theorem besagt, dass es möglich ist, ein auf einem [[Gebiet (Mathematik)|Gebiet]] &amp;lt;math&amp;gt;\Omega\subset\R^n&amp;lt;/math&amp;gt; definiertes, differenzierbares Vektorfeld &amp;lt;math&amp;gt;\vec{f}(\vec{x}) \in C^1(\Omega, \mathbb{R}^n)&amp;lt;/math&amp;gt; als [[Superposition (Physik)|Superposition]] eines [[Rotation eines Vektorfeldes|rotation]]sfreien ([[wirbelfrei]]en) Gradientfelds &amp;lt;math&amp;gt;\vec{g}(\vec{x}) = - \operatorname{grad} \Phi(\vec{x})&amp;lt;/math&amp;gt; für ein Skalarpotential &amp;lt;math&amp;gt;\Phi \in C^2(\Omega, \mathbb{R}^n)&amp;lt;/math&amp;gt; und eines [[Divergenz eines Vektorfeldes|divergenzfreien]] ([[quellenfrei]]en) Rotationsfelds &amp;lt;math&amp;gt;\vec{r}(\vec{x})&amp;lt;/math&amp;gt; darzustellen, so dass:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\begin{align}&lt;br /&gt;
\vec{g}(\vec{x}) &amp;amp;= -\operatorname{grad}(\Phi(\vec{x})), \\&lt;br /&gt;
\operatorname{div} \vec{r}(\vec{x}) &amp;amp;= 0, \\&lt;br /&gt;
\vec{f}(\vec{x}) &amp;amp;= \vec{g}(\vec{x}) + \vec{r}(\vec{x}).&lt;br /&gt;
\end{align}&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Diese Zerlegung ist allerdings nicht [[Eindeutigkeit|eindeutig]].&lt;br /&gt;
&lt;br /&gt;
Eine alternative Definition auf Basis von [[Raum (Mathematik)|Räumen]] lautet: Für ein Gebiet &amp;lt;math&amp;gt;\Omega\subset\R^n&amp;lt;/math&amp;gt; wird &amp;lt;math&amp;gt;L^p_\sigma(\Omega)=\overline{\{\vec{u}\in C(\Omega): \operatorname{div} \cdot \vec{u}=0\}}^{\|\cdot\|_p}&amp;lt;/math&amp;gt; der Raum der divergenzfreien Funktionen genannt, wobei und &amp;lt;math&amp;gt;\|\cdot\|_p&amp;lt;/math&amp;gt; die [[Lebesgue-Integral|&amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt;-Norm]] bezeichnet.&lt;br /&gt;
Die Zerlegung&lt;br /&gt;
: &amp;lt;math&amp;gt;L^p(\Omega)=L^p_\sigma(\Omega) \oplus G_p&amp;lt;/math&amp;gt;&lt;br /&gt;
mit &amp;lt;math&amp;gt;G_p=\{\vec{u}=\operatorname{grad}\Phi: \Phi\in L^1_\text{loc}(\Omega) \ \text{und}\  \operatorname{grad}\Phi \in L^p(\Omega)\}&amp;lt;/math&amp;gt; wird Helmholtz-Zerlegung genannt, insofern die Zerlegung existiert. In diesem Fall gibt es eine [[Projektion (lineare Algebra)|Projektion]] &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt; mit &amp;lt;math&amp;gt;PL^p(\Omega)=L^p_\sigma(\Omega)&amp;lt;/math&amp;gt;, die sog. Helmholtz-Projektion.&lt;br /&gt;
&lt;br /&gt;
Die Zerlegung existiert auf jeden Fall, falls &amp;lt;math&amp;gt;\Omega&amp;lt;/math&amp;gt; der [[Halbraum]], ein beschränktes Gebiet mit &amp;lt;math&amp;gt;C^2&amp;lt;/math&amp;gt;-Rand oder ein Außenraum mit &amp;lt;math&amp;gt;C^2&amp;lt;/math&amp;gt;-Rand ist. Für &amp;lt;math&amp;gt;p=2&amp;lt;/math&amp;gt; existiert die Zerlegung für beliebige Gebiete mit &amp;lt;math&amp;gt;C^2&amp;lt;/math&amp;gt;-Rand.&amp;lt;ref name=&amp;quot;galdi1994&amp;quot;&amp;gt;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.&amp;lt;/ref&amp;gt; Hat &amp;lt;math&amp;gt;\Omega&amp;lt;/math&amp;gt; einen &amp;lt;math&amp;gt;C^1&amp;lt;/math&amp;gt;-Rand, gilt &amp;lt;math&amp;gt;L^p_\sigma(\Omega)=\{u\in L^p(\Omega): \operatorname{div} \vec{u}=0 \ \text{und}\  \vec{u} \cdot \vec{\nu}=0 \ \text{auf}\  \partial\Omega\}&amp;lt;/math&amp;gt;, wobei &amp;lt;math&amp;gt;\vec{\nu}&amp;lt;/math&amp;gt; die äußere [[Normalenvektor|Normale]] ist. Für andere Fälle gibt es verschiedene Verfahren, Skalar- und Rotationsfeld zu bestimmen.&lt;br /&gt;
&lt;br /&gt;
== Verfahren ==&lt;br /&gt;
&lt;br /&gt;
=== Im drei-dimensionalen Raum ===&lt;br /&gt;
&lt;br /&gt;
Im drei-dimensionalen Raum kann ein divergenzfreies Feld als [[Rotation eines Vektorfeldes|Rotation]] eines [[Vektorpotential]]s &amp;lt;math&amp;gt;\vec{A}(\vec{x})&amp;lt;/math&amp;gt; dargestellt werden: &lt;br /&gt;
: &amp;lt;math&amp;gt; \vec{r}(\vec{x}) = \operatorname{rot}(\vec{A}(\vec{x})).&amp;lt;/math&amp;gt;&lt;br /&gt;
Daraus folgt:&lt;br /&gt;
: &amp;lt;math&amp;gt;\operatorname{rot}(\vec{g}(\vec{x})) = -\operatorname{rot}(\operatorname{grad}(\Phi(\vec{x})))\equiv 0&amp;lt;/math&amp;gt;&lt;br /&gt;
und&lt;br /&gt;
: &amp;lt;math&amp;gt; \operatorname{div}(\vec{r}(\vec{x})) =  \operatorname{div}(\operatorname{rot}(\vec{A}(\vec{x})))\equiv 0&amp;lt;/math&amp;gt;.&lt;br /&gt;
Es ist also möglich das Vektorfeld &amp;lt;math&amp;gt;\vec{f}(\vec{x})&amp;lt;/math&amp;gt; durch Superposition (Addition) zweier unterschiedlicher Potentiale &amp;lt;math&amp;gt;\Phi(\vec{x})&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;\vec{A}(\vec{x})&amp;lt;/math&amp;gt; auszudrücken.&lt;br /&gt;
: &amp;lt;math&amp;gt;\vec{f}(\vec{x}) = \vec{g}(\vec{x}) + \vec{r}(\vec{x}) = -\operatorname{grad}(\Phi(\vec{x})) + \operatorname{rot}(\vec{A}(\vec{x}))&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Die beiden einander ergänzenden Potentiale lassen sich durch die folgenden Integrale aus dem Feld &amp;lt;math&amp;gt;\vec{f}(\vec{x})&amp;lt;/math&amp;gt; gewinnen. &lt;br /&gt;
Es handelt sich hierbei um die [[Faltung (Mathematik)|Faltung]] der Divergenz bzw. Rotation des Vektorfelds, wobei als [[Integralkern]] die [[Fundamentallösung]] der [[Laplace-Gleichung]] genutzt wird.&amp;lt;ref name=&amp;quot;gurtin1962&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;petrascheck2015&amp;quot; /&amp;gt;&lt;br /&gt;
: &amp;lt;math&amp;gt;\Phi(\vec{x}) = \frac{1}{4\pi}\int_V   \frac{\operatorname{div}(\vec{f}(\vec{x}&amp;#039;))}{|\vec{x}-\vec{x}&amp;#039;|}\mathrm{d}^3x&amp;#039;&amp;lt;/math&amp;gt;&lt;br /&gt;
: &amp;lt;math&amp;gt;\vec{A}(\vec{x}) =  \frac{1}{4\pi}\int_V \frac{\operatorname{rot}(\vec{f}(\vec{x}&amp;#039;))}{|\vec{x}-\vec{x}&amp;#039;|} \mathrm{d}^3x&amp;#039;&amp;lt;/math&amp;gt;&lt;br /&gt;
Hierbei ist &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; das die Felder enthaltende Volumen.&lt;br /&gt;
Bei Feldern, für die &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; unbeschränkt ist, beispielsweise der gesamte drei-dimensionale Raum, so ist die mathematische Voraussetzung für die Verwendung der Faltungsintegrale, dass &amp;lt;math&amp;gt;\operatorname{div}(\vec{f}(\vec{x}))&amp;lt;/math&amp;gt; und &amp;lt;math&amp;gt;\operatorname{rot}(\vec{f}(\vec{x}))&amp;lt;/math&amp;gt; für &amp;lt;math&amp;gt;r \to \infty&amp;lt;/math&amp;gt; schneller als &amp;lt;math&amp;gt;\tfrac{1}{|\vec{x}|}&amp;lt;/math&amp;gt; gegen &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; geht, also &amp;lt;math&amp;gt;\lim\nolimits_{|\vec{x}| \to \infty} \vec{f}(\vec{x}) |\vec{x}| = 0&amp;lt;/math&amp;gt;.&amp;lt;ref name=&amp;quot;gregory1996&amp;quot; /&amp;gt;&lt;br /&gt;
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 [[Testfunktion]]en definiert, die diese Eigenschaft erfüllen.&amp;lt;ref name=&amp;quot;petrascheck2015&amp;quot; /&amp;gt; [[Otto Blumenthal (Mathematiker)|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 &amp;lt;math&amp;gt;|\vec{x}|^{-d}&amp;lt;/math&amp;gt; mit &amp;lt;math&amp;gt;d &amp;gt; 0&amp;lt;/math&amp;gt; abfallen.&lt;br /&gt;
Hierfür ersetzt man in den Integrationsgleichungen den Kern &amp;lt;math&amp;gt;K(x, x&amp;#039;)&amp;lt;/math&amp;gt; durch &amp;lt;math&amp;gt;K&amp;#039;(\vec{x}, \vec{x}&amp;#039;) = K(\vec{x}, \vec{x}&amp;#039;) - K(0, \vec{x}&amp;#039;)&amp;lt;/math&amp;gt;.&amp;lt;ref name=&amp;quot;blumenthal1905&amp;quot; /&amp;gt; Mit noch komplexeren Integrationskernen kann sogar für divergierende, allerdings nicht schneller als polynomial ansteigende, Funktionen eine numerische Lösung berechnet werden.&amp;lt;ref name=&amp;quot;glotzl2020&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;trancong1993&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Im n-dimensionalen Raum ===&lt;br /&gt;
&lt;br /&gt;
Die Verallgemeinerung auf &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; Dimensionen kann nicht mit einem Vektorpotential erfolgen, da der Rotationsoperator und das [[Kreuzprodukt]] nur in drei Dimensionen definiert sind.&lt;br /&gt;
Das [[Skalarpotential]] ist hingegen identisch definiert wie in drei Dimensionen als&lt;br /&gt;
: &amp;lt;math&amp;gt;G(\vec{x}) = \int_{\mathbb{R}^n} \operatorname{div}(\vec{f}(\vec{x}&amp;#039;)) K(\vec{x}, \vec{x}&amp;#039;) dx&amp;#039; = \int_{\mathbb{R}^n} \sum_i \frac{\partial f_i}{\partial x_i}(\vec{x}&amp;#039;) K(\vec{x}, \vec{x}&amp;#039;) dx&amp;#039;,&amp;lt;/math&amp;gt;&lt;br /&gt;
wobei als Integrationskern &amp;lt;math&amp;gt;K(\vec{x}, \vec{x}&amp;#039;)&amp;lt;/math&amp;gt; wieder die Fundamentallösung der Laplace-Gleichung im n-dimensionalen Raum eingesetzt wird:&lt;br /&gt;
: &amp;lt;math&amp;gt;K(\vec{x}, \vec{x}&amp;#039;) = \begin{cases}  \frac{1}{2\pi} \log{ | \vec{x}-\vec{x}&amp;#039; | } &amp;amp;  n=2,  \\    \frac{1}{n(2-n)V_n} | \vec{x}-\vec{x}&amp;#039; | ^{2-n} &amp;amp;  \text{sonst},    \end{cases}  &amp;lt;/math&amp;gt;&lt;br /&gt;
mit &amp;lt;math&amp;gt;V_n = \pi^\frac{n}{2} / \Gamma\big(\tfrac{n}{2}+1\big)&amp;lt;/math&amp;gt; dem Volumen des n-dimensionalen [[Einheitsball]]s und &amp;lt;math&amp;gt;\Gamma(\vec{x})&amp;lt;/math&amp;gt; der [[Gamma-Funktion]].&lt;br /&gt;
&lt;br /&gt;
Für &amp;lt;math&amp;gt;n = 3&amp;lt;/math&amp;gt; entspricht &amp;lt;math&amp;gt;V_n&amp;lt;/math&amp;gt; gerade &amp;lt;math&amp;gt;\frac{4 \pi}{3}&amp;lt;/math&amp;gt;, wodurch sich derselbe Vorfaktor wie oben ergibt.&lt;br /&gt;
Das Rotationspotential ist eine [[antisymmetrische Matrix]] mit den Elementen:&lt;br /&gt;
: &amp;lt;math&amp;gt; R_{ij}(\vec{x}) = \int_{\mathbb{R}^n} \left( \frac{\partial f_i}{\partial x_j}(\vec{x}&amp;#039;) - \frac{\partial f_j}{\partial x_i}(\vec{x}&amp;#039;) \right) K(\vec{x}, \vec{x}&amp;#039;) dx&amp;#039;. &amp;lt;/math&amp;gt;&lt;br /&gt;
Oberhalb der Diagonale stehen &amp;lt;math&amp;gt;\textstyle\binom{n}{2}&amp;lt;/math&amp;gt; Einträge, die an der Diagonale gespiegelt erneut auftreten, allerdings mit negativem Vorzeichen.&lt;br /&gt;
Im drei-dimensionalen Fall entsprechen die Matrixelemente gerade die Komponenten des Vektorpotentials &amp;lt;math&amp;gt;A = [A_1, A_2, A_3] = [R_{23}, R_{31}, R_{12}]&amp;lt;/math&amp;gt;.&lt;br /&gt;
Ein solches Matrix-Potential lässt sich allerdings nur im dreidimensionalen Fall als Vektor schreiben, weil &amp;lt;math&amp;gt;\textstyle\binom{n}{2} = n&amp;lt;/math&amp;gt; nur für &amp;lt;math&amp;gt;n = 3&amp;lt;/math&amp;gt; gilt.&lt;br /&gt;
&lt;br /&gt;
Wie im drei-dimensionalen Fall ist das Gradientenfeld als Gradient des Skalarpotentials &amp;lt;math&amp;gt;G&amp;lt;/math&amp;gt; definiert.&lt;br /&gt;
Das Rotationsfeld ist hingegen im allgemeinen Fall definiert als:&lt;br /&gt;
: &amp;lt;math&amp;gt;\vec{r}(\vec{x}) = \left[ \sum\nolimits_k \partial_{x_k} R_{ik}(\vec{x}); {1 \leq i \leq n} \right],&amp;lt;/math&amp;gt;&lt;br /&gt;
also als Zeilen-Divergenz der Matrix.&lt;br /&gt;
Im drei-dimensionalen Raum ist dies äquivalent zur Rotation des Vektorpotentials.&amp;lt;ref name=&amp;quot;glotzl2023&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;glotzl2020&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Genauso wie in drei Dimensionen muss die Divergenz des Vektorfelds sowie der Term &amp;lt;math&amp;gt;\tfrac{\partial f_i}{\partial x_j} - \tfrac{\partial f_j}{\partial x_i}&amp;lt;/math&amp;gt; für &amp;lt;math&amp;gt;|\vec{x}| \to \infty&amp;lt;/math&amp;gt; schneller als &amp;lt;math&amp;gt;\tfrac{1}{|\vec{x}|^2}&amp;lt;/math&amp;gt; gegen &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; gehen, oder bei durch Ersetzen des Integrationskerns &amp;lt;math&amp;gt;K(\vec{x}, \vec{x}&amp;#039;)&amp;lt;/math&amp;gt; durch &amp;lt;math&amp;gt;K&amp;#039;(\vec{x}, \vec{x}&amp;#039;) = K(\vec{x}, \vec{x}&amp;#039;) - K(0, \vec{x}&amp;#039;)&amp;lt;/math&amp;gt; schneller als &amp;lt;math&amp;gt;|\vec{x}|^{-d}&amp;lt;/math&amp;gt; mit d &amp;gt; 0 abfallen.&amp;lt;ref name=&amp;quot;trancong1993&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Für alle [[Analytische Funktion|analytischen]] Vektorfelder, die auch nicht im Unendlichen gegen Null gehen müssen, lassen sich mit Methoden basierend auf der [[partielle Integration|partiellen Integration]] und der [[Cauchy-Formel für mehrfache Integration]]&amp;lt;ref name=&amp;quot;cauchy1823&amp;quot; /&amp;gt; die Rotations- und Skalarpotentiale analytisch berechnen. Für [[multivariates Polynom|multivariate Polynome]], [[Sinus]]-, [[Cosinus]]- und [[Exponentialfunktion]]en gibt es explizite Lösungen.&amp;lt;ref name=&amp;quot;glotzl2023&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Helmholtz-Hodge-Zerlegung auf riemannschen Mannigfaltigkeiten ===&lt;br /&gt;
&lt;br /&gt;
Im Rahmen der [[Hodge-Theorie]] und der [[De-Rham-Kohomologie]] verallgemeinert die Helmholtz-Hodge-Zerlegung das Helmholtz-Theorem von [[Vektorfeld]]ern zu [[Differentialform]]en auf [[Riemannsche Mannigfaltigkeit|riemannschen Mannigfaltigkeiten]].&amp;lt;ref name=&amp;quot;bhatia2013&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;bhatia2014&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;warner1983&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Eindeutigkeit und Eichung ==&lt;br /&gt;
&lt;br /&gt;
Grundsätzlich ist die Helmholtz-Zerlegung nicht eindeutig bestimmt.&lt;br /&gt;
Addiert man zum Skalarpotential &amp;lt;math&amp;gt;G(\vec{x})&amp;lt;/math&amp;gt; eine [[harmonische Funktion]] &amp;lt;math&amp;gt;H(\vec{x})&amp;lt;/math&amp;gt;, die also &amp;lt;math&amp;gt;\Delta H(\vec{x}) = 0&amp;lt;/math&amp;gt; erfüllt, so ist&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\begin{align}&lt;br /&gt;
\vec{g}&amp;#039;(\vec{x}) &amp;amp;= \operatorname{grad} (G(\vec{x}) + H(\vec{x})) = \vec{g}(\vec{x}) + \operatorname{grad} H(\vec{x}),\\&lt;br /&gt;
\vec{r}&amp;#039;(\vec{x}) &amp;amp;= \vec{r}(\vec{x}) - \operatorname{grad} H(\vec{x})&lt;br /&gt;
\end{align}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
ebenfalls eine Helmholtz-Zerlegung von &amp;lt;math&amp;gt;\vec{f}(\vec{x})&amp;lt;/math&amp;gt;.&lt;br /&gt;
Für Vektorfelder &amp;lt;math&amp;gt;\vec{f}&amp;lt;/math&amp;gt;, die im unendlichen gegen null abfallen, ist eine plausible Wahl, dass Skalar- und Rotations- bzw. Vektorpotential dies auch tun.&lt;br /&gt;
Da &amp;lt;math&amp;gt;H(\vec{x}) = 0&amp;lt;/math&amp;gt; die einzige harmonische Funktion mit dieser Eigenschaft ist, was sich aus einer Abwandlung des [[Satz von Liouville (Funktionentheorie)|Satzes von Liouville]] folgern lässt, ist so die Eindeutigkeit des Gradienten- und Rotationsfelds sichergestellt.&amp;lt;ref name=&amp;quot;axler1992&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Während das ursprüngliche Vektorfeld an jedem Punkt von &amp;lt;math&amp;gt;\Omega&amp;lt;/math&amp;gt; durch &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; Komponenten zu beschreiben ist, sind im drei-dimensionalen Fall für das skalare und das Vektorpotential zusammen &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; Komponenten nötig. Dadurch entsteht eine Redundanz, weil die Wahl der Potentiale nicht eindeutig ist, die physikalische Beschreibung [[Eichinvarianz|invariant gegenüber der Wahl einer Eichung]]. Die [[Eichtheorie]] befasst sich damit, wie verschiedene Potentiale mittels [[Eichtransformation]]en 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 [[Toroidale-Poloidale Zerlegung|toroidal-poloidalen Zerlegung]] unterworfen wird, wodurch letztlich insgesamt drei Skalarpotentiale zur Beschreibung ausreichen.&lt;br /&gt;
&lt;br /&gt;
== Anwendungen ==&lt;br /&gt;
=== Elektrodynamik ===&lt;br /&gt;
&lt;br /&gt;
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 sich bei gegebener [[Elektrische Stromdichte|elektrischer Stromdichte]] und [[Ladungsdichte]] das [[Elektrisches Feld|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.&amp;lt;ref name=&amp;quot;petrascheck2015&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Fluiddynamik ===&lt;br /&gt;
&lt;br /&gt;
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 &amp;lt;math&amp;gt;P\Delta&amp;lt;/math&amp;gt; wird [[Stokes-Operator]] genannt.&amp;lt;ref name=&amp;quot;chorin1990&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Theorie dynamischer Systeme ===&lt;br /&gt;
&lt;br /&gt;
In der Theorie [[Dynamisches System|dynamischer Systeme]] können mittels der Helmholtz-Zerlegung „Quasipotentiale“ bestimmt werden sowie in manchen Fällen [[Lyapunov-Funktion]]en berechnet werden.&amp;lt;ref name=&amp;quot;suda2019&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;suda2020&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;zhou2012&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Für einige dynamische Systeme wie das auf [[Edward N. Lorenz]] (1963&amp;lt;ref name=&amp;quot;lorenz1963&amp;quot; /&amp;gt;) zurückgehende [[Lorenz-System]], ein vereinfachtes Modell für [[Atmosphäre (Astronomie)|atmosphärische]] [[Konvektion]], lässt sich die Helmholtz-Zerlegung analytisch berechnen:&lt;br /&gt;
: &amp;lt;math&amp;gt;\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].&amp;lt;/math&amp;gt;&lt;br /&gt;
Die Helmholtz-Zerlegung von &amp;lt;math&amp;gt;\vec{f}(\vec{x})&amp;lt;/math&amp;gt; ist, mit dem Skalarpotential &amp;lt;math&amp;gt;\Phi(\vec{x}) = - \tfrac{a}{2} x_1^2 - \tfrac{1}{2} x_2^2 - \tfrac{c}{2} x_3^2&amp;lt;/math&amp;gt; gegeben als:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\begin{align}&lt;br /&gt;
\vec{g}(\vec{x}) &amp;amp;= \big[-a x_1, -x_2, -c x_3 \big], \\&lt;br /&gt;
\vec{r}(\vec{x}) &amp;amp;= \big[+ a x_2, b x_1 - x_1 x_3, x_1 x_2 \big].&lt;br /&gt;
\end{align}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Das quadratische Skalarpotential sorgt für eine Bewegung in Richtung des Koordinatenursprungs, was für den stabilen [[Fixpunkt (Mathematik)|Fixpunkt]] für einige Parameterbereiche verantwortlich ist. Für andere Parameter sorgt das Rotationsfeld dafür, dass ein [[seltsamer Attraktor]] entsteht, wodurch das Modell einen [[Schmetterlingseffekt]] zeigt.&amp;lt;ref name=&amp;quot;glotzl2023&amp;quot; /&amp;gt;&amp;lt;ref name=&amp;quot;peitgen1992&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Computeranimation und Robotik ===&lt;br /&gt;
&lt;br /&gt;
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.&amp;lt;ref name=&amp;quot;bhatia2013&amp;quot; /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Einzelnachweise ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;references&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;axler1992&amp;quot;&amp;gt;Sheldon Axler, Paul Bourdon, Wade Ramey: &amp;#039;&amp;#039;Bounded Harmonic Functions&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;Harmonic Function Theory&amp;#039;&amp;#039; (= Graduate Texts in Mathematics 137). Springer, New York 1992, S. 31–44, {{DOI|10.1007/0-387-21527-1_2}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;bhatia2013&amp;quot;&amp;gt;Harsh Bhatia, Gregory Norgard, Valerio Pascucci, Peer-Timo Bremer: &amp;#039;&amp;#039;The Helmholtz-Hodge Decomposition – A Survey&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Institute of Electrical and Electronics Engineers|IEEE]] Transactions on Visualization and Computer Graphics&amp;#039;&amp;#039; 19.8, 2013, S. 1386–1404, {{DOI|10.1109/tvcg.2012.316}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;bhatia2014&amp;quot;&amp;gt;Hersh Bhatia, Valerio Pascucci, Peer-Timo Bremer: &amp;#039;&amp;#039;The Natural Helmholtz-Hodge Decomposition for Open-Boundary Flow Analysis&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Institute of Electrical and Electronics Engineers|IEEE]] Transactions on Visualization and Computer Graphics&amp;#039;&amp;#039; 20.11, Nov. 2014, S. 1566–1578, Nov. 2014, {{DOI|10.1109/TVCG.2014.2312012}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;blumenthal1905&amp;quot;&amp;gt;[[Otto Blumenthal (Mathematiker)|Otto Blumenthal]]: &amp;#039;&amp;#039;Über die Zerlegung unendlicher Vektorfelder&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Mathematische Annalen]]&amp;#039;&amp;#039; 61.2, 1905, S. 235–250, {{DOI|10.1007/BF01457564}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;cauchy1823&amp;quot;&amp;gt;[[Augustin-Louis Cauchy]]: &amp;#039;&amp;#039;Trente-Cinquième Leçon&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;Résumé des leçons données à l’École royale polytechnique sur le calcul infinitésimal&amp;#039;&amp;#039;. Imprimerie Royale, Paris 1823, S. 133–140 ([https://gallica.bnf.fr/ark:/12148/bpt6k62404287/f146.item gallica.bnf.fr]).&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;chorin1990&amp;quot;&amp;gt;Alexandre J. Chorin, Jerrold E. Marsden: &amp;#039;&amp;#039;A Mathematical Introduction to Fluid Mechanics&amp;#039;&amp;#039; (= Texts in Applied Mathematics 4). Springer US, New York 1990, {{DOI|10.1007/978-1-4684-0364-0}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;helmholtz1858&amp;quot;&amp;gt;[[Hermann von Helmholtz]]: &amp;#039;&amp;#039;Über Integrale der hydrodynamischen Gleichungen, welche den Wirbelbewegungen entsprechen&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Journal für die reine und angewandte Mathematik]]&amp;#039;&amp;#039; 55, 1858, S. 25–55, {{DOI|10.1515/crll.1858.55.25}} (Volltext auf [https://resolver.sub.uni-goettingen.de/purl?PPN243919689_0055 sub.uni-goettingen.de]).&amp;lt;/ref&amp;gt;&amp;lt;!-- siehe auch https://gdz.sub.uni-goettingen.de/id/PPN243919689_0055 --&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;glotzl2020&amp;quot;&amp;gt;Erhard Glötzl, Oliver Richters: &amp;#039;&amp;#039;Helmholtz Decomposition and Rotation Potentials in n-dimensional Cartesian Coordinates&amp;#039;&amp;#039;. 2020, {{arXiv|2012.13157}}, {{DOI|10.48550/arXiv.2012.13157}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;glotzl2023&amp;quot;&amp;gt;Erhard Glötzl, Oliver Richters: &amp;#039;&amp;#039;Helmholtz decomposition and potential functions for n-dimensional analytic vector fields&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Journal of Mathematical Analysis and Applications]]&amp;#039;&amp;#039; 525.2, 2023, {{DOI|10.1016/j.jmaa.2023.127138}}, {{arXiv|2102.09556v3}}. &amp;#039;&amp;#039;Mathematica&amp;#039;&amp;#039;-Arbeitsblatt unter {{doi|10.5281/zenodo.7512798}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;gregory1996&amp;quot;&amp;gt;R. Douglas Gregory: &amp;#039;&amp;#039;Helmholtz&amp;#039;s Theorem when the domain is Infinite and when the field has singular points&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[The Quarterly Journal of Mechanics and Applied Mathematics]]&amp;#039;&amp;#039; 49.3, 1996, S. 439–450, {{DOI|10.1093/qjmam/49.3.439}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;gurtin1962&amp;quot;&amp;gt;Morton E. Gurtin: &amp;#039;&amp;#039;On Helmholtz’s theorem and the completeness of the Papkovich-Neuber stress functions for infinite domains&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Archive for Rational Mechanics and Analysis]]&amp;#039;&amp;#039; 9.1, 1962, S. 225–233, {{DOI|10.1007/BF00253346}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;kustepeli2016&amp;quot;&amp;gt;Alp Kustepeli: &amp;#039;&amp;#039;On the Helmholtz Theorem and Its Generalization for Multi-Layers&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Electromagnetics]]&amp;#039;&amp;#039; 36.3, 2016, S. 135–148, {{DOI|10.1080/02726343.2016.1149755}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;lorenz1963&amp;quot;&amp;gt;[[Edward N. Lorenz]]: &amp;#039;&amp;#039;Deterministic Nonperiodic Flow&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Journal of the Atmospheric Sciences]]&amp;#039;&amp;#039; 20.2, 1963, S. 130–141, {{DOI|10.1175/1520-0469(1963)020&amp;lt;0130:DNF&amp;gt;2.0.CO;2}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;peitgen1992&amp;quot;&amp;gt;[[Heinz-Otto Peitgen]], Hartmut Jürgens, [[Dietmar Saupe]]: &amp;#039;&amp;#039;Strange Attractors: The Locus of Chaos&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;Chaos and Fractals&amp;#039;&amp;#039;. Springer, New York, S. 655–768. {{DOI|10.1007/978-1-4757-4740-9_13}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;petrascheck2015&amp;quot;&amp;gt;Dietmar Petrascheck: &amp;#039;&amp;#039;The Helmholtz decomposition revisited&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[European Journal of Physics]]&amp;#039;&amp;#039; 37.1, 2015, Artikel 015201, {{DOI|10.1088/0143-0807/37/1/015201}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;sprossig2009&amp;quot;&amp;gt;Wolfgang Sprössig: &amp;#039;&amp;#039;On Helmholtz decompositions and their generalizations – An overview&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Mathematical Methods in the Applied Sciences]]&amp;#039;&amp;#039; 33.4, 2009, S. 374–383, {{DOI|10.1002/mma.1212}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;stokes1849&amp;quot;&amp;gt;[[George Gabriel Stokes]]: &amp;#039;&amp;#039;On the Dynamical Theory of Diffraction&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;Transactions of the [[Cambridge Philosophical Society]]&amp;#039;&amp;#039; 9(1), 1849, S. 1–62. [https://archive.org/details/transactions09camb/page/n16/mode/1up Digitalisat]. Nachdruck in: &amp;#039;&amp;#039;Mathematical and Physical Papers&amp;#039;&amp;#039;, Cambridge University Press, 1883 (2009), S. 243–328, {{DOI|10.1017/cbo9780511702259.015}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;suda2019&amp;quot;&amp;gt;Tomoharu Suda: &amp;#039;&amp;#039;Construction of Lyapunov functions using Helmholtz–Hodge decomposition&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;Discrete &amp;amp; Continuous Dynamical Systems – A&amp;#039;&amp;#039; 39.5, 2019, S. 2437–2454, {{DOI|10.3934/dcds.2019103}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;suda2020&amp;quot;&amp;gt;Tomoharu Suda: &amp;#039;&amp;#039;Application of Helmholtz–Hodge decomposition to the study of certain vector fields&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Journal of Physics]] A: Mathematical and Theoretical&amp;#039;&amp;#039; 53.37, 2020, S. 375703. {{DOI|10.1088/1751-8121/aba657}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;trancong1993&amp;quot;&amp;gt;Ton Tran-Cong: &amp;#039;&amp;#039;On Helmholtz’s Decomposition Theorem and Poissons’s Equation with an Infinite Domain&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Quarterly of Applied Mathematics]]&amp;#039;&amp;#039; 51.1, 1993, S. 23–35, {{JSTOR|43637902}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;warner1983&amp;quot;&amp;gt;Frank W. Warner: &amp;#039;&amp;#039;The Hodge Theorem&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;Foundations of Differentiable Manifolds and Lie Groups&amp;#039;&amp;#039;. (= Graduate Texts in Mathematics 94). Springer, New York 1983, {{DOI|10.1007/978-1-4757-1799-0_6}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;ref name=&amp;quot;zhou2012&amp;quot;&amp;gt;Joseph Xu Zhou, M. D. S. Aliyu, Erik Aurell, Sui Huang: &amp;#039;&amp;#039;Quasi-potential landscape in complex multi-stable systems&amp;#039;&amp;#039;. In: &amp;#039;&amp;#039;[[Journal of The Royal Society Interface]]&amp;#039;&amp;#039; 9.77, 2012, S. 3539–3553, {{DOI|10.1098/rsif.2012.0434}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&amp;lt;/references&amp;gt;&lt;br /&gt;
&lt;br /&gt;
{{SORTIERUNG:Helmholtztheorem}}&lt;br /&gt;
[[Kategorie:Theorie partieller Differentialgleichungen]]&lt;br /&gt;
[[Kategorie:Satz (Mathematik)|Helmholtz]]&lt;br /&gt;
[[Kategorie:Vektoranalysis]]&lt;br /&gt;
[[Kategorie:Hermann von Helmholtz]]&lt;br /&gt;
[[Kategorie:Hermann von Helmholtz als Namensgeber]]&lt;/div&gt;</summary>
		<author><name>imported&gt;T. Wirbitzki</name></author>
	</entry>
</feed>