<<

Chapter 7

Einstein’s Equations - The Main Goal of The Course

7.1 Introduction

In order to have a complete theory of , we need to know

How particles behave in curved . • How spacetime. • The first question is answered by postulating that free particles [ i.e. no other than gravity ] follow timelike or null . We will see later that this is equivalent to Newton’s law F = m Φ in the week field limit [ Φ/c2 1 ]. − ∇ # The requires the analogue of 2Φ = 4πGρ. We first consider the ∇ case [ ρ = 0 ] 2Φ = 0. ⇒ ∇ The easiest way to do this is to compare the deviation equation de- rived in the last section with its Newtonian analogue. In Newtonian theory the of two neighboring particles with vectors x and x + ξ are: d2xi ∂Φ(x) d2(xi + ξi) ∂Φ(x + ξ) = , = , (7.1) dt2 − ∂xi dt2 − ∂xi so the separation evolves according to: d2ξi ∂Φ(x) ∂Φ(x + ξ) = dt2 ∂xi − ∂xi ∂ = (Φ(x) Φ(x + ξ)) . (7.2) ∂xi −

90 CHAPTER 7. Einstein’s Field Equations 91

This gives us d2ξi ∂2Φ = ξj , (7.3) dt2 −∂xi∂xj since ∂φ φ(x + ξ) Φ(x) = ξj . (7.4) − ∂xj This clearly is analogous to the equation

α α µ ν β V Vξ = R V V ξ , (7.5) ∇ ∇ µνβ 2 provided we relate the quantities ∂ Φ and Rα V µV ν − ∂xi∂xj µνβ Both quantities have two free indices, although the Newtonian index runs from 1 to 3 while in the case it runs from 0 to 3. The Newtonian vacuum equation is 2Φ = 0 which implies that ∇ ∂2Φ ∂xi∂xi = 0 , (7.6) so we can write α µ ν R µναV V = 0 . (7.7) Since V is arbitrary we end up with

Rµν = 0 . (7.8)

These are the vacuum Einstein field equations.

7.2 The non - vacuum field equations

The General Relativity version of 2Φ = 4πGρ must contain T µν rather than ρ ∇ since we saw in that ρc2 is just the 00 component of the - . This is expected anyway since in General Relativity all forms of energy [ not just rest ] should be a source of gravity. To get the General Relativity version of the equations involving T µν we just replace the Minkowski ηαβ by gαβ and the partial derivative (, ) by the (; ). For example the energy - momentum tensor for a perfect fluid in curved is

µν p µ ν µν T = ρ + 2 U U + pg , (7.9) ! c " CHAPTER 7. Einstein’s Field Equations 92 and the conservation equations become

µν T ;ν = 0 . (7.10)

In the above we have just used the strong form of the , which says that any non - gravitational law expressible in tensor notation in Special Relativity has exactly the same form in a local inertial frame of curved spacetime. We expect the full [ non - vacuum ] field equations to be of the form

O(g) = κT , (7.11) where O is a second order differential operator which is a 0/2 tensor [ since T is the energy tensor ] and κ is a constant. The simplest operator that reduces to the vacuum field equations when T = 0 takes the form

Oαβ = Rαβ + µgαβR . (7.12)

αβ αβ αβ Now since T ;β = 0 [ T ,β = 0 in Special Relativity ], we require O ;β = 0. αβ Using g ;β = 0 gives Rαβ + µgαβR = 0 . (7.13) ;β # $ Comparing this with the double contracted Bianchi identities

αβ G ;β = 0 , (7.14) we see that the constant µ has to be µ = 1 . Thus we are led to the field equations − 2 of General Relativity: Rαβ 1 gαβR = κT αβ , (7.15) − 2 or Gαβ = κT αβ . (7.16)

In general we can add a constant Λ so the field equations become

Rαβ 1 gαβR + Λgαβ = κT αβ . (7.17) − 2 In a vacuum T αβ = 0, so taking the trace of the field equations we get

Rα 1 Rgα + Λgα = 0 . (7.18) α − 2 α α CHAPTER 7. Einstein’s Field Equations 93

α α Since g α = 4 and the Ricci scalar R = R α we find that R = 4Λ, and substituting this back into the field equations leads to

Rαβ = Λgαβ . (7.19)

We recover the previous vacuum equations if Λ = 0. Sometimes Λ is called the . We have ten equations [ since Rαβ is symmetric ] for the ten metric components. Note that there are four degrees of freedom in choosing coordinates so only six metric components are really determinable. This corresponds to the four conditions

αβ G ;β = 0 , (7.20) which reduces the effective number of equations to six. It is very important to realize that although Einstein’s field equations look very simple, they in fact correspond in general to six coupled non - linear partial differential equations.

7.3 The weak field approximation

We have to check that the appropriate limit, General Relativity leads to Newton’s theory. The limit we shall use will be that of small v 1 and that c # time derivatives are much smaller than spatial derivatives. There are two things we must do:

We have to relate the geodesic equation to Newton’s law of • [ i.e. the second law ]. and

Relate Einstein’s field equations to the Newton - Poisson equation. • Let’s assume that we can find a which is locally Minkowski [ as demanded by the Equivalence Principle ] and that deviations from flat spacetime are small. This means we can write

gαβ = ηαβ + (hαβ , (7.21) CHAPTER 7. Einstein’s Field Equations 94

αβ α where η is small. Since we require that gδβg = δ δ, the inverse metric is given by

gαβ = ηαβ (hαβ . (7.22) − To work out the geodesic equations we need to work out what the components of the Christoffel symbols are:

Γγ = 1 gαγ (g + g g ) . (7.23) βµ 2 αβ,µ αµ,β − βµ,α Substituting for gαβ etc. in terms of hαβ we obtain

Γγ = 1 (ηαγ (h + h h ) . (7.24) βµ 2 αβ,µ αµ,β − βµ,α The geodesic equations are

d2xγ dxβ dxµ + Γγ = 0 . (7.25) dτ 2 βµ dτ dτ But for a slowly moving particle τ t so ≈ d2xγ dxβ dxµ + Γγ = 0 . (7.26) dt βµ dt dt

dxi γ dxi dxj Also dt = O((), so we can neglect terms like Γ ij dt dt . The geodesic equation reduces to d2xγ dx0 dx0 + Γγ = 0 , (7.27) dt2 00 dt dt so the “space” equation (three - acceleration) is

d2xi dx0 dx0 + Γi = 0 . (7.28) dt2 00 dt dt

dx0 Since dt = c we get d2xi = c2Γi . (7.29) dt2 − 00 Now

Γi = 1 ( (h + h h ) 00 2 i0,0 i0,0 − 00,i 1 (h , (7.30) ≈ − 2 00,i CHAPTER 7. Einstein’s Field Equations 95 where we have neglected time derivatives over space derivatives. The spatial geodesic equation then becomes

2 i d x 2 2 = c (h = c ( h . (7.31) dt2 2 00,i 2 ∇i 00 But Newtonian theory has d2xi = Φ , (7.32) dt2 −∇i where Φ is the . So we make the identification 2φ g00 = 1 + . (7.33) − % c2 & This is equivalent to having spacetime with the 2φ 2φ ds2 = 1 + c2dt2 + 1 dx2 + dy2 + dz2 . (7.34) − % c2 & % − c2 & # $ This is what we deduced using the Equivalence Principle in section 4.5. Let’s now look at the field equations [ with Λ = 0 ]:

R 1 g R = κT . (7.35) αβ − 2 αβ αβ Taking the trace we get

R 2R = κT α = κT − α R = κT . (7.36) ⇒ − This allows us to write the field equations as

R = κ T 1 g T . (7.37) αβ αβ − 2 αβ ' ( Let us assume that the matter takes the form of a perfect fluid, so the stress - energy tensor takes the form: p Tαβ = ρ + 2 UαUβ + pgαβ . (7.38) ! c " Taking the trace gives

α 2 p T T α = c ρ + 2 + 4p , (7.39) ≡ − ! c " CHAPTER 7. Einstein’s Field Equations 96 so the field equations become

p 1 p 2 Rαβ = κ ρ + 2 UαUβ + κ ρ 2 c gαβ . (7.40) ! c " 2 ! − c " p The is ρ >> c2 . This gives

1 2 Rαβ = κρUαUβ + 2 κρc gαβ . (7.41)

Look at the 00 component of these equations:

R = κρc2 1 κρc2 00 − 2 1 2 = 2 κρc (7.42) to first order in (. Now R = Γµ Γµ (7.43) αβ αβ,µ − αµ,β to first order in (. The (0, 0) component of this equation is

R = Γµ Γµ , (7.44) 00 00,µ − 0µ,0 and since spatial derivatives dominate over time derivatives, we get

i R00 = Γ 00,i . (7.45)

So the field equations are

R = Γi = 1 (h = 1 κρc2 . (7.46) 00 00,i − 2 00,ii − 2 This is just 2φ = 1 κρc4 . (7.47) ∇ 2 Comparing this with Poisson’s equation:

2φ = 4πGρ , (7.48) ∇ we see that we get the same result if the constant κ is 8πG κ = . (7.49) c4 We can now use this result to write down the full Einstein field equations:

1 8πG R g R + Λg = 4 T . (7.50) αβ − 2 αβ αβ c αβ CHAPTER 7. Einstein’s Field Equations 97

SPECIAL RELATIVITY GENERAL RELATIVITY

FLAT Add CURVED SPACETIME mass/energy SPACETIME

Minkowski Coordinates General Coordinates η g Metric is αβ Metric is αβ α α α Γ = 0 , R = 0 Γ =/= 0 α =/= 0 βγ βγµ βγ , R βγδ

Transform to an accelerating Transform to a non-rotating frame or choose some freely falling frame and take generalized coordinates. Minkowski coordinates. A Non - Inertial Frame α A Local Inertial Frame Γ βγ =/= 0 η Metric is αβ + Ο( xµ ) 2 α α But R βγδ = 0 Γ = 0 α βγ , R βγδ =/= 0 so still flat spacetime α Transform to an accelerating Γ are inertial βγ frame wrt .

α Γ =/= 0 α βγ , R βγδ =/= 0 Equivalence Principle - gravity also an inertial force

Figure 7.1: A SUMMARY OF WHAT WE HAVE DONE : ) = −