Skip to main content
Proceedings of the National Academy of Sciences of the United States of America logoLink to Proceedings of the National Academy of Sciences of the United States of America
. 2003 Sep 12;100(20):11216–11218. doi: 10.1073/pnas.1833875100

Shock-wave cosmology inside a black hole

Joel Smoller , Blake Temple ‡,§
PMCID: PMC208737  PMID: 12972640

Abstract

We construct a class of global exact solutions of the Einstein equations that extend the Oppeheimer–Snyder model to the case of nonzero pressure, inside the black hole, by incorporating a shock wave at the leading edge of the expansion of the galaxies, arbitrarily far beyond the Hubble length in the Friedmann–Robertson–Walker (FRW) spacetime. Here the expanding FRW universe emerges be-hind a subluminous blast wave that explodes outward from the FRW center at the instant of the big bang. The total mass behind the shock decreases as the shock wave expands, and the entropy condition implies that the shock wave must weaken to the point where it settles down to an Oppenheimer–Snyder interface, (bounding a finite total mass), that eventually emerges from the white hole event horizon of an ambient Schwarzschild spacetime. The entropy condition breaks the time symmetry of the Einstein equations, selecting the explosion over the implosion. These shock-wave solutions indicate a cosmological model in which the big bang arises from a localized explosion occurring inside the black hole of an asymptotically flat Schwarzschild spacetime.


We describe a cosmological model based on matching a critically expanding Friedmann–Robertson–Walker (FRW) metric to a metric that we call the Tolman–Oppenheimer–Volkoff (TOV) metric inside the black hole across a shock wave that lies beyond one Hubble length from the center of the FRW spacetime. This implies that the spacetime beyond the shock wave must lie inside a black hole, thus extending the shock matching limit of one Hubble length that we identified in ref. 1.

In the exact solutions constructed in this article, the expanding FRW universe emerges behind a subluminous blast wave that explodes outward from the origin r̄ = 0 at the instant of the big bang t = 0, at a distance beyond one Hubble length. The shock wave then continues to weaken as it expands outward until the Hubble length eventually catches up to the shock, and this marks the event horizon of a black hole in the TOV metric beyond the shock. From this time onward, the shock wave is approximated by a zero pressure (k = 0) Oppenheimer–Snyder (OS) interface, and thus the OS solution gives the large time asymptotics of these solutions. Surprisingly, the equation of state p = ⅓ρ of early big bang physics is distinguished by the differential equations, and only for this equation of state does the shock wave emerge from the big bang at a finite nonzero speed, the speed of light. This is surprising because the equation of state p = ⅓ρ played no special role in shock matching outside the black hole (2). We find it interesting that such a shock wave emerging from the big bang beyond the Hubble length would account for the thermalization of radiation in a region well beyond the light cone of an observer positioned at the FRW center at present time, even though the FRW expansion is finite, and the model does not invoke inflation. Details will appear in our forthcoming article (3); here, we summarize this work and describe its physical interpretation.

1. Statement of the Problem

If there is a shock wave at the leading edge of the expansion of the galaxies, then we can ask what is the critical radius r̄crit at each fixed time t in a k = 0 FRW metric such that the total mass inside a shock wave positioned beyond that radius puts the universe inside a black hole? [There must be such a critical radius because the total mass M(r̄, t) inside radius r̄ in the FRW metric at fixed time t increases like r̄, and so at each fixed time t we must have r̄ > 2M(r̄, t) for small enough r̄, while the reverse inequality holds for large r̄. We let r̄ = r̄crit denote the smallest radius at which r̄crit = 2M(r̄crit, t).] We show that when k = 0, r̄crit equals the Hubble length. Thus, we cannot match a critically expanding FRW metric to a classical TOV metric beyond one Hubble length without continuing the TOV solution into a black hole, and we showed in ref. 4 that the standard TOV metric cannot be continued into a black hole. Thus to do shock matching with a k = 0 FRW metric beyond one Hubble length, we introduce the TOV metric inside the black hole.

2. The TOV Metric Inside the Black Hole

When the metric anzatz is taken to be of the TOV form

graphic file with name M1.gif [2.1]

and the stress tensor T is taken to be that of a perfect fluid comoving with the metric, the Einstein equations G = κT, inside the black hole, take the form

graphic file with name M2.gif [2.2]
graphic file with name M3.gif [2.3]
graphic file with name M4.gif [2.4]

We let Inline graphic, p̄ denote the density and pressure, respectively, and r̄ is taken to be the timelike variable because we assume

graphic file with name M6.gif [2.5]

Here, M(r̄) has the interpretation as the total mass inside the ball of radius r̄ when r̄ > 2M, but M does not have the same interpretation inside the black hole because r̄ < 2M. The system 2.22.4 defines the simplest class of gravitational metrics that contain matter and evolve inside the black hole.

3. Shock Matching Inside the Black Hole

Matching a given k = 0 FRW metric to a TOV metric inside the black hole across a shock interface, leads to the system of ordinary differential equations

graphic file with name M7.gif [3.1]
graphic file with name M8.gif [3.2]

with conservation constraint

graphic file with name M9.gif [3.3]

Here

graphic file with name M10.gif [3.4]

ρ and p denote the (known) FRW density and pressure, σ = p/ρ, and all variables are evaluated at the shock. Solutions of 3.13.3 determine the (unknown) TOV metrics that match the given FRW metric Lipschitz continuously across a shock interface, such that conservation of energy and momemtum hold across the shock, and such that there are no delta function sources at the shock (4, 5).

For such solutions, the speed of the shock interface relative to the fluid comoving on the FRW side of the shock, is given by

graphic file with name M11.gif [3.5]

Note that the dependence of 3.13.3 on the FRW metric is only through the variable σ. Since solutions of 3.13.3 are formally time-reversible but shock waves are not, system 3.13.3 must be augmented by an entropy condition for shocks that breaks the time symmetry. Since we are interested in solutions that model the “big bang” as a localized explosion with an outgoing blast wave emanating from r̄ = 0 at time t = 0, we impose the entropy conditions,

graphic file with name M12.gif [3.6]

Condition 3.6 for outgoing shock waves implies that the shock wave is compressive and is sufficient to rule out unstable rarefaction shocks in classical gas dynamics.

4. Exact Shock-Wave Solutions Inside the Black Hole

In the case when the FRW pressure is given by the equation of state

graphic file with name M13.gif [4.1]

σ assumed constant, 0 < σ < 1, the FRW equations have the exact solutions

graphic file with name M14.gif [4.2]
graphic file with name M15.gif [4.3]

which assumes an expanding universe, ( > 0), and initial conditions R = 0at t = 0, and R = 1, at t = t0. Since σ is constant, Eq. 3.1 uncouples from 3.2, and thus solutions of system 3.13.3 are determined by the scalar nonautonomous Eq. 3.1. Making the change of variable S = 1/N, which transforms the big bang N → ∞ over to rest point at S → 0, cf. ref. 1, we obtain,

graphic file with name M16.gif [4.4]

We take as entropy condition 3.6, and in addition, we require that the TOV equation of state meet the physical bound

graphic file with name M17.gif [4.5]

The conditions N > 1 and 0 < < p restrict the domain of 4.4 to the region 0 < u < σ < 1, 0 < S < 1. Inequalities 3.6 and 4.5 are both implied by the single condition

graphic file with name M18.gif [4.6]

We prove the following theorem:

Theorem 1. For every σ, 0 < σ < 1, there exists a unique solution uσ(S) of 4.4, such that 4.6 holds on the solution for all S, 0 < S < 1, and on this solution, 0 < uσ(S) < ū, limS→0 uσ(S) = ū, where ū = Min{1/3, σ}, and

graphic file with name M19.gif [4.7]

Concerning the the shock speed, we have:

Theorem 2. Let 0 < σ < 1. Then the shock wave is everywhere subluminous, that is, the shock speed sσ(S) ≡ s(uσ(S)) < 1 for all 0 < S ≤ 1, if and only if σ ≤ 1/3.

By a careful analysis of the asymptotics of the solution near S = 0, we can prove

Theorem 3. The shock speed at the big bang S = 0 is given by:

graphic file with name M20.gif [4.8]
graphic file with name M21.gif [4.9]
graphic file with name M22.gif [4.10]

5. Bounds on the Shock Position

Let r* be the FRW radial position of the shock wave at the instant of the big bang [the arclength distance r̄* = r*R(0) = 0 when R(0) = 0]. The analysis implies that the shock wave will first become visible at the FRW center r̄ = 0 at the moment t = t0 [R(t0) = 1], when the Hubble length Inline graphic satisfies

graphic file with name M24.gif [5.1]

where r* is the FRW position of the shock at the instant of the big bang. At this time, we prove that the number of Hubble lengths Inline graphic from the FRW center to the shock wave at time t = t0 can be estimated by

graphic file with name M26.gif

Thus, in particular, the shock wave will still lie beyond the Hubble length 1/H0 at the FRW time t0 when it first becomes visible. Furthermore, we prove that the time tcrit > t0 at which the shock wave will emerge from the white hole given that t0 is the first instant at which the shock becomes visible at the FRW center, can be estimated by

graphic file with name M27.gif [5.2]

for 0 < σ ≤ 1/3, and by the better estimate

graphic file with name M28.gif [5.3]

in the case σ = 1/3. For example, 5.2 and 5.3 imply that at the OS limit σ = 0,

graphic file with name M29.gif

and in the limit σ = 1/3,

graphic file with name M30.gif

We conclude in these shock-wave cosmological models that the moment t0 when the shock wave first becomes visible at the FRW center it must lie within 4.5 Hubble lengths of the center. Throughout the expansion up until this time, the expanding universe must lie entirely within a black hole; the universe will eventually emerge from this black hole, but not until some later time tcrit, where tcrit does not exceed 4.5 t0.

6. Concluding Remarks

We have constructed global exact solutions of the Einstein equations in which the expanding FRW universe extends out to a shock wave that lies arbitrarily far beyond the Hubble length. The distance to the shock wave at any given value of the Hubble constant is determined by one free parameter that can be taken to be the FRW position of the shock wave at the instant of the big bang.

The critical OS solution inside the black hole is obtained in the limit of zero pressure and provides the large time asymptotics, but the shock-wave solutions differ qualitatively from the OS solution. For example, the shock wave models contain matter, and thus do not rely on any portion of the empty space Schwarzschild metric inside the black hole for their construction. In both models, the interface propagates outward from the FRW center r̄ = 0 at the instant of the big bang, but in the shock-wave model the mass function M(r̄, t) is infinite at the instant of the big bang and immediately becomes a finite decreasing function of FRW time, for all future times t > 0. And although the OS solution is time reversible, the directional orientation of the shock interface relative to the various observers is determined by an entropy condition (68). The entropy condition selects the explosion over the implosion, and the condition that the entropy condition be satisfied globally, determines a unique solution. Since the TOV radial coordinate r̄ is timelike inside the black hole, we can also say that the density Inline graphic(r̄) and mass M(r̄) are both constant at each fixed time in the TOV spacetime beyond the shock wave.

The shock interface that marks the boundary of the FRW expansion continues out through the white hole event horizon of an ambient Schwarzschild metric at the instant when the wave is exactly one Hubble length from the FRW center r̄ = 0, and then continues on out to infinity along a geodesic of the Schwarzschild metric outside the black hole. These solutions thus indicate a scenario for the big bang in which the expanding universe emerges from an explosion emanating from a white hole singularity inside the event horizon of an asymptotically flat Schwarzschild spacetime of finite mass. The model does not require the physically implausible assumption that the uniformly expanding portion of the universe is of infinite mass and extent at every fixed time, and it has the nice feature that it embeds the big bang singularity of cosmology within the event horizon of a larger spacetime, the Schwarzschild spacetime. Moreover, the model also allows for the uniform expansion of arbitrarily large densities within an arbitrarily large mass extended over an arbitrary number of Hubble lengths early on in the big bang, a prerequisite for the standard physics of the big bang at early times.

We conclude that these shock-wave solutions give the global dynamics of strong gravitational fields in an exact solution, the dynamics is qualitatively different from the dynamics of solutions when the pressure p ≡ 0, the solution suggests a big bang cosmological model in which the expanding universe is bounded throughout its expansion, and the equation of state most relevant at the big bang, p = 13 ρ, is distinguished by the differential equations. But these solutions are only rough qualitative models because the equation of state on the TOV side is determined by the equations and therefore cannot be imposed. That is, the TOV density Inline graphic and pressure p̄ only satisfy the entropy conditions (3.6), together with the loose physical bounds (4.5); and on the FRW side, the equation of state is taken to be p = σρ, σ ≡ constant, 0 < σ < 1. Nevertheless, these bounds imply that the equations of state are qualitatively reasonable, and we expect that these solutions will capture the gross dynamics of solutions when more general equations of state are imposed. For more general equations of state, other waves, (e.g. rarefaction waves), would need to be present to meet the conservation constraint and thereby mediate the transition across the shock wave. Such transitional waves would be pretty much impossible to model in an exact solution, but the fact that we can find global solutions that meet our physical bounds, and that are qualitatively the same, for all values of σ ∈ (0, 1), and all initial shock positions, leads us to expect that such a shock wave would be the dominant wave in a large class of problems.

As a final remark, we note that because Einstein's theory by itself does not choose an orientation for time, it follows that if we believe that a black hole can exist in the forward time collapse of a mass through an event horizon as t → ∞, (the time t as observed in the far field), then we must also allow for the possibility of the time reversal of this process, a white hole explosion of matter out through an event horizon coming from t → –∞. That is, if we are willing to accept black holes in the forward time dynamics of astrophysical objects whose collapse appears so great as to form an event horizon in the future, then by symmetry, we may well also be forced to accept white holes in the backward time dynamics of astrophysical objects, which, like the expanding universe, appear to have expansions so great as to have emerged from an event horizon in the past. Given this, it is natural to wonder if there is a connection between the mass that disappears into black hole singularities and the mass that emerges from white hole singularities.

Acknowledgments

This work was supported in part by National Science Foundation Applied Mathematics Grants DMS-010-3998 (to J.S.) and DMS-010-2493 (to B.T.).

Abbreviations: FRW, Friedmann–Robertson–Walker; TOV, Tolman–Oppenheimer–Volkoff; OS, Oppenheimer–Snyder.

Footnotes

We let (t, r) denote standard FRW coordinates, so that = rR(t) measures arclength distance at each fixed value of the FRW time t, where R denotes the cosmological scale factor. Barred coordinates also refer to TOV standard coordinates, in which case = rR(t) also holds as a consequence of shock matching.

System 2.22.4 for A < 0 differs substantially from the TOV equations for A > 0 because, for example, the energy density T00 is equated with the timelike component Grr when A < 0, but with Gtt when A > 0. In particular, this implies that Inline graphic when A < 0, versus Inline graphic when A > 0, the latter being the equation that gives the mass function its physical interpretation outside the black hole.

References

  • 1.Smoller, J. & Temple, B. (2000) Commun. Math. Phys. 210, 275–308. [Google Scholar]
  • 2.Smoller, J. & Temple, B. (1995) Phys. Rev. D 51, 2733–2743. [DOI] [PubMed] [Google Scholar]
  • 3.Smoller, J. & Temple, B. (2003) Cosmology, Black Holes, and Shock Waves Beyond the Hubble Length, preprint.
  • 4.Smoller, J. & Temple, B. (1997) Arch. Ration. Mech. Anal. 138, 239–277. [Google Scholar]
  • 5.Israel, W. (1966) Nuovo Cimento Soc. Ital. Fis. B XLIV, 1–14. [Google Scholar]
  • 6.Lax, P. D. (1957) Commun. Pure Appl. Math. 10, 537–566. [Google Scholar]
  • 7.Smoller, J. (1983) Shock Waves and Reaction-Diffusion Equations (Springer, Berlin).
  • 8.Glimm, J. (1965) Commun. Pure Appl. Math. 18, 697–715. [Google Scholar]

Articles from Proceedings of the National Academy of Sciences of the United States of America are provided here courtesy of National Academy of Sciences

RESOURCES