Geodätischer Fluss

In Mathematik und Physik beschreibt der geodätische Fluss eine Bewegung entlang kürzester Verbindungsstrecken (Geodäten). Weil Geodäten nicht nur von ihrem Ausgangspunkt, sondern auch von ihrer Ausgangsrichtung abhängen, kann der geodätische Fluss nur auf dem Tangentialbündel definiert werden.

Definition

Es sei $M$ eine vollständige Riemannsche Mannigfaltigkeit mit Tangentialbündel $TM$. Nach dem Satz von Hopf-Rinow gibt es für jeden Tangentialvektor $v\in T_{x}M,x\in M$ eine eindeutige Geodäte

$\gamma _{v}\colon (-\infty ,\infty )\to M$

mit

$\gamma _{v}(0)=x,{\dot {\gamma }}_{v}(0)=v$.

Wir definieren nun

$\phi \colon TM\times (-\infty ,\infty )\to TM$

durch

$\phi (v,t):={\dot {\gamma }}_{v}(t)$.

Dies definiert einen Fluss auf $TM$, d. h. es gilt $\phi (v,s+t)=\phi (\phi (v,t),s)$ und $\phi (v,0)=v$.

Häufig wird auch die Einschränkung des geodätischen Flusses auf das Einheitstangentialbündel $T^{1}M$ als geodätischer Fluss bezeichnet.

Geodätischer Fluss als Hamiltonscher Fluss

Der geodätische Fluss ist der Hamiltonsche Fluss der in lokalen Koordinaten durch

$H(x,p):={\frac {1}{2}}\sum _{i,j}g^{ij}(x)p_{i}p_{j}$ gegebenen Hamilton-Funktion

$H\colon T^{*}M\to \mathbb {R}$.

Hierbei bezeichnet $g^{ij}(x)$ die Einträge der zur Riemannschen Metrik $g_{ij}(x)$ inversen Matrix.

Physik

Die Eulerschen Gleichungen für die Bewegung eines starren Körpers lassen sich interpretieren als geodätischer Fluss auf der Lie-Gruppe $\mathrm {Isom} (\mathbb {R} ^{3})$.

Die Eulerschen Gleichungen zur Fluiddynamik eines inviskosen inkompressiblen Flusses lassen sich interpretieren als geodätischer Fluss auf der unendlich-dimensionalen Lie-Gruppe $\mathrm {Sdiff} (\mathbb {R} ^{3})$ der maßerhaltenden Abbildungen.

Beide Interpretationen gehen auf Wladimir Arnold zurück.

Geodätischer Fluss auf Mannigfaltigkeiten nichtpositiver Schnittkrümmung

Im Folgenden sei $M$ eine Riemannsche Mannigfaltigkeit nichtpositiver Schnittkrümmung.

Maßtheorie

Der geodätische Fluss erhält das Liouville-Maß. Wenn $M$ kompakt ist, dann ist der geodätische Fluss ergodisch. Weiterhin ist er in diesem Fall exponentiell mischend, hat positive Entropie, dichte Orbiten, die Menge der periodischen Orbiten ist dicht und es gibt unendlich viele (linear unabhängige) invariante Maße.

Stabile und instabile Mannigfaltigkeiten

Wenn $M$ strikt negative Schnittkrümmung hat (und auch noch unter schwächeren Voraussetzungen) ist der geodätische Fluss ein Anosov-Fluss.

Beziehung zur Dynamik der Sphäre im Unendlichen

Wenn $M$ nichtpositive Schnittkrümmung hat und der geodätische Fluss nicht-wandernd ist, dann hat die Wirkung von $\pi _{1}M$ auf der Sphäre im Unendlichen $\partial _{\infty }{\widetilde {M}}$ genau dann dichte Orbiten, wenn der geodätische Fluss auf dem Einheitstangentialbündel dichte Orbiten hat.

Beispiel: Hyperbolische Ebene

Das Poincaré-Modell der hyperbolischen Ebene, verschiedene im selben Punkt endende Geodäten (in rot) und ein zugehöriger Horozykel (in blau).

Es sei $H^{2}$ die hyperbolische Ebene und $T^{1}H^{2}$ ihr Einheitstangentialbündel. Die Wirkung der Gruppe der orientierungserhaltenden Isometrien

$\mathrm {Isom} ^{+}(H^{2})\simeq {PSL}(2,\mathbb {R} )$

auf $T^{1}H^{2}$ induziert eine Bijektion zwischen $PSL(2,\mathbb {R} )$ und $T^{1}H^{2}$. Wir betrachten die Wirkung von $PSL(2,\mathbb {R} )$ auf $T^{1}H^{2}=PSL(2,\mathbb {R} )$ als Links-Wirkung. Dann entspricht der geodätische Fluss $\Phi _{t}$ der Rechts-Wirkung von $\left({\begin{array}{cc}e^{t}&0\\0&e^{-t}\end{array}}\right)$ auf $PSL(2,\mathbb {R} )$. Die stabilen und instabilen Mannigfaltigkeiten des geodätischen Flusses sind die Einschränkungen des Einheitstangentialbündels auf die Horozykel, algebraisch lassen sie sich beschreiben als die Nebenklassen von $N^{+}=\left\{\left({\begin{array}{cc}1&n\\0&1\end{array}}\right):n\in \mathbb {R} \right\}$ bzw. $N^{-}=\left\{\left({\begin{array}{cc}1&0\\n&1\end{array}}\right):n\in \mathbb {R} \right\}$.

Literatur

• Patrick Eberlein: Geodesic flows in manifolds of nonpositive curvature. In: Proc. Sympos. Pure Math. Band 69, 2001, S. 525–571. (citeseerx.ist.psu.edu; PDF)

Weblinks

• Terence Tao: The Euler-Arnold equation.
• Terence Tao: Noether’s theorem, and the conservation laws for the Euler equations.