Calculating Covariant Riemann Tensor with Diag Metric gab

[CharlotteW]

Using Ray D'Inverno's Introducing Einstein's Relativity. Ex 6.31 Pg 90.

I am trying to calculate the purely covariant Riemann Tensor, R_abcd, for the metric

g_ab=diag(e^v,-e^λ,-r²,-r²sin²θ)

where v=v(t,r) and λ=λ(t,r).

I have calculated the Christoffel Symbols and I am now attempting the solution using

R_abcd=g_ae(∂_cΓ^e_db-∂_dΓ^e_cb+Γ^e_cfΓ^f_db-Γ^e_dfΓ^f_cb)

With e and f as summation indices I have assumed that where the e and f occur in the same Christoffel symbol a summation of all Christoffel symbols, of all combinations of the two variables, should be summed.

For R₀₁₀₁ I have the equation to be

R₀₁₀₁=g₀₀(∂₀(Γ⁰₁₁+Γ¹₁₁)-∂₁(Γ⁰₀₁+Γ¹₀₁)+(Γ⁰₀₀+Γ⁰₀₁+Γ¹₀₀+Γ¹₀₁)(Γ⁰₁₁+Γ¹₁₁)-(Γ⁰₁₀+Γ¹₁₀+Γ⁰₁₁+Γ¹₁₁)(Γ⁰₀₁+Γ¹₀₁)

Yielding the solution

R₀₁₀₁=(1/2)e^λ(∂²λ/∂t²) - (1/4)e^λ(∂λ/∂t)(∂v/∂t)-(1/4)e^λ(∂λ/dt)²-(1/2)e^vv''-(1/4)e^v(v')^2-(1/4)e^vv'λ'-(1/4)e^v(λ'(∂v/∂t)-(∂λ/∂t)v')

where ' represents ∂/∂r.

The only term that is not in the solution given in the textbook is -(1/4)e^v(λ'(∂v/∂t)-(∂λ/∂t)v') .

The relevant Christoffel symbols for R₀₁₀₁ are

Γ⁰₀₀=1/2 (∂v/dt) , Γ⁰₀₁=1/2 v'

Γ⁰₁₁=(1/2)e^(λ-v)(∂λ/∂t) , Γ¹₀₀e^(v-λ)v'

Γ¹₀₁=(1/2)(∂λ/∂t) , Γ¹₁₁=(1/2)λ'I feel like I'm missing something rather simple as I have yet to come across a thread or example where the covariant Riemann Tensor has been calculated and the workings have been displayed. I may of course be using the wrong search terms for finding such a thing.

 

[andrewkirk]

Can you fill in the steps that are covered by the words 'yielding the solution'?
Your presentation of the formula for the Riemann tensor in terms of Christoffel symbols is correct, but to check the process by which you reach your solution, without your providing any steps, would require any helper to do the entire problem themself.
If you can write down your steps, it shouldn't be too hard for somebody to find where it goes wrong - if indeed it does (textbook answers sometimes contain errors).

 

[CharlotteW]

Thank you Andrew.

To expand on the 'Yielding the solution' part the steps in between are

substituting the relevant Christoffel Symbols into

R0101=g00(∂0(Γ011+Γ111)-∂1(Γ001+Γ101)+(Γ000+Γ001+Γ100+Γ101)(Γ011+Γ111)-(Γ010+Γ110+Γ011+Γ111)(Γ001+Γ101)

=e^v(∂_t(½e^λ-v(∂λ/∂t) + ½λ') - ∂_r(½v'+½(∂λ/∂t) +(¼e^λ-v(∂λ/∂t) + ½λ')(½(∂v/∂t) + ½(∂λ/∂t)) - (½v' + ½(∂λ/∂t)(½v' +½λ'))

Multiplying out bracket

R0101==e^v(½e^λ-v(∂²λ/∂t²) - ½e^λ-v(∂λ/∂t)(∂v/∂t) + ½e^λ-v(∂λ/∂t)² + ½(∂λ'/∂t) -½v'' - ½(∂λ'/∂t) + ¼e^λ-v(∂λ/∂t)(∂v/∂t) + ¼e^λ-v(∂λ/∂t)² + ¼(∂v/∂t)λ' + ¼λ'(∂λ/∂t) - ¼v'² - ¼v'λ' - ¼(∂λ/∂t)v' - ¼(∂λ/∂t)λ')

Then I collected like terms to get my final solution stated in the post.

 

[andrewkirk]

It looks like the signs of the two components of the non-matching term in the OP are opposite from the signs those components have in post 3.

It's a bit hard to be sure because the post is very hard to read since there is no latex used and no differentiation of bracket sizes to clarify where expressions for terms and factors begin and end.
If you know latex, it would help greatly if you could post your formulas using that. The only difference between this forum's latex and the standard is that in-line formulas use two consecutive # symbols as delimiters for the beginning and end of code, rather than the usual single $.

 

[andrewkirk]

Also, you have a $\tfrac{1}{4}$ coefficient in the following line in post 3:

=ev(∂t(½eλ-v(∂λ/∂t) + ½λ') - ∂r(½v'+½(∂λ/∂t) +(¼eλ-v(∂λ/∂t) + ½λ')(½(∂v/∂t) + ½(∂λ/∂t)) - (½v' + ½(∂λ/∂t)(½v' +½λ'))

All numeric coefficients should be ½ prior to multiplying out brackets.

 

[CharlotteW]

I will try using latex once I can get to my laptop. :)
Thank you for your help so far.