Question about Einstein inserting the cosmological constant

Messenger
Messages
67
Reaction score
0
In Gravitation by MTW in section 17.3, they state
After much anguish, one concludes that the assumption which one might drop with the least damage to the beauty and spirit of the the theory is the assumption (1), that "G" vanish when spacetime is flat. But even dropping this assumption is painful: (1) although "G" might still be in some sense a measure of geometry, it can no longer be a measure of curvature; and (2) flat, empty spacetime will no longer be compatible with the geometrodynamic law (G≠0 in flat, empty space, where T=0). Nevertheless, these consequences were less painful to Einstein than a dynamic universe.
The only tensor that satisfies conditions (2) and (3) [with (1) abandoned] is the Einstein tensor plus a multiple of the metric : ``G_{\alpha\beta}''=R_{\alpha\beta}-\frac{1}{2}g_{\alpha\beta}R+\Lambda g_{\alpha\beta}=G_{\alpha\beta}+\Lambda g_{\alpha\beta}
(I assume it was a typo putting the cosmological constant in the center portion)

Changing the symbol of the Einstein tensor and the cosmological constant to L and Ω so as not to confuse myself, I can see how with R_{\alpha\beta}-\frac{1}{2}g_{\alpha\beta}R=L_{\alpha\beta}+\Omega g_{\alpha\beta} if I first set \Omega=0 I then get
R_{\alpha\beta}-\frac{1}{2}g_{\alpha\beta}R=L_{\alpha\beta} which is of course nothing more than the EFE. But if instead I take R_{\alpha\beta}-\frac{1}{2}g_{\alpha\beta}R=L_{\alpha\beta}+\Omega g_{\alpha\beta} but let \Omega\neq 0 I get L_{\alpha\beta}+\Omega g_{\alpha\beta}=0 so that L_{\alpha\beta}=-\Omega g_{\alpha\beta} when spacetime is flat. If I then set \Omega=0 I then end up again with the Einstein tensor R_{\alpha\beta}-\frac{1}{2}g_{\alpha\beta}R=L_{\alpha\beta} by pulling a -1 out of the coefficients since \Omega g_{\alpha\beta}=L_{\alpha\beta}+G_{\alpha\beta}.
So what I am not understanding is if Einstein required a multiple of the metric in the field equation but it caused him so much anguish to not have flat spacetime, why didn't he just go with a \Omega g_{\alpha\beta}-L_{\alpha\beta}=G_{\alpha\beta} substitution to do so?
 
Physics news on Phys.org
Messenger said:
(I assume it was a typo putting the cosmological constant in the center portion)

No, it wasn't. See below.

Messenger said:
Changing the symbol of the Einstein tensor and the cosmological constant to L and Ω so as not to confuse myself, I can see how with R_{\alpha\beta}-\frac{1}{2}g_{\alpha\beta}R=L_{\alpha\beta}+\Omega g_{\alpha\beta}

That's not what Einstein did; at least, not if I'm understand you correctly. Also, you have left out the RHS of the EFE; perhaps it will help clarify things if we put it back in, and also if we always expand out the Einstein tensor (the original one) to avoid confusion.

The original EFE was (I'll use a and b for the indexes since I'm too lazy to type the LaTeX for Greek letters all the time :redface:):

R_{ab} - \frac{1}{2} g_{ab} R = T_{ab}

There are no solutions to the above equation that describe a static universe containing a non-zero density of matter (i.e., with T_{ab} nonzero). Einstein's proposal to allow such a solution was to modify the equation to:

R_{ab} - \frac{1}{2} g_{ab} R + \Lambda g_{ab} = T_{ab}

where \Lambda is a constant that is the same everywhere in the spacetime, the "cosmological constant". This modified equation *does* allow solutions with nonzero T_{ab} that are static (although it turns out that they are unstable equilibrium solutions, like a pencil balanced on its point--which is now neither here nor there, since the actual universe is expanding, not static, but it's interesting to note that Einstein apparently never considered it).

Now, however, let's consider what happens if T_{ab} = 0. (Btw, I think MTW's language is rather misleading when they describe this condition as describing a "flat" spacetime; the more usual terminology would be that T_{ab} = 0 indicates a "vacuum" spacetime. A "flat" spacetime would be when the Riemann curvature tensor is zero, which would mean that R_{ab} - 1/2 g_{ab} R = 0. See further comments below.)

If T_{ab} = 0, the original equation becomes:

R_{ab} - \frac{1}{2} g_{ab} R = 0

which does indeed describe a flat spacetime (zero curvature). However, the modified equation becomes:

R_{ab} - \frac{1}{2} g_{ab} R + \Lambda g_{ab} = 0

which does *not* describe a spacetime with zero curvature (and hence it's rather misleading to call this a "flat" spacetime, as MTW apparently do). To see that the curvature is not zero, move the cosmological term to the RHS, to obtain:

R_{ab} - \frac{1}{2} g_{ab} R = - \Lambda g_{ab}

where now we can consider the RHS to be a stress-energy tensor associated with "dark energy", or some term like that (MTW note later on in the same section that this is how the cosmological constant is currently viewed by many physicists). But however we interpret the RHS, it clearly shows that the spacetime is curved, not flat, since the LHS, which describes the curvature, is not zero.

Now for those comments in MTW:

(1) although "G" might still be in some sense a measure of geometry, it can no longer be a measure of curvature

You can see why this is, because the modified "G" includes a term, the cosmological term, which does not describe curvature. This may be one thing that is confusing you (and, as I said above, MTW's terminology is itself confusing): what describes curvature here is specifically the combination R_{ab} - 1/2 g_{ab} R, and nothing else. So if we want an equation that says "curvature = stress-energy", the modified equation, with the cosmological term, doesn't meet this requirement (unless we move the cosmological term to the RHS and interpret it as a "dark energy" stress-energy tensor--but nobody at the time Einstein was considering all this would have even thought about such a possibility).

flat, empty spacetime will no longer be compatible with the geometrodynamic law (G≠0 in flat, empty space, where T=0).

Again, this is basically saying that we want an equation saying "curvature = stress-energy", and the modified equation doesn't do that. But again, MTW's terminology is confusing here, because strictly speaking, "flat spacetime" means R_{ab} - 1/2 g_{ab} R = 0; "empty" spacetime, in the sense of "vacuum" spacetime, is what T_{ab} = 0 describes.

I hope the above helps to clarify things.

[Edit: To further add to the confusion from MTW's language, even the condition R_{ab} - 1/2 g_{ab} R = 0 does not, strictly speaking, describe a "flat" spacetime. It only describes a "Ricci flat" spacetime. A truly, entirely flat spacetime is, of course, Ricci flat, but the converse is not true; there are spacetimes, such as the Schwarzschild spacetime of a black hole, that are Ricci flat but not flat. MTW appear to ignore this point entirely in the discussion quoted, perhaps because it's not necessary to understand the issue Einstein was grappling with; but I wanted to clarify it to avoid possible misinterpretations of what I said above. In the above, wherever I say "flat", the strictly correct term is "Ricci flat".]
 
Last edited:
PeterDonis said:
No, it wasn't. See below.
Ah, now that I take a second look at it, I do see you are correct.


PeterDonis said:
[Edit: To further add to the confusion from MTW's language, even the condition R_{ab} - 1/2 g_{ab} R = 0 does not, strictly speaking, describe a "flat" spacetime. It only describes a "Ricci flat" spacetime. A truly, entirely flat spacetime is, of course, Ricci flat, but the converse is not true; there are spacetimes, such as the Schwarzschild spacetime of a black hole, that are Ricci flat but not flat. MTW appear to ignore this point entirely in the discussion quoted, perhaps because it's not necessary to understand the issue Einstein was grappling with; but I wanted to clarify it to avoid possible misinterpretations of what I said above. In the above, wherever I say "flat", the strictly correct term is "Ricci flat".]

Ok, will take a closer look in the text to see how they refer to flatness for the Schwarzschild metric. Appreciate your answering.
 
Thread 'Can this experiment break Lorentz symmetry?'
1. The Big Idea: According to Einstein’s relativity, all motion is relative. You can’t tell if you’re moving at a constant velocity without looking outside. But what if there is a universal “rest frame” (like the old idea of the “ether”)? This experiment tries to find out by looking for tiny, directional differences in how objects move inside a sealed box. 2. How It Works: The Two-Stage Process Imagine a perfectly isolated spacecraft (our lab) moving through space at some unknown speed V...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. The Relativator was sold by (as printed) Atomic Laboratories, Inc. 3086 Claremont Ave, Berkeley 5, California , which seems to be a division of Cenco Instruments (Central Scientific Company)... Source: https://www.physicsforums.com/insights/relativator-circular-slide-rule-simulated-with-desmos/ by @robphy
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Back
Top