Mass gap in the critical gravitational collapse of a kink
Abstract
We study the gravitational collapse of a kink within spherical symmetry and the characteristic formulation of General Relativity. We explore some expected but elusive gravitational collapse issues which have not been studied before in detail, finding new features. The numerical one-parametric solution and the structure of the spacetime are calculated using finite differences, Galerkin collocation techniques, and some scripting for automated grid coverage. We study the threshold of black hole formation and confirm a mass gap in the phase transition. In the supercritical case we find a mass scaling power law , with independent of the initial data for the cases considered, and , and each depending on the initial datum. The spacetime has a self-similar structure with a period of . In the subcritical case the Bondi mass at null infinity decays in cascade with interval as expected.
pacs:
04.25.D-, 04.70.BwI Introduction
The practical limit of General Relativity as it nears the threshold of the quantum realm is an open issue. The answer might involve elucidating where relativity fails and whether there is a place where both theories merge. In the strong field limit near the formation of a black hole Choptuik, discovered critical behavior c93 () for a massless scalar field under spherical symmetry and minimally coupled to gravity. Choptuik found: (i) a critical behavior of Type II with a very small black hole mass; (ii) an unstable naked singularity by fine-tuning generic initial data; (iii) that the system follows a power law mass scaling and shows discrete self-similarity. Critical behavior of Type I is found when a massive scalar field (a Compton wavelength) is considered brady (), ss (). For a review on the critical phenomena for gravitational collapse, including quantum extensions, see Ref. gm ().
A self-gravitating massless scalar field has been a pivotal toy model for Numerical General Relativity in many different ways: Astrophysically, in the black hole coalescence and merging to predict expected profiles of gravitational radiation, relevant for detection pretorius (); Cosmologically, a possible connection with dark matter has been speculated (see Ref. darkm () and references therein); Mathematically, the field equations of the Einstein-Klein- Gordon system under spherical symmetry have the same structure of those off spherical symmetry in vaccum winicour ().
Although the critical behavior was studied and comprehended deeply, the massless scalar field still remains a good playground to explore the non linear nature of gravity. In the critical behavior of Type II, is the final mass finite? psa05 (). When the spacetime contains a black hole, power law scaling with a mass gap is not obvious mc (), cd15 (). What about if we collapse a kink bglw96 () up to a black hole formation? From physical grounds the critical behavior should not depend in general on boundary-initial conditions. We describe this system in terms of radiation coordinates bondi62 (); sachs62 (), which in the case of spherical symmetry the line element takes the form bondi64 ()
(1) |
where and are functions of and . Here is a timelike coordinate; in a flat spacetime is just the retarded time. Therefore, surfaces constant represent null cones open to the future; is a null coordinate () such that surfaces constant are spheres; and are the usual angular coordinates.
In these coordinates, the Einstein-Klein-Gordon equations reduce to EKG (); X1986 ()
(2) |
(3) |
and the scalar wave equation , which takes the form
(4) |
The initial null data necessary for evolution consists of , , at initial time . (We take ). At the mirror, we set , with the gauge condition that . We adopt the coordinate condition . The condition that the metric matches continuously to a flat interior for requires .
With these conditions the scalar field and metric components have a unique future evolution. The resulting metric does not have an asymptotic Minkowski form at . This is characterized by the quantity which relates Bondi time at to the proper time at the reflecting boundary according to . Bondi time is the physically relevant time for distant observers. The Bondi mass of the system can be expressed in either an asymptotic or integral form waveforms ():
(5) | |||||





Ii Static and other kinks
The asymptotically flat static solution of the Einstein-Klein-Gordon system is an extremum of the energy, subject to a fixed kink potential bglw96 (). This solution jnw1968 (), of Janis-Newman-Winicour (JNW), can be obtained in null coordinates by setting in the wave equation (4). This gives
(6) |
whose solution, after using (2) and (3) to eliminate the -dependence, is
(7) |
with given by
(8) | |||||
Here the integration constant determines the kink potential,
(9) |
The spacetime has a naked singularity when analytically extended to jnw1968 (). The Bondi mass of this solution is
(10) |
The one-parameter family of static equilibria has kink potential , given by (9), which increases monotonically with from until it reaches a maximum at the turning point satisfying . Above , monotonically decreases to as . Thus, below , there are two static equilibria for each kink amplitude. Similarly, the mass increases monotonically from to a maximum at the same turning point and then decreases monotonically to the black hole limit, , as bglw96 (). Figure 1 shows the basic setting of the system to study the critical behavior in the gravitational collapse of a kink. The static solution of JNW, and the physics behind it, is our starting point to build four types of kinks and study their dynamics in depth.
ii.1 Globally perturbed static solution
From the JNW static solution, we construct a kink for any specific value of , truncating such a solution at and introducing the following simple global scale perturbation
(11) |
keeping the values of the static kink as boundary conditions. We know that for and below the perturbed kink does not form a black hole; instead decays to the static solution.
ii.2 Non compact initial kink
For a kink potential no static equilibria exist. With these boundary conditions, we would expect any initial state to undergo collapse to a black hole bglw96 (). We explore then this by considering initial data of the form
(12) |
for which a critical value of no mass gap exist, and we have to wait an infinite proper time to observe whether or not a black hole is formed.
ii.3 Compact initial kink
From the above initial conditions and numerical experimentation we arrived to the following kink
(13) |
with a variance . The Gaussian-like shape makes this datum properly to explore the critical behavior in the gravitational collapse of the kink.
ii.4 Mixed initial kink
In order to combine the features of data B and C we built the following initial datum, which resembles a Heaviside step-like descent function
(14) |
with (step width related) and (speed of descent related). These parameters let us adjust the dynamics and prescribe the formation or not of a black hole.
Iii Numerical methods, tests and other tools
The problem has been studied using two different numerical methods and some scripting. We briefly resume here these well established numerical solvers and the wrapper scripts.
iii.1 Finite differences
We use a null cone evolution algorithm for nonlinear scalar waves developed in Refs. gwi (); gw () (the 1D Pitt code) adapted to the present setting as reported in bglw96 (). The algorithm is based upon the compactified radial coordinate , so that is represented by a finite grid boundary, with at the mirror and at . The code has been tested to be globally second order accurate, i.e., the error in global quantities such as the Bondi mass is in terms of the grid spacing . This code has been used to get global energy conservation near the critical behavior b14 () in a setting as originally studied by Choptuik.
iii.2 Galerkin collocation
We have performed numerical experiments using the Galerkin-Collocation method as described in Ref. cd15 (). Briefly, we have introduced a new radial coordinate to place the reflector at , and further compactified the domain into . After introducing the auxiliary field , the relevant fields were approximated as series with respect to suitable basis functions that satisfy the boundary conditions. For instance,
iii.3 Scripting
In order to make a large amount of numerical experiments, minimize error of handling, processing the collected data, and for exploration near the critical point of bifurcation, we search for the critical point. Using scripting with Python to ensure that the runs offered a mostly uniform coverage of the space.
Iv Numerical experiments
We explore numerically the power spectrum when a black hole forms (super critical case). Are there critical phenomena? In the threshold of the black hole formation, is the spacetime discretely self-similar?
Data A and C were used in Ref. bglw96 (); they are not the best initial setting to explore in practice critical behavior. These data evolve too slow to reach critical values with the highest resolution, but they lead us to data C and D. However we extract an expected feature from datum A, that is, the mass gap can be reduced to zero. Figure 2 displays the mass gap as a function of for different values of . Figure 3 illustrates the mass gap for the initial datum D, which is representative of any studied initial condition, except datum B, as explained in the caption of Figure 1. Figure 4 shows the mass spectrum in the super critical case for data C and D. For this particular graph, we have considered the Galerkin-Collocation method to evolve datum C. Figure 5 displays the natural logarithm of the Bondi mass as a function of defined as
(16) |
where is the accumulated Bondi time which corresponds to the accumulated proper time referred to .
From numerical experimentation we infer the following mass scaling power law
(17) |
where , , being a non trivial function of its argument. is the super critical mass limit which corresponds to the critical amplitude .
In general our results show agreement between the Finite differences and the Galerkin collocation method.
To obtain one point for the black hole spectrum it takes 65 minutes for a grid size of using a N1-standard-1 virtual machine on Google Compute Engine.
V Discussion
When the spacetime contains a black hole and the critical behavior is studied, no mass gap is apparent mc (), cd15 (). Simply the black hole increases the mass by the accreting massless scalar field. As it was pointed in Ref. bglw96 (), when the scalar field undergoes gravitational collapse to form a horizon, some of the scalar energy is radiated to infinity and the remainder crosses the horizon and contributes to the final black hole mass. The mirror itself must fall into the horizon for otherwise it would continue to reflect the scalar field until all scalar energy were radiated to infinity. Near the critical strength, the sensitivity of the final mass is somewhat analogous to the critical behavior studied by Choptuik c93 () except there is now a mass gap because the final black hole must have a mass larger than in order to contain the mirror. Figures 2 and 3 show the evidence of the expected mass gap as a rule, and no mass gap as an exception. The black hole mass in the critical behavior of type II can be finite.
The critical behavior as observed in this work is not exactly as reported up to now. The kink setting may contain more complexity, and further study is planned. The spectrum of the variation of the Bondi mass as a function of the natural logarithm of the variation of the parameter, as displayed in figure 4, shows a curious behavior related with the standard critical phenomena. In fact, we observe the presence of and as originally reported by Choptuik, but in the present case the mass scaling power law is . We do not know yet why is roughly twice the critical exponent of Choptuik. It is intriguing indeed for us, and we are reporting it as it was found. Even more, very close to the critical point appear an unstable main mode, followed by an unstable second mode. We do not know up to now if with a better resolution will appear other subsidiaries minor modes or if the second mode is the dissipation of the main mode because of numerical error. We have confidence that these peculiar results are not a numerical artifact, instead they are a consequence of nonlinearity near the critical values and the boundary conditions. Clearly, the mismatch in the critical exponent is due to the presence of the kink, constructed by means of a perfect reflecting barrier, and this makes the system different from the one originally studied by Choptuik. Other authors also have found different critical exponents when boundary conditions for the same system changed cd15 () or other sources and dimensions are considered gm (), jgt15 (). However, the system as we studied basically behaves as Choptuik discovered: the spacetime is discretely self-similar and has a power law mass scaling. We emphasize in this paper the expected mass gap conjectured in Ref. bglw96 (), where the system was studied with other motivations departing from that of Choptuik. Thus, the mass gap was previously conjectured but not found until now, and finding it was the main driver for this paper. The “universal” critical exponent is respect to the initial data, as has been clarified in many works after the pioneering work of Choptuik gm (). Finally the Bondi mass can be singled out as in figure 5 in a such way that the periodic decaying in the subcritical case is , as expected for a dependence of the Bondi mass as , in agreement with Ref. psa05 ().
The kink setting may look artificial or idealized. It is a perfect reflector barrier and just to the interior the spacetime is Minkowskian, but it can be filled with a fluid and the radius of the mirror incorporated to the dynamics. A number of other settings can be less unrealistic and the kink will behave basically the same way. The next problem to study is the kink under the axial and reflection symmetry, particularly motivated by the present results. Although the subcritical zone in the present setting deserves a more accurate resolution. Work in this direction is in progress.
Acknowledgements.
W.B. thanks to FAPERJ for the financial support, and hospitality at Departamento de Física Teórica, UERJ; also to Luis Rosales, Luis Herrera and Jeff Winicour for reading and comments.References
- (1) M. W. Choptuik, Phys. Rev. Lett. 70, 9 (1993).
- (2) R.S. Hamadé and J. M. Stewart, Class. Quantum Grav., 13, 497 (1996).
- (3) P. R. Brady, C. M. Chambers, S. M. C. V. Goncalves, Phys. Rev. D, 56, R6057 (1997).
- (4) E. Seidel and W.-M. Suen, Phys. Rev. Lett., 66, 1659 (1991).
- (5) C. Gundlach and J. M. Martín-García, Living Rev. Relativity 10, 5 (2007).
- (6) F. Pretorius, Phys. Rev. Lett. 95, 121101 (2005).
- (7) C. F. B. Macedo, P. Pani, V. Cardoso, L. C. B. Crispino, Phys. Rev. D 88, 064046 (2013).
- (8) J. Winicour, Living Rev. Relativity 15, 2 (2012).
- (9) M. Pürrer, S. Husa and P. C. Aichelburg, Phys. Rev. D, 71, 104005 (2005).
- (10) R. L. Marsa and M. W. Choptuik, Phys. Rev. D 54, 4929 (1996).
- (11) J. A. Crespo and H.P. de Oliveira, Phys. Rev. D 92, 064004 (2015).
- (12) W. Barreto, R. Gómez, L. Lehner, J. Winicour, Phys. Rev. D 54, 3834 (1996).
- (13) H. Bondi, M. G. J. van der Burg, and A. W. K. Metzner, Proc. R. Soc. A 269, 21 (1962).
- (14) R. K. Sachs, Proc. R. Soc. A 270, 103 (1962).
- (15) H. Bondi, Proc. R. Soc. London 281, 39 ??(1964)??.
- (16) R. Gómez and J. Winicour, J. Math. Phys. 33, 1445 (1992).
- (17) D. Christodoulou, Commun. Math. Phys. 105, 337 (1986).
- (18) R. Gómez and J. Winicour, Phys. Rev. D 45, 2776 (1992).
- (19) A. Janis, E. T. Newman, and J. Winicour, Phys. Rev. Lett. 20, 878 (1968).
- (20) R. Gómez, J. Winicour, and R. Isaacson, J. Comput. Phys. 98, 11 (1992).
- (21) R. Gómez and J. Winicour, J. Math. Phys. 33, 1445 (1992).
- (22) W. Barreto, Phys. Rev. D 89, 084071 (2014).
- (23) H. P. de Oliveira, E. L. Rodrigues, and J. E. F. Skea, Phys. Rev. D 82 104023 (2010).
- (24) J. Jalmuzna, C. Gundlach, and T. Chmaj Phys. Rev. D 92, 124044 (2015).