The Variation of Christoffel Symbol

[rezkyputra]

Homework Statement

It is shown in Carrol, an Introduction to GR that the variatiom of Christoffel symbols are :

https://scontent-sin1-1.xx.fbcdn.net/v/t34.0-12/13535871_1161725257182772_897443562_n.jpg?oh=df1a6d26aa0b199d4684b5f0785bee20&oe=576ECCCA

But i have no idea how to derive that, any help would be greatly appreciated, thanks

 

[haushofer]

There are two ways: the clever way, and the straightforward way.

The clever way is to notice that the variation of Gamma is a tensor. Because

<br /> \Gamma^{\rho}_{\mu\nu} = g^{\rho\lambda} \Bigl(\partial_{(\mu} g_{\nu) \lambda} - \frac{1}{2} \partial_{\lambda}g_{\mu\nu} \Bigr) \ \ \ \ (1)<br />

you know that

<br /> \delta \Gamma^{\rho}_{\mu\nu} = g^{\rho\lambda} \Bigl(\partial_{(\mu} \delta g_{\nu) \lambda} - \frac{1}{2} \partial_{\lambda} \delta g_{\mu\nu} \Bigr) + \delta g^{\rho\lambda} \Bigl(\partial_{(\mu} g_{\nu) \lambda} - \frac{1}{2} \partial_{\lambda}g_{\mu\nu} \Bigr)<br />

which must be covariant, even though it doesn't look like that because of the partial derivatives! So you should be able to massage this term into an explicitly covariant expression, starting with writing the second term in terms of variations of the metric instead of its inverse. The only possibility (check for yourself! what else?) is an expression which makes the partial derivatives covariant ones:

<br /> \delta \Gamma^{\rho}_{\mu\nu} = g^{\rho\lambda} \Bigl(\nabla_{(\mu} \delta g_{\nu) \lambda} - \frac{1}{2} \nabla_{\lambda} \delta g_{\mu\nu} \Bigr)<br />

The second way is more straightforward and less clever: Do the variation and do the calculation explicitly, using the expression of the Christoffel symbol (1), and plough ahead.

I've written down the calculation in terms of $\delta g_{\mu\nu}$; you should be able to convert that to $\delta g^{\mu\nu}$ by using the inverse relations, i.e. varying

<br /> g^{\mu\nu}g_{\nu\rho} = \delta^{\mu}_{\rho}<br />

 

[haushofer]

Similar reasoning btw can be applied to variations of the Riemann tensor and Ricci tensor.

 

[demon]

Just a related question:
In the variation of the connection we have terms such as:
∇_λδg_μν
But, as far as I know, the variation and covariant derivative operators commute. Hence:
∇_λ(δg_μν )= δ(∇_λg_μν)
But the covariant derivatives of the metric are zero, so all these terms should be zero. I suspect there is a flaw in my reasoning, but I cannot put the finger on it. Any comments?
Thanks in advance.

 

[samalkhaiat]

the variation and covariant derivative operators commute.

No. The variation operator does not commute the covariant derivative. The variation symbol \delta is a linear derivation operator, i.e., it satisfies the following rules \delta (A + B) = \delta A + \delta B , \delta (AB) = (\delta A) B + A (\delta B) , and \delta (\partial A) = \partial (\delta A) . Using these rules, you can easily show that the following relation holds for any tensor field g_{\mu\nu} (x)
\nabla_{\lambda} \left( \delta g_{\mu\nu} \right) = \delta \left( \nabla_{\lambda}g_{\mu\nu}\right) + g_{\rho \nu} \ \delta \Gamma^{\rho}_{\mu\lambda} + g_{\mu\rho} \ \delta \Gamma^{\rho}_{\lambda\nu} .
If g_{\mu\nu} is the pseudo-Riemannian metric tensor, the above equation becomes
\nabla_{\lambda} \delta g_{\mu\nu} = g_{\rho \nu} \ \delta \Gamma^{\rho}_{\mu\lambda} + g_{\mu\rho} \ \delta \Gamma^{\rho}_{\lambda\nu} . \ \ \ \ \ \ (1)
Now, to solve this equation for \delta \Gamma, we use the (extremely useful) trick of Riemann: permute the indices and write three copies of eq(1), then add two of the equations and subtract the third one. This leads to
\nabla_{\mu} \delta g_{\nu \lambda} + \nabla_{\nu} \delta g_{\lambda \mu} - \nabla_{\lambda} \delta g_{\mu\nu} = 2 g_{\lambda \rho} \ \delta\Gamma^{\rho}_{\nu\mu} . Contracting both sides with g^{\sigma \lambda}, gives you the required answer
\delta \Gamma^{\sigma}_{\nu\mu} = \frac{1}{2}g^{\sigma \lambda} \left(\nabla_{\mu} \delta g_{\nu \lambda} + \nabla_{\nu} \delta g_{\lambda \mu} - \nabla_{\lambda} \delta g_{\mu\nu} \right) .

 

[demon]

Hi samalkhaiat, thank you very much for your contribution.

I fail to follow you on the derivation of:

∇_λ(δg_μν)=δ(∇_λg_μν)+g_ρν δΓ^ρ_μλ+g_μρ δΓ^ρ_λν

I'd be very grateful if you could show the intermediate steps.

I made a mistake asserting the the covariant derivative and the variation commute. This is true for the partial derivative and the variation though (see e.g. Hobson p529), as you also pointed it out in your post. But I still have a problem with ∇_λ(δg_μν), and hopefully you can help me with it. My reasoning is: the variation consists of taking an alternative path for the integration, where instead of g_μν we have g'_μν:

g_μν → g'_μν=g_μν+δg_μν ⇒ δg_μν = g'_μν - g_μν

If we take covariant derivatives of δg_μν:

∇_λ(δg_μν) = ∇_λ(g'_μν - g_μν) = ∇_λ(g'_μν) - ∇_λ(g_μν)

But the covariant derivative of the metric is zero, therefore ∇_λ(δg_μν) must be zero, mustn't it?

 

[samalkhaiat]

Hi samalkhaiat, thank you very much for your contribution... I'd be very grateful if you could show the intermediate steps.

From the definition \delta g_{\mu\nu} (x) \equiv \bar{g}_{\mu\nu}(x) - g_{\mu\nu}(x) \ , the following properties follow immediately:
\delta \left(f(x) + g(x) \right) = \left(\bar{f} + \bar{g}\right)(x) - \left( f + g\right)(x) = \delta f(x) + \delta g(x) \ , \ \ \ (1)
\delta \left(f(x) g(x)\right) = \bar{f}(x) \bar{g}(x) - f(x)g(x) \approx f (x) \ \delta g(x) + g(x) \ \delta f(x) \ , \ \ \ (2)
\delta \left( \partial g(x) \right) = \partial \bar{g}(x) - \partial g(x) = \partial \left( \bar{g} - g \right)(x) = \partial \left(\delta g(x)\right) \ , \ \ \ (3) and (more importantly) the object \delta g_{\mu\nu}(x) is a tensor (being the difference between two tensors at the same x). So, like any other tensor, you can calculate the covariant derivative of \delta g_{\mu\nu} from
\nabla_{\lambda} \delta g_{\mu\nu} = \partial_{\lambda} \delta g_{\mu\nu} - \Gamma^{\rho}_{\mu\lambda} \ \delta g_{\rho \nu} - \Gamma^{\rho}_{\lambda\nu} \ \delta g_{\mu\rho} \ , Now, on the RHS, apply property (3) to the first term, property (2) to the remaining (\Gamma \delta g)-terms, and finally use (1) to collect the terms with total variations:
\nabla_{\lambda} \delta g_{\mu\nu} = \delta \left( \partial_{\lambda}g_{\mu\nu} - \Gamma^{\rho}_{\mu\lambda}g_{\rho\nu} - \Gamma^{\rho}_{\lambda\nu}g_{\mu\rho} \right) + g_{\rho\nu} \ \delta\Gamma^{\rho}_{\mu\lambda} + g_{\mu\rho} \ \delta\Gamma^{\rho}_{\lambda\nu} \ . Now, the first term on the RHS is just \delta \left( \nabla_{\lambda} g_{\mu\nu}\right), and so you arrive at
\nabla_{\lambda} \left(\delta g_{\mu\nu}\right) = \delta \left( \nabla_{\lambda}g_{\mu\nu} \right) + g_{\rho\nu} \ \delta\Gamma^{\rho}_{\mu\lambda} + g_{\mu\rho} \ \delta\Gamma^{\rho}_{\lambda\nu} \ . \ \ \ \ \ (4)
Of course, nothing in the above derivation say that g_{\mu\nu} is the Riemann metric tensor. What we have shown is the fact that equation (4) holds for arbitrary rank-2 tensor.

If we take covariant derivatives of δg_μν:

∇_λ(δg_μν) = ∇_λ(g'_μν - g_μν) = ∇_λ(g'_μν) - ∇_λ(g_μν)

But the covariant derivative of the metric is zero, therefore ∇_λ(δg_μν) must be zero, mustn't it?

No. The metricity condition holds only for the unperturbed metric g_{\mu\nu}, i.e., \nabla g = 0 does not mean that \nabla \bar{g} = 0. In fact, small deformation of the Riemannian geometry means that \nabla g = 0 \ \Rightarrow \ \nabla (\bar{g} - \delta g) = 0 \ \Rightarrow \ \nabla \bar{g} = \nabla \delta g \ .

 

[demon]

Samalkhaiat,

Thank you very much for both explanations!

Best regards

 

[George Keeling]

@rezkyputra 's original equation seems to have got lost, I think it was Carroll's 4.64$$
{\delta\Gamma}_{\nu\mu}^\sigma=-\frac{1}{2}\left[g_{\lambda\mu}\nabla_\nu\left({\delta g}^{\lambda\sigma}\right)+g_{\lambda\nu}\nabla_\mu\left({\delta g}^{\lambda\sigma}\right)-g_{\mu\alpha}g_{\nu\beta}\nabla^\sigma\left({\delta g}^{\alpha\beta}\right)\right]
$$I got very confused about this especially when I was told on math.stackexchange that $\ \nabla_\nu\delta X=\delta\nabla_\nu X$ and nobody challenged my assertion that ${\delta g}^{\lambda\sigma}$ was not a tensor! What a dreadful place. Thank heavens for Physics Forums, the wonderful advisors and good questions .

As @haushofer suggests it is quite easy to get from his/her$$
{\delta\Gamma}_{\nu\mu}^\sigma=g^{\sigma\lambda}\left(\nabla_{(\mu}{\delta g}_{\lambda)\nu}-\frac{1}{2}\nabla_\lambda{\delta g}_{\nu\mu}\right)
$$to the expression in terms of ${\delta g}^{\lambda\sigma}$.