arxiv:gr-qc/ v4 6 Nov 2005

Transcription

1 Desity Perturbatios i the Early Uiverse P. G. Miedema Royal Netherlads Military Academy Hogeschoollaa 2, NL 4818 CR Breda, The Netherlads W. A. va Leeuwe Uiversity of Amsterdam, Istitute for Theoretical Physics, Valckeierstraat 65, NL 1018 XE Amsterdam, The Netherlads (Dated: November 7, 2005) arxiv:gr-qc/ v4 6 Nov 2005 We propose a way to costruct maifestly gauge idepedet quatities out of the gauge depedet quatities occurrig i the liearized Eistei equatios. Thereupo, we show that these gaugeivariat combiatios ca be idetified with measurable perturbatios to the particle ad eergy desities. I order to follow the evolutio of these quatities i time, we rewrite the full set of liearized Eistei equatios as a set of four first order, ordiary differetial equatios for the four physical quatities i questio, amely 1. the perturbatios to the eergy desity, 2. the particle umber desity, 3. the divergece of the spatial fluid velocity ad 4. the local spatial curvature due to a desity perturbatio. Next, we recombie the liearized perturbatio equatios, which still cotai gauge fuctios, i such a way that the resultig equatios cotai oly gauge-ivariat quatities; as it should be, all gauge fuctios have disappeared. I this way, we have arrived at a formulatio of the equatios for cosmological perturbatios that is maifestly gauge-ivariat. This set of liearized ad maifestly gauge-ivariat Eistei equatios for the gauge-ivariat combiatios costitute the mai result of this paper. The set of equatios for the ew gauge-ivariat quatities, however complicated it may seem, is more tractable tha those of earlier treatmets. This lucky circumstace etails that, ulike the situatio ecoutered i former treatmets, we do ot eed to have recourse to ay approximatio. Therefore, we obtai results that, sometimes, differ slightly from those foud so far. As a illustratio, we cosider the equatios for two cases that ca be treated aalytically, amely the radiatio-domiated ad matter-domiated eras of a flat Friedma-Lemaître-Robertso-Walker uiverse. I the radiatio-domiated era we fid, for small-scale perturbatios, acoustic waves with a icreasig amplitude, while stadard treatmets predict acoustic waves with a decayig amplitude. For large-scale perturbatios we fid exactly the same growth rates as i the stadard literature. Fially we metio that, whe cosiderig the o-relativistic limit of the liearized Eistei equatios we fid ot surprisigly the Poisso equatio. Ulike what has bee doe sofar, however, we did ot eed to limit the discussio to a static uiverse, i.e., we foud the Poisso equatio to be valid ot oly i a static, but also i a expadig uiverse. PACS umbers: Bp, Nx, Dx, Ai, Jk I. INTRODUCTION I order to lik the desity perturbatios at the ed of the period of iflatio ad the observed temperature perturbatios i the cosmic 2.7K microwave backgroud radiatio, oe eeds the liearized Eistei equatios. These equatios, which determie the growth of desities i the expadig uiverse after the era of iflatio, are the mai subject of this article. Our fial results are cotaied i the Eqs. (6) (8) with (205) ad (207). Mathematically, the problem is very simple, i priciple. First, all quatities relevat to the problem are split up ito two parts: a backgroud part ad a perturbatio part. The backgroud parts are chose to satisfy the Eistei equatios for a isotropic uiverse, i.e., oe chooses for the backgroud quatities the Friedma-Lemaître- Robertso-Walker-solutio. Because of the isotropy, the backgroud quatities deped o the time coordiate t oly. The perturbatio parts are supposed to be small compared to their backgroud couterparts, ad to deped o the space-time coordiate x = (ct, x). The backgroud ad perturbatios are ofte referred to as zero order ad first order quatities, respectively, ad we will use this termiology also i this article. After substitutig the sum of the Electroic address: p.g.miedema@hccet.l

2 2 zero order ad first order parts of all relevat quatities ito the Eistei equatios, all terms that are products of two or more quatities of first order are eglected. This procedure leads, by costructio, to a set of liear differetial equatios for the quatities of first order. The solutio of this set of liear differetial equatios is the reduced to a stadard problem of the theory of ordiary, liear differetial equatios. A. Historical embeddig The first systematic ad extesive study of cosmological perturbatios is due to Lifshitz [1, 2, 3]. Almost half a cetury later, Mukhaov, Feldma ad Bradeberger, i their 1992 review article[4] etitled Theory of Cosmological Perturbatios metio or discuss more tha 60 articles o the subject, ad, thereupo, suggest their ow approach to the problem. A article of Chug-Pei Ma ad Bertschiger [5], etitled Cosmological Perturbatio Theory i the Sychroous ad Coformal Newtoia Gauges critically reviews the existig literature o the subject, icludig the work of Mukhaov et al. For a solid overview of the literature we refer to the refereces by the aforemetioed authors [4, 5]. For a ice historical overview of gauge theories we refer to O Raifeartaigh ad Strauma [6]. A actual likig of iflatioary perturbatios ad observable radiatio backgroud aisotropies has bee performed by va Tet [7]. The fact that so may studies are devoted to a problem that is othig but obtaiig the solutio of a set of ordiary, liear differetial equatios is due to the fact that there are several complicatig factors, ot regardig the mathematics ivolved, but with respect to the physical iterpretatio of the solutios. I this article we will try ad explai what has bee doe so far, ad we will defie, at the same time, gauge-ivariat expressios for the physical perturbatios to the eergy ad particle umber desities, which differ from gauge-ivariat combiatios ecoutered i the literature. I the limit of low velocities, but ot ecessarily i the limit of slow expasio of the uiverse, our first order equatios reduce, ot surprisigly, to oe sigle equatio, the well-kow Poisso equatio. We thus fid that the Poisso equatio is valid i a expadig uiverse. This result, which has ot bee foud earlier, is a immediate result from our choice of gauge-ivariat quatities. See Sec. IX. Let us ow try ad explai i some detail what exactly is the complicatig factor i ay treatmet of the liearized Eistei equatios. B. Origi of the problem At the very momet that oe has split up a physical quatity ito a zero order ad a first order part, oe itroduces a ambiguity. To be explicit, let us cosider the two quatities that play the leadig roles i the theory of cosmological perturbatios. They are: the eergy desity of the uiverse, ε(x), ad the particle umber desity of the uiverse, (x). The liearized Eistei equatios cotai as kow fuctios the zero order fuctios ε (0) (t) ad (0) (t), which describe the evolutio of the backgroud, i.e., they describe the evolutio of the uperturbed uiverse ad they obey the uperturbed Eistei equatios, ad as ukow fuctios the perturbatios ε (1) (x) ad (1) (x). The latter are the solutios to be obtaied from the liearized Eistei equatios. The subidexes 0 ad 1, which idicate the order, have bee put betwee roud brackets, i order to distiguish them from tesor idices. I all calculatios, products of a zero order ad a first order quatity are cosidered to be of first order, ad are retaied, whereas products of first order quatities are eglected. Havig said all this, we ca say where ad how the ambiguity metioed above arises. The liearized Eistei equatios, which, as stated above already, are the equatios which determie the first order quatities ε (1) (x) ad (1) (x), do ot fix these quatities uiquely. I fact, it turs out that ext to ay solutio for ε (1) ad (1) of the liearized Eistei equatios, there exist solutios of the form ˆε (1) (x) = ε (1) (x)+ψ(x) 0 ε (0) (t), ˆ (1) (x) = (1) (x)+ψ(x) 0 (0) (t), (1a) (1b) which also satisfy the liearized Eistei equatios. Here the symbol 0 stads for the derivative with respect to x 0 = ct. I the equatios (1) the fuctio ψ(x) is a arbitrary but small fuctio of the space-time coordiate x = (ct,x), i.e., we cosider ψ(x) to be of first order. We will derive the equatios (1) at a later poit i this article; here it is sufficiet to ote that, as (1a) ad (1b) show, the perturbatios ε (1) ad (1) are fixed by the liearized Eistei equatios up to terms that are proportioal to a arbitrary, small fuctio ψ(x), usually called a gauge fuctio i this cotext. Sice a physical quatity, i.e., a directly measurable property of a system, may ot deped o a arbitrary fuctio, the quatities ε (1) ad (1) caot be iterpreted as the real, physical, values of the perturbatios i the eergy desity or the particle umber desity. But, if ε (1) ad (1) are ot the physical

3 perturbatios, what are the real perturbatios? This is the otorious gauge problem ecoutered i ay treatmet of cosmological perturbatios. May differet aswers to this questio ca be foud i the literature, oe of which is completely satisfactory, a fact which explais the ogoig discussio o this subject. It is our hope that the aswer give i the preset article will tur out to be the defiitive oe. 3 C. Gauge-ivariat combiatios What we will do i this article is leave ψ(x) udetermied, i.e., we do ot choose ay particular gauge, but we elimiate the gauge fuctio ψ(x) from the theory altogether. This is ot a ew idea: may articles have bee writte i which gauge-ivariat quatities, i.e., quatities idepedet of a gauge fuctio are used. What oe essetially does i ay gauge-ivariat approach is to try ad costruct expressios for the perturbatios [like we do i Eqs. (2)], which are such that ψ(x) disappears from the defiig expressios of the physical quatities. These quatities, the perturbatios i eergy desity ad particle umber desity i our case, are the show to obey a set of liear equatios, ot cotaiig the gauge fuctio ψ(x) aymore [see Eqs. (6) ad (7) with (205) ad (207)]. These equatios follow, by elimiatio of the gauge depedet quatities i favor of the gauge-ivariat oes, i a straightforward way from the usual liearized Eistei equatios, which did cotai ψ(x). I this way, the theory is o loger plagued by the gauge freedom that is iheret to the origial equatios ad their solutios: ψ(x) has disappeared altogether, as it should, ot with brute force, but as a atural cosequece of the defiitios (2) of the perturbatios to the eergy ad the particle umber desities. As oted above, our approach also belogs to the class of gauge-ivariat cosmological theories, where terms are added to the perturbatios i such a way that they become idepedet of the particular choice of coordiates. However, this ca be doe, i priciple, i ifiitely may ways, sice ay liear combiatio of gauge-ivariat quatities is gauge-ivariat also. Our treatmet distiguishes itself from earlier treatmets by the fact that our set of first order equatios reduces to the usual o-relativistic theory i the limit that the three-part of the cosmological fluid velocity four-vector U µ is small compared to the velocity of light. Cosequetly, our splittig up of the eergy desity ad the particle umber desity i a zero order ad a first order part is such that the first order part reduces to the o-relativistic expressio. I other words, our treatmet of perturbatios is aroud the classical, Newtoia theory of gravity. By the way, this is ot a coditio sie qua o for a treatmet of cosmological perturbatios to be true, valid or eve useful for some particular purpose, but it is a very desirable property. We will come back to this poit i Sec. IX. D. Structure of the article This article beig quite exteded, it might be useful to outlie shortly its structure. I Sec. IE we defie, i Eqs. (2), the physical perturbatios to the eergy desity, ε gi (1) ad the particle umber desity gi (1) that we propose i this article. I Sec. IG, we explai how the gauge problem actually arises i cosmology oce oe chooses to solve the Eistei equatios perturbatively, i.e., by meas of a series expasio. Furthermore, we show i this sectio that the quatities ε gi (1), defied i Sec. I E, are gauge-ivariat. I Sec. IH we further motivate our choice of these physical perturbatios ε gi (1) by otig that they reduce to the perturbatios as they occur i Newto s theory of gravitatio, cotrarily to what is the case for the perturbatios defied i earliertreatmets. The proofof this statemet is postpoed to Sec. IX. I Sec. X we apply our perturbatio theory to the cases of a radiatio-domiated ad the matter-domiated uiverse ad we show that our approach yields i the radiatio-domiated era small-scale growig desity perturbatios, i cotrast to the decayig desity perturbatios foud i earlier literature. I Sec. II we itroduce a particular system of coordiates, the well-kow sychroous coordiates, ad rewrite the Eistei equatios with respect to this particular coordiates. I Sec. III we restrict the problem of obtaiig a solutio of the perturbed Eistei equatios to uiverses for which the zero order solutio is homogeeous ad isotropic, the so-called Friedma-Robertso-Walker or Friedma-Lemaître-Robertso-Walker uiverses. This sectio is rather techical: we treat zero order ad first order quatities i Secs. IIIA ad IIIB, zero order Eistei equatios ad coservatio laws i Secs. IIIC1 ad IIIC2, ad, fially, first order equatios ad coservatio laws i Secs. IIID1 ad IIID2. I Sec. IV the first order equatios are split up accordig to their tesorial character, i.e., whether they are a scalar, a vector or a secod rak tesor. The tesorial, the vectorial ad the scalar parts of the perturbatios, ad the equatios they should obey, are derived i Secs. IVA, IVB ad IVC, respectively. Sice, i this article, we are oly iterested i the eergy desity ad the particle umber desity, which both are scalar quatities, we oly eed the scalar equatios. I Sec. V, the liearized Eistei equatios for scalar perturbatios foud i Sec. IV C are rewritte

4 ad simplified: i this sectio we show that the set of coservatio laws ad costrait equatios ca be rewritte as a set of four first order ordiary differetial equatios ad oe algebraic equatio. It is foud that oly three scalars play a role i the theory of desity perturbatios, implyig that there is very little choice for the costructio of gauge-ivariat quatities. A summary of all relevat equatios is give i Sec. VI. Sec. VII is devoted to the perturbatios i some thermodyamical quatities related to the eergy desity ad particle umber desity perturbatios. I Sec. VIII the perturbatio equatios derived i Sec. V are rewritte i a maifestly gauge-ivariat form. I Sec. IX we cosider the Newtoia limit ad i Sec. X we apply the evolutio equatios (209) to the two mai eras of a flat flrw uiverse. Fially, i Sec. XI we relate our results to results of earlier work. I Appedix A some useful thermodyamic relatios are collected. Appedix B is devoted to gauge trasformatios. I Appedix C we show that i the o-relativistic limit there remais some gauge freedom, left over from the geeral theory relativity. Details to the derivatios i Sec. VIII are give i Appedix D. I Appedix E we derive the stadard equatios usig the perturbatio equatios (202). Fially, Appedix F gives a list of the symbols ad otatios used i the mai text. 4 E. Gauge-ivariat quatities I the existig literature o cosmological perturbatios, oe has attempted to solve the problem that correspods to the o-uiqueess of the perturbatios ε (1) ad (1) (1) i two, essetially differet, ways. The first way is to impose a extra coditio o the gauge field ψ(x) [8, 9, 10, 11, 12]. Aother way to get rid of the gauge field ψ(x) is to take liear combiatios of the matter variables ad compoets of the perturbed metric tesor to costruct gauge-ivariat quatities (Bardee [13], Mukhaov, et al. [4]). The latter approach is geerally cosidered better tha the oe where oe fixes a gauge, because it ot oly leads to quatities that are idepedet of a udetermied fuctio, as should be the case for a physical quatity, but it also does ot rely o ay particular choice for the gauge fuctio, ad, therefore, has less arbitrariess. I this article we approach the gauge problem i a Bardee- or Mukhaov-like way. However, istead of addig terms cotaiig perturbatios of the metric tesor field g µν, we add a term that is proportioal to (mius) the divergece of the (ormalized) cosmological four velocity U µ : ε gi (1) := ε (1) 0ε (0) 0 θ (0) θ (1), gi (1) := (1) 0 (0) 0 θ (0) θ (1), (2a) (2b) where θ (0) ad θ (1) are the backgroud ad perturbatio part of the covariat four-divergece c 1 U µ ;µ of the cosmological fluid velocity field U µ (x). At first sight, these additioal terms look quite artificial. However, i Sec. IG we will show how they arise very aturally. I Sec. IG, we will show that the quatities ε gi (1) do ot chage if we switch from the old coordiates x µ to ew coordiates ˆx µ accordig to ˆx µ = x µ ξ µ (x), (3) where the ξ µ (x) (µ = 0,...,3) are four arbitrary fuctios, cosidered to be of first order, of the old coordiates x µ. I other words, we will first show that ˆε gi (1)(x) = ε gi (1)(x), ˆ gi (1)(x) = gi (1)(x), (4a) (4b) i.e., the perturbatios (2) are idepedet of ξ µ (x), i.e., gauge-ivariat. The combiatios (2) are ot completely obvious ideed, but the proof i Sec. IG that they will be gauge-ivariat will take away the mystery completely: the above gauge-ivariat combiatios (2) will the eve tur out the obvious gauge-ivariat quatities to study. Before showig this, we roud off the preset reasoig. If we trasform the liearized Eistei equatios with ε (1) (x) ad (1) (x) to the ew coordiates ˆx, (3), it will tur out that we fid equatios i which oly the zero compoet of the gauge fuctios ξ µ (x), (µ = 0,1,2,3), occurs. We will call it ψ(x): ψ(x) ξ 0 (x). (5)

5 I cosmology, the gauge fuctio ψ(x) is to be treated as a first order quatity, i.e., as a small (or ifiitesimal ) chageofthe coordiates. Ifwe elimiate with the help of(2) the quatities ε (1) (x) ad (1) (x) fromthe liearized Eistei equatiosi favorofthe gauge-ivariatquatitiesε gi (1)(x) ad gi (1)(x), we obtai equatios i which the gauge fuctio ψ(x) is abset altogether. The disappearace of the gauge fuctio ψ(x) is due etirely to the itroductio of the gauge-ivariat quatities ε gi (1)(x) ad gi (1)(x) rather tha ε (1) (x) ad (1) (x). The gauge-ivariatquatitiesε gi (1) could be the physical perturbatios of the eergy desity ad the particle umber desity we are after, sice they are idepedet of the gauge field ψ(x), but this is ot true a priori, sice ay liear combiatio of gauge-ivariat quatities is gauge-ivariat. Hece, it is ot evidet that the particular combiatios proposed i the equatios (2) correspod to physical, i.e., measurable quatities. However, as we will show i sectio IX, their o-relativistic limit is just what oe would expect. 5 F. Fial results The key to the solutio of the gauge problem of cosmology are the equatios (173) (174), which are derived i Sec. V. We obtai from these equatios (see Sec. VIII) a ew set of evolutio equatios for the gauge-ivariat perturbatios ε gi (1). The equatio for ε gi (1) is a simple secod order differetial equatio of the form: ε gi (1) +a 1 ε gi (1) +a 2 ε gi (1) = a 3 σ gi (1), (6) where σ gi (1) is give by the fuctio (207). A dot deotes the derivative with respect to x 0 = ct. The coefficiets a 1, a 2 ad a 3 are complicated combiatios of ε (0), (0), the spatial curvature 3 R (0), the Hubble fuctio H ad the equatio of state p (0) = p(ε (0), (0) ) ad its partial derivatives [see Eq. (205)]. After oe has solved this equatio for ε gi (1), oe ca calculate the gauge-ivariat perturbatio to the particle umber desity with the help of the formula [see Eq. (189)] gi (1) = σ gi (0) (1) + ε (0) (1+w) εgi (1), (7) where w := p (0) /ε (0). The secod order differetial equatio (6) for the first order eergy desity perturbatio ε gi (1) ad the expressio (7) for the first order particle desity perturbatio gi (1) are the mai results of this paper. They are obtaied without ay approximatio. With their help oe ca relate the (measurable) fluctuatio i the cosmic backgroud temperature [see Eq. (200)] ( ) ε ε gi T gi (1) = (1) ( ) ε T T gi (1), (8) to fluctuatios T(1)(t gi 0,x) at a time t 0 at the ed of the era of iflatio. I order to get some isight ito what these equatios imply, we cosider two particular cases: the flat flrw uiverse i the radiatio-domiated ad the matter-domiated eras. As is commo usage, we cosider the so-called cotrast fuctios δ ε := ε gi (1)/ε (0) ad δ := gi (1)/ (0) [see Eqs. (209)] rather tha the fluctuatios ε gi (1) themselves. I the radiatio-domiated era we fid for these cotrast fuctios the system of equatios (235) with the exact solutios (236) ad (244). For large-scale perturbatios these solutios are i complete agreemet with the solutios foud i the stadard theory. For small-scale perturbatios, however, Eqs. (235) yield solutios differet from those foud i the stadard theory: we fid a oscillatig solutio with a icreasig amplitude, whereas the stadard result is a oscillatig solutio with a decayig amplitude. I the matter-domiated era we fid the equatio (265), which is slightly differet from the stadard equatio (279). For the desity cotrast fuctio, δ ε, we fid the solutio (270) rather tha the solutio (280) foud i the stadard literature. The purpose of this article is to preset a logical ad straightforward derivatio of the liearized Eistei equatios, culmiatig i the equatios (6), (7) ad (8). It is ot our purpose to solve ad discuss these equatios i detail i the various stages of the evolutio of the uiverse, ad aalyze the possible cosmological cosequeces that might be cotaied i our equatios.

6 6 G. Gauge-ivariat first order perturbatios We ow proceed with the proof that ε gi (1) are gauge-ivariat. To that ed, we start by recallig the defiig expressio for the Lie derivative of a arbitrary tesor field A α β µ ν with respect to a vector field ξ τ (x). It reads (L ξ A) α β µ ν = A α β µ ν;τξ τ A τ β µ νξ α ;τ A α τ µ νξ β ;τ +A α β τ νξ τ ;µ + +A α β µ τξ τ ;ν, (9) where the semi-colo deotes the covariat derivative. At the right-had side, there is a term with a plus sig for each lower idex ad a term with a mius sig for each upper idex. Recall also, that the covariat derivative i the expressio for the Lie derivative may be replaced by a ordiary derivative, sice the Lie derivative is, by defiitio, idepedet of the coectio. This fact simplifies some of the calculatios below. Now, let {x µ } ad {ˆx µ = x µ ξ µ (x)} be two sets of coordiate systems, where ξ µ (x) is a arbitrary but ifiitesimal, i.e., i this article, of first order vector field. The the compoets Âα β µ ν(x) of the tesor A with respect to the ew coordiates ˆx µ ca be related to the compoets of the tesor A α β µ ν(x), defied with respect to the old coordiates {x µ } with the help of the Lie derivative. Up to ad icludig terms cotaiig first order derivatives oe has  α β µ ν(x) = A α β µ ν(x)+(l ξ A) α β µ ν(x)+. (10) For a derivatio of this equatio, see Weiberg [14], Chap. 10, Sec. 9. Note that x i the left-had side correspods to a poit, P say, of space-time with coordiates x µ i the coordiate frame {x}, while i the right-had side x correspods to aother poit, Q say, with exactly the same coordiates x µ, but ow with respect to the coordiate frame {ˆx}. Thus, equatio (10) is a expressio that relates oe tesor field A at two differet poits of space-time, poits that are related via the relatio (3). The followig observatio is crucial. Because of the geeral covariace of the Eistei equatios, they are ivariat uder geeral coordiate trasformatios x ˆx ad, i particular, uder coordiate trasformatios give by (3). Hece, if some tesorial quatity A(x) of rak ( = 0,1,...) satisfies the Eistei equatios with as source term the eergy-mometum tesor T, the quatity Â(x) = A(x) + L ξa(x) satisfies the Eistei equatios with source term ˆT(x) = T(x)+L ξ T(x), for a uiverse with precisely the same physical cotet. Because of the liearity of the liearizedeistei equatios, a liearcombiatioof aytwosolutios is alsoasolutio. I particular, L ξ A, beig the differece of A ad Â, is a solutio of the liearized Eistei equatios with source term L ξt. I first order, L ξ A(x) may be replaced by L ξ A (0) (t), where A (0) (t) is the solutio for A(t) of the zero order Eistei equatios. The freedom to add a term of the form L ξ A (0) (t), with ξ µ (µ = 0,1,2,3) four arbitrary fuctios of first order, to ay solutio of the Eistei equatios of the first order, is the reaso that oe of the first order solutios is uiquely defied, ad, hece, does ot correspod i a uique way to a measurable property of the uiverse. This is the otorious gauge problem referred to i the itroductio of this article. The additioal terms L ξ A (0) (t) are called gauge modes. Combiig (9) ad (10) we have  α β µ ν(x) = A α β µ ν(x)+a α β µ ν;τξ τ A τ β µ νξ α ;τ A α τ µ νξ β ;τ +A α β τ νξ τ ;µ + +A α β µ τξ τ ;ν. (11) We ow apply the equatio (11) to the case that A is a scalar σ, a four-vector V µ ad a tesor A µν, respectively, ˆσ(x) = σ(x)+ξ τ (x) τ σ(x), ˆV µ = V µ +V µ ;τξ τ V τ ξ µ ;τ,  µν = A µν +A µν;τ ξ τ +A τν ξ τ ;µ +A µτ ξ τ ;ν. (12a) (12b) (12c) For the metric tesor, g µν we fid i particular, from Eq. (12c), where we have used that the covariat derivative of the metric vaishes. ĝ µν = g µν +ξ µ;ν +ξ ν;µ, (13)

7 Our costructio of gauge-ivariat perturbatios totally rest upo these equatios for hatted quatities. I case σ(x) is some scalar quatity obeyig the Eistei equatios, σ(x) ca be split up i the usual way i a zero order ad a first order part: σ(x) := σ (0) (t)+σ (1) (x), (14) where σ (0) (t) is some backgroud quatity, ad hece, ot depedet o the spatial coordiates. The (12a) becomes 7 ˆσ(x) = σ (0) (t)+σ (1) (x)+ξ 0 (x) 0 σ (0) (t)+ξ µ (x) µ σ (1) (x). (15) The last term, beig a product of the first order quatity ξ µ (x) ad the first order quatity µ σ (1), will be eglected. We thus fid with where we used (5). Similarly, we fid from (12b) ad (13) ad ˆσ(x) = σ (0) (t)+ ˆσ (1) (x), (16) ˆσ (1) (x) := σ (1) (x)+ψ(x) 0 σ (0) (t), (17) ˆV µ (1)(x) = V µ (1) +V µ (0);τξ τ V τ (0)ξ µ ;τ, (18) ĝ (1)µν(x) = g (1)µν(x)+ξ µ;ν +ξ ν;µ. (19) The latter two equatios will be used later. We are ow i a positio that we ca coclude the proof of the statemet that ε gi (1) are gauge-ivariat. To that ed, we ow write dow the equatio (17) oce agai, for aother arbitrary scalar quatity ω(x) obeyig the Eistei equatios. We the fid the aalogue of Eq. (17) ˆω (1) (x) = ω (1) (x)+ψ(x) 0 ω (0) (t). (20) The left-had sides of (17) ad (20) give the value of the perturbatio at the poit with coordiates x with respect to the old coordiate system {x}; the right-had sides of (17) ad (20) cotais quatities with the same values of the coordiates, x, but ow with respect to the ew coordiate system {ˆx}. Elimiatig the fuctio ψ(x) from Eqs. (17) ad (20) yields ˆσ (1) (x) 0σ (0) (t) 0 ω (0) (t)ˆω (1)(x) = σ (1) (x) 0σ (0)(t) 0 ω (0) (t) ω (1)(x). (21) I other words, the particularliear combiatio occurrig i the right-had side of (21) of ay two quatities ω ad σ trasformig as scalars uder a arbitrary space-time trasformatio of first order, cf. Eq. (3) is gauge-ivariat, ad, hece, a possible cadidate for a physical quatity. The equatio (21) is the key equatio of this article as far as the scalar quatities ε (1) ad (1) are cocered. It tells us how to combie the scalar quatities occurrig i the liearized Eistei equatios i such a way that they become gauge idepedet. The equatio (21) ca be used to immediately derive the expressios (2) for the gauge-ivariat eergy ad particle umber desities. I fact, let U µ (x) be the four-velocity of the cosmological fluid. I the theory of cosmological perturbatios [see Eqs. (170) (171) ad (173) (174)] there will tur out to be oly three scalars, amely ε(x) = c 2 T µν (x)u µ (x)u ν (x), (x) = c 2 N µ (x)u µ (x), θ(x) = c 1 U µ ;µ(x), (22a) (22b) (22c) where N µ := U µ, (23)

8 is the cosmological particle curret four-vector ormalized accordig to U µ U µ = c 2. These scalars are split up accordig to 8 ε(x) = ε (0) (t)+ε (1) (x), (x) = (0) (t)+ (1) (x), θ(x) = θ (0) (t)+θ (1) (x), (24a) (24b) (24c) where the backgroud quatities ε (0) (t), (0) (t) ad θ (0) (t) are solutios of the uperturbed Eistei equatios. They deped o the time coordiate t oly. The relatio (21) ispires us to cosider the gauge-ivariat combiatios ε gi (1)(x) := ε (1) (x) 0ε (0) (t) 0 ω (0) (t) ω (1)(x), gi (1)(x) := (1) (x) 0 (0) (t) 0 ω (0) (t) ω (1)(x), θ gi (1)(x) := θ (1) (x) 0θ (0) (t) 0 ω (0) (t) ω (1)(x). (25a) (25b) (25c) The questio remais what to choosefor ω i these three cases. I priciple, for ω we could chooseay of the followig three scalar fuctios available i the theory, i.e., we could choose ε, or θ. As follows from (25a) ad (25b), the choices ω = ε ad ω = would lead to ε gi (1)(x) = 0 or gi (1)(x) = 0, respectively. This would mea that perturbatios i the eergy or the particle umber desity would show up oly i the secod order. Apparetly, these choices would ot be suitable sice the perturbatios of precisely these quatities are the object of study. We therefore are left with the choice ω = θ, (26) which implies the equatios (2a) ad (2b) for the eergy ad particle umber desity perturbatios, as was to be show, ad, moreover, θ gi (1) = 0. (27) The latter equatio implies that perturbatios i the divergece of the cosmological velocity field θ(x) will oly show up i secod order. This costitutes o problem, sice we are ot iterested i this quatity. Isertig (26) ito (25a) ad (25b) we obtai the expressios (2). Hece, it ow has bee show that ε gi (1) are ideed ivariat uder the ifiitesimal coordiate trasformatio (3), i.e., that they are gauge-ivariat. The liearized Eistei equatios we are about to study cotai the gauge fuctio ψ(x). If we elimiate ε (1) (x) ad (1) (x) from these equatios i favor of ε gi (1)(x) ad gi (1)(x), with the help of the expressios (2), we obtai equatios, which do ot deped o ψ(x) at all: all terms with ψ(x) cacel automatically. This could be expected, because the equatios should have solutios for ε gi (1)(x) ad gi (1)(x) which are, by costructio, idepedet of the diffeomorphism (3). Stated differetly, the fact that ψ(x) disappears from the liearized perturbatio theory is i lie with the earlier observatio that (2) are gauge idepedet combiatios for arbitrary diffeomorphisms (3). I Sec. VIII we will show i detail how this will happe. H. No-relativistic limit of the gauge-ivariat combiatios The followig questio may arise. It is clear ow that ε (1) (x) ad (1) (x) are ot gauge-ivariat, but that the combiatios ε gi (1)(x) ad gi (1)(x) are so. Hece, ε (1) (x) ad (1) (x) caot be physical perturbatios, while ε gi (1)(x) ad gi (1)(x) could be physical. But how ca oe be sure that the particular combiatios (2) are ideed the real physical perturbatios? The fact that they are gauge-ivariat is a ecessary, but ot a sufficiet reaso. Sice, moreover, ay liear combiatio of gauge-ivariat quatities is a ew gauge-ivariat quatity, it is ot clear at all, yet, that the particular combiatios (2) are the right oes. This issue ca be settled by cosiderig the o-relativistic limit, i.e., the limit of low spatial velocities with respect to the speed of light. I this particular case the liearized Eistei equatios (202) (203) imply, see Eqs. (228) ad (229), 2 ϕ(x) = 4πG εgi (1)(t p,x) c 2, (28)

9 where t p idicates the preset time, c is the speed of light, G Newto s gravitatioal costat ad 2 is the usual Laplace operator. This is the well-kow Poisso equatio of the Newtoia theory of gravity. Hece, i the orelativistic regime, the mathematical combiatio ε gi (1) (2a), divided by c 2, is to be iterpreted as the ormal, or right physical perturbatio of the mass desity (1), implyig that ε gi (1) may be iterpreted as the right or physical perturbatio i the eergy desity ideed. Sice the o-relativistic limit of aother Eistei equatio, Eq. (220b), will tur out to imply gi (1)(t p,x) = ε gi (1)(t p,x)/(mc 2 ), Eq. (226b), we see that also gi (1) (2b) is the right physical perturbatio. This aswers the questio raised at the begiig of this sectio with respect to ε gi (1): these quatities are, ideed, the physical perturbatios we were lookig for. 9 II. THE EINSTEIN EQUATIONS REWRITTEN IN SYNCHRONOUS COORDINATES As most authors do, we choose a sychroous system of referece. A sychroous system of referece is a system i which the lie elemet for the metric has the form: ds 2 = c 2 dt 2 g ij (t,x)dx i dx j. (29) The ame sychroous stems from the fact that surfaces with t = costat are surfaces of simultaeity for observers at rest with respect to the sychroous coordiates, i.e., observers for which the three coordiates x i (i = 1,2,3) remai costat. A sychroous system ca be used for a arbitrary space-time maifold, ot ecessarily a homogeeous or homogeeous ad isotropic oe. I a sychroous system, the coordiate t measures the proper time alog lies of costat x i. From (29) we ca read off that (x 0 = ct): g 00 (t,x) = 1, g 0i (t,x) = 0. (30) From the form of the lie elemet i four-space, Eq. (29), it follows that mius g ij (t,x), (i = 1,2,3), is the metric of a three-dimesioal subspaces with costat t. Because of (30), kowig the three-geometry i all hypersurfaces, is equivalet to kowig the geometry of space-time. The followig abbreviatios will prove useful whe we rewrite the Eistei equatios with respect to sychroous coordiates: κ ij := 1 2ġij, κ i j := g ik κ kj, κ ij := + 1 2ġij, (31) where a dot deotes differetiatio with respect to x 0 = ct. From Eqs. (30) (31) it follows that the coectio coefficiets of (four-dimesioal) space-time i sychroous coordiates are give by Γ λ µν = 1 2 gλρ (g ρµ,ν +g ρν,µ g µν,ρ ), (32) Γ 0 00 = Γ i 00 = Γ 0 i0 = Γ 0 0i = 0, Γ 0 ij = κ ij, Γ i 0j = Γ i j0 = κ i j, Γ k ij = 1 2 gkl (g li,j +g lj,i g ij,l ). (33a) (33b) (33c) From Eq. (33c) it follows that the Γ k ij arealso the coectio coefficiets of (three-dimesioal) subspaces of costat time. The Ricci tesor R µν := R λ µλν is, i terms of the coectio coefficiets, give by R µν = Γ λ µν,λ Γ λ µλ,ν +Γ σ µνγ λ λσ Γ σ µλγ λ νσ. (34) Upo substitutig Eqs. (33) ito Eq. (34) oe fids for the compoets of the Ricci tesor R 00 = κ k k κ l kκ k l, R 0i = κ k k i κ k i k, R ij = κ ij κ ij κ k k +2κ ik κ k j + 3 R ij, (35a) (35b) (35c) wheretheverticalbarieq.(35b)deotescovariatdifferetiatiowithrespecttothemetricg ij ofathree-dimesioal subspace: κ i j k := κ i j,k +Γ i lkκ l j Γ l jkκ i l. (36)

10 10 The quatities 3 R ij i Eq. (35c) are foud to be give by 3 R ij = Γ k ij,k Γ k ik,j +Γ l ijγ k kl Γ l ikγ k jl. (37) Hece, 3 R ij isthe Ricci tesorofthe three-dimesioalsubspacesofcostattime. Forthe compoetsr µ ν = g µτ R τν of the Ricci tesor (35), we get R 0 0 = κ k k κ l kκ k l, R 0 i = κ k k i κ k i k, R i j = κ i j κ i jκ k k + 3 R i j, (38a) (38b) (38c) where we have used Eqs. (30) (31). The Eistei equatios read G µν Λg µν = κt µν, (39) where G µν, the Eistei tesor, is give by G µν = R µν 1 2 Rα αg µν. (40) I (39) Λ is a positive costat, the well-kow cosmological costat. The costat κ is give by κ := 8πG c 4, (41) with G Newto s gravitatioal costat ad c the speed of light. I view of the Biachi idetities oe has G µν ;ν = 0, (42) hece, sice g µν ;ν = 0, the source term T µν of the Eistei equatios must fulfill the properties T µν ;ν = 0. (43) These equatios are the eergy-mometum coservatio laws. A alterative way to write the Eistei equatios (39) reads R µ ν = κ(t µ ν 1 2 δµ νt α α) Λδ µ ν. (44) Upo substitutig the compoets (38) ito the Eistei equatios (44), ad elimiatig the time derivative of κ k k from the R 0 0-equatio with the help of the R i j-equatios, the Eistei equatios ca be cast i the form (κ k k) 2 3 R κ k lκ l k = 2(κT 0 0 +Λ), (45a) κ k k i κ k i k = κt 0 i, (45b) κ i j κ i jκ k k + 3 R i j = κ(t i j 1 2 δi jt µ µ) Λδ i j, (45c) where 3 R := g ij 3 R ij = 3 R k k, (46) is the curvature scalar of the three-dimesioal subspaces of costat time. The (differetial) equatios (45c) are the so-called dyamical Eistei equatios: they defie the evolutio (of the time derivative) of the (spatial part of the) metric. The (algebraic) equatios (45a) ad (45b) are costrait equatios: they relate the iitial coditios, ad, oce these are satisfied at oe time, they are satisfied automatically at all times. The right-had side of Eqs. (45) cotai the compoets of the eergy mometum tesor T µν, which, for a perfect fluid, are give by T µ ν = (ε+p)u µ u ν pδ µ ν, (47) where u µ (x) = c 1 U µ (x) is the hydrodyamic fluid four-velocity ormalized to uity: (u µ u µ = 1), ε(x) the eergy desity ad p(x) the pressure at a poit x i space-time. I this expressio we eglect terms cotaiig the shear ad volume viscosity, ad other terms related to irreversible processes. The equatio of state for the pressure p = p(,ε), (48)

11 11 where (x) is the particle umber desity at a poit x i space-time, is supposed to be a give fuctio of ad ε (see also Appedix A for equatios of state i alterative forms). As stated above already, the Eistei equatios (45a) ad (45b) are costrait equatios to the Eistei equatios (45c) oly: they tell us what relatios should exist betwee the iitial values of the various ukow fuctios, i order that the Eistei equatios be solvable. I the followig, we shall suppose that these coditios are satisfied. Thus we are left with the ie equatios (45c), of which, because of the symmetry of g ij, oly six are idepedet. These six equatios, together with the four equatios (43) costitute a set of te equatios for the eleve ( ) idepedet quatities g ij, u i, ε ad. The eleveth equatio eeded to close the system of equatios is the particle umber coservatio law N µ ;µ = 0, i.e., (u µ ) ;µ = 0, (49) [see Eq. (23)] where a semicolo deotes covariat differetiatio with respect to the metric tesor g µν. This equatio ca be rewritte i terms of the fluid expasio scalar defied by Eq. (22c). Usig Eqs. (33), we ca rewrite the four-divergece (22c) i the form where the three-divergece ϑ is give by θ = u 0 κ k ku 0 +ϑ, (50) ϑ := u k k. (51) Usig ow Eqs. (22c), (33), (36) ad (50), the four eergy-mometum coservatio laws (43) ad the particle umber coservatio law (49) ca be rewritte as T 00 +T 0k k +κ k lt l k κ k kt 00 = 0, T i0 +T ik k 2κ i kt k0 κ k kt i0 = 0, (52a) (52b) ad ṅu 0 +,k u k +θ = 0, (53) respectively. Sice T 0i is a vector ad T ij is a tesor with respect to coordiate trasformatios i a subspace of costat time, ad, hece, are tesorial quatities i this three-dimesioal subspace, we could use i (52) a bar to deote covariat differetiatio with respect to the metric g ij (t,x) of such a subspace of costat time t. The Eistei equatios (45) ad coservatio laws (52) ad (53) describe a uiverse filled with a perfect fluid ad with a positive cosmological costat. The fluid pressure p is described by a equatio of state of the form (48): i this stage we oly eed that it is some fuctio of the particle umber desity ad the eergy desity ε. It is ow time to actually derive the zero ad first order Eistei equatios. To that ed, we expad all quatities i the form of series, ad derive, recursively, equatios for the successive terms of these series. Furthermore, we will ow limit the discussio to a particular class of uiverses, amely the collectio of uiverses that, apart from a small, local perturbatio i space-time, are homogeeous ad isotropic, the so-called Friedma-Lemaître-Robertso-Walker (flrw) uiverses. III. ZERO AND FIRST ORDER EQUATIONS FOR THE FLRW UNIVERSE Cosider space-times which are a cotiuous collectio (foliatio) of three-dimesioal, space-like slices of spacetime, each of which is maximally symmetric. Expressed i sychroous coordiates, this statemet meas that we cosider spaces with metric g µν give by g 00 (t,x) = 1, g 0i (t,x) = 0, g ij (t,x) = a 2 (t) g ij (x), (54a) (54b) where g ij (x) is the metric of such a three-dimesioal maximally symmetric subspace. The mius sig i (54b) has bee itroduced i order to switch from the covetioal four-dimesioal space-time with sigature (+,,, ) to the covetioal three-dimesioal spatial metric with sigature (+,+,+). We write a 2 (t) rather tha a(t) for the time depedet proportioality factor i (54b), the so-called scale factor or expasio factor of the uiverse, for reasosthat will become clear later: the scale factor a(t) will tur out to be idetifiable i some cases, as the radius of the uiverse, i.e., the slices of the foliatio are three-dimesioal surfaces i four-space, with radius a(t): see Eq. (77).

12 12 Essetially, however, we oly suppose that the three-part of the metric ca be factorized accordig to (54b), also i case the slices are o surfaces of hyperspheres. We ow expad all quatities cocered i series. We will distiguish the successive terms of a series by a subidex betwee brackets. ε = ε (0) +ηε (1) +η 2 ε (2) +, = (0) +η (1) +η 2 (2) +, p = p (0) +ηp (1) +η 2 p (2) +, θ = θ (0) +ηθ (1) +η 2 θ (2) +, (55a) (55b) (55c) (55d) ϑ = ϑ (0) +ηϑ (1) +η 2 ϑ (2) +, (55e) 3 R = 3 R (0) +η 3 R (1) +η 2 3 R (2) +, (55f) where the subidex zero refers to quatities of the uperturbed, homogeeous ad isotropic flrw uiverse. I order to derive the backgroud ad first order Eistei equatios, we eed acillary quatities, which will also be expaded i series: u µ = u µ (0) +ηu µ (1) +η 2 u µ (2) +, g ij = g (0)ij +ηg (1)ij +η 2 g (2)ij +, κ ij = κ (0)ij +ηκ (1)ij +η 2 κ (2)ij +, T µ ν = T (0)ν µ +ηt (1)ν µ +η 2 T (2)ν µ +, (56a) (56b) (56c) (56d) 3 R ij = 3 R (0)ij +η 3 R (1)ij +η 2 3 R (2)ij +, (56e) Γ k ij = Γ k (0)ij +ηγ k (1)ij +η 2 Γ k (2)ij +. (56f) I Eqs. (55) ad (56) η (η = 1) is a bookkeepig parameter, the fuctio of which is to eable us i actual calculatios to easily distiguish betwee the terms of differet orders. A. Zero order quatities This sectio is cocered with the backgroud or zero order quatities occurrig i the Eistei equatios. All results of this sectio are totally stadard, ad give here oly to fix the otatio uambiguously. A tesor i a maximally symmetric space is called maximally form-ivariat if its Lie-derivatives with respect to all Killig vectors of the maximally symmetric space vaish. Essetially, this meas that the tesor is the same i all directios ad at all places, just as the metric of a maximally symmetric space is the same i all directios ad all places. It ca be proved that the oly maximally form-ivariat scalar fuctio which exists i a maximally symmetric space is a costat, that the oly maximally form-ivariat vector i a maximally symmetric space is the ull vector, ad that the oly maximally form-ivariat secod rak tesor i a maximally symmetric space of dimesio N 3 is proportioal to the metric tesor (see Weiberg [14], Chap. 13). I our case, of a four-dimesioal space-time which is a foliatio of three-dimesioal maximally symmetric spaces, this leads to the followig, geeral, coclusios. A scalar ca oly be a fuctio of time ad the spatial part A i of a vector A µ is the ull vector. Furthermore, the spatial compoets F ij of a tesor F µν must be proportioal to the metric g ij ad the compoets F 0j are idetically zero. I particular, the backgroud eergy desity ε (0) (t,x), Eq. (55a), a space-time scalar, is idepedet of the coordiates x = (x 1,x 2,x 3 ) of the maximally symmetric subspace. Similarly, the backgroud particle umber desity (0), Eq. (55b), the backgroudpressurep (0), Eq. (55c), ad the fluid expasioscalarθ (0), Eq. (55d), all space-time scalars, are fuctios of time oly. Thus we have, with respect to our particular coordiates, ε (0) (t,x) = ε (0) (t), (0) (t,x) = (0) (t), p (0) (t,x) = p (0) (t), θ (0) (t,x) = θ (0) (t). (57) The three-divergece ϑ (0), Eq. (55e), ad the curvature of the three-dimesioal subspaces 3 R (0), Eq. (55f), which are scalars oly with respect to spatial coordiate trasformatios, are also fuctios of time oly, i.e., ϑ (0) (t,x) = ϑ (0) (t), 3 R (0) (t,x) = 3 R (0) (t). (58) Furthermore, the compoet of the four-vector u µ, Eq. (56a), taget to a maximally symmetric space is a threevector i that maximally symmetric space. The oly maximally form-ivariat vector i a maximally symmetric space is the ull vector. Hece, u i (0) = 0. (59)

13 13 Cosequetly, u µ is proportioal to δ µ 0. Moreover, sice u µ is a uit vector, we have u µ (0) = δ µ 0. (60) The zero order backgroud metric tesor, occurrig i Eq. (56b), has bee supposed to be that of a maximally symmetric space, i.e., g (0)ij(t,x) = a 2 (t) g ij (x), (61) compare Eq. (54b). The time derivative of the three-part of the metric g (0)ij, κ (0)ij, Eq. (56c), may be expressed i the usual Hubble fuctio H(t) := (da/dt)/a(t). We prefer to use a fuctio H(t) = c 1 H(t), which we will call Hubble fuctio also. Recallig that a dot deotes differetiatio with respect to ct, we have Substitutig the expasio (56b) ito the defiitios (31), we obtai H := ȧ a. (62) κ (0)ij = Hg (0)ij, κ i (0)j = Hδi j, κ ij (0) = Hg ij (0), (63) where we cosidered oly terms up to the zero order i the bookkeepig parameter η. Similarly, with Eqs. (50), (51), (55d), (55e), (60) ad (63) we fid for the backgroud fluid expasio scalar, θ (0), ad the three-divergece, ϑ (0), θ (0) = 3H, ϑ (0) = 0. (64) Usig Eqs. (47), (55a), (55c), (56b), (60) ad (61) we fid for the compoets of the eergy mometum tesor, Eq. (56d), T 0 (0)0 = ε (0), T i (0)0 = 0, T i (0)j = p (0) δ i j, (65) where the backgroud pressure p (0) is give by the equatio of state (48), which, for the backgroud pressure, is defied by p (0) = p( (0),ε (0) ). (66) i.e., the subidex zero i p (0) refers to the zero order quatities it depeds o; it is ot a differet fuctio of its argumets. Fially, the Ricci tesor of the three-dimesioal maximally symmetric subspaces is proportioal to the metric tesor of that subspace, i.e., 3 R (0)ij = K g ij, (67) (see Weiberg [14], Chap. 15, Sec. 1). The quatity K is time idepedet, as may be see as follows. As follows from Eqs. (56e) ad (56f), the backgroud three-dimesioal Ricci tesor, (37), is give by 3 R (0)ij = Γ k (0)ij,k Γk (0)ik,j +Γl (0)ij Γk (0)kl Γl (0)ik Γk (0)jl, (68) where the coectio coefficiets Γ k (0)ij are give by where g ij (0) ad g (0)ij deped o time. From Eq. (61), we have Γ k (0)ij = 1 2 gkl (0)(g (0)li,j +g (0)lj,i g (0)ij,l), (69) g ij (0)(t,x) = 1 a 2 (t) gij (x). (70) Hece, the coectio coefficiets Γ k (0)ij are equal to the coectio coefficiets Γ k ij of the metric g ij : Γ k (0)ij = Γ k ij := 1 2 gkl ( g li,j + g lj,i g ij,l ). (71)

14 Therefore, they do ot deped o time. As a cosequece, 3 R (0)ij is time idepedet, implyig that K is a costat. Maximally symmetric spaces may have curvature K that is positive, egative or zero. I the latter case the space is called flat. We ow choose coordiates (r,θ,φ) such that the metric coefficiets g (0)ij get the well-kow Robertso-Walker form 1 g (0)ij = a 2 (t) 1 kr r 2 0, (72) 0 0 r 2 si 2 θ where k = 0,±1. Comparig (61) ad (72) we see that for this choice of coordiates we have ( ) 1 g ij = diag 1 kr 2,r2,r 2 si 2 θ. (73) Substitutig (72) ito (68), combied with (71), we fid We thus fid, for the chose rw coordiates From Eqs. (74) ad (75) we have implyig that the zero order curvature scalar 3 R (0) = g ij 3 (0) R (0)ij is give by 3 R (0)ij = 2k g ij. (74) K = 2k. (75) 3 R(0)j i 2k (t) = a 2 (t) δi j, (76) 3 R (0) (t) = 6k a 2 (t), (77) where we have used Eqs. (70) ad (74). Note, that i view of our choice of the metric (+,,, ), spaces of positive curvature k (such as spheres) have a egative curvature scalar 3 R (0). The results (61), (63), (65) ad (74) are i agreemet with the geeral observatio that maximally form-ivariat tesors of the secod rak are proportioal to the metric tesor of the space cocered. Thus we have foud all backgroud quatities: they are either space idepedet or proportioal to g (0)ij(t,x), Eq. (61). The latter is proportioal to g ij (x), the metric characteristic for spatial sectios of costat time. 14 B. First order quatities I this quite techical sectio we express all quatities occurrig i the Eistei equatios i terms of zero ad first order quatities. The equatios of state for the eergy ad pressure, ε(,t) ad p(,t), are ot specified yet. Upo substitutig the series (56a) ito the ormalizatio coditio u µ u µ = 1, oe fids, equatig equal powers of the bookkeepig parameter η, for the first order perturbatio to the four-velocity. Writig the iverse of (56b) as where g kl (0) is the iverse, (70), of g (0)kl, (72), we fid ad u 0 (1) = 0, (78) g kl = g kl (0) +ηg kl (1) +, (79) g kl (1) = gki (0) glj (0)g (1)ij, (80) g k (1)i = gkl (0) g (1)li. (81)

15 15 It is coveiet to itroduce h ij := g (1)ij, (82) so that h ij = g ij (1), h i j = g ik (0) h kj. (83) For the time derivative of the first order perturbatios to the metric, κ (1)ij, Eq. (31), we get κ (1)ij = 1 2ḣij, κ i (1)j = 1 2ḣi j, κ ij (1) = 1 2ḣij. (84) The first order perturbatio θ (1) to the fluid expasio scalar θ, Eq. (50), ca be foud i the same way. Usig (55d) ad (60) oe arrives at θ (1) = ϑ (1) 1 2ḣk k, (85) where we used Eqs. (78) ad (84). The first order perturbatio ϑ (1) to the three-divergece ϑ, Eq. (51), is where we have used that which is a cosequece of ϑ (1) = u k (1) k, (86) (u k k) (1) = u k (1) k, (87) Γ k (1)lk ul (0) = 0. (88) The latter equality follows from Eq. (59). Upo substitutig the series expasio (55a), ad (55c) (56b) ito Eq. (47) ad equatig equal powers of η, oe fids for the first order perturbatio to the eergy-mometum tesor T 0 (1)0 = ε (1), T i (1)0 = (ε (0) +p (0) )u i (1), (89) T i (1)j = p (1) δ i j, where we have used Eqs. (60) ad (78). The first order perturbatio to the pressure is related to ε (1) ad (1) by the first order perturbatio to the equatio of state (48). We have p (1) = p (1) +p ε ε (1), (90) where p ad p ε are the partial derivatives of p(,ε) with respect to ad ε, ( ) ( ) p p p :=, p ε :=. (91) ε ε Sice we cosider oly first order quatities, the partial derivatives are fuctios of the backgroud quatities oly, i.e., p = p ( (0),ε (0) ), p ε = p ε ( (0),ε (0) ). (92) Usig Eq. (33c) ad the expasios (56b) ad (56f), we fid for the first order perturbatios of the coectio coefficiets Γ k (1)ij = g kl (0)g (1)lmΓ m (0)ij gkl (0)(g (1)li,j +g (1)lj,i g (1)ij,l). (93) The first order perturbatio Γ k (1)ij, Eq. (93), occurrig i the o-tesor Γk ij, Eq. (56f), happe to be expressible as a tesor. Ideed, usig Eq. (82), oe ca rewrite Eq. (93) i the form Γ k (1)ij = 1 2 gkl (0) (h li j +h lj i h ij l ). (94)