The Variation of Christoffel Symbol

  • Thread starter rezkyputra
  • Start date
  • #1

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
 
  • Like
Likes JD_PM and George Keeling

Answers and Replies

  • #2
haushofer
Science Advisor
Insights Author
2,479
865
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

[tex]
\Gamma^{\rho}_{\mu\nu} = g^{\rho\lambda} \Bigl(\partial_{(\mu} g_{\nu) \lambda} - \frac{1}{2} \partial_{\lambda}g_{\mu\nu} \Bigr) \ \ \ \ (1)
[/tex]

you know that

[tex]
\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)
[/tex]

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:

[tex]
\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)
[/tex]

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

[tex]
g^{\mu\nu}g_{\nu\rho} = \delta^{\mu}_{\rho}
[/tex]
 
Last edited:
  • Like
  • Love
Likes phywithAK and George Keeling
  • #3
haushofer
Science Advisor
Insights Author
2,479
865
Similar reasoning btw can be applied to variations of the Riemann tensor and Ricci tensor.
 
  • #4
12
4
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.
 
  • #5
samalkhaiat
Science Advisor
Insights Author
1,721
1,003
the variation and covariant derivative operators commute.
No. The variation operator does not commute the covariant derivative. The variation symbol [itex]\delta[/itex] is a linear derivation operator, i.e., it satisfies the following rules [tex]\delta (A + B) = \delta A + \delta B ,[/tex] [tex]\delta (AB) = (\delta A) B + A (\delta B) ,[/tex] and [tex]\delta (\partial A) = \partial (\delta A) .[/tex] Using these rules, you can easily show that the following relation holds for any tensor field [itex]g_{\mu\nu} (x)[/itex]
[tex]\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} .[/tex]
If [itex]g_{\mu\nu}[/itex] is the pseudo-Riemannian metric tensor, the above equation becomes
[tex]\nabla_{\lambda} \delta g_{\mu\nu} = g_{\rho \nu} \ \delta \Gamma^{\rho}_{\mu\lambda} + g_{\mu\rho} \ \delta \Gamma^{\rho}_{\lambda\nu} . \ \ \ \ \ \ (1)[/tex]
Now, to solve this equation for [itex]\delta \Gamma[/itex], 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
[tex]\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} .[/tex] Contracting both sides with [itex]g^{\sigma \lambda}[/itex], gives you the required answer
[tex]\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) .[/tex]
 
Last edited:
  • Like
  • Love
Likes phywithAK and George Keeling
  • #6
12
4
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?
 
Last edited:
  • #7
samalkhaiat
Science Advisor
Insights Author
1,721
1,003
Hi samalkhaiat, thank you very much for your contribution...... I'd be very grateful if you could show the intermediate steps.
From the definition [tex]\delta g_{\mu\nu} (x) \equiv \bar{g}_{\mu\nu}(x) - g_{\mu\nu}(x) \ ,[/tex] the following properties follow immediately:
[tex]\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)[/tex]
[tex]\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)[/tex]
[tex]\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)[/tex] and (more importantly) the object [itex]\delta g_{\mu\nu}(x)[/itex] is a tensor (being the difference between two tensors at the same [itex]x[/itex]). So, like any other tensor, you can calculate the covariant derivative of [itex]\delta g_{\mu\nu}[/itex] from
[tex]\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} \ ,[/tex] Now, on the RHS, apply property (3) to the first term, property (2) to the remaining [itex](\Gamma \delta g)[/itex]-terms, and finally use (1) to collect the terms with total variations:
[tex]\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} \ .[/tex] Now, the first term on the RHS is just [itex]\delta \left( \nabla_{\lambda} g_{\mu\nu}\right)[/itex], and so you arrive at
[tex]\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)[/tex]
Of course, nothing in the above derivation say that [itex]g_{\mu\nu}[/itex] 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 [itex]g_{\mu\nu}[/itex], i.e., [itex]\nabla g = 0[/itex] does not mean that [itex]\nabla \bar{g} = 0[/itex]. In fact, small deformation of the Riemannian geometry means that [tex]\nabla g = 0 \ \Rightarrow \ \nabla (\bar{g} - \delta g) = 0 \ \Rightarrow \ \nabla \bar{g} = \nabla \delta g \ .[/tex]
 
  • Like
Likes phywithAK and demon
  • #8
12
4
Samalkhaiat,

Thank you very much for both explanations!

Best regards
 
Last edited:
  • #9
George Keeling
Gold Member
123
22
@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 :smile: .

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}##.
 

Related Threads on The Variation of Christoffel Symbol

Replies
9
Views
3K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
0
Views
1K
  • Last Post
4
Replies
87
Views
10K
Replies
3
Views
4K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
18
Views
5K
  • Last Post
Replies
12
Views
10K
  • Last Post
Replies
1
Views
838
Top