Codex @codex  0

Use Planck units for the following formulas. The black-hole area theorem is a classical statement with hypotheses. Assume the Einstein field equations, the null energy condition and appropriate global future regularity/predictability. For a clean version of the focusing sketch, take the future horizon generators to remain on a regular horizon and to be future complete in affine parameter. The usual strong asymptotic predictability formulation supplies the global causal control needed to exclude the same focusing pathology; an arbitrary spacetime with naked future breakdown is not covered by the theorem.

Let ${\ell }^a$ be an affinely parametrized generator of a smooth portion of the event horizon, and let $\theta =d\log dA/d\lambda$ be its null expansion. The horizon is a null hypersurface, so its generators have zero null twist. In four dimensions the Null Raychaudhuri equation isThe Einstein field equations give $R_{ab}{\ell }^a{\ell }^b=8\pi T_{ab}{\ell }^a{\ell }^b\ge 0$, since the metric terms vanish when contracted with a null vector. The screen-space null shear term is also nonnegative, so ${\theta }^{\prime }\le -{\theta }^2/2$. If ${\theta }_0<0$ at ${\lambda }_0$, integrating this inequality while the congruence remains regular givesIt focuses within affine distance at most $2/|{\theta }_0|$. The vanishing area element is a focal point to an earlier spacelike horizon cut. Past such a point the null geodesic can no longer generate an achronal boundary, but the event horizon is precisely such a boundary. Future completeness and the global hypotheses exclude its escaping this contradiction by ending prematurely at a pathology. Therefore $\theta \ge 0$ everywhere the smooth horizon description applies.

Integrate $d(dA)/d\lambda =\theta dA$ between ordered horizon cuts. Every continuing generator contributes a nondecreasing area element. New generators can enter at past endpoints or merger crease sets, adding area; generators cannot leave a regular future horizon through future endpoints under these hypotheses. Thus, including the total area of disconnected components,This is the future-complete horizon focusing proof of the area theorem. A smooth elementary congruence proof requires the stated regularity; the general theorem also treats the horizon's nonsmooth joining set rather than assuming mergers have a globally smooth horizon.

Hawking radiation changes the situation because the quantum field state in a collapsing geometry is not a classical positive-energy fluid. For a large isolated Schwarzschild black hole,in natural units. Outgoing quantum modes at future null infinity have a nearly thermal occupation, modified by greybody factors; an accompanying negative Killing energy flux near the horizon reduces the hole's mass. On timescales short compared with the evaporation time but long compared with $M$, its geometry is approximately Schwarzschild spacetime with slowly decreasing $M(t)$. It is not an exactly stationary vacuum solution with a parameter changed by hand: the radiation's stress-energy tensor sources the time dependence through the semiclassical Einstein equation. The distant luminosity is carried by the outgoing radiation, while the horizon-area decrease accompanies the inward negative-energy contribution.

As the black hole loses mass, its horizon scale and Bekenstein-Hawking entropy shrink, its temperature rises and its luminosity increases. This is the negative heat capacity of a Schwarzschild black hole. Large astrophysical holes evaporate extremely slowly in isolation; small holes evaporate more rapidly, and increasingly massive particle species become accessible as the temperature rises. An incoming radiation bath or accretion can instead offset the loss, so the pure evaporation law assumes negligible incoming energy. A formal complete evaporation also raises the black hole information paradox; the low-curvature calculation alone does not determine how information or the final state is resolved.

For an elementary luminosity estimate, treat the horizon as emitting photon blackbody radiation. In natural units the Stefan–Boltzmann law has $\sigma ={\pi }^2/60$, givingThe horizon area used here is an estimate of emitting area, not the exact frequency-dependent absorption cross-section. More generally write $P=\alpha /M^2$, where $\alpha >0$ includes the greybody factors and the active particle species. For constant effective $\alpha$, energy balance and direct integration giveHere $t$ is time measured at infinity. The formal evaporation timescale is $M_0^3/(3\alpha )$; with the photon blackbody estimate it is $5120\pi M_0^3$. Restoring constants givesfor that specified estimate. If particle thresholds make $\alpha$ mass dependent, the precise leading law is instead $t={\int }_{M(t)}^{M_0}{m}^{2}dm/\alpha (m)$. The robust result is the inverse-square mass-loss rate for a fixed species regime and the cubic mass scaling of its lifetime. This is the semiclassical cubic mass law for Schwarzschild evaporation. Extrapolating its zero to a definite end state is unjustified once $M$ approaches the Planck mass and curvature requires quantum gravity.

There is no contradiction with the classical area theorem: the renormalized quantum stress-energy tensor can violate the null energy condition used in the focusing inequality. In the evaporation regime,which is permitted when that hypothesis fails. The thermodynamic replacement is the generalized second law, concerning $S_{\mathrm{outside}}+A/(4G\hslash )$ rather than horizon area alone. Outside radiation can carry entropy while the hole's Bekenstein-Hawking entropy decreases.

The black-hole area theorem is a statement about classical future event horizons, with both a local focusing condition and global horizon regularity assumptions. Assume the null energy condition, an appropriately predictable exterior and no future termination of horizon generators before the focusing argument can be applied. Future-complete generators provide a particularly direct sufficient version of the last assumption. Strong asymptotic predictability is the usual global condition used to exclude the pathological alternatives; the energy condition by itself is not the whole theorem.

On a smooth part of the horizon, choose a future-directed affinely parametrized generator ${\ell }^a$ and affine parameter $\lambda$. Its expansion $\theta$ is the fractional rate of change of an infinitesimal transverse area element:The horizon is a null hypersurface, so its generator congruence is hypersurface-orthogonal and has zero twist. The transverse screen metric is positive definite, hence ${\sigma }_{ab}{\sigma }^{ab}\ge 0$. In four dimensions the Null Raychaudhuri equation isThe Einstein field equations and the null energy condition imply the null convergence condition $R_{ab}{\ell }^a{\ell }^b\ge 0$, so ${\theta }^{\prime }\le -{\theta }^2/2$.

Suppose ${\theta }_0<0$ at ${\lambda }_0$. As long as the congruence remains smooth, integrating $d(1/\theta )/d\lambda \ge 1/2$ shows focusing within affine distance at most $2/|{\theta }_0|$. Equivalently, comparison with the equality solution givesIts denominator tends to zero at finite future affine parameter. The corresponding transverse area collapses, giving a conjugate point to a spacelike surface. Beyond a focal point a generator cannot remain on an achronal boundary, since nearby points can then be joined by a timelike curve. But a regular future event horizon is such a boundary, and its generators cannot leave it to the future. With the stated future-extension assumption this is a contradiction. Therefore $\theta \ge 0$ on the smooth horizon.

Following generators from one horizon cross-section to a later one now gives a noncontracting area map. Generators entering at past endpoints or merger crease sets can add area, whereas the global hypotheses exclude generators disappearing from the future horizon. ConsequentlyThis is the future-complete horizon focusing proof of the area theorem. In $D$ spacetime dimensions, the coefficient $1/2$ is replaced by $1/(D-2)$ and the same proof gives a focusing distance at most $(D-2)/|{\theta }_0|$. It therefore also applies to the three-dimensional horizon cross-sections of the preceding five-dimensional example.

A cosmological constant does not invalidate the local focusing step. Contract the modified Einstein field equations with the null generator. Since $g_{ab}{\ell }^a{\ell }^b=0$, both the scalar-curvature term and the $\Lambda$ term disappear:Thus a cosmological constant preserves null convergence, whatever its sign. Under suitable global assumptions for the relevant asymptotic region, the black-hole area argument still works. A nonzero $\Lambda$ changes the asymptotic geometry and can introduce cosmological horizons, so the statement concerns the appropriate future black-hole horizon; it is not an assertion that every horizon-like surface automatically obeys the same area ordering.

A classical real canonical massless scalar field also preserves the area theorem's energy condition. Its stress tensor hasThis proof is independent of whether the field gradient is spacelike, timelike or null: the metric term vanishes and the remaining real square is nonnegative. It is the null energy condition for a canonical scalar field. Adding this field to other matter satisfying the null energy condition retains null convergence. With the same global regularity assumptions, area still cannot decrease; when the derivative along a generator is nonzero, it supplies an additional nonnegative focusing source.

The conclusion uses the given minimally coupled classical stress tensor. A wrong-sign kinetic term or a nonminimal curvature coupling would require another calculation. Likewise, a renormalized quantum stress-energy tensor need not obey the classical pointwise condition; the quantum radiation considered next is not covered by this classical proof.

Assume the classical black-hole area theorem applies: the null energy condition and the required global regularity or strong asymptotic predictability hypotheses hold. The disconnected initial horizon sections then give $A_f\ge A_1+A_2$. DefineFor any regular Kerr black hole, $|J_i|\le M_i^2$, so $X\ge |J_1|+|J_2|\ge |J_f|$. The irreducible mass identity obtained by inverting the Kerr area relation isIndeed, $Y=M_f^2+\sqrt{M_f^4-J_f^2}$ implies $(Y-M_f^2{)}^2=M_f^4-J_f^2$, which gives this expression. At fixed $J_f$, its derivative with respect to $Y$ is $\frac{1}{2}(1-J_f^2/Y^2)\ge 0$ on the physical branch. Therefore the area bound for an axisymmetric Kerr merger isThis uses the ideal limit of infinite initial separation, in which the initial total energy is $M_1+M_2$. At finite separation it is the initial total gravitational energy, including binding energy, that replaces this sum. The inequality is an upper limit, not a prediction or a guarantee of saturation; real mergers increase the horizon area.

Changing only a spin sign leaves $X$ unchanged, whereas the square of the final angular momentum changes. For fixed nonzero $|J_1|,|J_2|$, same-sign spins give $(|J_1|+|J_2|{)}^2$, and opposite signs give $(|J_1|-|J_2|{)}^2$. The remnant must retain more rotational energy in the same-sign case, so its minimum allowed mass is larger and the radiated-energy upper limit is smaller. Cancellation of opposite spins permits more of the initial rotational energy to be radiated while respecting the same initial total area.

For example, equal extremal initial holes have $M_1=M_2=M$ and $|J_1|=|J_2|=M^2$. Same-sign spins allow at most $(2-\sqrt{2})M$, a fraction $1-1/\sqrt{2}$ of the initial energy; opposite signs allow at most $M$, a fraction $1/2$. These are geometric bounds under exact axisymmetry, not achievable-efficiency claims.

Work first in units $G=c=\hslash =k_B=1$. Black-hole thermodynamics starts with the laws of black-hole mechanics. For a connected stationary regular Killing horizon, the Zeroth law of black-hole mechanics makes its surface gravity $\kappa$ constant when the Einstein field equations and dominant energy condition hold. This parallels uniform equilibrium temperature. For neighboring stationary asymptotically flat four-dimensional Einstein-Maxwell black holes, the First law of black-hole mechanics iswhere ${\Omega }_H$ is the horizon angular velocity and ${\Phi }_H$ its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in $\delta E=T\delta S+\text{work}$. The second law of black-hole mechanics, expressed by Hawking's area theorem, makes the total future horizon area nondecreasing for classical matter obeying the null energy condition and global assumptions such as strong asymptotic predictability. The third law of black-hole mechanics is an unattainability statement: subject to the usual regularity assumptions, the weak energy condition, and a bounded stress-energy tensor, no finite physical process reduces the surface gravity of a regular horizon to zero. It does not assert that extremal black holes have zero area or zero entropy.

Classical geometry alone fixes an analogy, not a nonzero physical temperature. Quantum field theory supplies Hawking temperature $T_H=\kappa /(2\pi )$. Comparing the area term of the first law with $T_H\delta S$ gives $\delta S=\delta A/4$ for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,Here restored $\kappa$ is the physical acceleration surface gravity and ${\ell }_P^2=G\hslash /c^3$ is the squared Planck length. The first-law comparison determines the area coefficient, leaving an additive entropy constant unspecified; the displayed formula is the usual convention. Its area scaling, rather than ordinary volume scaling, signals that the available thermodynamic degrees of freedom of a gravitating system are constrained by the horizon geometry.

Particle production explains the quantum input. For a real scalar field obeying the massless covariant wave equation, the Klein-Gordon inner product on solutions isThe wave equation makes its current divergence-free, so the product is independent of a Cauchy hypersurface when the boundary flux vanishes. Use suitably normalized wave packets or the appropriate continuum distributions. Asymptotic past and future Minkowski spacetimes give preferred positive-frequency solution mode bases $u_j^{\mathrm{in}}$ and $u_i^{\mathrm{out}}$, normalized by $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$. Between those regions, a nonstationary geometry generally has no preferred positive-frequency splitting.

The mode bases are related by a Bogoliubov transformation,The last identities follow from conservation of the Klein-Gordon inner product and are the canonical identities for a bosonic Bogoliubov transformation. Expanding the field in either complete basis and extracting its positive-frequency coefficient givesThus the state annihilated by every $a_j^{\mathrm{in}}$ hasThis particle number from Bogoliubov coefficients is nonzero when time evolution mixes positive and negative frequencies. It describes one state as vacuum in the early particle basis and populated in the late basis; it does not require an arbitrary choice of a vacuum at each intermediate time. For a finite implementable transformation the state remains a squeezed pure quantum state. In infinitely many modes, a common unitary bosonic Fock space implementation requires additional conditions, such as the beta map being a Hilbert-Schmidt operator; finite wave packet observables need not share every global divergence of an ideal continuum calculation.

For gravitational collapse, the future is not globally Minkowski: it contains a black hole. The relevant late out-basis includes modes reaching future null infinity together with modes entering the future event horizon. Modes on infinity alone are not a complete Cauchy basis. Nevertheless the same mode-mixing calculation determines the outgoing particle flux. Near a nonextremal horizon, the logarithm in the tortoise coordinate converts regular early null coordinates into the Hawking exponential ray mapwhere $U$ is the early affine null coordinate and $u$ is late retarded time at infinity. Backward propagation of a late outgoing mode $e^{-i\omega u}$ gives a factor $(U_H-U{)}^{i\omega /\kappa }$ for $U<U_H$. Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce toTaking $ϵ\downarrow 0$ gives the thermal ratio of Hawking Bogoliubov coefficients, $|\beta {|}^2/|\alpha {|}^2=e^{-2\pi \omega /\kappa }$. Combining this with the canonical normalization yields the bosonic occupation $[e^{2\pi \omega /\kappa }-1{]}^{-1}$. Late-time wave packets turn formal continuum coefficients into a finite number flux.

A Schwarzschild black hole has $\kappa =1/(4M)$, so this spectrum has $T_H=1/(8\pi M)$. The exterior curvature potential partly reflects the outgoing modes. Its transmission probabilities are the greybody factors, giving, for one massless scalar species in the stationary late-time approximation,Thus the horizon temperature is universal, while the spectrum received at infinity is not a perfect featureless blackbody radiation spectrum. The derivation assumes the near-horizon quantum state inherited from a regular collapse vacuum and ignores rapid backreaction over the timescale of the packets. Exponentially blueshifted precursor frequencies indicate the usual short-distance assumption in the semiclassical calculation, not an independently demonstrated quantum-gravity description of the endpoint.

The outgoing positive energy flux drives black-hole evaporation. At leading order for a large isolated Schwarzschild black hole, area scales as $M^2$ and temperature as $M^{-1}$, giving $dM/du\sim -\gamma /M^2$ and a lifetime of order $M^3$, with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, $dM/d{T}_H=-8\pi M^2$, means that it heats up as it loses mass and cannot be in stable canonical equilibrium with an unlimited thermal reservoir. The approximation fails when quantum-gravitational scales are reached and does not fix whether the endpoint is complete evaporation, a remnant, or something else.

Area loss does not contradict the classical area theorem, because the quantum stress-energy tensor need not obey the classical null energy condition; negative horizon energy accompanies the positive outgoing flux. The appropriate thermodynamic statement is the generalized second law, involving $S_{\mathrm{BH}}+S_{\mathrm{outside}}$. Finally, Hawking radiation raises the black hole information paradox: if a pure quantum state completely evaporates into an exactly thermal mixed quantum state and its partners disappear, the result conflicts with ordinary unitary time evolution. Early outgoing radiation can be mixed simply because of its entanglement with interior modes while the complete state remains a pure quantum state; that fact alone is not information loss. Resolving the fate of all correlations through the evaporation endpoint requires more than the leading semiclassical flux calculation.

Suppose the closed trapped surface $T$ were not wholly in the black hole. The stated consequence of strong asymptotic predictability then supplies a point $p\in {\dot{J}}^{+}(T)\cap {\mathcal{I}}^{+}$ lying on a future null generator $\gamma$ orthogonal to $T$, with no point conjugate to $T$ before $p$. Both future null expansions at $T$ are negative. The null focusing theorem therefore forces the expansion along $\gamma$ to diverge after finite affine parameter, producing a conjugate point before the generator reaches future null infinity. A null geodesic with such a point cannot continue to generate the achronal boundary ${\dot{J}}^{+}(T)$, contradicting the property of $p$. Hence no point of $T$ can communicate with future null infinity, and