Problem: perturbation of Ricci tensor

  • #1
27
0
I am trying to calculate the Ricci tensor in terms of small perturbation hμν over arbitrary background metric gμν whit the restriction
[tex]\left| \dfrac{h_{\mu\nu}}{g_{\mu\nu}} \right| << 1[/tex]

Following Michele Maggiore Gravitational Waves vol 1 I correctly expressed the Chirstoffel symbol in terms of the perturbation (equation 1.205)
[tex] \tilde\Gamma^\alpha_{\mu\nu} = \Gamma^\alpha_{\mu\nu} + \dfrac{1}{2}(\nabla_\mu h_\nu^\alpha + \nabla_\nu h_\mu^\alpha - \nabla^\alpha h_{\mu\nu})[/tex]

After that I correctly obtain the perturbed Rieman tensor
[tex] \tilde R^\alpha_{\beta\mu\nu} = \partial_\mu \tilde \Gamma^\alpha_{\beta\nu} - \partial_\nu \tilde \Gamma^\alpha_{\beta\mu} + \tilde \Gamma^\alpha_{\tau\mu} \tilde \Gamma^\tau_{\beta\nu} - \tilde \Gamma^\alpha_{\tau\nu} \tilde \Gamma^\tau_{\beta\mu} = R^\alpha_{\beta\mu\nu} + \underbrace{R^{(1)} + R^{(2)}}_{\delta R} [/tex]

Where the first part of the remaining terms is in agreement with equation 1.206
[tex] 2R^{(1)} = \nabla_\mu \nabla_\beta h^\alpha_\nu + \nabla_\nu \nabla^\alpha h_{\beta\mu} - \nabla_\nu \nabla_\beta h^\alpha_\mu - \nabla_\mu \nabla^\alpha h_{\beta\nu} [/tex]

But the second is problematic, my expression:
[tex] 2R^{(2)} =( \nabla_\mu \nabla_\nu - \nabla_\nu \nabla_\mu ) h^\alpha_\beta = R^\alpha_{\tau\mu\nu} h^\tau_\beta - R^\tau_{\beta\mu\nu} h^\alpha_\tau [/tex]

Maggiore expression, which I suppose has a typo
[tex] 2R^{(2)} = h^{\alpha\tau} R_{\tau\beta\mu\nu} + h_{\beta}^\tau R^\alpha_{\tau\mu\nu} [/tex]

After getting the contracted Rieman tensor to obtain Ricci tensor
[tex] \tilde R_{\beta\nu} = \tilde g^{\alpha\mu} \tilde R_{\alpha\beta\mu\nu} = ( g^{\alpha\mu} - h^{\alpha\mu} )( R_{\alpha\beta\mu\nu} + \delta R) = g^{\alpha\mu}\delta R - h^{\alpha\mu}R_{\alpha\beta\mu\nu} [/tex]

Then here are is the first part of the remaining terms
[tex] 2g^{\alpha\mu}R^{(1)} = \nabla_\mu \nabla_\beta h^{\mu}_\nu + \underbrace{\nabla_\nu \nabla_\mu h^{\mu}_{\beta}}_{-R_{\tau\nu}h^\tau_\beta + R_{\tau\beta\mu\nu}h^{\mu\tau} + \nabla_\mu\nabla_\nu h^\mu_\beta} - \nabla_\nu \nabla_\beta h^\mu_\mu - \nabla^\mu \nabla_\mu h_{\beta\nu} [/tex]

and the second part of the remaining terms, my expression
[tex] 2g^{\alpha\mu}R^{(2)} = R_{\tau\nu}h^{\tau}_{\beta} - R_{\tau\beta\mu\nu}h^{\mu\tau} [/tex]

Maggiore expression
[tex] 2g^{\alpha\mu}R^{(2)} = R_{\tau\beta\mu\nu}h^{\tau\mu} + R_{\tau\nu}h^{\tau}_\beta [/tex]

Now taking into account the underbrace rewriting of ∇νμ hμβ in R(1) and focus only on the terms containing hR in δR it follows

using my expressions
[tex] 2g^{\alpha\mu}R^{(2)} = R_{\tau\nu}h^{\tau}_{\beta} - R_{\tau\beta\mu\nu}h^{\mu\tau} -R_{\tau\nu}h^\tau_\beta + R_{\tau\beta\mu\nu}h^{\mu\tau} = 0 [/tex]
thus I am left with one contraction between the perturbation and background Rieman tensor
[tex] \tilde R_{\beta\nu} = R_{\beta\nu} + R^{(1)} - h^{\alpha\mu}R_{\alpha\beta\mu\nu} [/tex]

but using Maggiore expression
[tex] 2g^{\alpha\mu}R^{(2)} = R_{\tau\beta\mu\nu}h^{\tau\mu} + R_{\tau\nu}h^{\tau}_\beta -R_{\tau\nu}h^\tau_\beta + R_{\tau\beta\mu\nu}h^{\mu\tau} = 2R_{\tau\beta\mu\nu}h^{\tau\mu} [/tex]
thus
[tex] \tilde R_{\beta\nu} = R_{\beta\nu} + R^{(1)} [/tex]

Which suggests that there is no typo... or some other way to rewrite my expression... I tried the first Bianchi identity but with no success...

I am totally stumped on this for the past week and any help will be appreciated.
 

Answers and Replies

  • #2
27
0
Here I will post detailed calculations, also will reorganize the post as a whole since as I see it now, it is very chaotic.

For the rest of the post I am working with torsion free connection, and thus my Christoffel symbols will be defined as
[tex] \Gamma^\sigma_{\mu\nu} = \dfrac{1}{2} g^{\sigma\tau}\left( \partial_\mu g_{\nu\tau} + \partial_\nu g_{\mu\tau} - \partial_\tau g_{\mu\nu} \right) [/tex]

I want to expand the Riman tensor, Ricci tensor and Ricci scalar up to linear terms of small perturbation hμν around background metric gμν
[tex] \underbrace{\tilde g_{\mu\nu}}_{\tilde a \text{ above marks physical spacetime}} = g_{\mu\nu} + h_{\mu\nu}, \left| \dfrac{h_{\mu\nu}}{g_{\mu\nu}} \right| << 1[/tex]

In the calculations below, because of the symmetry of the Christoffel, it is easy to check that all uninteresting terms involving them are vanishing. Thus for simplicity I am presuming a frame where Christoffel is vanishing, but keeping in mind that its derivatives are not! Thus
[tex] \Gamma^\sigma_{\mu\nu} = 0, \text{ but } \partial_\tau \Gamma^\sigma_{\mu\nu} \neq 0 [/tex]

Now using the definition of the Christoffel symmbol we can write it down up to linear terms of the small perturbation
[tex]
\tilde\Gamma^\alpha_{\mu\nu} = \Gamma^\alpha_{\mu\nu} + \dfrac{1}{2}\underbrace{(\nabla_\mu h_\nu^\alpha + \nabla_\nu h_\mu^\alpha - \nabla^\alpha h_{\mu\nu})}_{T_{\mu\nu}^\alpha} [/tex]

Now lets calculate the Rimena tensor using its definition
[tex] \tilde R^\alpha_{\beta\mu\nu} = \partial_\mu \Gamma^\alpha_{\beta\nu} - \partial_\nu \Gamma^\alpha_{\beta\mu} = R^\alpha_{\beta\mu\nu} + \partial_\mu T_{\beta\nu}^\alpha - \partial_\nu T_{\beta\mu}^\alpha [/tex]

Since we are working in a frame of vanishing Christoffel symbols
[tex] \partial_\mu \rightarrow \nabla_\mu \Longrightarrow \partial_\mu T_{\beta\nu}^\alpha - \partial_\nu T_{\beta\mu}^\alpha = \\
= \nabla_\mu\nabla_\beta h^\alpha_\nu + \nabla_\mu\nabla_\nu h^\alpha_\beta - \nabla_\mu\nabla^\alpha h_{\beta\nu}
- ( \nabla_\nu\nabla_\beta h^\alpha_\mu + \nabla_\nu\nabla_\mu h^\alpha_\beta - \nabla_\nu\nabla^\alpha h_{\beta\mu} ) = \\
= \nabla_\mu\nabla_\beta h^\alpha_\nu + \nabla_\nu\nabla^\alpha h_{\beta\mu}
- \nabla_\mu\nabla^\alpha h_{\beta\nu} - \nabla_\nu\nabla_\beta h^\alpha_\mu
+ \nabla_\mu\nabla_\nu h^\alpha_\beta - \nabla_\nu\nabla_\mu h^\alpha_\beta
[/tex]

Lets focus on the last two terms, by keeping in mind that the Γ vanish, their derivitives not!:
[tex] \nabla_\mu\nabla_\nu h^\alpha_\beta - \nabla_\nu\nabla_\mu h^\alpha_\beta = \\
= ( \partial_\mu\Gamma^\alpha_{\nu\tau} - \partial_\nu\Gamma^\alpha_{\mu\tau} )h^\tau_\beta - (\partial_\mu \Gamma^\tau_{\nu\beta} - \partial_{\nu} \Gamma^\tau_{\mu\beta} )h^\alpha_\tau = R^\alpha_{\tau\mu\nu} h^\tau_\beta - R^\tau_{\beta\mu\nu} h^\alpha_\tau
[/tex]

When we contract to obtain the Ricci tensor
[tex]
\tilde R_{\beta\nu} = \tilde g^{\alpha\mu} \tilde R_{\alpha\beta\mu\nu} = ( g^{\alpha\mu} - h^{\alpha\mu} )( R_{\alpha\beta\mu\nu} + \delta R) = \\
= R_{\beta\nu} + \\
+ \dfrac{1}{2}\left(
\nabla_\mu\nabla_\beta h^\mu_\nu + \underbrace{\nabla_\nu\nabla^\mu h_{\beta\mu}}_{A}
- \nabla_\mu\nabla^\mu h_{\beta\nu} - \nabla_\nu\nabla_\beta h^\mu_\mu
+ R^\mu_{\tau\mu\nu} h^\tau_\beta - R^\tau_{\beta\mu\nu} h^\mu_\tau
\right) - h^{\alpha\mu}R_{\alpha\beta\mu\nu}
[/tex]

term A expressed in Riman tensor terms
[tex]
\nabla_\nu \nabla^\mu h_{\mu\beta} = \nabla_\nu \nabla_\mu h^\mu_\beta = R^\mu_{\tau\nu\mu}h^\tau_\beta - R^\tau_{\beta\nu\mu}h^\mu_\tau + \nabla_\mu\nabla_\nu h^\mu_\beta = - R^\mu_{\tau\mu\nu}h^\tau_\beta + R^\tau_{\beta\mu\nu}h^\mu_\tau + \nabla_\mu\nabla_\nu h^\mu_\beta
[/tex]

Thus pluging it back in we end up with
[tex]
\tilde R_{\beta\nu} = R_{\beta\nu} + \dfrac{1}{2}\left(
\nabla_\mu\nabla_\beta h^\mu_\nu + \nabla_\mu\nabla_\nu h^\mu_\beta
- \nabla_\mu\nabla^\mu h_{\beta\nu} - \nabla_\nu\nabla_\beta h^\mu_\mu
\right) - h^{\alpha\mu}R_{\alpha\beta\mu\nu}
[/tex]

Thus ending with extra contraction between the perturbation and background Riman tensor...

I found expression for linearized Ricci tensor in Michele Maggiore Gravitational Waves vol 1 (eq 1.207) and Yvonne Choquet-Bruhat Introduction to General Relativity Black Holes Cosmology (eq. I.11.5)
The expression in both books are the same and are lacking the contracted with perturbation term(-hR).

From Maggiore, whos expression for the Rieman tensor is given in eq 1.206, his and my expression differ in the covariant commutator of hαβ, his expression is
[tex]
\nabla_\mu\nabla_\nu - \nabla_\nu\nabla_\mu h^\alpha_\beta = h^\alpha_\tau R^{\tau}_{\beta\mu\nu} + h^\tau_\beta R^\alpha_{\tau\mu\nu}
[/tex]

which when contracted with the background metric and summed with term A it yields:
[tex] 2h^{\alpha\mu} R_{\alpha\beta\mu\nu} [/tex]
Which, taking into account the negative one half in front of the brackets is my extra term with positive sign...

EDIT:
Posted it before finishing the whole post.
Spellcheck.
 
Last edited:
  • #3
27
0
SOLUTION:

I should have been more careful with the indices juggling, keeping track in which spacetime I am working and definitions.

The definition of Rieman tensor comes from the commutator of two covariant derivatives acting on vector field
[tex] \left[ \nabla_{\mu}, \nabla_{\nu} \right] V^\alpha = R^{\alpha}_{\beta\mu\nu} V^\beta [/tex]
 
  • #4
27
0
R_SOLUTION:

I should have been more careful with the indices juggling, keeping track in which spacetime I am working and definitions.

The definition of Rieman tensor comes from the commutator of two covariant derivatives acting on vector field
[tex] \left[ \nabla_{\mu}, \nabla_{\nu} \right] V^\alpha = R^{\alpha}_{\beta\mu\nu} V^\beta [/tex]

And thus is a shorthand of writing the derivatives and contractions between the resulting Γ

This means that to lower the leading α index
[tex] R_{\alpha^\prime\beta\mu\nu} = g_{\alpha^\prime \alpha} R^{\alpha}_{\beta\mu\nu} [/tex]

This lead me to think that I can just rise/lower or replace an index in the Rieman tensor, without doing the extra work of writing it down with the metric, and this was my mistake, since

[tex]
\tilde R_{\sigma\beta\mu\nu} = \tilde g_{\sigma\alpha} \tilde R^{\alpha}_{\beta\mu\nu} = (g_{\sigma\alpha} + h_{\sigma\alpha})(
R^\alpha_{\beta\mu\nu} + \partial_\mu T_{\beta\nu}^\alpha - \partial_\nu T_{\beta\mu}^\alpha ) = R_{\sigma\beta\mu\nu} + g_{\sigma\alpha}\left( \partial_\mu T_{\beta\nu}^\alpha - \partial_\nu T_{\beta\mu}^\alpha \right) + \underbrace{h_{\sigma\alpha}R^\alpha_{\beta\mu\nu}}_{\text{which is the term I have been missing}}
[/tex]
 

Related Threads on Problem: perturbation of Ricci tensor

Replies
1
Views
3K
  • Last Post
Replies
16
Views
5K
  • Last Post
Replies
7
Views
10K
  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
4
Views
3K
Replies
4
Views
5K
Replies
3
Views
2K
Replies
4
Views
3K
Replies
0
Views
3K
Replies
3
Views
2K
Top