Almen relativitetsteori og klassisk mekanik

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg
Denne artikel skal snarest indarbejdes i andre artikler

Her beskrives sammenhængen mellem Einsteins almene relativitetsteori og Newtons klassiske beskrivelse af legemers bevægelse i et tyngdefelt. Vi vil ikke her gå ind i udledningen af Einsteinligningen og fortolkning af de enkelte led i denne, ej heller en mere grundlæggende introduktion til Einsteins almene relativitetsteori. Blot skal det nævnes, at når samme index står for for oven og for neden i et led i en ligning er der tale om implicit summation. Konventionen er, at i eller j summeres fra 1 til 3 (de rumlige koordinater), mens a,b,c,... summeres fra 0 til 3 (både tidslig og rumlige koordinater). Desuden skal man huske, at konventionen for enheder (lysets hastighed) i klassisk mekanik og almen relativitetsteori normalt er h.h.v.:


\begin{matrix}
c=299792458\,\frac{m}{s} & , & c=1
\end{matrix}

Indholdsfortegnelse

Klassisk mekanik [redigér]

Newtons beskrivelse af tyngdekraften er basalt set, at to legemer med masser M og m og indbyrdes afstand r tiltrækker hinanden med en kraft, der har størrelsen:


F(r)=-G \frac{M m}{r^2},\ \mathrm{hvor}\ G = 6.673(10)\cdot 10^{-11} \frac{m^3}{kg\,s^2}

Desuden ved vi, at en partikel med masse m, der påvirkes af en kraft F acelereres med en acceleration, der opfylder:


m\,\mathbf{a} = \mathbf{F}

Alternativt kan man sige, at en punktformig masse M giver anledning til et tyngdepotential:


\phi(r) = -G \frac{M}{r}

Sammenhængen med ovenstående er, at accelerationen af en lille test masse placeret i potentialet er:


\mathbf{a}= -\nabla\phi.

Med denne definition af potentialet får vi:


\Delta \phi = \nabla\cdot\nabla \phi =
\nabla\cdot\left(G\frac{M}{r^2}\hat{\mathbf{r}}\right) =
4\pi GM\delta(\mathbf{r})

Eller hvis massen ikke er punktformig, men vi i stedet har en massetæthed:


\Delta \phi = 4\pi G \mu(\mathbf{r})

Klassisk approksimation til den almene relativitetsteori [redigér]

Det vi her ønsker at vise er at Einsteinligningen:


R_{ab}=\kappa\left(T_{ab}-\frac{1}{2}g_{ab}T\right)

er i overensstemmelse med Newtons klassiske beskrivelse, i grænsen hvor alle partikler (masser) bevæger sig meget langsommere end lyset, og rummet er næsten fladt (eller ækvivalent: tyngdekraften er meget lille). Dvs.:


v << c \quad \mathrm{og}\quad g_{ab} = \eta_{ab}+h_{ab}\quad \mathrm{hvor}


\eta_{ab} = \begin{pmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{pmatrix} \quad\mathrm{og}\quad h_{ab} << 1\ \forall\ a,b

Det betyder, at:


T_{ab} = \mu\, u_a\, u_b\quad \mathrm{hvor}


\begin{matrix}
u_a & = & \frac{d x_a}{d s}  & =  & \left(\frac{dt}{ds},-\frac{d\vec{x}}{dt}\right)\\
      & \approx & \left(\frac{dt}{dt},0,0,0\right) & = & (1,0,0,0)
\end{matrix}

Vi har her brugt, at egentid s og tidskoordinat t er identiske for lille hastighed og små tyngdefelter. Vi får altså:


T_{00}=\mu\quad \mathrm{og}\quad T_{ab}=0\ \mathrm{for\ alle\ andre}\ a,b

Dermed får vi:


\begin{matrix}
R_{00} & = & \kappa \left(T_{00}-\frac{1}{2}g_{00}g^{ab}T_{ab}\right)\\
	  & = & \kappa \left(T_{00}-\frac{1}{2}g_{00}g^{00}T_{00}\right)\\
\end{matrix}

Til laveste orden (0. orden) i h får vi:


R_{00} = \frac{1}{2}\kappa T_{00} = \frac{1}{2}\kappa\mu

Samtidig har vi:


\begin{matrix}
R_{ab}             & = & R^d_{\ adb}\\
R^d_{\ adb}        & = & \partial_b\Gamma^d_{\ ac} - \partial_c\Gamma^d_{\ ab}\\
                      &   & + \Gamma^d_{\ be}\Gamma^e_{\ ac}
                               - \Gamma^d_{\ ce}\Gamma^e_{\ ab}\\
\Gamma^a_{\ bc} & = & g^{ad}\Gamma_{dbc}\\
\Gamma_{dbc}     & = & \frac{1}{2}(\partial_b g_{dc} - \partial_d g_{bc}
                                  + \partial_c g_{db})\\
                         & = & \frac{1}{2}(\partial_b h_{dc} - \partial_d h_{bc}
                                  + \partial_c h_{db})
\end{matrix}

Vi kan altså se, at Γ bliver første orden i h, hvorfor vi kan negligere alle led, der er af højere orden i Γ. Dermed før vi:


R_{00} = R^a_{\ 0a0} = \partial_a\Gamma^a_{\ 00} - \partial_0\Gamma^a_{\ 0a}

Men eftersom vi har antaget at alle hastigheder er små sammenlignet med lysets og vi basalt set har:


\partial_0 = \frac{\partial}{\partial ct}

kan vi trygt negligere alle led hvor der afledes med hensyn til tiden. Vi får:


\begin{matrix}
R_{00} & = & \partial_i\Gamma^i_{\ 00} = \partial^i\Gamma_{i00} \\
       & = & \frac{1}{2}\partial^i\left(\partial_0 h_{i0}
             - \partial_i h_{00} + \partial_0 h_{i0} \right) \\
       & = & -\frac{1}{2}\partial^i\left(\partial_i h_{00} \right) \\
       & = & -\frac{1}{2}\frac{\partial}{\partial x_i}
              \frac{\partial}{\partial x^i} h_{00} \\
       & = & \frac{1}{2}\sum_{i=1}^3 \frac{\partial}{\partial x^i}
             \frac{\partial}{\partial x^i} h_{00} \\
       & = & \Delta\left(\frac{1}{2} h_{00}\right)
\end{matrix}

Det sidste fortegnsskift kommer fordi det at flytte index op eller ned svarer til at gange g på, men eftersom h er meget lille får vi blot at g skifter fortegn på de tre rumlige koordinater. Vi får dermed at:


\Delta\left(\frac{1}{2} h_{00}\right) = \frac{1}{2}\kappa\mu

Sammenhæng mellem de to teorier [redigér]

Men hvordan hænger alt det her sammen med accelerationen af den lille test masse, vi har fra Newtons teori? Den geodætiske ligning, som beskriver, hvordan masser bevæger sig i denne (lidt) krumme rumtid, siger:


0 = \frac{Du^a}{ds} = \frac{\partial u^a}{\partial s}
    + \Gamma^a_{bc} u^b u^c

eller i vores approximation, for de rumlige koordinater:


\begin{matrix}
\frac{\partial v^i}{\partial t}
 & = & -\Gamma^i_{bc} u^b u^c = -\Gamma^i_{00} u^0 u^0 \\
 & = & -\Gamma^i_{00} = \Gamma_{i00} = -\frac{1}{2}\partial_i h_{00} \\
 & = & -\frac{\partial}{\partial x^i}\left(\frac{1}{2}h_{00}\right)
\end{matrix}

Eller på vektorform:


\mathbf{a}=-\nabla\left(\frac{1}{2}h_{00}\right) = -\nabla\phi\quad \mathrm{hvis\ vi\ definerer}\quad
\phi = \frac{1}{2}h_{00}

Vi er altså endt med et klassisk tyngdepotential, der opfylder:


\Delta\phi = \frac{1}{2}\kappa\mu

Så teorierne er i overensstemmelse, hvis vi definerer:


\kappa = 8\pi G \frac{1}{c^4}

Den sidste faktor kommer ind fordi vi har brugt to forskellige enhedssystemer til definitionen af de to potentialer. Hermed har vi bestemt den frie parameter i Einsteins almene relativitetsteori ud fra kravet om overensstemmelse med Newtons teori i grænsen


v \approx 0\ ,\ g_{ab} \approx \eta_{ab}
.

Se også [redigér]