Ein Jacobifeld bzw. genauer Jacobivektorfeld (benannt nach Carl Gustav Jacob Jacobi) ist ein Vektorfeld längs einer Geodäten, das Lösung der Jacobigleichung ist. Anschaulich betrachtet stellt es das Verschiebungsvektorfeld zwischen infinitesimal benachbarten Geodäten auf einer riemannschen oder pseudoriemannschen Mannigfaltigkeit dar. Verwendung findet dieses Konzept in der Differentialgeometrie und in der allgemeinen Relativitätstheorie. Die Untersuchung von Jacobifeldern ist im Beweis des Satzes von Cartan-Hadamard zentral.

Jacobigleichung

Bearbeiten

Die Jacobigleichung ist eine Differentialgleichung für ein Vektorfeld entlang einer Geodäte und setzt die Krümmung der Mannigfaltigkeit in Beziehung zur zweiten Ableitung des gesuchten Jacobifeldes.

Es sei   eine Geodäte mit Tangentialvektorfeld  . Ein glattes Vektorfeld   längs   heißt Jacobifeld, wenn es die Jacobigleichung

 

erfüllt. Dabei bezeichnet   den Krümmungstensor und   die durch den Levi-Civita-Zusammenhang   induzierte kovariante Ableitung längs  .

Die Jacobigleichung ist eine lineare gewöhnliche Differentialgleichung zweiter Ordnung.

Im Allgemeinen kann ein Jacobifeld Komponenten tangential und orthogonal zur Geodäte haben. Tangentiale Jacobifelder haben die einfache Gestalt

 

für reelle Parameter   und  . Beliebige Jacobifelder haben die Gestalt

 ,

wobei   ein Jacobifeld orthogonal zu   ist. Für die Untersuchung konjugierter Punkte und die Morseindextheorie beschränkt man sich daher meist auf die Betrachtung orthogonaler Jacobifelder.

Mittels Wahl von Koordinaten kann man das Jacobifeld als   schreiben, wobei die   parallele orthonormale Vektorfelder längs   sind, und erhält so die Jacobigleichung in Koordinaten:

 

In dieser Form ist einfach ersichtlich, dass für gegebene Anfangsbedingungen   eine eindeutige Lösung existiert.

Beispiel: Jacobifeld auf der 2-Sphäre

Bearbeiten
 
Darstellung einer Kugel.
Alle durchgezogenen Linien dieses Bildes sind Großkreise. Die gestrichelten Linien sind die Breitenkreise. Die gelben Linien sind die Längenkreise

Als illustratives Beispiel kann die Kugeloberfläche dienen. In der kanonischen Metrik auf der Sphäre, die man durch die Einbettung in   gewinnt, sind die Geodäten die Großkreise. Alle Großkreise, die durch einen Punkt verlaufen, schneiden sich erneut am Antipodenpunkt dieses Punktes. Diese Großkreise zusammen mit den zwei Punkten beschreiben also die Längenkreise und die Pole eines Kugelkoordinatensystems. Das Jacobifeld entlang dieser Längenkreise ist an jedem Punkt tangential zur Sphäre und senkrecht zu den Längenkreisen. Die Integralkurven des Jacobifeldes sind also die Breitenkreise. Die Striche der Breitenkreise im nebenstehenden Bild kann man als Vektoren des Jacobifelds an dieser Stelle auffassen. Hier wird deutlich, dass das Jacobifeld den Abstand zwischen benachbarten Geodäten beschreibt und in den Polen verschwindet. Die beiden Pole sind also zueinander konjugierte Punkte.

Motivation

Bearbeiten

Die Definition der Jacobigleichung basiert auf der Untersuchung des Energiefunktionals im Rahmen der riemannschen Geometrie. Dieses Funktional wird für alle glatten Kurven   auf der riemannschen Mannigfaltigkeit   folgenderweise definiert:

 

Der Name Energiefunktional lässt sich einfach im Rahmen der klassischen Mechanik verstehen, bei der die kinetische Energie eines Teilchens durch   definiert wird. Wie vom Hamiltonsches Prinzip her bekannt wird ein physikalisches Teilchen eine Bahn wählen, welche die Energie minimiert. Falls wir also interessiert sind, welche Bahnen das im Rahmen der riemannschen Geometrie sind, müssen wir die Variation dieses Funktionals berechnen. Dafür definieren wir die Variation einer Kurve als  , wobei wir die jeweilige Kurve mit   abkürzen, wobei   unsere ursprüngliche Kurve ist. Mithilfe der Theorie der Faserbündel sowie des Zusammenhang (Differentialgeometrie) können wir nun die erste Variation berechnen:

 

Interessanterweise finden wir für Nullstellen dieser Variation im Falle einer Variation mit festen Endpunkten (d. h.      ) exakt die Definition einer Geodäten  . Wir finden also, dass Geodäten in der riemannschen Geometrie gerade die Kurven beschreiben, welche das Hamiltonische Prinzip im Falle von   erfüllen. Um die Definition der Jacobifelder zu verstehen müssen wir noch einen Schritt weiter gehen. Wir wählen also einen Extremalpunkt der ersten Variation, das heißt   eine Geodäte. Die zweite Variation ergibt sich dann als

 

Wir sehen also, dass die zweite Variation des Energiefunktionals die Definition der Jacobifelder eröffnet.

Lorentzsche Indexform und konjugierte Punkte

Bearbeiten

Die Lorentzsche Indextheorie betrachtet wie die riemannsche Indextheorie Geodäten auf einem Spezialfall pseudoriemannscher Mannigfaltigkeiten und untersucht diese Geodäten auf das Vorkommen konjugierter Punkte. Zwei Punkte  ,   entlang einer Geodäte   nennt man konjugiert zueinander, wenn ein nichttriviales glattes Jacobifeld entlang   existiert, das in   und   verschwindet.

Sei   der Raum der abschnittsweise glatten orthogonalen Vektorfelder entlang einer Geodäte  , das heißt, für   sei   und   für alle  . Die bilineare symmetrische Indexform

 

wird definiert durch

  für  

In der riemannschen Indextheorie wird das Vorzeichen der Indexform positiv gewählt. Wenn   glatt ist, kann eine partielle Integration durchgeführt werden und es gilt:

 

Für   mit  , das heißt,   vereinfacht sich dies weiter zu:

 

Die Indexform hängt eng zusammen mit konjugierten Punkten: Für   ist äquivalent, ob   ein Jacobifeld ist oder ob   für alle   gilt. Also sind die Endpunkte entlang der Geodäten   genau dann konjugiert, wenn die Bilinearform   entartet ist.

Variation von Geodäten

Bearbeiten

Eine Variation einer Geodäte   ist eine glatte Abbildung

 

für ein   mit  . Üblicherweise fordert man noch feste Endpunkte:   und   für alle  . Die kanonische Variation mit festen Endpunkten ist nun gerade die Exponentialabbildung von mit   skalierten Vektorfeldern

 :  .

Das Variationsvektorfeld   der Variation   ist das Vektorfeld   entlang   mit  . Für die kanonische Variation ist das Variationsvektorfeld also  .

Die 2. Variation der lorentzschen Länge

  (mit  ),

der geodätischen Variation ist nun durch die oben beschriebene Indexform gegeben:  . Daraus ergibt sich, dass die Variation   bei   benachbarte zeitartige Kurven ergibt, die ebenfalls   mit   verbinden, aber eine größere Länge

 

aufweisen. Damit die zeitartige Geodäte maximal wird, also ihre Länge dem lorentzschen Abstand ihrer Endpunkte entspricht, muss   negativ semidefinit auf   sein.

Literatur

Bearbeiten
  • Beem, J.K., Ehrlich, P.E., Easley, K.L.: Global Lorentzian Geometry, Pure and Applied Mathematics 202, 2nd Edition. New York: Marcel Dekker, Inc. 1996