Formelsammlung Physik: Relativitätstheorie

SRT (Spezielle Relativitätstheorie)

Gebräuchliche Abkürzungen

Geschwindigkeit v relativ zur Lichtgeschwindigkeit c:

$\beta :=\frac{v}{c}=\tanh \theta .$

Lorentzfaktor:

$\gamma :=\frac{1}{\sqrt{1-{\beta }^2}}=\frac{1}{\sqrt{1-v^2/c^2}}=\cosh \theta$

mit $v:=|\overrightarrow{v}|$.

Addition von Lorentzfaktoren:

${\gamma }_{\mathrm{\Sigma }}=\cosh (\mathrm{arcosh}{\gamma }_1+\mathrm{arcosh}{\gamma }_2)$

Rapidität:

$\theta :=\mathrm{artanh}\beta =\frac{1}{2}\cdot \ln \left(\frac{c+v}{c-v}\right).$

Beachte auch:

$\gamma \cdot \beta =\sinh \theta .$

Galilei-Transformation

Die Galileitransformation auf ein in x-Richtung bewegtes Bezugssystem unterstellt eine unbegrenzte Lichtgeschwindigkeit und ist daher nur für Relativgeschwindigkeiten |v| < 0,1 c eine gute Näherung. Da v' = -v:

Galilei-Tranformation in $x$-Richtung	Inverse Galilei-Transformation
$t^{\prime }=t$ $x^{\prime }=x-v\cdot t$ $y^{\prime }=y$ $z^{\prime }=z$	$t=t^{\prime }$ $x=x^{\prime }+v\cdot t^{\prime }$ $y=y^{\prime }$ $z=z^{\prime }$

Anmerkung. Die Transformationen vermitteln zwischen den privilegierten globalen Koordinatensystemen für Raum und Zeit, den Inertialsystemen. Bei zeitlich unbewegten Koordinaten sind auch die Drehungen um den Ursprung und dessen Verschiebungen erlaubte Transformationen, sowohl bei Galilei wie bei Lorentz. Drehungen haben 3 Parameter, konstante Raumzeit-Verschiebungen 4, gleichförmige Bewegungen 3. Mit 10 Parametern bilden die Kombinationen in beiden Fällen eine kontinuierliche Gruppe von Transformationen.

Lorentz-Transformation

Lorentz-Transformation in $x$-Richtung	Inverse Lorentz-Transformation
$t^{\prime }=(t-\frac{v}{c^2}\cdot x)\cdot \gamma$ $x^{\prime }=(x-v\cdot t)\cdot \gamma$ $y^{\prime }=y$ $z^{\prime }=z$	$t=(t^{\prime }+\frac{v}{c^2}\cdot x^{\prime })\cdot \gamma$ $x=(x^{\prime }+v\cdot t^{\prime })\cdot \gamma$ $y=y^{\prime }$ $z=z^{\prime }$

$(\gamma :=\frac{1}{\sqrt{1-v^2/c^2}}=\cosh \theta )$

Das Labor A misst Ereignisse bei Koordinaten (t,x,y,z). Labor B bewegt sich relativ zu A mit der Geschwindigkeit v (v<c) und misst sie bei den Werten (t',x',y',z'). Unterschiede zu der Galilei-Transformation:

• Gleichzeitige Ereignisse, von A aus gesehen, sind es nicht aus der Sicht von B,
• Zeit-Intervalle Δt sind ungleich für A und B,
• Räumliche Abstände Δx sind ungleich für A und B,
• Lichtstrahlen durch den Ursprung bleiben unverändert, x = ±c·t ⇐⇒ x' = ±c·t' .

Lorentz-Transformation in $x$-Richtung im Vierer-Formalismus	Inverse Lorentz-Transformation
$({x^{\prime }}^{\mu })={\mathrm{\Lambda }}_v\cdot (x^{\mu }),$ ${\mathrm{\Lambda }}_v:=\left(\begin{array}{cccc}\gamma & -\gamma \beta & 0& 0\\ -\gamma \beta & \gamma & 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right)$	$(x^{\mu })={\mathrm{\Lambda }}_v^{-1}\cdot ({x^{\prime }}^{\mu }),$ ${\mathrm{\Lambda }}_v^{-1}=\left(\begin{array}{cccc}\gamma & \gamma \beta & 0& 0\\ \gamma \beta & \gamma & 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right)$

Vierer-Koordinaten:

$(x^{\mu }):=\left(\begin{array}{c}ct\\ x\\ y\\ z\end{array}\right),({x^{\prime }}^{\mu }):=\left(\begin{array}{c}c{t}^{\prime }\\ x^{\prime }\\ y^{\prime }\\ z^{\prime }\end{array}\right).$

Als Funktion des Parameters θ (in γ= cosh θ) bilden die Transformationen Λ(θ) entlang einer Achse eine Ein-Parameter-Gruppe von Matrizen:

$\mathrm{\Lambda }({\theta }_1+{\theta }_2)=\mathrm{\Lambda }({\theta }_1)\cdot \mathrm{\Lambda }({\theta }_2),\mathrm{\Lambda }(0)=\mathrm{𝟏},\mathrm{\Lambda }(-\theta )=\mathrm{\Lambda }(\theta {)}^{-1}.$

Zeitdilatation

Für die Zeitdilatation eines bewegten Körpers ergibt sich die Eigenzeit $\tau$ als Ablesung zwischen zwei Ortszeiten (Zeiten an Bord) ${\tau }_o$ im gemessenen Ruhesystem-Zeitabstand $t=\mathrm{\Delta }{t}_o$:

$\tau =\mathrm{\Delta }{\tau }_o=t\cdot \sqrt{1-v^2/c^2}$

$t=\mathrm{\Delta }{t}_o=\frac{\tau }{\sqrt{1-v^2/c^2}}$

${\tau }_0:$ (Eigenzeit) Uhr an Bord des Flugkörpers

$t_0:$ (Laborzeit) Uhr, die im Bezugssystem ruht

Anmerkung. Die Bordzeit geht langsamer als die Laborzeit. Zum Beispiel leben unstabile Myonen ein Vielfaches lânger in Laborzeit, wenn sie nahe an Lichtgeschwindigkeit beschleunigt wurden.

Sollte nicht auch anders herum die Laborzeit langsamer gehen, vom Flugkörper aus gemessen? Tut sie. Im ersten Fall erfassen die Stoppuhren zwei Ereignis-Marken am Flugobjekt, im zweiten Fall am Laborzentrum.

[1]$\mathrm{\Delta }x=v\cdot \mathrm{\Delta }t,\mathrm{\Delta }{x}^{\prime }=0\Rightarrow \mathrm{\Delta }{t}^{\prime }=\mathrm{\Delta }t/\gamma ,$

[2]$\mathrm{\Delta }{x}^{\prime }=-v\cdot \mathrm{\Delta }{t}^{\prime },\mathrm{\Delta }x=0\Rightarrow \mathrm{\Delta }t=\mathrm{\Delta }{t}^{\prime }/\gamma .$

Um die wirklich interessante Zeitbilanz von Rundwegen — mit Beschleunigungen also — zu erhalten, muss die Allgemeine Relativität bemüht werden. Es gibt kein "Zwillingsparadoxon".

Längenkontraktion

Die Längenkontraktion wirkt sich ausschließlich in Richtung der radialen Relativbewegung zum Beobachter aus. Für die Längenkontraktion (Eigenlänge) eines bewegten Körpers ergibt sich:

$L^{\prime }=L_0\cdot \sqrt{1-v^2/c^2}$

Uhrendesynchronisation

Die Relativität der Gleichzeitigkeit bewirkt eine Desynchronisation der Uhren im Abstand $\mathrm{\Delta }x=x_2-x_1$, wobei sowohl dieser Abstand als auch die Bewegungsrichtung v vorzeichenbehaftet sind. Maßgeblich für den Gangunterschied ${\tau }_{\mathrm{\Delta }}$ sind nur die Komponenten des Abstandes in Richtung der Bewegung:

${\tau }_{\mathrm{\Delta }}=\mathrm{\Delta }{\tau }_o=\mathrm{\Delta }{x}^{\prime }\cdot v_{rad}/c^2=\mathrm{\Delta }x\cdot \gamma \cdot v_{rad}/c^2$.

Dabei ist zu beachten, dass die Uhren bei $x{\text{'}}_1$ und $x{\text{'}}_2$ vom Beobachter gleichzeitig abgelesen werden und nicht gleichzeitig vom beobachteten System aus gesehen, genau daraus resultiert die beobachtete Uhrendesynchronisation.

Rot-/Blauverschiebung

Die Frequenzänderung setzt sich aus Zeitdilatation und Dopplerfaktor zusammen. Der Effekt des Dopplerfaktors überwiegt dabei.

$k=f/f^{\prime }=k_{\gamma }\cdot k_{dop}$

mit f beobachtete Frequenz und f' Originalfrequenz

Die Zeitdilatation bewirkt immer eine leichte Rotverschiebung und ist von der Richtung der Bewegung unabhängig.

$k_{\gamma }:=1/\gamma =\sqrt{1-{\beta }^2}$

Der Dopplereffekt ist allein von der radialen Relativbewegung abhängig und richtungsabhängig (vorzeichenbehaftet):

$k_{dop}:=1/(1+{\beta }_{rad})$

Bei Annäherung zum Beobachter (v < 0) ergibt der Dopplereffekt eine Blauverschiebung:

$k_{blue}=1/(1-|{\beta }_{rad}|)=1/(1-|v_{rad}|/c)$ insgeamt also $k=\frac{\sqrt{1-{\beta }^2}}{1-|{\beta }_{rad}|}$

Bei Entfernung vom Beobachter (v > 0) ergibt der Dopplereffekt eine Rotverschiebung:

$k_{red}=1/(1+{\beta }_{rad})=1/(1+v_{rad}/c)$ insgeamt also $k=\frac{\sqrt{1-{\beta }^2}}{1+{\beta }_{rad}}$

Der z-Faktor ergibt sich aus

$z:=k-1$

Kinematik

Die Bahnkurve eines fliegenden Objekts kann entweder als Funktion der Laborzeit $x^{\mu }(t)$ aufgezeichnet werden, oder besser als Funktion der Eigenzeit $x^{\mu }(\tau )$, die eine mitgeführte Uhr an Bord liefert (mit Funksignalen ans Labor).

Geschwindigkeit

Definition. Vierergeschwindigkeit:

$u^{\mu }:=\frac{\mathrm{d}{x}^{\mu }}{\mathrm{d}\tau }=\gamma \frac{\mathrm{d}{x}^{\mu }}{\mathrm{d}t},\gamma =\gamma (\overrightarrow{v}(t))=(1-{\overrightarrow{v}}^2/c^2{)}^{-1/2}.$

Es gilt:

$(u^{\mu })=\gamma \cdot \left(\begin{array}{c}c\\ \overrightarrow{v}\end{array}\right).$

Die Minkowski-Norm der Vierergeschwindigkeit ist konstant:

$c^2=\Vert (u^{\mu }){\Vert }^2=\sum _{\mu }{u}^{\mu }{u}_{\mu }.$

Beschleunigung

Definition. Viererbeschleunigung:

$a^{\mu }:=\frac{\mathrm{d}{u}^{\mu }}{\mathrm{d}\tau }=\gamma \frac{\mathrm{d}{u}^{\mu }}{\mathrm{d}t}.$

Ableitung des Lorentzfaktors:

$\frac{\mathrm{d}\gamma }{\mathrm{d}t}=\frac{{\gamma }^3}{c^2}⟨\overrightarrow{v},\overrightarrow{a}⟩.$

Es gilt:

$(a^{\mu })=\frac{{\gamma }^4}{c^2}⟨\overrightarrow{v},\overrightarrow{a}⟩\left(\begin{array}{c}c\\ \overrightarrow{v}\end{array}\right)+{\gamma }^2\left(\begin{array}{c}0\\ \overrightarrow{a}\end{array}\right).$

Die Vierervektoren $x^{\mu },u^{\mu },a^{\mu }$ transformieren sich mit der gleichen Lorentz-Matrix beim Wechsel in ein gleichförmig bewegtes Bezugssystem. Der Parameter Eigenzeit verändert sich nicht.

Klassische Addition der Geschwindigkeiten

Für die klassische Addition zweier Relativgeschwindigkeiten ergibt sich:

$v_{ges}=v_1+v_2$

Relativistische Addition der Geschwindigkeiten

Für die relativistische Addition zweier Relativgeschwindigkeiten ergibt sich:

$v_{ges}=\frac{v_1+v_2}{1+\frac{v_1\cdot v_2}{c^2}}=c\cdot \tanh ({\theta }_1+{\theta }_2\dots )=c\cdot \tanh (\mathrm{artanh}(v_1/c)+\mathrm{artanh}(v_2/c)\dots )$

Dynamik

Die Galilei-Transformationen sind die Symmetriegruppe der Newtonschen Mechanik, die Lorentz-Transformationen sind die der Maxwellschen Elektrodynamik. Die Spezielle Relativität postuliert den Vorrang der Lorentzgruppe. Daher müssen die Grundbegriffe der Mechanik wie Kraft, Energie, Impuls so geändert werden, dass auch sie sich mit den Lorentz-Matrizen transformieren. Die spektakulärste Konsequenz davon ist die Ruhe-Energie E=mc².

Impuls

Für den relativistischen Impuls eines Flugkörpers mit der trägen Masse $m_0$ ergibt sich:

$\overrightarrow{p}=\gamma m_0\overrightarrow{v}.$

Definition. Viererimpuls:

$p^{\mu }:=m_0{u}^{\mu }.$

Dieser 4-Vektor kombiniert Energie und Impuls, transformiert sich mit der Lorentzgruppe, und es gilt:

$(p^{\mu })=\left(\begin{array}{c}E/c\\ \overrightarrow{p}\end{array}\right)=\left(\begin{array}{c}\gamma m_{0}c\\ \gamma m_0\overrightarrow{v}\end{array}\right),\Rightarrow \frac{\overrightarrow{v}}{c}=\frac{\overrightarrow{p}c}{E}$

und:

$\Vert (p^{\mu }){\Vert }^2=m_0^2{c}^2.$

Energie-Impuls-Beziehung:

$(E/c{)}^2-|\overrightarrow{p}{|}^2=m_0^2{c}^2$ (Lorentz-invarianter Wert).

Formulierung als „relativistischer Pythagoras“:

$E^2=(m_0{c}^2{)}^2+(c|\overrightarrow{p}|{)}^2.$

Die Photonen mit m=0 haben die Energie-Impuls-Beziehung $E=|\overrightarrow{p}|c.$

Anmerkung. Bei den Reaktionen und Zerfällen von Teilchen mit hoher Energie gilt streng die Energie-Impuls-Erhaltung. Die Summe der Vierer-Impulse vorher und nachher ist gleich. Die Auswertung erfolgt nach der Lorentztransformation ins Schwerpunktsystem, wo diese Vektorsumme die Form (E,0,0,0) hat. Man nennt alle Folgerungen aus dem Erhaltungssatz die Kinematik der Reaktion. Die wesentlich schwierigere Dynamik berechnet Quantenfeld-theoretisch die Häufigkeitsverteilung von Art, Zahl, Energien und Flugrichtungen der Produkte.

Kraft

Definition. Viererkraft:

$K^{\mu }:=\frac{\mathrm{d}{p}^{\mu }}{\mathrm{d}\tau }=\gamma \frac{\mathrm{d}{p}^{\mu }}{\mathrm{d}t}.$

Es gilt:

$K^{\mu }=m_0{a}^{\mu }.$

Mit

$\overrightarrow{F}:=\frac{\mathrm{d}\overrightarrow{p}}{\mathrm{d}t}={\gamma }^3{m}_0\frac{\overrightarrow{v}}{c^2}⟨\overrightarrow{v},\overrightarrow{a}⟩+\gamma m_0\overrightarrow{a}$

gilt:

$(K^{\mu })=\left(\begin{array}{c}{K}^0\\ \gamma \overrightarrow{F}\end{array}\right).$

Relativistische Masse

Relativistische Masse (veralteter Begriff und sollte grundsätzlich nicht verwendet werden):

$M(v)=\gamma (v)\cdot m_0.$

$\gamma (v):$ Lorentzfaktor in Abhängigkeit von der Geschwindigkeit,

$m_0:$ Ruhemasse.

Anmerkung. In der Teilchenphysik gibt es nur eine Masse, die Ruhemasse. Variable Massen sind ein Rechentrick, um Newton-ähnlichere Formeln vorzuzeigen.

Energie

Einsteins Energieformel:

$E=M(v)\cdot c^2=\gamma (v)\cdot m_0\cdot c^2.$

$E:$ Gesamtenergie (Ruheenergie+kinetische Energie),

$M(v):$ relativistische Masse in Abhängigkeit von der Geschwindigkeit,

$m_0:$ Ruhemasse.

Ruheenergie:

$E_0:=m_0{c}^2.$

Kinetische Energie:

$E_{\mathrm{k}\mathrm{i}\mathrm{n}}=E-E_0=\gamma m_0{c}^2-m_0{c}^2=(\gamma -1)m_0{c}^2.$

Maclaurin-Reihe des Lorentzfaktors:

$\begin{array}{cc}\gamma & =\frac{1}{\sqrt{1-{\beta }^2}}=\sum _{n=0}^{\mathrm{\infty }}\left(\prod _{k=1}^n\frac{2k-1}{2k}\right){\beta }^{2n}=\sum _{n=0}^{\mathrm{\infty }}\frac{\mathrm{\Gamma }(n+\frac{1}{2})}{\mathrm{\Gamma }(n+1)\mathrm{\Gamma }\left(\frac{1}{2}\right)}{\beta }^{2n}\\ & =1+\frac{1}{2}{\beta }^2+\frac{3}{8}{\beta }^4+\frac{5}{16}{\beta }^6+\frac{35}{128}{\beta }^8+\cdots \end{array}$

Vierer-Formalismus

In der Literatur gibt es zwei unterschiedliche Konventionen bei der Signatur (- + + +) und (+ - - -). Beide Konventionen sind gleichwertig. Hier wird die zweite Variante dargestellt:

Vierervektor
$x=\sum _{\mu =0}^3{x}^{\mu }{e}_{\mu }=\sum _{\mu =0}^3{x}_{\mu }{e}^{\mu }$
${\eta }_{\mu \nu }=⟨e_{\mu },e_{\nu }⟩$	${\eta }^{\mu \nu }=⟨e^{\mu },e^{\nu }⟩$	$⟨e^{\mu },e_{\nu }⟩={\delta }_{\mu \nu }$
$x_{\mu }=\sum _{\mu ,\nu }{\eta }_{\mu \nu }{x}^{\nu }$	$x^{\mu }=\sum _{\mu ,\nu }{\eta }^{\mu \nu }{x}_{\nu }$

Kontravariante Koordinaten	Kovariante Koordinaten
$(x^{\mu }):=\left(\begin{array}{c}ct\\ x\\ y\\ z\end{array}\right)$	$(x_{\mu }):=(ct,-x,-y,-z)$

Darstellungsmatrix des (pseudo)-metrischen (Minkowski)-Tensors:

$\eta =({\eta }_{\mu \nu })=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& -1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& -1\end{array}\right).$

Es gilt ${\eta }^{-1}=\eta$ bzw. ${\eta }^{\mu \nu }={\eta }_{\mu \nu }$.

Minkowski-Skalarprodukt:

$\begin{array}{cc}& ⟨x,y⟩:=\eta (x,y)=x^T\eta y=\sum _{\mu ,\nu }{\eta }_{\mu \nu }{x}^{\mu }{y}^{\nu }\\ & =\sum _{\mu }{\eta }_{\mu \mu }{x}^{\mu }{y}^{\mu }=x^0{y}^0-x^1{y}^1-x^2{y}^2-x^3{y}^3\\ & =\sum _{\mu }{x}^{\mu }{y}_{\mu }=x^0{y}_0+x^1{y}_1+x^2{y}_2+x^3{y}_3\\ & =\sum _{\mu }{x}_{\mu }{y}^{\mu }=x_0{y}^0+x_1{y}^1+x_2{y}^2+x_3{y}^3.\end{array}$

In der Einsteinkonvention wird das Summenzeichen nicht geschrieben und immer über gleiche Indexvariablen summiert.

Das Minkowski-Skalarprodukt ist nicht positiv definit und daher kein echtes Skalarprodukt.

Quadratische Form:

$q(x):=⟨x,x⟩=(ct{)}^2-x^2-y^2-z^2.$

Ein Viererort $x$ (auch Ereignis genannt) heißt

• zeitartig, wenn $q(x)>0$
• raumartig, wenn $q(x)<0$
• lichtartig, wenn $q(x)=0$

Minkowski-Norm:

$\Vert x\Vert :=\sqrt{|q(x)|}=\sqrt{|(ct{)}^2-x^2-y^2-z^2|}$

Die Minkowski-Norm ist keine echte Norm im Sinne eines normierten Raumes.

Minkowski-Metrik:

$d(x_1,x_2):=\Vert x_1-x_2\Vert =\sqrt{|q(x_1-x_2)|}$

mit $q(x_1-x_2)=(c{t}_1-c{t}_2{)}^2-(x_1-x_2{)}^2-(y_1-y_2{)}^2-(z_1-z_2{)}^2$.

Die Minkowski-Metrik ist keine echte Metrik im Sinne eines metrischen Raumes.

Linienelement:

$c^2\mathrm{d}{\tau }^2=\mathrm{d}{s}^2=c^2\mathrm{d}{t}^2-\mathrm{d}{x}^2-\mathrm{d}{y}^2-\mathrm{d}{z}^2$

Man kann die beiden Signaturen auch gezielt zur unterschiedlichen Darstellung raumartiger und zeitartiger Abstände verwenden:

$\mathrm{d}{s}^2=-c^2\mathrm{d}{t}^2+\mathrm{d}{x}^2+\mathrm{d}{y}^2+\mathrm{d}{z}^2$

$\mathrm{d}{\tau }^2=\mathrm{d}{t}^2-\mathrm{d}{x}^2/c^2-\mathrm{d}{y}^2/c^2-\mathrm{d}{z}^2/c^2$

Isometriegruppen

Definition. Eine Raumzeit-Isometrie ist eine Funktion $f$, die einem Ereignis $x=(ct,x,y,z{)}^T$ der Raumzeit ein anderes Ereignis $f(x)=(c{t}^{\prime },x^{\prime },y^{\prime },z^{\prime }{)}^T$ zuordnet, so dass gilt:

$\mathrm{\forall }x,y\in {ℝ}^4:q(f(x)-f(y))=q(x-y),$

wobei $q(x):=(ct{)}^2-x^2-y^2-z^2$ die quadratische Form ist.

Gruppe der Translationen

Gruppe der Translationen:

$T:=\{T\mid T(x)=x+a,T:{ℝ}^4\to {ℝ}^4,a\in {ℝ}^4\}.$

Gruppe der Rotationen

Rotationsmatrizen:

$R=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& r_{11}& r_{12}& r_{13}\\ 0& r_{21}& r_{22}& r_{23}\\ 0& r_{31}& r_{32}& r_{33}\end{array}\right),(r_{ij})\in \mathrm{S}\mathrm{O}(3).$

Die Gruppe aller Rotationsmatrizen $R$ ist trivial isomorph zur $\mathrm{S}\mathrm{O}(3)$ und wird zur Unterscheidung als $\mathrm{S}\mathrm{O}(3)(4\times 4)$ notiert.

Die $\mathrm{S}\mathrm{O}(3)(4\times 4)$ ist eine Untergruppe der Lorentz-Gruppe.

Lorentz-Gruppe

Lorentz-Gruppe:

$O(1,3):=\{\mathrm{\Lambda }\in {ℝ}^{4\times 4}\mid \mathrm{\forall }x,y\in {ℝ}^4:⟨\mathrm{\Lambda }x,\mathrm{\Lambda }y⟩=⟨x,y⟩\}.$

Die Lorentz-Gruppe ist die Gruppe aller linearen Transformationen, welche die Hyperflächen

{ (t,r) | c² t² - r² = const },

insbesondere den Lichtkegel (const=0) durch den Ursprung, invariant lassen. Die anfangs definierten Abbildungen zwischen bewegten Bezugssystemen bilden eine Teilmenge, die "Boosts". Die eigentliche orthochrone Lorentzgruppe "SO(1,3)" ist die topologisch zusammenhängende Komponente der Gruppe ohne Raumspiegelung oder Zeitumkehr.

Die Lorentz-Transformationen sind Isometrien:

$\mathrm{\forall }\mathrm{\Lambda }\in O(1,3):q(\mathrm{\Lambda }x-\mathrm{\Lambda }y)=q(x-y)$.

Aus der Definition folgt $q(x^{\prime })=q(x)$ mit $x^{\prime }:=\mathrm{\Lambda }x$. Ausgeschrieben:

$c^2\cdot t{\text{'}}^2-x{\text{'}}^2-y{\text{'}}^2-z{\text{'}}^2=c^2\cdot t^2-x^2-y^2-z^2$

bzw.

$x{\text{'}}^2+y{\text{'}}^2+z{\text{'}}^2-c^2\cdot t{\text{'}}^2=x^2+y^2+z^2-c^2\cdot t^2$

bzw. (unter Verwendung der imaginären Einheit)

$x{\text{'}}^2+y{\text{'}}^2+z{\text{'}}^2+{\mathrm{i}}^2\cdot c^2\cdot t{\text{'}}^2=x^2+y^2+z^2+{\mathrm{i}}^2\cdot c^2\cdot t^2.$

Die Elemente der 6-dimensionalen Gruppe SO(1,3) lassen sich z.B. darstellen als Produkt RB aus einer Raum-Rotation R (3 Parameter: Winkel und Einheitsvektor der Achse) und einem Lorentz-Boost B (3 Parameter: Vektor der Geschwindigkeit). Die Rotationen sind die Untergruppe, die den Vierervektor (1,0,0,0)^T als Fixpunkt hat. Das Produkt zweier verschieden orientierter Boosts aber ist kein reiner Boost, es enthält ein Stück Rotation.

Poincaré-Gruppe

Affine Abbildungen:

$T(x)=\mathrm{\Lambda }x+a,T:{ℝ}^4\to {ℝ}^4,a\in {ℝ}^4,\mathrm{\Lambda }\in {ℝ}^{4\times 4}.$

Poincaré-Gruppe:

$E(1,3):=\{T\mid T\text{ist affin und}\mathrm{\forall }x,y\in {ℝ}^4:q(T(x)-T(y))=q(x-y)\}.$

Die 6-dimensionale Lorentz-Gruppe ist eine Untergruppe der 10-dimensionalen Poincaré-Gruppe, genauer: der Stabilisator bei $x=0$. Das sind alle Poincaré-Transformationen mit $a=0$. Die 4-dimensionale Gruppe der Translationen ist eine abelsche Untergruppe der Poincaré-Gruppe und besteht aus allen Poincaré-Transformationen mit $\mathrm{\Lambda }=\mathrm{𝟏}=\text{diag}(1,1,1,1)$.

Die Elemente der Poincarégruppe sind eindeutig den Paaren (Λ,a) zugeordnet. Die Gruppenverknüpfung sieht so aus:

(Λ,a) · (Λ',a') = (ΛΛ', a+Λa').

ART (Allgemeine Relativitätstheorie)

Verzerrung von Länge und Zeit

Dem Lorentzfaktor γ der SRT, Funktion der Relativgeschwindigkeit, vergleichbar erscheint im Feld um eine schwere Masse am Ursprung der Schwarzschildfaktor γ_G, Funktion der Radiuskoordinate:

${\gamma }_G=\frac{1}{\sqrt{1-\frac{2\cdot G\cdot M}{r\cdot c^2}}}=\frac{1}{\sqrt{1-\frac{r_S}{r}}}=\frac{1}{\sqrt{1+\frac{2\cdot \mathrm{\Phi }}{c^2}}}=\frac{1}{\sqrt{1-\frac{v_f^2}{c^2}}}=\frac{1}{\sqrt{1-\frac{2\cdot v_o^2}{c^2}}}=\frac{1}{\sqrt{1+\frac{2\cdot g\cdot r}{c^2}}}$

• $M=\text{Zentralmasse}$ mit SI-Einheit kg
• $c=\text{Lichtgeschwindigkeit im flachen Vakuum}$ mit SI-Einheit $2,99792458\cdot 10^8$ m/s
• $G=\text{Gravitationskonstante}$ mit SI-Einheit $6,67408\cdot 10^{-11}$ m³/s²kg
• $r=\text{Abstand vom Gravizentrum}$ mit SI-Einheit m
• $r_S=2\cdot G\cdot M/c^2=\text{Schwarzschildradius}$ mit SI-Einheit m
• $\mathrm{\Phi }=-G\cdot M/r=\text{Gravitationspotential}<0$ mit SI-Einheit m²/s²
• $g=-G\cdot M/r^2=\text{Gravitationsbeschleunigung}<0$ mit SI-Einheit m/s²
• $v_f=c\sqrt{r_S/r}=\text{Fluchtgeschwindigkeit (klassisch)}$ mit SI-Einheit m/s
• $v_o=c\sqrt{r_S/2r}=\text{Orbitalgeschwindigkeit (klassisch)}$ mit SI-Einheit m/s

Das Gravitationspotenzial eines Sterns verformt Raum und Zeit.

Element der flachen Minkowski-Metrik ohne Gravitation, in Kugelkoordinaten:

$d{s}^2=c^2(dt{)}^2-(dr{)}^2-r^2\cdot (d{\theta }^2+{\sin }^2\theta (d\varphi {)}^2)$

Element der Schwarzschild-Metrik im zentralsymmetrischen Feld:

$d{s}^2=(c/{\gamma }_G{)}^2\cdot (dt{)}^2-{\gamma }_G^2\cdot (dr{)}^2-r^2\cdot (d{\theta }^2+{\sin }^2\theta (d\varphi {)}^2)$

${\gamma }_G(r):=(1-r_S/r{)}^{-1/2}>1,r>r_S$

Anschaulich vergeht im Schwerefeld nahe am Zentrum weniger Zeit als weit außen, der Faktor von (dt)² sinkt <1. Die radialen Abstände werden im Nahbereich gestreckt, mit wachsendem Faktor >1 von (dr)² im Vergleich zum euklidischen Raum. Merkregel: Der Kopf des Menschen altert schneller als die Füße.

Geometrisches Weltmodell

Die Raumzeit ist eine Mannigfaltigkeit ausgestattet mit Feldern, die der Differenzialgeometrie gehorchen. Lokale, weitgehend beliebige 4-dimensionale Koordinatensysteme überdecken die Raumzeit. Diese sind äquivalent, wo immer sie sich stetig-differenzierbar überlappen. Krummlinige und beschleunigte Bezugssysteme eingeschlossen. Keine Koordinaten haben physikalisch Vorrang, sie sind alle nur rechentechnische Hilfen.

Die quadratische Form ds², auf Tangentialvektoren anzuwenden, beschreibt an jedem Punkt Lorentz-symmetrisch die Maße im Kleinen für Länge und Zeit. Die Variation der metrischen Form von Punkt zu Punkt enthält die Auswirkung der Gravitation. Genauer: die koordinaten-unabhängige Variation, genannt die Krümmung, folgt aus den Massen, Energien und Impulsen anderer Felder.

Das traditionelle ds² meint das metrische Feld g(x), ein symmetrisches Tensorfeld vom Typ (0,2). Die Vierervektoren a mit g(x)(a,a)=0 sind der Lichtkegel, die Menge der Richtungen der Grenzgeschwindigkeit am Raumzeit-Punkt x. g(x)(a,a)>0 sind die zeitartigen Richtungen (das Innere des Kegels). g(x)(a,a)<0 definiert die raumartigen Auslenkungen von x her. Ein Ereignis am Punkt x kann nur dann auf Punkt y einwirken, wenn es eine Kurve mit zeitartigen und/oder lichtartigen Tangenten von x nach y gibt. Die Mannigfaltigkeit hat eine Orientierung Vergangenheit → Zukunft. Geschlossene zeitartige Wege alias Zeitreisen sind realitätsfern, obwohl sie in "pathologischen" Lösungen der Feldgleichungen vorkommen (Gödel, Taub-NUT).

Die klassische Feldtheorie erlebte eine Steigerung.

Modell	Quelle des Feldes	Typ des Feldes	Effekt auf Proben
Newton-Gravitation	Massen-Dichte	Skalares Potenzial	Schwerkraft
Elektrostatik	Ladungsdichte	Skalares Potenzial	Coulomb-Kraft
Elektrodynamik	Ladungs-und-Strom-Dichte	4-Vektor-Potenzial	Lorentz-Kraft
Einstein-Gravitation	Energie-Impuls-Tensordichte	Tensor-Potenzial	Gravitation+Trägheits-Kraft

Horizonte und Singularitäten

Im Gravitationsfeld gibt es Gebiete, in denen alle zeitartigen und lichtartigen Kurven gefangen bleiben. Keine Information oder Materie kann aus solchen Käfigen nach außen kommen. Ihre Grenzflächen sind die Ereignis-Horizonte. Alles, was von außen her die Grenze übertritt, wird verschlungen.

Der Schwarzschildfaktor des Schwerefeldes um einen Massenpunkt wird Unendlich am Radius r_S. Doch die Mannigfaltigkeit-mit-Metrik geht nach innen weiter. Geschickt gemachte alternative Koordinaten überbrücken die Kugelfläche mit endlichen, glatten Formeln für die Metrik. Nur der Ursprung hat eine unrettbare Singularität. Dies ist das einfachste Modell für ein Schwarzes Loch. Die Schwarzschild-Kugel ist dessen Horizont. Sein Innenleben bleibt für die Außenwelt unsichtbar.

Schwarzschildradius

Für den Schwarzschildradius (Ereignishorizont von nicht rotierenden ungeladenen Schwarzen Löchern nach Schwarzschild) ergibt sich:

$r_S=\frac{2\cdot G\cdot M}{c^2}$

• Sagittarius A*: $r_S\simeq 25\cdot 10^6$ km (Zentrum der Galaxis)
• Sonne: $r_S\simeq$ 3 km
• Erde: $r_S\simeq$ 8 mm

Gravitationsradius

Für den Gravitationsradius (Ereignishorizont von maximal rotierenden ungeladenen Schwarzen Löchern nach Kerr) ergibt sich:

$r_G=\frac{r_S}{2}=\frac{G\cdot M}{c^2}$

Singularität

Nach tiefschürfender Mathematik (Penrose, Hawking,..) entwickeln die Raumzeiten mit Lorentz-artiger Metrik g und positiver Energiedichte, T_μν·u^μ·u^ν ≥ 0 für alle zeitartigen Vektoren u, unweigerlich Singularitäten (Symbole weiter unten definiert). Eigenschaften einer Singularität sind:

• Invarianten wie R^μνρσ·R_μνρσ

werden Unendlich. Kein Raum kann dahin erweitert werden, auch nicht mit noch unbekannten Feldgleichungen.

• Die Raumzeit ist geodätisch unvollständig.

Gefangene zeitartige Weltlinien — insbesondere im freien Fall (Geodäten) — werden angezogen und enden abrupt nach kurzer Eigenzeit. Kollaps. Ende der Welt für alles in der Umgebung.

• Vermutung der kosmischen Zensur:

Singularitäten kommen nicht nackt vor, sondern verbergen sich hinter Horizonten.

Einstein-Effekte der Gravitation

Die folgenden Formeln gelten gegenüber dem Beobachter im Unendlichen, ohne eigene gravitative Raumkrümmung. Während die relativistischen Wirkungen bei der SRT relativ sind, also für jede Beobachterin aus ihrer Sicht zu berechnen sind, sind sich die Beobachtenden über die relativen Wirkungen der ART einig.

Gravitations-Zeitdilatation (Näherung)

Für die Gravitations-Zeitdilatation ergibt sich folgende Näherung:

$\mathrm{\Delta }{\tau }_o=\mathrm{\Delta }{t}_{\mathrm{\infty }}\cdot \sqrt{1-\frac{2\cdot G\cdot M}{r\cdot c^2}}=\mathrm{\Delta }{t}_{\mathrm{\infty }}\cdot \sqrt{1-\frac{r_S}{r}}=\mathrm{\Delta }{t}_{\mathrm{\infty }}/{\gamma }_G$

$\mathrm{\Delta }{t}_{\mathrm{\infty }}=\frac{\mathrm{\Delta }{\tau }_0}{\sqrt{1-\frac{2\cdot G\cdot M}{r\cdot c^2}}}=\frac{\mathrm{\Delta }{\tau }_0}{\sqrt{1-\frac{r_S}{r}}}=\mathrm{\Delta }{\tau }_o\cdot {\gamma }_G$

• $t_{\mathrm{\infty }}=\text{Koordinatenzeit}$
• ${\tau }_o=\text{Ortszeit beim Radius}r$

Beispiele, übertrieben: Von weit außen beobachtet ('Raumschiff') läuft die Zeit nahe am Zentrum ('Bodenstation') langsamer, in Zeitlupe. Vom Boden aus gesehen, tickt die Zeit im Raumschiff schneller, im Zeitraffer.

Beispiel, konkret. Die Uhren der GPS-Satelliten, rund 20000 km über der Erde, sollten nach dem Verhältnis der Schwarzschildfaktoren 45 μs/Tag schneller ticken als die gleich gebauten am Erdboden. Andererseits empfangen wir 7 μs/Tag weniger Zeit wegen des Lorentzfaktors der Orbitalgeschwindigkeit. Folgerichtig gehen die Satellitenuhren vor um etwa 38 μs/Tag.

Gravitations-Längenkontraktion (Näherung)

Die Längenkontraktion wirkt sich ausschließlich in radialer Richtung zum Gravitationsfeld aus. Für die Gravitations-Längenkontaktion ergibt sich folgende Näherung:

$\mathrm{\Delta }{r}_{\mathrm{\infty }}=\mathrm{\Delta }{r}_o\cdot \sqrt{1-\frac{2\cdot G\cdot M}{r\cdot c^2}}=\mathrm{\Delta }{r}_o\cdot \sqrt{1-\frac{r_S}{r}}=\mathrm{\Delta }{r}_o/{\gamma }_G$

$\mathrm{\Delta }{r}_o=\frac{\mathrm{\Delta }{r}_{\mathrm{\infty }}}{\sqrt{1-\frac{2\cdot G\cdot M}{r\cdot c^2}}}=\frac{\mathrm{\Delta }{r}_{\mathrm{\infty }}}{\sqrt{1-\frac{r_S}{r}}}=\mathrm{\Delta }{r}_{\mathrm{\infty }}\cdot {\gamma }_G$

• $\mathrm{\Delta }{r}_{\mathrm{\infty }}=$ Radiale Länge weit entfernt vom Zentrum
• $\mathrm{\Delta }{r}_o=$ Radiale Länge auf einer Kugel mit Umfang = 2πr

Ein radialer Weg aufwärts in Bodennähe ist länger als weit außen in der flachen Geometrie, wenn der Umfang der Kugel im gleichen Maß zunimmt.

Anmerkung. Zeitdilatation, Längenkontraktion meinen hier die trügerische absolute Deutung 'am Raumschiff'. Gälte überall streng die Euklidische Geometrie und eine universelle Koordinatenzeit, dann bekäme ein radiales Metermaß am Radius r eine Kontraktion um (1/γ)<1 und eine Sekunde eine Verlängerung um Faktor (γ)>1.

Vielmehr sind Raum und Zeit krumm, nicht-euklidisch. Meter und Sekunde bleiben an allen Orten gleich, sind geeicht in atomaren Wellenlängen und Perioden. Am Radius r dehnt sich der Raum und läuft die Zeit behäbiger.

Gravitations-Blauverschiebung (Näherung)

Für die Gravitations-Blauverschiebung (einfallende Wellen) ergibt sich folgende Näherung für die Verkleinerung der Wellenlänge:

${\lambda }^{\prime }={\lambda }_{\mathrm{\infty }}\cdot \sqrt{1-\frac{2\cdot G\cdot M}{r\cdot c^2}}={\lambda }_{\mathrm{\infty }}\cdot \sqrt{1-\frac{r_S}{r}}={\lambda }_{\mathrm{\infty }}/{\gamma }_G$

und Frequenz:

$f^{\prime }=f_{\mathrm{\infty }}\cdot \frac{1}{\sqrt{1-\frac{2\cdot G\cdot M}{r\cdot c^2}}}=f_{\mathrm{\infty }}\cdot \frac{1}{\sqrt{1-\frac{r_S}{r}}}=f_{\mathrm{\infty }}\cdot {\gamma }_G$

Ein Signal von 1000 Hz aus dem Raumschiff wird am Boden als 2000 Hz gemessen, weil die Bodenzeit langsamer vergeht.

Gravitations-Rotverschiebung (Näherung)

Für die Gravitations-Rotverschiebung (abgestrahlte Wellen) ergibt sich folgende Näherung für die Vergrößerung der Wellenlänge:

${\lambda }_{\mathrm{\infty }}={\lambda }_0\cdot \frac{1}{\sqrt{1-\frac{2\cdot G\cdot M}{r_1\cdot c^2}}}={\lambda }_0\cdot \frac{1}{\sqrt{1-\frac{r_S}{r_2}}}={\lambda }_0\cdot {\gamma }_G$

und für die Frequenz:

$f_{\mathrm{\infty }}=f_0\cdot \sqrt{1-\frac{2\cdot G\cdot M}{r_1\cdot c^2}}=f_0\cdot \sqrt{1-\frac{r_S}{r_2}}=f_0/{\gamma }_G$

Ein Signal von 1000 Hz vom Boden wird im Raumschiff nur als 500 Hz gemessen, weil die Zeit weit außen schneller abläuft.

Gravitationslinsen und Lichtablenkung im Schwerefeld

Der Ablenkwinkel (Einsteinwinkel) des Lichtes im Schwerefeld berechnet sich:

$\alpha \approx \frac{4\cdot G\cdot M}{r\cdot c^2}=2\cdot \frac{r_S}{r}$

Ein hypothetischer lichtschneller Massenpunkt in der Mechanik von Galilei und Newton hat eine Hyperbelbahn mit dem halben Winkel zwischen Asymptoten.

Lokale Lichtgeschwindigkeit (Shapiro-Effekt)

Ein Rundweg des Radar-Wellenpakets Erde-Merkur-Erde dauert länger, wenn die Sonne ganz nahe am Weg steht. Erklärung im Schwarzschild-Schwerefeld. Die Koordinaten txyz messen nur weit weg vom Zentrum die dortige Eigenzeit bzw. die Eigen-Abstände. Weiter innen vergeht weniger Eigenzeit als Δt. Und radialer Abstand ist größer als Δr. Nun ist die lokal mit Eigen-Mitteln gemessene Lichtgeschwindigkeit immer, überall und in allen Richtungen gleich c. Daraus folgen die scheinbar variablen Geschwindigkeiten in Schwarzschild-Koordinaten, in radialer bzw. tangentialer Richtung:

$\mathrm{\Delta }{t}_0=\mathrm{\Delta }t/{\gamma }_G;\mathrm{\Delta }{x}_0=\mathrm{\Delta }x;\mathrm{\Delta }{z}_0=\mathrm{\Delta }z\cdot {\gamma }_G.$ Lokale Funkstrecken gemessen am Ort (0,0,r) auf der z-Achse.

$\frac{\mathrm{\Delta }{z}_0}{\mathrm{\Delta }{t}_0}=c\Rightarrow {\overrightarrow{c}}_{rad}:=\frac{\mathrm{\Delta }z}{\mathrm{\Delta }t}=c/{{\gamma }_G}^2(r)=c\cdot (1-\frac{r_S}{r}),$

$\frac{\mathrm{\Delta }{x}_0}{\mathrm{\Delta }{t}_0}=c\Rightarrow {\overrightarrow{c}}_{tang}:=\frac{\mathrm{\Delta }x}{\mathrm{\Delta }t}=c/{\gamma }_G(r)=c\cdot \sqrt{1-\frac{r_S}{r}}.$

Mit dem Einfallswinkel φ zur radialen z-Achse (φ = Koordinaten-Winkel, ungleich dem vor Ort gemessenen):

$c^{\prime }=\sqrt{{\cos }^2\phi \cdot c_{rad}^2+{\sin }^2\phi \cdot c_{tang}^2}=\frac{c}{{\gamma }_G}\cdot \sqrt{1-{\cos }^2\phi \cdot \frac{r_S}{r}}$

Ein radial auslaufender Lichtstrahl verzögert sich doppelt (Quadrat von ${\gamma }_G$) wegen der langsameren Zeit und der gedehnten vertikalen Länge nahe am Boden. Versinkt die Bodenstation im Schwarzschild-Radius, wartet das Raumschiff unendlich lange auf ihr letztes Lebenszeichen.

Wird ein Radar-Rundweg mit diesem 'Geschwindigkeitsfeld' zusammengerechnet, kommt brauchbar die Verzögerung heraus. (Streng muss man die Differenzialgleichung für Null-Geodäten lösen). Die Hilfsgößen sind nicht-messbare weil koordinaten-abhängige Schein-Geschwindigkeiten. Messbare Daten wie die Laborzeit des Radar-Echos hängen nicht von der Koordinatenwahl ab.

Anmerkung. Die ortsvariable Geschwindigkeit funktioniert gut als Rechentrick, behindert aber die geometrische Interpretation: Im Kleinen ist die Lichtgeschwindigkeit erzkonstant, nämlich homogen und isotrop gleich c in Normalkoordinaten, also in lokalen Inertialsystemen um jeden Raumzeit-Punkt. Nur streckt und krümmt sich stellenweise der Raum und die Zeit macht "Pausen". Deshalb braucht das 'Licht' länger, wenn es an der Sonne vorbei streicht. Ein ähnlicher Bluff versieht die Raumzeit mit dielektrischen und magnetischen Permeabilitäten $ϵ=\mu ={\gamma }_G$.

Perihel-Bewegung der Merkur-Bahn

Bestimmungsstücke der elliptischen Planetenbahn sind

• a,b große und kleine Halbachse
• $e:=\sqrt{1-(b/a{)}^2}$ Exzentrizität. Brennpunkte bei ±a·e vom Zentrum auf der großen Achse.
• Perihel und Aphel: $a\cdot (1\mp e)=p/(1\pm e);(ap=b^2)$ (min,max Abstand vom Brennpunkt)

Nach Einstein rückt der Perihelwinkel bei jedem Umlauf vor,

$\mathrm{\Delta }\varphi =3\pi \cdot (r_S/p);p=a(1-e^2);r_S=2GM/c^2=$ Schwarzschild-Radius der Sonne ≈ 3 km.

Merkur: e= 0,2036, p≈ 57 Gm, T≈ 88 d,

Δφ ≈ 43 Winkelsekunden/Jahrhundert.

Gravitationsgesetz der Allgemeinen Relativitätstheorie

Die Einstein-Gleichungen

Vorbemerkung. Die Größen im Folgenden sind Felder, also glatte Funktionen, die als Definitionsbereich die 4-dimensionale Raumzeit-Mannigfaltigkeit haben, zumindest eine Teilmenge davon. Die Indizes ihrer Werte-Komponenten beziehen sich zwar auf eine Koordinatenwahl, aber die Gleichungen sehen in allen Koordinaten gleich aus. Das stand ganz vorne bei den Anforderungen an die Theorie. Die geometrisch orientierte Mathematik, Differenzialgeometrie und Tensoranalysis, war das passende Werkzeug.

Der Wertebereich der Vektor- und Tensor-Felder kann von Punkt zu Punkt verschieden "orientiert" sein, wie etwa die Tangentialebenen einer hügeligen Landschaft. Der Feldwert am Punkt p liegt in einer "privaten" Tangentialmenge T(p) des Punktes. In streng formaler Geometrie heißen Felder "Schnitte durch Faserbündel". Die N-Tupel-Komponenten der Feldwerte transformieren sich beim Koordinatenwechel kovariant. Das heißt, punktweise linear mit einer Gruppendarstellung der Jacobimatrix: algebraisch kombiniert aus den Elementen derselben, ihrer Inversen und ihrer Determinanten. Nur Skalarfelder sind invariant.

Moderne Texte lehren Differenzialgeometrie weitgehend mit Axiomen, Definitionen, Sätzen und Beweisen, die ganz ohne Koordinaten auskommen. Die Abstraktion unterstreicht die Willkür solcher Bezugssysteme, erreicht mathematische Eleganz, verjagt Indexwälder aus den Gleichungen. Dann und wann beim konkreten Rechnen muss die Physik sich aber doch damit plagen.

Hier kommt altbackener Unterricht mit Koordinatendarstellungen. Das sind Funktionen $x^{\mu }(p),\text{ wo }p\in M$ ein allgemeiner Punkt der Raumzeit-Mannigfaltigkeit ist. p und M und die Felder auf M existieren, bevor überhaupt jemand mit Koordinaten kommt und darauf bezogene Messungen vornimmt.

Das Gravitationsgesetz der Allgemeinen Relativitätstheorie lautet:

$G_{\mu \nu }=\kappa \cdot T_{\mu \nu }\text{wobei }{G}_{\mu \nu }:=R_{\mu \nu }-g_{\mu \nu }\cdot \frac{R}{2}$

mit:

• $G_{\mu \nu }=\text{Einsteinscher Tensor}$ mit SI-Einheit 1/m²
• $T_{\mu \nu }=\text{Energie-Impuls-Tensor}$ mit SI-Einheit J/m³
• $R_{\mu \nu }=\text{Ricci-Tensor}$ mit SI-Einheit 1/m²
• $g_{\mu \nu }=\text{(allgemeiner) metrischer Tensor}$ mit SI-Einheit 1
• $R=g^{\mu \nu }{R}_{\mu \nu }=\text{Ricci-Skalar}$ mit SI-Einheit 1/m²
• $\mu ,\nu =\text{Indizes (0, 1, 2, 3)}$
• $\kappa :=\frac{8\pi G}{c^4}=\text{Einsteinkonstante}$ mit SI-Einheit $2,07650\cdot 10^{-43}$ 1/N
• $G=\text{Gravitationskonstante}$ mit SI-Einheit $6,67408\cdot 10^{-11}$ m³/s²kg
• $c=\text{Lichtgeschwindigkeit im flachen Vakuum}$ mit SI-Einheit $2,99792458\cdot 10^8$ m/s
• $\pi =\text{Kreiszahl}$

Der Energie-Impuls-Tensor T ist das Feld der in der Raumzeit verteilten, sich bewegenden Materie und enthält die Informationen über die Dichte und Strömung von Massen, Energien, Impulsen. Energie und Masse sind äquivalent und 'fühlen' und erzeugen Gravitation.

Die Materie verursacht die verformte Metrik g der Raumzeit, genannt das Gravitationsfeld:

$d{s}^2=g_{\mu \nu }(x)\cdot (d{x}^{\mu })(d{x}^{\nu })=g_{00}\cdot (cdt{)}^2+(g_{0i}+g_{i0})\cdot (cdt)(d{x}^i)+g_{ik}\cdot (d{x}^i)(d{x}^k)(i,k=1,2,3).$

Das Ricci-Tensorfeld R ergibt sich in 2 Schritten aus Ableitungen dieses metrischen Feldes $g_{\mu \nu }(x)$, hängt nicht von einer Koordinatenwahl ab und charakterisiert die Krümmungen der Geometrie von Raum und Zeit:

${\mathrm{\Gamma }}_{\mu \rho \sigma }=g_{\mu \nu }{\mathrm{\Gamma }}_{\rho \sigma }^{\nu }=\frac{1}{2}(\frac{\partial g_{\mu \rho }}{\partial x^{\sigma }}+\frac{\partial g_{\mu \sigma }}{\partial x^{\rho }}-\frac{\partial g_{\rho \sigma }}{\partial x^{\mu }})$(Christoffel-Funktionen)

$R_{\mu \nu }=\frac{\partial {\mathrm{\Gamma }}_{\mu \rho }^{\rho }}{\partial x^{\nu }}-\frac{\partial {\mathrm{\Gamma }}_{\mu \nu }^{\rho }}{\partial x^{\rho }}+{\mathrm{\Gamma }}_{\mu \sigma }^{\rho }{\mathrm{\Gamma }}_{\nu \rho }^{\sigma }-{\mathrm{\Gamma }}_{\mu \nu }^{\rho }{\mathrm{\Gamma }}_{\sigma \rho }^{\sigma }$(Ricci-Tensor)

Ein "Operator" führt also vom Tensor g nach G:

$𝐠\mapsto 𝐆\{𝐠\}=𝐑-\frac{R}{2}\cdot 𝐠:G_{\mu \nu }=R_{\mu \nu }-\frac{1}{2}\cdot g_{\mu \nu }\cdot g^{\rho \sigma }{R}_{\rho \sigma },\text{ wo }{g}_{\mu \rho }{g}^{\rho \nu }={\delta }_{\mu }^{\nu }.$

Symbol g mit Hoch-Indizes ist dual zum g-Tensor, siehe unten. Es gilt ${\mathrm{\Gamma }}_{\sigma \rho }^{\mu }=g^{\mu \nu }{\mathrm{\Gamma }}_{\nu \sigma \rho }.$

Die Feldgleichungen G{g} = κ·T sind nichtlineare partielle Differenzialgleichungen für g, wenn der Zustand der strömenden Materie, das Tensorfeld T, bekannt ist. Im linearen, statischen Vorgängermodell der Gravitation gab es statt T die einfache Dichteverteilung ρ und statt g das skalare Potenzial Φ. Und die Gleichung lautete –ΔΦ = (4πG)·ρ. Im neueren Modell spielt die Zeit mit. Das g-Feld hat Eigendynamik, Wellenausbreitung, Energietransport.

Anmerkung. Warum ist G so kompliziert? Der zeitunabhängige Laplace-Operator Δ ist nicht einmal Lorentz-invariant, sondern ist Galilei-invariant. Dagegen ist der Tensor-Operator G{·} allgemein kovariant (Pflicht!) und praktisch der einzige der nötigen (divergenzfreien) Art. Jemand musste ihn finden (Hilbert kurz vor Einstein, sagt man).

Die Schwarzschild-Metrik ist die kugelsymmetrische, statische Lösung der Differenzialgleichungen außerhalb der Materie (T = 0), die als Asymptote die flache Minkowski-Metrik hat.

Konvention: Griechische Indizes haben den Wertebereich {0,1,2,3} und die lateinischen {1,2,3}. In jedem Term wird über doppelt vorhandene Indizes summiert, wenn einer tief und der andere hoch steht.

Anmerkung. Faktoren wie $(d{x}^{\mu })$ werden gern hemdsärmelig als "kleine Abweichungen" behandelt, und so verstandene Berechnungen funktionieren. Streng mathematisch-technisch sind sie aber 1-Formen, äußere Ableitungen d der Koordinatenfunktionen.

Bewegung von Körpern im Gravitationsfeld

Der freie Fall, also die Bewegung bei Schwerelosigkeit, eines Testkörpers ('Raumsonde') verläuft auf einer zeitartigen geodätischen Kurve.

Vierevektor x(s) ist Funktion des reellen Parameters s.

$\frac{d{x}^{\mu }}{ds}=u^{\mu }$ (Vierergeschwindigkeit)

$\frac{d{u}^{\mu }}{ds}=-{\mathrm{\Gamma }}_{\nu \rho }^{\mu }\cdot u^{\nu }\cdot u^{\rho }$ (Viererbeschleunigung)

Die Christoffelschen Γ=Γ(x(s)) sind abgeleitet von $g_{\mu \nu }(x(s))$.

$g_{\mu \nu }{u}^{\mu }{u}^{\nu }>0$ ist konstant als Funktion von s.

$\overline{x}(\overline{s})=x(s);\overline{s}=a\cdot s+b;a>0$ löst die selbe Gleichung (s = affiner Parameter).

Mit der Anfangsbedingung $g_{\mu \nu }{u}^{\mu }{u}^{\nu }=1$ misst der Parameter s die Eigenzeit (mal c) an Bord der Raumsonde.

Längs einer allgemeinen zeitartigen Weltlinie x(s) (die Sonde verwendet Raketen, steht auf dem Mond, usw.) wächst die Eigenzeit mit

$\tau (t)=\underset{0}{\overset{t}{\int }}\sqrt{g_{\mu \nu }(x(s))u^{\mu }(s)u^{\nu }(s)}ds$

Beispiel, der ruhende Punkt in der Schwarzschild-metrik "verbraucht" weniger als die Koordinatenzeit.

$x(s)=(s,\overrightarrow{r})\Rightarrow \tau (t)=\underset{0}{\overset{t}{\int }}\sqrt{g(u,u)}ds=t/{\gamma }_G(r)<t$

Lichtstrahlen sind Null-Geodäten. Sie haben keine definierte 'Zeit'.

$x(s);u^{\mu }=d{x}^{\mu }/ds;u^{\mu }{g}_{\mu \nu }{u}^{\nu }=0;(d{u}^{\mu }/ds)=-{\mathrm{\Gamma }}_{\nu \rho }^{\mu }{u}^{\nu }{u}^{\rho }$

Anmerkung. Die Geodäten der Riemannschen Geometrie lösen das Variationsproblem, Punkte mit Linien kleinster Länge zu verbinden. Zeitartige Geodäten der Gravitation allerdings sind oft lokale Extrema mit maximaler Eigenzeit! Das Zwillingsphänomen oder: Bewegung hält jung. Bob, der schwerelos ohne sich zu regen von A nach B kommt, altert mehr als Alice, die nach Beschleunigungen, Umwegen, gefühlter Erdanziehung, zum Treffpunkt B gelangt.

Motivation. In rotierenden und allgemein in beschleunigten Systemen benutzt die nichtrelativistische Mechanik die massen-proportionalen Trägheitskräfte wie Zentrifugal- und Coriolis-Kraft. Sie werden Scheinkräfte genannt, da sie in Inertialsystemen verschwinden. Die Gleichheit von schwerer und träger Masse führte der Entdecker der ART darauf zurück, dass auch die Gravitation eine Art Scheinkraft ist. Im frei fallenden Aufzug gleich Null. Trägheits- und Schwerkräfte werden äquivalent und formen zusammen die Bahnbewegung geometrisch, also zwangsweise koordinaten-kovariant. Die Geodätenformel leistet genau das.

Varianten der Schwarzschild-Metrik

${\gamma }_G(r)={(1-\frac{r}{r_S}-\frac{\lambda r^2}{3})}^{-1/2}$

enstpricht einer Einstein-Gleichung mit kosmologischem Term

$R_{\mu \nu }-\frac{1}{2}R{g}_{\mu \nu }+\lambda g_{\mu \nu }=\kappa T_{\mu \nu }$

Anmerkung. In Dimension 4 unter sehr schwachen Voraussetzungen sind dies die einzig möglichen Tensor-Differenzialgleichungen, die ein Extremalproblem lösen mit der Eigenschaft:

• Allgemein-relativistisch ( = koordinaten-kovariant = geometrisch ).

Anmerkung. Erhaltungssätze machen die Divergenz des Energie-Impuls-Tensors zu Null. Einsteins Gleichung koppelt die Metrik an den divergenzfreien Tensor so einfach wie es geht, besagt folgender Satz von Weyl/Cartan:

Wenn eine lokale Tensorfunktion T(g) eines (0,2)-Tensors g kovariant-divergenzfrei ist und zweite Ableitungen von g höchstens linear enthält, dann ist T(g) eine Linearkombination aus dem Einstein-Tensor G(g) und g selbst.

Reissner-Nordström-Metrik: Die Modifikation

${\gamma }_G(r)={(1-\frac{r}{r_S}+\frac{q^2}{r^2})}^{-1/2}$

entspricht einer elektrisch geladenen zentralen Masse und erfüllt die gekoppelten Einstein-Maxwell-Gleichungen.

Die innere Schwarzschild-Lösung füllt eine Kugel mit idealem druckfreiem Medium, kosmischem Staub. Sie hat keine Singularität am Ursprung und die Form

$d{s}^2=(a-bf(r){)}^2(cdt{)}^2-(1/f{)}^2(dr{)}^2-r^2(d{\theta }^2+{\sin }^2\theta d{\varphi }^2)$

An die Vakuum-Metrik außen anschließen kann man mit drei Radien $r_X>r_{*}>r_S:$

$r_S$ : Divergenz der Vakuum-Schwarzschild-Lösung

$r_{*}$ : Stern-Radius, Stetigkeitspunkt für Außen- und Innenlösung

$r_X$ : Divergenz der Innenraum-Lösung, Funktion von $(r_S,r_{*})$

$f(r)=(1-(r/r_X{)}^2{)}^{1/2}$

$1-r_S/r_{*}=1-r_{*}^2/r_X^2=(a-bf(r_{*}){)}^2$

$b=1/2;a=(3/2)\cdot f(r_{*});r_X=r_{*}\cdot \sqrt{r_{*}/r_S}$

Eigenschaften des metrischen Feldes

• Ist zugleich Gravitationspotenzial und Maß für Länge, Zeit, Höchstgeschwindigkeit.

• $g_{\mu \nu }=g_{\nu \mu }$; Signatur der Eigenwerte von g: (+ – – –).

• Das Newtonsche Potenzial der schwachen Gravitation $(\mathrm{\Phi }(\overrightarrow{r})<0;\mathrm{\Phi }(\mathrm{\infty })=0)$ steckt im metrischen Tensor:

$x=(t,\overrightarrow{r});g_{00}(x)=1+2\mathrm{\Phi }(\overrightarrow{r})/c^2={{\gamma }_G}^{-2}.$

• Zu jedem Raumzeit-Punkt x gibt es 'lokal-inertiale' Koordinaten, so dass genau für x die Minkowski-Metrik zutrifft ('freier Fall'):

$g_{\mu \nu }(x)=\text{diag}(1,-1,-1,-1);{\mathrm{\Gamma }}_{\mu \nu }^{\rho }(x)=0.$

Solche Bezugssysteme heißen Normalkoordinaten am Pol x.

• g definiert einen affinen Zusammenhang. Eine kovariante Ableitung, deren Null-Richtungen anzeigen, wo auf Vektorfeldern Längen und Winkel ($\simeq g_{\mu \nu }{a}^{\mu }{b}^{\nu }$ ) erhalten bleiben:

$D_{\mu }{a}^{\nu }=:a_{;\mu }^{\nu }=(\partial a^{\nu }/\partial x^{\mu })+{\mathrm{\Gamma }}_{\rho \mu }^{\nu }{a}^{\rho }$

• g definiert geodätische Kurven: die kovariante Ableitung der Tangenten ('Vierergeschwindigkeit') in ihrer eigenen Richtung ist Null.

• g definiert Tensor-Transformationen (Heben und Senken von Indizes).

Definition $g^{\mu \nu }:g^{\mu \rho }{g}_{\rho \nu }={\delta }_{\nu }^{\mu }=g_{\nu \rho }{g}^{\rho \mu }.$

(dualer Tensor, ist rechnerisch die inverse Matrix)

Die Metrik bindet zu jedem Index ein duales Tensorpaar T, hier mit unbeteiligten Indexmengen A,B:

$T_B^{A\mu }=g^{\mu \nu }{T}_{B\nu }^A;T_{B\mu }^A=g_{\mu \nu }{T}_B^{A\nu }.$

• Die kovariante Ableitung wird per Produktregel erweitert auf Tensoren jeden Typs und bildet (r,s)-Tensoren auf (r,s+1)-Tensoren ab:

$D_{\rho }{T}_{B\nu }^{A\mu }=:T_{B\nu ;\rho }^{A\mu }=(\partial T_{B\nu }^{A\mu }/\partial x^{\rho })+{\mathrm{\Gamma }}_{\sigma \rho }^{\mu }{T}_{B\nu }^{A\sigma }+...-{\mathrm{\Gamma }}_{\nu \rho }^{\sigma }{T}_{B\sigma }^{A\mu }-...$

(Addition für jeden hohen, Subtraktion für jeden tiefen Index)

• g definiert ein vierdimensionales Volumen-Maß für koordinaten-unabhängige Integrale,

$d^{4}v:=\sqrt{|\det [g_{\mu \nu }]|}d{x}^{0}d{x}^{1}d{x}^{2}d{x}^3$

Der Faktor wird abgekürzt notiert als $\sqrt{-g}$, denn $g=\det [g_{\mu \nu }]<0.$

• Aus Bianchi-Identitäten folgt: Die kovariante Divergenz des Einstein-Tensors ist Null,

$G_{\mu \nu }=R_{\mu \nu }-\frac{1}{2}{g}_{\mu \nu }\cdot R;G_{\nu }^{\mu }:=g^{\mu \rho }{G}_{\rho \nu };D_{\mu }{G}_{\nu }^{\mu }=G_{\nu ;\mu }^{\mu }=0.$

• Rechenregel zwischen gewöhnlicher und kovarianter Divergenz und dem Maß-Faktor:

$\sqrt{-g}{D}_{\mu }{T}_B^{A\mu }={\partial }_{\mu }[\sqrt{-g}{T}_B^{A\mu }]$

Anmerkung. Gewöhnliche Ableitungen allein zerstören die Koordinaten-Kovarianz, definierende Eigenschaft eines Tensorfeldes.

Die kovariante Ableitung von Skalaren ist die gewöhnliche, ihr Gradient.

Für die kovariante Ableitung, hier entweder mit "D"-Präfix oder mit Semikolon-verziertem Index notiert, kommt in der Literatur mancherlei andere Symbolik vor.

Anmerkung. Schon ohne Metrik sind duale ('kontragredient' transformierende) Vektor- und Tensorräume an jedem Punkt angeheftet.

• Tangentialraum mathematisch = Menge der Richtungsableitungen $a^{\mu }{\partial }_{\mu },$

• Sein Dualraum mathematisch = Menge der Pfaffschen 1-Formen $b_{\mu }d{x}^{\mu }.$

Ein Tensor vom Typ (r,s) am Punkt x ist ein Element des Tensorprodukts aus r Faktoren Tangentialraum und s Faktoren Dualraum. Tensoren sind die Bausteine der Theorie, weil sie unabhängig von Koordinaten existieren. Nur ihre Darstellung wird linear transformiert.

Anmerkung. Die Γ-Christoffel-Symbole enthalten Schwerkraft-plus-Trägheitskräfte. Sie sind keine Tensoren und können in passenden Bezugssystemen an gezielten Punkten verschwinden: Äquivalenzprinzip, Schwere=Träge Masse, Gravitation = verformte Geometrie statt traditionelle 'Kraft'.

Anmerkung. Die Gamma-Symbole folgen eindeutig aus zwei Forderungen

• ${\mathrm{\Gamma }}_{\nu \rho }^{\mu }={\mathrm{\Gamma }}_{\rho \nu }^{\mu }$ (Symmetrie)
• $D_{\rho }{g}_{\mu \nu }=0$ (Kovariante Ableitung von g = Null)

Die Krümmung

Anders als die gewöhnlichen partiellen Ableitungen vertauschen die kovarianten nicht. Jedoch ist ihr Kommutator eine lineare Abbildung im Tangentialraum, ein Tensor vom Typ (1,3).

Mit Tangentialvektoren $a,b,c\in T_x(M):$

$(D_{a}c{)}^{\mu }=a^{\nu }(\partial c^{\mu }/\partial x^{\nu }+{\mathrm{\Gamma }}_{\rho \nu }^{\mu }{c}^{\rho })$

(kovariante Richtungsableitung ist linear in a, nicht in c)

$[D_a,D_b]c:=D_a{D}_{b}c-D_b{D}_{a}c$

$([D_a,D_b]c{)}^{\mu }=:a^{\nu }{b}^{\rho }\cdot R_{\sigma \nu \rho }^{\mu }{c}^{\sigma }$ (Krümmungstensor, multilinear)

$R_{\nu \rho \sigma }^{\mu }=(\partial {\mathrm{\Gamma }}_{\nu \rho }^{\mu }/\partial x^{\sigma })-(\partial {\mathrm{\Gamma }}_{\nu \sigma }^{\mu }/\partial x^{\rho })+{\mathrm{\Gamma }}_{\tau \rho }^{\mu }{\mathrm{\Gamma }}_{\nu \sigma }^{\tau }-{\mathrm{\Gamma }}_{\tau \sigma }^{\mu }{\mathrm{\Gamma }}_{\nu \rho }^{\tau }.$

Der Ricci-Tensor, die Kontraktion (= Spurbildung, Verjüngung) über den ersten und letzten Index des Riemannschen Krümmungstensors, ist symmetrisch.

$R_{\mu \nu }=R_{\mu \nu \rho }^{\rho };R_{\mu \nu }=R_{\nu \mu }$

Bianchi-Identität. Eine zyklische Summe von kovarianten Ableitungen über das antisymmetrische Indexpaar des Krümmungstensors ist Null.

$D_{\tau }{R}_{\nu \rho \sigma }^{\mu }+D_{\rho }{R}_{\nu \sigma \tau }^{\mu }+D_{\sigma }{R}_{\nu \tau \rho }^{\mu }=0$

Der affine Zusammenhang erlaubt es, Vierervektoren a 'möglichst starr' entlang von Kurven x(s) zu transportieren mittels der Vektor-Differenzialgleichung

$u^{\mu }=d{x}^{\mu }/ds;0=D{a}^{\mu }/ds:=(d{a}^{\mu }/ds)+{\mathrm{\Gamma }}_{\nu \rho }^{\mu }{a}^{\nu }{u}^{\rho }$

Speziell ist 0=Du/ds die Gleichung von geodätischen Kurven x(s).

Die Krümmung verschwindet genau dann, wenn der Vektor-Transport über geschlossene Kurven stets die Identität ergibt. Andernfalls erzeugen solche Transporte eine nichttriviale Gruppe von linearen Transformationen. Je nach Topologie der Mannigfaltigkeit kann diese Gruppe deutlich größer sein für globale als für lokale Kurven.

Eine Lösung der Transportgleichung wird als Menge von parallelen Vektoren längs der Kurve interpretiert. Nur im flachen Räum gibt es einen globalen Parallelismus.

Definition Konstante Krümmung.

Eine Raumzeit hat konstante Krümmung, wenn der Krümmungstensor eindeutig durch den Ricci-Skalar bestimmt ist.

$R_{\mu \nu \rho \sigma }=g_{\mu \tau }{R}_{\nu \rho \sigma }^{\tau }=(1/12)\cdot R(g_{\mu \rho }{g}_{\nu \sigma }-g_{\mu \sigma }{g}_{\nu \rho })$

Äquivalent: $R_{\mu \nu }=\frac{1}{4}R{g}_{\mu \nu }$

Äquivalent: der Weyl-Tensor ist Null. Formel?

Aus kontraktierten Bianchi-Identitäten folgt:

• R ist konstant auf der Raumzeit. Die Raumzeit ist homogen.
• Einstein-Tensor $G_{\mu \nu }=R_{\mu \nu }-\frac{1}{2}{g}_{\mu \nu }=-\frac{1}{4}R{g}_{\mu \nu }$
• Die Raumzeit ist ein Vakuum mit der kosmologischen Konstanten λ=R/4.

Der Fall R>0 heißt ein De-Sitter-Raum, R<0 ist ein Anti-De-Sitter-Raum.

Weyl-Tensorfeld

Ein Krümmungstensor R allgemein auf einer Mannigfaltigkeit der Dimension n, ausgestattet mit der Metrik g, kommt gern mit Indizes abc... daher und hat folgende Symmetrien:

$R_{abcd}=-R_{bacd};R_{abcd}=-R_{abdc};R_{abcd}=R_{cdab};$

$R_{abcd}+R_{adbc}+R_{acdb}=0.$

Der symmetrische Ricci-Tensor $R_{bd}=g^{ac}{R}_{abcd}$ hat n(n+1)/2 Komponenten. Seine Verjüngung sei der Ricci-Skalar $R=g^{bd}{R}_{bd}.$

Der Krümmungstensor hat n²(n²–1)/12 algebraisch unabhängige Zahlen, d.h. Differenzialgleichungen wie Bianchi nicht berücksichtigt. Für n=3 zählen wir je 6, der Ricci-Tensor bestimmt also den Krümmungstensor.

Für n>3 erfasst der Weyl-Tensor C den Teil des Tensors R, der nicht schon im verjüngten Abkömmling Ricci enthalten ist.

$C_{abcd}:=R_{abcd}+\frac{2}{n-2}\cdot (g_{ad}{R}_{cb}-g_{ac}{R}_{db}+g_{bc}{R}_{da}-g_{bd}{R}_{ca})+\frac{2}{(n-1)(n-2)}\cdot R\cdot (g_{ac}{g}_{db}-g_{ad}{g}_{cb}).$

Der Weyl-Tensor hat alle Symmetrien des Tensors R und ist derart gemacht, dass folgende Verjüngung verschwindet: $0=g^{ac}{C}_{abcd}.$

Zwei Metriken, die sich nur durch einen Skalarfeld-Faktor unterscheiden, haben den gleichen Weyl-Tensor: C ist konform-invariant.

Für n=4 bestimmen die Einstein-Gleichungen direkt den Ricci-Tensor. Die weiteren Komponenten der Krümmung sind Lösung von Differenzialgleichungen für den Weyl-Tensor, welche zu den Bianchi-Identitäten äquivalent sind:

$D_d{C}^{abcd}=D^b{R}^{ca}-D^a{R}^{cb}+\frac{1}{6}(g^{cb}{D}^{a}R-g^{ca}{D}^{b}R).$

Tensor C entsteht anschaulich als sekundärer Effekt der Krümmung nach einer weiteren Ausbreitung ihres primären Ricci-Anteils.

Kruskal-Koordinaten

Die Schwarzschild Metrik (Zeit als ct in Metern, Winkelanteil als W abgekürzt) hat die Form

G = f(r)(dt)² - (1/f(r))(dr)² - r²·W.

f(r) = 1 - R/r hat eine störende Nullstelle bei r=R.

Mit vier Tricks geht es vom Koordinatenpaar (t,r) zu einem System (t',r') ohne die Divergenz bei R.

• Transformation r→s, so dass (dt)² und (ds)² den gleichen Faktor f(r) haben,

• Transformation (t,s)→(v,w) auf antidiagonale Metrik (dv)·(dw),

• Skalierung v'∝exp(v), w'∝exp(-w) so dass (dv')(dw')∝ function(r)·(dv)(dw),

• Rücktransformation auf Diagonalform ((dt')² - (dr')²).

Die nicht-statische Kruskal-Form der Metrik

G = F²(t',r')·[(dt')² - (dr')²] - r²(t',r')·W

erweitert stetig und glatt den Definitionsbereich auf alle r>0.

$(ds)=(1/f)(dr)\Rightarrow s(r)=\int d{r}^{\prime }/f(r^{\prime })=r+R\ln (r-R)$

$v=t+s,w=t-s\Rightarrow G=f(d{t}^2-d{s}^2)-r^{2}W=f\cdot (dv)(dw)-r^{2}W$

$v^{\prime }=\exp (v/2R),w^{\prime }=-\exp (-w/2R)\Rightarrow \exp ((v-w)/2R)=\exp (s/R)=(R-r)\cdot \exp (r/R)$

$(d{v}^{\prime })(d{w}^{\prime })=\exp ((v-w)/2R)/(4R^2)\cdot (dv)(dw)=:(dv)(dw)/F^2$

$t^{\prime }=\frac{1}{2}(v^{\prime }+w^{\prime }),r^{\prime }=\frac{1}{2}(v^{\prime }-w^{\prime });(d{v}^{\prime })(d{w}^{\prime })=(d{t}^{\prime }{)}^2-(d{r}^{\prime }{)}^2$

$r=r(t^{\prime },r^{\prime })\text{ wobei }(t{\text{'}}^2-r{\text{'}}^2)=v^{\prime }{w}^{\prime }=-(r-R)\exp (r/R)$

$F^2=F^2(t^{\prime },r^{\prime })=\exp (-r/R)\cdot 4R^2/r$

Die zwei Quadranten r'>|t'| und r'<-|t'| sind abgebildet auf Schwarzschild-Außenzonen r>R, die anderen auf Innenräume. Zwei Exemplare Raumzeit sind über gesperrte Brücken (Horizont) verbunden, sozusagen.

Zentrale Masse in Rotation (Kerr-Metrik)

Diese Metrik mit Koordinatenzeit-unabhängigen Termen ist anzuwenden außerhalb eines Himmelskörpers in Drehbewegung. Sie hat zwei Parameter a,b von der Dimension Länge. a misst den Drehimpuls und b entspricht dem Schwarzschild-Radius. Die Formel ist

1. symmetrisch um eine z-Achse

2. nicht statisch sondern stationär: hat Mischterme '(dt)(dx)' etc.

$d{s}^2=(cdt{)}^2-(dx{)}^2-(dy{)}^2-(dz{)}^2-\frac{b{r}^3}{r^4+a^2{z}^2}\times$

${((cdt)+\frac{z}{r}(dz)+\frac{r[x(dx)+y(dy)]-a[x(dy)-y(dx)]}{r^2+a^2)})}^2$

Die Variable r=r(x,y,z) ist eine Lösung von

$r^4-(x^2+y^2+z^2-a^2)r^2-a^2{z}^2=0.$

An einen Ring auf der xy-Ebene divergiert die Metrik mit r=0. Die Lösungsmannigfaltigkeit hat zwei Sätze von xyz-Koordinaten, die an der zentralen Scheibe wechselseitig verklebt sind.

Energie-Impuls-Tensor des Maxwell-Feldes

Alle wichtigen Feldgleichungen können mit der Variationsrechnung als Kriterium für eine stationäre Wirkung dienen. Damit ergibt sich automatisch, wie etwa Materie und Elektromagnetismus ein Gravitationsfeld anregen und wie ein g-Feld umgekehrt auf diese Partner einwirkt. Dass Probemassen auf Geodäten entlang fliegen, folgt aus dem selben Wirkungsprinzip wie die Einstein-Gleichungen. Systematisch enthält solcher Code die ganze Wechselwirkung, gegenseitige Einflussnahme.

Das stationäre Funktional der Felder ist ein koordinaten-invariantes Integral $S=\int d^{4}xL$ über eine Dichte, die aus Feldkomponenten und ihren Ableitungen gebaut ist. Das g-Feld selbst hat mit $\sqrt{-g}$ einen Dichtefaktor, und im Ricci-Skalar R sind seine Ableitungen verpackt. Also ist

$L_g:=R\cdot \sqrt{-g}$

ein brauchbarer Integrand, nämlich die Einstein-Hilbert-Lagrangedichte. Die Euler-Lagrange-Variation $\delta S/\delta g_{\mu \nu }$ liefert den Einstein-Tensor. Dessen Verschwinden ergibt die Einstein-Gleichungen im Vakuum.

Die Variation der Feldkomponente f einer Lagrange-Dichte

$\overline{L}(x)=L(x,f(x),{\partial }_{\mu }f(x),{\partial }_{\mu }{\partial }_{\nu }f(x)),S=\int d^{4}x\overline{L}(x),$

ist die reellwertige Dichte, an jedem Punkt x auszuwerten:

$\frac{\delta S}{\delta f}=\frac{\partial L}{\partial f}-{\partial }_{\mu }\frac{\partial L}{\partial ({\partial }_{\mu }f)}+{\partial }_{\mu }{\partial }_{\nu }\frac{\partial L}{\partial ({\partial }_{\mu }{\partial }_{\nu }f)}.$

Zusatzterme zum g-Feld-Integranden wären skalare Funktionen anderer Felder, mal $\sqrt{-g}$, womit sie unweigerlich an die Gravitation koppeln. Die Feldfunktionen haben mindestens Quadratisches, linear allein gibt die Variation solcher Felder zu wenig her.

Die Eigendynamik des g-Feldes steckt in $L_g$, also in R. An die anderen Felder soll g koppeln ohne seine Ableitungen in Dichten $L_k(g,a,b,...)$. Die Euler-Lagrange-Variation

$\delta S_k/\delta (g_{\mu \nu })=\partial L_k/\partial g_{\mu \nu }=\frac{1}{2}\sqrt{-g}\cdot T^{\mu \nu }$

ist dann per Definition der Energie-Impuls-Tensor (mal $\sqrt{-g}$) der Felder, die Gravitation erzeugen.

(Rechenregel am Rande: Wird nach einer Größe mit Tief-Index abgeleitet, erhält die andere Seite der Gleichung einen Hoch-Index. Und umgekehrt. Daher auch die Operator-Notation ${\partial }_{\mu }f:=\partial f/\partial x^{\mu }.$)

Beispiel Vektorfeld a. Es soll eine Kinetik haben, also mit Ableitungen auftreten. Quadratisch, so einfach es geht. Sei a eine 1-Form $a_{\mu }d{x}^{\mu }$. Nun gilt, dass Gradientenfelder (${\partial }_{\mu }{a}_{\nu }={\partial }_{\nu }{a}_{\mu }$) nicht zu invarianten Lagrange-Dichten beitragen. Also baut man die Dichte aus Termen

$f_{\mu \nu }={\partial }_{\mu }{a}_{\nu }-{\partial }_{\nu }{a}_{\mu }.$

Das ist ein Tensor, nämlich die 2-Form da, äußere Ableitung der Form a. (Auf der Grassmann-Algebra der k-Formen ist allgemein dieser d-Operator automatisch kovariant, ohne Hilfsgrößen Γ). Ansatz

$L_k=-\sqrt{-g}\cdot [(f_{\mu \nu }{f}^{\mu \nu })/(16\pi )-a_{\mu }{j}^{\mu }].$

Der Faktor entspricht Maßeinheiten, deren Einzelheiten hier übergangen werden. Probeweise koppelt noch ein Strom-Feld j linear an. Das g-Feld fließt implizit über das Heben der Indizes ein und ermöglicht einen invarianten bilinearen Skalar.

Der Energie-Impuls-Tensor des Vektorfelds a hat die Formel

$T_{\mu \nu }=(1/4\pi )\cdot [-f_{\mu \rho }{f}_{\nu \sigma }{g}^{\rho \sigma }+\frac{1}{4}(f_{\rho \sigma }{f}^{\rho \sigma })g_{\mu \nu }].$

Die Variation des Lagrange-Funktionals S nach $a_{\nu }$ ergibt die Feldgleichung

$D_{\mu }{f}^{\mu \nu }=-4\pi j^{\nu },$

und die Geschlossenheit (df=0) der exakten 2-Form f (=da) bedeutet

${\partial }_{\rho }{f}_{\mu \nu }+{\partial }_{\mu }{f}_{\nu \rho }+{\partial }_{\nu }{f}_{\rho \mu }=0.$

In der Minkowski-Metrik und nach Raum und Zeit aufgeschlüsselt bekommen die Gleichungen folgende Form:

$f_{\mu \nu }=\left(\begin{array}{cccc}0& E_x& E_y& E_z\\ -E_x& 0& -H_z& H_y\\ -E_y& H_z& 0& -H_x\\ -E_z& -H_y& H_x& 0\end{array}\right);\overrightarrow{E}=(E_x,E_y,E_z),\overrightarrow{H}=(H_x,H_y,H_z).$

Ladungs- und Stromdichte: $j^0=\rho ,\overrightarrow{j}=(j^1,j^2,j^3).$

Skalare Invariante: $f_{\mu \nu }{f}^{\mu \nu }={\overrightarrow{H}}^2-{\overrightarrow{E}}^2$

Pseudoskalare Invariante: ${ϵ}^{\mu \nu \rho \sigma }{f}_{\mu \nu }{f}_{\rho \sigma }=(\overrightarrow{E}\cdot \overrightarrow{H});$

$\{\begin{array}{cc}\overrightarrow{\mathrm{\nabla }}\times \overrightarrow{H}={\partial }_t\overrightarrow{E}+4\pi \overrightarrow{j};& \overrightarrow{\mathrm{\nabla }}\times \overrightarrow{E}=-{\partial }_t\overrightarrow{H};\\ (\overrightarrow{\mathrm{\nabla }}\cdot \overrightarrow{E})=4\pi \cdot \rho ;& (\overrightarrow{\mathrm{\nabla }}\cdot \overrightarrow{H})=0.\end{array}$(Maxwell-Gleichungen)

${\partial }_{\mu }{j}^{\mu }=(\overrightarrow{\mathrm{\nabla }}\cdot \overrightarrow{j})+{\partial }_t\rho =0$ (Ladungserhaltung).

Komponenten des Energie-Impuls-Tensors mit i,j,k = 1,2,3 = x,y,z:

$T^{00}=W=(1/8\pi )({\overrightarrow{E}}^2+{\overrightarrow{H}}^2)$ Energiedichte,

$T^{0i}=\overrightarrow{S}=(1/4\pi )\cdot \overrightarrow{E}\times \overrightarrow{H}$ Poynting-Vektor, Energiefluss,

$T^{jk}={\sigma }_{jk}=(1/4\pi )[-E_j{E}_k-H_j{H}_k+\frac{1}{2}{\delta }_{jk}({\overrightarrow{E}}^2+{\overrightarrow{H}}^2)]$ Maxwellscher Spannungstensor.

Fazit. Das Maxwellfeld und seine Energien und Impulse sind wohl die unvermeidliche Folge einer Variationsrechnung, die Vektorfeld und metrisches Tensorfeld vermischt. Die Einstein-Maxwell-Gleichungen gehören praktisch zur reinen Mathematik, Kapitel Geometrische Variationsprobleme in Dimension 4.

Regeln für Energie-Impuls-Tensoren. Ableitungen $(\partial X/\partial g_{\mu \nu })$ sind zu berechnen, als wären die 16 Komponenten unabhängige Variablen. Sonst würden in Summen bei Kettenregeln die nicht-diagonalen Terme irrtümlich verdoppelt.

$g:=\det [g_{\mu \nu }],g<0\Rightarrow \partial g/\partial g_{\mu \nu }=g\cdot g^{\mu \nu }\Rightarrow \partial \sqrt{-g}/\partial g_{\mu \nu }=\frac{1}{2}\sqrt{-g}\cdot g^{\mu \nu };$

$L=\sqrt{-g}\cdot \ell \Rightarrow \partial L/\partial g_{\mu \nu }=\sqrt{-g}\cdot [\frac{1}{2}{g}^{\mu \nu }\cdot \ell +(\partial \ell /\partial g_{\mu \nu })].$

Anmerkung. Ein allgemeines Funktional der Form

$S=\int d^{4}x\sqrt{-g}\cdot \ell (g,{\partial }_{\mu }g,...)$

mit einer invarianten skalaren Funktion definiert den Tensor T:

$\frac{1}{2}\sqrt{-g}\cdot T^{\mu \nu }:=(\delta S/\delta g_{\mu \nu }).$

Dieser ist kovariant-divergenzfrei, was aus der Invarianz von S unter allen "infinitesimalen Koordinatentransformationen" hergeleitet wird. Streng formuliert, sind das die Vektorfelder a(x), die lokale Ein-Parameter-Gruppen von Diffeomorphismen erzeugen über Differenzialgleichungen

$x\mapsto \overline{x}(t,x);{\partial }_t{\overline{x}}^{\mu }(t,x)=a^{\mu }(\overline{x}(t,x)).$

Anmerkung. In Abwesenheit von Gravitation wird aus Lagrangedichten der Form $L(f_i(x),({\partial }_{\mu }{f}_i)(x))$ der kanonische Energie-Impuls-Tensor gebildet,

${\mathrm{\Theta }}_{\nu }^{\mu }={\delta }_{\nu }^{\mu }\cdot L-\sum _i(\partial L/\partial ({\partial }_{\mu }{f}_i))\cdot ({\partial }_{\nu }{f}_i).$

Für Felder mit stationärer Wirkung ist er genau dann divergenzfrei, ${\partial }_{\mu }{\mathrm{\Theta }}_{\nu }^{\mu }=0$, wenn L nicht explizit von x abhängt. Diese vier Kontinuitäts-Gleichungen, nämlich für Energiedichte und Impulsdichte, sind ein Beispiel der Korrespondenz Symmetrien ←→ Erhaltungsgrößen: Die Translations-Invarianz in Zeit und Raum bedingt die Energie- und Impulserhaltung des Feldes {f}. Ein kanonischer Tensor ist leider nicht symmetrisch und braucht eine antisymmetrische, divergenzfreie Korrektur, bevor er an die Gravitation koppelt.

Energie-Impuls-Tensor des idealen Fluids

Ein Massenpunkt mit Vierergeschwindigkeit

$u^{\mu }(g_{\mu \nu }{u}^{\mu }{u}^{\nu }=1)$,

hat den Energie-Impuls-Vektor $(m{u}^0,m\overrightarrow{u})$, wenn Einheiten mit c=1 gelten. Ein Schwarm solcher Punkte soll kontinuierlich approximiert werden. Es gebe einen Dichteskalar ρ(x) und ein normiertes zeitartiges Vektorfeld u(x), so dass

$J^{\mu }=\sqrt{-g}\rho (x)u^{\mu }(x)=\sqrt{-g}{j}^{\mu }$

die Dichte der Masse und ihre Strömung an jedem Ort angibt. Der Volumenfaktor sorgt für invariante Integrale. Wegen der Erhaltung von Teilchenzahl soll die Kontinuitätsgleichung ${\partial }_{\mu }{J}^{\mu }=0$ gelten. Nach den Rechenregeln bedeutet das kovariant:

$D_{\mu }(\rho \cdot u^{\mu })=D_{\mu }{j}^{\mu }=0$.

Im Minkowski-Ruhesystem ist ρ die gewohnte Dichte, gleich Dichte der Ruheenergie. Bewegt sich der Schwarm ohne innere Wechselwirkung, beschreibt $\rho \cdot u^{\mu }$ die relativistische kinetische Energie und den Impuls.

Das Modell sieht abstoßende Teilchen vor, die sich mit Druck gegen die Verdichtung stemmen. Die totale Energiedichte bei Ruhe ist

$m(x)=\rho (x)\cdot (1+ϵ(\rho (x))),$

die potenzielle Energie macht die Teilchen schwerer. Die Kompressions-Energiedichte ε hat mit dem Druck p standardmäßig die Beziehung:

$p={\rho }^2(dϵ/d\rho ).$

Die Zustandsgleichung ε=ε(ρ) bzw. p=p(ρ) sei isentrop alias adiabatisch: es gebe keinen Wärmetausch, Temperatur sei irrelevant.

(Leider sind die Buchstaben "p" und "rho" zu ähnlich in Wiki-Typografie, bitte scharf hinsehen.)

Das Wirkungsprinzip nimmt eine stationäre Dichte der Gesamtenergie dieses idealen flüssigen Mediums an, in der Form:

$L_f(g,\rho ,u)=\sqrt{-g}\cdot m=\sqrt{-g}\cdot \rho (1+ϵ).$

Die Dichte L benutzt implizit ein Geschwindigkeitsfeld u mit

$D_{\mu }(\rho u^{\mu })=0,g_{\mu \nu }{u}^{\mu }{u}^{\nu }=1.$

$(dm/d\rho )=1+ϵ+p/\rho =(m+p)/\rho \Rightarrow$

$D_{\mu }(m{u}^{\mu })=(dm/d\rho )(D_{\mu }\rho )u^{\mu }+m(D_{\mu }{u}^{\mu })=$

$((m+p)/\rho )(-\rho D_{\mu }{u}^{\mu })+m{D}_{\mu }{u}^{\mu }=-p(D_{\mu }{u}^{\mu })\Rightarrow$

$(m+p)D_{\mu }{u}^{\mu }+(D_{\mu }m)u^{\mu }=0.$

Die leicht kniffelige Variationsrechnung geht über Felder von "Stromlinien". Eine beliebige Schar von Bahnkurven wird mit einem Tangenten-Vektorfeld $v^{\mu }(x)$ beschrieben. Mit einem metrischen Tensor g wird daraus das normierte $u^{\mu }=v^{\mu }/\sqrt{g(v,v)}$ projiziert. Dann werden $j^{\mu }(x),\rho (x)$ durch Zeit-Integration erzeugt von:

$D_{\mu }{j}^{\mu }=0,j^{\mu }=\rho u^{\mu },$

aus Anfangsbedingungen auf raumartiger Hyperfläche zur Zeit t=0.

Der gesuchte Tensor

$\frac{1}{2}{T}^{\mu \nu }=(\partial m/\partial g_{\mu \nu })+(m/2)g^{\mu \nu }=(m+p)/\rho \cdot (\partial \rho /\partial g_{\mu \nu })+(m{g}^{\mu \nu })/2$

wird mit einer magischen Formel berechnet.

$(1/\rho )(\partial \rho /\partial g_{\mu \nu })=(1/2)\cdot (u^{\mu }{u}^{\nu }-g^{\mu \nu })\Rightarrow$

$T^{\mu \nu }=2\cdot [(m+p)\cdot (u^{\mu }{u}^{\nu }-g^{\mu \nu })/2+(m{g}^{\mu \nu })/2],$

$T^{\mu \nu }=m{u}^{\mu }{u}^{\nu }+p(u^{\mu }{u}^{\nu }-g^{\mu \nu }).$

Beweis der Formel. Man definiert

$h^{\mu }:=\sqrt{-g}\cdot j^{\mu }=\sqrt{-g}\cdot \rho \cdot u^{\mu };$

$D_{\mu }{j}^{\mu }=0\iff {\partial }_{\mu }{h}^{\mu }=0.$

Bei gegebenem Stromlinienfeld v ist die Integration von h möglich, etwa von Anfangsbedingungen mit Minkowski-Metrik weit in der Vergangenheit. Differenzialgleichung:

${\partial }_0{h}^0=-\overrightarrow{\mathrm{\nabla }}\cdot \overrightarrow{h};\overrightarrow{h}=(h^0/v^0)\overrightarrow{v}.$

Also ist h unabhängig von der Metrik,

$\partial h^{\mu }/\partial g_{\sigma \rho }=0.$

$1=u^{\mu }{g}_{\mu \nu }{u}^{\nu }=h^{\mu }{g}_{\mu \nu }{h}^{\nu }/(-g\cdot {\rho }^2),$

${\rho }^{2}g=-h^{\mu }{g}_{\mu \nu }{h}^{\nu },(g=\det [g_{\mu \nu }]),$

$2\rho (\partial \rho /\partial g_{\mu \nu })g+{\rho }^2(\partial g/\partial g_{\mu \nu })=-h^{\mu }{h}^{\nu },$

$2\rho (\partial \rho /\partial g_{\mu \nu })g+{\rho }^{2}g{g}^{\mu \nu }=g{\rho }^2{u}^{\mu }{u}^{\nu },$

$2(\partial \rho /\partial g_{\mu \nu })/\rho =(u^{\mu }{u}^{\nu }-g^{\mu \nu }).$

Resultat. Aus der Variation des g-Tensors, bei fest gehaltenen Stromlinien, ergibt sich ein Energie-Impuls-Tensor der Form

$T^{\mu \nu }=(m+p)u^{\mu }{u}^{\nu }-p{g}^{\mu \nu }.$

Die kovariante Divergenz $D_{\nu }{T}^{\mu \nu }$ sei Null, denn das Materiefeld (ρ,u) soll Quelle der Gravitation sein. Folglich, mit

$(D_{\mu }m)u^{\mu }+(m+p)D_{\mu }{u}^{\mu }=0(\iff D_{\mu }{j}^{\mu }=0),$

$(m+p)u^{\nu }{D}_{\nu }{u}^{\mu }+(-g^{\mu \nu }+u^{\mu }{u}^{\nu })D_{\nu }p=0.$

Der Gradient des Drucks p ist die Ursache einer Beschleunigung $u^{\nu }{D}_{\nu }{u}^{\mu }$, mit der die Stromlinien von Geodäten abweichen.

Der Teilchenschwarm sei noch mit einer Ladungsdichte σ(x) versehen. Die Viererstromdichte ($\sigma u^{\mu }$) koppelt an ein Vektorpotenzial $a_{\mu }$; auch dieser Strom erfüllt die Kontinuitätsgleichung. Dann kann eine Lagrangedichte mit allem Luxus geschrieben werden, Gravitation, Maxwell-Feld, Massenfeld, Ladungsfeld:

$(-L)=\sqrt{-g}\cdot [(R/2\kappa )+(1/16\pi )f_{\mu \nu }{f}^{\mu \nu }-\rho (1+ϵ)+(\sigma u^{\mu })a_{\mu }].$

Alles erzeugt Gravitation und wird von ihr abgelenkt. Das volle Gleichungssystem mit g,a,m,u,p,ρ,σ lautet

$G_{\mu \nu }=\kappa T_{\mu \nu },f_{\mu \nu }=D_{\mu }{a}_{\nu }-D_{\nu }{a}_{\mu }={\partial }_{\mu }{a}_{\nu }-{\partial }_{\nu }{a}_{\mu },$

$m=\rho (1+ϵ(\rho )),p={\rho }^2(dϵ/d\rho ),$

$T^{\mu \nu }=(m+p)u^{\mu }{u}^{\nu }-p\cdot g^{\mu \nu }-(1/4\pi )[f_{\rho }^{\mu }{f}^{\nu \rho }-\frac{1}{4}{g}^{\mu \nu }{f}_{\rho \sigma }{f}^{\rho \sigma }],$

$D_{\nu }{f}^{\mu \nu }=-4\pi \sigma u^{\mu },$

$(m+p)u^{\nu }{D}_{\nu }{u}^{\mu }=-(D_{\nu }p)(-g^{\mu \nu }+u^{\mu }{u}^{\nu })+f_{\nu }^{\mu }\sigma u^{\nu }.$

Kosmischer Staub

Wenn kein Druck aufgebaut wird, heißt das Modell der kräftefreie Staub. Sein Energie-Impuls-Tensor hat (mit ρ>0) die einfache Form

$T^{\mu \nu }=\rho u^{\mu }{u}^{\nu }$.

Wegen der vorausgesetzten Kontinuität $D_{\mu }(\rho u^{\mu })=0$ und der Produktregel ist das Verschwinden der kovarianten Divergenz von T dann äquivalent dazu, dass die Stromlinien x(s) Geodäten sind.

$u^{\mu }{D}_{\mu }{u}^{\nu }=0,(d/ds)x^{\mu }=u^{\mu };(d/ds)(Z(x(s))=u^{\mu }{\partial }_{\mu }Z,$

mit $Z=u^{\nu }:(d/ds)u^{\nu }=-{\mathrm{\Gamma }}_{\mu \rho }^{\nu }{u}^{\mu }{u}^{\rho }.$

Modelle von homogenen Universen

In diesem Abschnitt sind zeitartige Koordinaten als (ct) in Metern zu lesen. Der Faktor $\kappa =8\pi G/c^4$ kommt vor. Theorie-lastige Texte eichen auch ihn hinweg und verkleiden Energien-Impulse-Massen als Längen.

Seit Kopernikus spielen Erdlinge keine Sonderrolle mehr im Kosmos. Gemittelt über große Entfernungen, sieht es vermutlich überall und in allen Richtungen gleich aus. Ein solches Modell des Weltalls ist räumlich homogen und isotrop.

Definition Isometrie und konforme Abbildung.

Seien M, M' Mannigfaltigkeiten mit Bilinear-Formen g,g' . Eine glatte, bijektive Abildung $A:M\to M^{\prime }:x\mapsto x^{\prime }$ induziert die linearen Abbildungen $A^{*}:T_x\to T_{x^{\prime }}$ der Tangential-Vektorräume.

In Koordinaten ${x^{\prime }}^{\mu }=A^{\mu }(x):(A^{*}a{)}^{\mu }=(\partial {x^{\prime }}^{\mu }/\partial x^{\nu })a^{\nu }$.

A ist eine Isometrie, wenn die 'Metrik' erhalten bleibt,

$g^{\prime }(x^{\prime })(A^{*}a,A^{*}b)=g(x)(a,b)\mathrm{\forall }x\in M,\mathrm{\forall }a,b\in T_x.$

A ist eine konforme Abbildung, wenn es auf M ein skalares Feld s(x)>0 gibt mit

$g^{\prime }(x^{\prime })(A^{*}a,A^{*}b)=s(x)\cdot g(x)(a,b)\mathrm{\forall }x\in M,\mathrm{\forall }a,b\in T_x.$

Robertson-Walker-Metrik

Satz von Walker. Aus der Isotropie, also Kugelsymmetrie an jedem Punkt, folgt räumliche Homogenität. Eine 6-Parameter-Gruppe von Isometrien ist transitiv auf raumartigen (3D-)Hyperflächen, die eine Riemann-Metrik mit konstanter Krümmung K∈{-1,0,+1} besitzen.

Es gibt (zunächst lokal) Koordinaten mit Robertson-Walker-Metrik:

$d{s}^2=d{t}^2-S^2(t)\cdot ((dr{)}^2-f^2(r)\cdot W);W:=d{\theta }^2+{\sin }^2\theta d{\varphi }^2$

$\begin{array}{cccc}f(r)=\sin r& (K=+1)& 0<r<\pi & \text{ Raum }\equiv S^3\\ f(r)=r& (K=0)& 0<r<\mathrm{\infty }& \text{ Raum }\equiv {ℝ}^3\\ f(r)=\sinh r& (K=-1)& 0<r<\mathrm{\infty }& \text{ Raum }\equiv {ℝ}^3\end{array}$

S³ ist die 3-Sphäre, Kugelfläche im 4D-euklidischen Raum. Da ist r kein Radius, sondern eine Winkel-Koordinate. Ein positiv gekrümmter Raum ist kompakt, hat endliches Volumen.

Der Skalenfaktor S²(t) verfolgt räumliche Abstände in einem Universum, das zeitlich sich aufbläht oder schrumpft.

Eine alternative radiale Koordinate vermag den Raumanteil euklidisch- konform darzustellen:

$d{s}^2=(dt{)}^2-\frac{S(t{)}^2}{q^2(\overline{r})}[(d\overline{r}{)}^2+{\overline{r}}^2\cdot W];q(\overline{r})=1+K\cdot {\overline{r}}^2/4$

$r=\underset{0}{\overset{\overline{r}}{\int }}\frac{d{r}^{\prime }}{q(r^{\prime })}=\{\begin{array}{cc}2\arctan (\overline{r}/2)& K=1\\ \overline{r}& K=0\\ 2\text{ artanh}(\overline{r}/2)& K=-1\end{array}$

Gleichungen für S(t) folgen aus den Einstein-Gleichungen mit dem kosmologischen Parameter λ und zwei Materie-Variablen p,ρ. Ein ideal fluides Medium füllt homogen den Raum und hat mitbewegte Fluss-Linien, Vierergeschwindigkeit u=(1,0,0,0). Druck p(t) und Dichte ρ(t) hängen nur von t ab. Komponenten des Energie-Impuls-Tensors:

$T_{00}=\rho (t),T_{ik}=p(t)\cdot g_{ik},(i,k=1,2,3).$

Gleichungen, nach Friedmann und Raychaudhury:

$\dot{\rho }=-3(\rho +p)(\dot{S}/S)$ (Energie-Erhaltung)

$\kappa (\rho +3p)/2-\lambda =-2(\ddot{S}/S)$

$3{\dot{S}}^2=S^2(\kappa \rho +\lambda )-3K$ (Integral der vorigen)

Mit ρ>0, p≥0 folgt, dass S bei λ=0 nicht konstant sein darf. Alle Modelle mit (ρ+3p)>0 und λ<λ(max) haben expandierende Lösungen mit einer Singularität am Zeitpunkt t=0, wo die Dichte unendlich hoch wird. Der Urknall.

Modell ohne kosmologischen Term

Speziell sei p=0. Dann wird ρ eine Potenz von S:

$\kappa \rho /6=M/S^3$ mit Konstante M, Massenerhaltung.

Mit λ=0 ergibt sich zusätzlich

$3{\dot{S}}^2-6M/S=-3K=:E/M$

E ist die Summe aus kinetischer und potenzieller Energie.

E≥0 ⇒ K≤0 ⇒ S(t) wächst monoton

E<0 ⇒ K>0 ⇒ S(t) hat ein Maximum, fällt danach gegen 0.

Die Friedmann-Gleichung für S wird gelöst mit neuem Parameter τ, (dt)=S(t)·(dτ),

$d{s}^2=S^2(\tau )\cdot [(d\tau {)}^2-(dr{)}^2-f^2(r)\cdot W]$

$\begin{array}{ccc}K=-1& S=(E/3)(\cosh \tau -1)& t=(E/3)(\sinh \tau -\tau )\\ K=0& S={\tau }^2& t={\tau }^3/3\\ K=1& S=(-E/3)(1-\cos \tau )& t=(-E/3)(\tau -\sin \tau )\end{array}$

K=0 ist das Einstein-de-Sitter-Universum, $S(t)\simeq t^{2/3}.$

Mit negativem λ expandiert die Raumzeit aus einer Singularität und bricht später in einer zweiten Singularität zusammen. Mit positivem λ und nichtpositiver Krümmung dehnt sich die Welt auf Dauer aus.

Das statische Modell

Bei positiver Raumkrümmung K=1 und p=0 gibt es kritische Werte (λ, κρ, S) wo alle Zeitableitungen verschwinden:

κρ = 2λ, λ·S² = 1.

Hier liegt Einsteins Statisches Universum dS/dt=0. Mit S=1, κρ=2, λ=1 lautet die Statische Metrik

ds² = (dt)² -(dr)² - sin²r·W.

Die flache Minkowski-metrik hätte r² statt sin²r.

Robertson-Walker-Metriken lassen sich konform auf die Statische Metrik abbilden. Denn mit dem Parameter τ als Zeit, dτ/dt = 1/S,

• $d{s}^2=S^2(\tau )[-d{\tau }^2+d{r}^2+f^2(r)\cdot W]$
• K=1: f=sin r, die eckige Klammer ist die statische Metrik.
• K=0: f=r, die Metrik ist konform zur flachen Raum
• K=-1: die Metrik wird konform auf ein Gebiet im Statischen Raum wie folgt abgebildet.

$t^{\prime }=\arctan (\tanh ((\tau +r)/2))+\arctan (\tanh ((\tau -r)/2))$

$r^{\prime }=\arctan (\tanh ((\tau +r)/2))-\arctan (\tanh ((\tau -r)/2))$

Satz. Ein Robertson-Walker-Raum kann nicht (mit Transformation seiner Teile zu neuen Koordinaten) weiter ausgedehnt werden. Die Urknall-Singularität ist im Rahmen der ART unheilbar.

Realitätsnahes Modell

Ist irgendein realistisches Szenario dabei? Ja. Das Gleichungspaar

$\dot{\rho }=-3(\rho +p)\cdot (\dot{S}/S);{\dot{S}}^2+K=S^2(\kappa \rho +\lambda )/3$

wird im Spezialfall p=0, K=0:

$3(\dot{S}/S{)}^2=\kappa \rho +\lambda ;(\dot{\rho }/\rho )=-3(\dot{S}/S)\Rightarrow$

${\dot{\rho }}^2=(\kappa /3){\rho }^3+(\lambda /3){\rho }^2$

Angenommen eine Lösung ρ(t) sei da, dann

$(\dot{\rho }/\rho )=-3(\dot{S}/S)\Rightarrow S(t)=S_0\cdot \rho (t{)}^{-1/3}.$

Ein Ansatz $\rho =y^z$ macht den Dritte-Potenz-Term der Differenzialgleichung für ρ konstant, mit z= -2:

${\dot{y}}^2=(\kappa /12)+(\lambda /12)y^2.$

Das riecht nach Trignonometrie, sin, cos, sinh, cosh? In der Tat.

${\dot{y}}^2=a+b{y}^2=0,y=g\cdot \sinh (ft)\Rightarrow g=\sqrt{a/b};f=\sqrt{b};\rho =y^{-2}.$

Einsetzen ergibt das Skalenfaktor-Verhalten mit Urknall bei t=0:

$S(t)=S_1\cdot \sinh (ft{)}^{2/3};f=\sqrt{\lambda /12}$

Die Kosmologie studiert die Hubblesche Beinahe-Konstante $H(t)=\dot{S}(t)/S(t)$ und ihre Zeitentwicklung. Das homogen-isotrope Modell mit Krümmung=Null und Druck=Null passt zur Beobachtung.

• Das Universum ist auf beschleunigtem Expansionskurs
• Der Urknall war vor etwa 13,5 Milliarden Jahren
• Derzeitiges Verhältnis 3:7 der Terme in (κρ+λ).

Ausgedrückt als Energiedichten, gibt es 30% Materie und 70% Dunkle Energie. (Der Großteil der 30% ist auch noch dunkel, reagiert nicht mit dem wahrnehmbaren Rest.) Mehr dazu im Kapitel Kosmologie von

Formelsammlung Physik: Astronomie.

Näherungsweise Berechnungen

Planetenbahnen

Bewegung im Zentralpotenzial

Die Koordinaten i=(0,1,2,3) der kugelsymmetrischen Metrik seien (t,r,θ,φ) genannt, wo t=ct meint. Mit dem Schwarzschild-Radius R und q:= (1–R/r) hat die Metrik die Matrix

g = diag(q, –1/q, –r², –r²·sin²θ)

Inverse ist: diag(1/q, –q, –1/r², –1/(r²·sin²θ))

Die nichtverschwindenden Christoffel-Symbole sind so zu berechnen, ohne Summierung über Index i:

${\mathrm{\Gamma }}_{jk}^i=({g^{-1}}_{ii}/2)\cdot ({\partial }_j{g}_{ik}+{\partial }_k{g}_{ij}-{\partial }_i{g}_{jk}).$

${\mathrm{\Gamma }}_{tr}^t=R/(2r^{2}q),$

${\mathrm{\Gamma }}^r=\text{ diag}(Rq/(2r^2),-R/(2r^{2}q),-rq,-rq{\sin }^2\theta ),$

${\mathrm{\Gamma }}_{r\theta }^{\theta }=1/r,{\mathrm{\Gamma }}_{\varphi \varphi }^{\theta }=-\sin \theta \cos \theta ,$

${\mathrm{\Gamma }}_{r\varphi }^{\varphi }=1/r,{\mathrm{\Gamma }}_{\theta \varphi }^{\varphi }=\cot \theta .$

Gesucht sind Geodäten mit Eigenzeit-Parameter s und speziell eine Bahnkurve auf Äquatorebene: θ=π/2, (dθ/ds) = 0.

Ableitungen nach s sind ab hier mit Strichen notiert.

$x^i{\text{'}}^{\prime }+{\mathrm{\Gamma }}_{jk}^i{x^j}^{\prime }{x^k}^{\prime }=0\Rightarrow$

$0=t^{″}+(R/r^{2}q)r^{\prime }{t}^{\prime }=t^{″}+(q^{\prime }/q)t^{\prime }\text{ mit }{q}^{\prime }=(R/r^2)r^{\prime }.$

$0={\varphi }^{″}+(2/r)r^{\prime }{\varphi }^{\prime }$

$0=r^{″}+(Rq/2r^2)\cdot (t^{\prime }{)}^2-(R/2r^{2}q)\cdot (r^{\prime }{)}^2-rq\cdot ({\varphi }^{\prime }{)}^2$

Die zwei Gleichungen vom Muster y" + a (z'/z) y'=0 haben erste Integrale der Form $(z^b{y}^{\prime })=$ const, also $(z^b{y}^{\prime }{)}^{\prime }=$0. Denn:

$(z^b{y}^{\prime }{)}^{\prime }=b{z}^{b-1}{z}^{\prime }{y}^{\prime }+z^b{y}^{″}=z^b(y^{″}+b(z^{\prime }/z)y^{\prime })=0\Rightarrow a=b.$

Anwendung auf die zwei Fälle t' und φ' :

$r^2\cdot {\varphi }^{\prime }=H,q\cdot t^{\prime }=C\Rightarrow$

$r^{2}d\varphi /dt=r^2{\varphi }^{\prime }/t^{\prime }=(H/C)\cdot (1-R/r)$

Solange r sehr viel größer als R bleibt, ergibt sich der Keplersche Flächensatz. In gleichen Zeiten überstreicht die Bahn Sektoren gleicher Fläche.

Nun zur Gleichung (mit θ'=0) der konstanten Norm 1 der Vierergeschwindigkeit, $g_{ik}{x^i}^{\prime }{x^k}^{\prime }=1:$

q(t')² – (1/q)(r')² – r²(φ')² = 1.

Einsetzen t'=C/q und dies hier einbauen: 1=(φ' r²/H)².

$(\frac{C^2}{q}-1)(r^2/H{)}^2{{\varphi }^{\prime }}^2={r^{\prime }}^2/q+r^2{{\varphi }^{\prime }}^2$

Daraus mit Teilen durch φ'² eine Bahngleichung für r=r(φ):

${\left(\frac{dr}{d\varphi }\right)}^2=r^4\frac{C^2-1}{H^2}+r^3\frac{R}{H^2}-r^2+rR$

Von den Potenzen 1...4 mit der Variablen u=1/r auf 0...3 runter transformieren:

${\left(\frac{du}{d\varphi }\right)}^2=R{u}^3-u^2+\frac{R}{H^2}u+\frac{C^2-1}{H^2}$

Beide Seiten nach φ ableiten und durch 2(du/dφ) teilen:

$\frac{d^{2}u}{d{\varphi }^2}=\frac{3}{2}R{u}^2-u+\frac{R}{2H^2}$

Näherung Perihel-Anomalie

Es folgt eine Herleitung auf die Schnelle, Hau-Ruck-Methoden ohne Fehleranalyse.

(Ru)=R/r ist winzig. Daher dominiert die lineare Gleichung ohne quadratischen Term. Mit der Konstanten U:= R/(2H²):

$\frac{d^{2}u}{d{\varphi }^2}=-u+U.$ Hat eine trigonometrische Lösung

$u(\varphi )=(1+e\cos \varphi )/p;p=a\cdot (1-e^2)=1/U$

Die Kurve ist eine Kepler-Ellipse, p eine Art mittlerer Bahnradius. Parameter sind 0≤e<1, p>0 und ein (unterschlagener) Start-Winkel.

Zur Vereinfachung nun φ=x, Ableitungen als Striche.

u" = U – u + ku² mit kleinem quadratischen Term, k:= (3R/2).

Ansatz u = v + w(x) + z(x), wo (v+w) den linearen Teil löst.

Im quadratischen Term wird das kleine z(x) vernachlässigt.

k u² ≈ k(v+w)² ≈ k·(v² + 2vw)

Das Quadrat des variablen Terms w² wird auch brutal entfernt!

(v+w)"= U – (v+w) + kv² (beschreibt eine Kepler-Ellipse).

z"= –z + 2kvw (linear-inhomogene Gleichung für den Rest z).

v = (1/p), w(x) = e·cos(x)/p; 1/p = U+kv² = U+k/p² (Gleichung für p)

Exzentrizität e sei klein, um w²≈0 zu rechtfertigen.

z"= –z + (2ke/p²) cos x hat eine Lösung: z(x)= (ke/p²)·x·sin x.

Zusammen: u = v+w+z = (1/p)·(1+e·cos x + (3Re/2p)·x·sin x).

Trick: $(\cos x+(3R/2p)x\sin x)\approx \cos ((1-3R/2p)\cdot x)$

Nach einem Umlauf x=2π der ungestörten Lösung hat die verbesserte Kurve also ein Phasendefizit von 3π·R/p. Das ist die Periheldrehung einer Planetenbahn.

Präzession der Koordinaten

Die Bahn um ein Zentralgestirn als Funktion der Zeit gehorcht in der Newtonschen Mechanik folgender Gleichung in Polarkoordinaten, wenn die Zeit als Länge ct und die Gravitation über den Schwarzschild-Radius R gemessen wird.

$r\ddot{\varphi }+2\dot{r}\dot{\varphi }=0$

$\ddot{r}-r{\dot{\varphi }}^2+R/(2r^2)=0$

Was ist nun die relativistische Korrektur in niedrigster Ordnung? Aus der geodätischen Bewegung im Zentralpotenzial folgen Gleichungen für das Paar (r,φ) als Funktion der Koordinatenzeit t. Verglichen mit der alten Mechanik ergibt sich eine zusätzliche "Kraft" in der Bahnebene, proportional und senkrecht zur Geschwindigkeit des Satelliten. An den Haaren herbeigezogene Deutung: Die ungefähre Kreisbewegung verformt das klassisch ruhende Inertialsystem in ein leicht mit-rotierendes System, der Satellit spürt dessen Coriolis-Kraft.

Umformung der Geodäten-Gleichungen, wenn Radius und Winkel nur indirekt über die Koordinatenzeit Funktion des affinen Parameters sind.

$0=t^{″}+(R/(r^{2}q))r^{\prime }{t}^{\prime },(q=1-R/r)\Rightarrow q{t}^{\prime }=C,$

$0=r^{″}+(Rq/2r^2)\cdot (t^{\prime }{)}^2-(R/2r^{2}q)\cdot (r^{\prime }{)}^2-rq\cdot ({\varphi }^{\prime }{)}^2,$

$0={\varphi }^{″}+(2/r)r^{\prime }{\varphi }^{\prime },$

$\begin{array}{ccc}r(s)=\overline{r}(t(s))& r^{\prime }=\dot{r}{t}^{\prime }& r^{″}=\ddot{r}{t^{\prime }}^2+\dot{r}{t}^{″}\\ \varphi (s)=\overline{\varphi }(t(s))& {\varphi }^{\prime }=\dot{\varphi }{t}^{\prime }& {\varphi }^{″}=\ddot{\varphi }{t^{\prime }}^2+\dot{\varphi }{t}^{″}\end{array}\Rightarrow$

$\begin{array}{ccc}r\ddot{\varphi }+2\dot{r}\dot{\varphi }& =R/(rq)\cdot \dot{r}\dot{\varphi }& \approx (R/r)\cdot \dot{r}\dot{\varphi }\\ \ddot{r}-r{\dot{\varphi }}^2+R/(2r)& =\frac{3}{2}R{\dot{r}}^2/(r^{2}q)-R{\dot{\varphi }}^2+R^2/(2r^3)& \approx -R\dot{\varphi }\dot{\varphi }\end{array}.$

Bei der Näherung wird angenommen r>>R ⇒ q≈1, der Term in R² vernachlässigt und auch $\dot{r}<<(r\dot{\varphi })$, also die radiale Bewegung sei viel langsamer als jene senkrecht zum Radius. Mit einer tangentialen Koordinate s stellt es sich wie folgt dar.

$\begin{array}{cc}\dot{s}:=r\dot{\varphi },& \ddot{s}=\dot{r}\dot{\varphi }+r\ddot{\varphi },\\ \ddot{r}-{\dot{s}}^2/r+R/(2r^2)& \approx (R\dot{s}/r^2)\cdot (-\dot{s}),\\ \ddot{s}+(\dot{r}/r)\dot{s}& \approx (R\dot{s}/r^2)\cdot (\dot{r}).\end{array}$

Der relativistische "Störterm" bewirkt wie angekündigt eine Beschleunigung senkrecht und proportional zur Geschwindigkeit.

Lichtablenkung

Die Null-Geodäten ergeben mit den gleichen Rechenschritten wie bei der Perihel-Anomalie die Bahngleichung

u" + u = ku² mit u:= 1/r, k:= 3R/2, x=φ.

Näherung: u = v+w; v"+v = 0; w"+w = kv² ⇒ u"+u ≈ k u².

Die Lösung v= (cos φ)/p beschreibt die Gerade r·cos φ = p, mit r= 1/v, die beim Winkel Null den Mindestabstand p zur Sonne hat und für r→±∞ die Winkel ±π/2 tangiert.

Linear-inhomogene Gleichung für w:

w" + w = k/p² cos²φ =k/(2p²)·(1+ cos 2φ).

Passende Lösung: w = k/(2p²)(1 – (1/3)·cos 2φ)

u = (cos φ)/p + k/(2p²)(1 – (1/3)·cos 2φ)

Für u→0 wird ein kleiner Winkel φ = π/2 + ε erwartet. Approximation:

u=0, cos φ ≈ –ε, cos 2φ ≈ –1, ⇒ ε = 2k/3p = R/p.

Dieser Winkel gilt für den Strahl vom Minimal-Abstand p bis Unendlich und ist zu verdoppeln. Das Licht aus großer Entfernung, das sich der Sonne bis zum Radius p nähert und weit entfernt beobachtet wird, wird also um den Winkel 2R/p abgelenkt.

Nichtrelativistische Gravitation

Approximation für langsame Bewegung im schwachen statischen Feld: Gegeben seien Koordinaten mit näherungsweiser Minkowski-Metrik.

$g_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu },\eta =\text{ diag}(1,-1,-1,-1).$

Komponenten $|h|<<1,\partial h/\partial x^0=0$ (statisch, x°=ct)

Langsame zeitartige Kurven, $d{x}^k/ds<<d{x}^0/ds,k=1,2,3(\iff v<<c)$

Christoffel-Funktionen für die Geodäten:

${\mathrm{\Gamma }}_{\tau \mu \nu }=[(\partial h_{\tau \mu }/\partial x^{\nu })+(\partial h_{\tau \nu }/\partial x^{\mu })-(\partial h_{\mu \nu }/\partial x^{\tau })]/2$

Speziell ${\mathrm{\Gamma }}_{\tau 00}=-(\partial h_{00}/\partial x^{\tau })/2$

${\mathrm{\Gamma }}_{00}^k\approx -{\mathrm{\Gamma }}_{k00}(k=1,2,3),$ (in erster Ordnung von h)

$d^2{x}^{\tau }/d{s}^2=-{\mathrm{\Gamma }}_{\mu \nu }^{\tau }(d{x}^{\mu }/ds)(d{x}^{\nu }/ds)\approx -{\mathrm{\Gamma }}_{00}^{\tau }(d{x}^0/ds{)}^2$

$d^2{x}^0/d{s}^2=0$

Kurve mit x° parametrieren: $x^k(s)={\overline{x}}^k(x^0(s))$

$d{x}^k/ds=(d{\overline{x}}^k/d{x}^0)(d{x}^0/ds)$

$d^2{x}^k/d{s}^2=(d^2{\overline{x}}^k/(d{x}^0{)}^2)(d{x}^0/ds{)}^2+(d{\overline{x}}^k/d{x}^0)(d^2{x}^0/d{s}^2)=(d^2{\overline{x}}^k/(d{x}^0{)}^2)(d{x}^0/ds{)}^2$

Vergleich mit dem Ausdruck weiter oben ergibt

$(d^2{\overline{x}}^k/(d{x}^0{)}^2)=-{\mathrm{\Gamma }}_{00}^k=+{\mathrm{\Gamma }}_{k00}=-(\partial h_{00}/\partial x^k)/2.$

Mit x°=ct folgt die Bewegung im Skalar-Potenzial (k=1,2,3),

${\ddot{x}}^k=-\partial \mathrm{\Phi }(\overrightarrow{x})/\partial x^k;\mathrm{\Phi }=c^2\cdot h_{00}/2;$

$g_{00}(\overrightarrow{x})=1+2\cdot \mathrm{\Phi }/c^2.$

Der Ricci-Tensor, wenn quadratische Terme in Γ sehr klein sind:

$R_{\mu \nu }\approx {\partial }_{\nu }{\mathrm{\Gamma }}_{\rho \mu }^{\rho }-{\partial }_{\rho }{\mathrm{\Gamma }}_{\mu \nu }^{\rho }.$

Fürs Indexpaar 00 bleibt hier nur der zweite Teil mit ρ=1,2,3:

$R_{00}\approx -{\partial }_k{\mathrm{\Gamma }}_{00}^k=-{\partial }_k{\partial }_k{h}_{00}=-\mathrm{\Delta }{h}_{00}/2.$

Im Vakuum verschwindet der Ricci-Tensor des g-Feldes, denn die Einstein-Gleichungen lassen sich wie folgt umformulieren:

$R_{\mu \nu }-\frac{1}{2}{g}_{\mu \nu }R=\kappa T_{\mu \nu },\text{ Überschieben mit }{g}^{\mu \nu }\Rightarrow$

$R-2R=-R=\kappa g^{\mu \nu }{T}_{\mu \nu }=:\kappa T\Rightarrow$

$R_{\mu \nu }=\kappa (T_{\mu \nu }-\frac{1}{2}{g}_{\mu \nu }T)$

Speziell folgt im Vakuum die Potenzialgleichung des Newtonschen Modells,

$-\mathrm{\Delta }{h}_{00}/2=R_{00}=0,h_{00}=2\mathrm{\Phi }/c^2\Rightarrow \mathrm{\Delta }\mathrm{\Phi }=0.$

Der einfachste Energie-Impuls-Tensor ist die Energiedichte einer im Bezugssystem ruhenden Masse, $T_{00}=\rho (\overrightarrow{x})c^2$; alle anderen Komponenten = 0. Der Skalar T ist $g^{00}{T}_{00}$. In der betrachteten Approximation ist $g_{00}\cdot g^{00}\approx 1$ und daher:

$-\mathrm{\Delta }{h}_{00}/2=R_{00}\approx \kappa (T_{00}-\frac{1}{2}{g}_{00}T)=\kappa \rho c^2/2.$

Das Newton-Potenzial Φ geht korrekt aus der Massendichte hervor,

–ΔΦ = 4π·G·ρ,

wenn der Einstein-Faktor κ den passenden Wert hat.

$h_{00}=2\mathrm{\Phi }/c^2\Rightarrow \kappa =8\pi \cdot G/c^4.$

Gravitationswellen

Die Einstein-Gleichungen sind 10 Differenzialgleichungen für die 10 Komponenten des symmetrischen g-Tensors. Doch nur 6 Gleichungen sind unabhängig, weil die kovariante Divergenz des Einstein-Tensors Null ist. Eine Lösung, etwa von Anfangsbedingungen auf einer raumartigen Hyperfläche längs einer zeitartigen Koordinate entwickelt, braucht 4 zusätzliche Gleichungen. Das ist die normale Folge der Koordinaten-Kovarianz. Die Integration berechnet den g-Tensor und muss zugleich festlegen, wie sein Koordinatensystem weiter geht.

Die folgende lineare Näherung fordert vier solcher Nebenbedingungen ein, um verwickelte Terme zu entfernen. Sie wechselt besser gesagt zu äquivalenten Raumzeit-Koordinaten, wo die Terme verschwinden.

In dieser Näherung soll das g-Feld als Hintergrund einen langsam veränderlichen Teil haben, dessen Ableitungen vernachlässigt werden. Die kleinen Auslenkungen von diesem Hintergrund werden linear approximiert. Im Ricci-Tensor entfällt der in Christoffel-Funktionen quadratische Teil.

$g_{\mu \nu }={\overline{g}}_{\mu \nu }+h_{\mu \nu };h<<\overline{g}$

$R_{\mu \nu }\approx \frac{1}{2}{g}^{\rho \sigma }[{\partial }_{\rho }{\partial }_{\sigma }{h}_{\mu \nu }+{\partial }_{\mu }{\partial }_{\nu }{h}_{\rho \sigma }-{\partial }_{\rho }{\partial }_{\nu }{h}_{\mu \sigma }-{\partial }_{\mu }{\partial }_{\sigma }{h}_{\rho \nu }]$

Weitere Approximationen und Definitionen:

$g^{\rho \sigma }\approx {\overline{g}}^{\rho \sigma }$ als Faktor von h-Termen

$◻f(x):={\overline{g}}^{\rho \sigma }{\partial }_{\rho }{\partial }_{\sigma }f(x)$

$\gamma :={\overline{g}}^{\rho \sigma }{h}_{\rho \sigma };{\gamma }_{\mu }^{\sigma }:={\overline{g}}^{\rho \sigma }{h}_{\mu \rho }$

$R_{\mu \nu }\approx \frac{1}{2}◻h_{\mu \nu }+[{\partial }_{\mu }{\partial }_{\nu }\gamma -{\partial }_{\rho }{\partial }_{\nu }{\gamma }_{\mu }^{\rho }-{\partial }_{\mu }{\partial }_{\sigma }{\gamma }_{\nu }^{\sigma }]$

$R_{\mu \nu }\approx \frac{1}{2}◻h_{\mu \nu }+{\partial }_{\nu }[\frac{1}{2}{\partial }_{\mu }\gamma -{\partial }_{\rho }{\gamma }_{\mu }^{\rho }]+{\partial }_{\mu }[\frac{1}{2}{\partial }_{\nu }\gamma -{\partial }_{\sigma }{\gamma }_{\nu }^{\sigma }]$

$R_{\mu \nu }\approx \frac{1}{2}◻h_{\mu \nu }+{\partial }_{\nu }{\beta }_{\mu }+{\partial }_{\mu }{\beta }_{\nu };{\beta }_{\mu }:=\frac{1}{2}{\partial }_{\mu }\gamma -{\partial }_{\rho }{\gamma }_{\mu }^{\rho }$

Die vier beta-Funktionen werden nun durch den zulässigen Wechsel der Koordinaten auf Null verschoben. Dann bleibt als Ricci-Tensor und Skalar

$R_{\mu \nu }\approx \frac{1}{2}◻h_{\mu \nu };R\approx {\overline{g}}^{\mu \nu }{R}_{\mu \nu }\approx \frac{1}{2}◻\gamma$

Im Vakuum gilt dann eine homogene Wellengleichung für Tensor h:

$0=R_{\mu \nu }\approx \frac{1}{2}◻h_{\mu \nu }$

Auf dem flachen Minkowski-Hintergrund ergibt der Operator ebene Wellen:

$◻f=\underset{t}{\overset{2}{\partial }}f/c^2-{\overrightarrow{\mathrm{\nabla }}}^{2}f=0;f=\exp (i\cdot (\overrightarrow{k}\cdot \overrightarrow{x}-\omega t));|\overrightarrow{k}|=\omega /c$

die sich mit Lichtgeschwindigkeit ausbreiten.

Der Einstein-Tensor und die inhomogene Feldgleichung angenähert:

$R_{\mu \nu }-\frac{1}{2}{g}_{\mu \nu }R\approx \frac{1}{2}◻[h_{\mu \nu }-\frac{1}{2}{\overline{g}}_{\mu \nu }\gamma ]$

$◻{\gamma }_{\mu \nu }=2\cdot \kappa T_{\mu \nu };{\gamma }_{\mu \nu }:=h_{\mu \nu }-\frac{1}{2}{\overline{g}}_{\mu \nu }\gamma$

Das Materiefeld T funktioniert als ein Erreger von Wellen. Mit einer retardierten 'Green-Funktion' zum Quadrat-Operator kann folgende Lösung angeschrieben werden. Das 'schwingende' Gravitationspotenzial am Punkt $x=(t,\overrightarrow{r})$ hängt ab von allen Werten, die der erzeugende Energie-Impuls-Tensor auf dem Rückwärts-Lichtkegel des Punktes hat. Die Anregung hat also genau die universelle Geschwindigkeit c.

${\gamma }_{\mu \nu }(t,\overrightarrow{r})=-\frac{2\kappa }{4\pi }\int \frac{d^3{r}^{\prime }}{|\overrightarrow{r}-{\overrightarrow{r}}^{\prime }|}{T}_{\mu \nu }(t-|\overrightarrow{r}-{\overrightarrow{r}}^{\prime }|/c,{\overrightarrow{r}}^{\prime })$

Allgemein

Weblinks

• Formelsammlung Relativitätstheorie auf Formel-Sammlung.de
• Wikipedia – Spezielle Relativitätstheorie
• Wikipedia – Allgemeine Relativitätstheorie