Arxiv:1201.1448V1 [Gr-Qc]
Total Page:16
File Type:pdf, Size:1020Kb
The correspondence between a scalar field and an effective perfect fluid Valerio Faraoni∗ Physics Department and STAR Research Cluster, Bishop’s University, 2600 College Street, Sherbrooke, Qu´ebec, Canada J1M 1Z7 It is widely acknowledged that, for formal purposes, a minimally coupled scalar field is equiva- lent to an effective perfect fluid with equation of state determined by the scalar potential. This correspondence is not complete because the Lagrangian densities L1 = P and L2 = −ρ, which are equivalent for a perfect fluid, are not equivalent for a minimally coupled scalar field. The exchange L1 ←→ L2 amounts to exchanging a “canonical” scalar field with a phantom scalar field. PACS numbers: 04.40.-b, 04.20.Fy, 04.20.-q INTRODUCTION using the other side ([4, 5], see also [6]). The non-equivalence between these two Lagrangian densities for a perfect fluid coupling explicitly to the Ricci Scalar fields have been present in the literature on curvature of spacetime (which has been suggested as a gravity and cosmology for many decades and are par- possible alternative to dark matter in galaxies [7]) has ticularly important in the contexts of inflation in the been recently discussed in [8], and the equivalence be- early universe and of quintessence in the late universe. tween a k-essence scalar field and a barotropic perfect It is widely recognized that a minimally coupled scalar fluid was discussed in [5]. field in General Relativity can be represented as a perfect We adopt the notations of Ref. [9]; in particular, the fluid (see, e.g., Ref. [1] for a detailed discussion). From signature of the spacetime metric is + ++. the conceptual point of view, it is clear that a scalar field − and a perfect fluid are very different physical systems; a MIMICKING A PERFECT FLUID WITH A fluid is obtained by averaging microscopic quantities as- MINIMALLY COUPLED SCALAR FIELD sociated with its constituent particles, and the fluid laws can be obtained via a kinetic theory using microscopic models of the fluid particles and of their interactions. A Let us mimick a perfect fluid using a minimally cou- scalar field, instead, is more fundamental and does not pled scalar field φ in a curved spacetime self-interacting derive from an average; it is not made of point-like par- through a potential V (φ). We assume standard General ticles and does not need an average to be defined—it is Relativity and the issue is to determine whether both Lagrangian densities = P and = ρ correctly de- already a continuum. As a consequence, the scalar field L1 L2 − stress-energy tensor (given by eq. (2) below) involves first scribe the scalar field effective fluid. It is well known order derivatives of the scalar field, while the perfect fluid that these Lagrangian densities are equivalent for a per- stress-energy tensor Tab = (P + ρ) uaub + Pgab does not fect fluid [2]. involve derivatives explicitly but can be described using A minimally coupled scalar field φ obeys the Klein- only the energy density ρ, pressure P , and four-velocity Gordon equation field ua. Hence, the fluid description of a scalar field is dV φ = 0 (1) arXiv:1201.1448v1 [gr-qc] 6 Jan 2012 not an identification, but only a convenient correspon- − dφ dence for formal purposes. However, while regarding the which is obtained (when cφ does not vanish identically) scalar field/perfect fluid duality as a formal one, one still from the covariant conservation∇ equation bT = 0 for needs to be careful because this correspondence is not ab the scalar field energy-momentum tensor ∇ perfect even for purely formal purposes. In this short note we discuss a property of perfect fluids which is not 1 c Tab[φ]= aφ bφ gab φ cφ Vgab . (2) satisfied by the effective fluid associated with a scalar ∇ ∇ − 2 ∇ ∇ − field, namely the possibility of describing a perfect fluid The tensor Tab[φ] assumes the form of an effective perfect with the two equivalent Lagrangian densities 1 = P fluid stress-energy tensor T = (P + ρ) u u + Pg if L ab a b ab and 2 = ρ. These two Lagrangian densities, which cφ is a timelike vector field [1]. The fluid four-velocity L − are equivalent for a perfect fluid [2, 3], are not equiva- is∇ lent for a scalar field “fluid”, as shown in the following aφ ua = ∇ (3) section. This property leads to a caveat against regard- c φ cφ ing the fluid/scalar field duality as a perfect one, which |∇ ∇ | c a c is relevant in the light of the recent interest in this cor- assuming φ cφ = 0,p with uau = sign ( φ cφ). respondence motivated by the possibility of computing The energy∇ density∇ 6 and pressure relative to∇ a comov-∇ inflationary perturbations on one side of the duality by ing observer with four-velocity ua are given by ρ = 2 a b ab Tab[φ]u u and P = Tab[φ]h /3, respectively, where yields hab gab + uaub is the Riemannian 3-metric in the 3- ≡ c 4 c dV space orthogonal to u (this 3 + 1 decomposition makes d x √ g ( δφ) cφ + δφ =0 . (14) − − ∇ ∇ dφ sense when cφ is timelike). One easily obtains ∇ Z c c Using the identity ( δφ) cφ = (δφ cφ) δφφ and 1 c c ∇ ∇ ∇ ∇ − ρ = φ cφ V sign ( φ cφ) , (4) discarding the boundary term, one obtains 2 ∇ ∇ − ∇ ∇ dV φ + =0 . (15) 1 1 c c P = 1+ sign ( φ cφ) φ cφ dφ 3 − 2 ∇ ∇ ∇ ∇ Eq. (15) is not the Klein-Gordon equation because of c [4 + sign ( φ cφ)] V (φ) . (5) the incorrect sign of the potential derivative term. The − ∇ ∇ } difference between eq. (15) and the Klein-Gordon equa- If we restrict ourselves to the case in which cφ is time- tion (1) disappears, of course, if V = constant. In this c ∇ like, φ cφ< 0, we have case the potential term gabV (φ) in the stress-energy ∇ ∇ − tensor Tab[φ] can be attributed entirely to a cosmological 1 c constant, i.e., to gravity instead of matter. If this con- ρ = φ cφ + V (φ) , (6) −2∇ ∇ stant vanishes, V 0, then eqs. (6) and (7) yield ρ = P and eq. (15) coincides≡ with the Klein-Gordon equation. 1 c P = φ cφ V (φ) , (7) However, there is still something wrong: the scalar field −2 ∇ ∇ − sourcing gravity and appearing in the total action and 4 R Stotal = Sgravity +Smatter = d x √ g +S[φ] (16) − 2κ (P + ρ) uaub + Pgab (8) Z (where κ 8πG) will give the incorrect field equations ≡ 1 c = aφ bφ gab φ cφ Vgab (9) 1 ∇ ∇ − 2 ∇ ∇ − Rab gabR = κTab[φ] (17) − 2 − Tab[φ] (10) instead of the Einstein equations ≡ c 1 in addition to ucu = 1. The last equation shows Rab gabR = κTab[φ] . (18) not only that a minimally− coupled scalar field can be − 2 given a perfect fluid description, but also that any per- When V 0, the correct Lagrangian density would be ≡ fect fluid with barotropic equation of state P = P (ρ) can = P = ρ instead of 2 = ρ. (Then 3 2 = ρ be mimicked by a scalar field with appropriate poten- canL only describe a perfectL fluid− with stiffL ≡ equation −L of tial V (φ). Roughly speaking, prescribing the equation of state P = ρ.) state P = P (ρ) corresponds to assigning a suitable po- The conclusion is that, for a perfect fluid, 1 = P is tential, but the correspondence between equation of state the Lagrangian density reproducing the correctL equations and scalar field potential is not one-to-one [10]. of motion, while 2 = ρ (or 3 = ρ) provides incorrect The Klein-Gordon Lagrangian density for the scalar equations of motion.L − L field is the well known [9] For completeness, we conclude this section by going back to eqs. (4) and (5) and considering the case of a 1 c spacelike cφ, although this choice obviously does not KG = φ cφ V (φ) , (11) ∇ c L −2 ∇ ∇ − correspond to any physical fluid. If φ cφ > 0 it is √ c ∇ ∇ which coincides with = P and the variation of the ac- ua = aφ/ φ cφ and, using eqs. (3)-(7), L1 ∇ ∇ ∇ tion S = d4x√ g P with respect to φ reproduces c KG u uc = 1 , (19) the Klein-Gordon equation− (1), as is also well known [9]. Let us tryR to adopt instead the other candidate La- 1 c grangian density ρ = φ cφ V (φ) , (20) 2∇ ∇ − 1 c 2 = ρ = φ cφ V (φ) ; (12) 1 c 5 P = φ cφ V (φ) . (21) L − 2 ∇ ∇ − −6 ∇ ∇ − 3 then, the variational principle Taking again = P yields the incorrect field equation L1 dV δS δ d4x √ g = 0 (13) φ 5 =0 , (22) 2 ≡ − L2 − dφ Z 3 while taking = = ρ yields again one obtains the incorrect energy-momentum tensor L ±L2 ∓ dV φ + =0 . (23) ab a b 1 ab c ab S = ∂ φ ∂ φ + η ∂ φ∂cφ V η , (28) dφ (2) − 2 − Hence, the Lagrangians , all give incorrect field 1 2 which does not reproduce T ab[φ] and the Klein-Gordon equations for a scalar fieldL with±L spacelike gradient. c equation unless V 0. Finally, we consider a null φ. In this case, the pur- ≡ pose of considering a scalar field∇ representation of a per- To reiterate the argument, one can consider an- fect fluid would be the modelling of the only perfect fluid other situation in which the Noether symmetry ap- with null four-velocity that makes sense physically, i.e.,a proach is applicable: that of a spatially homo- geneous and isotropic Friedmann-Lemaˆıtre-Robertson- null dust with associated stress-energy tensor Tab = uaub c Walker universe with line element with ucu = 0, describing a distribution of coherent mass- less φ-waves [11, 12].