Landau Lifshitz Gravitational field equation

In summary, the discussion is about the derivation of Einstein's field equations and the definition of the gravitational field action ##S_g##. The key points of confusion are the nature of the quantity ##G## on the right-hand side of the equation, and whether it is a scalar or not. It is argued that ##G## is a scalar, but the author suggests that it is not a Lorentz invariant scalar. In the end, it is concluded that ##G## may not be a scalar, as it can be made to vanish by a simple choice of coordinates. The Ricci scalar ##R## is identified as a scalar due to the derivatives of the Christoffel symbols contained in it. Another question is raised about the tensor nature
  • #1
Mr-R
123
23
Book: Landau Lifshitz, The Classical Theorey of Fields, chapter 11, section 95.

I have gone through the derivation of Einstein field equations but not without holes to fill and fix in my understanding. Let's start with the action for the grtavitational field ##S_g## which after some explanation they defined it as: $$\int R\sqrt{-g}d\Omega= \int G\sqrt{-g}d\Omega+\int \frac{\partial (\sqrt{-g}w^i)}{\partial x^i}d\Omega$$
Where as it is explained in the book, ##R## is the Ricci scalar. On the RHS, ##G## contains the metric tensor and its first derivative. The second term on the RHS has the form of the divergence of some function ##w^i## and by Gauss' theorem and the variational principle, it vanishes at the limits (Over all space-time coordinates) of the region of integration.
Amid varying we get :
$$\delta \int \sqrt{-g}Rd\Omega=\delta \int \sqrt{-g}Gd\Omega$$
Now they note that the quantity on the LHS is a scalar and therefore the RHS is also a scalar. But "G itslef is not a scalar". This confuses me because the last equality has the same form, which to me makes ##G## looks like a scalar when compared to the LHS (##R##). Does the very first (unvaried) equality show that ##G## is not a scalar? And ##G## does not have any indices. Doesn't that make it a scalar?
That's it for now. Thanks in advance.
 
Physics news on Phys.org
  • #2
I'm not familiar with L&L's derivation and notation, but as it stands I'd say your G is indeed a scalar. But which one is not clear to me, as I cannot think of a scalar quantity contain only up to first derivatives of the metric. So I guess there's your confusion.
 
  • #3
Mr-R said:
This confuses me because the last equality has the same form, which to me makes ##G## looks like a scalar when compared to the LHS (##R##). Does the very first (unvaried) equality show that ##G## is not a scalar? And ##G## does not have any indices. Doesn't that make it a scalar?
That's it for now. Thanks in advance.
Your first equation tells you that G is not a scalar. And your second equation says that [itex]\delta \left(\int d^{4}x \ \sqrt{-g} \ G \right)[/itex] is a scalar. In special relativity you have something "similar":
[tex]\int dS_{\mu} \ J^{\mu}(x) = \int d^{3}x \ J^{0}(x) .[/tex]
The LHS and RHS are both Lorentz scalars, while [itex]J^{0}(x)[/itex] is obviously not a scalar.
 
  • Like
Likes Mr-R
  • #4
Isn't the divergence term also a scalar? Why would G not be a scalar then?
 
  • #5
haushofer said:
I'm not familiar with L&L's derivation and notation, but as it stands I'd say your G is indeed a scalar. But which one is not clear to me, as I cannot think of a scalar quantity contain only up to first derivatives of the metric. So I guess there's your confusion.

##G## was calculated to and found to be ##G=g^{ik}( \Gamma^m_{il}\Gamma^l_{km}-\Gamma^l_{ik}\Gamma^m_{lm})##. Isn't this a scalar??

samalkhaiat said:
Your first equation tells you that G is not a scalar. And your second equation says that [itex]\delta \left(\int d^{4}x \ \sqrt{-g} \ G \right)[/itex] is a scalar. In special relativity you have something "similar":
[tex]\int dS_{\mu} \ J^{\mu}(x) = \int d^{3}x \ J^{0}(x) .[/tex]
The LHS and RHS are both Lorentz scalars, while [itex]J^{0}(x)[/itex] is obviously not a scalar.
Your explanation makes sense. But I can't relate it to my question. Please refer to the form of ##G## I provided above.
 
  • #6
haushoer, that's what I am saying. Maybe the author means it's not a Lorentz invariant scalar? I doubt it though.
 
  • #7
Mr-R said:
##G## was calculated to and found to be ##G=g^{ik}( \Gamma^m_{il}\Gamma^l_{km}-\Gamma^l_{ik}\Gamma^m_{lm})##. Isn't this a scalar??
No. It is not a scalar because one can always choose a coordinate system in which [itex]g^{\mu\nu} = \eta^{\mu\nu}[/itex] and [itex]\Gamma^{\rho}_{\sigma \tau} = 0[/itex] at any point. So, [itex]G[/itex] can be made to vanish by simple choice of coordinates. But scalar, vector and higher rank tensor that vanish in one particular coordinate system, they vanish in any coordinate system. So, [itex]G[/itex] can not be a scalar. You also have the choice to prove that fact by brute force.
Your explanation makes sense. But I can't relate it to my question.
A scalar can be obtained by integrating a non-scalar quantity.
 
  • Like
Likes Mr-R
  • #8
samalkhaiat said:
No. It is not a scalar because one can always choose a coordinate system in which [itex]g^{\mu\nu} = \eta^{\mu\nu}[/itex] and [itex]\Gamma^{\rho}_{\sigma \tau} = 0[/itex] at any point. So, [itex]G[/itex] can be made to vanish by simple choice of coordinates. But scalar, vector and higher rank tensor that vanish in one particular coordinate system, they vanish in any coordinate system. So, [itex]G[/itex] can not be a scalar. You also have the choice to prove that fact by brute force.
Thanks to you, I think that I understand now,. The Ricci scalar ##R=g_{ik}R^{ik}## is a scalar because even if we chose an inertial frame it might not vanish due to the derivatives of Christoffel symbols contained in ##R##, ##\partial \Gamma##. Which means ##R\propto \partial^2g##. So even a flat coordinate system could have a non vanishing second derivative of the metric tensor. Is this correct?
I think my problem was naively thinking that a zero rank tensor is automatically regarded as a scalar.
Another question: Can one tell if ##G##(as defined above) is a tensor just from "looking" at it? Or does one has to perform a coordinate transformation and see if it transforms like a tensor?
 
  • #9
Mr-R said:
Thanks to you, I think that I understand now,. The Ricci scalar ##R=g_{ik}R^{ik}## is a scalar because even if we chose an inertial frame it might not vanish due to the derivatives of Christoffel symbols contained in ##R##, ##\partial \Gamma##. Which means ##R\propto \partial^2g##. So even a flat coordinate system could have a non vanishing second derivative of the metric tensor. Is this correct?
I think my problem was naively thinking that a zero rank tensor is automatically regarded as a scalar.
Another question: Can one tell if ##G##(as defined above) is a tensor just from "looking" at it? Or does one has to perform a coordinate transformation and see if it transforms like a tensor?
Ah, I see now. To answer your last question: no, one needs to perform an explicit coordinate transformation because the expression involves non-tensorial quantities: the connection. Contracting all the indices does not automatically make a quantity a scalar under gct's! Your G turns out NOT to be a scalar, which is not surprising, because whenever connections show up outside the Riemann tensor, you should be alerted. Actually, you should explicitly check for yourself that G is not a scalar by simply performing a gct on it!

Your form of the action is discussed by Zee, chapter VI.5 appendix 7. You take the Einstein-Hilbert action and integrate by parts the derivatives on the connection. These terms on their own are not tensorial, and hence if you throw away boundary terms you end up with a Lagrangian which is not a scalar anymore; it is only modulo boundary terms, and that's why the action is a scalar.
 
  • Like
Likes Mr-R
  • #10
Something similar is encountered with the Chern-Simons term which modifies the Einstein-Hilbert term.
 
  • Like
Likes Mr-R
  • #11
haushofer said:
whenever connections show up outside the Riemann tensor, you should be alerted.
This! I was going to ask why the Riemann tensor is a Tensor although it is made up of Christoffel symbols but then remembered that it is obvious from it's derivation. Or from this definition as well ##[\nabla_i,\nabla_j] \zeta^k=R^k_{~cij}~\zeta^c##. Thanks for your help and also for the references.
 
  • #12
samalkhaiat said:
Your first equation tells you that G is not a scalar. And your second equation says that [itex]\delta \left(\int d^{4}x \ \sqrt{-g} \ G \right)[/itex] is a scalar. In special relativity you have something "similar":
[tex]\int dS_{\mu} \ J^{\mu}(x) = \int d^{3}x \ J^{0}(x) .[/tex]
The LHS and RHS are both Lorentz scalars, while [itex]J^{0}(x)[/itex] is obviously not a scalar.
One should note that the RHS is only a scalar if the corresponding charge (i.e., this integral on the right-hand side is conserved), i.e., if the current obeys the continuity equation,
$$\partial_{\mu} J^{\mu}=\partial_t J^0 + \vec{\nabla} \cdot \vec{J}=0.$$
It's very important to keep this in mind to avoid a lot of confusion in such situations. Otherwise only the LHS is a covariant quantity by construction, and you have to define carefully the hypersurface you choose to define this charge. A very careful discussion about these issues can be found in Jackson, Classical Electrodynamics.
 
  • Like
Likes Markus Hanke and Mr-R
  • #13
Mr-R said:
Thanks to you, I think that I understand now,. The Ricci scalar ##R=g_{ik}R^{ik}## is a scalar because even if we chose an inertial frame it might not vanish due to the derivatives of Christoffel symbols contained in ##R##, ##\partial \Gamma##. Which means ##R\propto \partial^2g##. So even a flat coordinate system could have a non vanishing second derivative of the metric tensor. Is this correct?
Yes, that is correct. In curved space-time, you can not make [itex]\partial^{2}g = 0[/itex] by any coordinate transformations. In fact, [itex]\partial^{2}g \neq 0[/itex] means that the space-time is curved.

I think my problem was naively thinking that a zero rank tensor is automatically regarded as a scalar.

Zero rank tensor is a scalar, and rank one tensor is a vector. These are called tensorial objects. Tensorial object are frame-independent, i.e., you can not set them to zero by coordinate transformation.

Another question: Can one tell if ##G##(as defined above) is a tensor just from "looking" at it? Or does one has to perform a coordinate transformation and see if it transforms like a tensor?
[itex]G[/itex] is not a tensor. It is not a tensorial quantity (i.e., not a scalar) because (as I explained before) you can make [itex]G = 0[/itex] in one frame, and [itex]G \neq 0[/itex] in another frame. Quantities constructed from [itex]g \Gamma \sim g^{2} \partial g[/itex], [itex]\Gamma^{2} \sim (g\partial g)^{2}[/itex] and other similar combinations are not tensorial, i.e., you can not construct genuine scalars, vectors and other tensors out of them. So, yes you can tell that [itex]G = g^{\mu\nu} \left( \Gamma^{\sigma}_{\mu\nu} \Gamma^{\rho}_{\sigma \rho} - \Gamma^{\rho}_{\mu \sigma} \Gamma^{\sigma}_{\nu \rho} \right)[/itex] is not a zero rank tensor (i.e., not a scalar) by just looking at it, because it is of the form [itex]G \sim g \Gamma^{2}[/itex]. Similarly, the following object is not a vector [tex]U^{\nu} = g^{\mu\nu}\Gamma^{\sigma}_{\mu\sigma} - g^{\mu\sigma}\Gamma^{\nu}_{\mu\sigma} .[/tex]
And you can tell that just by looking at it: [itex]U \sim g^{2}\partial g[/itex] is, therefore, a frame dependent object, i.e., [itex]U^{\mu} = 0[/itex] in one frame and non-zero in another. Thus, [itex]U^{\mu}[/itex] is not a vector.
However, the difference between two connections, [itex]\delta \Gamma^{\sigma}_{\mu\nu}[/itex], is a rank-3 mixed tensor. Therefore, [tex]V^{\nu} = g^{\mu\nu}\ \delta \Gamma^{\sigma}_{\mu\sigma} - g^{\mu\sigma} \ \delta\Gamma^{\nu}_{\mu\sigma} ,[/tex] is a genuine vector.
 
  • Like
Likes dextercioby
  • #14
vanhees71 said:
One should note that the RHS is only a scalar if the corresponding charge (i.e., this integral on the right-hand side is conserved), i.e., if the current obeys the continuity equation,
$$\partial_{\mu} J^{\mu}=\partial_t J^0 + \vec{\nabla} \cdot \vec{J}=0.$$
Yes. And this is the reason for writing "similar" instead of similar.
 
  • Like
Likes vanhees71
  • #15
samalkhaiat said:
Zero rank tensor is a scalar, and rank one tensor is a vector. These are called tensorial objects. Tensorial object are frame-independent, i.e., you can not set them to zero by coordinate transformation.

Got it :biggrin:
Cheers
 

FAQ: Landau Lifshitz Gravitational field equation

What is the Landau Lifshitz Gravitational field equation?

The Landau Lifshitz Gravitational field equation is a set of mathematical equations that describe the behavior of gravity in the framework of Einstein's theory of general relativity. It is used to calculate the gravitational field and its effects on matter and energy.

Who developed the Landau Lifshitz Gravitational field equation?

The Landau Lifshitz Gravitational field equation was developed by the Russian physicists Lev Landau and Evgeny Lifshitz in the mid-20th century. They were trying to extend Einstein's theory of general relativity to include the effects of electromagnetic fields.

How is the Landau Lifshitz Gravitational field equation different from Einstein's field equations?

The Landau Lifshitz Gravitational field equation is a simplified version of Einstein's field equations. It takes into account only the most significant terms and neglects some of the more complex and subtle effects of gravity. It is often used in situations where the full complexity of Einstein's equations is not necessary.

What are the applications of the Landau Lifshitz Gravitational field equation?

The Landau Lifshitz Gravitational field equation has many applications in astrophysics, particularly in the study of black holes and gravitational waves. It is also used in cosmology to model the large-scale structure of the universe and in general relativity to study the effects of gravity on matter and energy.

Is the Landau Lifshitz Gravitational field equation still relevant today?

Yes, the Landau Lifshitz Gravitational field equation is still relevant today. It is often used as a simplified version of Einstein's equations in situations where the full complexity is not necessary. It has also been used in recent studies of gravitational waves, black holes, and cosmology.

Similar threads

Replies
4
Views
427
Replies
2
Views
846
Replies
1
Views
581
Replies
1
Views
1K
Replies
4
Views
668
Replies
5
Views
2K
Replies
5
Views
2K
Back
Top