arXiv:1209.2754v1 [gr-qc] 12 Sep 2012 pcfi om ftepretfli arnin[–] oto hs a these of Lagrangian Most fluid [1–5]. perfect Lagrangian fluid on-shell perfect the the of forms specific e eiaino h arnino efc udwt baro a with fluid perfect a of Lagrangian the of derivation New oga hyda ihtere hr h atrLgaga enter Lagrangian matter situation). the specific some where in theories opposite with the deal prove they as long oennmnmlmte/clrculn 5 11]. [5, 1 coupling [1–4, matter/scalar coupling non-minimal matter/curvature some non-minimal some with theories L dpe cin nadto,tecniin ftecnevto of conservation the of conditions d the was addition, fluid In perfect barotropic action. a adopted for Lagrangian the consideration, diinlfils ttrsotta h nselLgaga a also c can matter Lagrangian the on-shell as the r such that to out – able turns thermodynamics be it effectively of fields, to laws additional order the in multipliers with Lagrange concordant as well as fields, oeta atrLgaga fteform the of Lagrangian matter a that note arninlast ait fdffrn edeutos Therefor equations. results field o Brown’s different laws of of non-applicability the variety L the a that th of to fact where proof leads simple theories a Lagrangian the the as that, viewed in than be applicable should more be Even should [6] equations. Brown field by GR in obtained ste4vlct ftefli,and fluid, the of 4-velocity the is edeutos hrfr,tefil qain ftoetere s theories those of equations field perfec the Therefore, the of equations. relativist field motion general of imperfect equations and the perfect derive for to principles variational [9] in considered was arninwt epc otedrvtvso h ercwr loim also were metric the of derivatives the to respect with Lagrangian oin n[]wspooe natraiepretfli Lagrangian fluid perfect alternative sinc an GR, proposed in was u consequences [7] no In has Lagrangian motion. the of degeneracy This L edvariables field ecito ed oavrainlpicpewoeLgaga density six Lagrangian of whose terms principle in variational a expressed to being leads four-velocity description the with form, Eulerian ihrsett h oitcve fmdr hsc,wihrqie a requires which Physics, modern of view monistic phenomena. the to respect with α m m m nodrt banslal qain fmto,rcnl developed recently motion, of equations solvable obtain to order In ob oeseic w antere aebe osdrdwhere considered been have theories main two specific, more be To narcn ok[2,isedo sn h eut fBon[]and [6] Brown of results the using of instead [12], work recent a In oee,i un u hti oeatraietere fgravity, of theories alternative some in that out turns it However, h rtovostigoecncamaotti iuto sta there that is situation this about claim can one thing obvious first The , = = ρ = and , P P eateto hsc n etrfrTertcladComput and Theoretical for Center and Physics of Department − ec,i hs oestePyisse ob ieetdpnigo depending different be to seem Physics the models these in Hence, . ρ o hi nselpretfli arnin–o n iercombinatio linear any or – Lagrangian fluid perfect on-shell their for where , T ftemti,ad2 h atcenme ftefli sconser is fluid the of number Lagrangi the particle of the theories part 2) of matter and range the metric, wide 1) the a are: of derivation to the applicable in is used result the Besides, stepesr.T rv hsrsl o diinlfilsne fields additional nor result this prove To pressure. the is aorpcpretfli is fluid perfect barotropic a ASnmes 42.v 42.y 04.50.Kd 04.20.Fy; 04.20.Cv; numbers: PACS where , nti ae egv ipepofta hntepril num particle the when that proof simple a give we paper this In g µν lo h qain fhdoyaisfrapretfli ngenera in fluid perfect a for hydrodynamics of equations the Also, . ρ u steeeg est ftefli.Ti euti bandb introducin by obtained is result This fluid. the of density energy the is α stefli orvlct,and four-velocity, fluid the is e rplinLbrtr,Clfri nttt fTechno of Institute California Laboratory, Propulsion Jet 80OkGoeDie aaea A91909,USA 91109-0899, CA Pasadena, Drive, Grove Oak 4800 o uRa,Hn og epesRpbi fChina of Republic People’s Kong, Hong Road, Fu Pok ρ sters aseeg est) swl so h non-dependenc the of as well as density), energy mass rest the is L L m m ihu lsi nry ssont euei eea eaiiy(GR Relativity General in reduce to shown is energy, elastic without , = L − m ρ .INTRODUCTION I. = c 2 lve Minazzoli Olivier − + iei Harko Tiberiu ρ R 1+ (1 P T ( ρ ) h ettmeaueo h ud n ftegravitational the of and fluid, the of temperature rest the ǫ /ρ ,where ), 2 dρ e ob ieetwehroeconsiders one whether different be to eem cfliswr osdrdi [10]. in considered were fluids ic where , rvdfo h qain fmto nue ythe by induced motion of equations the from erived ,alwrs[–,1]cnieigta n a write can one that considering 11] [2–5, works all e, toa hsc,TeUiest fHn Kong, Hong of University The Physics, ational poce tr rmtewr fBon[] where [6], Brown of work the from start pproaches ] rBasDcelk clrtno hoiswith theories scalar-tensor Brans-Dicke-like or 2]; h atrfli urn ( current fluid matter the ohLgagasla otesm qain of equations same the to lead Lagrangians both e be oe.B sn hs supin n a show can one assumptions these using By posed. ietyi h edeutos(nesoecan one (unless equations field the in directly s ǫ o h efc udi h pressure the is fluid perfect the for hc sfnto ftehdoyai variables hydrodynamic the of function is which te arnemlilesaeneeded. are multipliers Lagrange ither h atrLgaga per xlctyi the in explicitly appears Lagrangian matter the eoiyptnil n[] h velocity-potential The [8]. in potentials velocity fgaiain h nyassumptions only The gravitation. of nde o eedo h derivatives the on depend not does an udfo aitoa rnil.Otherwise, principle. variational a from fluid t hsc eedo h osdrdLagrangian considered the on depend Physics f nqemteaia ecito ftenatural the of description mathematical unique steeatcptnil(rteitra energy) internal the (or potential elastic the is L retcnevto.Hwvr eas fthe of because However, conservation. urrent e ( ved ntere hr h eeeayo h matter the of degeneracy the where theories in L cntutapretfli teseeg tensor stress-energy fluid perfect a econstruct ftyn oapyte oteter under theory the to them apply to trying of m ρ e scnevd h arninof Lagrangian the conserved, is ber lentv hoiso rvtto s some use gravitation of theories alternative m sthe is nesdrcl ntefil equations: field the in directly enters atrLgaga nesdrcl nthe in directly enters Lagrangian matter e = ∇ sasltl orao h h results the why reason no absolutely is σ P hscoc hc sntsatisfactory not is which – choice this n ( ρu of n etmass rest where , σ 0). = ) logy, − rpceuto fstate of equation tropic ρ P eaiiyhv encs in cast been have relativity l and est and density stepesr ftefluid. the of pressure the is P ∇ a eicretas incorrect be may – σ ( aiu additional various g ρu σ P ,where 0, = ) ftematter the of y ( ρ P ) e salso us Let . L m = − f to ) ρ ( R u or α ) 2 that for the considered modified gravity model one has = ρ 1+ P (ρ)/ρ2dρ . Lm − In the following, we extend the result of [12] to any gravitational tRheory that satisfies the conditions of the con- servation of the matter fluid current as well as the non-dependency of the matter Lagrangian with respect to the derivatives of the metric. Besides, the present demonstration is actually much simpler than in [12]. Also, in the Appendix we show that in the case of scalar-tensor theories with scalar field/matter coupling the result is compatible with a Brown-like way of deriving the Lagrangian . In the present paper we use the Misner-Thorne-Wheeler (MTW) conventions [13]. Also, while c = 1 has been used in the Introduction Section in order to match previous studies’ notation, we will explicitly keep c in the rest of the paper.
II. THE LAGRANGIAN OF A BAROTROPIC PERFECT FLUID
We start with the usual definition of the stress-energy tensor Tµν , given by 2 δ(√ g ) T = − Lm . (1) µν −√ g δgµν − Considering the usual assumption that the matter part of the Lagrangian m does not depend on the derivatives of the metric, we obtain L 2 ∂(√ g ) ∂ T = − Lm = g 2 Lm . (2) µν −√ g ∂gµν Lm µν − ∂gµν − Now, by considering a fluid with a barotropic equation of state P (ρ), we can assume that m depends on ρ only. If one considers that the matter current is conserved ( (ρuσ) = 0), then one can prove thatL [12, 14]: ∇σ 1 δρ = ρ (g u u ) δgµν , (3) 2 µν − µ ν where uα is the 4-velocity of the fluid, defined in a system of coordinates xσ as uα = dxα/ds, where ds is such that ds2 = c2dτ 2, with τ the proper time of the fluid particles, and with ρc2 the rest mass energy density. Using Eqs. (2) and (3)− we obtain [12] d d T µν = ρ Lm uµuν + ρ Lm gµν . (4) dρ Lm − dρ Now, since we want to obtain the Lagrangian of a barotropic perfect fluid, we have to equate this equation with the usual stress-energy tensor of a barotropic perfect fluid, T µν = [ǫ(ρ)+ P (ρ)] uµuν + P (ρ)gµν , (5) − where ǫ(ρ) is the total energy density of the fluid. Therefore we obtain the following two equations, = ǫ(ρ), (6) Lm − d ǫ(ρ)+ P (ρ) Lm = . (7) dρ − ρ Using Eqs. (6) and (7), we obtain the following first order linear differential equation for the energy density of the fluid, dǫ(ρ) ǫ(ρ)+ P (ρ) = . (8) dρ ρ The general solution of this equation is P (ρ) ǫ(ρ)= Cρ + ρ dρ, (9) Z ρ2 where C is an arbitrary integration constant. Therefore, we have shown that the Lagrangian P (ρ) m = Cρ ρ dρ, (10) L − − Z ρ2 3 leads to an energy-momentum tensor of the form
T µν = ρ [C + Π(ρ)] + P (ρ) uµuν + P (ρ)gµν , (11) −{ } where P (ρ) dP P Π(ρ)= dρ = , (12) Z ρ2 Z ρ − ρ is the elastic compression potential energy per unit mass of the fluid [14]. The integration constant is given by C = c2. A simple way to figure it out is to take the point particle limit of the considered action, and to equate it with the 2 usual point particle action (Sm = mc ds, where m is the rest mass of the point particle). Therefore, the Lagrangian of a barotropic perfect fluid is given byR
2 P (ρ) m = ρ c + dρ . (13) L − Z ρ2 The corresponding stress-energy tensor can be written as
T µν = ρ c2 + Π(ρ) + P (ρ) uµuν + P (ρ)gµν , (14) − or, equivalently,
T µν = ρ c2 + Π(ρ) + P (ρ) U µU ν + P (ρ)gµν , (15) where U α = c−1dxα/dτ is the four-velocity of the fluid divided by the speed of light 1. One can verify that this stress-energy tensor is indeed of the form assumed, for instance, in celestial relativistic mechanics [16–20]. σ Also, from the conservation of the rest mass density ( σ(ρu ) = 0) and using equations (9) and (12), one derives the usual non-conservation equation for the total energy∇ density:
(ǫuσ)= P (uσ). (16) ∇σ − ∇σ Let us note that, for a fluid satisfying a linear barotropic equation of state P = (γ 1) ρc2 with γ = constant, one has: −
2 ρ m = ρc 1 + (γ 1) ln , (17) L − − ρ0 where ρ0 is an arbitrary constant of integration. The specific example with the stiff fluid equation of state γ = 2 gives 2 ρ m = ρc 1 + ln ρ0 . L − h i Otherwise, for a fluid satisfying a polytropic equation of state P = Kρ1+1/n, where both K and n are constant, one gets:
2 1/n m = ρ c + Kρ + C , (18) L − h i where C is an integration constant.
III. CONCLUSIONS AND FINAL REMARKS
In this note, we have shown that as long as one considers (generic) cases where both equations (2) and (3) are valid, in the MTW signature the Lagrangian of a barotropic perfect fluid is
2 P (ρ) m = ρ c + dρ , (19) L − Z ρ2
1 It also has to be pointed out that, conversely to other works, a correct Lagrangian is used in [15]. 4 regardless of the nature of the theory considered otherwise. However, it has to be emphasized that even if the conservation of the matter current is a legitimate assumption, a non-conservation is conceivable as well. Indeed, the theories considered for our purpose all lead to a non-conservation of the stress-energy tensor. In the case of the scalar-field theories with scalar field/matter coupling for instance, it means that there is an energy transfer between the scalar and the matter fields. The energy transfer has two implications: either it modifies the geodesic equation of motion of the free particles, or it induces a non-conservation of the particle number (or both at the same time). Therefore, it would be interesting to relax the condition on the conservation of the matter current in order to obtain a more general result. Otherwise, in this paper we prove that the works [2–5, 11] that use m = P , or any of the specific linear combination of ρ and P for the Lagrangian, are incompatible with the matter currentL conservation. Also, let us remark that it seems− very unlikely that in the most general case – where the matter current conservation constraint is relaxed – the Lagrangian would reduce precisely to either m = P or any of the specific linear combination of ρ and P that is used in many works. Therefore, we finally argueL that one should be very cautious before considering− any of the results of the works that used the results of Brown [6] in alternative theories of gravity without questioning the validity of its extrapolation to this type of models, as, for instance, in [2–5, 11].
Acknowledgments
This research was supported by an appointment to the NASA Postdoctoral Program at the Jet Propulsion Labora- tory, California Institute of Technology, administered by Oak Ridge Associated Universities through a contract with NASA. c 2012 California Institute of Technology. Government sponsorship acknowledged.
[1] O. Bertolami, C. G. Boehmer, T. Harko, and F. S.N. Lobo, Phys. Rev. D 75, 104016 (2007). [2] O. Bertolami, F. S. N. Lobo, and J. Paramos, Phys. Rev. D 78, 064036 (2008). [3] T. P. Sotiriou and V. Faraoni, Classical and Quantum Gravity 25, 205002 (2008). [4] V. Faraoni, Phys. Rev. D 80, 124040 (2009). [5] H. Farajollahi, A. Ravanpak, and G. F. Fadakar, Phys. Lett. B 711, 225 (2012). [6] J. D. Brown, Classical and Quantum Gravity 10, 1579 (1993). [7] A. H. Taub, Phys. Rev. 94, 1468 (1954). [8] B. F. Schutz, Phys. Rev. D 2, 2762 (1970). [9] S. W. Hawking and G. F. R. Ellis, The large scale structure of space-time, London, University Press, (1973). [10] M. Bailyn, Phys. Rev. D 22, 267 (1980). [11] K. Saaidi, A. Mohammadi, and H. Sheikhahmadi, Phys. Rev.D 83, 104019 (2011); H. Farajollahi and A. Salehi, Phys. Rev. D 83, 124042 (2011); H. Farajollahi and A. Salehi, Journal of Cosmology and Astroparticle Physics 7, 36 (2011). [12] T. Harko, Phys. Rev. D 81, 044021 (2010). [13] C. W. Misner, K. S. Thorne, and J. A. Wheeler, Gravitation, San Francisco, W. H. Freeman and Co. (1973). [14] V. A. Fock, The theory of space, time, and gravitation, New York, Pergamon Press (1959). [15] O. Minazzoli, submitted for publication (2012) (eprint arXiv:1208.2372). [16] S. M. Kopejkin, Celestial Mechanics 44, 87 (1988). [17] V. A. Brumberg and S. M. Kopejkin, Nuovo Cimento B 103, 63 (1989). [18] S. A. Klioner and M. H. Soffel, Phys. Rev. D 62, 024019 (2000). [19] M. Soffel, S. A. Klioner, G. Petit, P. Wolf, S. M. Kopeikin, P. Bretagnon, V. A. Brumberg, N. Capitaine, T. Damour, T. Fukushima, et al., Astrophys. J. 126, 2687 (2003). [20] S. Kopeikin and I. Vlasov, Physics Reports 400, 209 (2004).
Appendix A: On the extension of the work of Brown to scalar-tensor theories with scalar/matter coupling
The action describing Brans-Dicke theory with a universal spin-0/matter coupling can be written as follows [15],
4 ω 2 S = d x√ g ΦR (∂σΦ) V (Φ)+2f(Φ) m , (A1) Z − − Φ − L 5 where g is the metric determinant, R is the Ricci scalar constructed from the metric gµν , and m the matter Lagrangian. One possible Lagrangian that describes a perfect fluid without elastic energy in GR is givenL by [6]:
= ǫ J /√ g,s + Lm − | | − J σ ∂ ψ + s∂ θ + β ∂ αA , (A2) √ g σ σ A σ − where J α is the particle flux ( J g J ρJ σ), s is the entropy per particle, αA is the 3 Lagrangian coordinates, | |≡ − ρσ and ψ, θ and βA are 6 spacetime scalars.p Now, if one directly inserts this Lagrangian into Eq. (A1), one obtains the following density,
Lm = √ gf(Φ) ǫ J /√ g,s (A3) − − − | | − +( g) 1/2J σ ∂ ψ + s∂ θ + β ∂ αA . − σ σ A σ However, it is easy to figure out that this density does not lead to the required thermodynamic constraints, such σ as the particle number conservation, (∂σ J = 0) and the absence of entropy exchange between neighboring flow σ line (∂σ (sJ ) = 0). Hence, the Lagrangian density (A3) is not suitable to describe a perfect fluid in the class of models considered in this paper. On the contrary, the following Lagrangian density, not only leads to the perfect fluid stress-energy tensor, but also does satisfy the two previously mentioned thermodynamic constraints,
L = √ gf(Φ)ǫ J /√ g,s (A4) m − − | | − σ A +J ∂σψ + s∂σθ + βA∂σα . Therefore, it seems that such a Lagrangian density is valid in order to model a perfect fluid Lagrangian – as long as σ one wants to impose the matter current conservation σ(ρu ) = 0 as in the main part of this paper. But then one has to notice that the second term in the right hand side∇ of equation (A4) does not couple neither with the metric, nor with the scalar field. Hence, only the first term in the right hand side of equation (A4) will enter in the field equations. Therefore, the on-shell perfect fluid is simply m = ǫ, which is in concordance with the main result of this paper. L −