Backreaction as an explanation for Dark Energy?

Transcription

1 Backreaction as an explanation for Dark Energy? with some remarks on cosmological perturbation theory James M. Bardeen University of Washington The Very Early Universe 5 Years On Cambridge, December 17, 7

2 James M. Bardeen

3 3+1 Approach to Cosmological Perturbations Ref: J. M. Bardeen in Cosmology and Particle Physics, ed. Li-Zhi Fang and A. Zee (Gordon and Breach 1988) Background homogeneity and isotropy: ( ) ( ) Metric: ds = N dt + a dr / 1 Cr + r dω, a Expansion rate: H ɺ, an Perturbations completely in terms of spatially gauge invariant variables. First-order perturbed geometry for scalar perturbations: ( α ) Lapse N = N 1 +, C 4C = δ ϕ + ϕ δ ϕ a a 3 i i i i Spatial curvature R j, j j D D j

4 Extrinsic curvature i K = K = 3 H + κ, i i 1 i i 1 i K j δ jk = D Dj δ j χ, 3 3 ( ɺ N H ) κ = 3 ϕ / α χ. Total energy-momentum tensor: Energy density E = E + ε, Momentum density J = Dψ, i i i i 1 i Stress tensor S j = ( P + π ) δ j + D Dj δ j σ. 3 Time gauge transformations: i ɶ α = α N T / N, ɶ ϕ = ϕ H N T, i ( ) ( ) ( NT ), ɶ 3 HT ɺ N T, ɺ ( )( ) ɶ ( )( ) ɶ χ = χ κ = κ + + ɶ ε = ε E T = ε + 3 H E + P N T, ψ = ψ + E + P N T, dp ɶ π = π PT ɺ = π + 3 H E + P N T, ɶ σ = σ. ( )( ) de

5 Gauge choices: ɶ α = (synchronous), ɶ ϕ = (uniform curvature), ɶ χ = (zero shear), ɶ κ = (uniform expansion), ɶ ε = (uniform energy density), ψɶ = (comoving). The gauge transformation to a particular gauge is singular if and when the coefficient of T in the gauge condition vanishes. If so, the gauge is badly behaved there. Gauge-invariant variables: Combine two or more variables to make a gauge-invariant combination, e.g., ψ Φ A α ɺ χ / N, Φ H ϕ H χ, Vzs + χ, E + P ( + ) H ε ε 3 Hψ, ϕ ϕ + ψ, ε = ε + 3 H E + P χ, c ε dp ς ϕ + η π ε 3 E P de ( ) c zs E + P,, etc. In most cases the physical meaning of a gauge-invariant variable is gauge-dependent.

6 Background evolution equations: 8π 3 H = GE H N = πg E + P + E = E + P H First-order perturbation equations: C, ɺ C / 4 ( ), ɺ 3 ( ). a a ( ) spatial metric evolution ɺ ϕ / N = Hα κ + χ / 3; Einstein equations 3C 3C + ϕ Hκ 4 πgε, χ κ 1 πgψ, + = + + = a a ( ɺ ) ( ) ɺ κ / N + Hκ + + H / N α = 4π G ε + 3 π, i 1 i D D j δ j ( ɺ χ / N + H χ α ϕ 8π Gσ ) = ; 3 local energy-momentum conservation ( ) ( )( ) ɺ ε / N + 3H ε + π + E + P 3Hα κ + ψ =, 3C ψɺ / N + 3Hψ + ( E + P ) α + π + + σ = ; 3 a supplement with other matter and/or field evolution equations as appropriate.

7 Example of a single scalar field: dv Φ =, Φ = Φ + φ; dφ i 1 Φɺ Φɺ dv background + 3H + = ; N N N dφ first-order i i 1 ɺ φ ɺ φ d V α Φɺ ɺ αφɺ Φɺ + 3 H φ + φ = κ ; + + N N N dφ N N N N energy-momentum tensor E 1 Φɺ = + N V, 1 Φɺ Φɺ P = V, E + P = ; N N Φɺ ɺ φ Φɺ dv Φɺ ε =,, α + φ ψ = φ N N dφ N Φɺ ɺ φ Φɺ dv π = α φ, σ =. N N dφ

8 Solution Strategies There is no particular virtue in using gauge-invariant variables to carry out a calculation. They do facilitate transforming results from one gauge to another. Be carefult to avoid gauge singularities, such as arise in the comoving gauge if and when E + P =. The synchronous gauge is good in this respect and greatly simplifies the matter/field dynamical equations. Be careful in choosing a gauge and in choosing which of the redundant Einstein equations and matter evolution equations to use, to ensure that the the problem is well posed numerically, without near cancellations between large terms in the equations or in extracting the physics. This is mainly an issue when k / ah << 1. While certainly not the only conserved quantity when k / ah << 1, the gauge-invariant variable ζ introduced in BST is perhaps best suited as a measure of the overall amplitude of the perturbation. In the long wavelength limit any change in ζ is of order the average over an e- folding of expansion of the non-adiabatic stress perturbation (η and/or (k/a) σ) divided by E +P.

9 Backreaction and Dark Energy The Claim (Buchert, Celerier, Rasanen, Kolb et al, Wiltshire, etc.): The average expansion in a locally inhomogeneous universe behaves differently than expected from the Friedmann equation based on the large scale average energy density. Due to the non-linearity of the Einstein equations spatial averaging and solving the Einstein equations do not commute (Ellis). Observations of the CMB radiation indicate that the primordial amplitude of perturbations, the amplitude of curvature potential fluctuations, which in a matter-dominated universe correspond to timeindependent fluctuations in the Newtonian potential on scales small compared to the Hubble radius, is very small, about 1-5. However, density perturbations grow and become non-linear, first on smaller scales, and at present on scales the order of 1 Mpc, leading to formation of structure in the universe. Can non-linearity in the density cause the average expansion to deviate enough from background Einstein-deSitter model to convert the Einstein-deSitter deceleration into the effective acceleration inferred from the high-z Type Ia supernovae magnitude-redshift relation?

10 Counter-arguments (Ishibashi and Wald, Flanagan): The local dynamics of a matter-dominated universe should be Newtonian to a good approximation, as long as potential perturbations and peculiar velocities are non-relativistic, which they are both from direct observation and as inferred from the CMB anisotropy. Since Newtonian gravity is linear, averaging and evolution do commute in the Newtonian limit and should commute to a good approximation in general relativity. Any relativistic corrections should be much to small to turn Einstein-deSitter deceleration into an effective acceleration. In very local regions, where black holes are forming, etc., deviations from Newton gravity may be large, but by Birkhoff s theorem in GR longer range gravitational interactions should be independent of the internal structure of compact objects. Simulations based on local Newtonian dynamics and a global zero-curvature ΛCDM model with acceleration seem to give a very good account of all observations of large scale structure as well as the supernovae data.

11 The Buchert equations (see Buchert gr-qc/77.153): Exact GR equations constraining the evolution of averaged quantities assuming a zero-pressure dust energy-momentum tensor. Averaging is weighted by proper volume on hypersurfaces orthogonal to the dust worldlines. Define: ( ) ( ) ( t ) ρ M a t V t,, Q. ( ) 1/3 1 D D D ρ = = D 3 D θ θ σ D a 3 D D VD Equations: aɺ D 8π G aɺɺ D 4π G 1 = ρ,, D QD R = ρ D + QD D ad ad d 6 1 d 3 ( ad QD ) + ( ad R ) =. a dt a dt D 6 D D The equations are indeterminate. They say nothing about the time dependence of Q D and whether Q D can become large enough to make the average expansion accelerate. Also, these equations become invalid once the dust evolves to form caustics, which generically happens as the density perturbations become large.

12 Lemaitre-Tolman-Bondi (LTB) Models Spherically symmetric (zero pressure) dust, ( ) ( ) ( ) metric ds = dt + b t, r dr + R t, r dω, ɺ m r R = ( ) +, =, Γ = 1 + ( ). R Γ R r k r b r k r ( r) 3 Choose comoving radius coordinate r such that m( r) = r. 9 3 With u k R / r, 1 9 3/ u 1+ u sinh u k > 3 1 k ( t t ( r) ) = u 1 ± u + u << 1, 4 1 sin u u 1 u k 3 5 < 1 R rk r 9 R and setting t ( r) =, b = + t + k. Γ r k R 4 r 3 r k + rk r The scalar curvature is =. R k R b Γ R

13 Initial Conditions In cosmological perturbation theory with an Einstein-deSitter background the primordial amplitude of the curvature potential perturbation in a comoving gauge is the same as the gauge-invariant amplitude ζ. If the background scale factor is S(t) = t /3 consistent with S = R/r as t in the LTB solution, R = ( r ζ ) = ( r k ) k = ζ. r S r S r Consider the class of models with ( ) ( ) k ( ) ( )( ) ( ) ( )( ) ζ = a 1 cr 1 r, k r = 4a + c 3cr 1 r, r 1, and ζ r = k r =, r > 1. With > the matter expands more rapidly and becomes underdense near the center. If c > 1 there is an outer region which expands more slowly than Einstein-deSitter, part of which becomes overdense. If a void develops near the center, a caustic must eventually develop away from the center sooner or later. Where the caustic forms, the density becomes infinite and the dust solution ( ) breaks down. Any discontinuity in k r would imply a caustic or a separation is present right from t =, which is why we force continuity at r = 1.

14 James M. Bardeen

15 James M. Bardeen

16 James M. Bardeen

17 James M. Bardeen

18 James M. Bardeen

19 James M. Bardeen

20 James M. Bardeen

21

22

23 Dust Shell Evolution Once a caustic forms, assume all matter flowing into it stays in an infinitesimally thin shell. The shell is characterized by its circumferential radius R as a function of its own proper time τ, its internal "rest mass" m sh sh, and its position at a given in the interior and exterior LTB spacetimes, t τ, r τ. Note τ ( ) ( ) 3 3 that R± = Rsh, but m+ m = ( r+ r ) msh. The Israel junction 9 conditions give the equations m+ m m + m+ msh 1, drsh = + + dτ msh R R =, dτ 3 Γ+ dτ dτ Γ dτ dτ dmsh r+ dt+ dr+ r dt dr ± ± m m m Γ =, = 1 +. τ τ τ + sh ± dr msh R ± dt± dr± ± b± d dr d d sh m m m + sh Γ ± + Rɺ ± dτ msh R b

24 Application to the Nambu-Tanimoto model (gr-qc/5757), which is still cited as evidence for getting acceleration out of backreaction: Two uniform curvature LTB regions are combined, an inner region ( r r ) with k( r) = k > and an outer region with k( r) = k <. These are embedded in an EdS model for r 1 > 1. As the outer region starts to collapse, they find a volume average accelerated expansion in the Buchert sense. Problems: Shell crossing starts immediately at t =, so the full LTB solution is never valid. Assuming a surface layer shell forms at the interface, the outer LTB region is completely swallowed up by the shell before it starts to recollapse. Volume averaging over the LTB regions makes no sense, since most of the mass ends up in the shell, and a completely empty region opens up between the outer LTB region and the EdS region. Averaging over the LTB regions has nothing to do with an average cosmological expansion. The shell does start to expand significantly faster than the EdS region once the outer LTB region is swallowed, but this is a smaller deceleration, not an acceleration. All of the dynamics is Newtonian to a very good approximation once t >> 1. The LTB regions deviate from EdS expansion only at t >> 1, if k r << 1. Genuinely relativistic back-reaction effects are completely negligible.

25 James M. Bardeen

26 James M. Bardeen

27 Conclusions Exact GR calculations indicate that non-linear backreaction modifying average expansion rates is completely insignificant in our universe. Newtonian gravity is a perfectly adequate description of dynamics on sub-horizon scales (but clearly evident only in a Newtonian gauge). A close to horizon-scale perturbation close to spherically symmetric about our location could modify the supernova magnitude-redshift relation to mimic dark energy, but the primordial perturbation amplitude would have to be ~ a thousand times larger than than what is seen in CMB anisotropy (e.g. Biswas, et al 6, Vanderveld, et al 6). Effects of inhomogeneities on light propagation (weak lensing) would in principle dim distant sources on average, but estimates by Bonvin, et al (6) and Vanderveld, et al (7) indicate that the effect is much too small to mimic apparent acceleration. Various modifications of GR remain on the table, but are they any less contrived than a cosmological constant?