- #1
TerryW
Gold Member
- 191
- 13
This is a continuation of an original thread first posted by me on May 11th 2010. Altabeh has been very kindly trying to guide me towards a resolution.
I started the thread when I realized that in producing an answer to (i) of Problem 11.7 in D'inverno, I had ignored the term
[tex]\mathfrak{g}^{ab} \delta R_{ab}[/tex]
This produced an extra term in the result for [tex]\delta \mathfrak{L}_G[/tex] but Altabeh has pointed out that
[tex]\frac{\delta R_{ab}}{\delta \mathfrak{g}^{ab}} \mathfrak{g}^{ab} = 0 [/tex]
I kind of understand what Altabeh said about why this is the case but I'd be happier if I could see a rigorous mathematical proof.
My next problem was with the answer to part (ii) and on looking through all the posts, I still have a problem with this.
We worked through and have got as far as proving:
[tex]\delta \mathfrak{g}^{ab} R_{ab} = - \delta \mathfrak{g}_{ab} R^{ab} +2 \delta \sqrt{-g} R[/tex]
Now in Altabeh's post dated May 17, he shows that:
[tex]\delta \sqrt{-g} = \frac{1}{6} g^{ab}\delta \mathfrak{g}_{ab}[/tex]
which leads me to:
[tex]\frac{\mathfrak L_G}{\delta \mathfrak{g}_{ab}} = - R^{ab} + \frac{1}{3} g^{ab} R[/tex]
for 11.7 (ii)
I understand the process which D'Inverno uses to reduce equation (11.33) to equation (11.34) but I still do not really understand why, for example,
[tex]\frac{\delta R_{ab}}{\delta g^{ab}}[/tex] is not part of the answer to 11.7 (iii) as it isn't part of an integral expression.
I started the thread when I realized that in producing an answer to (i) of Problem 11.7 in D'inverno, I had ignored the term
[tex]\mathfrak{g}^{ab} \delta R_{ab}[/tex]
This produced an extra term in the result for [tex]\delta \mathfrak{L}_G[/tex] but Altabeh has pointed out that
[tex]\frac{\delta R_{ab}}{\delta \mathfrak{g}^{ab}} \mathfrak{g}^{ab} = 0 [/tex]
I kind of understand what Altabeh said about why this is the case but I'd be happier if I could see a rigorous mathematical proof.
My next problem was with the answer to part (ii) and on looking through all the posts, I still have a problem with this.
We worked through and have got as far as proving:
[tex]\delta \mathfrak{g}^{ab} R_{ab} = - \delta \mathfrak{g}_{ab} R^{ab} +2 \delta \sqrt{-g} R[/tex]
Now in Altabeh's post dated May 17, he shows that:
[tex]\delta \sqrt{-g} = \frac{1}{6} g^{ab}\delta \mathfrak{g}_{ab}[/tex]
which leads me to:
[tex]\frac{\mathfrak L_G}{\delta \mathfrak{g}_{ab}} = - R^{ab} + \frac{1}{3} g^{ab} R[/tex]
for 11.7 (ii)
I understand the process which D'Inverno uses to reduce equation (11.33) to equation (11.34) but I still do not really understand why, for example,
[tex]\frac{\delta R_{ab}}{\delta g^{ab}}[/tex] is not part of the answer to 11.7 (iii) as it isn't part of an integral expression.
Last edited: