TY - JOUR
T1 - Stable Big Bang formation in near-FLRW solutions to the Einstein-scalar field and Einstein-stiff fluid systems
AU - Rodnianski, Igor
AU - Speck, Jared
N1 - Funding Information:
IR gratefully acknowledges support from NSF Grant # DMS-1001500. JS gratefully acknowledges support from NSF Grant # DMS-1162211 and from a Solomon Buchsbaum grant administered by the Massachusetts Institute of Technology.
Funding Information:
The authors thank Mihalis Dafermos for offering enlightening comments that helped them improve the exposition. They also thank David Jerison for providing insights that aided their proof of Proposition 14.4. Finally, they thank the anonymous referee for their careful reading of the manuscript and for providing helpful feedback. IR gratefully acknowledges support from NSF Grant # DMS-1001500. JS gratefully acknowledges support from NSF Grant # DMS-1162211 and from a Solomon Buchsbaum grant administered by the Massachusetts Institute of Technology.
Publisher Copyright:
© 2018, Springer Nature Switzerland AG.
PY - 2018/11/1
Y1 - 2018/11/1
N2 - We prove a stable blowup result for solutions to the Einstein-scalar field and Einstein-stiff fluid systems. Our result applies to small perturbations of the spatially flat Friedmann–Lemaître–Robertson–Walker (FLRW) solution with topology (0 , ∞) × T3. The FLRW solution models a spatially uniform scalar-field/stiff fluid evolving in a spacetime that expands towards the future and that has a “Big Bang” singularity at { 0 } × T3, where various curvature invariants blow up. We place “initial” data on a Cauchy hypersurface Σ1′ that are close, as measured by a Sobolev norm, to the FLRW data induced on { 1 } × T3. We then study the asymptotic behavior of the perturbed solution in the collapsing direction and prove that its basic qualitative and quantitative features closely resemble those of the FLRW solution. In particular, for the perturbed solution, we construct constant mean curvature-transported spatial coordinates covering (t, x) ∈ (0 , 1] × T3 and show that it also has a Big Bang at { 0 } × T3, where its curvature blows up. The blowup confirms Penrose’s Strong Cosmic Censorship hypothesis for the “past-half” of near-FLRW solutions. Furthermore, we show that the equations are dominated by kinetic (that is, time-derivative-involving) terms that induce approximately monotonic behavior near the Big Bang. As a consequence of the monotonicity, we also show that various time-rescaled components of the solution converge to regular functions of x as t↓ 0. The most difficult aspect of the proof is showing that the solution exists for (t, x) ∈ (0 , 1] × T3, and to this end, we derive a hierarchy of energy estimates that allow for the possibility of mild energy blowup as t↓ 0. To close these estimates, it is essential that we are able to rule out more singular energy blowup, a step that is in turn tied to the most important ingredient in our analysis: a collection of integral identities that, when combined in the right proportions, yield an L2-type approximate monotonicity inequality, a key point being that the error terms are controllable up to the singularity for near-FLRW solutions. In a companion article, we derived similar approximate monotonicity inequalities for linearized versions of the Einstein-scalar field equations and used them to prove linear stability results for a family of spatially homogeneous background solutions. The present article shows that the linear stability of the FLRW background solution can be upgraded to a full proof of the nonlinear stability of its singularity.
AB - We prove a stable blowup result for solutions to the Einstein-scalar field and Einstein-stiff fluid systems. Our result applies to small perturbations of the spatially flat Friedmann–Lemaître–Robertson–Walker (FLRW) solution with topology (0 , ∞) × T3. The FLRW solution models a spatially uniform scalar-field/stiff fluid evolving in a spacetime that expands towards the future and that has a “Big Bang” singularity at { 0 } × T3, where various curvature invariants blow up. We place “initial” data on a Cauchy hypersurface Σ1′ that are close, as measured by a Sobolev norm, to the FLRW data induced on { 1 } × T3. We then study the asymptotic behavior of the perturbed solution in the collapsing direction and prove that its basic qualitative and quantitative features closely resemble those of the FLRW solution. In particular, for the perturbed solution, we construct constant mean curvature-transported spatial coordinates covering (t, x) ∈ (0 , 1] × T3 and show that it also has a Big Bang at { 0 } × T3, where its curvature blows up. The blowup confirms Penrose’s Strong Cosmic Censorship hypothesis for the “past-half” of near-FLRW solutions. Furthermore, we show that the equations are dominated by kinetic (that is, time-derivative-involving) terms that induce approximately monotonic behavior near the Big Bang. As a consequence of the monotonicity, we also show that various time-rescaled components of the solution converge to regular functions of x as t↓ 0. The most difficult aspect of the proof is showing that the solution exists for (t, x) ∈ (0 , 1] × T3, and to this end, we derive a hierarchy of energy estimates that allow for the possibility of mild energy blowup as t↓ 0. To close these estimates, it is essential that we are able to rule out more singular energy blowup, a step that is in turn tied to the most important ingredient in our analysis: a collection of integral identities that, when combined in the right proportions, yield an L2-type approximate monotonicity inequality, a key point being that the error terms are controllable up to the singularity for near-FLRW solutions. In a companion article, we derived similar approximate monotonicity inequalities for linearized versions of the Einstein-scalar field equations and used them to prove linear stability results for a family of spatially homogeneous background solutions. The present article shows that the linear stability of the FLRW background solution can be upgraded to a full proof of the nonlinear stability of its singularity.
KW - Constant mean curvature
KW - Energy currents
KW - Kasner solutions
KW - Parabolic gauge
KW - Spatial harmonic coordinates
KW - Stable blowup
KW - Transported spatial coordinates
UR - http://www.scopus.com/inward/record.url?scp=85053906256&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85053906256&partnerID=8YFLogxK
U2 - 10.1007/s00029-018-0437-8
DO - 10.1007/s00029-018-0437-8
M3 - Article
AN - SCOPUS:85053906256
SN - 1022-1824
VL - 24
SP - 4293
EP - 4459
JO - Selecta Mathematica, New Series
JF - Selecta Mathematica, New Series
IS - 5
ER -