Skip to content

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Mass inflation is a dynamical amplification mechanism, not the growth of a black hole’s externally measured ADM mass. In spherical charged models, the quasi-local mass associated with an interior symmetry sphere can diverge near the Cauchy horizon while the sphere’s areal radius approaches a finite nonzero value. Counterstreaming fluxes and the inner-horizon blueshift make those two facts compatible.

Helpful background. Black-Hole Geometry and Mechanics supplies horizon geometry and quasi-local mass ideas; Black-Hole Perturbation Theory supplies exterior tails; Formulations of General Relativity supplies characteristic evolution; Causality and Global Structure supplies Cauchy horizons and extensions; Computational Relativity supplies convergence and invariant diagnostics.

Hawking and renormalized mass in double-null form

Section titled “Hawking and renormalized mass in double-null form”

For this calculation use geometrized variables, G=c=1G=c=1, so the mass functions, QQ, rr, uu, and vv have dimensions of length. Work in spherical symmetry with

ds2=−Ω2(u,v) du dv+r2(u,v)dΩ22,ds^2=-\Omega^2(u,v)\,du\,dv+r^2(u,v)d\Omega_2^2,

where guv=−Ω2/2g_{uv}=-\Omega^2/2. Define the geometric Hawking mass mHm_H and, for total charge QQ, the charge-renormalized mass ϖ\varpi by

mH=r2(1−gab∇ar∇br),ϖ=mH+Q22r.m_H=\frac r2\left(1-g^{ab}\nabla_a r\nabla_b r\right), \qquad \varpi=m_H+\frac{Q^2}{2r}.

The charged identity is therefore

1−2ϖr+Q2r2=gab∇ar∇br=−4Ω2 ∂ur ∂vr.1-\frac{2\varpi}{r}+\frac{Q^2}{r^2} =g^{ab}\nabla_a r\nabla_b r =-\frac{4}{\Omega^2}\,\partial_u r\,\partial_v r.

This identity is geometric: rr is fixed by the area A=4πr2A=4\pi r^2, and the right-hand side is the squared norm of its gradient on the two-dimensional quotient. Solving for ϖ\varpi gives

ϖ=r2(1+Q2r2+4 ∂ur ∂vrΩ2).\varpi=\frac r2\left( 1+\frac{Q^2}{r^2} +\frac{4\,\partial_u r\,\partial_v r}{\Omega^2} \right).

Equivalently,

mH=r2(1+4 ∂ur ∂vrΩ2).m_H=\frac r2\left( 1+\frac{4\,\partial_u r\,\partial_v r}{\Omega^2} \right).

In exterior-normalized double-null coordinates, approaching a Cauchy horizon can give r→rCH>0r\to r_{\rm CH}\gt0 while Ω2→0\Omega^2\to0. The vanishing lapse alone is not an invariant singularity: it also occurs in exact Reissner–Nordström, where the derivative product cancels it. Unless ∂ur ∂vr\partial_u r\,\partial_v r vanishes rapidly enough, however, the ratio diverges and so does ϖ\varpi. Because Q2/(2r)Q^2/(2r) stays finite when r→rCH>0r\to r_{\rm CH}\gt0, mHm_H diverges if and only if ϖ\varpi does. Finite size is controlled by rr, whereas the internal mass depends on the invariant derivative combination.

Restoring dimensions, the physical Hawking mass is MH=c2mH/GM_{\rm H}=c^2m_H/G and its gravitational radius is GMH/c2=mHG M_{\rm H}/c^2=m_H. Thus mass inflation is a divergence of MHM_{\rm H} at finite areal radius, not an enlargement of the exterior ADM mass or horizon area.

The charged Einstein–scalar equations and the monotonicity identities used to control rr, mHm_H, and ϖ\varpi are set out in Dafermos 2005, §§2–5, pp. 8–22, PDF; the mass-inflation region and blowup conclusion are developed in Dafermos 2005, §§9–12, pp. 33–51, PDF.

One flux alone can be strongly blueshifted, but the characteristic mass-inflation picture requires both ingoing and outgoing streams. Late ingoing radiation crosses outgoing radiation generated by earlier collapse or backscattering. Their relative Lorentz factor grows without bound near the would-be inner horizon. In the spherical scalar model, the null energy fluxes are proportional to (∂vϕ)2(\partial_v\phi)^2 and (∂uϕ)2(\partial_u\phi)^2.

Take a neutral, minimally coupled massless scalar with canonical stress tensor

Tabϕ=∇aϕ∇bϕ−12gab(∇ϕ)2.T^{\phi}_{ab}=\nabla_a\phi\nabla_b\phi-\tfrac12g_{ab}(\nabla\phi)^2.

For conserved Maxwell charge QQ and G=1G=1, the exact evolution equation is

∂vϖ=8πr2Ω2(−∂ur)(∂vϕ)2,\partial_v \varpi =\frac{8\pi r^2}{\Omega^2} \bigl(-\partial_u r\bigr)(\partial_v\phi)^2,

with the equation obtained by exchanging uu and vv for the other stream. This follows from the spherical Einstein mass identity, with the Maxwell contribution removed by Q2/(2r)Q^2/(2r); see Dafermos 2005, “Spherically Symmetric Spacetimes,” §1.2, Eqs. (3)–(4), p. 3, PDF. A scalar rescaling ψ=4πϕ\psi=\sqrt{4\pi}\phi changes the coefficient to 22, as in common mathematical conventions. A null-coordinate reparametrization changes all derivative and lapse factors together and does not change that fixed coefficient.

In the trapped region ∂ur<0\partial_u r\lt0, so the mass increases along vv when scalar flux is nonzero. Counterstreaming changes the geometric weight −∂ur/Ω2-\partial_u r/\Omega^2; integrating it against decaying incoming flux can make ϖ\varpi diverge. The algebraic mass identity alone does not establish that this dynamical growth occurs.

Poisson and Israel first isolated this nonlinear feedback in a crossflow model, showing that the effective internal mass parameter grows exponentially near the inner horizon Poisson and Israel 1990, §§II–IV, pp. 1797–1807. Ori then constructed an explicit model in which the mass diverges on a null singularity while the areal radius remains finite Ori 1991, pp. 789–792.

An exact spherical curvature identity is more informative than importing a stationary Kretschmann formula. In orthonormal directions tangent to a symmetry sphere, the warped-product curvature gives

Rθ^ϕ^θ^ϕ^=1−gab∇ar∇brr2=2mHr3.R_{\hat\theta\hat\phi\hat\theta\hat\phi} =\frac{1-g^{ab}\nabla_a r\nabla_b r}{r^2} =\frac{2m_H}{r^3}.

Thus mH→∞m_H\to\infty at r→rCH>0r\to r_{\rm CH}\gt0 forces this geometrically selected angular curvature to diverge. A dynamical scalar field also produces Ricci curvature, so a term proportional to ϖ2/r6\varpi^2/r^6 is not a universal leading asymptotic for the Kretschmann scalar. At the same time, the double proper-time integral of the measured tidal matrix can remain finite. That is why mass inflation naturally produces a candidate weak null singularity rather than an immediate spacelike crushing singularity.

The conclusion is model-sensitive. Spherical symmetry removes gravitational radiation and angular structure; charge stands in for the inner-horizon structure that rotation supplies in Kerr. In nonsymmetric vacuum, no scalar Hawking mass captures all degrees of freedom, and one instead tracks null connection coefficients, curvature components, and geometric flux norms.

  • Verify rr from the area, rather than from a coordinate label.
  • Verify mass growth through the invariant relation for ∇r\nabla r, not through a fitted metric coefficient alone.
  • Resolve both null fluxes. Suppressing the outgoing stream can erase the nonlinear feedback.
  • Separate divergence of ϖ\varpi, mHm_H, or curvature from the regularity of the metric itself.
  • Keep the asymptotic regime subextremal; the κ−→0\kappa_-\to0 extremal limit is singular.

Mass inflation therefore answers one question sharply—how internal energy and curvature can grow at finite radius—while leaving the extension class and the ultimate global shape of the singular boundary to further analysis.

Define X=4∂ur ∂vr/Ω2X=4\partial_u r\,\partial_v r/\Omega^2. Suppose along an outgoing ray r→r0>0r\to r_0\gt0, QQ is fixed, and X→+∞X\to+\infty. Determine the leading mass and angular curvature, and explain why Ω2→0\Omega^2\to0 alone would not suffice.

Solution

The mass identity gives mH∼r0X/2m_H\sim r_0X/2, while the finite charge correction implies ϖ∼mH\varpi\sim m_H. Therefore Rθ^ϕ^θ^ϕ^∼X/r02R_{\hat\theta\hat\phi\hat\theta\hat\phi}\sim X/r_0^2. Under independent reparametrizations of uu and vv, the derivative product and Ω2\Omega^2 acquire the same factors, leaving XX unchanged. A vanishing lapse alone proves nothing because the numerator could vanish at the same rate, as at the smooth stationary inner horizon.