Quelltext der Seite Jacobifeld

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

== Jacobigleichung ==

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 <math>c \colon (a,b)\rightarrow M</math> eine Geodäte mit Tangentialvektorfeld <math>c'</math>. Ein glattes Vektorfeld <math>Y\colon (a,b)\rightarrow TM</math> längs <math>c</math> heißt ''Jacobifeld'', wenn es die ''Jacobigleichung''

:<math>\nabla^2_{c'}Y + R(Y,c')c' = 0</math>

erfüllt. Dabei bezeichnet <math>R(\cdot,\cdot)\cdot</math> den [[Krümmungstensor]] und <math>\nabla_{c'}</math> die durch den [[Levi-Civita-Zusammenhang]] <math>\nabla</math> induzierte [[kovariante Ableitung]] längs <math>c</math>.

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
:<math>Y(t) = ac'(t) + btc'(t)</math>
für reelle Parameter <math>a</math> und <math>b</math>. Beliebige Jacobifelder haben die Gestalt
:<math>Y(t) = Y_\perp(t) + ac'(t) + btc'(t)</math>,
wobei <math>Y_\perp</math> ein Jacobifeld orthogonal zu <math>c</math> 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 <math>\textstyle Y(t)=\sum_{i=1}^m y_i(t)X_i(t)</math> schreiben, wobei die <math>X_i</math> parallele orthonormale Vektorfelder längs <math>c</math> sind, und erhält so die Jacobigleichung in Koordinaten:

:<math>y_i''(t)+\sum\limits_{j=1}^m y_j(t)g(R(c',X_j)c',X_i)(t)=0</math>

In dieser Form ist einfach ersichtlich, dass für gegebene Anfangsbedingungen <math>Y(0)=u, Y'(0)=v</math> eine eindeutige Lösung existiert.

== Beispiel: Jacobifeld auf der 2-Sphäre ==
[[Datei:Grosskreis.svg|mini|Darstellung einer Kugel. <BR/><small>Alle durchgezogenen Linien dieses Bildes sind [[Großkreis]]e. Die gestrichelten Linien sind die [[Breitenkreis]]e. Die gelben Linien sind die [[Längenkreis]]e</small>]]
Als illustratives Beispiel kann die Kugeloberfläche dienen. In der kanonischen Metrik auf der Sphäre, die man durch die Einbettung in <math>\mathbb{R}^3</math> gewinnt, sind die Geodäten die [[Großkreis]]e. 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 [[Integralkurve]]n 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 ==
Die Definition der Jacobigleichung basiert auf der Untersuchung des Energiefunktionals im Rahmen der [[Riemannsche Geometrie|riemannschen Geometrie]]. Dieses Funktional wird für alle glatten Kurven <math>c: [a,b]\to M</math> auf der riemannschen Mannigfaltigkeit <math>(M,g)</math> folgenderweise definiert:

:<math>E(c)=\frac{1}{2}\int\limits_{a}^b g(c'(t),c'(t))dt</math>

Der Name Energiefunktional lässt sich einfach im Rahmen der klassischen Mechanik verstehen, bei der die [[kinetische Energie]] eines Teilchens durch <math>E_\mathrm{kin}=\tfrac{1}{2}v^2</math> 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 [[Riemannsche Geometrie|riemannschen Geometrie]] sind, müssen wir die [[Variation (Mathematik)|Variation]] dieses Funktionals berechnen. Dafür definieren wir die Variation einer Kurve als <math> h \colon [a,b]\times (-\epsilon,\epsilon)\to M</math>, wobei wir die jeweilige Kurve mit <math> h(t,s)=c_s(t)</math> abkürzen, wobei <math> c_0(t)=c(t) </math> unsere ursprüngliche Kurve ist. Mithilfe der Theorie der [[Faserbündel]] sowie des [[Zusammenhang (Differentialgeometrie)]] können wir nun die erste Variation berechnen:

:<math>\frac{d}{dt}\bigg\vert_{s=0} E(c_s)=g(Y(t),c'(t))\bigg\vert_a^b-\int\limits_a^bg(Y(t),\nabla_{c'(t)}c'(t))\mathrm{d}t </math>

Interessanterweise finden wir für Nullstellen dieser Variation im Falle einer Variation mit festen Endpunkten (d.&nbsp;h. <math> c_s(a)=p </math> <math> c_s(b)=q </math> <math> \forall s\in (-\epsilon,\epsilon) </math>) exakt die Definition einer [[Geodäte]]n <math>\nabla_{c'(t)}c'(t)=0 </math>. Wir finden also, dass Geodäten in der riemannschen Geometrie gerade die Kurven beschreiben, welche das Hamiltonische Prinzip im Falle von <math>\mathcal L = E_\mathrm{kin} </math> 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 <math>c(t)</math> eine Geodäte. Die zweite Variation ergibt sich dann als

:<math>\frac{d^2}{dt^2}\bigg\vert_{s=0} E(c_s)=\left[g(\nabla_{\partial_s}^h Y(t),c'(t))+g(\nabla_{\partial_t}^hY(t),Y(t))\right]_a^b+\int\limits_a^b g(Y(t),\nabla_{\partial_t}^2Y(t)+R(c',Y)c'(t))\mathrm{d}t </math>

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

== Lorentzsche Indexform und konjugierte Punkte ==
Die Lorentzsche Indextheorie betrachtet wie die riemannsche Indextheorie Geodäten auf einem Spezialfall [[Pseudo-Riemannsche Mannigfaltigkeit|pseudoriemannscher Mannigfaltigkeiten]] und untersucht diese Geodäten auf das Vorkommen konjugierter Punkte. Zwei Punkte <math>p=c(a)</math>, <math>q=c(b)</math> entlang einer Geodäte <math>c</math> nennt man '''konjugiert''' zueinander, wenn ein nichttriviales glattes Jacobifeld entlang <math>c</math> existiert, das in <math>p</math> und <math>q</math> verschwindet.

Sei <math>V^\perp(c)</math> der Raum der abschnittsweise glatten orthogonalen Vektorfelder entlang einer Geodäte <math>c\colon [a,b]\rightarrow M</math>, das heißt,
für <math>Y\in V^\perp(c)</math> sei <math>Y(t)\in T_{c(t)}M</math> und <math>\langle Y(t),c'(t)\rangle = 0</math> für alle <math>a \leq t \leq b</math>.  Die [[bilinear]]e symmetrische Indexform
:<math>I\colon \;V^\perp(c)\times V^\perp(c)\rightarrow \mathbb{R}</math>
wird definiert durch
:<math> I(X,Y) = - \int_a^b \langle X',Y'\rangle-\langle R(X,c')c',Y\rangle \,\mathrm{d}t</math> für <math>X,Y \in V^\perp(c).</math>

In der riemannschen Indextheorie wird das [[Vorzeichen (Zahl)|Vorzeichen]] der Indexform positiv gewählt.
Wenn <math>X</math> glatt ist, kann eine [[partielle Integration]] durchgeführt werden und es gilt:
:<math> I(X,Y) = - \langle X',Y\rangle |_a^b + \int_a^b\langle X''+ R(X,c')c',Y\rangle \,\mathrm{d}t</math>

Für <math>Y \in V^\perp(c)</math> mit <math>Y(a)=Y(b)=0</math>, das heißt, <math>Y \in V^\perp_0(c)</math> vereinfacht sich dies weiter zu:
:<math> I(X,Y) = \int_a^b\langle X''+ R(X,c')c',Y\rangle \,\mathrm{d}t</math>

Die Indexform hängt eng zusammen mit konjugierten Punkten: Für <math>Y \in V^\perp_0(c)</math> ist äquivalent, ob <math>Y</math> ein Jacobifeld ist oder ob <math>I(Y,Z)=0</math> für alle <math>Z \in V^\perp_0(c)</math> gilt. Also sind die Endpunkte entlang der Geodäten <math>c</math> genau dann konjugiert, wenn die Bilinearform <math>I</math> entartet ist.

== Variation von Geodäten ==
Eine Variation einer Geodäte <math>c:[a,b]\rightarrow M</math> ist eine glatte Abbildung
:<math>\alpha:[a,b]\times (-\varepsilon,\varepsilon)\rightarrow M</math>
für ein <math>\varepsilon > 0</math> mit <math>\alpha(t,0) = c(t)</math>. Üblicherweise fordert man noch feste Endpunkte: <math>\alpha(a,s) = c(a)</math> und <math>\alpha(b,s) = c(b)</math> für alle <math> s\in(-\varepsilon,\varepsilon)</math>. Die kanonische Variation mit festen Endpunkten ist nun gerade die [[Exponentialabbildung]] von mit <math>s</math> skalierten Vektorfeldern
:<math>Y \in V^\perp_0(c)</math>: <math>\alpha(t,s) = \operatorname{exp}_{c(t)}(s Y(t))</math>.
Das Variationsvektorfeld <math>V</math> der Variation <math>\alpha</math> ist das Vektorfeld <math>V(t)</math> entlang <math>c(t)</math> mit <math>V(t) = d/ds (\alpha(t,s))|_{s=0}</math>. Für die kanonische Variation ist das Variationsvektorfeld also <math>Y(t)</math>.

Die 2. Variation der [[Lorentzsche Mannigfaltigkeit#Lorentzsche Länge|lorentzschen Länge]]
:<math>L''(0)= (d^2/ds^2 L(s))|_{s=0} \,</math> (mit <math> L(s) = L(t\rightarrow\alpha(t,s))</math>),
der geodätischen Variation ist nun durch die oben beschriebene Indexform gegeben: <math>L''(0)=I(Y,Y)</math>. Daraus ergibt sich, dass die Variation <math>\alpha</math> bei <math>I(Y,Y)>0</math> benachbarte zeitartige Kurven ergibt, die ebenfalls <math>c(a)</math> mit <math>c(b)</math> verbinden, aber eine größere Länge
:<math>L(\alpha)> L(c) \,</math>
aufweisen. Damit die zeitartige Geodäte maximal wird, also ihre Länge dem [[Lorentzsche Mannigfaltigkeit#Lorentzscher Abstand|lorentzschen Abstand]] ihrer Endpunkte entspricht, muss <math>I</math> negativ semidefinit auf <math>c</math> sein.

== Literatur ==
*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


[[Kategorie:Riemannsche Geometrie]]
[[Kategorie:Carl Gustav Jacob Jacobi als Namensgeber]]