Hamiltonsches Vektorfeld

Ein hamiltonsches Vektorfeld ist im mathematischen Teilgebiet der symplektischen Geometrie (wiederum ein Teilgebiet der Differentialgeometrie) ein spezielles glattes Vektorfeld auf einer symplektischen Mannigfaltigkeit, welches mit dessen symplektischer Form kompatibel ist und von einer glatten Abbildung (genannt Hamilton-Funktion) auf dieser erzeugt wird.

Definition

Sei $(M,\omega )$ eine symplektische Mannigfaltigkeit und ${\mathfrak {X}}(M)$ die dazugehörige Menge aller glatten Vektorfelder. Ein hamiltonsches Vektorfeld für $(M,\omega )$ ist ein glattes Vektorfeld $X\in {\mathfrak {X}}(M)$, für welches eine glatte Abbildung $H\in C^{\infty }(M)$ mit der Bedingung

$i_{X}\omega =\omega (X,-)=\mathrm {d} H$

existiert, wobei $i_{X}$ das innere Produkt ist.

Aufgrund der Nichtdegeneriertheit der symplektischen Form $\omega$ folgt für glatte Vektorfelder $X,Y\in {\mathfrak {X}}(M)$ mit $\omega (X,-)=\omega (Y,-)$, dass sogar $X=Y$. Für eine Hamilton-Funktion $H\in C^{\infty }(M)$ gibt es daher maximal ein zugehöriges hamiltonsches Vektorfeld $X\in {\mathfrak {X}}(M)$, welches sofern existent daher auch als $X_{H}$ notiert wird. Tatsächlich ist Existenz gegeben, wie sich anhand eines expliziten Ausdrucks zeigen lässt: Für jeden Punkt $x\in M$ gibt es eine lineare Abbildung $\varphi _{x}\colon T_{x}M\rightarrow T_{x}^{*}M,\xi \mapsto \omega _{x}(\xi ,-)$. Aufgrund der Nichtdegeneriertheit der symplektischen Form $\omega _{x}$ ist diese injektiv, aufgrund gleicher Dimensionen von Tangential- und Kotangentialraum sogar bijektiv und aufgrund der glatten Abhängigkeit der symplektischen Form $\omega _{x}$ vom Basispunkt $x$ ergeben diese gemeinsam einen Vektorbündelisomorphismus $\varphi \colon TM\rightarrow T^{*}M,(x,\xi )\mapsto (x,\omega _{x}(\xi ,-))$. Das hamiltonsche Vektorfeld $X_{H}\in {\mathfrak {X}}(M)$ einer Hamilton-Funktion $H\in C^{\infty }(M)$ lässt sich daher darstellen als:

$X_{H}=\varphi ^{-1}\circ \mathrm {d} H\colon M\rightarrow TM.$

Eigenschaften

• Hamiltonsche Vektorfelder sind symplektisch. Für eine Hamilton-Funktion $H\in C^{\infty }(M)$ folgt mit der Cartan-Formel und der Geschlossenheit $\mathrm {d} \omega =0$ der symplektischen Form $\omega$:

  ${\mathcal {L}}_{X_{H}}\omega =(\mathrm {d} i_{X_{H}}+i_{X_{H}}\mathrm {d} )\omega =\mathrm {d} i_{X_{H}}\omega =\mathrm {d} ^{2}H=0.$

• Linearkombinationen von hamiltonschen Vektorfeldern sind hamiltonsche Vektorfelder. Für Skalare $a,b\in \mathbb {R}$ und glatte Funktionen $G,H\in C^{\infty }(M)$ gilt mit der Linearität des Cartan-Differntials $\mathrm {d}$ und der Bilinearität der symplektischen Form $\omega$:

  $\omega (X_{aG+bH},-)=\mathrm {d} (aG+bH)=a\mathrm {d} G+b\mathrm {d} H=a\omega (X_{G},-)+b\omega (X_{H},-)=\omega (aX_{G}+bX_{H},-),$

woraus $X_{aG+bH}=aX_{G}+bX_{H}$ aufgrund der Nichtdegeneriertheit der symplektischen Form $\omega$ folgt.

• Für glatte Funktionen $G,H\in C^{\infty }(M)$ gilt mit der Produkt-Regel des Cartan-Differentials:

  $\omega (X_{GH},-)=\mathrm {d} (GH)=H\mathrm {d} G+G\mathrm {d} H+G\omega (X_{H},-)=H\omega (X_{G},-)=\omega (HX_{G}+GX_{H},-),$

woraus $X_{GH}=HX_{G}+GX_{H}$ aufgrund der Nichtdegeneriertheit der symplektischen Form $\omega$ folgt.

• Für einen Symplektomorphismus $\phi \in \operatorname {Symp} (M)$ und eine glatte Funktion $H\in C^{\infty }(M)$ gilt:

  $X_{H\circ \phi }=\phi ^{*}X_{H}.$

• Lie-Klammern von hamiltonschen Vektorfeldern sind hamiltonsche Vektorfelder. Für glatte Funktionen $G,H\in C^{\infty }(M)$ gilt:

  $[X_{G},X_{H}]=X_{\{G,H\}}.$

Lie-Algebra der hamiltonschen Vektorfelder

Gemäß der genannten Eigenschaften bilden die hamiltonschen Vektorfelder auf einer symplektischen Mannigfaltigkeit $(M,\omega )$ einen Vektorraum und mit der Lie-Klammer $[-,-]$ sogar eine Lie-Algebra, notiert als ${\mathfrak {Ham}}(M,\omega )$. Es gibt Lie-Algebrenhomomorphismen:

${\mathfrak {Ham}}(M,\omega )\hookrightarrow {\mathfrak {Symp}}(M,\omega ),X\mapsto X$

$C^{\infty }(M)\twoheadrightarrow {\mathfrak {Ham}}(M,\omega ),H\mapsto X_{H}$

Verbindung mit der De-Rham-Kohomologie

Verbindung mit der nullten De-Rham-Kohomologie

Ein spezieller Untervektorraum des Vektorraumes $C^{\infty }(M)$ der Hamilton-Funktionen ist die nullte De-Rham-Kohomologie $H_{\mathrm {dR} }^{0}(M):=\ker(\mathrm {d} \colon C^{\infty }(M)\rightarrow \Omega ^{1}(M))$ der lokal konstanten (auf jeder Zusammenhangskomponente konstanten) Hamilton-Funktionen. Da in der Definition des hamiltonschen Vektorfeldes einer Hamilton-Funktion nur dessen Cartan-Differential auftaucht, können gerade die lokal konstanten Hamilton-Funktionen beliebig zu dieser hinzuaddiert werden, ohne einen Einfluss auf das erzeugte hamiltonsche Vektorfeld zu haben. Daher gibt es eine exakte Sequenz:

$H_{\mathrm {dR} }^{0}(M)\hookrightarrow C^{\infty }(M,\omega )\rightarrow {\mathfrak {Ham}}(M,\omega ).$

Aus dieser folgt direkt, dass genau dann jedes hamiltonsche Vektorfeld von einer eindeutigen Hamilton-Funktion erzeugt wird, wenn die nullte De-Rham-Kohomologie der symplektischen Mannigfaltigkeit trivial ist.

Verbindung mit der ersten De-Rham-Kohomologie

Per Definition ist für ein symplektisches Vektorfeld $X$ die $1$-Form $i_{X}\omega$ geschlossen und erzeugt daher ein Element $[i_{X}\omega ]\in H_{\mathrm {dR} }^{1}(M)$ der ersten De-Rham-Kohomologie. Aufgrund der Bilinearität der symplektischen Form $\omega$ ist diese Zuordnung eine lineare Abbildung:

${\mathfrak {Symp}}(M,\omega )\rightarrow H_{\mathrm {dR} }^{1}(M),X\mapsto i_{X}\omega$.

$[i_{X}\omega ]\in H_{\mathrm {dR} }^{1}(M)$ ist dabei genau dann das neutrale Element, wenn es sich von diesem um eine exakte $1$-Form unterscheidet, also wenn $X$ ein hamiltonsches Vektorfeld ist. Daher gibt es eine exakte Sequenz:

${\mathfrak {Ham}}(M,\omega )\hookrightarrow {\mathfrak {Symp}}(M,\omega )\rightarrow H_{\mathrm {dR} }^{1}(M).$

Aus dieser folgt direkt, dass genau dann jedes symplektische Vektorfeld sogar ein hamiltonsches Vektorfeld ist, wenn die erste De-Rham-Kohomologie der symplektischen Mannigfaltigkeit trivial ist.

Anwendung in der Physik

Hamiltonsche Vektorfelder sind entscheidend für die Formulierung der hamiltonschen Mechanik, denn ihre Flüsse verlaufen entlang konstanter Werte der zugrundeliegenden Hamilton-Funktion. Das beschreibt die Energieerhaltung einer mechanischen Bewegung im Phasenraum. Für einen Punkt $x\in M$ und eine Hamilton-Funktion $H\in C^{\infty }(M)$ ist ihr (lokaler) Fluss $\phi _{H}(x,-)\colon I\rightarrow M$ mit einem offenen Intervall $I\subseteq \mathbb {R}$ mit $0\in I$ eine Lösung der Differentialgleichung mit Anfangswertbedingung:

$\left\{{\begin{aligned}\phi _{H}(x,0)&=x\\{\frac {\mathrm {d} }{\mathrm {d} t}}\phi _{H}(x,t)&=X_{H}(\phi _{H}(x,t))\end{aligned}}\right.$.

Mit der Definition des hamiltonschen Vektorfeldes und der Antisymmetrie der symplektischen Form folgt:

${\frac {\mathrm {d} }{\mathrm {d} t}}H(\phi _{H}(x,t))=\mathrm {d} H(\phi _{H}(x,t))\left({\frac {\mathrm {d} }{\mathrm {d} t}}\phi _{H}(x,t)\right)=\omega (X_{H}(\phi _{H}(x,t)),-)\left(X_{H}(\phi _{H}(x,t))\right)=\omega (X_{H},X_{H})(\phi _{H}(x,t))=0,$

womit $H(\phi _{H}(x,t))$konstant ist. Allgemeiner kann diese Rechnung für zwei verschiedene Hamilton-Funktionen $G,H\in C^{\infty }(M)$ betrachtet werden, wobei sich mit der Poisson-Klammer $\{G,H\}=\omega (X_{G},X_{H})$ analog ergibt:

${\frac {\mathrm {d} }{\mathrm {d} t}}G(\phi _{H}(x,t))=\omega (X_{G},X_{H})(\phi _{H}(x,t))=\{G,H\}(\phi _{H}(x,t)),$

also $G(\phi _{H}(x,t))$ genau dann konstant ist, wenn $\{G,H\}=0$. Das sind jeweils die Liouville-Gleichung für die Zeitentwicklung und das Noether-Theorem über die Korrespondenz von Erhaltungsgrößen und Symmetrie.

Weblinks

• Hamiltonian vector field auf nLab (englisch)

Literatur

• Dusa McDuff und Dietmar Salamon: Introduction to Symplectic Topology. In: Clarendon Press (Hrsg.): Oxford mathematical monographs, Oxford science publications. 1998, ISBN 0-19-851177-9 (englisch). 
• Jean-Luc Brylinski: Loop Spaces, Characteristic Classes and Geometric Quantization. In: Birkhäuser Boston (Hrsg.): Modern Birkhäuser Classics. 2007, ISBN 978-0-8176-4730-8 (englisch). 

Einzelnachweise

V

Symplektische Topologie