Cosmological Constant, Einstein equation Quick Question

  • Thread starter binbagsss
  • Start date
  • #1
1,232
10
So Einstein Equation: ##G_{uv}= 8 \pi G T_{uv} ##,

Justifying the cosmological constant can be included is done by noting that ## \bigtriangledown^{a}g_{ab} =0 ## and so including it on the LHS, conservation of energy-momentum tensor still holds.

I'm not sure why ## \bigtriangledown^{a}g_{ab} =0 ##. The source I'm using says to 'recall' this, and it is talking about the FRW tensor.

The only thing I can think of is the fundamental theorem of Riemannian geometry : ## \bigtriangledown_{a}g_{bc}= 0 ##. But this doesn't does look right as it has 3 free indicies, not 1, and a lower indice instead of a upper on the ## \bigtriangledown ##

Thanks for your help in advance.

On a side note, I think I am confused between 'divergence' and 'covariant derivative', when we say ## \bigtriangledown_{a} T^{ab} = 0 ##, conservation of energy-momentum tensor that its 'divergence' is zero, is this saying it's convariant derivative is zero?
 

Answers and Replies

  • #2
Matterwave
Science Advisor
Gold Member
3,965
327
The requirement that ##\nabla^a g_{ab}=0## arises from the more stringent requirement that ##\nabla_a g_{bc}=0## as is the case if the connection is to be metric compatible. In other words, this is one of the defining attributes of a "metric connection".

A "covariant divergence" is a divergence in that it has a contraction on the index with which you are taking the derivative of. Saying "the divergence is 0" means ##\nabla_a T^{abc...}=0##. Saying "the covariant derivative is 0" means ##\nabla_a T^{bcd...}=0##. Some times the covariant derivative is only 0 along some curve (e.g. for geodesic tangents along geodesics) and in that case, we mathematically specify ##u^a\nabla_a T^{bcd...}=0## meaning it's parallel transported along that curve.
 
  • #3
1,232
10
The requirement that ##\nabla^a g_{ab}=0## arises from the more stringent requirement that ##\nabla_a g_{bc}=0## as is the case if the connection is to be metric compatible. In other words, this is one of the defining attributes of a "metric connection".

Thanks for your reply. So ##\nabla_a g_{bc}=0## implies ##\nabla^a g_{ab}=0## ?
How would you show this? Would you argue that a,b,c range over 0,1,2,3 (In 4-d) and then this is the particular case of a=b? And then raise an index?
 
  • #4
Matterwave
Science Advisor
Gold Member
3,965
327
Thanks for your reply. So ##\nabla_a g_{bc}=0## implies ##\nabla^a g_{ab}=0## ?
How would you show this? Would you argue that a,b,c range over 0,1,2,3 (In 4-d) and then this is the particular case of a=b? And then raise an index?

If ##\nabla_a g_{bc}## applies for all ##a,b,c##, then it should certainly apply for when ##a=b## right? And then you can raise the index like you say...but it is certainly the case tht ##g^{ab}\times 0=0## so I'm not sure why you want to carry out this step.
 
  • #5
DrGreg
Science Advisor
Gold Member
2,323
1,100
Thanks for your reply. So ##\nabla_a g_{bc}=0## implies ##\nabla^a g_{ab}=0## ?
How would you show this? Would you argue that a,b,c range over 0,1,2,3 (In 4-d) and then this is the particular case of a=b? And then raise an index?
$$\nabla^a g_{ab}=\nabla^d g_{db}=g^{da}\nabla_a g_{db}=\sum_{a,d} \left( g^{da} \times 0 \right) = 0$$
 
  • #6
1,232
10
so I'm not sure why you want to carry out this step.
But isn't ##\nabla_a ## covariant derivaitve? I'm not sure what ##\nabla^{a} ## is called, but don't they describe different things physically?
 
  • #7
1,232
10
$$\nabla^a g_{ab}=\nabla^d g_{db}=g^{da}\nabla_a g_{db}=\sum_{a,d} \left( g^{da} \times 0 \right) = 0$$
thanks. although I'm not sure I understand the summation in the last equality, as the d,a do not appear twice.
 
  • #8
DrGreg
Science Advisor
Gold Member
2,323
1,100
thanks. although I'm not sure I understand the summation in the last equality, as the d,a do not appear twice.
I suppose I could have written it as
$$\nabla^a g_{ab}=\nabla^d g_{db}=g^{da}\nabla_a g_{db}=g^{da}0_{adb} = 0$$
where ##0_{adb} = 0##
 
  • #9
Matterwave
Science Advisor
Gold Member
3,965
327
But isn't ##\nabla_a ## covariant derivaitve? I'm not sure what ##\nabla^{a} ## is called, but don't they describe different things physically?

Why would they in the presence of a metric? Any vector ##A^a## has an associated co-vector ##A_a=g_{ab}A^b##.
 
  • #10
ChrisVer
Gold Member
3,380
461
Another way to see that is instead of taking the Einstein equations as you got them , with indices down, to write them equivalently with indices up:

[itex] G^{\mu \nu} = 8 \pi G T^{\mu \nu}[/itex]

Then you can insert the cosmological constant by using [the more used to you convention of the covariant derivative] [itex] \nabla_a g^{bc} =0 \Rightarrow \nabla_a g^{ac}=0 [/itex]. However it's just what other people have already posted here.
 
  • #11
1,232
10
A "covariant divergence" is a divergence in that it has a contraction on the index with which you are taking the derivative of. Saying "the divergence is 0" means ##\nabla_a T^{abc...}=0##. Saying "the covariant derivative is 0" means ##\nabla_a T^{bcd...}=0##. Some times the covariant derivative is only 0 along some curve (e.g. for geodesic tangents along geodesics) and in that case, we mathematically specify ##u^a\nabla_a T^{bcd...}=0## meaning it's parallel transported along that curve.
Thanks. And is it referred to divergences in both cases : ##\nabla_a T^{abc...}=0## and ##\nabla^a T^{abc...}=0## i.e - whether the index on 'nabla' is up or down. Is one more conventional than the other?
 
  • #12
Matterwave
Science Advisor
Gold Member
3,965
327
Thanks. And is it referred to divergences in both cases : ##\nabla_a T^{abc...}=0## and ##\nabla^a T^{abc...}=0## i.e - whether the index on 'nabla' is up or down. Is one more conventional than the other?

When you see two indices which are the same, it should always be one upper index and one lower index. It should never be both up like in your second equation.
 
  • #13
1,232
10
When you see two indices which are the same, it should always be one upper index and one lower index. It should never be both up like in your second equation.
Apologies typo , the nabla with the second indice was suppose to read ##\nabla^{a}T_{abc} ##- are they both referred to as divergence and is one more conventional than the other?
 
  • #14
Matterwave
Science Advisor
Gold Member
3,965
327
Apologies typo , the nabla with the second indice was suppose to read ##\nabla^{a}T_{abc} ##- are they both referred to as divergence and is one more conventional than the other?

Yes, they are both "divergences".
 

Related Threads on Cosmological Constant, Einstein equation Quick Question

Replies
2
Views
1K
Replies
2
Views
484
  • Last Post
Replies
8
Views
2K
Replies
7
Views
1K
Replies
21
Views
3K
Replies
12
Views
1K
Replies
43
Views
3K
Replies
3
Views
1K
Replies
4
Views
905
Top