Aufgabe 4.1
Wir sind auf einer 2-Sphäre mit Radius 1 und polaren Koordinaten und
, wie in Abb. 4.7.
- Zeigen Sie, dass der metrische Tensor für den gewöhnlichen Abstand die folgende Form hat:
- Drücken Sie die acht Christoffelsymbole mit Hilfe dieser Metrik auf. Zeigen Sie, dass
- Zeigen Sie, dass der Tangentenvektor an einen Meridian überall die Komponenten
und
hat.
- Zeigen Sie, dass der Vektor der kovarianten Ableitung dieses Tangentenvektors die folgende Darstellung hat:
- Zeigen Sie: Wenn wir einem Meridian folgen, so ist die kovariante Änderung des Tangentenvektors stets null.
Lösung:
Nach drei Vorlesungen, in denen wir mit recht vielen mathematischen Definitionen konfrontiert wurden, nun endlich die erste Übungsaufgabe dazu, die gleich alles abfragt. Rechts sehen wir noch einmal den Raum bzw. die Fläche, um die es geht: Die Oberfläche der Kugel mit Radius 1, auch Einheitssphäre genannt.

Die Metrik und die Christoffelsymbole hatten wir schon in Aufgabe 3.3 ausgerechnet; wir wiederholen die Lösung hier noch einmal.
1. Die Metrik: Wir müssen zuerst einmal das Quadrat der Länge des Linienelements in den gewohnten Kugelkoordinaten in eine Form mit
und
überführen. Dazu leiten wir aus den Kugelkoordinaten
wobei auf der Einheitssphäre




Bei der Summe heben sich die gemischten Terme bei und
glücklicherweise auf (was an der Orthogonalität der Kugelkoordinaten liegt), und es bleibt übrig, wenn wir nach
und
sortieren:
In Matrixschreibweise für die Metrik erhalten wir damit für und
:
Das ist plausibel. Die Koordinatenlinien, d.h. Längen- und Breitengrade stehen senkrecht aufeinander, damit wird durch eine Diagonalmatrix dargestellt. Die Differentiale der Breitengrade
sind überall gleich groß, während die Differentiale der Längengrade
vom Äquator aus zu den Polen immer kleiner werden.
2. Die Christoffelsymbole: Auf der zweidimensionalen Fläche müssen wir acht Christoffelsysmbole berechnen, wobei je zwei Paare wegen der Symmetrie in
und
gleich sind. Sechs bleiben übrig; immer noch eine ganze Menge. Die Metrik ist aber recht einfach, fast schon die Einheitsmatrix. Sehen wir uns die Formel für die Christoffelsymbole einmal an:
(1)
Wir brauchen also zunächst einmal die Inverse der Metrik; dass ist leicht, es ist offensichtlich
Dann stehen in den eckigen Klammern verschiedene partielle Ableitungen von . Diese sind aber fast alle null, die einzige partielle Ableitung ungleich null ist
Damit die Summe in Gleichung (1) ungleich null ist, muss also gelten: , und es muss in den eckigen Klammer ein
vorkommen. Probieren wir es:
In den eckigen Klammern kann nur der dritte Term ungleich null sein, und dies auch nur für

Weiter ist .
Und weiter ist
Hier können umgekehrt nur die beiden ersten Terme in der Summe ungleich null sein, und zwar nur für bzw.
. Wir rechnen den ersten Fall aus, der zweite ergibt ja, wie wir wissen, denselben Wert:
Dies ist auch der Wert für , während
ist.
Durch die einfache Form der Metrik konnten wir uns mit ein paar kombinatorischen Argumenten behelfen. Bei weniger symmetrischen Fällen und in höheren Dimensionen wird es natürlich ungeheuer kompliziert, und hier helfen uns dann Computer-Algebra-Systeme wie Mathematica, oder Programmiersprachen wie Python, die über entsprechende Bibliotheken verfügen.
3. Der Tangentenvektor: Der Tangentenvektor ist wie folgt definiert (Gl. 4.16):



Diese Rechnung klappt auch für den Äquator. Dort ist und damit
.
4. Die kovariante Ableitung des Tangentenvektors: Die kovariante Ableitung des Tangentenvektors in der kontravarianten Darstellung aus Teil 3. ist nach Gl. 4.8.:
Wir haben die einzelnen Zutaten alle schon berechnet und müssen sie nur noch einsetzen. Dabei stellen wir direkt fest, dass die gewöhnlichen Ableitungen alle gleich null sind, denn
ist konstant. Genauer ist
,
. Es bleiben also nur die Ausdrücke mit den Christoffelsymbolen auf der rechten Seite der vier Gleichungen, in denen
ist:
Es ist also
Aufgabe 4.2
Was ist in Abb. 4.13 die Geschwindigkeit relativ zum ruhenden Bezugssystem eines Beobachters, der ,
und
als gleichzeitige Ereignisse wahrnimmt?
