Calculating the Riemann Tensor


by help1please
Tags: riemann, tensor
help1please
help1please is offline
#1
May9-12, 03:44 PM
P: 167
1. The problem statement, all variables and given/known data



2. Relevant equations



3. The attempt at a solution




The work I have been following has me very confused... and I am almost sure I am making a mistake somewhere!

After working up to this equation:

[tex]\delta V = dX^{\mu}\delta X^{\nu} [\nabla_{\mu} \nabla_{\nu}]V[/tex]

I am asked to calculate the curvature tensor. Now the way I did it, turned out different to the way it is shown at the end of the work... it took a bit of time to understand what method I was using was different but I did work it out nonetheless, and what I want to know is which method is correct (most likely mine is wrong but I need some guidance.)

Ignoring [tex]V[/tex] and just working out the commutator relationship, I expand:

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu}) - (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

The first part of the calculation, gives

[tex]\partial_{\nu}\partial_{\mu} - \partial_{\mu} \partial_{\nu}[/tex]

Which is just zero, because the ordinary derivatives commute, so they go to zero. Fine. Now, according to the work I am following, the next set of terms should have been:

[tex]\Gamma_{\nu} \partial_{\mu} - \partial_{\nu}\Gamma_{\mu}[/tex]

But I ended up with

[tex]\partial_{\nu}\Gamma_{\mu} - \partial_{\mu} \Gamma_{\nu}[/tex]

and I only arrived at this because it is well known that once you calculate the first set of terms, for instance, using this guide:

[tex](a+b)(c+d)[/tex]

ignoring that we are taking this part away from another part, the first term arises because you multiply [tex]a[/tex] with [tex]c[/tex]. Then you multiply [tex]a[/tex] with [tex]d[/tex].

In the work I am following, it seems that in this:

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu}) - (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

You get

[tex]\partial_{\nu} \partial{\mu}[/tex]

first of all by following that rule (then the extra's of course [tex]- \partial_{\mu} \partial_{\nu}[/tex] but according the second lot, the work has

[tex]\Gamma_{\nu} \partial_{\mu} - \partial_{\mu} \Gamma_{\nu}[/tex]

My brain agrees with the [tex]-\partial_{\mu} \Gamma_{\nu}[/tex] term but I do not understand how it gathers the

[tex]\Gamma_{\nu} \partial_{\mu}[/tex]

Because for that to be true, it would mean using my expression again for simplicity that

[tex](a+b)(c+d) - (a'+b')(c'+d')[/tex]

It seems right to multiply [tex](a' \cdot d')[/tex] but with a steady analysis of the works example, it shows [tex]b \cdot c[/tex] which would give the first term [tex]\Gamma_{\nu}\partial_{\mu}[/tex]... but that isn't right is it? Or am I wrong? Am I doing it wrong?

Thanks
Phys.Org News Partner Science news on Phys.org
Simplicity is key to co-operative robots
Chemical vapor deposition used to grow atomic layer materials on top of each other
Earliest ancestor of land herbivores discovered
help1please
help1please is offline
#2
May9-12, 04:29 PM
P: 167
I've not made a massive amount of headway since I posted this question but I think my confusion exists in some parts I have missed out. There seems to be a sign change for:

[tex]-[\partial_{\mu} , \Gamma_{\nu}] = -\frac{\partial \Gamma_{\nu}}{\partial X^{\mu}}[/tex]

Where I have a positive solution

[tex][\partial_{\nu} , \Gamma_{\mu}] = \frac{\partial \Gamma_{\mu}}{\partial X^{\nu}}[/tex]

Now this commutator would permit the calculation,

[tex]\partial_{\nu}\Gamma_{\mu}[/tex] but I am still confused as to why it wasn't calculated straight away, if anyone is following my drift.
....................................................................... ...............


Then upon saying that I think I have worked out my problem, but I need confirmation:

Ah, that was my breaking point - I think I know what is happening now.

Again:

Where I have a positive solution

[tex][\partial_{\nu} , \Gamma_{\mu}] = \frac{\partial \Gamma_{\mu}}{\partial X^{\nu}}[/tex]

Now this commutator would permit the calculation,

[tex]\partial_{\nu}\Gamma_{\mu}[/tex] ---- so, in the working example, it looked like the person who calculated it was taking the [tex]\Gamma_{\nu}[/tex] and multiplying it with [tex]\partial_{\mu}[/tex] and that confused me because normally the next multiplication would give [tex]\partial_{\nu} \Gamma{\mu}[/tex] but because of this delicate sign change, which exists because

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu}) - (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

The

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu})[/tex]

Part is positive then it follows that

[tex][\partial_{\nu} , \Gamma_{\mu}] = \frac{\partial \Gamma_{\mu}}{\partial X^{\nu}}[/tex]

Which would dictate the multiplication in the form the work gives. If it had been negative, such as this part

[tex]- (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

Then the normal multiplication rule would apply, because as I said, I had no problem agreeing with the product

[tex]\partial_{\mu} \Gamma_{\nu}[/tex]

Does this seem right now?
help1please
help1please is offline
#3
May10-12, 03:19 PM
P: 167
Can no one help?

clamtrox
clamtrox is offline
#4
May10-12, 03:49 PM
P: 937

Calculating the Riemann Tensor


I don't understand your question. Remember that derivatives don't commute, and they only operate on things on their right. So
[tex] (\partial + \Gamma)(\partial + \Gamma) = \partial \partial + \partial \Gamma + \Gamma \partial + \Gamma \Gamma [/tex]
help1please
help1please is offline
#5
May14-12, 10:33 AM
P: 167
If I have:

[tex](a+b)(c+d) -(a'+b')(c'+d')[/tex]

multiplying it out, I begin with

[tex]ac - a'c'[/tex]

Just as in the OP equation, for the GR curvature tensor, we have

[tex]\partial_{\nu} \partial_\mu - \partial_{\mu} \partial_{\nu}[/tex]

I'm fine with that. It's what comes next is muddling my brain up. According to my simple equation above,

[tex](a+b)(c+d) -(a'+b')(c'+d')[/tex]

The next thing I compute is

[tex]ad - a'd'[/tex]

but we don't seem to be doing that when calculating the curvature tensor.

What I am told I should have to calculate next is

[tex]\Gamma_{\nu}\partial_{\mu} - \partial_{\mu}\Gamma_{\nu}[/tex]

Instead that looks like

[tex]bc - a'd'[/tex]

are you following now?
help1please
help1please is offline
#6
May14-12, 10:38 AM
P: 167
Compare it with

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu}) - (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

In other words. The first lot of computations I can agree with. I don't understand when it goes to compute the next set of terms, it seems to take

[tex]\Gamma_{\nu}[/tex]

with

[tex]\partial_{\mu}[/tex]

but then on the other side it would correctly take

[tex]\partial_{\mu}\Gamma_{\nu}[/tex]

This is what has caused the confusion.
help1please
help1please is offline
#7
May14-12, 10:43 AM
P: 167
Quote Quote by clamtrox View Post
I don't understand your question. Remember that derivatives don't commute, and they only operate on things on their right. So
[tex] (\partial + \Gamma)(\partial + \Gamma) = \partial \partial + \partial \Gamma + \Gamma \partial + \Gamma \Gamma [/tex]
This I agree with. But my work seems to be skipping the second part in your equation, the

[tex]\partial \Gamma[/tex] part. Look at the way I have presented the equations from the work. It does not follow your pattern.
help1please
help1please is offline
#8
May14-12, 11:00 AM
P: 167
Let me show you the whole thing now, naturally we compute

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu}) - (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

It says when multiplying out the terms, we should have

[tex]\partial_{\nu} \partial_{\mu} - \partial_{\mu} \partial_{\nu} \Gamma_{\nu \beta}^{\alpha} \partial_{\mu} - \partial_{\nu}\Gamma_{\nu \beta}^{\alpha} + \Gamma_{\nu \delta}^{\alpha}\Gamma_{\mu \beta} - \Gamma_{\nu \delta}^{\alpha}\Gamma_{\mu \beta}[/tex]

http://www.youtube.com/watch?v=AC3TM...feature=relmfu

The important bit begins at 38:30. Is he calculating this right? And if he is, what is it I am failing to understand?
help1please
help1please is offline
#9
May14-12, 11:01 AM
P: 167
It took me a while to find the video. But I found it.
clamtrox
clamtrox is offline
#10
May14-12, 11:10 AM
P: 937
So what happens when you try to calculate it properly? Remember also that you get two terms from the second covariant derivative (because [itex]\nabla V [/itex] is a 1-1-tensor).

[tex] \nabla_{[\mu} \nabla_{\nu]} V^{\alpha} = \nabla_{\mu} \nabla_{\nu} V^{\alpha} - [\mu \leftrightarrow \nu] = \partial_{\mu} (\nabla_\nu V^\alpha) - \Gamma^{\lambda}_{\mu \nu} \nabla_{\lambda} V^{\alpha} + \Gamma^\alpha_{\mu \delta} \nabla_\nu V^\delta - [\mu \leftrightarrow \nu] [/tex]

Oh, and that notation that Susskind is really confusing. I think you will be better off working it out without any shorthands
help1please
help1please is offline
#11
May14-12, 12:06 PM
P: 167
Quote Quote by clamtrox View Post
So what happens when you try to calculate it properly? Remember also that you get two terms from the second covariant derivative (because [itex]\nabla V [/itex] is a 1-1-tensor).

[tex] \nabla_{[\mu} \nabla_{\nu]} V^{\alpha} = \nabla_{\mu} \nabla_{\nu} V^{\alpha} - [\mu \leftrightarrow \nu] = \partial_{\mu} (\nabla_\nu V^\alpha) - \Gamma^{\lambda}_{\mu \nu} \nabla_{\lambda} V^{\alpha} + \Gamma^\alpha_{\mu \delta} \nabla_\nu V^\delta - [\mu \leftrightarrow \nu] [/tex]

Oh, and that notation that Susskind is really confusing. I think you will be better off working it out without any shorthands
Well take a look at your example:

[tex] (\partial + \Gamma)(\partial + \Gamma) = \partial \partial + \partial \Gamma + \Gamma \partial + \Gamma \Gamma [/tex]

By the time he's cancelled out the first terms, he should be writing what you have here:

[tex]\partial \Gamma[/tex]

Compare it with

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu}) - (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

In other words. The first lot of computations I can agree with. I don't understand when it goes to compute the next set of terms, he seems to take

[tex]\Gamma_{\nu}[/tex]

with

[tex]\partial_{\mu}[/tex]

but then on the other side it would correctly take

[tex]\partial_{\mu}\Gamma_{\nu}[/tex]

This is what has caused the confusion. Shouldn't it be

[tex]\partial_{\nu}\Gamma_{\mu} - \partial_{\mu}\Gamma_{\nu}[/tex]
clamtrox
clamtrox is offline
#12
May14-12, 01:01 PM
P: 937
You are still explaining very poorly. Can you show your work using proper indices step by step?
help1please
help1please is offline
#13
May14-12, 01:15 PM
P: 167
I'd rather not. I think that would complicate it.

Let's try this again. Look at what you have

[tex] (\partial + \Gamma)(\partial + \Gamma) = \partial \partial + \partial \Gamma + \Gamma \partial + \Gamma \Gamma [/tex]

I agree with this. Now, take a look at the RHS of this equation, the second term

[tex]\partial \Gamma[/tex]

This comes into play when you have calculated the first terms

[tex]\partial_{\nu}\partial_{\mu} - \partial_{\mu}\partial_{\nu}[/tex]

That cancels out anyway, so it is of no consequence. I'm interested on the second term on the RHS of your equation, again, it is

[tex]\partial \Gamma[/tex]

You get that from multiplying, I presume, the first partial in the first set of paranthesis with the last term in the next set of paranthesis, the Gamma. But Susskind is clearly doing something different, because after the first lot of terms vanish, he continues his multiplication but begins with the Gamma term in the first set of paranthesis and then he mutliplies that with the first partial in the next lot.

So effective what susskind is doing is

[tex]\Gamma_{\mu} \partial_{\nu}[/tex]

you do see this yes?

My question is why. I thought it would have been [tex]\partial_{\mu} \Gamma_{\nu}[/tex]

I can't explain this any more. Please read carefully, follow what I am saying and compare it with what susskind is doing.
help1please
help1please is offline
#14
May14-12, 01:19 PM
P: 167
Writing out my simple example,

[tex](a+b)(c+d) - (a'+b')(c'+d')[/tex]

Following what susskind is doing, he seems to be doing this:

[tex]ac - a'c' \cdot bc - a'd' \cdot bd - b'd'[/tex]
help1please
help1please is offline
#15
May14-12, 01:20 PM
P: 167
My problem lies therein with the bc-term straight after the

[tex]ac - a'c'[/tex]

(which cancels anyway. Not missing a part in case I am unclear)
clamtrox
clamtrox is offline
#16
May14-12, 01:31 PM
P: 937
As you know, summation is commutative, so it doesn't matter what order you write your sums in. A+B = B+A. Multiplication however, isn't. So AB != BA
clamtrox
clamtrox is offline
#17
May14-12, 01:33 PM
P: 937
Finally, I should say that I don't understand Susskinds notation, and I think you would be doing yourself a favour by doing the calculation properly
help1please
help1please is offline
#18
May14-12, 07:31 PM
P: 167
Quote Quote by clamtrox View Post
As you know, summation is commutative, so it doesn't matter what order you write your sums in. A+B = B+A. Multiplication however, isn't. So AB != BA
Oh I know that, I repeated some mu-nu indices which has caused a little confusion:

I'd rather not. I think that would complicate it.

Let's try this again. Look at what you have

[tex] (\partial + \Gamma)(\partial + \Gamma) = \partial \partial + \partial \Gamma + \Gamma \partial + \Gamma \Gamma [/tex]

I agree with this. Now, take a look at the RHS of this equation, the second term

[tex]\partial \Gamma[/tex]

This comes into play when you have calculated the first terms

[tex]\partial_{\nu}\partial_{\mu} - \partial_{\mu}\partial_{\nu}[/tex]

That cancels out anyway, so it is of no consequence. I'm interested on the second term on the RHS of your equation, again, it is

[tex]\partial \Gamma[/tex]

You get that from multiplying, I presume, the first partial in the first set of paranthesis with the last term in the next set of paranthesis, the Gamma. But Susskind is clearly doing something different, because after the first lot of terms vanish, he continues his multiplication but begins with the Gamma term in the first set of paranthesis and then he mutliplies that with the first partial in the next lot.

For a note:

[tex](\partial_{\nu} + \Gamma_{\nu})(\partial_{\mu} + \Gamma_{\mu}) - (\partial_{\mu} + \Gamma_{\mu})(\partial_{\nu} + \Gamma_{\nu})[/tex]

So effective what susskind is doing is

[tex]\Gamma_{\nu} \partial_{\mu}[/tex]

you do see this yes?

My question is why. I thought it would have been [tex]\partial_{\nu} \Gamma_{\mu}[/tex]

I can't explain this any more. Please read carefully, follow what I am saying and compare it with what susskind is doing.


Register to reply

Related Discussions
Riemann tensor, Ricci tensor of a 3 sphere Advanced Physics Homework 4
Easy way of calculating Riemann tensor? Advanced Physics Homework 0
Riemann Tensor General Physics 4
Riemann Curvature Tensor and working out independent components of a tensor generally Calculus & Beyond Homework 2
why Riemann tensor?... Special & General Relativity 10