ART-Skript: Unterschied zwischen den Versionen
*>SchuBot Mathematik einrücken |
Keine Bearbeitungszusammenfassung |
||
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
<noinclude>{{ScriptProf|Prof=Prof. Dr. H.-H. von Borzeszkowski|Thema=ART|Kapitel=alle}} </noinclude> | |||
Einleitung | Einleitung | ||
Die leitenden Gedanken der Allgemeinen Relativitätstheorie | Die leitenden Gedanken der Allgemeinen Relativitätstheorie | ||
Zeile 16: | Zeile 17: | ||
Zeit Transformationen (Translationen) | Zeit Transformationen (Translationen) | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& t'=t+\tau \,,\,\tau =\text{const} \\ | & t'=t+\tau \,,\,\tau =\text{const} \\ | ||
& dt'=dt \\ | & dt'=dt \\ | ||
\end{align}</math>Invarianz des Zeitmaßes und der Bewegungsgleichungen | \end{align}</math>Invarianz des Zeitmaßes und der Bewegungsgleichungen | ||
Raum Transformationen (Translationen und Rotationen) | Raum Transformationen (Translationen und Rotationen) | ||
Zeile 29: | Zeile 30: | ||
Keine Kovarianz des Raummaßes (<math>d\sigma '\ne d\sigma </math>) | Keine Kovarianz des Raummaßes (<math>d\sigma '\ne d\sigma </math>) | ||
Insgesamt: Kovarianz der Bewegungsgleichungen bezüglich der allgemeinen Galilei Gruppe: | Insgesamt: Kovarianz der Bewegungsgleichungen bezüglich der allgemeinen Galilei Gruppe: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& t'=t+\tau \\ | & t'=t+\tau \\ | ||
& x{{'}^{i}}=\alpha _{i}^{k}{{x}^{k}}+{{a}^{i}}+{{v}^{i}}t \\ | & x{{'}^{i}}=\alpha _{i}^{k}{{x}^{k}}+{{a}^{i}}+{{v}^{i}}t \\ | ||
\end{align}</math> | \end{align}</math> | ||
Formal lässt sich das 4-Dimensional formulieren dies ist aber physikalisch ohne Bedeutung, da das keine irreduzibele 4-Dimensionale Gruppe ist): | Formal lässt sich das 4-Dimensional formulieren dies ist aber physikalisch ohne Bedeutung, da das keine irreduzibele 4-Dimensionale Gruppe ist): | ||
:<math>\left( \begin{align} | :<math>\left( \begin{align} | ||
& t' \\ | & t' \\ | ||
& x{{'}^{i}} \\ | & x{{'}^{i}} \\ | ||
\end{align} \right)=\left( \begin{matrix} | \end{align} \right)=\left( \begin{matrix} | ||
1 & 0 \\ | 1 & 0 \\ | ||
{{v}^{i}} & \alpha _{k}^{i} \\ | {{v}^{i}} & \alpha _{k}^{i} \\ | ||
\end{matrix} \right)+\left( \begin{align} | \end{matrix} \right)+\left( \begin{align} | ||
& \tau \\ | & \tau \\ | ||
& {{a}^{i}} \\ | & {{a}^{i}} \\ | ||
\end{align} \right)</math> | \end{align} \right)</math> | ||
Zeile 51: | Zeile 52: | ||
Allgemeine bzw. andere Transformationen ändern die Form der Bewegungsgleichungen: | Allgemeine bzw. andere Transformationen ändern die Form der Bewegungsgleichungen: | ||
Beispiel Rotierendes Bezugssystem (<math>\omega =\text{const}</math>): | Beispiel Rotierendes Bezugssystem (<math>\omega =\text{const}</math>): | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{x}^{1}}=x{{'}^{1}}\cos \omega t-x{{'}^{2}}\sin \omega t \\ | & {{x}^{1}}=x{{'}^{1}}\cos \omega t-x{{'}^{2}}\sin \omega t \\ | ||
& {{x}^{2}}=x{{'}^{1}}\sin \omega t-x{{'}^{2}}\cos \omega t \\ | & {{x}^{2}}=x{{'}^{1}}\sin \omega t-x{{'}^{2}}\cos \omega t \\ | ||
\end{align}</math> | \end{align}</math> | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& m\frac{{{d}^{2}}{{x}^{1}}}{d{{t}^{2}}}\Rightarrow m\left( \frac{{{d}^{2}}x{{'}^{1}}}{d{{t}^{2}}}-\frac{\partial \phi }{\partial x{{'}^{1}}}+... \right) \\ | & m\frac{{{d}^{2}}{{x}^{1}}}{d{{t}^{2}}}\Rightarrow m\left( \frac{{{d}^{2}}x{{'}^{1}}}{d{{t}^{2}}}-\frac{\partial \phi }{\partial x{{'}^{1}}}+... \right) \\ | ||
& m\frac{{{d}^{2}}{{x}^{2}}}{d{{t}^{2}}}\Rightarrow m\left( \frac{{{d}^{2}}x{{'}^{2}}}{d{{t}^{2}}}-\frac{\partial \phi }{\partial x{{'}^{2}}}+... \right) \\ | & m\frac{{{d}^{2}}{{x}^{2}}}{d{{t}^{2}}}\Rightarrow m\left( \frac{{{d}^{2}}x{{'}^{2}}}{d{{t}^{2}}}-\frac{\partial \phi }{\partial x{{'}^{2}}}+... \right) \\ | ||
\end{align}</math> mit <math>\phi :=-\frac{\omega }{2}\left[ {{\left( x{{'}^{1}} \right)}^{2}}+{{\left( x{{'}^{2}} \right)}^{2}} \right]</math> | \end{align}</math> mit <math>\phi :=-\frac{\omega }{2}\left[ {{\left( x{{'}^{1}} \right)}^{2}}+{{\left( x{{'}^{2}} \right)}^{2}} \right]</math> | ||
Zeile 67: | Zeile 68: | ||
Lichtgeschwindigkeit ist unabhängig von der Bewegung der Lichtquelle | Lichtgeschwindigkeit ist unabhängig von der Bewegung der Lichtquelle | ||
Konstanz der Lichtgeschwindigkeit Relativitätsprinzip <math>\Delta r=c\Delta t</math>gilt in allen Inertialsystemen | Konstanz der Lichtgeschwindigkeit Relativitätsprinzip <math>\Delta r=c\Delta t</math>gilt in allen Inertialsystemen | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& \Delta r=c\Delta t\to {{\left( \Delta r \right)}^{2}}={{c}^{2}}{{\left( \Delta t \right)}^{2}} \\ | & \Delta r=c\Delta t\to {{\left( \Delta r \right)}^{2}}={{c}^{2}}{{\left( \Delta t \right)}^{2}} \\ | ||
& \to {{\left( \Delta {{x}^{1}} \right)}^{2}}+{{\left( \Delta {{x}^{2}} \right)}^{2}}+{{\left( \Delta {{x}^{3}} \right)}^{2}}={{c}^{2}}\Delta {{t}^{2}} \\ | & \to {{\left( \Delta {{x}^{1}} \right)}^{2}}+{{\left( \Delta {{x}^{2}} \right)}^{2}}+{{\left( \Delta {{x}^{3}} \right)}^{2}}={{c}^{2}}\Delta {{t}^{2}} \\ | ||
& \to \Delta {{s}^{2}}:={{c}^{2}}\Delta {{t}^{2}}-{{\left( \Delta {{x}^{1}} \right)}^{2}}-{{\left( \Delta {{x}^{2}} \right)}^{2}}-{{\left( \Delta {{x}^{3}} \right)}^{2}} \\ | & \to \Delta {{s}^{2}}:={{c}^{2}}\Delta {{t}^{2}}-{{\left( \Delta {{x}^{1}} \right)}^{2}}-{{\left( \Delta {{x}^{2}} \right)}^{2}}-{{\left( \Delta {{x}^{3}} \right)}^{2}} \\ | ||
& \to d{{s}^{2}}={{c}^{2}}d{{t}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}}=0 \\ | & \to d{{s}^{2}}={{c}^{2}}d{{t}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}}=0 \\ | ||
\end{align}</math> | \end{align}</math> | ||
:<math>d{{s}^{2}}=ds{{'}^{2}}</math> | :<math>d{{s}^{2}}=ds{{'}^{2}}</math> | ||
(1.1) | (1.1) | ||
Zeile 82: | Zeile 83: | ||
\end{matrix} \right)</math>. (später siehe §4) | \end{matrix} \right)</math>. (später siehe §4) | ||
Linienelement in Inertialkoordianten (<math>{{x}^{0}}:=ct</math>) | Linienelement in Inertialkoordianten (<math>{{x}^{0}}:=ct</math>) | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{s}^{2}}=cd{{t}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}} \\ | & d{{s}^{2}}=cd{{t}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}} \\ | ||
& ={{\left( d{{x}^{0}} \right)}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}} \\ | & ={{\left( d{{x}^{0}} \right)}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}} \\ | ||
& ={{\eta }_{\mu \nu }}d{{x}^{\nu }}d{{x}^{\mu }} | & ={{\eta }_{\mu \nu }}d{{x}^{\nu }}d{{x}^{\mu }} | ||
\end{align}</math> | \end{align}</math> | ||
<math>d{{s}^{2}}\overset{!}{\mathop{=}}\,ds{{'}^{2}}</math> | <math>d{{s}^{2}}\overset{!}{\mathop{=}}\,ds{{'}^{2}}</math> | ||
Bestimmung der Inertialsysteme bzw. der sie verbinden Transformationenen (Lorentz-Transformation) | Bestimmung der Inertialsysteme bzw. der sie verbinden Transformationenen (Lorentz-Transformation) | ||
Ansatz | Ansatz | ||
Ansatz: <math>x{{'}^{\alpha }}=\Lambda _{\gamma }^{\alpha }{{x}^{\gamma }}+{{a}^{\alpha }}</math>mit | Ansatz: <math>x{{'}^{\alpha }}=\Lambda _{\gamma }^{\alpha }{{x}^{\gamma }}+{{a}^{\alpha }}</math>mit | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& ds'={{\eta }_{\alpha \beta }}dx{{'}^{\alpha }}dx{{'}^{\beta }}={{\eta }_{\alpha \beta }}\Lambda _{\mu }^{\alpha }\Lambda _{\nu }^{\beta }d{{x}^{\mu }}d{{x}^{\nu }} \\ | & ds'={{\eta }_{\alpha \beta }}dx{{'}^{\alpha }}dx{{'}^{\beta }}={{\eta }_{\alpha \beta }}\Lambda _{\mu }^{\alpha }\Lambda _{\nu }^{\beta }d{{x}^{\mu }}d{{x}^{\nu }} \\ | ||
& =d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} | & =d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} | ||
\end{align}</math> | \end{align}</math> | ||
<math>{{\eta }_{\alpha \beta }}\Lambda _{\mu }^{\alpha }\Lambda _{\nu }^{\beta }={{\eta }_{\mu \nu }}</math> | <math>{{\eta }_{\alpha \beta }}\Lambda _{\mu }^{\alpha }\Lambda _{\nu }^{\beta }={{\eta }_{\mu \nu }}</math> | ||
Also: Allgemeine Lorentz-Transformation (Poincaré-Transformation) | Also: Allgemeine Lorentz-Transformation (Poincaré-Transformation) | ||
:<math>x{{'}^{\alpha }}=\Lambda _{\beta }^{\alpha }{{x}^{\beta }}+{{a}^{\alpha }}</math> mit | :<math>x{{'}^{\alpha }}=\Lambda _{\beta }^{\alpha }{{x}^{\beta }}+{{a}^{\alpha }}</math> mit | ||
Spezialfall der räumlichen Rotation: | Spezialfall der räumlichen Rotation: | ||
:<math>x{{'}^{\alpha }}=\Lambda _{\beta }^{\alpha }{{x}^{\beta }}</math> mit <math>\Lambda _{k}^{i}=d_{k}^{i},\Lambda _{0}^{0}=1,\Lambda _{0}^{i}=\Lambda _{i}^{0}=0</math> | :<math>x{{'}^{\alpha }}=\Lambda _{\beta }^{\alpha }{{x}^{\beta }}</math> mit <math>\Lambda _{k}^{i}=d_{k}^{i},\Lambda _{0}^{0}=1,\Lambda _{0}^{i}=\Lambda _{i}^{0}=0</math> | ||
Zeile 109: | Zeile 110: | ||
:<math>\Lambda _{0}^{0}=\gamma ,\Lambda _{k}^{i}=\delta _{k}^{i}+\left( \gamma -1 \right)\frac{{{v}^{i}}{{v}^{j}}}{{{v}^{2}}},\Lambda _{0}^{i}=\Lambda _{i}^{0}=\gamma \frac{{{v}^{j}}}{c}</math> | :<math>\Lambda _{0}^{0}=\gamma ,\Lambda _{k}^{i}=\delta _{k}^{i}+\left( \gamma -1 \right)\frac{{{v}^{i}}{{v}^{j}}}{{{v}^{2}}},\Lambda _{0}^{i}=\Lambda _{i}^{0}=\gamma \frac{{{v}^{j}}}{c}</math> | ||
Spezielle LT in x1-Richtung | Spezielle LT in x1-Richtung | ||
Eigentliche Lorentz Transformation (schließt räumliche und zeitliche Speigelungen aus): | Eigentliche Lorentz Transformation (schließt räumliche und zeitliche Speigelungen aus): | ||
:<math>\det \Lambda =1</math> | :<math>\det \Lambda =1</math> | ||
Zeile 123: | Zeile 124: | ||
:<math>d{{s}^{2}}={{\left( d{{x}^{0}} \right)}^{2}}+{{\left( d{{x}^{1}} \right)}^{2}}+{{\left( d{{x}^{2}} \right)}^{2}}+{{\left( d{{x}^{3}} \right)}^{2}}={{\delta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}</math> mit Metrik <math>{{\delta }_{ik}}</math> | :<math>d{{s}^{2}}={{\left( d{{x}^{0}} \right)}^{2}}+{{\left( d{{x}^{1}} \right)}^{2}}+{{\left( d{{x}^{2}} \right)}^{2}}+{{\left( d{{x}^{3}} \right)}^{2}}={{\delta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}</math> mit Metrik <math>{{\delta }_{ik}}</math> | ||
4-dim pseudo-euklid. Raum | 4-dim pseudo-euklid. Raum | ||
:<math>d{{s}^{2}}={{\left( d{{x}^{0}} \right)}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}</math> | :<math>d{{s}^{2}}={{\left( d{{x}^{0}} \right)}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}</math> | ||
mit Metrik <math>{{\eta }_{\mu \nu }}=diag\left( \begin{matrix} | mit Metrik <math>{{\eta }_{\mu \nu }}=diag\left( \begin{matrix} | ||
1 & -1 & -1 & -1 \\ | 1 & -1 & -1 & -1 \\ | ||
Zeile 134: | Zeile 135: | ||
Lichtartig( | Lichtartig( | ||
<math>d{{s}^{2}}=0</math> | <math>d{{s}^{2}}=0</math> | ||
) Spannen den Lichtkegel auf | ) Spannen den Lichtkegel auf | ||
raumartig( | raumartig( | ||
<math>d{{s}^{2}}<0</math> | <math>d{{s}^{2}}<0</math> | ||
Zeile 142: | Zeile 143: | ||
Kovarianter Vektor | Kovarianter Vektor | ||
:<math>{{v}_{\beta }}={{\eta }_{\beta \alpha }}{{v}^{\alpha }}</math> | :<math>{{v}_{\beta }}={{\eta }_{\beta \alpha }}{{v}^{\alpha }}</math> | ||
Heben und Senken von Indices | Heben und Senken von Indices | ||
:<math>{{v}^{\beta }}={{\eta }^{\beta \alpha }}{{v}_{\alpha }}</math> | :<math>{{v}^{\beta }}={{\eta }^{\beta \alpha }}{{v}_{\alpha }}</math> | ||
mit <math>{{\eta }^{\alpha \sigma }}{{\eta }_{\sigma \beta }}=\delta _{\beta }^{\alpha }</math> | mit <math>{{\eta }^{\alpha \sigma }}{{\eta }_{\sigma \beta }}=\delta _{\beta }^{\alpha }</math> | ||
Zeile 149: | Zeile 150: | ||
Allgemein <math>T{{'}^{\alpha ...\beta }}_{\mu ...\nu }=\Lambda _{\rho }^{\alpha }...\Lambda _{\sigma }^{\beta }\bar{\Lambda }_{?}^{?}...\bar{\Lambda }_{?}^{?}{{T}^{\rho ...\sigma }}_{\mu ...\nu }</math> | Allgemein <math>T{{'}^{\alpha ...\beta }}_{\mu ...\nu }=\Lambda _{\rho }^{\alpha }...\Lambda _{\sigma }^{\beta }\bar{\Lambda }_{?}^{?}...\bar{\Lambda }_{?}^{?}{{T}^{\rho ...\sigma }}_{\mu ...\nu }</math> | ||
Die partielle Ableitung ist eine tensorielle Operation: Sie führt ein Tensorfeld N-ter Stufe in ein Tensorfeld (n+1)-ter Stufe über | Die partielle Ableitung ist eine tensorielle Operation: Sie führt ein Tensorfeld N-ter Stufe in ein Tensorfeld (n+1)-ter Stufe über | ||
Beispiel | Beispiel | ||
:<math>\frac{\partial T}{\partial {{x}^{\alpha }}}={{\partial }_{\alpha }}T={{T}_{,\alpha }}</math> | :<math>\frac{\partial T}{\partial {{x}^{\alpha }}}={{\partial }_{\alpha }}T={{T}_{,\alpha }}</math> | ||
:<math>\left( \frac{\partial {{v}^{\beta }}}{\partial {{x}^{\alpha }}} \right)'={{v}^{\beta }}_{,\alpha }'=\frac{\partial v{{'}^{\beta }}}{\partial x{{'}^{\alpha }}}=\frac{\partial }{\partial x{{'}^{\alpha }}}\left( \Lambda _{\sigma }^{\beta }{{v}^{\sigma }} \right)=\Lambda _{\sigma }^{\beta }\frac{\partial {{v}^{\sigma }}}{\partial x{{'}^{\alpha }}}=\Lambda _{\sigma }^{\beta }\frac{\partial {{v}^{\sigma }}}{\partial {{x}^{\rho }}}\frac{\partial {{x}^{\rho }}}{\partial x{{'}^{\alpha }}}=\Lambda _{\sigma }^{\beta }\bar{\Lambda }_{\alpha }^{\rho }\frac{\partial {{v}^{\sigma }}}{\partial {{x}^{\rho }}}</math> | :<math>\left( \frac{\partial {{v}^{\beta }}}{\partial {{x}^{\alpha }}} \right)'={{v}^{\beta }}_{,\alpha }'=\frac{\partial v{{'}^{\beta }}}{\partial x{{'}^{\alpha }}}=\frac{\partial }{\partial x{{'}^{\alpha }}}\left( \Lambda _{\sigma }^{\beta }{{v}^{\sigma }} \right)=\Lambda _{\sigma }^{\beta }\frac{\partial {{v}^{\sigma }}}{\partial x{{'}^{\alpha }}}=\Lambda _{\sigma }^{\beta }\frac{\partial {{v}^{\sigma }}}{\partial {{x}^{\rho }}}\frac{\partial {{x}^{\rho }}}{\partial x{{'}^{\alpha }}}=\Lambda _{\sigma }^{\beta }\bar{\Lambda }_{\alpha }^{\rho }\frac{\partial {{v}^{\sigma }}}{\partial {{x}^{\rho }}}</math> | ||
Zeile 171: | Zeile 172: | ||
\frac{E}{c} & {{p}^{i}} \\ | \frac{E}{c} & {{p}^{i}} \\ | ||
\end{matrix} \right)</math> es gilt <math>{{p}^{\mu }}{{p}_{\mu }}={{m}^{2}}{{c}^{2}}</math> | \end{matrix} \right)</math> es gilt <math>{{p}^{\mu }}{{p}_{\mu }}={{m}^{2}}{{c}^{2}}</math> | ||
Mit Ruhemasse m und träger Masse | Mit Ruhemasse m und träger Masse | ||
:<math>\frac{m}{\sqrt{1-{{\left( \frac{v}{c} \right)}^{2}}}}</math> | :<math>\frac{m}{\sqrt{1-{{\left( \frac{v}{c} \right)}^{2}}}}</math> | ||
Zeile 180: | Zeile 181: | ||
Allgemein <math>{{E}_{0}}:=m{{c}^{2}}</math><math>E={{E}_{0}}+{{E}_{1}}=\text{const}</math>also gilt der Zusammenhang <math>\Delta m\to \Delta {{E}_{0}}\to \Delta {{E}_{1}}</math>(Äquivalenz von Masse und Energie) | Allgemein <math>{{E}_{0}}:=m{{c}^{2}}</math><math>E={{E}_{0}}+{{E}_{1}}=\text{const}</math>also gilt der Zusammenhang <math>\Delta m\to \Delta {{E}_{0}}\to \Delta {{E}_{1}}</math>(Äquivalenz von Masse und Energie) | ||
2. Newton`sche Axiom | 2. Newton`sche Axiom | ||
Die 0-Komponente ist bis auf einen Faktor von der Dimension einer Leistung bestimmt. Im nichtrelativistischen Grenzfall lautet die 0-Komponente der Bewegugnsgleichung | Die 0-Komponente ist bis auf einen Faktor von der Dimension einer Leistung bestimmt. Im nichtrelativistischen Grenzfall lautet die 0-Komponente der Bewegugnsgleichung | ||
:<math>{{d}_{t}}E={{K}^{i}}{{v}_{i}}</math> | :<math>{{d}_{t}}E={{K}^{i}}{{v}_{i}}</math> | ||
Zeile 191: | Zeile 192: | ||
EINFÜGEN | EINFÜGEN | ||
:<math>\Rightarrow {{\partial }_{t}}\rho +\nabla .j=0</math> | :<math>\Rightarrow {{\partial }_{t}}\rho +\nabla .j=0</math> | ||
Bewegungsgleichungen | Bewegungsgleichungen | ||
:<math>{{d}_{t}}\mathbf{p}=q\left( \mathbf{E}+\frac{\mathbf{v}}{c}\times \mathbf{B} \right)</math> | :<math>{{d}_{t}}\mathbf{p}=q\left( \mathbf{E}+\frac{\mathbf{v}}{c}\times \mathbf{B} \right)</math> | ||
(Lorentzkraft) (1.2) | (Lorentzkraft) (1.2) | ||
4- Stromvektor <math>{{j}^{\mu }}=\left( c{{\rho }_{e}},{{j}^{i}} \right)</math> (Kontinuitätsgleichung <math>{{\partial }_{\alpha }}{{j}^{\alpha }}=0</math> | 4- Stromvektor <math>{{j}^{\mu }}=\left( c{{\rho }_{e}},{{j}^{i}} \right)</math> (Kontinuitätsgleichung <math>{{\partial }_{\alpha }}{{j}^{\alpha }}=0</math> | ||
4- Feldstromstärke sei | 4- Feldstromstärke sei | ||
:<math>{{F}^{\mu \nu }}=\left( \begin{matrix} | :<math>{{F}^{\mu \nu }}=\left( \begin{matrix} | ||
0 & -{{E}_{1}} & -{{E}_{2}} & -{{E}_{3}} \\ | 0 & -{{E}_{1}} & -{{E}_{2}} & -{{E}_{3}} \\ | ||
Zeile 214: | Zeile 215: | ||
Ideale Flüssigkeit: Charakterisiert durch Dicht <math>\rho \left( {{x}^{j}},t \right)</math>, Gewindigkeitsfeld <math>{{v}^{i}}\left( {{x}^{j}},t \right)</math>, isptrpües Druckfeld <math>P\left( {{x}^{j}},t \right)</math> also 5 Feldfunktionen | Ideale Flüssigkeit: Charakterisiert durch Dicht <math>\rho \left( {{x}^{j}},t \right)</math>, Gewindigkeitsfeld <math>{{v}^{i}}\left( {{x}^{j}},t \right)</math>, isptrpües Druckfeld <math>P\left( {{x}^{j}},t \right)</math> also 5 Feldfunktionen | ||
Bewegungsgleichungen in der nichtrelativistschen Fassung | Bewegungsgleichungen in der nichtrelativistschen Fassung | ||
3 Euler Gleichungen | 3 Euler Gleichungen | ||
ÜBERSPRUNGEN | ÜBERSPRUNGEN | ||
Beschleunigte Bezugssystem im Minkowski-Raum | Beschleunigte Bezugssystem im Minkowski-Raum | ||
Newtonsche Mechanik | Newtonsche Mechanik | ||
Inertialsystem <math>\left( \mathbf{x},t \right)</math> | Inertialsystem <math>\left( \mathbf{x},t \right)</math> | ||
:<math>m{{d}_{t}}^{2}\mathbf{x}=0</math> | :<math>m{{d}_{t}}^{2}\mathbf{x}=0</math> | ||
(für freies Teilchen) | (für freies Teilchen) | ||
Nicht-Inertialsystem<math>\left( \mathbf{x}',t'=t \right)</math> | Nicht-Inertialsystem<math>\left( \mathbf{x}',t'=t \right)</math> | ||
Beispiel: Rotierendes Bezussystem (<math>\vec{\omega }</math>=Winkelgeschwindigkeit) | Beispiel: Rotierendes Bezussystem (<math>\vec{\omega }</math>=Winkelgeschwindigkeit) | ||
:<math>m{{d}_{t}}^{2}\mathbf{x}'=\underbrace{-2m\omega \times \mathbf{v}'}_{Coriolis}-\underbrace{m\omega \times (\omega \times \mathbf{r}')}_{Zentrifugal}-\underbrace{m\frac{d\omega }{dt}\times \mathbf{r}'}_{Eulerkraft}</math> | :<math>m{{d}_{t}}^{2}\mathbf{x}'=\underbrace{-2m\omega \times \mathbf{v}'}_{Coriolis}-\underbrace{m\omega \times (\omega \times \mathbf{r}')}_{Zentrifugal}-\underbrace{m\frac{d\omega }{dt}\times \mathbf{r}'}_{Eulerkraft}</math> | ||
Zeile 232: | Zeile 233: | ||
Linienelement <math>d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}</math> | Linienelement <math>d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}</math> | ||
Bewegungsgleichung (eines freien Teilchens der Messe m): | Bewegungsgleichung (eines freien Teilchens der Messe m): | ||
Übergang zu einem Nicht-Inertialsystem <math>\left( x{{'}^{i}},t \right)</math> | Übergang zu einem Nicht-Inertialsystem <math>\left( x{{'}^{i}},t \right)</math> | ||
Linienelement <math>\begin{align} | Linienelement <math>\begin{align} | ||
& d{{s}^{2}}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}{{x}^{\nu }}dx{{'}^{\alpha }}dx{{'}^{\beta }} \\ | & d{{s}^{2}}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}{{x}^{\nu }}dx{{'}^{\alpha }}dx{{'}^{\beta }} \\ | ||
& =g{{'}_{\mu }}_{\nu }dx{{'}^{\mu }}dx{{'}^{\nu }} | & =g{{'}_{\mu }}_{\nu }dx{{'}^{\mu }}dx{{'}^{\nu }} | ||
\end{align}</math> | \end{align}</math> | ||
Beispiel: | Beispiel: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{x}^{0}}=x{{'}^{0}}\Rightarrow t=t' \\ | & {{x}^{0}}=x{{'}^{0}}\Rightarrow t=t' \\ | ||
& {{x}^{1}}=x{{'}^{1}}\sin \omega t-x{{'}^{2}}\cos \omega t \\ | & {{x}^{1}}=x{{'}^{1}}\sin \omega t-x{{'}^{2}}\cos \omega t \\ | ||
& {{x}^{2}}=x{{'}^{1}}\sin \omega t+x{{'}^{2}}\cos \omega t \\ | & {{x}^{2}}=x{{'}^{1}}\sin \omega t+x{{'}^{2}}\cos \omega t \\ | ||
& {{x}^{3}}=x{{'}^{3}} \\ | & {{x}^{3}}=x{{'}^{3}} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Mit | Mit | ||
<math>\begin{align} | <math>\begin{align} | ||
& d{{s}^{2}}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}{{x}^{\nu }}dx{{'}^{\alpha }}dx{{'}^{\beta }} \\ | & d{{s}^{2}}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}{{x}^{\nu }}dx{{'}^{\alpha }}dx{{'}^{\beta }} \\ | ||
& =\left[ {{c}^{2}}-{{\omega }^{2}}\left( {{\left( x{{'}^{1}} \right)}^{2}}+{{\left( x{{'}^{2}} \right)}^{2}} \right) \right]dt{{'}^{2}}+2\omega x{{'}^{2}}dx{{'}^{1}}dt'-2\omega x{{'}^{1}}dx{{'}^{2}}dt'-{{\left( dx{{'}^{2}} \right)}^{2}}-{{\left( dx{{'}^{3}} \right)}^{2}} | & =\left[ {{c}^{2}}-{{\omega }^{2}}\left( {{\left( x{{'}^{1}} \right)}^{2}}+{{\left( x{{'}^{2}} \right)}^{2}} \right) \right]dt{{'}^{2}}+2\omega x{{'}^{2}}dx{{'}^{1}}dt'-2\omega x{{'}^{1}}dx{{'}^{2}}dt'-{{\left( dx{{'}^{2}} \right)}^{2}}-{{\left( dx{{'}^{3}} \right)}^{2}} | ||
\end{align}</math> | \end{align}</math> | ||
Bewegungsgleichung: | Bewegungsgleichung: | ||
Man erhält sie durch die Transformation <math>{{x}^{\mu }}={{x}^{\mu }}\left( x{{'}^{\nu }} \right)</math> aus der Gleichung <math>md_{\tau }^{2}{{x}^{\mu }}=0</math>: | Man erhält sie durch die Transformation <math>{{x}^{\mu }}={{x}^{\mu }}\left( x{{'}^{\nu }} \right)</math> aus der Gleichung <math>md_{\tau }^{2}{{x}^{\mu }}=0</math>: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& md_{\tau }^{2}{{x}^{\mu }}=m{{d}_{\tau }}\left( {{d}_{\tau }}{{x}^{\mu }} \right)=m{{d}_{\tau }}\left( \partial {{'}_{\alpha }}{{x}^{\mu }}{{\partial }_{\tau }}x{{'}^{\alpha }} \right)=0 \\ | & md_{\tau }^{2}{{x}^{\mu }}=m{{d}_{\tau }}\left( {{d}_{\tau }}{{x}^{\mu }} \right)=m{{d}_{\tau }}\left( \partial {{'}_{\alpha }}{{x}^{\mu }}{{\partial }_{\tau }}x{{'}^{\alpha }} \right)=0 \\ | ||
& =m\left( \partial '_{\alpha \beta }^{2}{{x}^{\mu }}{{\partial }_{\tau }}x{{'}^{\alpha }}{{\partial }_{\tau }}x{{'}^{\beta }}+\partial {{'}_{\alpha }}{{x}^{\mu }}d_{\tau }^{2}x{{'}^{\alpha }} \right)=0 \\ | & =m\left( \partial '_{\alpha \beta }^{2}{{x}^{\mu }}{{\partial }_{\tau }}x{{'}^{\alpha }}{{\partial }_{\tau }}x{{'}^{\beta }}+\partial {{'}_{\alpha }}{{x}^{\mu }}d_{\tau }^{2}x{{'}^{\alpha }} \right)=0 \\ | ||
\end{align}</math> | \end{align}</math> | ||
Durch Multiplikation mit <math>{{\partial }_{\mu }}x{{'}^{\sigma }}</math>liefert mit <math>\partial {{'}_{\alpha }}{{x}^{\mu }}{{\partial }_{\mu }}x{{'}^{\sigma }}=\delta _{\alpha }^{\sigma }</math>: | Durch Multiplikation mit <math>{{\partial }_{\mu }}x{{'}^{\sigma }}</math>liefert mit <math>\partial {{'}_{\alpha }}{{x}^{\mu }}{{\partial }_{\mu }}x{{'}^{\sigma }}=\delta _{\alpha }^{\sigma }</math>: | ||
:<math>d_{\tau }^{2}x{{'}^{\sigma }}+\underbrace{\underbrace{{{\partial }_{\mu }}x{{'}^{\sigma }}\partial '_{\alpha \beta }^{2}{{x}^{\mu }}}_{=:\Gamma '_{\alpha \beta }^{\sigma }}{{\partial }_{\tau }}x{{'}^{\alpha }}{{\partial }_{\tau }}x{{'}^{\beta }}}_{\text{''Tr }\!\!\ddot{\mathrm{a}}\!\!\text{ gheitskr }\!\!\ddot{\mathrm{a}}\!\!\text{ fte''}}=0</math> | :<math>d_{\tau }^{2}x{{'}^{\sigma }}+\underbrace{\underbrace{{{\partial }_{\mu }}x{{'}^{\sigma }}\partial '_{\alpha \beta }^{2}{{x}^{\mu }}}_{=:\Gamma '_{\alpha \beta }^{\sigma }}{{\partial }_{\tau }}x{{'}^{\alpha }}{{\partial }_{\tau }}x{{'}^{\beta }}}_{\text{''Tr }\!\!\ddot{\mathrm{a}}\!\!\text{ gheitskr }\!\!\ddot{\mathrm{a}}\!\!\text{ fte''}}=0</math> | ||
Da gemäß <math>\begin{align} | Da gemäß <math>\begin{align} | ||
& d{{s}^{2}}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}{{x}^{\nu }}dx{{'}^{\alpha }}dx{{'}^{\beta }} \\ | & d{{s}^{2}}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}{{x}^{\nu }}dx{{'}^{\alpha }}dx{{'}^{\beta }} \\ | ||
& =g{{'}_{\mu }}_{\nu }dx{{'}^{\mu }}dx{{'}^{\nu }} | & =g{{'}_{\mu }}_{\nu }dx{{'}^{\mu }}dx{{'}^{\nu }} | ||
\end{align}</math>die Metrik im Nicht-Inertialsystem <math>x{{'}^{\mu }}</math>durch <math>{{g}_{\mu \nu }}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}</math>gegeben ist folgt | \end{align}</math>die Metrik im Nicht-Inertialsystem <math>x{{'}^{\mu }}</math>durch <math>{{g}_{\mu \nu }}={{\eta }_{\mu \nu }}\partial {{'}_{\alpha }}{{x}^{\mu }}\partial {{'}_{\beta }}</math>gegeben ist folgt | ||
Zeile 276: | Zeile 277: | ||
Mit <math></math> | Mit <math></math> | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& \text{m=tr }\!\!\ddot{\mathrm{a}}\!\!\text{ ge Masse} \\ | & \text{m=tr }\!\!\ddot{\mathrm{a}}\!\!\text{ ge Masse} \\ | ||
& \text{M=passisve Schwere Masse }\left( passive\text{ Gravitationsladung} \right) \\ | & \text{M=passisve Schwere Masse }\left( passive\text{ Gravitationsladung} \right) \\ | ||
& \mathfrak{M}=\text{aktive schwere Masse }\left( aktive\text{ Graviationsladung} \right) \\ | & \mathfrak{M}=\text{aktive schwere Masse }\left( aktive\text{ Graviationsladung} \right) \\ | ||
\end{align}</math> | \end{align}</math> | ||
Bewegungsgleichungen (gemäß dem 2. Axiom): | Bewegungsgleichungen (gemäß dem 2. Axiom): | ||
3. Axiom <math>F_{21}^{i}=-F_{12}^{i}</math> d.h. | 3. Axiom <math>F_{21}^{i}=-F_{12}^{i}</math> d.h. | ||
Newtons Pendelversuch:<math>m=M</math> da Schwingungsdauer<math>T=2\pi \sqrt{\frac{m}{M}\frac{l}{g}}</math>Also<math>m=M=\mathfrak{M}</math>Äquivalenz von schweren und Trägen Massen) | Newtons Pendelversuch:<math>m=M</math> da Schwingungsdauer<math>T=2\pi \sqrt{\frac{m}{M}\frac{l}{g}}</math>Also<math>m=M=\mathfrak{M}</math>Äquivalenz von schweren und Trägen Massen) | ||
Dieses sogenannte Äquivalenzprinzip ist eine Besonderheit der Gravitation (siehe dazu §10) | Dieses sogenannte Äquivalenzprinzip ist eine Besonderheit der Gravitation (siehe dazu §10) | ||
Zeile 293: | Zeile 294: | ||
Bewegungsgleichungen | Bewegungsgleichungen | ||
3. Axiom <math>q=Q</math> | 3. Axiom <math>q=Q</math> | ||
Diese Äquivalenz wird auch in der Elektrodynamik vorrausgesetzt, da ansonsten weder ein Potential nochj eine Lagrange-Funktion eingeführt werden kann (Clausius). Denn nur dann gilt: | Diese Äquivalenz wird auch in der Elektrodynamik vorrausgesetzt, da ansonsten weder ein Potential nochj eine Lagrange-Funktion eingeführt werden kann (Clausius). Denn nur dann gilt: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{q}_{1}}E_{2}^{i}=-{{q}_{1}}\frac{\partial {{U}_{2}}}{\partial x_{1}^{i}}=-\frac{\partial U}{\partial x_{1}^{i}} \\ | & {{q}_{1}}E_{2}^{i}=-{{q}_{1}}\frac{\partial {{U}_{2}}}{\partial x_{1}^{i}}=-\frac{\partial U}{\partial x_{1}^{i}} \\ | ||
& {{q}_{2}}E_{1}^{i}=-{{q}_{2}}\frac{\partial {{U}_{1}}}{\partial x_{2}^{i}}=-\frac{\partial U}{\partial x_{2}^{i}} \\ | & {{q}_{2}}E_{1}^{i}=-{{q}_{2}}\frac{\partial {{U}_{1}}}{\partial x_{2}^{i}}=-\frac{\partial U}{\partial x_{2}^{i}} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 309: | Zeile 310: | ||
Bezüglich eines in einem homogenen Gravitationsfeld frei Fallenden Bezugssystems („Einsteinscher Fahrstuhl“) verlaufen alle Prozesse so, als wäre kein Gravitationsfeld vorhanden. Denn | Bezüglich eines in einem homogenen Gravitationsfeld frei Fallenden Bezugssystems („Einsteinscher Fahrstuhl“) verlaufen alle Prozesse so, als wäre kein Gravitationsfeld vorhanden. Denn | ||
:<math>{{x}^{i}}</math> | :<math>{{x}^{i}}</math> | ||
Kartesische Koordinaten in den O ruht | Kartesische Koordinaten in den O ruht | ||
:<math>x{{'}^{i}}</math>mit dem frei fallenden Fahrstuhl verbundene kartesische Koordinaten | :<math>x{{'}^{i}}</math>mit dem frei fallenden Fahrstuhl verbundene kartesische Koordinaten | ||
:<math>{{x}^{i}}\to x{{'}^{i}}={{x}^{i}}-\frac{1}{2}{{g}^{i}}{{t}^{2}}</math> | :<math>{{x}^{i}}\to x{{'}^{i}}={{x}^{i}}-\frac{1}{2}{{g}^{i}}{{t}^{2}}</math> | ||
(also | (also | ||
:<math>{{x}^{i}}=x{{'}^{i}}+\frac{1}{2}{{g}^{i}}{{t}^{2}}</math> | :<math>{{x}^{i}}=x{{'}^{i}}+\frac{1}{2}{{g}^{i}}{{t}^{2}}</math> | ||
) | ) | ||
:<math>{ | :<math>{m_{A}}d_{t}^{2}x_{A}^{i}={{M}_{A}}{{g}^{i}}+{{F}^{i}}\to {{m}_{A}}d_{t}^{2}x'_{A}^{i}=\left( {{M}_{A}}-{{m}_{A}} \right){ {g}^{i}}+F{{'}^{i}}={{F}^{i}}</math> | ||
Mit Fi irgendwelche andere auf mA wirkende Kräfte | Mit Fi irgendwelche andere auf mA wirkende Kräfte | ||
Bezüglich eines in eines im homogenen Gravitationsfeld frei fallenden lokalen Bezugssystems verlaufen alle Prozesse, so als wäre kein Gravitationsfeld vorhanden. | Bezüglich eines in eines im homogenen Gravitationsfeld frei fallenden lokalen Bezugssystems verlaufen alle Prozesse, so als wäre kein Gravitationsfeld vorhanden. | ||
Mit Einstein (1907): „Der Glücklichste Gedanke meines Lebens“: Diese Eigenschaft der Graviation ist wesentlich und sollte auch in der relativistischen Theorie der Graviation gelten | Mit Einstein (1907): „Der Glücklichste Gedanke meines Lebens“: Diese Eigenschaft der Graviation ist wesentlich und sollte auch in der relativistischen Theorie der Graviation gelten | ||
Einsteinsche Äquivalenzprinzip | Einsteinsche Äquivalenzprinzip | ||
Zeile 355: | Zeile 356: | ||
Krummlinige Koordinaten (Polarkoordinaten) | Krummlinige Koordinaten (Polarkoordinaten) | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{s}^{2}}=d{{r}^{2}}+{{r}^{2}}d{{\varphi }^{2}} \\ | & d{{s}^{2}}=d{{r}^{2}}+{{r}^{2}}d{{\varphi }^{2}} \\ | ||
& ={{g}_{\mu \nu }}\left( x' \right)dx{{'}^{\mu }}dx{{'}^{\nu }} | & ={{g}_{\mu \nu }}\left( x' \right)dx{{'}^{\mu }}dx{{'}^{\nu }} | ||
\end{align}</math> | \end{align}</math> | ||
:<math>d_{t}^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{t}}{{x}^{\mu }}{{d}_{t}}{{x}^{\nu }}=0</math> Es gibt nur Krummlinige Koordinaten z.B. die obrigen | :<math>d_{t}^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{t}}{{x}^{\mu }}{{d}_{t}}{{x}^{\nu }}=0</math> Es gibt nur Krummlinige Koordinaten z.B. die obrigen | ||
Zeile 367: | Zeile 368: | ||
Linienelment | Linienelment | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{s}^{2}}={{\left( d{{x}^{0}} \right)}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}} \\ | & d{{s}^{2}}={{\left( d{{x}^{0}} \right)}^{2}}-{{\left( d{{x}^{1}} \right)}^{2}}-{{\left( d{{x}^{2}} \right)}^{2}}-{{\left( d{{x}^{3}} \right)}^{2}} \\ | ||
& ={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} | & ={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} | ||
\end{align}</math> | \end{align}</math> | ||
Geradengleichung (gradlinige gleichförmige Bewegung) | Geradengleichung (gradlinige gleichförmige Bewegung) | ||
Zeile 388: | Zeile 389: | ||
<math>{{g}_{\mu \nu }}</math>die Signatur -2 hat | <math>{{g}_{\mu \nu }}</math>die Signatur -2 hat | ||
Beziehungen: | Beziehungen: | ||
Es gibt wieder (wie im Minkowski-Raum) drei Arten von Abständen | Es gibt wieder (wie im Minkowski-Raum) drei Arten von Abständen | ||
Zeitarting ( | Zeitarting ( | ||
Zeile 395: | Zeile 396: | ||
Lichtartig( | Lichtartig( | ||
<math>d{{s}^{2}}=0</math> | <math>d{{s}^{2}}=0</math> | ||
) Spannen den Lichtkegel auf | ) Spannen den Lichtkegel auf | ||
raumartig( | raumartig( | ||
<math>d{{s}^{2}}<0</math> | <math>d{{s}^{2}}<0</math> | ||
Zeile 404: | Zeile 405: | ||
Kovarianter Vektor <math>{{v}_{\beta }}</math>: | Kovarianter Vektor <math>{{v}_{\beta }}</math>: | ||
:<math>{{v}_{\beta }}={{\eta }_{\beta \alpha }}{{v}^{\alpha }}</math><math>{{v}_{\beta }}:={{g}_{\beta \alpha }}{{v}^{\alpha }}</math> | :<math>{{v}_{\beta }}={{\eta }_{\beta \alpha }}{{v}^{\alpha }}</math><math>{{v}_{\beta }}:={{g}_{\beta \alpha }}{{v}^{\alpha }}</math> | ||
Heben und Senken von Indices | Heben und Senken von Indices | ||
:<math>{{v}^{\beta }}={{g}^{\beta \alpha }}{{v}_{\alpha }}</math> | :<math>{{v}^{\beta }}={{g}^{\beta \alpha }}{{v}_{\alpha }}</math> | ||
Zeile 412: | Zeile 413: | ||
Die Symmetrien bleiben bei Transformationen erhalten | Die Symmetrien bleiben bei Transformationen erhalten | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{T}_{\left( \mu \nu \right)}}\equiv {{S}_{\mu \nu }}:=\frac{1}{2}\left( {{T}_{\mu }}_{\nu }+{{T}_{\nu }}_{\mu } \right)={{S}_{\nu }}_{\mu } \\ | & {{T}_{\left( \mu \nu \right)}}\equiv {{S}_{\mu \nu }}:=\frac{1}{2}\left( {{T}_{\mu }}_{\nu }+{{T}_{\nu }}_{\mu } \right)={{S}_{\nu }}_{\mu } \\ | ||
& {{T}_{\left[ \mu \nu \right]}}\equiv {{A}_{\mu }}_{\nu }:=\frac{1}{2}\left( {{T}_{\mu }}_{\nu }-{{T}_{\nu }}_{\mu } \right)={{A}_{\nu }}_{\mu } \\ | & {{T}_{\left[ \mu \nu \right]}}\equiv {{A}_{\mu }}_{\nu }:=\frac{1}{2}\left( {{T}_{\mu }}_{\nu }-{{T}_{\nu }}_{\mu } \right)={{A}_{\nu }}_{\mu } \\ | ||
& {{T}_{\mu }}_{\nu }={{S}_{\mu }}_{\nu }+{{A}_{\mu }}_{\nu } \\ | & {{T}_{\mu }}_{\nu }={{S}_{\mu }}_{\nu }+{{A}_{\mu }}_{\nu } \\ | ||
\end{align}</math> | \end{align}</math> | ||
:<math>S{{'}_{\mu }}_{\nu }=\partial {{'}_{\mu }}{{x}^{\alpha }}\partial {{'}_{\nu }}{{x}^{\beta }}{{S}_{\alpha }}_{\beta }=\partial {{'}_{\mu }}{{x}^{\beta }}\partial {{'}_{\nu }}{{x}^{\alpha }}{{S}_{\beta }}_{\alpha }=\partial {{'}_{\mu }}{{x}^{\beta }}\partial {{'}_{\nu }}{{x}^{\alpha }}{{S}_{\alpha }}_{\beta }=S{{'}_{\nu \mu }}</math> | :<math>S{{'}_{\mu }}_{\nu }=\partial {{'}_{\mu }}{{x}^{\alpha }}\partial {{'}_{\nu }}{{x}^{\beta }}{{S}_{\alpha }}_{\beta }=\partial {{'}_{\mu }}{{x}^{\beta }}\partial {{'}_{\nu }}{{x}^{\alpha }}{{S}_{\beta }}_{\alpha }=\partial {{'}_{\mu }}{{x}^{\beta }}\partial {{'}_{\nu }}{{x}^{\alpha }}{{S}_{\alpha }}_{\beta }=S{{'}_{\nu \mu }}</math> | ||
Die partielle Ableitung ist keine kovariante Operation, d.h. sie macht einem Tensor k-ter Stufe keinen Tensor (k+1)-ter Stufe. Denn: | Die partielle Ableitung ist keine kovariante Operation, d.h. sie macht einem Tensor k-ter Stufe keinen Tensor (k+1)-ter Stufe. Denn: | ||
:<math>\partial {{'}_{\nu }}A{{'}^{\mu }}={{\partial }_{\rho }}A{{'}^{\mu }}\partial {{'}_{\nu }}{{x}^{\rho }}={{\partial }_{\rho }}\left( {{\partial }_{\sigma }}x{{'}^{\mu }}{{A}^{\sigma }} \right)\partial {{'}_{\nu }}{{x}^{\rho }}=\partial _{\rho \sigma }^{2}x{{'}^{\mu }}\partial {{'}_{\nu }}{{A}^{\sigma }}+{{\partial }_{\sigma }}x{{'}^{\mu }}\partial {{'}_{\nu }}{{x}^{\rho }}{{\partial }_{\rho }}{{A}^{\sigma }}</math> | :<math>\partial {{'}_{\nu }}A{{'}^{\mu }}={{\partial }_{\rho }}A{{'}^{\mu }}\partial {{'}_{\nu }}{{x}^{\rho }}={{\partial }_{\rho }}\left( {{\partial }_{\sigma }}x{{'}^{\mu }}{{A}^{\sigma }} \right)\partial {{'}_{\nu }}{{x}^{\rho }}=\partial _{\rho \sigma }^{2}x{{'}^{\mu }}\partial {{'}_{\nu }}{{A}^{\sigma }}+{{\partial }_{\sigma }}x{{'}^{\mu }}\partial {{'}_{\nu }}{{x}^{\rho }}{{\partial }_{\rho }}{{A}^{\sigma }}</math> | ||
Zeile 427: | Zeile 428: | ||
Im Minkowski-Raum reduziert sich im quasi-kartesischen Koordinaten (d.h. in einem globalen IS) die kovariante auf die partielle Ableitung (In einem Riemannschen Raum ist das für lokale IS zu fordern. | Im Minkowski-Raum reduziert sich im quasi-kartesischen Koordinaten (d.h. in einem globalen IS) die kovariante auf die partielle Ableitung (In einem Riemannschen Raum ist das für lokale IS zu fordern. | ||
Man betrachte dazu die Transformations-Eigenschaften der Christoffel-Symbole die in den §§8 und 11 beim Übergang von einem IS bzw. lokalen IS zu beliebigen Koordinaten auftreten. | Man betrachte dazu die Transformations-Eigenschaften der Christoffel-Symbole die in den §§8 und 11 beim Übergang von einem IS bzw. lokalen IS zu beliebigen Koordinaten auftreten. | ||
IS bzw. lokales IS Beliebiges KS | IS bzw. lokales IS Beliebiges KS | ||
Koordinaten <math>{{\xi }^{\mu }}</math> | Koordinaten <math>{{\xi }^{\mu }}</math> | ||
Metrik <math>{{\eta }_{\mu \nu }}</math> | Metrik <math>{{\eta }_{\mu \nu }}</math> | ||
Zeile 436: | Zeile 437: | ||
Nun Übergang von Koordinaten <math>{{x}^{\mu }}</math>zu neuen Koordinaten <math>x{{'}^{\mu }}</math>: | Nun Übergang von Koordinaten <math>{{x}^{\mu }}</math>zu neuen Koordinaten <math>x{{'}^{\mu }}</math>: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& \Gamma '_{\nu \lambda }^{\mu }=\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\tau }}}\frac{{{\partial }^{2}}{{\xi }^{\tau }}}{\partial x{{'}^{\nu }}\partial x{{'}^{\lambda }}} \\ | & \Gamma '_{\nu \lambda }^{\mu }=\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\tau }}}\frac{{{\partial }^{2}}{{\xi }^{\tau }}}{\partial x{{'}^{\nu }}\partial x{{'}^{\lambda }}} \\ | ||
& =\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\sigma }}}\frac{\partial {{x}^{\sigma }}}{\partial {{\xi }^{\tau }}}\frac{\partial }{\partial x{{'}^{\nu }}}\left( \frac{\partial {{\xi }^{\tau }}}{\partial {{x}^{\alpha }}}\frac{\partial {{x}^{\alpha }}}{\partial x{{'}^{\lambda }}} \right) \\ | & =\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\sigma }}}\frac{\partial {{x}^{\sigma }}}{\partial {{\xi }^{\tau }}}\frac{\partial }{\partial x{{'}^{\nu }}}\left( \frac{\partial {{\xi }^{\tau }}}{\partial {{x}^{\alpha }}}\frac{\partial {{x}^{\alpha }}}{\partial x{{'}^{\lambda }}} \right) \\ | ||
& =\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\sigma }}}\frac{\partial {{x}^{\sigma }}}{\partial {{\xi }^{\tau }}}\left( \frac{{{\partial }^{2}}{{\xi }^{\tau }}}{\partial {{x}^{\alpha }}\partial {{x}^{\rho }}}\frac{\partial {{x}^{\rho }}}{\partial {{x}^{\alpha }}}\frac{\partial {{x}^{\alpha }}}{\partial x{{'}^{\lambda }}}+\frac{{{\partial }^{2}}{{x}^{\alpha }}}{\partial x{{'}^{\nu }}\partial x{{'}^{\lambda }}}\frac{\partial {{\xi }^{\tau }}}{\partial {{x}^{\alpha }}} \right) \\ | & =\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\sigma }}}\frac{\partial {{x}^{\sigma }}}{\partial {{\xi }^{\tau }}}\left( \frac{{{\partial }^{2}}{{\xi }^{\tau }}}{\partial {{x}^{\alpha }}\partial {{x}^{\rho }}}\frac{\partial {{x}^{\rho }}}{\partial {{x}^{\alpha }}}\frac{\partial {{x}^{\alpha }}}{\partial x{{'}^{\lambda }}}+\frac{{{\partial }^{2}}{{x}^{\alpha }}}{\partial x{{'}^{\nu }}\partial x{{'}^{\lambda }}}\frac{\partial {{\xi }^{\tau }}}{\partial {{x}^{\alpha }}} \right) \\ | ||
& =\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\sigma }}}\frac{\partial {{x}^{\sigma }}}{\partial {{\xi }^{\tau }}}\frac{\partial {{x}^{\alpha }}}{\partial x{{'}^{\lambda }}}\Gamma _{\alpha \rho }^{\sigma }+\frac{\partial x{{'}^{\mu }}}{\partial {{x}^{\sigma }}}\frac{{{\partial }^{2}}{{x}^{\sigma }}}{\partial x{{'}^{\nu }}\partial x{{'}^{\lambda }}} | & =\frac{\partial x{{'}^{\mu }}}{\partial {{\xi }^{\sigma }}}\frac{\partial {{x}^{\sigma }}}{\partial {{\xi }^{\tau }}}\frac{\partial {{x}^{\alpha }}}{\partial x{{'}^{\lambda }}}\Gamma _{\alpha \rho }^{\sigma }+\frac{\partial x{{'}^{\mu }}}{\partial {{x}^{\sigma }}}\frac{{{\partial }^{2}}{{x}^{\sigma }}}{\partial x{{'}^{\nu }}\partial x{{'}^{\lambda }}} | ||
\end{align}</math> | \end{align}</math> | ||
Betrachte nun <math>\Gamma '_{\nu \lambda }^{\mu }A{{'}^{\lambda }}</math> | Betrachte nun <math>\Gamma '_{\nu \lambda }^{\mu }A{{'}^{\lambda }}</math> | ||
Daher gilt wegen des letzten Ausdrucks von §13: | Daher gilt wegen des letzten Ausdrucks von §13: | ||
:<math>\partial {{'}_{\nu }}A{{'}^{\alpha }}+\Gamma '_{\mu \nu }^{\alpha }A{{'}^{\mu }}={{\partial }_{\sigma }}x{{'}^{\alpha }}\partial {{'}_{\nu }}{{x}^{\rho }}\left( {{\partial }_{\rho }}{{A}^{\sigma }}+\Gamma _{\beta \sigma }^{\sigma }{{A}^{\beta }} \right)</math> | :<math>\partial {{'}_{\nu }}A{{'}^{\alpha }}+\Gamma '_{\mu \nu }^{\alpha }A{{'}^{\mu }}={{\partial }_{\sigma }}x{{'}^{\alpha }}\partial {{'}_{\nu }}{{x}^{\rho }}\left( {{\partial }_{\rho }}{{A}^{\sigma }}+\Gamma _{\beta \sigma }^{\sigma }{{A}^{\beta }} \right)</math> | ||
Transformation eines Tensors 2-ter Stufe! | Transformation eines Tensors 2-ter Stufe! | ||
Definition der kovarianten Ableitung: | Definition der kovarianten Ableitung: | ||
:<math>{{\nabla }_{\nu }}{{A}^{\alpha }}\equiv {{A}^{\alpha }}_{;\nu }:={{A}^{\alpha }}_{,\nu }+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}</math> | :<math>{{\nabla }_{\nu }}{{A}^{\alpha }}\equiv {{A}^{\alpha }}_{;\nu }:={{A}^{\alpha }}_{,\nu }+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}</math> | ||
Allgemein gilt: | Allgemein gilt: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& \begin{array}{*{35}{l}} | & \begin{array}{*{35}{l}} | ||
T_{rs...;l}^{ik...}=T_{rs...,l}^{ik...} & +\Gamma _{ml}^{i}T_{rs...}^{mk...}\quad & {} & +\Gamma _{ml}^{k}T_{rs...}^{im...}... & \quad & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden oberen Index} \\ | T_{rs...;l}^{ik...}=T_{rs...,l}^{ik...} & +\Gamma _{ml}^{i}T_{rs...}^{mk...}\quad & {} & +\Gamma _{ml}^{k}T_{rs...}^{im...}... & \quad & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden oberen Index} \\ | ||
{} & -\Gamma _{rl}^{m}T_{ms...}^{ik...}\quad & {} & -\Gamma _{sl}^{m}T_{rm...}^{ik...}... & {} & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden unteren Index} \\ | {} & -\Gamma _{rl}^{m}T_{ms...}^{ik...}\quad & {} & -\Gamma _{sl}^{m}T_{rm...}^{ik...}... & {} & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden unteren Index} \\ | ||
\end{array} \\ | \end{array} \\ | ||
& \begin{matrix} | & \begin{matrix} | ||
T_{rs...;l}^{ik...}=T_{rs...,l}^{ik...} & +\Gamma _{ml}^{i}T_{rs...}^{mk...} & +\Gamma _{ml}^{k}T_{rs...}^{im...}... & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden oberen Index} \\ | T_{rs...;l}^{ik...}=T_{rs...,l}^{ik...} & +\Gamma _{ml}^{i}T_{rs...}^{mk...} & +\Gamma _{ml}^{k}T_{rs...}^{im...}... & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden oberen Index} \\ | ||
{} & -\Gamma _{rl}^{m}T_{ms...}^{ik...} & -\Gamma _{sl}^{m}T_{rm...}^{ik...}... & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden unteren Index} \\ | {} & -\Gamma _{rl}^{m}T_{ms...}^{ik...} & -\Gamma _{sl}^{m}T_{rm...}^{ik...}... & \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r jeden unteren Index} \\ | ||
\end{matrix} \\ | \end{matrix} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 472: | Zeile 473: | ||
Anschauliche Bedeutung der kovarianten Ableitung führt zum Begriff „Parlleltransport“ bzw. „Parallelität von Vektoren in infinitesimal benachbarten Punkten“: | Anschauliche Bedeutung der kovarianten Ableitung führt zum Begriff „Parlleltransport“ bzw. „Parallelität von Vektoren in infinitesimal benachbarten Punkten“: | ||
Das totale Differential eines Vektors <math>{{A}^{\alpha }}</math> | Das totale Differential eines Vektors <math>{{A}^{\alpha }}</math> | ||
:<math>d{{A}^{\alpha }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}={{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{x}^{\lambda }} \right)-{{A}^{\mu }}\left( {{x}^{\lambda }} \right)</math> | :<math>d{{A}^{\alpha }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}={{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{x}^{\lambda }} \right)-{{A}^{\mu }}\left( {{x}^{\lambda }} \right)</math> | ||
Ist also kein Vektor (s.o), weil die Termine | Ist also kein Vektor (s.o), weil die Termine | ||
:<math>{{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{x}^{\lambda }} \right)</math> | :<math>{{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{x}^{\lambda }} \right)</math> | ||
und <math>{{A}^{\alpha }}\left( x \right)</math>sich verschieden transformieren, denn <math>{{\alpha }^{\alpha }}_{\nu }\left( x+dx \right)\ne {{\alpha }^{\alpha }}_{\nu }\left( x \right)</math>. Die Differenz ist deshalb kein Tensor. | und <math>{{A}^{\alpha }}\left( x \right)</math>sich verschieden transformieren, denn <math>{{\alpha }^{\alpha }}_{\nu }\left( x+dx \right)\ne {{\alpha }^{\alpha }}_{\nu }\left( x \right)</math>. Die Differenz ist deshalb kein Tensor. | ||
Man muss also | Man muss also | ||
:<math>{{A}^{\alpha }}\left( x+dx \right)</math> | :<math>{{A}^{\alpha }}\left( x+dx \right)</math> | ||
zum Punkt x transportieren, ohne dass z sich im Minkowski-Fall ändert (d.h. ihn nach x parallel verschieben). Die Änderung bei Parallelverschiebung sei <math>\delta {{A}^{\alpha }}</math>genannt. | zum Punkt x transportieren, ohne dass z sich im Minkowski-Fall ändert (d.h. ihn nach x parallel verschieben). Die Änderung bei Parallelverschiebung sei <math>\delta {{A}^{\alpha }}</math>genannt. | ||
:<math>D{{A}^{\alpha }}={{A}^{\alpha }}\left( x+dx \right)-{{A}^{\mu }}\left( x \right)-\delta {{A}^{\alpha }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}-\delta {{A}^{\alpha }}</math> | :<math>D{{A}^{\alpha }}={{A}^{\alpha }}\left( x+dx \right)-{{A}^{\mu }}\left( x \right)-\delta {{A}^{\alpha }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}-\delta {{A}^{\alpha }}</math> | ||
(man zieht also die Änderung bei der Parallelverschiebung ab) | (man zieht also die Änderung bei der Parallelverschiebung ab) | ||
Aufgrund der oben definierten kovarianten Ableitung weiß man, wie <math>\delta {{A}^{\alpha }}</math>aussieht: | Aufgrund der oben definierten kovarianten Ableitung weiß man, wie <math>\delta {{A}^{\alpha }}</math>aussieht: | ||
:<math>D{{A}^{\alpha }}={{A}^{\alpha }}_{;\nu }d{{x}^{\nu }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}d{{x}^{\nu }}</math> | :<math>D{{A}^{\alpha }}={{A}^{\alpha }}_{;\nu }d{{x}^{\nu }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}d{{x}^{\nu }}</math> | ||
d.h. <math>\delta {{A}^{\alpha }}=-\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}d{{x}^{\nu }}</math> | d.h. <math>\delta {{A}^{\alpha }}=-\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}d{{x}^{\nu }}</math> | ||
Also: 2 Vektoren in infinitesimalen Punkten sind genau dann parallel, wenn die beiden Änderungen <math>d{{A}^{\alpha }}</math>und <math>\delta {{A}^{\alpha }}</math>sich gegenseitig kompensieren, d.h. wenn die kovariante Ableitung verschwindet:<math>d{{A}^{\alpha }}-\delta {{A}^{\alpha }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}d{{x}^{\nu }}=0</math>. | Also: 2 Vektoren in infinitesimalen Punkten sind genau dann parallel, wenn die beiden Änderungen <math>d{{A}^{\alpha }}</math>und <math>\delta {{A}^{\alpha }}</math>sich gegenseitig kompensieren, d.h. wenn die kovariante Ableitung verschwindet:<math>d{{A}^{\alpha }}-\delta {{A}^{\alpha }}={{A}^{\alpha }}_{,\nu }d{{x}^{\nu }}+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}d{{x}^{\nu }}=0</math>. | ||
Bemerkungen: | Bemerkungen: | ||
Zeile 498: | Zeile 499: | ||
Def. der Autoparallel (die „gradeste Verbindung“ zweier Punkte): (Für beliebige Kurven ändert sich der Winkel zwischen Vektro und Kurve (s.o.)) | Def. der Autoparallel (die „gradeste Verbindung“ zweier Punkte): (Für beliebige Kurven ändert sich der Winkel zwischen Vektro und Kurve (s.o.)) | ||
Autoparllele=Kurve, längst der der Tangentenvektor parallel verschoben wird | Autoparllele=Kurve, längst der der Tangentenvektor parallel verschoben wird | ||
:<math>{{A}^{\alpha }}_{,\nu }{{d}_{\tau }}{{x}^{\nu }}+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}=0</math> | :<math>{{A}^{\alpha }}_{,\nu }{{d}_{\tau }}{{x}^{\nu }}+\Gamma _{\mu \nu }^{\alpha }{{A}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}=0</math> | ||
(Parallelverschiebung) | (Parallelverschiebung) | ||
:<math>{{A}^{\alpha }}={{d}_{\tau }}{{x}^{\alpha }}</math> | :<math>{{A}^{\alpha }}={{d}_{\tau }}{{x}^{\alpha }}</math> | ||
(Tangentenvektor an Kurve mit Kurvenparameter <math>\tau </math>) | (Tangentenvektor an Kurve mit Kurvenparameter <math>\tau </math>) | ||
:<math>\Rightarrow d_{\tau }^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{\tau }}{{x}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}=0</math> | :<math>\Rightarrow d_{\tau }^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{\tau }}{{x}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}=0</math> | ||
(Autoparallelengleichung) | (Autoparallelengleichung) | ||
Definition der Geodäten (die „kürzeste Verbindung“ zweier Punkte): | Definition der Geodäten (die „kürzeste Verbindung“ zweier Punkte): | ||
Geodäte=Kurve länger der <math>\delta \int_{A}^{B}{ds}=0</math>. | Geodäte=Kurve länger der <math>\delta \int_{A}^{B}{ds}=0</math>. | ||
:<math>\Rightarrow d_{\tau }^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{\tau }}{{x}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}=0</math> | :<math>\Rightarrow d_{\tau }^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{\tau }}{{x}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}=0</math> | ||
(Geodätengleichung) | (Geodätengleichung) | ||
Zeile 516: | Zeile 517: | ||
Der Krümmungstensor ist ein kovariantes Maß für die Krümmung des Raumes (Die Metrik und die Konnektoren sind ungeeignet: <math>{{g}_{\mu \nu }}</math>ist kein „punktuelles“ Maß, da in einem Punkt immer auf <math>{{\eta }_{\mu \nu }}</math>zu transformieren und <math>\Gamma _{\mu \nu }^{\alpha }</math>ist kein Tensor.) | Der Krümmungstensor ist ein kovariantes Maß für die Krümmung des Raumes (Die Metrik und die Konnektoren sind ungeeignet: <math>{{g}_{\mu \nu }}</math>ist kein „punktuelles“ Maß, da in einem Punkt immer auf <math>{{\eta }_{\mu \nu }}</math>zu transformieren und <math>\Gamma _{\mu \nu }^{\alpha }</math>ist kein Tensor.) | ||
Erste Art der Definition | Erste Art der Definition | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{A}^{\alpha }}_{;\mu ;\nu }-{{A}^{\alpha }}_{;\nu ;\mu }={{R}^{\alpha }}_{\beta \mu \nu }{{A}^{\beta }} \\ | & {{A}^{\alpha }}_{;\mu ;\nu }-{{A}^{\alpha }}_{;\nu ;\mu }={{R}^{\alpha }}_{\beta \mu \nu }{{A}^{\beta }} \\ | ||
& {{R}^{\alpha }}_{\beta \mu \nu }=\Gamma _{\beta \nu ,\mu }^{\alpha }-\Gamma _{\beta \mu ,\nu }^{\alpha }+\Gamma _{\sigma \mu }^{\alpha }\Gamma _{\beta \nu }^{\sigma }-\Gamma _{\sigma \nu }^{\alpha }\Gamma _{\beta \mu }^{\sigma } \\ | & {{R}^{\alpha }}_{\beta \mu \nu }=\Gamma _{\beta \nu ,\mu }^{\alpha }-\Gamma _{\beta \mu ,\nu }^{\alpha }+\Gamma _{\sigma \mu }^{\alpha }\Gamma _{\beta \nu }^{\sigma }-\Gamma _{\sigma \nu }^{\alpha }\Gamma _{\beta \mu }^{\sigma } \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zweite Art der Definition | Zweite Art der Definition | ||
:<math>{{A}^{\alpha }}\left( q \right)={{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{x}^{\lambda }}+d{{{\bar{x}}}^{\lambda }} \right)={{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{{\bar{x}}}^{\lambda }}+d{{x}^{\lambda }} \right)</math> | :<math>{{A}^{\alpha }}\left( q \right)={{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{x}^{\lambda }}+d{{{\bar{x}}}^{\lambda }} \right)={{A}^{\alpha }}\left( {{x}^{\lambda }}+d{{{\bar{x}}}^{\lambda }}+d{{x}^{\lambda }} \right)</math> | ||
1. Weg | 1. Weg | ||
2. Weg | 2. Weg | ||
:<math>\Delta {{A}^{\alpha }}=\delta {{A}^{\alpha }}_{\left( 1 \right)}-\delta {{A}^{\alpha }}_{\left( 2 \right)}=-{{R}^{\alpha }}_{\beta \mu \nu }{{A}^{\mu }}d{{\bar{x}}^{\beta }}d{{x}^{\nu }}</math> | :<math>\Delta {{A}^{\alpha }}=\delta {{A}^{\alpha }}_{\left( 1 \right)}-\delta {{A}^{\alpha }}_{\left( 2 \right)}=-{{R}^{\alpha }}_{\beta \mu \nu }{{A}^{\mu }}d{{\bar{x}}^{\beta }}d{{x}^{\nu }}</math> | ||
Symmetrien des Riemannschen Krümmungstensors | Symmetrien des Riemannschen Krümmungstensors | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{R}_{\alpha \beta \mu \nu }}=-{{R}_{\beta \alpha \mu \nu }}=-{{R}_{\alpha \beta \nu \mu }}={{R}_{\mu \nu \alpha \beta }} \\ | & {{R}_{\alpha \beta \mu \nu }}=-{{R}_{\beta \alpha \mu \nu }}=-{{R}_{\alpha \beta \nu \mu }}={{R}_{\mu \nu \alpha \beta }} \\ | ||
& {{R}^{\alpha }}_{\beta \mu \nu }+{{R}^{\alpha }}_{\mu \nu \beta }+{{R}^{\alpha }}_{\nu \beta \mu }=0 \\ | & {{R}^{\alpha }}_{\beta \mu \nu }+{{R}^{\alpha }}_{\mu \nu \beta }+{{R}^{\alpha }}_{\nu \beta \mu }=0 \\ | ||
\end{align}</math> | \end{align}</math> | ||
Es bleiben also noch 20 algebraisch unabhängige Komponenten | Es bleiben also noch 20 algebraisch unabhängige Komponenten | ||
Differentialidentität (Bianchi-Identität) | Differentialidentität (Bianchi-Identität) | ||
:<math>{{R}_{\alpha \beta \mu \nu ;\lambda }}+{{R}_{\alpha \beta \nu \lambda ;\mu }}+{{R}_{\alpha \beta \lambda \mu ;\nu }}=0</math> | :<math>{{R}_{\alpha \beta \mu \nu ;\lambda }}+{{R}_{\alpha \beta \nu \lambda ;\mu }}+{{R}_{\alpha \beta \lambda \mu ;\nu }}=0</math> | ||
Zeile 551: | Zeile 552: | ||
(schwaches Äquivalenzprinzip bzw. Einsteinsches Äquivalenzprinzip) | (schwaches Äquivalenzprinzip bzw. Einsteinsches Äquivalenzprinzip) | ||
SRT Gesetze ohne Gravitation Koordinaten Transformation ART-Gesetze (Relativistisch) Gesetze mit Gravitation | SRT Gesetze ohne Gravitation Koordinaten Transformation ART-Gesetze (Relativistisch) Gesetze mit Gravitation | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{\xi }^{\alpha }}\to {{x}^{\alpha }} \\ | & {{\xi }^{\alpha }}\to {{x}^{\alpha }} \\ | ||
& {{\eta }_{\mu \nu }}\to {{g}_{\mu \nu }} \\ | & {{\eta }_{\mu \nu }}\to {{g}_{\mu \nu }} \\ | ||
& {{\partial }_{\mu }}\to {{D}_{\mu }} \\ | & {{\partial }_{\mu }}\to {{D}_{\mu }} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Tensoren im M4 Tensoren im V4 | Tensoren im M4 Tensoren im V4 | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{\xi }^{\alpha }}\to d{{x}^{\alpha }}=\frac{\partial {{x}^{\alpha }}}{d{{\xi }^{\mu }}}d{{\xi }^{\mu }} \\ | & d{{\xi }^{\alpha }}\to d{{x}^{\alpha }}=\frac{\partial {{x}^{\alpha }}}{d{{\xi }^{\mu }}}d{{\xi }^{\mu }} \\ | ||
& {{\eta }_{\mu \nu }}\to {{g}_{\mu \nu }}={{\eta }_{\alpha \beta }}\frac{\partial {{\xi }^{\alpha }}}{\partial {{x}^{\mu }}}\frac{\partial {{\xi }^{\beta }}}{\partial {{x}^{\nu }}} \\ | & {{\eta }_{\mu \nu }}\to {{g}_{\mu \nu }}={{\eta }_{\alpha \beta }}\frac{\partial {{\xi }^{\alpha }}}{\partial {{x}^{\mu }}}\frac{\partial {{\xi }^{\beta }}}{\partial {{x}^{\nu }}} \\ | ||
& A_{{{M}_{4}}}^{\alpha }\to A_{{{V}_{4}}}^{\alpha }=\frac{\partial {{x}^{\alpha }}}{\partial {{\xi }^{\mu }}}A_{{{M}_{4}}}^{\mu } \\ | & A_{{{M}_{4}}}^{\alpha }\to A_{{{V}_{4}}}^{\alpha }=\frac{\partial {{x}^{\alpha }}}{\partial {{\xi }^{\mu }}}A_{{{M}_{4}}}^{\mu } \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 570: | Zeile 571: | ||
(nichtrelativistische Näherung §31a) | (nichtrelativistische Näherung §31a) | ||
Elektrodynamik | Elektrodynamik | ||
:<math>\left. \begin{align} | :<math>\left. \begin{align} | ||
& {{F}^{\mu \nu }}_{,\nu }=\frac{4\pi }{c}{{j}^{\mu }} \\ | & {{F}^{\mu \nu }}_{,\nu }=\frac{4\pi }{c}{{j}^{\mu }} \\ | ||
& {{\varepsilon }^{\nu \mu \alpha \beta }}{{F}_{\alpha \beta ,\mu }}=0 | & {{\varepsilon }^{\nu \mu \alpha \beta }}{{F}_{\alpha \beta ,\mu }}=0 | ||
\end{align} \right\}\to \left\{ \begin{align} | \end{align} \right\}\to \left\{ \begin{align} | ||
& {{F}^{\mu \nu }}_{;\nu }=\frac{4\pi }{c}{{j}^{\mu }} \\ | & {{F}^{\mu \nu }}_{;\nu }=\frac{4\pi }{c}{{j}^{\mu }} \\ | ||
& \frac{1}{\sqrt{-g}}{{\varepsilon }^{\nu \mu \alpha \beta }}{{F}_{\alpha \beta ;\mu }}=0 | & \frac{1}{\sqrt{-g}}{{\varepsilon }^{\nu \mu \alpha \beta }}{{F}_{\alpha \beta ;\mu }}=0 | ||
\end{align} \right.\Leftrightarrow \left\{ \begin{align} | \end{align} \right.\Leftrightarrow \left\{ \begin{align} | ||
& \frac{1}{\sqrt{-g}}{{\left( \sqrt{-g}{{F}^{\mu \nu }} \right)}_{,\nu }}=\frac{4\pi }{c}{{j}^{\mu }} \\ | & \frac{1}{\sqrt{-g}}{{\left( \sqrt{-g}{{F}^{\mu \nu }} \right)}_{,\nu }}=\frac{4\pi }{c}{{j}^{\mu }} \\ | ||
& {{\varepsilon }^{\nu \mu \alpha \beta }}{{F}_{\alpha \beta ,\mu }}=0 | & {{\varepsilon }^{\nu \mu \alpha \beta }}{{F}_{\alpha \beta ,\mu }}=0 | ||
\end{align} \right.</math> | \end{align} \right.</math> | ||
Nichtrelativistischer Grenzfall | Nichtrelativistischer Grenzfall | ||
Der mechanischen Bewegungsgleichung | Der mechanischen Bewegungsgleichung | ||
:<math>{{f}^{\alpha }}=0</math> | :<math>{{f}^{\alpha }}=0</math> | ||
:<math>{{v}^{i}}\ll c\to {{d}_{t}}{{x}^{i}}\ll c\to {{d}_{t}}{{x}^{i}}\ll {{d}_{t}}\left( ct \right)\to {{d}_{t}}d{{x}^{i}}\ll {{d}_{t}}d{{x}^{0}}\to {{d}_{\tau }}{{x}^{i}}\ll {{d}_{\tau }}{{x}^{0}}</math> | :<math>{{v}^{i}}\ll c\to {{d}_{t}}{{x}^{i}}\ll c\to {{d}_{t}}{{x}^{i}}\ll {{d}_{t}}\left( ct \right)\to {{d}_{t}}d{{x}^{i}}\ll {{d}_{t}}d{{x}^{0}}\to {{d}_{\tau }}{{x}^{i}}\ll {{d}_{\tau }}{{x}^{0}}</math> | ||
Also | Also | ||
:<math>md_{\tau }^{2}{{x}^{\alpha }}=-m\Gamma _{\mu \nu }^{\alpha }{{d}_{\tau }}{{x}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}\approx -m\Gamma _{00}^{\alpha }{{d}_{\tau }}{{x}^{0}}{{d}_{\tau }}{{x}^{0}}</math> | :<math>md_{\tau }^{2}{{x}^{\alpha }}=-m\Gamma _{\mu \nu }^{\alpha }{{d}_{\tau }}{{x}^{\mu }}{{d}_{\tau }}{{x}^{\nu }}\approx -m\Gamma _{00}^{\alpha }{{d}_{\tau }}{{x}^{0}}{{d}_{\tau }}{{x}^{0}}</math> | ||
:<math>{{g}_{\mu \nu ,0}}=0</math> (statische Felder) | :<math>{{g}_{\mu \nu ,0}}=0</math> (statische Felder) | ||
:<math>\to \Gamma _{00}^{\alpha }=\frac{1}{2}{{g}^{\alpha \sigma }}\left( {{g}_{\sigma 0,0}}+{{g}_{0\sigma ,0}}-{{g}_{00,\sigma }} \right)=-\frac{1}{2}{{g}^{\alpha i}}{{g}_{00,i}}</math> | :<math>\to \Gamma _{00}^{\alpha }=\frac{1}{2}{{g}^{\alpha \sigma }}\left( {{g}_{\sigma 0,0}}+{{g}_{0\sigma ,0}}-{{g}_{00,\sigma }} \right)=-\frac{1}{2}{{g}^{\alpha i}}{{g}_{00,i}}</math> | ||
(schwache Felder) | (schwache Felder) | ||
Bewegungsgleichungen: | Bewegungsgleichungen: | ||
:<math>d_{\tau }^{2}t=0\to {{d}_{\tau }}t=\text{const}</math> | :<math>d_{\tau }^{2}t=0\to {{d}_{\tau }}t=\text{const}</math> | ||
:<math>d_{\tau }^{2}{{x}^{i}}=-\frac{1}{2}{{c}^{2}}{{\partial }_{i}}{{h}_{00}}{{\left( {{d}_{\tau }}t \right)}^{2}}\to d_{t}^{2}{{x}^{i}}=-\frac{{{c}^{2}}}{2}{{h}_{00,i}}\to {{g}_{00}}=1+{{h}_{00}}=1+\frac{2\phi }{c}</math> | :<math>d_{\tau }^{2}{{x}^{i}}=-\frac{1}{2}{{c}^{2}}{{\partial }_{i}}{{h}_{00}}{{\left( {{d}_{\tau }}t \right)}^{2}}\to d_{t}^{2}{{x}^{i}}=-\frac{{{c}^{2}}}{2}{{h}_{00,i}}\to {{g}_{00}}=1+{{h}_{00}}=1+\frac{2\phi }{c}</math> | ||
Man kann <math>\Delta \varphi =4\pi G\rho </math> daher schreiben als | Man kann <math>\Delta \varphi =4\pi G\rho </math> daher schreiben als | ||
:<math>\Delta {{g}_{00}}=\frac{8\pi G}{{{c}^{2}}}\rho </math> | :<math>\Delta {{g}_{00}}=\frac{8\pi G}{{{c}^{2}}}\rho </math> | ||
Zeile 612: | Zeile 613: | ||
Energie – Impuls Tensor | Energie – Impuls Tensor | ||
Alle Energieformen au0er der Gravitation tragen zum Energie-Impuls-Tensor bei | Alle Energieformen au0er der Gravitation tragen zum Energie-Impuls-Tensor bei | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{T}^{\mu \nu }}=T_{HD}^{\mu \nu }+T_{ED}^{\mu \nu } \\ | & {{T}^{\mu \nu }}=T_{HD}^{\mu \nu }+T_{ED}^{\mu \nu } \\ | ||
& T_{ED}^{\mu \nu }=\frac{1}{4\pi }\left( {{F}^{\alpha }}_{\mu }{{F}^{\mu \nu }}+\frac{1}{4}{{\eta }_{\mu \nu }}{{F}_{\alpha }}_{\beta }{{F}^{\alpha }}^{\beta } \right) \\ | & T_{ED}^{\mu \nu }=\frac{1}{4\pi }\left( {{F}^{\alpha }}_{\mu }{{F}^{\mu \nu }}+\frac{1}{4}{{\eta }_{\mu \nu }}{{F}_{\alpha }}_{\beta }{{F}^{\alpha }}^{\beta } \right) \\ | ||
& \left( T_{ED}^{00}=\frac{1}{8\pi }\left( {{\mathbf{E}}^{2}}+{{\mathbf{B}}^{2}} \right),\mathbf{S}=c\sum\limits_{i}{T_{ED}^{0i}{{\mathbf{e}}_{i}}}=\frac{c}{4\pi }\mathbf{E}\times \mathbf{B} \right) \\ | & \left( T_{ED}^{00}=\frac{1}{8\pi }\left( {{\mathbf{E}}^{2}}+{{\mathbf{B}}^{2}} \right),\mathbf{S}=c\sum\limits_{i}{T_{ED}^{0i}{{\mathbf{e}}_{i}}}=\frac{c}{4\pi }\mathbf{E}\times \mathbf{B} \right) \\ | ||
\end{align}</math> | \end{align}</math> | ||
:<math>{{\partial }_{\mu }}{{T}^{\mu }}^{\nu }=0</math> | :<math>{{\partial }_{\mu }}{{T}^{\mu }}^{\nu }=0</math> | ||
differentieller Energie-Impuls-Erhaltungssatz | differentieller Energie-Impuls-Erhaltungssatz | ||
Daraus folgt für räumlich begrenzte Systeme: | Daraus folgt für räumlich begrenzte Systeme: | ||
:<math>\frac{\partial }{\partial \left( ct \right)}\int\limits_{{{V}_{3}}}{{{T}^{\alpha 0}}{{d}^{3}}x}=-\int\limits_{{{V}_{3}}}{{{\partial }_{i}}{{T}^{\alpha i}}{{d}^{3}}x}=-\int\limits_{\partial {{V}_{3}}}{{{T}^{\alpha i}}d{{F}_{i}}}=0</math> | :<math>\frac{\partial }{\partial \left( ct \right)}\int\limits_{{{V}_{3}}}{{{T}^{\alpha 0}}{{d}^{3}}x}=-\int\limits_{{{V}_{3}}}{{{\partial }_{i}}{{T}^{\alpha i}}{{d}^{3}}x}=-\int\limits_{\partial {{V}_{3}}}{{{T}^{\alpha i}}d{{F}_{i}}}=0</math> | ||
:<math>\Rightarrow {{p}^{\alpha }}=\frac{1}{c}\int\limits_{{{V}_{3}}}{{{T}^{\alpha 0}}{{d}^{3}}x}=\text{const}</math> | :<math>\Rightarrow {{p}^{\alpha }}=\frac{1}{c}\int\limits_{{{V}_{3}}}{{{T}^{\alpha 0}}{{d}^{3}}x}=\text{const}</math> | ||
(Integraler Energie-Impuls-Erhaltungs-Satz) | (Integraler Energie-Impuls-Erhaltungs-Satz) | ||
In der ART gilt | In der ART gilt | ||
:<math>{{D}_{\alpha }}{{T}^{\alpha \beta }}={{T}^{\alpha \beta }}_{,\beta }+\Gamma _{\mu \beta }^{\alpha }{{T}^{\mu \beta }}+\Gamma _{\mu \beta }^{\beta }{{T}^{\alpha \mu }}=0</math> | :<math>{{D}_{\alpha }}{{T}^{\alpha \beta }}={{T}^{\alpha \beta }}_{,\beta }+\Gamma _{\mu \beta }^{\alpha }{{T}^{\mu \beta }}+\Gamma _{\mu \beta }^{\beta }{{T}^{\alpha \mu }}=0</math> | ||
Zeile 636: | Zeile 637: | ||
Struktur („Ableitung“) der Gleichungen | Struktur („Ableitung“) der Gleichungen | ||
Aufgabe: Relativistische Verallgemeinerung der Newtonschen Gravitationsgleichung | Aufgabe: Relativistische Verallgemeinerung der Newtonschen Gravitationsgleichung | ||
:<math>\Delta \phi =4\pi G\rho </math> | :<math>\Delta \phi =4\pi G\rho </math> | ||
(1.3) | (1.3) | ||
Wobei die gesuchten Gleichungen Differentialgleichungen für <math>{{g}_{\mu \nu }}</math>sind. | Wobei die gesuchten Gleichungen Differentialgleichungen für <math>{{g}_{\mu \nu }}</math>sind. | ||
Nichtrelativistischer Grenzfall der Bewegungsgleichungen Hinweis für die Verallgemeinerung der linken Seite von (1.3): | Nichtrelativistischer Grenzfall der Bewegungsgleichungen Hinweis für die Verallgemeinerung der linken Seite von (1.3): | ||
:<math>{{g}_{00}}\approx 1+2\frac{\phi }{{{c}^{2}}}</math> | :<math>{{g}_{00}}\approx 1+2\frac{\phi }{{{c}^{2}}}</math> | ||
Vergleich weiter oben | Vergleich weiter oben | ||
Nichtrelativistischer Grenzfall des Energie-Impuls-Tensors einer idealen Flüssigkeit Hinweis für die Verallgemeinerung der rechten Seite von (1.3) | Nichtrelativistischer Grenzfall des Energie-Impuls-Tensors einer idealen Flüssigkeit Hinweis für die Verallgemeinerung der rechten Seite von (1.3) | ||
:<math>\left( {{T}^{\alpha }}^{\beta } \right)={{\delta }_{\alpha \beta 0}}\rho {{c}^{2}}</math> | :<math>\left( {{T}^{\alpha }}^{\beta } \right)={{\delta }_{\alpha \beta 0}}\rho {{c}^{2}}</math> | ||
Denn für <math>\frac{{{v}^{i}}}{c}\ll 1,\frac{p}{\rho {{c}^{2}}}\ll 1</math>gilt | Denn für <math>\frac{{{v}^{i}}}{c}\ll 1,\frac{p}{\rho {{c}^{2}}}\ll 1</math>gilt | ||
:<math>{{T}^{\alpha \beta }}=\left( \rho +\frac{p}{{{c}^{2}}} \right){{u}^{\alpha }}{{u}^{\beta }}-P{{g}^{\alpha \beta }}</math> | :<math>{{T}^{\alpha \beta }}=\left( \rho +\frac{p}{{{c}^{2}}} \right){{u}^{\alpha }}{{u}^{\beta }}-P{{g}^{\alpha \beta }}</math> | ||
:<math>\Rightarrow {{T}^{00}}\approx \rho {{c}^{2}},\frac{{{T}^{0i}}}{{{T}^{00}}}\approx \frac{{{v}^{i}}}{{{c}^{2}}}\ll 1,\frac{{{T}^{ij}}}{{{T}^{00}}}=O\left( \frac{{{v}^{2}}}{{{c}^{2}}} \right)\ll 1</math> | :<math>\Rightarrow {{T}^{00}}\approx \rho {{c}^{2}},\frac{{{T}^{0i}}}{{{T}^{00}}}\approx \frac{{{v}^{i}}}{{{c}^{2}}}\ll 1,\frac{{{T}^{ij}}}{{{T}^{00}}}=O\left( \frac{{{v}^{2}}}{{{c}^{2}}} \right)\ll 1</math> | ||
Also mögliche Formulierung von (1.3) | Also mögliche Formulierung von (1.3) | ||
:<math>\Delta {{g}_{00}}=\frac{8\pi G}{{{c}^{4}}}{{T}_{00}}</math> | :<math>\Delta {{g}_{00}}=\frac{8\pi G}{{{c}^{4}}}{{T}_{00}}</math> | ||
(1.4) | (1.4) | ||
Gesucht ist eine Verallgemeinerung dieser Gleichung, die es erlaubt, alle <math>{{g}_{\mu \nu }}</math>zu bestimmen. Naheliegende Verallgemeinerungen von (1.4): | Gesucht ist eine Verallgemeinerung dieser Gleichung, die es erlaubt, alle <math>{{g}_{\mu \nu }}</math>zu bestimmen. Naheliegende Verallgemeinerungen von (1.4): | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{\square }_{\eta }}{{g}_{\mu \nu }}=\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu \nu }} \\ | & {{\square }_{\eta }}{{g}_{\mu \nu }}=\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu \nu }} \\ | ||
& {{\square }_{\eta }}:={{\eta }^{\alpha \beta }}{{\partial }_{\alpha }}{{\partial }_{\beta }} \\ | & {{\square }_{\eta }}:={{\eta }^{\alpha \beta }}{{\partial }_{\alpha }}{{\partial }_{\beta }} \\ | ||
\end{align}</math> | \end{align}</math> | ||
<-> -Widerspricht der Gleichung <math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math> | <-> -Widerspricht der Gleichung <math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math> | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{\square }_{g}}{{g}_{\mu \nu }}=\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu \nu }} \\ | & {{\square }_{g}}{{g}_{\mu \nu }}=\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu \nu }} \\ | ||
& {{\square }_{g}}:={{g}^{\alpha \beta }}{{D}_{\alpha }}{{D}_{\beta }} \\ | & {{\square }_{g}}:={{g}^{\alpha \beta }}{{D}_{\alpha }}{{D}_{\beta }} \\ | ||
\end{align}</math> | \end{align}</math> | ||
<-> -Sinnlos da <math>{{D}_{\alpha }}{{g}_{\mu \nu }}\equiv 0</math> | <-> -Sinnlos da <math>{{D}_{\alpha }}{{g}_{\mu \nu }}\equiv 0</math> | ||
Man hat für die linke Seite der Gleichung einen Tensor zu suchen der folgenden Bedingungen genügt: | Man hat für die linke Seite der Gleichung einen Tensor zu suchen der folgenden Bedingungen genügt: | ||
:<math>{{G}_{\mu }}_{\nu }=\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | :<math>{{G}_{\mu }}_{\nu }=\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | ||
Zeile 684: | Zeile 685: | ||
Aus (1)-(3) folgt <math>{{G}_{\mu }}_{\nu }=a{{R}_{\mu }}_{\nu }+bR{{g}_{\mu \nu }}</math> | Aus (1)-(3) folgt <math>{{G}_{\mu }}_{\nu }=a{{R}_{\mu }}_{\nu }+bR{{g}_{\mu \nu }}</math> | ||
Aus (4) folgt <math>a=-2b</math> | Aus (4) folgt <math>a=-2b</math> | ||
Da | Da | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& \to {{G}^{\alpha }}{{^{\beta }}_{;\alpha }}=a{{R}^{\alpha \beta }}_{;\alpha }+b{{g}^{\alpha }}^{\beta }{{R}_{;\alpha }}=0 \\ | & \to {{G}^{\alpha }}{{^{\beta }}_{;\alpha }}=a{{R}^{\alpha \beta }}_{;\alpha }+b{{g}^{\alpha }}^{\beta }{{R}_{;\alpha }}=0 \\ | ||
& \to a=-2b \\ | & \to a=-2b \\ | ||
\end{align}</math> | \end{align}</math> | ||
Aus (5) folgt <math>a=-1</math> | Aus (5) folgt <math>a=-1</math> | ||
Also | Also | ||
:<math>{{R}_{\mu }}_{\nu }-\frac{1}{2}{{g}_{\mu \nu }}R=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | :<math>{{R}_{\mu }}_{\nu }-\frac{1}{2}{{g}_{\mu \nu }}R=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | ||
(Einsteinsche Gleichungen ohne kosmologischen Term) | (Einsteinsche Gleichungen ohne kosmologischen Term) | ||
:<math>{{R}_{\mu }}_{\nu }-\frac{1}{2}{{g}_{\mu \nu }}R+\Lambda {{g}_{\mu \nu }}=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | :<math>{{R}_{\mu }}_{\nu }-\frac{1}{2}{{g}_{\mu \nu }}R+\Lambda {{g}_{\mu \nu }}=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | ||
(Einsteinsche Gleichungen mit kosmologischem Term) | (Einsteinsche Gleichungen mit kosmologischem Term) | ||
Zeile 706: | Zeile 707: | ||
:<math>{{T}^{\alpha }}{{^{\beta }}_{,\beta }}=0\xrightarrow[\text{ }\!\!\ddot{\mathrm{A}}\!\!\text{ quivalenzprinzip}]{}{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math> | :<math>{{T}^{\alpha }}{{^{\beta }}_{,\beta }}=0\xrightarrow[\text{ }\!\!\ddot{\mathrm{A}}\!\!\text{ quivalenzprinzip}]{}{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math> | ||
:<math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0\Rightarrow {{T}^{\alpha }}{{^{\beta }}_{,\beta }}\ne 0</math> keine Energie Impuls Erhaltung | :<math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0\Rightarrow {{T}^{\alpha }}{{^{\beta }}_{,\beta }}\ne 0</math> keine Energie Impuls Erhaltung | ||
In der ART sind die Gleichungen <math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math>keine Energie Impuls Erhaltungssätze sondern Bewegungsgleichungen. | In der ART sind die Gleichungen <math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math>keine Energie Impuls Erhaltungssätze sondern Bewegungsgleichungen. | ||
Das Variationsproblem der Einsteinschen Gravitationsgleichungen | Das Variationsproblem der Einsteinschen Gravitationsgleichungen | ||
Allgemeines Schema | Allgemeines Schema | ||
Man konstruiert ein das physikalische System charakterisierende Wirkungsintegral S | Man konstruiert ein das physikalische System charakterisierende Wirkungsintegral S | ||
:<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( \Phi ,\partial \Phi \right)dt}</math> | :<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( \Phi ,\partial \Phi \right)dt}</math> | ||
Zeile 720: | Zeile 721: | ||
L enthält bisauf Terme der Form <math>{{d}_{t}}F</math>(wobei <math>F=F\left( q,t \right)</math>) nur erste Ableitungen der Variablen <math>\Phi </math> | L enthält bisauf Terme der Form <math>{{d}_{t}}F</math>(wobei <math>F=F\left( q,t \right)</math>) nur erste Ableitungen der Variablen <math>\Phi </math> | ||
Hamiltonsches Prinzip | Hamiltonsches Prinzip | ||
Resultierende Bewegungsgleichungen (Euler-Lagrange-Gleichungen)<math>\left( {{d}_{t}}{{\partial }_{{{{\dot{q}}}^{i}}}}-{{\partial }_{{{q}^{i}}}} \right)L=0</math> | Resultierende Bewegungsgleichungen (Euler-Lagrange-Gleichungen)<math>\left( {{d}_{t}}{{\partial }_{{{{\dot{q}}}^{i}}}}-{{\partial }_{{{q}^{i}}}} \right)L=0</math> | ||
Einstein Gleichungen | Einstein Gleichungen | ||
Einstein Hilbertsches Wirkungsintegral SEH | Einstein Hilbertsches Wirkungsintegral SEH | ||
:<math>{{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( R+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}</math> | :<math>{{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( R+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}</math> | ||
Mit | Mit | ||
:<math>{{L}_{Mat}}</math> | :<math>{{L}_{Mat}}</math> | ||
= kovariant geschriebene Lagrangefunktion für die das Gravitationspotential <math>{{g}_{\mu \nu }}</math>erzeugenden Terme | = kovariant geschriebene Lagrangefunktion für die das Gravitationspotential <math>{{g}_{\mu \nu }}</math>erzeugenden Terme | ||
Einsteinsches Wirkungsintegral SE | Einsteinsches Wirkungsintegral SE | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& R=\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}+{{L}_{E}}\left( g,\Gamma \right) \\ | & R=\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}+{{L}_{E}}\left( g,\Gamma \right) \\ | ||
& {{L}_{E}}={{g}^{\mu }}^{\nu }\left( \Gamma _{\mu \nu }^{\alpha }\Gamma _{\alpha \beta }^{\beta }-\Gamma _{\mu \beta }^{\alpha }\Gamma _{\nu \alpha }^{\beta } \right) \\ | & {{L}_{E}}={{g}^{\mu }}^{\nu }\left( \Gamma _{\mu \nu }^{\alpha }\Gamma _{\alpha \beta }^{\beta }-\Gamma _{\mu \beta }^{\alpha }\Gamma _{\nu \alpha }^{\beta } \right) \\ | ||
& {{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( {{L}_{E}}+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}+\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x} \\ | & {{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( {{L}_{E}}+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}+\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Der Term | Der Term | ||
:<math>\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x}</math> | :<math>\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x}</math> | ||
liefert keinen Betrag zu <math>\delta S</math>da es sich beim Integranden um enie Divergenz <math>{{\partial }_{\nu }}{{K}^{\nu }}</math>handelt (s.o.). | liefert keinen Betrag zu <math>\delta S</math>da es sich beim Integranden um enie Divergenz <math>{{\partial }_{\nu }}{{K}^{\nu }}</math>handelt (s.o.). | ||
Zeile 747: | Zeile 748: | ||
Vorbemerkung | Vorbemerkung | ||
Elektrodynamik: | Elektrodynamik: | ||
4 algebraisch unabhängige Gleichungen | 4 algebraisch unabhängige Gleichungen | ||
1 Differentialidentität | 1 Differentialidentität | ||
4-1=3 funktional unabhängige Gleichungen | 4-1=3 funktional unabhängige Gleichungen | ||
für 4-1=3 Feldfreiheitsgrade (wegen Eichfreiheit <math>{{A}^{\alpha }}\to {{A}^{\alpha }}+{{d}^{\alpha }}\chi </math> | für 4-1=3 Feldfreiheitsgrade (wegen Eichfreiheit <math>{{A}^{\alpha }}\to {{A}^{\alpha }}+{{d}^{\alpha }}\chi </math> | ||
ART | ART | ||
10 algebraisch unabhängige Gleichungen <math>{{R}^{\mu }}^{\nu }-\frac{1}{2}{{g}^{\mu }}^{\nu }R=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | 10 algebraisch unabhängige Gleichungen <math>{{R}^{\mu }}^{\nu }-\frac{1}{2}{{g}^{\mu }}^{\nu }R=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | ||
4 Differentialidentitäten | 4 Differentialidentitäten | ||
10-4=6 funktional unabhängige Gleichungen | 10-4=6 funktional unabhängige Gleichungen | ||
für 10-4=6 Feldfreiheitsgrade (wegen Koordinatenkovarianz <math>{{x}^{\mu }}\to x{{'}^{\mu }}</math>) | für 10-4=6 Feldfreiheitsgrade (wegen Koordinatenkovarianz <math>{{x}^{\mu }}\to x{{'}^{\mu }}</math>) | ||
Linearisierung der Gleichungen | Linearisierung der Gleichungen | ||
:<math>{{R}_{\mu }}_{\nu }=-\frac{8\pi G}{{{c}^{4}}}\left( {{T}_{\mu }}_{\nu }-\frac{1}{2}{{g}_{\mu }}_{\nu }T \right)</math> | :<math>{{R}_{\mu }}_{\nu }=-\frac{8\pi G}{{{c}^{4}}}\left( {{T}_{\mu }}_{\nu }-\frac{1}{2}{{g}_{\mu }}_{\nu }T \right)</math> | ||
Ansatz <math>{{g}_{\mu \nu }}={{\eta }_{\mu \nu }}+{{h}_{\mu }}_{\nu }</math>mit <math>\left| {{h}_{\mu }}_{\nu } \right|\ll 1</math>(schwache Felder) | Ansatz <math>{{g}_{\mu \nu }}={{\eta }_{\mu \nu }}+{{h}_{\mu }}_{\nu }</math>mit <math>\left| {{h}_{\mu }}_{\nu } \right|\ll 1</math>(schwache Felder) | ||
:<math>{{g}_{\mu \sigma }}{{g}^{\sigma }}^{\nu }=\delta _{\mu }^{\sigma }\Rightarrow {{g}^{\mu }}^{\nu }={{\eta }_{\mu \nu }}-{{\eta }^{\mu }}^{\alpha }{{\eta }^{\nu }}^{\beta }{{h}_{\alpha }}_{\beta }</math> | :<math>{{g}_{\mu \sigma }}{{g}^{\sigma }}^{\nu }=\delta _{\mu }^{\sigma }\Rightarrow {{g}^{\mu }}^{\nu }={{\eta }_{\mu \nu }}-{{\eta }^{\mu }}^{\alpha }{{\eta }^{\nu }}^{\beta }{{h}_{\alpha }}_{\beta }</math> | ||
Zeile 767: | Zeile 768: | ||
(Zum Vergleich von Elektrodynamik und linearisierter ART) | (Zum Vergleich von Elektrodynamik und linearisierter ART) | ||
Elektrodynamik (in Potentialform) | Elektrodynamik (in Potentialform) | ||
:<math>\left. \begin{align} | :<math>\left. \begin{align} | ||
& {{F}^{\alpha }}{{^{\beta }}_{,}}_{\nu }=\frac{4\pi }{c}{{j}^{\alpha }} \\ | & {{F}^{\alpha }}{{^{\beta }}_{,}}_{\nu }=\frac{4\pi }{c}{{j}^{\alpha }} \\ | ||
& {{F}^{\alpha }}^{\beta }={{A}^{\alpha ,\beta }}-{{A}^{\beta ,\alpha }} \\ | & {{F}^{\alpha }}^{\beta }={{A}^{\alpha ,\beta }}-{{A}^{\beta ,\alpha }} \\ | ||
\end{align} \right\}\Rightarrow \square {{A}^{\alpha }}-{{A}^{\beta ,\alpha }}{{_{,}}_{\beta }}=\frac{4\pi }{c}{{j}^{\alpha }}</math> | \end{align} \right\}\Rightarrow \square {{A}^{\alpha }}-{{A}^{\beta ,\alpha }}{{_{,}}_{\beta }}=\frac{4\pi }{c}{{j}^{\alpha }}</math> | ||
Eichinvarianz bzgl. <math>{{A}^{\alpha }}\to {{A}^{\alpha }}+{{\partial }^{\alpha }}\chi </math>. Daher Äquivalente Formulierung der ED: | Eichinvarianz bzgl. <math>{{A}^{\alpha }}\to {{A}^{\alpha }}+{{\partial }^{\alpha }}\chi </math>. Daher Äquivalente Formulierung der ED: | ||
Linearisierte ART | Linearisierte ART | ||
:<math>\left. \begin{align} | :<math>\left. \begin{align} | ||
& {{R}^{\mu }}^{\nu }-\frac{1}{2}{{g}^{\mu }}^{\nu }R=-\frac{8\pi G}{{{c}^{4}}}{{T}^{\mu }}^{\nu } \\ | & {{R}^{\mu }}^{\nu }-\frac{1}{2}{{g}^{\mu }}^{\nu }R=-\frac{8\pi G}{{{c}^{4}}}{{T}^{\mu }}^{\nu } \\ | ||
& {{g}_{\mu \nu }}={{\eta }_{\mu \nu }}+{{h}_{\mu }}_{\nu } \\ | & {{g}_{\mu \nu }}={{\eta }_{\mu \nu }}+{{h}_{\mu }}_{\nu } \\ | ||
\end{align} \right\}\Rightarrow \square {{h}_{\mu }}_{\nu }+...=\frac{16\pi G}{{{c}^{4}}}{{S}_{\mu }}_{\nu }</math> | \end{align} \right\}\Rightarrow \square {{h}_{\mu }}_{\nu }+...=\frac{16\pi G}{{{c}^{4}}}{{S}_{\mu }}_{\nu }</math> | ||
Bemerkung (Ähnlichkeiten und Unterschiede) | Bemerkung (Ähnlichkeiten und Unterschiede) | ||
Von den linearisierten zu den Einsteinschen Gleichungen | Von den linearisierten zu den Einsteinschen Gleichungen | ||
Zeile 815: | Zeile 816: | ||
IS:<math>v\ne 0</math> | IS:<math>v\ne 0</math> | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} \\ | & d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} \\ | ||
& d\tau =\frac{1}{c}\sqrt{{{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}}=\sqrt{1-{{\left( \frac{v}{c} \right)}^{2}}}dt \\ | & d\tau =\frac{1}{c}\sqrt{{{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}}=\sqrt{1-{{\left( \frac{v}{c} \right)}^{2}}}dt \\ | ||
\end{align}</math> IS:<math>v\ne 0</math> | \end{align}</math> IS:<math>v\ne 0</math> | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} \\ | & d{{s}^{2}}={{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }} \\ | ||
& d\tau =\frac{1}{c}\sqrt{{{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}}=\sqrt{1-{{\left( \frac{v}{c} \right)}^{2}}}dt \\ | & d\tau =\frac{1}{c}\sqrt{{{\eta }_{\mu \nu }}d{{x}^{\mu }}d{{x}^{\nu }}}=\sqrt{1-{{\left( \frac{v}{c} \right)}^{2}}}dt \\ | ||
\end{align}</math> | \end{align}</math> | ||
IS: <math>v'=0</math> (Ruhesystem) | IS: <math>v'=0</math> (Ruhesystem) | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{s}^{2}}={{\eta }_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }} \\ | & d{{s}^{2}}={{\eta }_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }} \\ | ||
& d\tau =\frac{1}{c}\sqrt{{{\eta }_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }}}=\sqrt{1-{{\left( \frac{v'}{c} \right)}^{2}}}dt'=dt' \\ | & d\tau =\frac{1}{c}\sqrt{{{\eta }_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }}}=\sqrt{1-{{\left( \frac{v'}{c} \right)}^{2}}}dt'=dt' \\ | ||
\end{align}</math> Allgemeines KS:<math>v'=0</math>(Ruhesystem) | \end{align}</math> Allgemeines KS:<math>v'=0</math>(Ruhesystem) | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& d{{s}^{2}}={{g}_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }} \\ | & d{{s}^{2}}={{g}_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }} \\ | ||
& d\tau =\frac{1}{c}\sqrt{{{g}_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }}} \\ | & d\tau =\frac{1}{c}\sqrt{{{g}_{\mu \nu }}dx{{'}^{\mu }}dx{{'}^{\nu }}} \\ | ||
& =\frac{1}{c}\sqrt{{{g}_{\mu \nu }}\frac{dx{{'}^{\mu }}}{dt'}\frac{dx{{'}^{\nu }}}{dt'}}dt=\sqrt{{{g}_{00}}}dt' | & =\frac{1}{c}\sqrt{{{g}_{\mu \nu }}\frac{dx{{'}^{\mu }}}{dt'}\frac{dx{{'}^{\nu }}}{dt'}}dt=\sqrt{{{g}_{00}}}dt' | ||
\end{align}</math> | \end{align}</math> | ||
Jede in einem Inertialsystem ruhende Uhr misst die Eigenperiode<math>d\tau </math>. Unter dem Einfluss der Gravitation musst eine ruhende Uhr eine Periode<math>dt\ne d\tau </math>. Nur eine frei fallende Uhr misst <math>d\tau </math>. (d..h. eine Uhr im lokalen IS.) | Jede in einem Inertialsystem ruhende Uhr misst die Eigenperiode<math>d\tau </math>. Unter dem Einfluss der Gravitation musst eine ruhende Uhr eine Periode<math>dt\ne d\tau </math>. Nur eine frei fallende Uhr misst <math>d\tau </math>. (d..h. eine Uhr im lokalen IS.) | ||
Gravitationsrotverschiebung | Gravitationsrotverschiebung | ||
Betrachten zwei identische Uhren in einem statischen Gravitationsfeld (an den Orten A und B) | Betrachten zwei identische Uhren in einem statischen Gravitationsfeld (an den Orten A und B) | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& A:d{{\tau }_{A}}=\sqrt{{{g}_{00}}\left( {{x}^{i}}_{A} \right)}d{{t}_{A}} \\ | & A:d{{\tau }_{A}}=\sqrt{{{g}_{00}}\left( {{x}^{i}}_{A} \right)}d{{t}_{A}} \\ | ||
& B:d{{\tau }_{B}}=\sqrt{{{g}_{00}}\left( {{x}^{i}}_{B} \right)}d{{t}_{B}} \\ | & B:d{{\tau }_{B}}=\sqrt{{{g}_{00}}\left( {{x}^{i}}_{B} \right)}d{{t}_{B}} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 844: | Zeile 845: | ||
<math>d{{\tau }_{A}}=\frac{1}{{{v}_{A}}},d{{\tau }_{B}}=\frac{1}{{{v}_{B}}},d{{t}_{A}}=d{{t}_{B}}</math> | <math>d{{\tau }_{A}}=\frac{1}{{{v}_{A}}},d{{\tau }_{B}}=\frac{1}{{{v}_{B}}},d{{t}_{A}}=d{{t}_{B}}</math> | ||
<math>z:=\frac{{{v}_{A}}-{{v}_{B}}}{{{v}_{B}}}=\frac{{{v}_{A}}}{{{v}_{B}}}-1=\sqrt{\frac{{{g}_{00}}\left( {{x}^{i}}_{B} \right)}{{{g}_{00}}\left( {{x}^{i}}_{A} \right)}}-1</math> mit (z=Rotverschiebungsparameter) | <math>z:=\frac{{{v}_{A}}-{{v}_{B}}}{{{v}_{B}}}=\frac{{{v}_{A}}}{{{v}_{B}}}-1=\sqrt{\frac{{{g}_{00}}\left( {{x}^{i}}_{B} \right)}{{{g}_{00}}\left( {{x}^{i}}_{A} \right)}}-1</math> mit (z=Rotverschiebungsparameter) | ||
Es gibt 3 Arten der Rotverschiebung | Es gibt 3 Arten der Rotverschiebung | ||
Doppler-Verschiebung | Doppler-Verschiebung | ||
Zeile 852: | Zeile 853: | ||
:<math>\frac{{{\left( \Delta \nu \right)}_{\exp }}}{{{\left( \Delta \nu \right)}_{\text{theo}}}}=1.00\pm 0.01</math> | :<math>\frac{{{\left( \Delta \nu \right)}_{\exp }}}{{{\left( \Delta \nu \right)}_{\text{theo}}}}=1.00\pm 0.01</math> | ||
Messung der gravitativen Rotverschiebung des Sonnenlichtes die durch das Gravitationsfeld der bewirkt wird (Snider 1972): | Messung der gravitativen Rotverschiebung des Sonnenlichtes die durch das Gravitationsfeld der bewirkt wird (Snider 1972): | ||
:<math>\frac{{{\left( \Delta \nu \right)}_{\exp }}}{{{\left( \Delta \nu \right)}_{\text{theo}}}}=1.01\pm 0.06</math>(störende Faktoren: Relativgeschwindigkeit: Erde – Sonne termische Bewegung der Atome, Konvektion der solaren Gase) | :<math>\frac{{{\left( \Delta \nu \right)}_{\exp }}}{{{\left( \Delta \nu \right)}_{\text{theo}}}}=1.01\pm 0.06</math>(störende Faktoren: Relativgeschwindigkeit: Erde – Sonne termische Bewegung der Atome, Konvektion der solaren Gase) | ||
1980 H2-Maser: <math>\frac{{{\left( \Delta \nu \right)}_{\exp }}}{{{\left( \Delta \nu \right)}_{\text{theo}}}}=1\pm {{10}^{-4}}</math> | 1980 H2-Maser: <math>\frac{{{\left( \Delta \nu \right)}_{\exp }}}{{{\left( \Delta \nu \right)}_{\text{theo}}}}=1\pm {{10}^{-4}}</math> | ||
Bewegte Uhren (in Flugzeugen, Raketen und Stelliten bestätigen die allg. Beziehung zwischen <math>d\tau </math>und dt) | Bewegte Uhren (in Flugzeugen, Raketen und Stelliten bestätigen die allg. Beziehung zwischen <math>d\tau </math>und dt) | ||
Test des starken Äquivalenzprinzips | Test des starken Äquivalenzprinzips | ||
Roberson-Entwicklung für <math>{{g}_{\mu \nu }}</math>im schwachen Gravitationsfeld, d.h. für <math>\frac{GM}{{{c}^{2}}r}\ll 1</math> | Roberson-Entwicklung für <math>{{g}_{\mu \nu }}</math>im schwachen Gravitationsfeld, d.h. für <math>\frac{GM}{{{c}^{2}}r}\ll 1</math> | ||
(im Sonnenfeld<math>\approx 2\centerdot {{10}^{-6}}</math>) | (im Sonnenfeld<math>\approx 2\centerdot {{10}^{-6}}</math>) | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& B\left( r \right)=1-2\frac{GM}{{{c}^{2}}r}+2\left( \beta -\gamma \right){{\left( \frac{GM}{{{c}^{2}}r} \right)}^{2}}+... \\ | & B\left( r \right)=1-2\frac{GM}{{{c}^{2}}r}+2\left( \beta -\gamma \right){{\left( \frac{GM}{{{c}^{2}}r} \right)}^{2}}+... \\ | ||
& A\left( r \right)=1+2\gamma \frac{GM}{{{c}^{2}}r}+... \\ | & A\left( r \right)=1+2\gamma \frac{GM}{{{c}^{2}}r}+... \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 868: | Zeile 869: | ||
Test für g00 in erster Näherung (diese Bedingung muss jede Theorie erfüllen) | Test für g00 in erster Näherung (diese Bedingung muss jede Theorie erfüllen) | ||
Lichtablenkung, Gravitationswellen | Lichtablenkung, Gravitationswellen | ||
:<math>\Delta \varphi =\frac{4a}{{{r}_{0}}}\frac{1+\gamma }{2}</math> | :<math>\Delta \varphi =\frac{4a}{{{r}_{0}}}\frac{1+\gamma }{2}</math> | ||
(Winkel der Lichtablenkung) | (Winkel der Lichtablenkung) | ||
Gravitationslinsen: Qusarzwillinge erwiesen sich als 2 Bilder eines Quasars, dessen Radiowellen durch eine zwischen uns und dem Quasar befindlichen („Gravitationslinse“) | Gravitationslinsen: Qusarzwillinge erwiesen sich als 2 Bilder eines Quasars, dessen Radiowellen durch eine zwischen uns und dem Quasar befindlichen („Gravitationslinse“) | ||
Periheldrehung | Periheldrehung | ||
:<math>\Delta \varphi =\frac{6\pi a}{p}\frac{2-\beta +2\gamma }{3}</math>(Drehung pro Umlauf) | :<math>\Delta \varphi =\frac{6\pi a}{p}\frac{2-\beta +2\gamma }{3}</math>(Drehung pro Umlauf) | ||
Unter verwendung des aus anderen Beobachtungen gegeben <math>\gamma </math>-Wertes erhielt man 1989/90: | Unter verwendung des aus anderen Beobachtungen gegeben <math>\gamma </math>-Wertes erhielt man 1989/90: | ||
:<math>\beta =1\pm 0.003</math> | :<math>\beta =1\pm 0.003</math> | ||
Zeile 887: | Zeile 888: | ||
Demnächst sollen Resultat gefunden werden. | Demnächst sollen Resultat gefunden werden. | ||
Nordvedt-Effekt | Nordvedt-Effekt | ||
Abstand „Erde-Mond“-Messung liefert | Abstand „Erde-Mond“-Messung liefert | ||
Doppelpulsarsystem | Doppelpulsarsystem | ||
Indirekter Nachweis der Gravitationsstrahlung am Doppelpulsarsystem PSR 1913+16 | Indirekter Nachweis der Gravitationsstrahlung am Doppelpulsarsystem PSR 1913+16 | ||
Zeile 893: | Zeile 894: | ||
Die ART ist für schwache Gravitationsfelder hervorragen bestätigt | Die ART ist für schwache Gravitationsfelder hervorragen bestätigt | ||
Für starke Felder können astrophysikalische und kosmologische Untersuchungen als Tests dienen. | Für starke Felder können astrophysikalische und kosmologische Untersuchungen als Tests dienen. | ||
Vorlesung ART II | Vorlesung ART II | ||
Zeile 902: | Zeile 903: | ||
Allgemeines Schema | Allgemeines Schema | ||
Hamiltonsches Wirkungsprinzip | Hamiltonsches Wirkungsprinzip | ||
:<math>\delta S=0</math>für Euler-Variation von | :<math>\delta S=0</math>für Euler-Variation von | ||
:<math>\delta \phi </math> | :<math>\delta \phi </math> | ||
der Variation von | der Variation von | ||
:<math> & \phi </math> | :<math> & \phi </math> | ||
wobei <math>S=\int{L\left( \phi ,\delta \phi \right)}dt</math>das Wirkungsintegral ist (L:=Lagrangefunktion) | wobei <math>S=\int{L\left( \phi ,\delta \phi \right)}dt</math>das Wirkungsintegral ist (L:=Lagrangefunktion) | ||
Zeile 915: | Zeile 916: | ||
Lagrange Funktion <math>L=L\left( {{q}^{i}},{{{\dot{q}}}^{i}} \right)</math>bzw. <math>L=L\left( {{q}^{i}},{{{\dot{q}}}^{i}},t \right)</math> | Lagrange Funktion <math>L=L\left( {{q}^{i}},{{{\dot{q}}}^{i}} \right)</math>bzw. <math>L=L\left( {{q}^{i}},{{{\dot{q}}}^{i}},t \right)</math> | ||
Hamilton Prinzip: | Hamilton Prinzip: | ||
Für die Teilchenbahn ist | Für die Teilchenbahn ist | ||
:<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}</math> | :<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}</math> | ||
Bezüglich Euler-Variation der <math>{{q}^{i}}</math>stationär. ( | Bezüglich Euler-Variation der <math>{{q}^{i}}</math>stationär. ( | ||
Zeile 921: | Zeile 922: | ||
wobei <math>\delta {{q}^{i}}\left( {{t}_{1}} \right)=\delta {{q}^{i}}\left( {{t}_{2}} \right)=0</math> | wobei <math>\delta {{q}^{i}}\left( {{t}_{1}} \right)=\delta {{q}^{i}}\left( {{t}_{2}} \right)=0</math> | ||
Euler-Lagrange-Gleichung (Mechanik) | Euler-Lagrange-Gleichung (Mechanik) | ||
:<math>\frac{\delta L}{\delta {{q}^{i}}}:=\frac{\partial L}{\partial {{q}^{i}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}^{i}}}=0</math>Euler-Variation des Wirkungsintegrals ist gleich der Funktionalableitung von L. | :<math>\frac{\delta L}{\delta {{q}^{i}}}:=\frac{\partial L}{\partial {{q}^{i}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}^{i}}}=0</math>Euler-Variation des Wirkungsintegrals ist gleich der Funktionalableitung von L. | ||
Zusatzterme der Form <math>\frac{dF\left( {{q}^{i}} \right)}{dt}</math>sind „wirkungslos“ (verändern die resultierende Bewegungsgleichung nicht.) Also <math>L=L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)+\frac{dF\left( {{q}^{i}},t \right)}{dt}</math> sind hinsichtlich Euler-Variation äquivalent zu L: Warum? | Zusatzterme der Form <math>\frac{dF\left( {{q}^{i}} \right)}{dt}</math>sind „wirkungslos“ (verändern die resultierende Bewegungsgleichung nicht.) Also <math>L=L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)+\frac{dF\left( {{q}^{i}},t \right)}{dt}</math> sind hinsichtlich Euler-Variation äquivalent zu L: Warum? | ||
:<math>\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{{L}'\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}+F\left( {{q}^{i}},{{t}_{1}} \right)-F\left( {{q}^{i}},{{t}_{2}} \right)</math> | :<math>\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{{L}'\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}+F\left( {{q}^{i}},{{t}_{1}} \right)-F\left( {{q}^{i}},{{t}_{2}} \right)</math> | ||
so daß wegen <math>\delta {{q}^{i}}\left( {{t}_{1}} \right)=\delta {{q}^{i}}\left( {{t}_{2}} \right)=0</math>gilt | so daß wegen <math>\delta {{q}^{i}}\left( {{t}_{1}} \right)=\delta {{q}^{i}}\left( {{t}_{2}} \right)=0</math>gilt | ||
:<math>\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{{L}'\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}=\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}</math> | :<math>\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{{L}'\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}=\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}</math> | ||
. | . | ||
Zeile 942: | Zeile 943: | ||
:<math>F\left( {{q}^{i}},{{{\dot{q}}}^{i}} \right)</math> <math>F\left( {{\varphi }^{a}}\left( {{x}^{\alpha }} \right),{{{\dot{\varphi }}}^{a}}\left( {{x}^{\alpha }} \right) \right)</math> | :<math>F\left( {{q}^{i}},{{{\dot{q}}}^{i}} \right)</math> <math>F\left( {{\varphi }^{a}}\left( {{x}^{\alpha }} \right),{{{\dot{\varphi }}}^{a}}\left( {{x}^{\alpha }} \right) \right)</math> | ||
:<math>\frac{\partial f}{\partial {{q}^{i}}}</math> <math>\frac{\delta F}{\delta {{\varphi }^{a}}\left( {{x}^{\mu }} \right)}</math> | :<math>\frac{\partial f}{\partial {{q}^{i}}}</math> <math>\frac{\delta F}{\delta {{\varphi }^{a}}\left( {{x}^{\mu }} \right)}</math> | ||
(Der Konfigurationsraum muss entsprechend oft genug differenzierbar sein.) | (Der Konfigurationsraum muss entsprechend oft genug differenzierbar sein.) | ||
Lagrangian und Wirkungsintegral … Hamiltonsches Prinzip | Lagrangian und Wirkungsintegral … Hamiltonsches Prinzip | ||
Tabelle 3 Vergleich von Mechanik und Feldtheorie | Tabelle 3 Vergleich von Mechanik und Feldtheorie | ||
Mechanik Feldtheorie | Mechanik Feldtheorie | ||
Zeile 949: | Zeile 950: | ||
:<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}</math> | :<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}</math> | ||
:<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{Ldt}=\int\limits_{{{V}^{4}}}{\mathcal{L}\left( {{\varphi }^{a}},{{{\dot{\varphi }}}^{a}},{{\partial }_{k}}\varphi ,t \right){{d}^{3}}xdt}</math> | :<math>S=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{Ldt}=\int\limits_{{{V}^{4}}}{\mathcal{L}\left( {{\varphi }^{a}},{{{\dot{\varphi }}}^{a}},{{\partial }_{k}}\varphi ,t \right){{d}^{3}}xdt}</math> | ||
:<math>\delta S=\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}=0</math> | :<math>\delta S=\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{L\left( {{{\dot{q}}}^{i}},{{q}^{i}} \right)dt}=0</math> | ||
:<math>\delta S=\delta \int\limits_{{{V}^{4}}}{\mathcal{L}{{d}^{4}}x}=0</math> | :<math>\delta S=\delta \int\limits_{{{V}^{4}}}{\mathcal{L}{{d}^{4}}x}=0</math> | ||
Zeile 975: | Zeile 976: | ||
Gaußscher Satz gilt nur für skalare Dichten z.B. <math>{{J}^{\alpha }}_{;\alpha }\sqrt{-g}</math>nicht aber für <math>{{T}^{\alpha }}{{^{\beta }}_{;}}_{\alpha }\sqrt{-g}</math>. | Gaußscher Satz gilt nur für skalare Dichten z.B. <math>{{J}^{\alpha }}_{;\alpha }\sqrt{-g}</math>nicht aber für <math>{{T}^{\alpha }}{{^{\beta }}_{;}}_{\alpha }\sqrt{-g}</math>. | ||
Einstein Gleichungen | Einstein Gleichungen | ||
Einstein Hilbertsches Wirkungsintegral SEH | Einstein Hilbertsches Wirkungsintegral SEH | ||
:<math>{{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( R+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}</math> | :<math>{{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( R+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}</math> | ||
Mit | Mit | ||
:<math>{{L}_{Mat}}</math> | :<math>{{L}_{Mat}}</math> | ||
= kovariant geschriebene Lagrangefunktion für die das Gravitationspotential <math>{{g}_{\mu \nu }}</math>erzeugenden Terme | = kovariant geschriebene Lagrangefunktion für die das Gravitationspotential <math>{{g}_{\mu \nu }}</math>erzeugenden Terme | ||
Einsteinsches Wirkungsintegral SE | Einsteinsches Wirkungsintegral SE | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& R=\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}+{{L}_{E}}\left( g,\Gamma \right) \\ | & R=\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}+{{L}_{E}}\left( g,\Gamma \right) \\ | ||
& {{L}_{E}}={{g}^{\mu }}^{\nu }\left( \Gamma _{\mu \nu }^{\alpha }\Gamma _{\alpha \beta }^{\beta }-\Gamma _{\mu \beta }^{\alpha }\Gamma _{\nu \alpha }^{\beta } \right) \\ | & {{L}_{E}}={{g}^{\mu }}^{\nu }\left( \Gamma _{\mu \nu }^{\alpha }\Gamma _{\alpha \beta }^{\beta }-\Gamma _{\mu \beta }^{\alpha }\Gamma _{\nu \alpha }^{\beta } \right) \\ | ||
& {{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( {{L}_{E}}+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}+\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x} \\ | & {{S}_{EH}}=\int\limits_{{{V}_{4}}}{\left( {{L}_{E}}+2\kappa {{L}_{Mat}} \right)\sqrt{-g}{{d}^{4}}x}+\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Der Term | Der Term | ||
:<math>\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x}</math> | :<math>\int\limits_{{{V}_{4}}}{\frac{1}{\sqrt{-g}}{{\left[ \sqrt{-g}\left( -{{g}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }+{{g}^{\mu }}^{\alpha }\Gamma _{\mu \nu }^{\nu } \right) \right]}_{,\alpha }}\sqrt{-g}{{d}^{4}}x}</math> | ||
liefert keinen Betrag zu <math>\delta S</math>da es sich beim Integranden um enie Divergenz <math>{{\partial }_{\nu }}{{K}^{\nu }}</math>handelt (s.o.). | liefert keinen Betrag zu <math>\delta S</math>da es sich beim Integranden um enie Divergenz <math>{{\partial }_{\nu }}{{K}^{\nu }}</math>handelt (s.o.). | ||
Zeile 998: | Zeile 999: | ||
Im Riemannschen Raum gilt<math>{{g}_{\mu \nu }}{{_{;}}_{\rho }}=0\underset{\Gamma _{\left[ \mu \nu \right]}^{\alpha }=0}{\longleftrightarrow}\Gamma _{\mu \nu }^{\alpha }=\left\{ _{\mu \nu }^{\alpha } \right\}</math>Daher ist dann nur die obrige metrische Variation möglich. | Im Riemannschen Raum gilt<math>{{g}_{\mu \nu }}{{_{;}}_{\rho }}=0\underset{\Gamma _{\left[ \mu \nu \right]}^{\alpha }=0}{\longleftrightarrow}\Gamma _{\mu \nu }^{\alpha }=\left\{ _{\mu \nu }^{\alpha } \right\}</math>Daher ist dann nur die obrige metrische Variation möglich. | ||
Nehmen wir an, dass man in einem Raum ist, der durch eine Metrik <math>{{g}^{\mu }}^{\nu }</math>und eine symmetrische Konnerktion <math>\Gamma </math>charakterisiert ist. Dann kann man nach g und l‘ variieren. Resultat:<math>\int{R\sqrt{-g}{{d}^{4}}x}={{L}_{G}}</math> | Nehmen wir an, dass man in einem Raum ist, der durch eine Metrik <math>{{g}^{\mu }}^{\nu }</math>und eine symmetrische Konnerktion <math>\Gamma </math>charakterisiert ist. Dann kann man nach g und l‘ variieren. Resultat:<math>\int{R\sqrt{-g}{{d}^{4}}x}={{L}_{G}}</math> | ||
Variation von | Variation von | ||
:<math>{{L}_{G}}</math> | :<math>{{L}_{G}}</math> | ||
nach <math>\Gamma </math>zu: | nach <math>\Gamma </math>zu: | ||
:<math>{{g}_{\mu \nu }}{{_{;}}_{\rho }}=0\to \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r }\Gamma _{\left[ \mu \nu \right]}^{\alpha }=0\text{ gilt }\Gamma \text{=}\left\{ {} \right\}</math> | :<math>{{g}_{\mu \nu }}{{_{;}}_{\rho }}=0\to \text{f }\!\!\ddot{\mathrm{u}}\!\!\text{ r }\Gamma _{\left[ \mu \nu \right]}^{\alpha }=0\text{ gilt }\Gamma \text{=}\left\{ {} \right\}</math> | ||
Damit führt Variation von | Damit führt Variation von | ||
:<math>{{L}_{G}}</math> | :<math>{{L}_{G}}</math> | ||
nach <math>{{g}^{\mu }}^{\nu }</math>zu | nach <math>{{g}^{\mu }}^{\nu }</math>zu | ||
:<math>{{R}_{\mu }}_{\nu }=0</math> | :<math>{{R}_{\mu }}_{\nu }=0</math> | ||
Zeile 1.013: | Zeile 1.014: | ||
Spezielle Relativitätstheorie | Spezielle Relativitätstheorie | ||
Es gilt Energie-Impuls-Erhaltung | Es gilt Energie-Impuls-Erhaltung | ||
:<math>{{T}^{\alpha }}{{^{\beta }}_{,}}_{\beta }=0\Rightarrow {{p}^{\alpha }}=\frac{1}{c}\int\limits_{{{V}^{3}}}{{{T}^{\alpha }}^{0}{{d}^{3}}x}=\text{const}</math> | :<math>{{T}^{\alpha }}{{^{\beta }}_{,}}_{\beta }=0\Rightarrow {{p}^{\alpha }}=\frac{1}{c}\int\limits_{{{V}^{3}}}{{{T}^{\alpha }}^{0}{{d}^{3}}x}=\text{const}</math> | ||
Zeile 1.019: | Zeile 1.020: | ||
:<math>{{T}^{\alpha }}{{^{\beta }}_{,\beta }}=0\xrightarrow[\text{ }\!\!\ddot{\mathrm{A}}\!\!\text{ quivalenzprinzip}]{}{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math> | :<math>{{T}^{\alpha }}{{^{\beta }}_{,\beta }}=0\xrightarrow[\text{ }\!\!\ddot{\mathrm{A}}\!\!\text{ quivalenzprinzip}]{}{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math> | ||
:<math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0\Rightarrow {{\left( \sqrt{-g}{{T}^{\alpha }}^{\beta } \right)}_{,\beta }}=-\sqrt{-g}{{T}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }\ne 0</math> keine Energie Impuls Erhaltung | :<math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0\Rightarrow {{\left( \sqrt{-g}{{T}^{\alpha }}^{\beta } \right)}_{,\beta }}=-\sqrt{-g}{{T}^{\mu }}^{\nu }\Gamma _{\mu \nu }^{\alpha }\ne 0</math> keine Energie Impuls Erhaltung | ||
In der ART sind die Gleichungen <math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math>keine Energie Impuls Erhaltungssätze sondern Bewegungsgleichungen. | In der ART sind die Gleichungen <math>{{T}^{\alpha }}{{^{\beta }}_{;\beta }}=0</math>keine Energie Impuls Erhaltungssätze sondern Bewegungsgleichungen. | ||
Beispiel Ideale Flüssigkeit: | Beispiel Ideale Flüssigkeit: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{\left[ \frac{\mu +p}{{{c}^{2}}}{{u}^{\alpha }}{{u}^{\beta }}-p{{g}^{\alpha }}^{\beta } \right]}_{;}}_{\beta }=0\Rightarrow \left( \frac{\mu +p}{{{c}^{2}}} \right){{u}^{\alpha }}{{_{\mathrm{;}}}_{\beta }}{{u}^{\beta }}=\underbrace{\left( {{g}^{\alpha }}^{\beta }-\frac{1}{{{c}^{2}}}{{u}^{\alpha }}{{u}^{\beta }} \right)}_{{{h}^{\alpha }}^{\beta }}{{p}_{;}}_{\beta } \\ | & {{\left[ \frac{\mu +p}{{{c}^{2}}}{{u}^{\alpha }}{{u}^{\beta }}-p{{g}^{\alpha }}^{\beta } \right]}_{;}}_{\beta }=0\Rightarrow \left( \frac{\mu +p}{{{c}^{2}}} \right){{u}^{\alpha }}{{_{\mathrm{;}}}_{\beta }}{{u}^{\beta }}=\underbrace{\left( {{g}^{\alpha }}^{\beta }-\frac{1}{{{c}^{2}}}{{u}^{\alpha }}{{u}^{\beta }} \right)}_{{{h}^{\alpha }}^{\beta }}{{p}_{;}}_{\beta } \\ | ||
& \xrightarrow{{{g}^{\alpha }}^{\beta }{{p}_{\mathrm{;}}}_{\beta }=0}{{u}^{\alpha }}{{_{\mathrm{;}}}_{\beta }}{{u}^{\beta }}=0 \\ | & \xrightarrow{{{g}^{\alpha }}^{\beta }{{p}_{\mathrm{;}}}_{\beta }=0}{{u}^{\alpha }}{{_{\mathrm{;}}}_{\beta }}{{u}^{\beta }}=0 \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 1.030: | Zeile 1.031: | ||
SRT | SRT | ||
ART | ART | ||
:<math>{{T}^{\alpha }}{{^{\beta }}_{\mathrm{;}}}_{\alpha }=0\to \int\limits_{{{V}_{4}}}{{{T}^{\alpha }}{{^{\beta }}_{\mathrm{;}}}_{\beta }{{d}^{4}}x=0}</math> | :<math>{{T}^{\alpha }}{{^{\beta }}_{\mathrm{;}}}_{\alpha }=0\to \int\limits_{{{V}_{4}}}{{{T}^{\alpha }}{{^{\beta }}_{\mathrm{;}}}_{\beta }{{d}^{4}}x=0}</math> | ||
Zeile 1.038: | Zeile 1.039: | ||
:<math>{{\left( {{\xi }_{\nu }}{{T}^{\mu }}^{\nu } \right)}_{\mathrm{;}}}_{\mu }</math>ist die Divergenz eines Tensors 1. Stufe für den der Gaußsche Satz gilt | :<math>{{\left( {{\xi }_{\nu }}{{T}^{\mu }}^{\nu } \right)}_{\mathrm{;}}}_{\mu }</math>ist die Divergenz eines Tensors 1. Stufe für den der Gaußsche Satz gilt | ||
<math>{{\left( {{\xi }_{\nu }}{{T}^{\mu }}^{\nu } \right)}_{\mathrm{;}}}_{\mu }=\underbrace{{{\xi }_{\nu }}{{_{\mathrm{;}}}_{\mu }}{{T}^{\mu }}^{\nu }}_{=0}+\underbrace{{{\xi }_{\nu }}{{T}^{\mu }}{{^{\nu }}_{\mathrm{;}}}_{\mu }}_{=0}=0</math> | <math>{{\left( {{\xi }_{\nu }}{{T}^{\mu }}^{\nu } \right)}_{\mathrm{;}}}_{\mu }=\underbrace{{{\xi }_{\nu }}{{_{\mathrm{;}}}_{\mu }}{{T}^{\mu }}^{\nu }}_{=0}+\underbrace{{{\xi }_{\nu }}{{T}^{\mu }}{{^{\nu }}_{\mathrm{;}}}_{\mu }}_{=0}=0</math> | ||
:<math>\to \int\limits_{{{x}^{0}}=\text{const}}{{{\xi }_{\nu }}{{T}^{\mu }}^{\nu }d{{f}^{\mu }}}=\int\limits_{{{x}^{0}}=\text{const}}{{{\xi }_{\nu }}{{T}^{0}}^{\nu }{{d}^{3}}x}=\text{const}</math> | :<math>\to \int\limits_{{{x}^{0}}=\text{const}}{{{\xi }_{\nu }}{{T}^{\mu }}^{\nu }d{{f}^{\mu }}}=\int\limits_{{{x}^{0}}=\text{const}}{{{\xi }_{\nu }}{{T}^{0}}^{\nu }{{d}^{3}}x}=\text{const}</math> | ||
Im übrigen gilt | Im übrigen gilt | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{T}^{\alpha }}{{_{\mathrm{;}}}_{\alpha }}=\frac{1}{\sqrt{-g}}{{\left( \sqrt{-g}{{T}^{\alpha }} \right)}_{\mathrm{,}}}_{\alpha } \\ | & {{T}^{\alpha }}{{_{\mathrm{;}}}_{\alpha }}=\frac{1}{\sqrt{-g}}{{\left( \sqrt{-g}{{T}^{\alpha }} \right)}_{\mathrm{,}}}_{\alpha } \\ | ||
& \Rightarrow \int\limits_{{{V}_{4}}}{{{\left( \sqrt{-g}{{T}^{\alpha }} \right)}_{\mathrm{,}}}_{\alpha }{{d}^{4}}x}=\int\limits_{\partial {{V}_{4}}}{\left( \sqrt{-g}{{T}^{\alpha }} \right)d{{f}_{\alpha }}} \\ | & \Rightarrow \int\limits_{{{V}_{4}}}{{{\left( \sqrt{-g}{{T}^{\alpha }} \right)}_{\mathrm{,}}}_{\alpha }{{d}^{4}}x}=\int\limits_{\partial {{V}_{4}}}{\left( \sqrt{-g}{{T}^{\alpha }} \right)d{{f}_{\alpha }}} \\ | ||
& \left( {{T}^{\alpha }}:={{\xi }_{\beta }}{{T}^{\alpha }}^{\beta } \right) \\ | & \left( {{T}^{\alpha }}:={{\xi }_{\beta }}{{T}^{\alpha }}^{\beta } \right) \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 1.052: | Zeile 1.053: | ||
Vorbemerkungen (Elektrodynamik) | Vorbemerkungen (Elektrodynamik) | ||
Elektrodynamik: | Elektrodynamik: | ||
4 algebraisch unabhängige Gleichungen | 4 algebraisch unabhängige Gleichungen | ||
1 Differentialidentität | 1 Differentialidentität | ||
4-1=3 funktional unabhängige Gleichungen | 4-1=3 funktional unabhängige Gleichungen | ||
für 4-1=3 Feldfreiheitsgrade (wegen Eichfreiheit <math>{{A}^{\alpha }}\to {{A}^{\alpha }}+{{d}^{\alpha }}\chi </math> | für 4-1=3 Feldfreiheitsgrade (wegen Eichfreiheit <math>{{A}^{\alpha }}\to {{A}^{\alpha }}+{{d}^{\alpha }}\chi </math> | ||
ART | ART | ||
10 algebraisch unabhängige Gleichungen <math>{{R}^{\mu }}^{\nu }-\frac{1}{2}{{g}^{\mu }}^{\nu }R=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | 10 algebraisch unabhängige Gleichungen <math>{{R}^{\mu }}^{\nu }-\frac{1}{2}{{g}^{\mu }}^{\nu }R=-\frac{8\pi G}{{{c}^{4}}}{{T}_{\mu }}_{\nu }</math> | ||
4 Differentialidentitäten | 4 Differentialidentitäten | ||
10-4=6 funktional unabhängige Gleichungen | 10-4=6 funktional unabhängige Gleichungen | ||
für 10-4=6 Feldfreiheitsgrade (wegen Koordinatenkovarianz <math>{{x}^{\mu }}\to x{{'}^{\mu }}</math>) | für 10-4=6 Feldfreiheitsgrade (wegen Koordinatenkovarianz <math>{{x}^{\mu }}\to x{{'}^{\mu }}</math>) | ||
Zeile 1.073: | Zeile 1.074: | ||
Ansatz: Ebene Wellen | Ansatz: Ebene Wellen | ||
:<math>{{A}^{\alpha }}={{e}^{\alpha }}\exp \left( -{{k}_{\beta }}{{x}^{\beta }} \right)+c.c.</math>mit <math>{{k}_{\beta }}=\left( \omega /c,{{k}^{i}} \right),\left| k \right|:=\frac{2\pi }{\lambda },{{x}^{\beta }}:=\left( ct,{{x}^{i}} \right)</math> | :<math>{{A}^{\alpha }}={{e}^{\alpha }}\exp \left( -{{k}_{\beta }}{{x}^{\beta }} \right)+c.c.</math>mit <math>{{k}_{\beta }}=\left( \omega /c,{{k}^{i}} \right),\left| k \right|:=\frac{2\pi }{\lambda },{{x}^{\beta }}:=\left( ct,{{x}^{i}} \right)</math> | ||
<math>{{e}^{\alpha }}{{k}_{\alpha }}=0</math> | <math>{{e}^{\alpha }}{{k}_{\alpha }}=0</math> | ||
<math>{{e}^{\alpha }}=\left( 0,{{e}^{i}} \right)</math> | <math>{{e}^{\alpha }}=\left( 0,{{e}^{i}} \right)</math> | ||
Also Welle in x3-Richtung | Also Welle in x3-Richtung | ||
:<math>\left( {{A}^{\alpha }} \right)=\left( \underbrace{0}_{\left( c \right)},{{e}^{1}},{{e}^{2}},\underbrace{0}_{\left( b \right)} \right)\exp \left( ik\left( \underbrace{{{x}^{3}}}_{\left( a \right)}-ct \right) \right)+c.c.</math> | :<math>\left( {{A}^{\alpha }} \right)=\left( \underbrace{0}_{\left( c \right)},{{e}^{1}},{{e}^{2}},\underbrace{0}_{\left( b \right)} \right)\exp \left( ik\left( \underbrace{{{x}^{3}}}_{\left( a \right)}-ct \right) \right)+c.c.</math> | ||
Zeile 1.086: | Zeile 1.087: | ||
Es exisitieren also nur 2 unabhängige Felder | Es exisitieren also nur 2 unabhängige Felder | ||
Ansatz: Ebene Welle | Ansatz: Ebene Welle | ||
:<math>{{h}_{\mu }}_{\nu }={{e}_{\mu }}_{\nu }\exp \left[ -i{{k}_{\beta }}{{x}^{\beta }} \right]+c.c.</math> | :<math>{{h}_{\mu }}_{\nu }={{e}_{\mu }}_{\nu }\exp \left[ -i{{k}_{\beta }}{{x}^{\beta }} \right]+c.c.</math> | ||
<math>2{{\eta }^{\mu }}^{\rho }{{e}_{\rho }}_{\nu }{{k}_{\mu }}={{e}_{\rho }}_{\mu }{{\eta }^{\rho }}^{\mu }{{k}_{\nu }}</math> | <math>2{{\eta }^{\mu }}^{\rho }{{e}_{\rho }}_{\nu }{{k}_{\mu }}={{e}_{\rho }}_{\mu }{{\eta }^{\rho }}^{\mu }{{k}_{\nu }}</math> | ||
Dazu gilt die Annahme einer Welle, die in x3-Richtung läuft | Dazu gilt die Annahme einer Welle, die in x3-Richtung läuft | ||
<math>{{h}_{\mu }}_{\nu }={{e}_{\mu }}_{\nu }\exp \left[ ik\left( {{x}^{3}}-ct \right) \right]+c.c.</math> | <math>{{h}_{\mu }}_{\nu }={{e}_{\mu }}_{\nu }\exp \left[ ik\left( {{x}^{3}}-ct \right) \right]+c.c.</math> | ||
:<math>\left( {{h}_{\mu }}_{\nu } \right)=\left( \begin{matrix} | :<math>\left( {{h}_{\mu }}_{\nu } \right)=\left( \begin{matrix} | ||
0 & 0 & 0 & 0 \\ | 0 & 0 & 0 & 0 \\ | ||
Zeile 1.104: | Zeile 1.105: | ||
Explizit sichtbar das nur 2 unabhängige Felder nämlich e11 und e12 existieren | Explizit sichtbar das nur 2 unabhängige Felder nämlich e11 und e12 existieren | ||
Energie und Impuls der ebenen Wellen | Energie und Impuls der ebenen Wellen | ||
:<math>{{t}_{\mu }}_{\nu }=\frac{{{c}^{4}}}{8\pi G}{{k}_{\mu }}{{k}_{\nu }}\left( {{\left| {{e}_{11}} \right|}^{2}}+{{\left| {{e}_{12}} \right|}^{2}} \right)</math> | :<math>{{t}_{\mu }}_{\nu }=\frac{{{c}^{4}}}{8\pi G}{{k}_{\mu }}{{k}_{\nu }}\left( {{\left| {{e}_{11}} \right|}^{2}}+{{\left| {{e}_{12}} \right|}^{2}} \right)</math> | ||
Linear polarisierte Welle e11=h, e12=0 oder andersrum | Linear polarisierte Welle e11=h, e12=0 oder andersrum | ||
:<math>{{t}_{\mu }}_{\nu }=\frac{{{c}^{4}}}{8\pi G}{{k}_{\mu }}{{k}_{\nu }}{{h}^{2}}</math> | :<math>{{t}_{\mu }}_{\nu }=\frac{{{c}^{4}}}{8\pi G}{{k}_{\mu }}{{k}_{\nu }}{{h}^{2}}</math> | ||
Und wenn in x3-Richtung <math>\left( {{k}^{\alpha }} \right)=\left( \omega /c,0,0,\omega /c \right)</math>dann folgt daraus | Und wenn in x3-Richtung <math>\left( {{k}^{\alpha }} \right)=\left( \omega /c,0,0,\omega /c \right)</math>dann folgt daraus | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& \text{Energiestromdichte=}\frac{\text{Energie}}{\text{Zeit }\centerdot \text{Fl }\!\!\ddot{\mathrm{a}}\!\!\text{ che }\left( \text{in }{{\text{x}}^{3}}Richtung \right)} \\ | & \text{Energiestromdichte=}\frac{\text{Energie}}{\text{Zeit }\centerdot \text{Fl }\!\!\ddot{\mathrm{a}}\!\!\text{ che }\left( \text{in }{{\text{x}}^{3}}Richtung \right)} \\ | ||
& ={{\Phi }_{GW}}:=c{{t}_{03}}=\frac{{{c}^{3}}}{8\pi G}{{\omega }^{2}}{{h}^{2}} \\ | & ={{\Phi }_{GW}}:=c{{t}_{03}}=\frac{{{c}^{3}}}{8\pi G}{{\omega }^{2}}{{h}^{2}} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Zeile 1.122: | Zeile 1.123: | ||
Elektrodynmaik (elektromagentische Strahlung) | Elektrodynmaik (elektromagentische Strahlung) | ||
Räumlich begrenzte zeitlich periodische Ladungsverteilung | Räumlich begrenzte zeitlich periodische Ladungsverteilung | ||
:<math>{{j}_{\alpha }}\left( {{x}^{i}},t \right)={{j}_{\alpha }}\left( {{x}^{i}} \right){{e}^{-i\omega t}}+cc</math> | :<math>{{j}_{\alpha }}\left( {{x}^{i}},t \right)={{j}_{\alpha }}\left( {{x}^{i}} \right){{e}^{-i\omega t}}+cc</math> | ||
Retardierte Potentiale: | Retardierte Potentiale: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{A}_{\mu }}\left( {{x}^{i}},t \right)=\frac{1}{c}\int{{{d}^{3}}x'\frac{{{j}_{\mu }}\left( x{{'}^{i}},t-\left| x{{'}^{i}}-{{x}^{i}} \right|{{c}^{-1}} \right)}{\left| x{{'}^{i}}-{{x}^{i}} \right|}} \\ | & {{A}_{\mu }}\left( {{x}^{i}},t \right)=\frac{1}{c}\int{{{d}^{3}}x'\frac{{{j}_{\mu }}\left( x{{'}^{i}},t-\left| x{{'}^{i}}-{{x}^{i}} \right|{{c}^{-1}} \right)}{\left| x{{'}^{i}}-{{x}^{i}} \right|}} \\ | ||
& =\frac{1}{c}\exp \left( -i\omega t \right)\int{{{d}^{3}}x'{{j}_{\mu }}\left( x{{'}^{i}} \right)\frac{\exp \left( ik\left| x{{'}^{i}}-{{x}^{i}} \right| \right)}{\left| x{{'}^{i}}-{{x}^{i}} \right|}}+cc \\ | & =\frac{1}{c}\exp \left( -i\omega t \right)\int{{{d}^{3}}x'{{j}_{\mu }}\left( x{{'}^{i}} \right)\frac{\exp \left( ik\left| x{{'}^{i}}-{{x}^{i}} \right| \right)}{\left| x{{'}^{i}}-{{x}^{i}} \right|}}+cc \\ | ||
& ={{A}_{\mu }}\left( {{x}^{i}} \right)\exp \left( -i\omega t \right)+cc | & ={{A}_{\mu }}\left( {{x}^{i}} \right)\exp \left( -i\omega t \right)+cc | ||
\end{align}</math> | \end{align}</math> | ||
Frequenz der Potentiale = Frequenz der Ladungsverteilung | Frequenz der Potentiale = Frequenz der Ladungsverteilung | ||
Annahmen | Annahmen | ||
Betraten asymptotische Felder, d.h. nehmen an dass <math>{{r}_{0}}\ll r\Rightarrow \left| {{x}^{i}}-x{{'}^{i}} \right|=r-\frac{{{x}^{i}}{{x}_{i}}}{r}+...</math> | Betraten asymptotische Felder, d.h. nehmen an dass <math>{{r}_{0}}\ll r\Rightarrow \left| {{x}^{i}}-x{{'}^{i}} \right|=r-\frac{{{x}^{i}}{{x}_{i}}}{r}+...</math> | ||
Machen Langewellen-Näherung d.h. nehmen an dass <math>{{r}_{0}}\ll \lambda </math>daraus folgt für die räumlichen Komponenten <math>{{A}_{n}}\left( {{x}^{i}} \right)=\frac{\exp \left( ikr \right)}{cr}\int{{{d}^{3}}x'{{j}_{n}}\left( x{{'}^{i}} \right)}-\frac{\exp \left( ikr \right)}{r}\int{{{d}^{3}}x'{{j}_{n}}\left( x{{'}^{i}} \right){{k}_{j}}x{{'}^{j}}}</math> | Machen Langewellen-Näherung d.h. nehmen an dass <math>{{r}_{0}}\ll \lambda </math>daraus folgt für die räumlichen Komponenten <math>{{A}_{n}}\left( {{x}^{i}} \right)=\frac{\exp \left( ikr \right)}{cr}\int{{{d}^{3}}x'{{j}_{n}}\left( x{{'}^{i}} \right)}-\frac{\exp \left( ikr \right)}{r}\int{{{d}^{3}}x'{{j}_{n}}\left( x{{'}^{i}} \right){{k}_{j}}x{{'}^{j}}}</math> | ||
Mit der Kontinuitätsgleichung folgt | Mit der Kontinuitätsgleichung folgt | ||
Zeile 1.143: | Zeile 1.144: | ||
Übersicht über die Grundlagen der Kosmologie und die wichtigsten Weltmodelle | Übersicht über die Grundlagen der Kosmologie und die wichtigsten Weltmodelle | ||
Metagalaxis <math>R\simeq 10Lj</math> | Metagalaxis <math>R\simeq 10Lj</math> | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{\mathsf{M}}_{\odot }}=2\centerdot {{10}^{30}}\mathsf{kg} \\ | & {{\mathsf{M}}_{\odot }}=2\centerdot {{10}^{30}}\mathsf{kg} \\ | ||
& 1\mathsf{Lj}=9,46\centerdot {{10}^{15}}\mathsf{m} \\ | & 1\mathsf{Lj}=9,46\centerdot {{10}^{15}}\mathsf{m} \\ | ||
& 1\mathsf{pc}=3,26\mathsf{Lj} \\ | & 1\mathsf{pc}=3,26\mathsf{Lj} \\ | ||
\end{align}</math> | \end{align}</math> | ||
Galaxien: | Galaxien: | ||
Galaxienhaufen: | Galaxienhaufen: | ||
(1.5) | (1.5) | ||
Die über ein Raaster von 108Lj gemittelte Materie ist homogen und isotrop verteilt. (es existiert ein homogener und isotroper Hubble-Fluss | Die über ein Raaster von 108Lj gemittelte Materie ist homogen und isotrop verteilt. (es existiert ein homogener und isotroper Hubble-Fluss | ||
Zeile 1.157: | Zeile 1.158: | ||
Annomalien über die Materie und die Metrik | Annomalien über die Materie und die Metrik | ||
Kontinuumsmodell (idealesGas bzw. ideale Flüssigkeit) | Kontinuumsmodell (idealesGas bzw. ideale Flüssigkeit) | ||
:<math>{{T}^{\alpha }}^{\beta }=\left( \rho +\frac{p}{{{c}^{2}}} \right){{u}^{\alpha }}{{u}^{\beta }}-P{{g}^{\alpha }}^{\beta }</math> | :<math>{{T}^{\alpha }}^{\beta }=\left( \rho +\frac{p}{{{c}^{2}}} \right){{u}^{\alpha }}{{u}^{\beta }}-P{{g}^{\alpha }}^{\beta }</math> | ||
Es existiert ein durch x0=const gezeichnetes momentanes Ruhesystem der Materie (mitbewegtes Bezugssystem) Das heißt <math>{{u}^{\alpha }}\left( =\delta _{0}^{\alpha } \right)\bot {{x}^{0}}=\text{const}-Fl\ddot{a}che</math> und | Es existiert ein durch x0=const gezeichnetes momentanes Ruhesystem der Materie (mitbewegtes Bezugssystem) Das heißt <math>{{u}^{\alpha }}\left( =\delta _{0}^{\alpha } \right)\bot {{x}^{0}}=\text{const}-Fl\ddot{a}che</math> und | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& {{u}^{\alpha }}=\frac{d{{x}^{\alpha }}}{d\tau }=\frac{1}{\sqrt{{{g}_{00}}}}\frac{d{{x}^{\alpha }}}{d{{x}^{0}}}=\frac{1}{\sqrt{{{g}_{00}}}}\delta _{0}^{\alpha } \\ | & {{u}^{\alpha }}=\frac{d{{x}^{\alpha }}}{d\tau }=\frac{1}{\sqrt{{{g}_{00}}}}\frac{d{{x}^{\alpha }}}{d{{x}^{0}}}=\frac{1}{\sqrt{{{g}_{00}}}}\delta _{0}^{\alpha } \\ | ||
& {{n}_{\alpha }}=\varphi ,\alpha =\delta _{\alpha }^{0} \\ | & {{n}_{\alpha }}=\varphi ,\alpha =\delta _{\alpha }^{0} \\ | ||
\end{align}</math> | \end{align}</math> | ||
… | … | ||
Also | Also | ||
:<math>d{{s}^{2}}={{g}_{00}}\left( {{x}^{0}},{{x}^{k}} \right){{c}^{2}}d{{t}^{2}}+{{g}_{ik}}\left( {{x}^{0}},{{x}^{k}} \right)d{{x}^{i}}d{{x}^{k}}</math> | :<math>d{{s}^{2}}={{g}_{00}}\left( {{x}^{0}},{{x}^{k}} \right){{c}^{2}}d{{t}^{2}}+{{g}_{ik}}\left( {{x}^{0}},{{x}^{k}} \right)d{{x}^{i}}d{{x}^{k}}</math> | ||
Die Weltlinien der Materie sind zeitartige Geodäten | Die Weltlinien der Materie sind zeitartige Geodäten | ||
:<math>d_{s}^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{s}}{{x}^{\mu }}{{d}_{s}}{{x}^{\nu }}=0</math> | :<math>d_{s}^{2}{{x}^{\alpha }}+\Gamma _{\mu \nu }^{\alpha }{{d}_{s}}{{x}^{\mu }}{{d}_{s}}{{x}^{\nu }}=0</math> | ||
(1) + (2) <math>{{g}_{00,i}}=0</math> Also | (1) + (2) <math>{{g}_{00,i}}=0</math> Also | ||
:<math>d{{s}^{2}}={{g}_{00}}\left( {{x}^{0}} \right){{c}^{2}}d{{t}^{2}}+{{g}_{ij}}\left( {{x}^{0}},{{x}^{k}} \right)d{{x}^{i}}d{{x}^{j}}</math> | :<math>d{{s}^{2}}={{g}_{00}}\left( {{x}^{0}} \right){{c}^{2}}d{{t}^{2}}+{{g}_{ij}}\left( {{x}^{0}},{{x}^{k}} \right)d{{x}^{i}}d{{x}^{j}}</math> | ||
(1.6) | (1.6) | ||
Bzw mit Koordinatentransformation <math>{{\bar{x}}^{0}}=\int_{0}^{x}{\sqrt{{{g}_{00}}\left( u \right)}du}</math> | Bzw mit Koordinatentransformation <math>{{\bar{x}}^{0}}=\int_{0}^{x}{\sqrt{{{g}_{00}}\left( u \right)}du}</math> | ||
:<math>d{{s}^{2}}={{\left( d{{{\bar{x}}}^{0}} \right)}^{2}}+{{g}_{ij}}\left( {{x}^{0}},{{x}^{k}} \right)d{{x}^{i}}d{{x}^{j}}</math> | :<math>d{{s}^{2}}={{\left( d{{{\bar{x}}}^{0}} \right)}^{2}}+{{g}_{ij}}\left( {{x}^{0}},{{x}^{k}} \right)d{{x}^{i}}d{{x}^{j}}</math> | ||
(1.6) | (1.6) | ||
Der Hubble Fluß der kosmischen Materie ist homogen und isotrop, d.h. das Verhältnis der Raumschnitte <math>{{\bar{x}}^{0}}=\text{const}</math>zu verschiedene Epochen <math>{{\bar{x}}^{0}}</math> und <math>{{\bar{x}}^{0}}+d{{\bar{x}}^{0}}</math> ist nur eine Funktion der kosmischen Zeit: | Der Hubble Fluß der kosmischen Materie ist homogen und isotrop, d.h. das Verhältnis der Raumschnitte <math>{{\bar{x}}^{0}}=\text{const}</math>zu verschiedene Epochen <math>{{\bar{x}}^{0}}</math> und <math>{{\bar{x}}^{0}}+d{{\bar{x}}^{0}}</math> ist nur eine Funktion der kosmischen Zeit: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
& \frac{d{{s}^{2}}{{|}_{{{{\bar{x}}}^{0}}+\delta {{{\bar{x}}}^{0}}=\text{const}}}}{d{{s}^{2}}{{|}_{{{{\bar{x}}}^{0}}=\text{const}}}}=1+\delta {{{\bar{x}}}^{0}}h\left( {{{\bar{x}}}^{0}} \right)+O\left( {{\left( \delta {{{\bar{x}}}^{0}} \right)}^{2}} \right) \\ | & \frac{d{{s}^{2}}{{|}_{{{{\bar{x}}}^{0}}+\delta {{{\bar{x}}}^{0}}=\text{const}}}}{d{{s}^{2}}{{|}_{{{{\bar{x}}}^{0}}=\text{const}}}}=1+\delta {{{\bar{x}}}^{0}}h\left( {{{\bar{x}}}^{0}} \right)+O\left( {{\left( \delta {{{\bar{x}}}^{0}} \right)}^{2}} \right) \\ | ||
& \Rightarrow {{g}_{ik}}\left( {{{\bar{x}}}^{0}},{{x}^{k}} \right)={{S}^{2}}\left( {{{\bar{x}}}^{0}} \right){{\gamma }_{ij}}\left( {{x}^{k}} \right) \\ | & \Rightarrow {{g}_{ik}}\left( {{{\bar{x}}}^{0}},{{x}^{k}} \right)={{S}^{2}}\left( {{{\bar{x}}}^{0}} \right){{\gamma }_{ij}}\left( {{x}^{k}} \right) \\ | ||
& \Rightarrow d{{s}^{2}}={{\left( d{{{\bar{x}}}^{0}} \right)}^{2}}+{{S}^{2}}\left( {{{\bar{x}}}^{0}} \right){{\gamma }_{ij}}\left( {{x}^{k}} \right) \\ | & \Rightarrow d{{s}^{2}}={{\left( d{{{\bar{x}}}^{0}} \right)}^{2}}+{{S}^{2}}\left( {{{\bar{x}}}^{0}} \right){{\gamma }_{ij}}\left( {{x}^{k}} \right) \\ | ||
\end{align}</math> | \end{align}</math> | ||
Kosmologisches Prinzip: In unserer Epoche ist kein Ort im Raumschnitt <math>{{\bar{x}}^{0}}=\text{const}</math>vor einem anderen ausgezeichnet, d.h. der 3Dimensionale Ortsraum ist homogen und isotrop. | Kosmologisches Prinzip: In unserer Epoche ist kein Ort im Raumschnitt <math>{{\bar{x}}^{0}}=\text{const}</math>vor einem anderen ausgezeichnet, d.h. der 3Dimensionale Ortsraum ist homogen und isotrop. | ||
Daraus folgt | Daraus folgt | ||
Beispiel k=+1 | Beispiel k=+1 | ||
S3:<math>{{x}^{2}}+{{y}^{2}}+{{z}^{2}}+{{w}^{2}}=1</math>(Einheitsspähre) | S3:<math>{{x}^{2}}+{{y}^{2}}+{{z}^{2}}+{{w}^{2}}=1</math>(Einheitsspähre) | ||
Durch Einbettung in einen 4-dimensionalen euklidischen Raum mit dem Linienelement <math>d{{\sigma }^{4}}=d{{x}^{2}}+d{{y}^{2}}+d{{z}^{2}}+d{{\omega }^{2}}</math>und geeigneten Koordinaten erhält man | Durch Einbettung in einen 4-dimensionalen euklidischen Raum mit dem Linienelement <math>d{{\sigma }^{4}}=d{{x}^{2}}+d{{y}^{2}}+d{{z}^{2}}+d{{\omega }^{2}}</math>und geeigneten Koordinaten erhält man |
Aktuelle Version vom 28. Januar 2011, 15:57 Uhr
Der Artikel ART-Skript basiert auf der Vorlesungsmitschrift von Moritz Schubotz des alle.Kapitels der ARTvorlesung von Prof. Dr. H.-H. von Borzeszkowski. |
|}}
Einleitung
Die leitenden Gedanken der Allgemeinen Relativitätstheorie
Methodische Vorbemerkung zur Art der folgenden Darstellung
Man muss über Probleme der Newtonschen Meachanik und der SRT Sprechen
Ausgangspunkt: Beschreibung der Bewegung
Man muss über zulässige Koorinatensysteme und über Zeit reden
C. Neumann & L Lange zur Bestimmung von Intertialsystemen in der Newtonschen Mechanik
M. v. Laue zur Bestimmung von Inertialsystemen in der Speziellen Relatitätstheorie
SRT (Relativitätsprinzip) und Newtonsche Gravitationstheorie (,, ,)
Einstein (1907): „Der glücklichste Gedanke meines Lebens“ Das Äquivalenzprinzio ist der Relativitätstheorie zugrunde zu legen.
Verallgemeinerung der SRT zur ART
Übersicht und Literatur
(ausgelassen)
Der Übergang von der Speziellen zur Allgemeinen Relativitätstheorie
Newtonsche Mechanik und Galilei-Invarianz etc.
Zeit Transformationen (Translationen)
Raum Transformationen (Translationen und Rotationen) Kovarianz der Bewegungsgleichung
Invarianz des Raummaßes
Spezielle Galilei Transformation Invarianz der Bewegungsgleichung
Keine Kovarianz des Raummaßes () Insgesamt: Kovarianz der Bewegungsgleichungen bezüglich der allgemeinen Galilei Gruppe:
Formal lässt sich das 4-Dimensional formulieren dies ist aber physikalisch ohne Bedeutung, da das keine irreduzibele 4-Dimensionale Gruppe ist):
10-parametriege Gruppe Allgemeine bzw. andere Transformationen ändern die Form der Bewegungsgleichungen: Beispiel Rotierendes Bezugssystem ():
(Ausführlicher in § 9) Systematische und historische Bemerkungen zum Verhältnis von Galilei-Invarianz und Elektrodynamik: Bedeutung des Prinzips der Konstanz der Lichtgeschwindigkeit Lichtgeschwindigkeit ist unabhängig von der Bewegung der Lichtquelle Konstanz der Lichtgeschwindigkeit Relativitätsprinzip gilt in allen Inertialsystemen
(1.1) Minkowski-Raum: 4-Dimeionale pseudo-euklidische Metrik (in Inertialkoordinaten) bzw. pseudo-Karth. Koordinaten) . (später siehe §4) Linienelement in Inertialkoordianten ()
Bestimmung der Inertialsysteme bzw. der sie verbinden Transformationenen (Lorentz-Transformation)
Ansatz
Ansatz: mit
Also: Allgemeine Lorentz-Transformation (Poincaré-Transformation)
Spezialfall der räumlichen Rotation:
Spezielle Lorentz-Transformation
Spezielle LT in x1-Richtung
Eigentliche Lorentz Transformation (schließt räumliche und zeitliche Speigelungen aus):
(10 parametrige Gruppe) Tensoren im Minkowski- Raum Minkowski-Raum: 4 dimensionaler pseudo euklidischer Raum 3-dim euklid. Raum: Ist durch pythagoreische Maßbestimmungen definiert
4-dim pseudo-euklid. Raum
mit Metrik Lorentz Transformation wurde grade so bestimmt (s §3), daß und invariant sind Es gibt 3 Arten von Abständen: Zeitartig ( ) Lichtartig( ) Spannen den Lichtkegel auf raumartig( ) Tensoren (durch Transformationsgesetz definiert) Kontravarianter Vektor : Kovarianter Vektor
Heben und Senken von Indices
mit
Also Allgemein Die partielle Ableitung ist eine tensorielle Operation: Sie führt ein Tensorfeld N-ter Stufe in ein Tensorfeld (n+1)-ter Stufe über Beispiel
Also ist kovariant und ist kontravariant
Relativistische Mechanik 1 . Newton`sche Axiom
Vierergeschwindigkeit es gilt Viererimpuls es gilt Mit Ruhemasse m und träger Masse
Das erste Axiom besagt in seiner 4-dimensionalen Fassung die Erhaltung von Energie und Impuls
lautet ausgeschrieben mit Für kleine Geschwindigkeiten gilt Allgemein also gilt der Zusammenhang (Äquivalenz von Masse und Energie) 2. Newton`sche Axiom
Die 0-Komponente ist bis auf einen Faktor von der Dimension einer Leistung bestimmt. Im nichtrelativistischen Grenzfall lautet die 0-Komponente der Bewegugnsgleichung
3. Newton`sche Axiom Hat keine direkte relativistische Entsprechung# Elektordynamik (im Leeren Raum) Maxwellsche Gleichungen EINFÜGEN
Bewegungsgleichungen
(Lorentzkraft) (1.2)
4- Stromvektor (Kontinuitätsgleichung 4- Feldstromstärke sei
Lorentzinvarianz Inhomogene Maxwellgleichungen nun Homogene Maxwellgleichungen Lösung der homogenen MWG mit Vektorpotential Dann ist + homogene MWG und Also , Aus der Lorentzkraft wird Der Energie Impuls Tensor lautet Relativistische Hydrodynamik Ideale Flüssigkeit: Charakterisiert durch Dicht , Gewindigkeitsfeld , isptrpües Druckfeld also 5 Feldfunktionen Bewegungsgleichungen in der nichtrelativistschen Fassung 3 Euler Gleichungen ÜBERSPRUNGEN Beschleunigte Bezugssystem im Minkowski-Raum Newtonsche Mechanik Inertialsystem
(für freies Teilchen) Nicht-Inertialsystem Beispiel: Rotierendes Bezussystem (=Winkelgeschwindigkeit)
Spezielle Relativitätstheorie
Inertialsystem
Linienelement
Bewegungsgleichung (eines freien Teilchens der Messe m):
Übergang zu einem Nicht-Inertialsystem
Mit Bewegungsgleichung: Man erhält sie durch die Transformation aus der Gleichung :
Durch Multiplikation mit liefert mit :
Da gemäß die Metrik im Nicht-Inertialsystem durch gegeben ist folgt
Der Übergang von der Newton`schen Gravitationstheorie zur Allgemeinen Relativitätstheorie Newton‘sche Gravitationstheorie Die gravitative Wechselwirkung (gemäß der Newton`schen Axiomatik)
Bewegungsgleichungen (gemäß dem 2. Axiom):
Newtons Pendelversuch: da SchwingungsdauerAlsoÄquivalenz von schweren und Trägen Massen) Dieses sogenannte Äquivalenzprinzip ist eine Besonderheit der Gravitation (siehe dazu §10) Das Äquivalenzprinzip in der Newtonschen Gravitationstheorie Dieses Prinzip benennt die Besonderheit der graviativen Wechselwirkung wie ein Verglich mit der elektrischen Wechselwirkung zeigt
Bewegungsgleichungen
3. Axiom Diese Äquivalenz wird auch in der Elektrodynamik vorrausgesetzt, da ansonsten weder ein Potential nochj eine Lagrange-Funktion eingeführt werden kann (Clausius). Denn nur dann gilt:
Mit Also (die elektrische Ladung ist also nicht gleich der trägen Masse, wohl aber ist die Gravitationsladung gleich der trägen Masse) Die lokale Äquivalenz von Trägheit und Schwere (Einsteinsches Äquivalenzprinzip) Verschiedene Versionen des Newton`schen Äquivalenzprinzips Die träge Masse m ist gleich der schweren Masse M Bezüglich eines in einem homogenen Gravitationsfeld frei Fallenden Bezugssystems („Einsteinscher Fahrstuhl“) verlaufen alle Prozesse so, als wäre kein Gravitationsfeld vorhanden. Denn
Kartesische Koordinaten in den O ruht
(also
)
Mit Fi irgendwelche andere auf mA wirkende Kräfte Bezüglich eines in eines im homogenen Gravitationsfeld frei fallenden lokalen Bezugssystems verlaufen alle Prozesse, so als wäre kein Gravitationsfeld vorhanden. Mit Einstein (1907): „Der Glücklichste Gedanke meines Lebens“: Diese Eigenschaft der Graviation ist wesentlich und sollte auch in der relativistischen Theorie der Graviation gelten Einsteinsche Äquivalenzprinzip In einem frei fallenden lokalen Bezugssystem gelten die Gesetze der SRT bzw. In einem lokalen Inertialssystem gelten die Gesetzte der SRT bzw. umgekehrt Durch eine Transformation die den Übergang von einem lokalen Inertialsystem (LIS) zu einem dagegen beschleunigtem System beschreibt erhalten die SRT-Gleichungen eine Form, die den Einfluß eines äußeren Gravitationsfeldes berücksichtigt.
Resümee der Kapitel II und III Kap II Kap III In der SRT (also ohne Berücksichtigung der Gravitation) gilt: Aufgrund des für die Gravitation vorausgesetzten Äquivalenzprinzips gilt: In einem globalen (u. dann natürlich auch lokalen) IS gelten die Gesetze der SRT In einem lokalen IS gelten die Gesetze der SRT In einem globalen (u. dann natürlich auch lokalen) NICHT-IS beschreibt die dann auftretende Metrik Trägheitsfelder In einem lokalen NICHT-IS beschreibt die dann auftretende Metrik auch Gravitationsfelder
Aufgrund des Äquivalenzprinizips werden Trägheit und Schwere lokal definiert (d.h. durch ein und dasselbe Feld beschrieben Formales Schema: Gleichungen der SRT, die irgendwelche physikalischen Prozesse in einem IS ohne den Einfluss eines Gravitationsfeldes beschreiben ALLGEMEINE KOORDINATENTRANSFORMATION Gleichungen die diese Prozesse unter Berücksichtigung der Graviation Physikalische Beobachtung genügt der Übergang zu allgemeinen kovarianten Gleichungen aber erst im Riemann`schen Raum. Riemannsche Geometrie Der Riemannsche Raum Vergleich 2-dimeionsonale ebener und 2 dim gekrümmter Räume um den Begriff des gekrümmten Raumes an einem Beispiel zu illustrieren Euklidischer Raum (n=2) Gekrümmter Raum (n=2) In kartesischen Koordinaten Linienelment Geradengleichung mit t=Kurvenparameter Es existieren keine kartesischen Koordinaten
z.B. d
Krummlinige Koordinaten (Polarkoordinaten)
Minkowsik Raum (n=4) Gekrümmter Raum (n=4)
In quasi kartesischen Koordinaten (Globale Inertialsystem)
Linienelment
Geradengleichung (gradlinige gleichförmige Bewegung)
Mit Koordinatentransformation ISNICHT-IS Es gibt keine quasi kartesischen Koordinaten, d.h. keine globalen IS.
In krummlinigen Koordinaten (Nicht Inertialsystem)
Definition: Riemannscher Raum =4-dimensionale Mannigfaltigkeit auf der eine Metrik definiert ist, derart dass invariant ist gegenüber allgemeinen Koordinatentransformationen die Signatur -2 hat Tensoren im Riemannschen Raum (vgl. auch Kapitel 4) Riemannscher Raum =4-dimensionale Mannigfaltigkeit auf der eine Metrik definiert ist, derart dass invariant ist gegenüber allgemeinen Koordinatentransformationen die Signatur -2 hat Beziehungen:
Es gibt wieder (wie im Minkowski-Raum) drei Arten von Abständen Zeitarting ( ) Lichtartig( ) Spannen den Lichtkegel auf raumartig( ) Tensoren (sie werden durch ihr Verhalten bei allgemeinen Koordinatentranformationenn bestimmt) kontravarianter Vektor
Heben und Senken von Indices
mit
Also Allgemein Die Symmetrien bleiben bei Transformationen erhalten
Die partielle Ableitung ist keine kovariante Operation, d.h. sie macht einem Tensor k-ter Stufe keinen Tensor (k+1)-ter Stufe. Denn:
Daher ist es notwendig eine kovariante Ableitung einzuführen Partielle und kovariante Ableitung Definition der kovarianten Ableitung durch de Forderungen: Die kovariante Ableitung eines Tensors k-ter Stufe ergibt ein Tensor (k+1)-ter Stufe Im Minkowski-Raum reduziert sich im quasi-kartesischen Koordinaten (d.h. in einem globalen IS) die kovariante auf die partielle Ableitung (In einem Riemannschen Raum ist das für lokale IS zu fordern. Man betrachte dazu die Transformations-Eigenschaften der Christoffel-Symbole die in den §§8 und 11 beim Übergang von einem IS bzw. lokalen IS zu beliebigen Koordinaten auftreten. IS bzw. lokales IS Beliebiges KS Koordinaten Metrik Geradengleichung bzw. Bewegungsgleichung eines freien Teilchens: Koordinaten Metrik Geradengleichung bzw. Bewegungsgleichung eines freien Teilchens: Wobei
Nun Übergang von Koordinaten zu neuen Koordinaten :
Daher gilt wegen des letzten Ausdrucks von §13:
Transformation eines Tensors 2-ter Stufe! Definition der kovarianten Ableitung:
Allgemein gilt:
Es gilt (das ist ein Charakteristikum der Riemannschen Geometrie) Paralleltransport von Vektoren Anschauliche Bedeutung der kovarianten Ableitung führt zum Begriff „Parlleltransport“ bzw. „Parallelität von Vektoren in infinitesimal benachbarten Punkten“: Das totale Differential eines Vektors
Ist also kein Vektor (s.o), weil die Termine
und sich verschieden transformieren, denn . Die Differenz ist deshalb kein Tensor.
Man muss also
zum Punkt x transportieren, ohne dass z sich im Minkowski-Fall ändert (d.h. ihn nach x parallel verschieben). Die Änderung bei Parallelverschiebung sei genannt.
(man zieht also die Änderung bei der Parallelverschiebung ab) Aufgrund der oben definierten kovarianten Ableitung weiß man, wie aussieht:
d.h. Also: 2 Vektoren in infinitesimalen Punkten sind genau dann parallel, wenn die beiden Änderungen und sich gegenseitig kompensieren, d.h. wenn die kovariante Ableitung verschwindet:. Bemerkungen: Es gibt keinen Fernvergleich von Vektoren (d.h. von Richtungen sondern nur den von Winkeln)
Bei dieser Art der Verschiebung ändert sich der Winkel zwischen Vektor und Kurve (anders beim Fermi-Walker-Transport) Geodätische Linien (Geodäten) Def. der Autoparallel (die „gradeste Verbindung“ zweier Punkte): (Für beliebige Kurven ändert sich der Winkel zwischen Vektro und Kurve (s.o.)) Autoparllele=Kurve, längst der der Tangentenvektor parallel verschoben wird
(Parallelverschiebung)
(Tangentenvektor an Kurve mit Kurvenparameter )
(Autoparallelengleichung) Definition der Geodäten (die „kürzeste Verbindung“ zweier Punkte): Geodäte=Kurve länger der .
(Geodätengleichung) Die Autoparallele ist gleich der Geodäten (ein Charakteristikum der Riemannschen Geometrie) Der Krümmungstensor Der Krümmungstensor ist ein kovariantes Maß für die Krümmung des Raumes (Die Metrik und die Konnektoren sind ungeeignet: ist kein „punktuelles“ Maß, da in einem Punkt immer auf zu transformieren und ist kein Tensor.) Erste Art der Definition
Zweite Art der Definition
1. Weg
2. Weg
Symmetrien des Riemannschen Krümmungstensors
Es bleiben also noch 20 algebraisch unabhängige Komponenten Differentialidentität (Bianchi-Identität)
Ricci-Tensor Ricci-Skalar Damit verfügen wir über das gemometrische Inventar zur Formulierung der Einsteinschen Gravitationsgleichungen. ………RECHNUNG FEHLT……… Grundgesetze der Allgemeinen Relativitätstheorie Grundgesetze der Physik im Riemannschen Raum (schwaches Äquivalenzprinzip bzw. Einsteinsches Äquivalenzprinzip) SRT Gesetze ohne Gravitation Koordinaten Transformation ART-Gesetze (Relativistisch) Gesetze mit Gravitation
Tensoren im M4 Tensoren im V4
Mechanik
(nichtrelativistische Näherung §31a) Elektrodynamik
Nichtrelativistischer Grenzfall Der mechanischen Bewegungsgleichung
Also
(schwache Felder)
Bewegungsgleichungen:
Energie – Impuls Tensor
Alle Energieformen au0er der Gravitation tragen zum Energie-Impuls-Tensor bei
differentieller Energie-Impuls-Erhaltungssatz Daraus folgt für räumlich begrenzte Systeme:
(Integraler Energie-Impuls-Erhaltungs-Satz) In der ART gilt
Einsteinsche Feldgleichungen der Gravitation Struktur („Ableitung“) der Gleichungen Aufgabe: Relativistische Verallgemeinerung der Newtonschen Gravitationsgleichung
(1.3) Wobei die gesuchten Gleichungen Differentialgleichungen für sind. Nichtrelativistischer Grenzfall der Bewegungsgleichungen Hinweis für die Verallgemeinerung der linken Seite von (1.3):
Vergleich weiter oben Nichtrelativistischer Grenzfall des Energie-Impuls-Tensors einer idealen Flüssigkeit Hinweis für die Verallgemeinerung der rechten Seite von (1.3)
Also mögliche Formulierung von (1.3)
(1.4) Gesucht ist eine Verallgemeinerung dieser Gleichung, die es erlaubt, alle zu bestimmen. Naheliegende Verallgemeinerungen von (1.4):
<-> -Widerspricht der Gleichung
<-> -Sinnlos da Man hat für die linke Seite der Gleichung einen Tensor zu suchen der folgenden Bedingungen genügt:
ist ein Riemannscher Tensor 2ter Stufe Ist symmetrisch enthält keine höheren Ableitungen von als die zweite: Für schwache, statische Felder gilt Aus (1)-(3) folgt Aus (4) folgt Da
(Einsteinsche Gleichungen ohne kosmologischen Term)
(Einsteinsche Gleichungen mit kosmologischem Term) Einsteinsche Gleichungen und Bewegungsgleichungen SRT
ART
In der ART sind die Gleichungen keine Energie Impuls Erhaltungssätze sondern Bewegungsgleichungen.
Das Variationsproblem der Einsteinschen Gravitationsgleichungen Allgemeines Schema Man konstruiert ein das physikalische System charakterisierende Wirkungsintegral S
Die Feld bzw. Bewegungsgleichungen folgen dann aus dem Hamiltonschen Wirkungsprinzip für die Euler-Variation der Variablen . Mechanik (Systeme mit einer endlichen Anzahl von Freiheitsgraden) Voraussetzung: L enthält bisauf Terme der Form (wobei ) nur erste Ableitungen der Variablen Hamiltonsches Prinzip
Resultierende Bewegungsgleichungen (Euler-Lagrange-Gleichungen) Einstein Gleichungen Einstein Hilbertsches Wirkungsintegral SEH
Mit
= kovariant geschriebene Lagrangefunktion für die das Gravitationspotential erzeugenden Terme Einsteinsches Wirkungsintegral SE
Der Term
liefert keinen Betrag zu da es sich beim Integranden um enie Divergenz handelt (s.o.).
Lineare Näherung der Einsteinschen Gleichungen
Von den Einsteinschen zu den linearisierten Gleichungen Vorbemerkung Elektrodynamik: 4 algebraisch unabhängige Gleichungen 1 Differentialidentität 4-1=3 funktional unabhängige Gleichungen für 4-1=3 Feldfreiheitsgrade (wegen Eichfreiheit ART 10 algebraisch unabhängige Gleichungen 4 Differentialidentitäten 10-4=6 funktional unabhängige Gleichungen für 10-4=6 Feldfreiheitsgrade (wegen Koordinatenkovarianz ) Linearisierung der Gleichungen
Nachbemerkung (Zum Vergleich von Elektrodynamik und linearisierter ART) Elektrodynamik (in Potentialform)
Eichinvarianz bzgl. . Daher Äquivalente Formulierung der ED:
Linearisierte ART
Bemerkung (Ähnlichkeiten und Unterschiede)
Von den linearisierten zu den Einsteinschen Gleichungen
-entfällt-
Die Schwarzschildlösung und Experimente zur Allgemeinen Relativitätstheorie
Das Kugelsymetrische Graviationsfeld (Schwarzschild-Lösung)
Bewegung von Teilchen im kugelsymetrischen Gravitationsfeld
Lichtablenkung, Periheldrehung, Radarecheo-Effekt, geodätische Präzession
Statische Sternmodelle
Gravitationsstrahlung
Wellenlösungen Nachweis von Gravitationsstrahlung Übersicht über die durchgeführten und geplanten Experimente zur Allgemeinen Relativitätstheorie Vorbemerkung Der Name „schwaches Äquivalenzprinzip“ steht hier für das was in §11 als Newtonsches und Einsteinsches Äquivalenzptinzip bezeichnet wurde. Das schwache ÄP macht aber Aussagen über den Einfluss eines gegebenen äußeren Gravitationsfeldes auf physikalische Prozesse Das starke Äquivalenzprinzip betrifft die Gravitation selbst, also die Potentiale und deren Bestimmungs-gleichungen. Es besagt: Das Gravitationsfeld ist einzig und allein durch die gegeben, und diese werden durch die Einsteinschen Feldgleichungen bestimmt [ES GIBT UNTERSCHIEDLICHE DEFINITIONEN DES SCHWACHEN UND STARKEN ÄP] Tests des schwachen Äquvalenzprinzips Eötvös Versuch (mit Vorläufern und Nachfolgern) Galileisches Fallgesetz Newtons „Äquivalenzprinzip“ m=M Test durch Newton: Pendelversuche für kleine Winkel Bessel (1784-1846): Pendelversuche Eötvös (1848-1918): Versuche mit der Torosionswage in den Jahren 1880-1919 1922: 1990 Rotverschiebung Bemerkungen über Koordinaten und Eigenzeit SRT ART IS:
Jede in einem Inertialsystem ruhende Uhr misst die Eigenperiode. Unter dem Einfluss der Gravitation musst eine ruhende Uhr eine Periode. Nur eine frei fallende Uhr misst . (d..h. eine Uhr im lokalen IS.) Gravitationsrotverschiebung Betrachten zwei identische Uhren in einem statischen Gravitationsfeld (an den Orten A und B)
Sei der Abstand zwiscehn 2 Wellenbergen und dt die Koordinatenzeit zwischen 2 Wellenberen mit (z=Rotverschiebungsparameter)
Es gibt 3 Arten der Rotverschiebung Doppler-Verschiebung Gravitationsrotverschiebung Kosmologische Rotverschiebung Messung der gravitativen Rotverschiebung mittels des Mößbauer-Effektes durch Pund&Suider (1965) im Erdfeld:
Messung der gravitativen Rotverschiebung des Sonnenlichtes die durch das Gravitationsfeld der bewirkt wird (Snider 1972):
- (störende Faktoren: Relativgeschwindigkeit: Erde – Sonne termische Bewegung der Atome, Konvektion der solaren Gase)
1980 H2-Maser: Bewegte Uhren (in Flugzeugen, Raketen und Stelliten bestätigen die allg. Beziehung zwischen und dt) Test des starken Äquivalenzprinzips Roberson-Entwicklung für im schwachen Gravitationsfeld, d.h. für (im Sonnenfeld)
Für ART: für Newton) Rotverschiebung Test für g00 in erster Näherung (diese Bedingung muss jede Theorie erfüllen) Lichtablenkung, Gravitationswellen
(Winkel der Lichtablenkung)
Gravitationslinsen: Qusarzwillinge erwiesen sich als 2 Bilder eines Quasars, dessen Radiowellen durch eine zwischen uns und dem Quasar befindlichen („Gravitationslinse“) Periheldrehung
Unter verwendung des aus anderen Beobachtungen gegeben -Wertes erhielt man 1989/90:
Radarecho-Effekt
Präzession von Kreiseln Kreisel „Erde-Mond“ (1988-1996) 1% genauigkeit d geod. Präzession Standford Satelliten Exp. Zur Messung der geodätischen Präzession und des Thirring-Lense Effekts: Demnächst sollen Resultat gefunden werden. Nordvedt-Effekt Abstand „Erde-Mond“-Messung liefert Doppelpulsarsystem Indirekter Nachweis der Gravitationsstrahlung am Doppelpulsarsystem PSR 1913+16 Zusammenfassung Die ART ist für schwache Gravitationsfelder hervorragen bestätigt Für starke Felder können astrophysikalische und kosmologische Untersuchungen als Tests dienen.
Vorlesung ART II
Zusammenfassende Darstellung der Grundlagen der ART
Hamilton Lagrange Formalismus für Feldtheorie
(Ableitung der Einsteinschen Feldgleichungen aus einem Variationsprinzip)
Allgemeines Schema
Hamiltonsches Wirkungsprinzip
der Variation von
- Fehler beim Parsen (Syntaxfehler): {\displaystyle & \phi }
wobei das Wirkungsintegral ist (L:=Lagrangefunktion)
Jeweilige Symmetrieforderung (aller Arten von Relativitätsprinzipien) werden automatisch erfüllt Aber beim Start mit Hamiltonfunktion (bzw. Hamiltondichte) bedarf es der speziellen Prüfung Systeme mit endlichen Anzahl von Freiheitsgraden (Mechanik) Voraussetzung L enthält nur erste Ableitung von Variablen Geschwindigkeitsphasenraum (Konfigurationsraum q^i (Verallgemeinerte Koordinaten), Konfigurationsraum ( verallgemeinerte Geschwindigkeiten) i=1..N (N Freiheitsgrade) Lagrange Funktion bzw. Hamilton Prinzip: Für die Teilchenbahn ist
Bezüglich Euler-Variation der stationär. (
wobei
Euler-Lagrange-Gleichung (Mechanik)
Zusatzterme der Form sind „wirkungslos“ (verändern die resultierende Bewegungsgleichung nicht.) Also sind hinsichtlich Euler-Variation äquivalent zu L: Warum?
. Für den Fall, dass L auch von der 2. Ableitung abhängt muss man fordern, dass und Dann sind , mit Euler-Äquivalent Systeme mit einer kontinuierlichen unendlichen Anzahl von Freiheitsgraden (klassische Feldtheorie) (Canonical Gravity: From Classical to Quantum, J. Ekler, H Fredrich (eds. Springer 1994) (A.Wipf) Tabelle 1 Vergleich von Mechanik und Feldtheorie Mechanik Feldtheorie
(z.B. elektrodynamisches Potential oder skalares Potential )
Weitere Übersetzungen (Math. Operationen, …) Tabelle 2 Vergleich von Mechanik und Feldtheorie Mechanik Feldtheorie
(Der Konfigurationsraum muss entsprechend oft genug differenzierbar sein.) Lagrangian und Wirkungsintegral … Hamiltonsches Prinzip Tabelle 3 Vergleich von Mechanik und Feldtheorie Mechanik Feldtheorie
Lagrange Dynamik bzw. ELG der freien Teilchen Tabelle 4 Vergleich von Mechanik und Feldtheorie Mechanik Feldtheorie
Ableitung der Einsteinschen Gleichungen durch Variation nach g Vorbemerkung zu Integralen im Riemannschen Raum: Integrale können nur überskalare Dichten gebildet werden. Alle andere wäre sinnlos Also:
Denn: Es kommen nur skalare („indexfreie“) Objekte als Integrand in Frage Es dürfen keine gemeinsamen Skalare sein, da Also Man kann skalare Dichte immer aus Skalar duch Multiplikation mit erhalten, weil Gaußscher Satz gilt nur für skalare Dichten z.B. nicht aber für . Einstein Gleichungen Einstein Hilbertsches Wirkungsintegral SEH
Mit
= kovariant geschriebene Lagrangefunktion für die das Gravitationspotential erzeugenden Terme Einsteinsches Wirkungsintegral SE
Der Term
liefert keinen Betrag zu da es sich beim Integranden um enie Divergenz handelt (s.o.).
Ableitung der Einsteinschen Vakuum-Gleichungen mittels der Palatini-Variation (von Einstein „gemischte“ und von Wegl „neutrale“Variation genannt) Im Riemannschen Raum giltDaher ist dann nur die obrige metrische Variation möglich. Nehmen wir an, dass man in einem Raum ist, der durch eine Metrik und eine symmetrische Konnerktion charakterisiert ist. Dann kann man nach g und l‘ variieren. Resultat: Variation von
Damit führt Variation von
nach zu
Erhaltungssätze und Bewegungsgleichungen in der ART Spezielle Relativitätstheorie Es gilt Energie-Impuls-Erhaltung
ART
In der ART sind die Gleichungen keine Energie Impuls Erhaltungssätze sondern Bewegungsgleichungen. Beispiel Ideale Flüssigkeit:
Die kovariante Herleitung und Formulierung dieses Sachverhaltes lautet:
SRT
ART
Hier bricht die Argumentationskette aber ab, da für Tensorfelder 2ter und höherer Stufe im Riemannschen Raum kein Gaußscher Satz gilt. Es folgt also kein integraler Erhaltungssatz. Es existieren Killing Vektoren:
Im übrigen gilt
Lineare Näherung der Feldgleichungen Vorbemerkungen (Elektrodynamik) Elektrodynamik: 4 algebraisch unabhängige Gleichungen 1 Differentialidentität 4-1=3 funktional unabhängige Gleichungen für 4-1=3 Feldfreiheitsgrade (wegen Eichfreiheit ART 10 algebraisch unabhängige Gleichungen 4 Differentialidentitäten 10-4=6 funktional unabhängige Gleichungen für 10-4=6 Feldfreiheitsgrade (wegen Koordinatenkovarianz ) Beispiele sind Lösungen der Gleichungen Gravitationsstrahlung
Gravitationswellen (ebene Wellen) Lösungen der Wellengleichung Wieder zum Vergleich: Elektrodynamik Feldgleichungen Eichbedingungen (1 Zusatzbedingung, die im Vakuumfall wegen der Invarianz der Feldgleichungen bezüglich mit möglich ist Daraus folgt dass nur 2 unabhängige Felder (bzw. Feldfreiheitsgrade) existieren Ansatz: Ebene Wellen
Lineareisierte ART (Feldgleichungen) (Eichbedingungen) 4 Zusatzbedingungen, die im Vakuumfall wegen der Invarianz der Feldgleichungen bezüglich möglich sind Es exisitieren also nur 2 unabhängige Felder Ansatz: Ebene Welle
Dazu gilt die Annahme einer Welle, die in x3-Richtung läuft
Explizit sichtbar das nur 2 unabhängige Felder nämlich e11 und e12 existieren Energie und Impuls der ebenen Wellen
Linear polarisierte Welle e11=h, e12=0 oder andersrum
Und wenn in x3-Richtung dann folgt daraus
Quadropulstrahlung Welcher Art ist die Strahlung? Dazu Quellterme mit betrachten. Elektrodynmaik (elektromagentische Strahlung) Räumlich begrenzte zeitlich periodische Ladungsverteilung
Retardierte Potentiale:
Frequenz der Potentiale = Frequenz der Ladungsverteilung Annahmen Betraten asymptotische Felder, d.h. nehmen an dass Machen Langewellen-Näherung d.h. nehmen an dass daraus folgt für die räumlichen Komponenten Mit der Kontinuitätsgleichung folgt
Kosmologische Lösungen der Einsteinschen Gleichungen
Übersicht über die Grundlagen der Kosmologie und die wichtigsten Weltmodelle
Metagalaxis
Galaxien: Galaxienhaufen: (1.5) Die über ein Raaster von 108Lj gemittelte Materie ist homogen und isotrop verteilt. (es existiert ein homogener und isotroper Hubble-Fluss Friedmann – Roberson Walker Metrik (s. Goenner 14.1) Annomalien über die Materie und die Metrik Kontinuumsmodell (idealesGas bzw. ideale Flüssigkeit)
Es existiert ein durch x0=const gezeichnetes momentanes Ruhesystem der Materie (mitbewegtes Bezugssystem) Das heißt und
… Also
Die Weltlinien der Materie sind zeitartige Geodäten
(1.6) Bzw mit Koordinatentransformation
(1.6) Der Hubble Fluß der kosmischen Materie ist homogen und isotrop, d.h. das Verhältnis der Raumschnitte zu verschiedene Epochen und ist nur eine Funktion der kosmischen Zeit:
Kosmologisches Prinzip: In unserer Epoche ist kein Ort im Raumschnitt vor einem anderen ausgezeichnet, d.h. der 3Dimensionale Ortsraum ist homogen und isotrop. Daraus folgt
Beispiel k=+1
S3:(Einheitsspähre)
Durch Einbettung in einen 4-dimensionalen euklidischen Raum mit dem Linienelement und geeigneten Koordinaten erhält man