Compute Christoffel Symbols for Metric w/ Time Variable

[latentcorpse]

I have that g=L^2 \left( e^{-2U} \left( e^{2A} \left( -dt^2 + d \theta^2 \right) + R^2 dy^2 \right) + e^{2U} dx^2 \right) is the metric on my spacetime.

taking \{ t, \theta, x , y \} as a coordinate system for the manifol M, i can write this in matrix form as

g_{ab}=L^2 \left( \begin {array}{cccc} -{e}^{2 \left( A-U \right)}&amp;0&amp;0&amp;0<br /> \\ \noalign{\medskip}0&amp;{e}^{2 \left(A-U \right)}&amp;0&amp;0\\ \noalign{\medskip}0&amp;0&amp;{e}<br /> ^{2U}&amp;0\\ \noalign{\medskip}0&amp;0&amp;0&amp;{R}^{2}{e}^{-2U}\end {array}<br /> \right)

now i need to show the vacuum einstein equations for g are
\partial_t^2 R - \partial_{\theta}^2 R =0
\partial_t (R \partial_t U ) - \partial_{\theta} ( R \partial_{\theta} U ) =0
\partial_t^2 A - \partial_{\theta}^2 A = ( \partial_{\theta} U )^2 - ( \partial_t U)^2

and

\partial_{\theta} \partial_+ R = ( \partial_+ A)(\partial_+ R) - R ( \partial_+ U)^2
\partial_{\theta} \partial_- R = ( \partial_- A)( \partial_- R) - R ( \partial_- U )^2

where \partial_{\pm} = \partial_{\theta} \pm \partial_{t}

so i want to start by computing the christoffel symbols andyway.

this is done using \Gamma^{\sigma}_{\mu \nu} = \frac{1}{2} \displaystyle \sum_{\rho} g^{\sigma \rho} \left( \frac{ \partial g_{\nu \rho}}{\partial x^{\mu}} + \frac{ \partial g_{\mu \rho}}{\partial x^\nu} - \frac{ \partial g_{\mu \nu}}{ \partial x^\rho} \right)

however in previous examples I've worked with, \sigma, \mu, \nu, \rho \in \{ 1,2,3 \} but now i have a problem because of this fourth index due to the presence of time in my metric and i don't know how to deal with it. any advice?

 

[waht]

just run rho from 0 to 3

<br /> g^{\sigma 0} ... + g^{\sigma 1} ... + g^{\sigma 2} ... + g^{\sigma 3} <br /> <br />

 

[latentcorpse]

so do i keep \sigma, \mu, \nu running from 1 to 3 only?

 

[latentcorpse]

so does this look ok so far...

\Gamma^1{}_{11}=\frac{1}{2} g^{11} ( \partial_{\theta} g^{11} ) = \frac{1}{2} L^2 e^{2(A-U)} \partial_{\theta} (L^2 e^{2(A-U)})
=\frac{1}{2}L^4 e^{2(A-U)} e^{2(A-U)} ( \partial_{\theta} ( 2(A-U)))
=L^4 e^{4(A-U)} ( \partial_{\theta} A- \partial_{\theta} U)

\Gamma^1{}_{12}=\frac{1}{2} g^{11} ( \partial_x (L^2 e^{2(A-U)}))=0
as A,U are functions of \theta,t only.

to be honest i don't see how there's ever going to be a situation where we use \rho=0 as if \sigma \in \{ 1,2,3 \}, then the g^{\sigma \rho} term in front of the brackets in the formula will always be zero when \rho=0 will it not?

 

[latentcorpse]

bump.

 

[HallsofIvy]

so do i keep \sigma, \mu, \nu running from 1 to 3 only?

No, all indices here run from 0 to 3.

(I can't speak for general usage but in Eddington's "The Mathematical Theory of Relativity", he specifically uses Greek letters for indices from 0 to 3, Latin letters for indices from 1 to 3.)

 

[latentcorpse]

ok. thanks.
so now that i have the non-zero Christoffel symbols, the next step in getting to the Einstein equations there would be to copmute the Ricci tensor using the eqn

R_{\mu \rho}= \displaystyle \sum_{\nu} \frac{\partial}{\partial x^{\nu}} \Gamma^{\nu}{}_{\mu \rho} - \frac{\partial}{\partial x^{\mu}} \left( \displaystyle \sum_\nu \Gamma^{\nu}{}_{\nu \rho} \right) + \displaystyle \sum_{\sigma, \nu} \left( \Gamma^{\alpha}{}_{\mu \rho} \Gamma^{\nu}{}_{\alpha \nu} - \Gamma^{\alpha}{}_{\nu \rho} \Gamma^{\nu}{}_{\alpha \mu} \right)


then i would write the Ricci tensor as a matrix

then i calculate R=R_{a}{}^{a}

and then i put these into R_{ab}-\frac{1}{2}Rg_{ab}=8 \pi T_{ab}
yeah?

and if these are the vacuum Einstein eqns i can set T_{ab}=0, yeah?

thanks.

 

[waht]

then i would write the Ricci tensor as a matrix

then i calculate R=R_{a}{}^{a}

and then i put these into R_{ab}-\frac{1}{2}Rg_{ab}=8 \pi T_{ab}
yeah?

and if these are the vacuum Einstein eqns i can set T_{ab}=0, yeah?

Yeah, that's the plan. But why do you keep the big sigma?

summation convection should get rid of it.

 

[latentcorpse]

ye, i think it was just left in in the book i was working from (Wald's General Relativity).

anyway i found that copmuting, even R_{00} was about 4 pages of wrok and my final answer was about 10 lines long...has something gone wrong or is this typical?

 

[waht]

anyway i found that copmuting, even R_{00} was about 4 pages of work

yup that's normal if you write small

and my final answer was about 10 lines long...has something gone wrong or is this typical?

I'm not sure what the answer is to this metric, but the components of the Ricci tensor usually simplify to simple second order differential equations.

Hobson has a nice step by step calculation on this.