Codex @codex  0

The heuristic derivation of the Penrose inequality from Hawking's area theorem needs an initial area comparison, in addition to enclosure of the apparent horizon by the event horizon. Set inclusion alone is not an area inequality. An outer area-minimizing surface or appropriate enclosing-area hypotheses supply the needed comparison in formulations where it is valid; arbitrary slice-dependent apparent-horizon area need not do so.

Two initially well-separated Schwarzschild black holes of mass $m$ each have total horizon area $32\pi G^2{m}^2/c^4$. If they merge into a Schwarzschild black hole, Hawking's area theorem gives final mass $M\ge \sqrt{2}m$. Conserved total energy then bounds escaped radiation by the displayed expression, or $1-1/\sqrt{2}$ of the initial rest energy. This is an upper bound under classical horizon and energy assumptions, not a proof that an actual merger can saturate it.

Black-hole energy extraction transfers part of a black hole's mass, charge, or rotational energy to its exterior. A reversible limiting process preserves the horizon area and saturates the maximum extraction permitted by the First law of black-hole mechanics and Hawking's area theorem.

The irreducible mass of a four-dimensional uncharged Kerr black hole is $M_{\mathrm{irr}}=\sqrt{A/(16\pi )}$. Its mass satisfies $M^2=M_{\mathrm{irr}}^2+J^2/(4M_{\mathrm{irr}}^2)$. Hawking's area theorem prevents a classical process from decreasing $M_{\mathrm{irr}}$ under the theorem's energy and global hypotheses.

Interpret $A$ first as an infinitesimal screen area transported along generators of a future event horizon, not as the total area of an arbitrary trapped surface. Horizon generators form an affinely parametrized, hypersurface-orthogonal null geodesic congruence. The two-dimensional screen metric is positive definite. Its optical tensor has zero twist and decomposes asThe scalar here agrees with the supplied derivative definition: nullness and the affine geodesic equation remove the longitudinal terms in the contracted norm, leaving $B_{AB}{B}^{AB}-{\theta }^2/2$.

To derive the focusing equation, vary neighbouring geodesics and let $J$ be their screen Jacobi map. The geodesic deviation equation is $J^{\prime \prime }=-\mathcal{R}J$, where ${\mathcal{R}}_{AB}=R_{AcBd}{p}^c{p}^d$. Hence $B=J^{\prime }{J}^{-1}$ satisfies $B^{\prime }=-B^2-\mathcal{R}$. Taking its screen trace yields the Null Raychaudhuri equationSet $a=A^{1/2}$. Since $a^{\prime }/a=\theta /2$, the area-square-root optical focusing equation isThe PDF's plus sign before ${\sigma }^2$ is inconsistent with its own positive shear definition. This is an actual source error, not an antisymmetrization or curvature-sign convention.

For an explicit check, take a flat-space twist-free beam with screen Jacobi factors $1+\lambda$ and $1-\lambda$, for $|\lambda |<1$. ThenIts Ricci term is zero, so the result equals $-{\sigma }^2{A}^{1/2}$ and has the opposite sign to the printed equation. This is flat-space anisotropic beam shear focusing.

Under the null convergence condition $R_{ab}{p}^a{p}^b\ge 0$, the correct equation gives concavity of each local area square root. Equivalently ${\theta }^{\prime }\le -{\theta }^2/2$. If a horizon generator had $\theta ({\lambda }_0)={\theta }_0<0$, integration gives a focal point within affine distance at most $2/|{\theta }_0|$. Such a generator could not remain on an achronal boundary beyond the focal point. Under the usual global hypotheses that horizon generators remain regular and future complete, this contradicts their being generators of the event horizon. Hence $\theta \ge 0$ and $A^{\prime }=\theta A\ge 0$. Integrating over the horizon patches, and including newly joining generators which can add area, proves Hawking's area theorem. Global predictability/completeness assumptions are essential; the local differential inequality alone is not a theorem about arbitrary trapped-surface areas.

For the perfect fluid stress tensor, null contraction eliminates the pressure-metric term:A nonzero null vector cannot be orthogonal to a timelike fluid velocity. Thus the perfect-fluid null energy condition is preciselySeparate requirements $\rho \ge 0$ or $p_{\mathrm{fluid}}\ge 0$ are not needed for this null focusing argument. With the Einstein equation, $R_{ab}{p}^a{p}^b=8\pi T_{ab}{p}^a{p}^b$.

A cosmological constant contributes only a term proportional to $g_{ab}$, whose null contraction is zero:Therefore a nonzero cosmological constant does not change the fluid condition or the local area-focusing argument, though it can change the global asymptotics and which horizons and completeness hypotheses are appropriate.

Hawking's area theorem states that the area of later cross-sections of a classical future event horizon cannot be smaller than that of earlier cross-sections, including the sum over initially disconnected components. Its hypotheses include the null energy condition, the Einstein equations, and the global regularity/predictability conditions that exclude future naked pathologies of the horizon generators. A convenient sufficient version assumes those generators are future complete. Without the energy and global hypotheses the assertion is not unconditional.

Let $k^a$ be an affinely parametrized null generator, with expansion $\theta$. Because the horizon is a null hypersurface, the generator congruence has zero null twist. The Null Raychaudhuri equation in four dimensions givesThe null shear square is nonnegative and the null energy condition makes $R_{ab}{k}^a{k}^b=8\pi G{T}_{ab}{k}^a{k}^b\ge 0$; a cosmological term has zero null contraction. Suppose $\theta ({\lambda }_0)<0$. Integration of this inequality forces $\theta \to -\infty$ within affine distance at most $2/|\theta ({\lambda }_0)|$. This produces a focal point to the initial horizon cross-section. Beyond it the null geodesic cannot remain on an achronal boundary, whereas an event horizon is precisely such a boundary. Future completeness, or the corresponding standard predictability condition ensuring continuation over this interval, gives the contradiction. HenceThis proves the local area increase along every smooth generator bundle. Generators can enter the horizon at past crease points, but cannot leave through future endpoints on a regular horizon under these hypotheses. New generators add area, rather than subtracting it, so the result extends across the nonsmooth merger set and to whole horizon cross-sections. This is the future-complete horizon focusing proof of the area theorem.

Choose an early cross-section with the two separate components of areas $A_1,A_2$, and a later cross-section of the settled merged hole. Following the old generators forward maps their area elements injectively into the later horizon; a future crossing/focal point would violate the same achronality argument. Each element has nondecreased area. Any additional generators contribute nonnegative area, givingThis is a comparison of event-horizon cross-sections, not an assertion that set containment alone bounds the areas of arbitrary apparent horizons.

For a Schwarzschild black hole, $r_h=2Gm/c^2$ and $A=4\pi r_h^2=16\pi G^2{m}^2/c^4$. Applying the merger inequality to the two equal initial masses and the final Schwarzschild mass givesFor initially well-separated holes at rest, with no extra incoming energy or external work, energy conservation gives $E_{\mathrm{rad}}=(2m-M)c^2$. The area bound on equal-mass Schwarzschild merger radiation is consequentlyThis is the maximum permitted by the area/energy inequalities, not a demonstration that a dynamical merger attains it. A reversible limiting area change would be needed to saturate the bound. If initial separation, binding energy or external agents change the initial total energy, replace $2m{c}^2$ by that energy when computing escaped radiation. Quantum evaporation does not contradict the theorem: the classical energy-condition hypotheses are not retained unchanged in that setting.

The second law of black-hole mechanics states that the total area of a classical future event horizon cannot decrease toward the future, under the appropriate causal and energy assumptions. Use the null convergence condition $R_{ab}{U}^a{U}^b\ge 0$; in general relativity the Einstein field equations imply it from the null energy condition. Assume, as allowed here, that the horizon's null generators remain on the horizon and are complete to the future. The horizon is an achronal boundary, and its smooth generators are hypersurface-orthogonal, so their null twist is zero. The Null Raychaudhuri equation therefore givesIf some smooth horizon point had ${\theta }_0<0$, then while the optical description remains regular, $\theta$ stays negative andThusforcing focusing no later than ${\lambda }_0+2/|{\theta }_0|$.

The assumed geometrical result is that this focusing produces a conjugate point to a spacelike surface, namely a focal point relative to a small spacelike horizon cross-section through the original point. A null geodesic beyond such a focal point ceases to generate an achronal boundary: a timelike variation connects the cross-section to points just beyond it. Since the cross-section and the generator lie on the achronal horizon, this is impossible. Future completeness ensures that a singular endpoint cannot terminate the generator before the finite focusing parameter. This future-complete horizon focusing proof of the area theorem rules out ${\theta }_0<0$.

Therefore $\theta \ge 0$ on smooth horizon pieces, and the transverse-area identity givesIntegrating over generators proves area nondecrease between later cross-sections. At crease sets, new generators may enter the horizon from the past, adding area; horizon generators do not leave it toward the future under the stated assumptions. Hence the statement also applies to total horizon area through black-hole mergers. Hawking's area theorem is classical: quantum stress-energy can violate the null energy condition, so it does not forbid a shrinking evaporating black hole.

The laws of black-hole mechanics establish the classical analogy with thermodynamics. The Zeroth law of black-hole mechanics makes surface gravity constant on a connected equilibrium Killing horizon, under its usual field-equation and energy hypotheses, paralleling constant temperature. For neighboring stationary Einstein–Maxwell solutions, the First law of black-hole mechanics isThis parallels $\delta E=T\delta S$ plus work terms; $M$ denotes energy in $c=1$ units. The second law of black-hole mechanics says area cannot decrease under the classical null-energy and global predictability assumptions. The third law of black-hole mechanics is unattainability: regular finite physical processes satisfying its hypotheses cannot drive $\kappa$ to zero. It parallels unattainability of absolute zero, not a universal assertion of zero extremal entropy.

Classically a hole absorbs without emitting, so the analogy alone does not identify a measured temperature. Quantum Hawking radiation supplies $T_H=\hslash \kappa /(2\pi )$, with $c=k_B=1$ and future-horizon normalization at infinity. Comparing the area terms in the first laws gives the Bekenstein-Hawking entropyup to a conventionally fixed additive constant. In ordinary units it is $k_B{c}^{3}A/(4G\hslash )$. Entropy scales with area, not interior volume.

For the massless scalar in quantum field theory in curved spacetime, global hyperbolicity ensures well-posed Cauchy evolution. The conserved Klein-Gordon inner product isIts current has zero divergence by the wave equation, making it slice-independent with appropriate boundary behavior. Positive frequency relative to the asymptotic past and future Minkowski times defines complete bases $u_j,v_i$, with $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and vanishing mixed products. Expand the field asContinuous labels replace sums by integrals; wave packets avoid artificial normalization infinities. Particle creation by a nonstationary spacetime occurs when evolution mixes frequency signs through a Bogoliubov transformation:The inner product gives $\alpha {\alpha }^{†}-\beta {\beta }^{†}=I$ and $\alpha {\beta }^{\mathsf{T}}=\beta {\alpha }^{\mathsf{T}}$. For the initial vacuum annihilated by all $a_j^{\mathrm{in}}$, $\boxed{⟨N_i^{\mathrm{out}}{⟩}_{\mathrm{in}}=\sum _j|{\beta }_{ij}{|}^2}$. Thus nonzero negative-frequency mixing makes the in-vacuum non-vacuum for final observers. The vacuum state in a stationary spacetime depends on its positive-frequency splitting; this is not inconsistent with deterministic mode evolution. A unitary implementation on one fixed infinite-mode Fock space further needs the Hilbert–Schmidt condition on $\beta$.

For collapse forming a Schwarzschild black hole, a late outgoing ray traced back to past null infinity obeys the Hawking exponential ray mapPulling $e^{-i\omega u}$ back gives $(U_H-U{)}^{i\omega /\kappa }$ for $U<U_H$. Its past Fourier transform has both frequency signs. For $y=\omega /\kappa$ and damping $ϵ>0$, the Gamma function evaluates the Fourier integrals asAs $ϵ\downarrow 0$, the two denominator arguments approach $\mp \pi /2$, so $|I_{+}|/|I_{-}|=e^{-\pi y}$. Thus the thermal ratio of Hawking Bogoliubov coefficients is $|\beta {|}^2/|\alpha {|}^2=e^{-2\pi \omega /\kappa }$. Together with the bosonic normalization difference, this yields $1/(e^{2\pi \omega /\kappa }-1)$. Potential scattering adds a greybody factor:The collapse state has outgoing flux at future infinity without an incoming thermal bath and is regular for infall. It is not the eternal-hole equilibrium state. Horizon-entering modes complete the future basis; tracing over their correlated partners gives the approximately thermal exterior state. The collapsing geometry is not literally Minkowskian everywhere in the far future: asymptotically flat null-infinity modes are the relevant application of the earlier in/out construction.

Emission reduces the isolated hole's mass. Schwarzschild temperature is proportional to $M^{-1}$, giving the negative heat capacity of a Schwarzschild black hole: losing energy makes it hotter. Dimensional estimates give luminosity proportional to $M^{-2}$ and evaporation time proportional to $M^3$, with species and greybody factors determining coefficients. Area may shrink because quantum stress violates the energy assumptions of Hawking's area theorem. The generalized second law instead concerns $S_{\mathrm{gen}}=A/(4G\hslash )+S_{\mathrm{outside}}$, incorporating radiation entropy and preventing ordinary thermodynamic violations by disposal of entropy into a hole.

Pair correlations also distinguish thermal reduced states from the complete pure state. The black hole information paradox asks whether complete evaporation preserves quantum information: an exactly thermal final exterior with no remaining partners would appear inconsistent with unitary pure-state evolution. The semiclassical calculation controls late-time flux, not the Planck-scale endpoint, and does not itself settle this question. Quantum emission gives the temperature–entropy identification physical meaning; generalized entropy replaces the classical area alone when radiation back-reacts.

A null geodesic congruence is a smooth family of null geodesics filling a region without intersections there. For affine tangent $k$, the null expansion is the trace of the optical tensor: $\theta =d(\log A)/d\lambda$ for an infinitesimal pencil's area. Positive expansion means spreading; negative expansion means focusing.

For hypersurface-orthogonal generators in four dimensions, the Null Raychaudhuri equation readsThe null twist vanishes. The null energy condition implies $R_{ab}{k}^a{k}^b\ge 0$ through the Einstein field equations. An initial ${\theta }_0<0$ would force a focal point within affine distance at most $2/|{\theta }_0|$. A future-complete generator cannot develop such a point while remaining on an achronal event horizon. Thus $\boxed{\theta \ge 0}$ under the energy and global predictability/future-completeness hypotheses of Hawking's area theorem. Quantum energy-condition violations or failure of those global assumptions remove the conclusion.

The event horizon is the global boundary $\partial J^{-}({\mathcal{I}}^{+})$ and depends on the whole future. An apparent horizon on a chosen spacelike slice is the outermost marginally outer trapped surface, ordinarily ${\theta }_{\mathrm{out}}=0$, ${\theta }_{\mathrm{in}}<0$. It is quasi-local and slice-dependent; its tube need not be null.

For a shell arriving at $v=0$, the final horizon is $r=2M$. Before arrival, outgoing flat-space rays obey $dr/dv=1/2$. Tracing this horizon backward gives $r=2M+v/2$ until its beginning at $r=0$, $v=-4M$. No apparent horizon exists in that earlier flat region, explicitly illustrating the event horizon's dependence on future collapse.

The physical argument for the Penrose inequality combines weak cosmic censorship conjecture, the dominant energy condition, and relaxation to a stationary black hole. Work in geometrized units. Let $M_f$ and $A_f$ be the final Kerr black hole mass and horizon area. Positive energy radiated to infinity gives $E_{\mathrm{ADM}}\ge M_f$, where $E_{\mathrm{ADM}}$ is the initial ADM energy. For a Kerr black hole with $a_f=J_f/M_f$,If the initial apparent horizon obeys the necessary apparent-horizon area comparison with the enclosing event horizon, and Hawking's area theorem applies during the evolution, thenConsequently the anticipated answer, under those additional hypotheses, isThe bound is saturated by a nonrotating Schwarzschild black hole with no energy loss. Rotation or outgoing radiation makes the argument's inequalities stricter.

There is an essential qualification: inclusion inside an event horizon does not by itself compare areas. An arbitrary apparent horizon on general, non-time-symmetric initial data need not satisfy the displayed apparent-horizon area comparison; the unqualified version with its area is not universally true, even with the dominant energy condition. On time-symmetric data the relevant outermost minimal surface is an outer area-minimizing surface, as used in the Riemannian Penrose inequality, with nonnegative scalar curvature. In more general formulations an appropriate enclosing-area quantity is needed. The physical expectation is conditional on this area comparison, as well as on censorship, predictability, settling, and the energy assumptions; the mere presence of a trapped surface does not supply every step.

The laws of black-hole mechanics initially relate geometric quantities in a way resembling thermodynamics. Hawking radiation supplies a physical temperature: in units $c=1$, while displaying $G,\hslash ,k_B$,The Hawking temperature $T_H$ is measured with the stationary time normalized at infinity. The radiation's thermal occupation factor is physically observable; propagation to infinity also introduces greybody factors, so the distant spectrum need not be a perfect blackbody spectrum at every frequency.

The Zeroth law of black-hole mechanics says that surface gravity $\kappa$ is constant on a stationary Killing horizon under its standard hypotheses. Through the Hawking temperature, this becomes uniform equilibrium temperature. The First law of black-hole mechanics isUsing $T_H$ identifies its area term as $T_H\delta S_{\mathrm{BH}}$. Integrating $\delta S_{\mathrm{BH}}=k_B\delta A/(4G\hslash )$ gives the Bekenstein-Hawking entropy, up to an additive constant. Thus $M$ is the energy, the angular and charge terms are work terms, and the geometrical law is the ordinary thermodynamic first law with a fixed entropy normalization.

The second law of black-hole mechanics, or Hawking's area theorem, gives nondecreasing area in the classical setting with the requisite energy and predictability assumptions. It corresponds to increasing Bekenstein-Hawking entropy. Semiclassical black-hole evaporation can decrease the area: the classical null energy condition need not hold for the quantum expectation of the stress-energy tensor. The appropriate extension is the generalized second law, that $S_{\mathrm{BH}}+S_{\mathrm{outside}}$ does not decrease, with the exterior entropy and its renormalization treated consistently. Hawking's temperature identification motivates this law; thermality alone does not prove every form of it.

The third law of black-hole mechanics is the unattainability, by an admissible finite physical process, of zero surface gravity. With Hawking temperature it becomes unattainability of absolute zero. It is not the assertion that an extremal black hole has vanishing entropy: its area can remain nonzero when $\kappa =0$.

For a Schwarzschild black hole, $\kappa =1/(4GM)$ and $A=16\pi G^2{M}^2$, giving $T_H=\hslash /(8\pi k_{B}GM)$ and $S_{\mathrm{BH}}=4\pi k_{B}G{M}^2/\hslash$. Their product satisfies $T_{H}d{S}_{\mathrm{BH}}=dM$, explicitly checking the first law. Quantum radiation turns the temperature and entropy in the mechanical analogy into physical thermodynamic quantities.

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.

Classically, the laws of black-hole mechanics have the same form as the laws of thermodynamics, but this could have been only a formal analogy. Hawking radiation makes it physical: a stationary black hole emits approximately thermal radiation withso surface gravity is proportional to genuine temperature.

The correspondence is:

matches the first law of thermodynamics and fixes the Bekenstein-Hawking entropy

A real Hawking temperature therefore identifies horizon area as thermodynamic entropy and turns the geometric laws into thermodynamic laws.

The second law of black-hole mechanics, or Hawking's area theorem, states that the total area of future-event-horizon cross-sections cannot decrease toward the future under the null energy condition and the usual predictability assumptions. If any horizon generator had $\theta <0$, the twist-free Null Raychaudhuri equation and the null focusing theorem would force a conjugate point at finite affine parameter. A generator complete to the future cannot pass through such a point while remaining on the achronal boundary of $J^{-}({\mathcal{I}}^{+})$. Hence $\theta \ge 0$ everywhere on the regular future horizon, and $dA/d\lambda =\theta A\ge 0$ proves the area law.

The two initial Kerr black holes have total areawhereas the final Schwarzschild black hole has $A_f=16\pi M^{\prime 2}$. Hawking's area theorem impliesSince $\eta =1-M^{\prime }/(2M)$, the radiated fraction is bounded byThis upper bound increases with $|J|/M^2$ and reachesfor two initially extremal holes, $|J|=M^2$. For the final hole to be Schwarzschild, their spins must be oppositely directed so the total angular momentum vanishes. The bound assumes an idealized merger saturating the area law.

In the reversible limit the particle is released arbitrarily close to the horizon, soHolding $r_{+}$ fixed and using $Q^2=r_{+}^{d-3}{r}_{-}^{d-3}$,Discharging to $Q=0$ therefore extracts at mostHawking's area theorem forbids the horizon area, and hence $r_{+}$, from decreasing. The smallest possible final neutral mass is consequently $r_{+}^{d-3}/2$, giving exactly the same upper bound.

The four laws of black-hole mechanics closely parallel thermodynamics. The zeroth law says that the surface gravity $\kappa$ is constant over a stationary Killing horizon. The first law isThe second law is Hawking's area theorem, $\delta A\ge 0$ under the null energy condition, and the third law of black-hole mechanics says that a regular extremal horizon with $\kappa =0$ cannot be reached by a finite physical process. These match constancy of temperature in equilibrium, $dE=TdS+$ work terms, entropy increase, and unattainability of zero temperature.

Quantum field theory makes the analogy literal. A stationary horizon emits at the Hawking temperatureComparing $T_{H}dS$ with the area term in the first law gives the Bekenstein-Hawking entropyFor a Schwarzschild black hole, $\kappa =c^4/(4GM)$ and $T_H=\hslash c^3/(8\pi GM{k}_B)$.

To see why particles are produced, quantize a real scalar field using the conserved Klein-Gordon inner product. In the asymptotically Minkowski past choose positive-frequency modes $u_i^{\mathrm{in}}$ and writeThe asymptotically Minkowski future supplies another positive-frequency basis $u_j^{\mathrm{out}}$ and operators $a_j^{\mathrm{out}}$. In a nonstationary middle region there is no preferred timelike Killing vector and therefore no invariant positive-frequency split: the notion of particle is observer- and basis-dependent. The two mode bases are related by a Bogoliubov transformation,so the corresponding operators mix annihilation and creation operators. The in-vacuum then containsout-particles whenever $\beta \ne 0$.

For a black hole formed by collapse, late outgoing modes traced backwards toward the event horizon undergo an exponentially large blueshift. This produces a universal Bogoliubov mixing withthe Planck distribution at $T_H$. Greybody scattering outside the horizon modifies the flux reaching infinity but not its characteristic temperature.

Hawking radiation gives a black hole negative heat capacity: it heats up as it loses mass and can evaporate in finite time. The generalized second law assigns entropy $S_{\mathrm{BH}}$ to the hole and states that this plus exterior entropy does not decrease. The enormous area entropy suggests microscopic horizon degrees of freedom. If semiclassical evaporation ends with only thermal radiation, an initially pure state appears to become mixed, producing the black hole information paradox. Resolving the endpoint, information recovery, and the microscopic origin of the area law are central constraints on quantum gravity.

The Penrose inequality compares asymptotic energy and an appropriate horizon or enclosing area in geometrized units. Its physical motivation uses censorship, positive radiated energy, settling to a Kerr black hole, and Hawking's area theorem. The area variable requires care: the area of an arbitrary apparent horizon on non-time-symmetric data does not give a universally valid inequality. The Riemannian Penrose inequality uses the relevant outermost minimal surface under nonnegative scalar curvature.