General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert Action
Total Page:16
File Type:pdf, Size:1020Kb
General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert action Yacine Ali-Ha¨ımoud (Dated: October 3, 2018) σ σ HW comment: T µν antisym in µν does NOT imply that Tµν is antisym in µν. Volume element { Consider a LICS with primed coordinates. The 4-volume element is dV = d4x0 = 0 0 0 0 dx0 dx1 dx2 dx3 . If we change coordinates, we have 0 ! @xµ d4x0 = det d4x: (1) µ @x Now, the metric components change as 0 0 0 0 @xµ @xν @xµ @xν g = g 0 0 = η 0 0 ; (2) µν @xµ @xν µ ν @xµ @xν µ ν since the metric components are ηµ0ν0 in the LICS. Seing this as a matrix operation and taking the determinant, we find 0 !2 @xµ det(g ) = − det : (3) µν @xµ Hence, we find that the 4-volume element is q 4 p 4 p 4 dV = − det(gµν )d x ≡ −g d x ≡ jgj d x: (4) The integral of a scalar function f is well defined: given any coordinate system (even if only defined locally): Z Z f dV = f pjgj d4x: (5) We can only define the integral of a scalar function. The integral of a vector or tensor field is mean- ingless in curved spacetime. Think of the integral as a sum. To sum vectors, you need them to belong to the same vector space. There is no common vector space in curved spacetime. Only in flat spacetime can we define such integrals. First parallel-transport the vector field to a single point of spacetime (it doesn't matter which one). This operation is independent of the path in flat spacetime, hence well defined. Then sum these components to perform the integral. Covariant divergence{ The covariant divergence of a vector field is µ µ µ ν rµV = @µV + Γµν V : (6) The contracted Christoffel symbol is 1 1 1 Γµ = gµλ (@ g + @ g − @ g ) = gµλ@ g + gµλ@ g = gµλ@ g : (7) µν 2 ν µλ µ νλ λ µν 2 ν µλ [λ µ]ν 2 ν µλ Let us now recall that the determinant and inverse of a matrix (here, the metric gµν ) can be expressed in terms of the comatrix Cµν , which is the matrix made of the determinants of the (n − 1) × (n − 1) submatrices obtained by deleting row µ and column ν (and then multiplying by (−1)µ+ν)): X g ≡ det(gµν ) = gµν Cµν ; for any fixed ν (not summed over!); (8) µ 1 gµν = C ; (9) g µν 2 Therefore, we get p @ν jgj 1 1 @g 1 1 1 µλ µ p = @ν gµλ = Cµλ@ν gµλ = g @ν gµλ = Γµν : (10) jgj 2 g @gµλ 2 g 2 So, we find p µ µ @ν jgj ν 1 p µ rµV = @µV + V = @µ( jgjV ): (11) pjgj pjgj µ Stokes' theorem { First consider a 4-volume V covered by a single coordinate system. Since rµV is a scalar field, we may compute its integral over V: Z Z p µ Z µ @µ( jgjV ) p 4 p µ 4 rµV dV = p jgjd x = @µ( jgjV )d x: (12) V V jgj V This is just a normal integral in a volume of R4, for which we can use Stokes' theorem. We denote by @V the boundary of V. We denote by nµ the vector normal to the surface, with squared norm ±1, pointing outwards if it is spacelike, and inwards if it is timelike. You can check that this is is required to get back Stokes' theorem { to convince yourself, use coordinates in which the normal to the surface is a coordinate basis vector @(µ) and use the usual Stokes theorem. By definition, this vector is orthogonal to the vectors spanning the tangent space of @V, so the metric can be (3) (3) µ (3) rewritten as gµν = ±nµnν + gµν , where gµν n = 0: g is the induced metric on the 3-dimensional manifold @V. We (3) (3) then have det(gµν ) = ± det(gµν ), i.e. jgj = jg j. We then get Z Z Z q µ p µ 3 µ (3) 3 rµV dV = nµ jgjV d x = nµV jg jd x: (13) V @V @V We recognize the last two factors as the frame-invariant volume element on the boundary. This last integral is therefore all coordinate-independent, as it should. Now, if we need to use multiple charts to cover V, we can subdivide it into sub-volumes each with a single coordi- nate system, and apply Stoke's theorem there. The integrals on interior surfaces cancel out, and we are left with the boundary of the full volume. Action formulation of general relativity { The Einstein field equation Gµν = 8πTµν (from now we use geometric units where G = c = 1) can be derived from an action principle. We want to build an overall action of the form Z Z 4 p 4 p S = Sgravity + SM ≡ d x jgjLgravity + d x jgjLM ; (14) where SM is the matter action, and Sgravity only involves the metric tensor, and L are the corresponding frame- invariant Lagrangian densities. The most natural scalar function of curvature that comes to mind is the Ricci scalar, so we may anticipate that Lgravity / R. The idea then, is to recover the Eintein field equation by extremizing the action with respect to variations in the metric tensor and in the matter fields (whatever they are). To compute these variations, pick a coordinate system. We want to compute the variation of the action upon variation of the metric field by δgµν : p ! p p p p δ( jgj) p 1 µν δ( −gR) = Rδ( jgj) + jgj δR = jgj R + δR = jgj g δgµν + δR pjgj 2 1 = pjgj − Rg δgµν R + δR ; (15) 2 µν µν µν µν where we used δ(gµν g ) = 0 = gµν δg + g δgµν . Now we have µν µν µν R = g Rµν ) δR = Rµν δg + g δRµν : (16) This implies p p µν µν δ( −gR) = jgj (Gµν δg + g δRµν ) : (17) 3 Let us now compute the variation of the Riemann tensor under variation of the metric. To do so, recall that the Riemann tensor is defined in terms of the commutator of the metric-compatible covariant derivative, λ σ λ λ R σµν V ≡ rµrν V − rν rµV : (18) Let us denote by r~ the unique metric-compatible (and torsion-free) covariant derivative associated with gµν + δgµν , we then have λ σ ~ ~ λ λ δR σµν V = rµrν V − rµrν V − (µ $ ν): (19) ~λ ~ We denote by Γµν the associated Christoffel symbols, and δΓ = Γ − Γ the difference relative to those associated with gµν . We then have, for any vector, ~ λ λ λ σ rν V = rν V + δΓνσV ; (20) where the partial derivatives cancel out. Because the left-hand side is a tensor and so is V σ, we conclude that δΓ is a rank (1; 2) tensor (even if each coefficient individually is not!), symmetric in its lower two indices. Similarly, we have for any rank (1, 1) tensor, ~ λ λ λ σ σ λ rµX ν = rµX ν + δΓ µσX ν − δΓµν X σ (21) We then have λ σ ~ λ λ ~ λ σ δR σµν V = rµrν V − rµrν V + rµ(δΓνσV ) − (µ $ ν) λ σ σ λ λ σ 2 = δΓ µσrν V − δΓµν rσV + rµ(δΓνσV ) + O(δΓ ) − (µ $ ν) λ σ σ λ λ σ λ σ 2 = δΓ µσrν V − δΓµν rσV + rµ(δΓνσ)V + δΓνσrµV + O(δΓ ) − (µ $ ν) (22) The second term is symmetric in (µ, nu) so cancels upon antisymmetrization. The sum of the first and fourth terms is also symmetric in (µ, ν), and cancels. We are then left with λ λ λ δR σµν = rµ(δΓ νσ) − rν (δΓ µσ): (23) This implies that λ λ λ δRσν = δR σλν = rλ(δΓ νσ) − rν (δΓ λσ); (24) and so σν σν λ σν λ σν µ σµ λ g δRσν = rλ(g δΓ νσ) − rν (g δΓ λσ) = rµ g δΓ νσ − g δΓ λσ : (25) Hence, we find that, upon small variations of the metric, we have Z Z Z Z 4 p 4 p µν 4 p σν µ σµ λ 4 p µν δ d x jgjR = d x jgjGµν δg + d x jgjrµ g δΓ νσ − g δΓ λσ = d x jgjGµν δg ; (26) since the last term is a total divergence and hence integrgates to zero provided metric perturbations (and their partial derivatives) vanish \at infinity". The convention is to define the Einstein-Hilbert action with a prefactor of 1/(16π): 1 Z S = d4xpjgjR + S ; (27) 16π M and to define the stress-energy tensor of matter as 2 δSM Tµν = − (28) pjgj δgµν By varying the total action with respect to the metric tensor, we see that we recover the Einstein Field Equation Gµν = 8πTµν . See e.g. Carroll for a couple of worked out examples (scalar field, electromagnetic field)..