Stable Big Bang formation for Einstein’s equations: The complete sub-critical regime
HTML articles powered by AMS MathViewer
- by Grigorios Fournodavlos, Igor Rodnianski and Jared Speck
- J. Amer. Math. Soc. 36 (2023), 827-916
- DOI: https://doi.org/10.1090/jams/1015
- Published electronically: April 5, 2023
- HTML | PDF | Request permission
Abstract:
For $(t,x) \in (0,\infty )\times \mathbb {T}^{\mathfrak {D}}$, the generalized Kasner solutions (which we refer to as Kasner solutions for short) are a family of explicit solutions to various Einstein-matter systems that, exceptional cases aside, start out smooth but then develop a Big Bang singularity as $t \downarrow 0$, i.e., a singularity along an entire spacelike hypersurface, where various curvature scalars blow up monotonically. The family is parameterized by the Kasner exponents $\widetilde {q}_1,\cdots ,\widetilde {q}_{\mathfrak {D}} \in \mathbb {R}$, which satisfy two algebraic constraints. There are heuristics in the mathematical physics literature, going back more than 50 years, suggesting that the Big Bang formation should be dynamically stable, that is, stable under perturbations of the Kasner initial data, given say at $\lbrace t = 1 \rbrace$, as long as the exponents are “sub-critical” in the following sense: $\underset {\substack {I,J,B=1,\cdots , \mathfrak {D}\\ I < J}}{\max } \{\widetilde {q}_I+\widetilde {q}_J-\widetilde {q}_B\}<1$. Previous works have rigorously shown the dynamic stability of the Kasner Big Bang singularity under stronger assumptions: (1) the Einstein-scalar field system with $\mathfrak {D}= 3$ and $\widetilde {q}_1 \approx \widetilde {q}_2 \approx \widetilde {q}_3 \approx 1/3$, which corresponds to the stability of the Friedmann–Lemaître–Robertson–Walker solution’s Big Bang or (2) the Einstein-vacuum equations for $\mathfrak {D}\geq 38$ with $\underset {I=1,\cdots ,\mathfrak {D}}{\max } |\widetilde {q}_I| < 1/6$. In this paper, we prove that the Kasner singularity is dynamically stable for all sub-critical Kasner exponents, thereby justifying the heuristics in the literature in the full regime where stable monotonic-type curvature-blowup is expected. We treat in detail the $1+\mathfrak {D}$-dimensional Einstein-scalar field system for all $\mathfrak {D}\geq 3$ and the $1+\mathfrak {D}$-dimensional Einstein-vacuum equations for $\mathfrak {D}\geq 10$; both of these systems feature non-empty sets of sub-critical Kasner solutions. Moreover, for the Einstein-vacuum equations in $1+3$ dimensions, where instabilities are in general expected, we prove that all singular Kasner solutions have dynamically stable Big Bangs under polarized $U(1)$-symmetric perturbations of their initial data. Our results hold for open sets of initial data in Sobolev spaces without symmetry, apart from our work on polarized $U(1)$-symmetric solutions.
Our proof relies on a new formulation of Einstein’s equations: we use a constant-mean-curvature foliation, and the unknowns are the scalar field, the lapse, the components of the spatial connection and second fundamental form relative to a Fermi–Walker transported spatial orthonormal frame, and the components of the orthonormal frame vectors with respect to a transported spatial coordinate system. In this formulation, the PDE evolution system for the structure coefficients of the orthonormal frame approximately diagonalizes in a way that sharply reveals the significance of the Kasner exponent sub-criticality condition for the dynamic stability of the flow: the condition leads to the time-integrability of many terms in the equations, at least at the low derivative levels. At the high derivative levels, the solutions that we study can be much more singular with respect to $t$, and to handle this difficulty, we use $t$-weighted high order energies, and we control non-linear error terms by exploiting monotonicity induced by the $t$-weights and interpolating between the singularity-strength of the solution’s low order and high order derivatives. Finally, we note that our formulation of Einstein’s equations highlights the quantities that might generate instabilities outside of the sub-critical regime.
References
- S. Alexakis and G. Fournodavlos, Stable space-like singularity formation for axi-symmetric and polarized near-Schwarzschild black hole interiors, Preprint, arXiv:2004.00692, 2020, pp. 1–125.
- Ellery Ames, Florian Beyer, James Isenberg, and Philippe G. LeFloch, Quasilinear hyperbolic Fuchsian systems and AVTD behavior in $T^2$-symmetric vacuum spacetimes, Ann. Henri Poincaré 14 (2013), no. 6, 1445–1523. MR 3085923, DOI 10.1007/s00023-012-0228-2
- Ellery Ames, Florian Beyer, James Isenberg, and Philippe G. LeFloch, A class of solutions to the Einstein equations with AVTD behavior in generalized wave gauges, J. Geom. Phys. 121 (2017), 42–71. MR 3705380, DOI 10.1016/j.geomphys.2017.06.005
- E. Ames, F. Beyer, J. Isenberg, T. Oliynyk, Stability of AVTD Behavior within the Polarized $T^2$-symmetric vacuum spacetimes, preprint available at https://arxiv.org/abs/2101.03167 (2021), 1–28.
- Ellery Ames, Florian Beyer, James Isenberg, and Todd A. Oliynyk, Stability of asymptotic behaviour within polarized $\Bbb T^2$-symmetric vacuum solutions with cosmological constant, Philos. Trans. Roy. Soc. A 380 (2022), no. 2222, Paper No. 20210173, 25. MR 4409410, DOI 10.1007/s00023-021-01142-0
- Lars Andersson and Vincent Moncrief, Elliptic-hyperbolic systems and the Einstein equations, Ann. Henri Poincaré 4 (2003), no. 1, 1–34. MR 1967177, DOI 10.1007/s00023-003-0120-1
- Lars Andersson and Alan D. Rendall, Quiescent cosmological singularities, Comm. Math. Phys. 218 (2001), no. 3, 479–511. MR 1828850, DOI 10.1007/s002200100406
- J. D. Barrow, Quiescent cosmology, Nature 272 (1978), 211–215.
- Robert Bartnik, Existence of maximal surfaces in asymptotically flat spacetimes, Comm. Math. Phys. 94 (1984), no. 2, 155–175. MR 761792, DOI 10.1007/BF01209300
- François Béguin, Aperiodic oscillatory asymptotic behavior for some Bianchi spacetimes, Classical Quantum Gravity 27 (2010), no. 18, 185005, 24. MR 2673789, DOI 10.1088/0264-9381/27/18/185005
- V. A. Belinskiĭ and I. M. Khalatnikov, Effect of scalar and vector fields on the nature of the cosmological singularity, Ž. Èksper. Teoret. Fiz. 63 (1972), 1121–1134 (Russian, with English summary); English transl., Soviet Physics JETP 36 (1973), 591–597. MR 0363384
- V. A. Belinski, I. M. Khalatnikov and E. M. Lifshitz, Oscillatory approach to the singular point in relativistic cosmology, Soviet Physics Uspekhi 13 (1971), no. 6, 745–765.
- Beverly K. Berger, Numerical approaches to spacetime singularities, Living Rev. Relativ. 5 (2002), 2002-1, 58. MR 1919621, DOI 10.12942/lrr-2002-1
- B. Brehm, Bianchi VIII and IX vacuum cosmologies: almost every solution forms particle horizons and converges to the Mixmaster attractor, Preprint, arXiv:1606.08058, 2016, pp. 1–72.
- Yvonne Choquet-Bruhat, General relativity and the Einstein equations, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2009. MR 2473363
- Yvonne Choquet-Bruhat and Robert Geroch, Global aspects of the Cauchy problem in general relativity, Comm. Math. Phys. 14 (1969), 329–335. MR 250640, DOI 10.1007/BF01645389
- Y. Choquet-Bruhat, J. Isenberg, and V. Moncrief, Topologically general U(1) symmetric vacuum space-times with AVTD behavior, Nuovo Cimento Soc. Ital. Fis. B 119 (2004), no. 7-9, 625–638. MR 2136898
- Demetrios Christodoulou, On the global initial value problem and the issue of singularities, Classical Quantum Gravity 16 (1999), no. 12A, A23–A35. MR 1728432, DOI 10.1088/0264-9381/16/12A/302
- Demetrios Christodoulou, A mathematical theory of gravitational collapse, Comm. Math. Phys. 109 (1987), no. 4, 613–647. MR 885564, DOI 10.1007/BF01208960
- Demetrios Christodoulou, The formation of black holes and singularities in spherically symmetric gravitational collapse, Comm. Pure Appl. Math. 44 (1991), no. 3, 339–373. MR 1090436, DOI 10.1002/cpa.3160440305
- Demetrios Christodoulou, The formation of black holes in general relativity, EMS Monographs in Mathematics, European Mathematical Society (EMS), Zürich, 2009. MR 2488976, DOI 10.4171/068
- Piotr T. Chruściel, On uniqueness in the large of solutions of Einstein’s equations (“strong cosmic censorship”), Proceedings of the Centre for Mathematics and its Applications, Australian National University, vol. 27, Australian National University, Centre for Mathematics and its Applications, Canberra, 1991. MR 1143281
- Piotr T. Chruściel, James Isenberg, and Vincent Moncrief, Strong cosmic censorship in polarised Gowdy spacetimes, Classical Quantum Gravity 7 (1990), no. 10, 1671–1680. MR 1075858, DOI 10.1088/0264-9381/7/10/003
- Piotr T. Chruściel and Kayll Lake, Cauchy horizons in Gowdy spacetimes, Classical Quantum Gravity 21 (2004), no. 3, S153–S169. A spacetime safari: essays in honour of Vincent Moncrief. MR 2053004, DOI 10.1088/0264-9381/21/3/010
- Mihalis Dafermos, Stability and instability of the Cauchy horizon for the spherically symmetric Einstein-Maxwell-scalar field equations, Ann. of Math. (2) 158 (2003), no. 3, 875–928. MR 2031855, DOI 10.4007/annals.2003.158.875
- Mihalis Dafermos, Black holes without spacelike singularities, Comm. Math. Phys. 332 (2014), no. 2, 729–757. MR 3257661, DOI 10.1007/s00220-014-2063-4
- M. Dafermos and J. Luk, The interior of dynamical vacuum black holes I: the $C^0$-stability of the Kerr Cauchy horizon, Preprint, arXiv:1710.01722, 2017, pp. 1–217.
- T. Damour, M. Henneaux, A. D. Rendall, and M. Weaver, Kasner-like behaviour for subcritical Einstein-matter systems, Ann. Henri Poincaré 3 (2002), no. 6, 1049–1111. MR 1957378, DOI 10.1007/s000230200000
- Jacques Demaret, Marc Henneaux, and Philippe Spindel, Nonoscillatory behaviour in vacuum Kaluza-Klein cosmologies, Phys. Lett. B 164 (1985), no. 1-3, 27–30. MR 815631, DOI 10.1016/0370-2693(85)90024-3
- T. Dutilleul, Chaotic dynamics of spatially homogeneous spacetimes, HAL Id: tel-02488655. https://theses.hal.science/tel-02488655/file/These_Tom_Dutilleul.pdf
- Grigorios Fournodavlos, On the backward stability of the Schwarzschild black hole singularity, Comm. Math. Phys. 345 (2016), no. 3, 923–971. MR 3519586, DOI 10.1007/s00220-016-2681-0
- G. Fournodavlos and J. Luk, Asymptotically Kasner-like singularities, Preprint, arXiv:2003.13591, 2021, pp. 1–56.
- S. W. Hawking, The occurrence of singularities in cosmology. I, Proc. Roy. Soc. London Ser. A 294 (1966), 511–521. MR 208978, DOI 10.1098/rspa.1966.0221
- S. W. Hawking and R. Penrose, The singularities of gravitational collapse and cosmology, Proc. Roy. Soc. London Ser. A 314 (1970), 529–548. MR 264959, DOI 10.1098/rspa.1970.0021
- J. Mark Heinzle and Claes Uggla, A new proof of the Bianchi type IX attractor theorem, Classical Quantum Gravity 26 (2009), no. 7, 075015, 28. MR 2512706, DOI 10.1088/0264-9381/26/7/075015
- James Isenberg and Satyanad Kichenassamy, Asymptotic behavior in polarized $T^2$-symmetric vacuum space-times, J. Math. Phys. 40 (1999), no. 1, 340–352. MR 1657863, DOI 10.1063/1.532775
- James Isenberg and Vincent Moncrief, Asymptotic behaviour in polarized and half-polarized U$(1)$ symmetric vacuum spacetimes, Classical Quantum Gravity 19 (2002), no. 21, 5361–5386. MR 1939922, DOI 10.1088/0264-9381/19/21/305
- Tosio Kato, Perturbation theory for linear operators, 2nd ed., Grundlehren der Mathematischen Wissenschaften, Band 132, Springer-Verlag, Berlin-New York, 1976. MR 0407617
- Paul Klinger, A new class of asymptotically non-chaotic vacuum singularities, Ann. Physics 363 (2015), 1–35. MR 3424515, DOI 10.1016/j.aop.2015.09.010
- E. M. Lifshitz and I. M. Khalatnikov, Investigations in relativistic cosmology, Adv. in Physics 12 (1963), 185–249. MR 154735, DOI 10.1080/00018736300101283
- Satyanad Kichenassamy and Alan D. Rendall, Analytic description of singularities in Gowdy spacetimes, Classical Quantum Gravity 15 (1998), no. 5, 1339–1355. MR 1623091, DOI 10.1088/0264-9381/15/5/016
- S. Liebscher, J. Härterich, K. Webster, and M. Georgi, Ancient dynamics in Bianchi models: approach to periodic cycles, Comm. Math. Phys. 305 (2011), no. 1, 59–83. MR 2802299, DOI 10.1007/s00220-011-1248-3
- John Lott, Kasner-like regions near crushing singularities, Classical Quantum Gravity 38 (2021), no. 5, Paper No. 055005, 18. MR 4209186, DOI 10.1088/1361-6382/abd3e1
- Jonathan Luk and Sung-Jin Oh, Strong cosmic censorship in spherical symmetry for two-ended asymptotically flat initial data I. The interior of the black hole region, Ann. of Math. (2) 190 (2019), no. 1, 1–111. MR 3990601, DOI 10.4007/annals.2019.190.1.1
- C. W. Misner, Mixmaster universe, Phys. Rev. Lett. 22 (1969), 1071–1074.
- L. Nirenberg, On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 13 (1959), 115–162. MR 109940
- Roger Penrose, Gravitational collapse and space-time singularities, Phys. Rev. Lett. 14 (1965), 57–59. MR 172678, DOI 10.1103/PhysRevLett.14.57
- R. Penrose, Singularities and time asymmetry In “General Relativity– Einstein Survey”, S. Hawking, W. Israel ed., Cambridge University Press, Cambridge, 1979.
- Alan D. Rendall, Fuchsian analysis of singularities in Gowdy spacetimes beyond analyticity, Classical Quantum Gravity 17 (2000), no. 16, 3305–3316. MR 1779512, DOI 10.1088/0264-9381/17/16/313
- Hans Ringström, The Bianchi IX attractor, Ann. Henri Poincaré 2 (2001), no. 3, 405–500. MR 1846852, DOI 10.1007/PL00001041
- Hans Ringström, Curvature blow up on a dense subset of the singularity in $T^3$-Gowdy, J. Hyperbolic Differ. Equ. 2 (2005), no. 2, 547–564. MR 2151121, DOI 10.1142/S021989160500052X
- Hans Ringström, Existence of an asymptotic velocity and implications for the asymptotic behavior in the direction of the singularity in $T^3$-Gowdy, Comm. Pure Appl. Math. 59 (2006), no. 7, 977–1041. MR 2222842, DOI 10.1002/cpa.20105
- Hans Ringström, Strong cosmic censorship in the case of $T^3$-Gowdy vacuum spacetimes, Classical Quantum Gravity 25 (2008), no. 11, 114010, 14. MR 2430506, DOI 10.1088/0264-9381/25/11/114010
- Hans Ringström, Strong cosmic censorship in $T^3$-Gowdy spacetimes, Ann. of Math. (2) 170 (2009), no. 3, 1181–1240. MR 2600872, DOI 10.4007/annals.2009.170.1181
- Hans Ringström, The Cauchy problem in general relativity, ESI Lectures in Mathematics and Physics, European Mathematical Society (EMS), Zürich, 2009. MR 2527641, DOI 10.4171/053
- H. Ringström, Wave equations on silent big bang backgrounds, Preprint, arXiv:2101.04939, 2021, pp. 1–248.
- H. Ringström, On the geometry of silent and anisotropic big bang singularities, Preprint, arXiv:2101.04955, 2021, pp. 1–65.
- Igor Rodnianski and Jared Speck, A regime of linear stability for the Einstein-scalar field system with applications to nonlinear big bang formation, Ann. of Math. (2) 187 (2018), no. 1, 65–156. MR 3739229, DOI 10.4007/annals.2018.187.1.2
- Igor Rodnianski and Jared Speck, Stable big bang formation in near-FLRW solutions to the Einstein-scalar field and Einstein-stiff fluid systems, Selecta Math. (N.S.) 24 (2018), no. 5, 4293–4459. MR 3874696, DOI 10.1007/s00029-018-0437-8
- Igor Rodnianski and Jared Speck, On the nature of Hawking’s incompleteness for the Einstein-vacuum equations: the regime of moderately spatially anisotropic initial data, J. Eur. Math. Soc. (JEMS) 24 (2022), no. 1, 167–263. MR 4375450, DOI 10.4171/jems/1092
- Jared Speck, The maximal development of near-FLRW data for the Einstein-scalar field system with spatial topology $\Bbb S^3$, Comm. Math. Phys. 364 (2018), no. 3, 879–979. MR 3875820, DOI 10.1007/s00220-018-3272-z
- Fredrik Ståhl, Fuchsian analysis of $S^2\times S^1$ and $S^3$ Gowdy spacetimes, Classical Quantum Gravity 19 (2002), no. 17, 4483–4504. MR 1926244, DOI 10.1088/0264-9381/19/17/301
- G. W. Stewart and Ji Guang Sun, Matrix perturbation theory, Computer Science and Scientific Computing, Academic Press, Inc., Boston, MA, 1990. MR 1061154
- Robert M. Wald, General relativity, University of Chicago Press, Chicago, IL, 1984. MR 757180, DOI 10.7208/chicago/9780226870373.001.0001
Bibliographic Information
- Grigorios Fournodavlos
- Affiliation: Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, New Jersey 08544-1000
- Address at time of publication: Department of Mathematics & Applied Mathematics, University of Crete, Voutes Campus, 70013 Heraklion, Greece
- MR Author ID: 1027403
- Email: gfournodavlos@uoc.gr
- Igor Rodnianski
- Affiliation: Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, New Jersey 08544-1000
- MR Author ID: 605797
- Email: irod@math.princeton.edu
- Jared Speck
- Affiliation: Department of Mathematics, Vanderbilt University, 1326 Stevenson Center, Nashville, Tennessee 37240
- MR Author ID: 877745
- Email: jared.speck@vanderbilt.edu
- Received by editor(s): March 6, 2021
- Received by editor(s) in revised form: March 22, 2022
- Published electronically: April 5, 2023
- Additional Notes: The first author was supported by the ERC grant 714408 GEOWAKI, under the European Union’s Horizon 2020 research and innovation program. The second author was supported by NSF grant # DMS 2005464. The third author was supported by NSF grant # 2054184, from NSF CAREER grant # 1914537, and from a Chancellor’s Faculty Fellowship administered by Vanderbilt University.
- © Copyright 2023 American Mathematical Society
- Journal: J. Amer. Math. Soc. 36 (2023), 827-916
- MSC (2020): Primary 83C75; Secondary 35A21, 35Q76, 83C05, 83F05
- DOI: https://doi.org/10.1090/jams/1015
- MathSciNet review: 4583776