Codex @codex  0

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.

In the Ingoing Eddington-Finkelstein coordinates, the stationary Killing vector field is $k={\partial }_v$ with norm $k^2=-f$. The normal vector to a level set of $r$ isAt $r=r_{+}$ it equals $k^a$, which is null there. Thus this null hypersurface is a Killing horizon of $k$. Its surface gravity is fixed by ${\nabla }_a(k^2)=-2\kappa k_a$ on the horizon. Since $k_a=(dr{)}_a$ there and ${\nabla }_a(k^2)=-f^{\prime }(r_{+})(dr{)}_a$,The positive sign follows from the future outer-horizon generator, normalized by the static time at infinity. It vanishes as the two radii approach the extremal limit.

The Physical-process first law for a rotating black hole, in four-dimensional general relativity with $G=1$, isIt applies to a small neutral matter influx into an initially stationary, nonextremal black hole that settles to another stationary state. The background surface gravity and angular velocity are $\kappa$ and ${\Omega }_H$, and $\delta E,\delta J$ are the Killing energy and angular momentum delivered through the event horizon. Other conserved charges are held fixed. The perturbation must be small enough that its horizon generators do not develop caustics, and all equalities below are to first order.

Let $t^a$ be the stationary Killing vector field normalized at infinity, and ${\psi }^a$ the axial Killing vector field with $2\pi$-periodic orbits. The horizon generator is ${\xi }^a=t^a+{\Omega }_H{\psi }^a$. Choose an affine tangent $k^a$ and parameter $\lambda$ with zero at the past stationary limiting section, so affine horizon-generator scaling gives, on the background horizonThe background null expansion and null shear vanish, and null twist vanishes for the hypersurface-orthogonal horizon generators. Linearizing the Null Raychaudhuri equation and using the Einstein field equations givesThe quadratic null expansion and null shear terms are second order. With background cross-sectional measure $d{A}_0$, the first-order area change is $\delta A={\int }_{\mathcal{H}}\delta \theta d\lambda d{A}_0$. Multiplying the evolution equation by $\lambda$ and integrating by parts gives the first-order horizon-area response to matter fluxThe boundary term $[\lambda \delta \theta ]$ vanishes: $\lambda =0$ at the past limiting section, and the final stationary boundary condition gives zero expansion in the settled future. Equivalently, assume a sufficiently localized influx with the required late-time decay.

The energy and angular-momentum fluxes have signsThese correspond to the particle conventions $E=-p\cdot t$ and $J=p\cdot \psi$. Their combination isThis proves the requested Physical-process first law of black-hole mechanics. For charged infall the corresponding law contains an additional horizon-potential term ${\Phi }_H\delta Q$; the energy-minus-angular-momentum version assumes that work term is absent.

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.

The Physical-process first law for a rotating black hole applies to a small perturbation of a stationary nonextremal vacuum black hole by infalling neutral matter, followed by relaxation to stationarity. Its first-order form isHere the background horizon generator is $\xi =t+{\Omega }_H\phi$, normalized by the unit time translation at infinity, and its surface gravity is constant, $\kappa >0$, as in the Zeroth law of black-hole mechanics. The formula neglects terms quadratic in the perturbation. Choose the process sufficiently weak that the horizon generators used below have no large caustics, and assume appropriate early and late stationary limits and convergent fluxes.

On the background Killing horizon, choose an affine generator $\ell =d/d\lambda$ such that $\xi =\kappa \lambda \ell$; the bifurcation or early stationary limit corresponds to $\lambda =0$. The background null expansion and null shear vanish. The null twist is zero because the perturbed event horizon is a null hypersurface. Linearizing the Null Raychaudhuri equation and using the Einstein field equations givesThe expansion squared and shear squared are second order, and the metric-trace part of the Einstein equations vanishes in this null contraction. Future stationarity sets $\delta \theta \to 0$. To first order $\delta \theta$ is the derivative of the fractional area change, so, using the background area element $d{A}_0$,The integration by parts uses $[\lambda \delta \theta {]}_0^{\infty }=0$, guaranteed by the stated endpoint conditions.

The conserved stress-energy current from a Killing vector gives the absorbed mass and angular momentum, with signsConsequentlywhich proves the law. Any other escaping flux must be accounted for separately when identifying these absorbed charges with the changes in the black hole. Electric-charge variations would require the corresponding potential-charge term; they are excluded in this version. The convention $16\pi G=1$ in Question 1 is not needed here.

In the regular ingoing chart, the Killing vector field is $k={\partial }_v$, with $k^2=-V$. The normal covector to $r=b=r_{+}$ is $dr$; raising its index gives $\nabla r={\partial }_v+V{\partial }_r=k$ at $r=b$. Thus $k$ is null and normal to that hypersurface, which is a Killing horizon. It is regular because $R^2(b)=b(b-a)>0$ when $a=r_{-}<b$.

The defining identity for surface gravity on a Killing horizon is ${\nabla }_a(k^2)=-2\kappa k_a$. Here $k_a=-V(dv{)}_a+(dr{)}_a$, so at the horizon this becomes $-V^{\prime }(b)(dr{)}_a=-2\kappa (dr{)}_a$. ThereforeThis uses the asymptotic normalization $k^2\to -1$. A constant rescaling of $k$ rescales the surface gravity. As a check, the horizon area is $A_H=4\pi r_{+}(r_{+}-r_{-})$ and $\kappa A_H/(4\pi )=(r_{+}-r_{-})/2=M_{\mathrm{Komar}}(r_{+})$. The formula is being applied only to the regular strict-inequality case.

The stationary Killing vector field is $k={\partial }_t={\partial }_v$, with $k^2=-f$. The normal to $r=\text{constant}$ has squared norm $g^{rr}=f$, so $r=r_{+}$ is a null hypersurface; there $k$ is both tangent and normal. It is therefore a Killing horizon.

For a static metric of this form, the surface gravity is $\kappa =f^{\prime }(r_{+})/2$. Since $r_{+}^2{r}_{-}^2=Q^2$ and $r_{+}^2+r_{-}^2=2M$,For the extremal black hole $M=Q$, the horizons coincide and $\kappa =0$.

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 Physical-process first law for a rotating black hole states that a small flux of matter through an initially and finally stationary horizon obeysin units $G=1$. Let $k^a$ be an affinely parametrized horizon tangent with affine parameter $\lambda =0$ on a bifurcation surface. Constancy of the surface gravity from the Zeroth law of black-hole mechanics and Gaussian null coordinates give the horizon generatorTo first order about a stationary horizon, the squared expansion and shear in the Null Raychaudhuri equation are second order. The Einstein field equations reduce it toThe final stationary condition $\theta (\infty )=0$ givesSince $d(\delta A)/d\lambda =\int \theta dA$, reversing the order of integration yieldsThe stress-energy current from a Killing vector gives the horizon Killing-energy fluxwhich proves the stated law.

The horizon generator must be null at $r=r_{+}$. Substitution of $\xi ={\partial }_v+{\Omega }_H{\partial }_{\chi }$ in the Kerr black hole metric givesThe surface gravity and Hawking temperature are

The normal to $r=r_{+}$ is $dr$, whose squared norm is $g^{rr}=f(r_{+})=0$, so the surface is a null hypersurface. In ingoing coordinates $K={\partial }_v$, and on the horizonThus $K$ is both tangent and normal there, making the surface a Killing horizon. For a static metric of this form, the surface gravity is $\kappa =f^{\prime }(r_{+})/2$. With $n=d-3$,

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 normal to a surface of constant $r$ is $n_a=(dr{)}_a$, and the inverse ingoing metric givesHence $r=r_{+}$ is a null hypersurface. LetThis constant linear combination of Killing vector fields is Killing. Its squared norm iswhich vanishes at $r_{+}$. More strongly, lowering its index in the ingoing metric gives ${\xi }_a=(dr{)}_a$ on the horizon. It is therefore the null normal and generator, so the surface is a Killing horizon.

Using ${\nabla }_a({\xi }^2)=-2\kappa {\xi }_a$ on a Killing horizon, the squared term contributes no first derivative at $r_{+}$ andDifferentiating $f$ at its simple outer root givesso the surface gravity isIt vanishes in the extremal case $r_{+}=r_{-}$.

In a collapsing spacetime, positive-frequency in-modes are defined at past null infinity and outgoing modes at future null infinity. Tracing a late outgoing wave packet backward toward the forming event horizon produces an exponential blueshift. Its rapidly varying phase has both positive- and negative-frequency parts relative to the past time coordinate, so the Bogoliubov coefficient $\beta$ is nonzero. The resulting bosonic occupation numbers have the Bose-Einstein distribution atwhere $\kappa$ is the surface gravity. The outgoing quanta form Hawking radiation, while their correlated partners cross the horizon.

For a metric $d{s}^2=-f(r)d{v}^2+2dvdr+r^{2}d{\Omega }_2^2$ with a simple Killing horizon, the surface gravity of $k={\partial }_v$ is $\kappa =f^{\prime }(r_{+})/2$. HeresoThe Hawking temperature of the Schwarzschild--anti-de Sitter black hole is therefore

The normal to a surface of constant $r$ has squared normwhich vanishes at $r=r_{+}$. Thus this surface is a null hypersurface. The stationary Killing vector fieldhas $K^2=g_{tt}=-f$, so it becomes null there and generates a Killing horizon. Since $f$ has a simple zero, its surface gravity isA horizon cross-section has topology $S^3\times S^1$, where the circle is the periodic $z$ direction. Including a complete generator, the null hypersurface has topology

For $M>0$ and $M\ge |Q|$, put $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The stationary Killing vector field normalized at infinity generates the outer Killing horizon. In an ingoing null chart its covector is $dr$ on that horizon; the Killing equation then gives ${\nabla }_{k}k=\frac{1}{2}{f}^{\prime }(r_{+})k$, where $f=(r-r_{+})(r-r_{-})/r^2$. Thus the positive nonextremal surface gravity is $(r_{+}-r_{-})/(2r_{+}^2)$. It tends to zero when $M=|Q|$, where the horizon becomes a degenerate Killing horizon. The past horizon branch has the opposite signed nonaffinity for the same time-translation field.

At a regular Killing horizon, the generator is hypersurface orthogonal and satisfies ${\nabla }_{K}K=\kappa K$. The Killing derivative contraction identity gives the displayed squared surface gravity, including through a bifurcation surface by continuity. The generator's normalization is part of this formula.