Skip to content

Evaporating Backgrounds and Adiabatic Backreaction

A slowly evaporating black hole is neither stationary nor automatically outside the Hawking approximation. A wavepacket can see an approximately constant peeling rate when its oscillation time is short compared with the evolution time, yet long enough to resolve a spectrum. That double inequality licenses an instantaneous Hawking form with derivative corrections; it does not solve the semiclassical Einstein equation.

Required background. Radiation from gravitational collapse supplies the affine ray map, and surface gravity and redshift fixes the stationary normalization to which the evolving result is compared.

Helpful background. Stress-tensor flux in two-dimensional reductions gives a tractable flux diagnostic, and adiabaticity and Stokes phenomena supplies the derivative expansion.

Let v=p(u)v=p(u) map an outgoing ray at future retarded time uu to an affine coordinate on the initial null surface. Define the time-dependent peeling function

κ(u)=p(u)p(u).\kappa(u)=-\frac{p''(u)}{p'(u)}.

This definition is kinematic and exact wherever p(u)>0p'(u)>0. It integrates to

p(u)=Cexp ⁣[uκ(s)ds].p'(u)=C\exp\!\left[-\int^u\kappa(s)\,ds\right].

Constant κ\kappa reproduces the exponential Hawking map. For a slowly changing function, the local expansion about u0u_0 is

logp(u)=logp(u0)κ0Δu12κ˙0(Δu)2+,\log p'(u)=\log p'(u_0)-\kappa_0\Delta u -\frac12\dot\kappa_0(\Delta u)^2+\cdots,

where Δu=uu0\Delta u=u-u_0. The natural first control parameter is

ϵκ(u0)=κ˙0κ021.\epsilon_\kappa(u_0)= \frac{|\dot\kappa_0|}{\kappa_0^2}\ll1.

Higher accuracy also requires dimensionless higher derivatives such as κ¨/κ3|\ddot\kappa|/\kappa^3 to be small in the chosen interval. Kinoshita and Tanahashi derive a near-equilibrium temperature from a saddle-point Bogoliubov analysis under slow-evolution hypotheses (2012, §§ II–IV); Barceló, Liberati, Sonego, and Visser formulate the corresponding approximately exponential ray-map criterion (2011, §§ 2–5).

An outgoing Vaidya-like metric illustrates the geometry without claiming self-consistency:

ds2=(12M(u)r)du2+2dudrr2dΩ22,ds^2=\left(1-\frac{2M(u)}{r}\right)du^2 +2\,du\,dr-r^2d\Omega_2^2,

with M˙<0\dot M<0. In a quasistatic Schwarzschild comparison,

κ(u)14M(u).\kappa(u)\simeq\frac{1}{4M(u)}.

This κ\kappa is an approximate local parameter tied to the selected ray map and normalization. In a genuinely dynamical spacetime, event, trapping, and apparent horizons need not coincide, so one must not attach the same formula to every horizon definition.

The structure map now has time-dependent entries. A state transported from collapse and an evolving ray map precede the packet-level thermal approximation; time-dependent scattering must be evaluated over the same window.

A transported collapse state and slowly varying peeling rate define a packet-level Hawking relation before time-dependent scattering and renormalized flux are evaluated

Adiabatic bridge from fixed-background Hawking radiation to slow evolution. The diagram is schematic and not to scale; each packet has its own interval of approximate stationarity, and flux feedback is not yet a self-consistent geometry.

The failure map asks whether a spectral resolution time fits inside the evolution time. If it does not, an instantaneous temperature is not an observable approximation for that packet.

An instantaneous Hawking spectrum fails when the wavepacket duration is not between the thermal resolution time and the background evolution time

Timescale test for an evolving horizon. This schematic, not-to-scale map requires state transport, slow peeling, matching scattering data, and a packet window before it licenses an instantaneous spectral claim.

A packet centered at u0u_0 with duration Δu\Delta u resolves the local Hawking scale only if it contains several oscillation times,

κ0Δu1.\kappa_0\Delta u\gg1.

During the same packet, the fractional change of κ\kappa must be small,

κ˙0Δuκ01.\frac{|\dot\kappa_0|\Delta u}{\kappa_0}\ll1.

Together,

1κ0Δuκ0κ˙0.\frac{1}{\kappa_0}\ll\Delta u \ll\frac{\kappa_0}{|\dot\kappa_0|}.

Such a window exists parametrically exactly when ϵκ1\epsilon_\kappa\ll1. Write Δu=c/κ0\Delta u=c/\kappa_0 with 1c1/ϵκ1\ll c\ll1/\epsilon_\kappa. Then the fractional drift during the packet is bounded by

δκκ0cϵκ.\frac{|\delta\kappa|}{\kappa_0} \simeq c\epsilon_\kappa.

This is the useful uncertainty estimate: derivative corrections to a packet spectrum are at most parametrically small in cϵκc\epsilon_\kappa, with coefficients depending on the packet, state, scattering potential, and definition of the extracted spectrum. There is no frequency-independent “instantaneous temperature” at arbitrary time resolution.

Application: estimate the first adiabatic correction

Section titled “Application: estimate the first adiabatic correction”

Choose a smooth packet f(uu0)f(u-u_0), record its c=κ0Δuc=\kappa_0\Delta u, and compare two calculations:

  1. freeze the geometry and radial potential at u0u_0, using T0=κ0/(2π)T_0=\kappa_0/(2\pi);
  2. use the quadratic ray-map expansion containing κ˙0\dot\kappa_0 and evolve the scattering data across the same interval.

For the frozen spectrum

n0(ω)=1e2πω/κ01,n_0(\omega)=\frac{1}{e^{2\pi\omega/\kappa_0}-1},

a small shift δκ\delta\kappa changes the occupation by

δnn0=2πωκ0e2πω/κ0e2πω/κ01δκκ0+nonthermal derivative terms.\frac{\delta n}{n_0} =\frac{2\pi\omega}{\kappa_0} \frac{e^{2\pi\omega/\kappa_0}} {e^{2\pi\omega/\kappa_0}-1} \frac{\delta\kappa}{\kappa_0} +\text{nonthermal derivative terms}.

Using δκ/κ0cϵκ|\delta\kappa|/\kappa_0\lesssim c\epsilon_\kappa gives a reproducible scale for the thermal-drift part. The nonthermal part is obtained from the full packet transform and must be reported separately; it cannot be absorbed into T0T_0 at all frequencies. Multiply by a time-dependent greybody factor only after checking that its variation is also small over Δu\Delta u.

For the quasistatic Schwarzschild estimate L=M˙=a/M2L=-\dot M=a/M^2 in Planck units,

ϵκ=κ˙κ2=4M˙=4aM2.\epsilon_\kappa =\frac{|\dot\kappa|}{\kappa^2} =4|\dot M| =\frac{4a}{M^2}.

Thus a macroscopic mass supplies a broad adiabatic window when the fixed-background luminosity coefficient aa is small compared with M2M^2. This is an estimate within the assumed mass-loss law, not a derivation of that law.

Computing Tuuren\langle T_{uu}\rangle_{\rm ren} on a prescribed M(u)M(u) is a fixed-background calculation. Updating the parameter through

M˙(u)=L[M(u)]\dot M(u)=-L[M(u)]

is a quasistatic balance model. A self-consistent solution instead requires a state ω[g]\omega[g] evolved on the same geometry and the renormalized equation

Gμν[g]+Λgμν+renormalized curvature terms=8πGTμν[g]ω,ren,G_{\mu\nu}[g]+\Lambda g_{\mu\nu} +\text{renormalized curvature terms} =8\pi G\,\langle T_{\mu\nu}[g]\rangle_{\omega,\rm ren},

together with constraints, conservation, initial data, and controlled higher-derivative terms. The conceptual and computational gap between these levels remains material in current semiclassical-gravity assessments (del Río 2025, §§ 2–5). A slow mass update is useful input to that problem, not its solution.

Adversarial test: collapse the timescale hierarchy

Section titled “Adversarial test: collapse the timescale hierarchy”

Set Δu1/κ0\Delta u\sim1/\kappa_0 to gain time localization and simultaneously take ϵκ=O(1)\epsilon_\kappa=O(1). The packet then barely resolves a thermal frequency while κ\kappa changes by order unity. Fitting a Planck curve can return a number, but the quadratic and higher terms in logp\log p' are as important as the linear term. Different packet shapes and centers need not agree on that number.

The strongest surviving claim is a nonstationary particle-production calculation for the chosen state and ray map. It is no longer an instantaneous Hawking spectrum. If the geometry itself came only from inserting a guessed M(u)M(u), even that result remains fixed-background evidence.

See the chapter domain and failure-conditions table. This page licenses packet-level adiabatic spectra only when the double timescale window exists, the state remains regular, the peeling definition is stated, and scattering varies slowly on the same interval. It excludes the Planckian endpoint, rapid accretion or merger, uncontrolled horizon interchange, and self-consistent backreaction. Evidence was checked through 10 August 2026; newer proposed global evaporation solutions require their own equation, state, renormalization, and stability checks.

Show that the quasistatic Schwarzschild evaporation time is much longer than the emission time for M2aM^2\gg a.

Solution

The emission time is τHκ1=4M\tau_H\sim\kappa^{-1}=4M. From M˙=a/M2|\dot M|=a/M^2, the mass-evolution time is τM=M/M˙=M3/a\tau_M=M/|\dot M|=M^3/a. Therefore

τHτM=4aM2=ϵκ.\frac{\tau_H}{\tau_M}=\frac{4a}{M^2}=\epsilon_\kappa.

The hierarchy τHτM\tau_H\ll\tau_M is exactly the adiabatic condition M24aM^2\gg4a.

Extremal and late-time limits examines a different failure of uniformity: κ0\kappa\to0 removes the very scale used to organize the packet window.

  • Barceló, Carlos, Stefano Liberati, Sebastiano Sonego, and Matt Visser. “Hawking-like Radiation from Evolving Black Holes and Compact Horizonless Objects.” Journal of High Energy Physics 2011, no. 2 (2011): 003. doi:10.1007/JHEP02(2011)003.
  • del Río, Adrián. “The Backreaction Problem for Black Holes in Semiclassical Gravity.” General Relativity and Gravitation 57 (2025): 30. doi:10.1007/s10714-025-03352-x.
  • Kinoshita, Shunichiro, and Norihiro Tanahashi. “Hawking Temperature for Near-Equilibrium Black Holes.” Physical Review D 85 (2012): 024050. doi:10.1103/PhysRevD.85.024050.