I've been trying to prove this equation: $$ \delta G_{\alpha\beta}=-\frac{1}{2}\left(\square\bar{h}_{\alpha\beta}+2R{}_{\gamma\alpha\delta\beta}\bar{h}^{\gamma\delta}\right)+\frac{1}{2}\left(\bar{h}_{\alpha;\gamma\beta}^{\gamma}+\bar{h}_{\beta;\gamma\alpha}^{\gamma}-g_{\alpha\beta}\bar{h}^{\rho\delta}{}_{;\rho\delta}\right), $$

for the first order Einstein tensor, where $\bar{h}_{\alpha\beta}:=h_{\alpha\beta}-\frac{1}{2}g_{\alpha\beta}\left[g_{\gamma\delta}h^{\gamma\delta}\right]$. I've tried it a dozen times and always get this expression:

$$ \delta G_{\alpha\beta}=-\frac{1}{2}\left(\square\bar{h}_{\alpha\beta}-2R{}_{\gamma\alpha\delta\beta}\bar{h}^{\gamma\delta}\right)+\frac{1}{2}\left(\bar{h}_{\alpha;\gamma\beta}^{\gamma}+\bar{h}_{\beta;\gamma\alpha}^{\gamma}-g_{\alpha\beta}\bar{h}^{\rho\delta}{}_{;\rho\delta}\right). $$

Can anyone prove the right expression from:

$$ \delta G{}_{\alpha\beta}=\frac{1}{2}\left(-h_{\gamma;\beta\alpha}^{\gamma}+h_{\beta;\alpha\gamma}^{\gamma}+h_{\alpha;\beta\gamma}^{\gamma}-h_{\alpha\beta}{}^{;\gamma}{}_{;\gamma}\right)-\frac{1}{4}g{}_{\alpha\beta}\left[g{}^{\gamma\delta}\left(-h_{\rho;\delta\gamma}^{\rho}+h_{\delta;\gamma\rho}^{\rho}+h_{\gamma;\delta\rho}^{\rho}-h_{\delta\gamma}{}^{;\rho}{}_{;\rho}\right)\right]. $$

  • $\begingroup$ I don't see the difference between what you're trying to prove and what you're getting... did you accidentally put the same thing twice by any chance? $\endgroup$
    – David Z
    Oct 24 '12 at 23:51
  • $\begingroup$ There's a minus sign in the first parentheses that is different. Sorry, at first glance it's difficult to spot, I should have stated it more clearly. $\endgroup$
    – PML
    Oct 24 '12 at 23:57

I won't do it with the messy formulas, because this is not the right way to check signs.

There is a right way to check signs--- by examples. Then you know for sure what the term means. The term whose sign you don't know is the only term without a derivative. So if you make a perturbation to g which is constant in the coordinate system you are using, it will be the only term.

The quickest way to check is to start in Riemann normal coordinates in the neighborhood of a single point. This is very useful for every local calculation--- it's a freefalling frame with the best possible conventional local form for the bending of the coordinate axes. In such a frame the metric near a point gives a simple and canonical expression for the curvature,

$$ g = \delta_{\mu\nu} + {1\over 6} R_{\mu\alpha\nu\beta} x^\alpha x^\beta $$

Now you can add a constant perturbation to g, say in the diagonal component:

$$ g_{\mu\nu} = \delta_{\mu\nu} + h_{\mu\nu} - {1\over 6} R_{\mu\alpha\nu\beta} x^\alpha x^\beta$$

Were $h_\mu\nu$ is a diagonal perturbation, which can be reconverted back to Riemann normal coordinates by rescaling each x by the corresponding factor of $(1+h/2)$, and this has the effect of multiplying R by (1-h) for each x it contracts. The first order change in R and then in G is with a minus sign, as you said it should be.

But I am sure you didn't really screw up. The two obvious places where a sign difference can creep in between your calculation in your conventions and your source:

  • A different convention for h: $g' = g+h$ or $g= g'+h$. Both look natural.
  • a different order convention for the index order of the Riemann tensor, or its overall sign (there are good conventions for both).

I am sure that your disagreement is due to one of the two points above. What is most important for the sign issue is having enough quick checks (like Riemann normal coordinates, an explicit sphere metric, AdS metric, 2d metrics, etc) and only then will you stop getting confused over signs.

  • $\begingroup$ I've thought about the two conventions that you mentioned and really considered that I was using a different convention for the definition of the Riemann tensor, it's just that it's so unnatural, nowadays, that I thought that the sources that I used wouldn't be using the different sign convention and it was me that was messing up. Thank you for your help, really, it was getting really frustrating. $\endgroup$
    – PML
    Oct 25 '12 at 9:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.