Gauss - Bonnet Gravity -> Curvature variations

Click For Summary

Discussion Overview

The discussion revolves around the derivation of variations in a quadratic Lagrangian related to gravity, specifically focusing on the Gauss-Bonnet theorem and curvature variations. Participants are exploring the mathematical steps necessary to compute the equations of motion from the Lagrangian, which includes terms involving the Ricci tensor and Riemann tensor.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant presents a quadratic Lagrangian and seeks help in computing variations to derive equations of motion.
  • Another suggests using the Leibniz rule for deriving variations, indicating that it may lead to complex expressions involving Christoffel symbols.
  • There is a discussion about the correct form of variations for terms like \( R^2 \) and \( R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} \), with differing opinions on how to approach these calculations.
  • Some participants reference external resources, such as Wikipedia and scholarly articles, to aid in understanding the variations of curvature tensors.
  • Concerns are raised about boundary conditions and the implications of total derivatives in the context of the action integral.
  • One participant expresses uncertainty about whether certain terms should vanish due to the placement of indices, leading to further exploration of the mathematical properties of the tensors involved.
  • There are attempts to derive equations of motion based on assumptions about the vanishing of certain variations, but participants express doubt about the correctness of their calculations.
  • References to textbooks and other literature are made, indicating a search for foundational reasoning behind the use of the Gauss-Bonnet theorem in this context.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the correct approach to computing variations, with multiple competing views on how to handle specific terms and the implications of boundary conditions. The discussion remains unresolved regarding the correctness of derived equations of motion and the treatment of certain variations.

Contextual Notes

Participants express uncertainty about the assumptions made in their calculations, particularly concerning the vanishing of variations and the treatment of indices. There are unresolved mathematical steps that may affect the overall conclusions drawn from the discussion.

  • #31
again you talk about \delta \Gamma while I don't know it... o0)
In general it's good to bring \delta \Gamma in terms of \delta g in the last expression I gave in the previous page (with the factors of 2 you added) and take the \delta g out as a common factor...
Also get a factor from \sqrt{-g} although that's the easiest part in your Lagrangian, since it will come in complete analogy:
\delta_g S_1 = \int d^{4} x L \delta \sqrt{-g} = -\frac{1}{2}\int d^{4} x \sqrt{-g}L g_{\mu \nu} \delta g^{\mu \nu}

with L your Lagrangian..and so you don't have to care about it aver again...in your last overall Eom just add that term: -\frac{1}{2}\sqrt{-g}L g_{\mu \nu} \delta g^{\mu \nu}...
 
Physics news on Phys.org
  • #32
Ok I will (what ugly EoM :s).

So my last question about this: I do not understand the post #24 :P It would be possible that you are mixing the terms of the variation of square root of -g times L with the variation of L times square root of -g? Because the integral you write is for the latter, right? but you introduced it as the former.
 
  • #33
It's supposed to be ugly since it has so many higher order terms... and you have them all in your lagrangian (I wonder where did you find it).
Not that they don't exist (eg the Kretschmann scalar as I read has applications in quantum gravity), but the Lagrangian looks awful.

As for the post
ChrisVer said:
Also , since you work with variations it's better to work with the action, rather than the lagrangian. The action will be for this R_{abcd}R^{abcd} only term [Kretschmann scalar]:
S = \int d^4 x \sqrt{-g} R_{abcd}R^{abcd}

So when you vary it with respect to the metric, you will get an additional term from the variation of the \sqrt{-g} which will also exist in the equations of motion... I would try to bring it to a form:

\delta S = \int d^4 x [A]_{ij} \delta g^{ij}

And thus the EoM will be \frac{\delta S}{\delta g^{\mu \nu}}=A_{ij} \delta^{i}_\mu \delta^j_\nu=A_{\mu \nu}=0

with A given by the terms coming from the variation of the Kretschmann scalar and the square root of the determinant of the metric...

In your case you have addiitional terms coming from the Ricci scalar^2 and the "Ricci curvature^2"...

I just sketched the idea of working this out... you will have:
S= \int d^4 x \sqrt{-g} L
take variation wrt the metric field:
\delta _g S = \int d^4 x \sqrt{-g} \delta_g L + \int d^4 x L \delta_g \sqrt{-g}
you will somehow try (I don't know whether that is possible or not) to bring \delta_g L= A_{ij} \delta g^{ij}~~(1)
and similar for \delta_g \sqrt{-g} = B_{ij} \delta g^{ij}~~(2) so that:

\delta _g S = \int d^4 x A_{ij} \sqrt{-g} \delta g^{ij}+ \int d^4 x L B_{ij} \delta g^{ij}
or
\delta _g S = \int d^4 x (A \sqrt{-g}+BL)_{ij} \delta g^{ij}= \int d^4 x (C)_{ij} \delta g^{ij}
The EoM will be then C_{ij}=0 where you determine C by A,B which you determine by the variations (1),(2).

In case you have the covarant derivatives of the variations of the metric, you can bring them out using:
\nabla_\alpha ( A B)=A \nabla_\alpha B + (\nabla_\alpha A) B
 
Last edited:
  • #34
Ah! it is clear! I got lost because I expected to see the ##\sqrt{-g}## term explicitly out of ##A_{ij}## (in your last post ## B_{ij}##).

I found this in my gravitation course notes. I am studying a masters right now.

I can not express how much I appreciate your efforts and help, ChrisVer :)

Thank you very very much!
 
  • #35
well I have a script right now where I derive the EoM for
R_{abcd}R^{abcd} -term...
If you want I can send it to you...however there may be mistakes...
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
776
  • · Replies 49 ·
2
Replies
49
Views
3K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 30 ·
2
Replies
30
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K