A Self-consistent Model of the Black Hole Evaporation

Hikaru Kawai, Yoshinori Matsuo, Yuki Yokokura

Introduction

In the analysis of the black hole evaporation, one usually assumes that a horizon is formed in a collapse process, and examines the evaporation and entropy in the static black hole -.

In this paper we try to build a self-consistent model which describes both formation and evaporation of a black hole including the back reaction from the Hawking radiation Note that we mean by “black hole” not one that has an event horizon defined globally as in the rigorous sense, but one that is formed in a semi-classical collapse process. Some authors pursued similar ideas -. . That is, we solve the semi-classical Einstein equation in a self-consistent manner:

where ⟨Tμν⟩\langle T_{\mu\nu}\rangle contains the contribution from both the collapsing matter and the Hawking radiation. From the solution we can investigate whether a horizon and singularity are formed or not.

We first consider a null shell as the collapsing matter and construct the geometry by connecting the inside flat metric and the outside outgoing Vaidya metric on the shell. Note that particle creation generally occurs in a time-dependent gravitational potential, and especially, the Hawking radiation can appear without a horizon . We invent a formula that evaluates the energy flux of such a process. Then we obtain self-consistent equations which determine time evolution of the shell and the radiation. The solution shows that the radiation stops, the horizon and singularity appear, and the black hole remains forever.

Next we analyze the case where a continuous null matter collapses and discuss the mechanism of the Hawking radiation. It has an onion-like internal structure and evaporates gradually from the outermost part. Then we write down a self-consistent stationary solution in the heat bath. It has neither a macroscopically large horizon nor singularity.

Construction of a model

We first explain the general idea for construction of a geometry which describes a black hole from formation to evaporation. Next we propose a simple model.

Suppose that a gravitational collapse forms a Schwarzschild black hole as in the left of Fig.1.

If we take time reversal, the existing black hole goes back to the flat spacetime as in the center of Fig.1. Then, if we cover the inside of the horizon and the singularity by pasting a collapsing matter, we obtain a geometry which describes both the formation and evaporation as in the right of Fig.1 In a similar diagram is discussed.. Note that whether this picture is realized or not depends on the dynamics. Therefore we need to make some model and solve it concretely.

We will consider the following model. When we take a null shell as the collapsing matter, the inside spacetime is flat:

As a simple model of the outside metric, we take the outgoing Vaidya metric :

where m(u)=a(u)2Gm(u)=\frac{a(u)}{2G} is the Bondi mass and the only non-zero component of the Einstein tensor is

where the null energy condition implies a˙<0\dot{a}<0 In and , the ingoing Vaidya metric was used to study the evaporation.. This is the general spherically symmetric metric which satisfies Gμμ=0G^{\mu}{}_{\mu}=0 and Gμν=0G_{\mu\nu}=0 except for GuuG_{uu} These conditions come from the following discussion. At r≫ar\gg a, where aa is the Schwarzschild radius of the null shell, we can take Gθθ=Gϕϕ=0G_{\theta\theta}=G_{\phi\phi}=0 because most partial waves with l≫1l\gg 1 of the radiation do not go through their own centrifugal barrier in Vl∼l(l+1)r2V_{l}\sim\frac{l(l+1)}{r^{2}}. Next the incoming flux can be neglected there because of the boundary condition that any energy flow does not come from infinity except for the shell. Furthermore if we consider only massless fields, we can assume Gμμ=0G^{\mu}{}_{\mu}=0 because the Weyl anomaly vanishes approximately in r≫a≫lpr\gg a\gg l_{p}. At r∼ar\sim a, the ingoing flow and TθθT_{\theta\theta} can exist with l≫1l\gg 1, but we assume to neglect them for the simplest model. Therefore we can consider the conditions. In this sense the outgoing Vaidya metric represents the outgoing radiation without the gray-body factor..

Note that the coordinate rr must be the same in the both side, because it is defined as the radius of 2-sphere and there is no room to rewrite r2dΩ2r^{2}d\Omega^{2}. On the other hand, uu is related to UU as

where rs(u)r_{s}(u) is the locus of the null shell. This comes from the fact that rsr_{s} is an ingoing null geodesic in the both sides. Thus a simple model is given by connecting the outgoing Vaidya metric and the flat metric with the null shell as in Fig 2. We call it one-shell model.

Here we analyze the locus of the null shell rs(u)r_{s}(u) for a given function a(u)a(u). rs(u)r_{s}(u) is determined by the condition (2.4):

This equation tells that the shell will approach its own Schwarzschild radius in the time scale ∼a\sim a if a(u)a(u) changes so slowly that the time scale in which a(u)a(u) changes significantly, a∣a˙∣\frac{a}{|\dot{a}|}, is much larger than aa, that is,

Then, in the region rs∼ar_{s}\sim a, we can replace rsr_{s} in the denominator with aa and solve it as

where CC is a positive constant. Here the term −2aa˙-2a\dot{a} means that as the shell approaches to its Schwarzschild radius in the time scale of 2a2a, the radius reduces by the evaporation. (See Fig 2.) Therefore the shell cannot catch up with the radius completely as long as a˙<0\dot{a}<0, but it approaches to

Finally we investigate the surface energy-momentum tensor TΣμνT_{\Sigma}^{\mu\nu} on the shell. Using the Barrabes-Israel null-shell formalism , we estimate

where v=∂∂τv=\frac{\partial}{\partial\tau} is the four vector of an observer (v2=−1v^{2}=-1), kμk^{\mu} is the ingoing radial null vector which is taken as kμ∂μ=21−a(u)r∂u−∂rk^{\mu}\partial_{\mu}=\frac{2}{1-\frac{a(u)}{r}}\partial_{u}-\partial_{r} in the Vaidya metric (2.2) and kμ∂μ=2∂U−∂rk^{\mu}\partial_{\mu}=2\partial_{U}-\partial_{r} in the flat space (2.1), and σμν\sigma^{\mu\nu} is the metric on the 2-sphere (σμνdxμdxν=r2dΩ2\sigma_{\mu\nu}dx^{\mu}dx^{\nu}=r^{2}d\Omega^{2}). The fact that P∝−a˙(u)>0\mathcal{P}\propto-\dot{a}(u)>0 implies that the work done by the shell as it contracts is transformed to the Hawking radiation. Thus this model is consistent in energetics.

Time evolution of this model depends on the functions a(u)a(u) and rs(u)r_{s}(u), so we will investigate their dynamics in the following sections.

Flux formula

We will here construct a flux formula J(u)J(u) which, at r≫ar\gg a, estimates energy flow from the black hole:

In the Heisenberg picture, we use the Eikonal approximation, the point-splitting regularization and only the s-wave to obtain

whose form is the same as the Schwarzian derivative. The derivation is given in the Appendix A. Note that we can also derive the Planck distribution without horizon (see Appendix B) .

First we test the formula in the case without back reaction, that is, in the geometry obtained by connecting the Schwarzschild metric and the flat space. In this case, from (2.7), rs(u)r_{s}(u) becomes

where aa becomes constant completely. Then the flux is estimated as

where TH=ℏ4πaT_{H}=\frac{\hbar}{4\pi a}. This is the same as thermal radiation from a one-dimensional black body with the temperature THT_{H}. In this sense, the flux formula (3.2) is consistent with the usual result . Note that this result is the same as the Stefan-Boltzmann law except for the coefficient.

From (2.4), (2.5), (3.1) and (3.2), we have obtained the self-consistent equations which determine the dynamics of the one-layer model, that is, a(u)a(u) and rs(u)r_{s}(u):

where lp=Gℏl_{p}=\sqrt{G\hbar} is the Planck length.

Time evolution of a null shell

Now we consider the collapse of a null shell by using the one-shell model and investigate whether it evaporates or not A similar case was studied in a different set up .. The numerical result of (3.5) and (3.6) is shown in Fig. 3.

Here we have chosen the initial conditions given by

where n≳1n\gtrsim 1 is a number, and we assume a(0)≫lpa(0)\gg l_{p}. The shell does not evaporate completely, and a horizon and singularity appear. This asymptotic behavior does not depend on the detail of the initial conditions.

We can understand why the radiation stops in the following manner. Let’s recall the estimation of the Hawking radiation on the geometry with a˙=0\dot{a}=0 (see (3.3)). In that case, only the term proportional to e−u2ae^{-\frac{u}{2a}} contributes to the formula. However, now the term a˙\dot{a} appears in rsr_{s}, (2.7), and the exponential factor will damp for large uu. Therefore, rsr_{s} becomes a−2a˙aa-2\dot{a}a asymptotically as in (2.8). Because a˙a\dot{a}a is at most of order lp2/a≪lpl_{p}^{2}/a\ll l_{p}, we can approximate

where BB and DD are integration constants, and BB is small and positive. From (4.3) u=∞u=\infty corresponds to ξ=∞\xi=\infty, so (4.4) shows that a(u)a(u) will not necessarily vanish as u→∞u\rightarrow\infty.

Thus we have seen that a collapsing null shell with radius rsr_{s} radiates for a while, but it stops and the radius rsr_{s} almost stays at the Schwarzschild radius aa. Then the horizon and singularity appear. A single shell does not evaporate completely even if the back reaction from the Hawking radiation is taken into account.

Generalization to a continuous null matter and the stationary solution

We discuss the case where a continuous null matter collapses (see Fig. 4).

Let’s consider a shell. The metric just outside the shell is given by

where a′(u′)a^{\prime}(u^{\prime}) is the Schwarzschild radius corresponding to the total energy of the lower shells, and u′u^{\prime} is the time coordinate for the shell. The locus of the shell r′(u′)r^{\prime}(u^{\prime}) follows

Furthermore, for the shell, the flux formula holds, and we have

where J′J^{\prime} represents the energy flux measured at infinity if the shells outside did not exist. Here we have introduced NN degrees of freedom. In the case of the standard model, N∼100N\sim 100 in the energy region higher than the weak scale. Note that introducing NN corresponds to replacing lpl_{p} with Nlp\sqrt{N}l_{p}.

We will show that the Hawking radiation is emitted from each shell, but only shells near the outermost one are relevant because of the large redshift.

which represents distance between the shell r′r^{\prime} and the Schwarzschild radius a′a^{\prime}. Here we assume that the last term in (5.3) has already damped for each shell, so that we have

Then the energy flux for each shell depends only on its Schwarzschild radius and does not have an explicit u′u^{\prime}-dependence:

From (5.6), ρ′\rho^{\prime} also becomes a function of a′a^{\prime}:

Now we consider the junction condition of the adjacent shells. By looking at each shell from the both side (see Fig. 4), we obtain

If a′−a′′=daa^{\prime}-a^{\prime\prime}=da is small, we get

By integrating it, we obtain the redshift factor between a′a^{\prime} and a′′a^{\prime\prime} for finite distance:

where (5.6) and (5.8) have been used. Thus we have found that for each shell

which is independent of a concrete form of f(a′)f(a^{\prime}).

On the other hand, by expressing {u′,U}\{u^{\prime},U\} in terms of ξ′\xi^{\prime}, we can express the energy flow in (5.4) as

By substituting (5.4) and (5.16) iteratively, we have

where TH′=ℏ4πa′T^{\prime}_{H}=\frac{\hbar}{4\pi a^{\prime}}, which would be the temperature measured at infinity if the shells outside did not exist. Thus, any shell can emit the Hawking radiation if the shells are continuously distributed so that we can use (5.11). This result does not depend on the behaviour of the shells outside the one we are considering. From (5.4), (5.6) and (5.17), ρ′\rho^{\prime} is determined as

By considering the outermost shell, we find that the total Hawking radiation is given by

which coincides with the result for the static Schwarzschild geometry (3.4). Then by applying (5.4) to the outermost shell, we obtain the time evolution of the size of the black hole:

We can also show that the energy spectrum of the radiation follows the Planck distribution (see Appendix B). Therefore this black hole evaporates completely as is usually expected. However, our model describes how it happens more precisely. Actually the black hole evaporates gradually from the outermost shell as if one peels off an onion.

Here we will check that the total radiation (5.19) is equal to the sum of the radiation from each shell. First let’s estimate the radiation from the region between a′a^{\prime} and a′′=a′−daa^{\prime\prime}=a^{\prime}-da as depicted in Fig. 4. If there were no shells outside this region, the radiation is estimated as

where df(a′)da′da\frac{df(a^{\prime})}{da^{\prime}}da is neglected as a higher term, and (5.8) is used. By using this and the redshift factor, the sum of radiation from each layer is estimated as

Here the dominant contribution in the integration comes from the outermost thin region with a width about ρ(a)∝a−1\rho(a)\propto a^{-1} (see (5.18)). Although each shell radiates, the outermost region gives the main contribution because of the large redshift.

2 The stationary metric

We consider the case that the black hole is put in the heat bath with the Hawking temperature of the outermost shell for long time so that (2.8) holds for each shell. It is not difficult to calculate the metric for this stationary geometry, and we obtain (see Appendix C)

This expression is valid for r≤a+Nlp224πar\leq a+\frac{Nl_{p}^{2}}{24\pi a} and smoothly connected to the Schwarzschild metric at r=a+Nlp224πar=a+\frac{Nl_{p}^{2}}{24\pi a}. This metric does not have a horizon. Here tt is the time of the flat space at infinity, which is related to the time around the origin TT as

This means that TT is so much redshifted that TT is almost frozen from viewpoint of an observer at infinity. Note that this geometry has been obtained self-consistently, so the classical limit (ℏ→0)(\hbar\rightarrow 0) does not exist.

This metric does not have a large curvature compared with lp−2l_{p}^{-2} in the region r≫Nlpr\gg\sqrt{N}l_{p} if NN is sufficiently large, N≫100N\gg 100:

The singularity around the origin r∼0r\sim 0 is controllable in the sense that it can be removed by introducing a small shell surrounding the origin. For example, suppose a small shell with a0∼CNlpa_{0}\sim C\sqrt{N}l_{p} comes first, and next, it grows to a large size with a≫lpa\gg l_{p} in the heat bath. Then the outside region r>a0r>a_{0} is described as the stationary metric (5.22), while the center shell is the Schwarzschild black hole with the radius a0a_{0} which does not evaporate forever as in the case of the one-shell model. Therefore we have a horizon and singularity around the origin, but their size is small.

Here we make a comment on the Weyl anomaly. The trace of the Einstein tensor is given by

Because classically the energy-momentum tensor of null shells should be traceless, this should be identified with the Weyl anomaly. Actually, if we use the formula of the Weyl anomaly for N scalar fields , we obtain

which agrees with (5.25) up to numerical coefficients. Therefore the self-consistent solution obtained by the Eikonal approximation (5.22) already contains the effect of the Weyl anomaly.

Conclusion and Discussion

We have solved the semi-classical Einstein equation in a self-consistent manner. We have built a model which describes a black hole from formation to evaporation including the back reaction from the Hawking radiation. We consider null matter collapse and assume that the geometry is obtained by connecting the matter region and the outgoing Vaidya metric.

Using the Eikonal approximation, we have found a formula that gives the energy flux of the particle creation in a dynamical geometry. Then we have obtained the self-consistent equations which determine time evolution of the collapsing matter and radiation.

As the first example, we have analyzed the case where a single shell collapses and solved it numerically and analytically. The shell does not evaporate completely, and a horizon and singularity appear. This is not a thermodynamic object but a stable one in the sense that it cannot be formed nor evaporated adiabatically in a heat bath.

Next we have discussed the case where a continuous null matter collapses. Then the Hawking radiation occurs not only from the surface but also from the inside. However, because of the large redshift, the radiation is emitted substantially only from the region around the surface. This black hole evaporates as is usually thought. We then have put it in a heat bath and found the stationary metric. It dose not have a macroscopically large horizon or singularity. By introducing a small shell around the origin, this singularity can be controlled. The metric automatically takes into account the effect of the Weyl anomaly.

There remain some open problems. Our stationary solution has neither horizon nor singularity, so the information inside the hole must come back after evaporation. However, we don’t understand the mechanism clearly yet. For example, suppose that we throw a newspaper into the stationary black hole described by our metric. It will behave like another null shell going to the hole as it approaches the surface. Clearly its energy will be transformed into the Hawking radiation by our mechanism. However, the radiation itself comes from the quantum field on the past infinity, or the vacuum. How will the information of the newspaper come back? A clue to this problem is that we have taken the expectation value of the energy-momentum tensor ⟨Tμν⟩\langle T_{\mu\nu}\rangle in our self-consistent equations, which might correspond to the coarse-graining procedure in the ordinary statistical mechanics.

On the other hand, if we put our black hole in a heat bath with the temperature equal to the Hawking temperature of the outermost shell, it is completely stationary. In this sense, our black hole can be regarded as a thermodynamic object having this temperature and its entropy is given by the area law. We don’t claim that the information problem is solved, but our black hole does not have a macroscopically large horizon and singularity. The small singularity around the origin would be resolved by string theory. If it is the case, the system is completely well-defined.

Acknowledgments

The work of Y.M. is supported by the JSPS Research Fellowship for Young Scientists. The work of Y.Y. is supported by the JSPS Research Fellowship for Young Scientists and by the Grant-in-Aid for the Global COE Program “The Next Generation of Physics, Spun from Universality and Emergence” from the Ministry of Education, Culture, Sports, Science and Technology (MEXT) of Japan.

Appendix A Derivation of the flux formula (3.2)

We will here derive the flux formula (3.2) by taking only the s-wave and using the Eikonal approximation. From (1.1) and (2.3), we estimate ⟨Tuu⟩\langle T_{uu}\rangle at r≫ar\gg a in the one-shell model (see Fig. 2).

First we investigate the behavior of a massless scalar field at r≫ar\gg a in the Schwarzschild metric:

where f(r)=1−arf(r)=1-\frac{a}{r}. The action of the field φ\varphi on this metric is

where we have decomposed the field into partial waves

and introduced the new coordinate dr∗≡drfdr_{\ast}\equiv\frac{dr}{f} and the effective potential for each partial wave with angular momentum ll as

This implies that only the s-wave survives at r≫ar\gg a because partial waves with l>0l>0 have to tunnel their own centrifugal barrier with the rate Pl∼e−lP_{l}\sim e^{-l}.

Then let’s consider the wave equation for scalar field φ\varphi on the Vaidya metric (2.2):

where l^2\hat{l}^{2} is the Laplacian for angular directions. Here we take only the s-wave

and use the Eikonal approximation (ℏ→0)(\hbar\rightarrow 0). Then we get

Therefore, for the outgoing modes, we obtain the equation:

Next in this approximation we consider time evolution of the Heisenberg operator ϕ\phi at r≫ar\gg a in the collapsing spacetime. (See Fig. 5.)

Before the collapse, the field is given by the spherical waves:

which corresponds to the field on the flat space. Here the vacuum is defined as the Minkowski vacuum:

After the collapse, the field becomes, from (A.7),

where f(u)f(u) is any increasing function of uu. We are here using the Eikonal approximation, so the phase remains constant on the outgoing mode:

where UU is the time coordinate in the flat space inside the shell, and at the second equality we have used the junction condition on the locus of the shell (2.4).

Let’s estimate the flux based on the above analysis. We use the point-splitting regularization technique to subtract the divergence :

where the time uu is after the collapse, and the r-dependence is not explicitly written because r≫ar\gg a. First we introduce

and expand the equation with respect to ϵ\epsilon. By using (A.10), the first term in (A.12) is estimated as

where f=f(u)f=f(u). In the same way, the second term in (A.12) is estimated as

Thus, by using (A.11), we obtain the flux formula for J(u)=4πr2⟨0∣:Tuu(u):∣0⟩J(u)=4\pi r^{2}\langle 0|:T_{uu}(u):|0\rangle as

Appendix B Derivation of the Planck distribution without horizon

We emphasize that the Planck distribution can be obtained even if the geometry has no horizon. All that is necessary is that the affine parameters on the null generators of past and future null infinity are related exponentially .

In this appendix, we will show that in our model, the expectation value of the number of the particle creation takes the form of the Planck distribution with the Hawking temperature TH(u)=14πa(u)T_{H}(u)=\frac{1}{4\pi a(u)}, in which a(u)a(u) changes so slowly that (2.6) holds.

We start with reviewing the standard calculation of the Hawking radiation. We consider the state in the Heisenberg picture that is annihilated by the positive frequency operators in the past infinity aωa_{\omega}:

Because the profile of the wave is modified by the gravitational potential, the positive frequency operators in the future infinity bωb_{\omega} is a superposition of the positive and negative frequency operators in the past infinity aω′a_{\omega^{\prime}},

Then in the future infinity the number operator takes the non-trivial value

The coefficient Aω,−ω′A_{\omega,-\omega^{\prime}} is given by the Klein-Gordon inner product:

where φb(u;ω)\varphi_{b}(u;\omega) is the wave function of the outgoing mode on the future null infinity and φa(U;ω)\varphi_{a}(U;\omega) is that on the past null infinity.

As in Appendix A, we will use the Eikonal approximation for the s-wave. Then, from (A.8) and (A.10),

Here we need the relation between uu and UU.

(1) In the case of a single shell, we can use U(u)=−2rs(u)U(u)=-2r_{s}(u) and rs(u)≈a(u∗)+Ca(u∗)e−u−u∗2a(u∗)r_{s}(u)\approx a(u_{*})+Ca(u_{*})e^{-\frac{u-u_{*}}{2a(u_{*})}} where u∗u_{*} is a time when the exponential factor remains. Here note that CC is positive because rs>ar_{s}>a. Then we obtain

where the irrelevant phase factor is dropped. Here the contribution from uu away from u∗u_{\ast} is negligible because the only interval [u∗−ka∗,u∗+ka∗][u_{*}-ka_{*},u_{*}+ka_{*}] contributes to the integral, where kk is a constant ∼1\sim 1. After performing the uu-integration, we obtain

where the irrelevant phase factor is omitted.

(2) In the case of the asymptotic region (2.8) of the continuous matter, we first expand a(u)a(u) around u∗u_{*} which is a time in the region:

where for simplicity we have normalized the Hawking radiation as a˙=−1a2\dot{a}=-\frac{1}{a^{2}}. Then the redshift factor is estimated as

This is different from (B.8) in the sign of the exponentials, but this integral leads to almost the same result:

By considering a wave packet around u∗u_{\ast}, we arrive at the Planck-distributed Hawking radiation with temperature T(u∗)T(u_{\ast}):

Appendix C Derivation of the stationary metric (5.22)

We will derive the stationary metric (5.22). The metric (5.1) represents a vicinity around a point (u′,r′)(u^{\prime},r^{\prime}) just outside a shell. r′r^{\prime} is so close to a′a^{\prime} that, from (5.18),

From (5.4), (5.6) and (5.17), ρ′−1\rho^{\prime}{}^{-1} is also estimated as

By using these, the time coordinate u′u^{\prime} is related to that around the origin UU as

where we have replaced r′r^{\prime} with rr. Here we introduce the time coordinate around the origin:

Now we connect it to the outside metric, that is, the Schwarzschild metric at the outermost shell r=a+Nlp224πar=a+\frac{Nl_{p}^{2}}{24\pi a}:

Comparing this with (C.6) at r=a+Nlp224πa≈ar=a+\frac{Nl_{p}^{2}}{24\pi a}\approx a, we obtain the relation

References