Codex @codex  0

A degenerate Killing horizon has zero surface gravity. In the radial quotient of an extremal black hole, a double horizon root produces a pole in the tortoise coordinate rather than the logarithm of a simple root. Such a horizon has no bifurcation surface of the usual nondegenerate type.

The late outgoing rays from a nonextremal collapsing black hole have an exponential relation between a regular early affine null coordinate $U$ and late retarded time $u$. Logarithmic divergence of the tortoise coordinate at the horizon gives $U_H-U=A{e}^{-\kappa u}$ up to subleading terms. Backward propagation turns $e^{-i\omega u}$ into $(U_H-U{)}^{i\omega /\kappa }$; its positive- and negative-frequency Fourier parts give a thermal Bogoliubov transformation.

For $d{s}^2=-fd{t}^2+d{r}^2/f+R^{2}d{\Omega }^2$, suppose $f$ and $R$ are analytic at $r_H$, $f(r_H)=0$, $f^{\prime }(r_H)=2\kappa >0$ and $R(r_H)>0$. The tortoise coordinate obeys the displayed expansion with analytic $h$. For $U=-e^{-\kappa (t-r_{\ast })}$ and $V=e^{\kappa (t+r_{\ast })}$ in the right exterior, $-UV=(r-r_H)e^{2\kappa h(r)}$ after fixing an additive constant. The inverse function theorem makes $r$ analytic in $UV$ through zero, while $d{s}^2=fdUdV/({\kappa }^{2}UV)+R^{2}d{\Omega }^2$ has a finite nonzero radial coefficient there. This supplies the local analytic extension and its bifurcate Killing horizon.

The tortoise coordinate is $r_{\ast }=r+(r_h/2)\log |(r-r_h)/(r+r_h)|$. Set $u=t-r_{\ast }$ and $v=t+r_{\ast }$, then $U=-e^{-u/r_h}$ and $V=e^{v/r_h}$ in the right exterior. The extended radial metric is $-r_h^2(r+r_h{)}^2{e}^{-2r/r_h}dUdV/r^2$, regular at $r=r_h$. The horizons are $UV=0$, while $r=0$ gives $UV=1$ and is a spacelike curvature singularity. Compactification by $\arctan U,\arctan V$ displays two exteriors, a future black hole and a past white hole.

Take $M=|Q|>0$ and use $G=c=1$. The case $M=Q=0$ is flat spacetime and is not a black hole. In the nontrivial extremal Reissner-Nordstrom metric,The horizon is a double zero at $r=M$, with surface gravity $\kappa =f^{\prime }(M)/2=0$. The function $f$ is positive on both sides of the horizon. Thus the intermediate nonstatic region of a nonextremal charged hole disappears; one must not draw that region as a strip of nonzero width in the extremal Penrose diagram.

To construct the Penrose diagram, first integrate the radial tortoise coordinate:The additive constant has been chosen so that $r_{\ast }(0)=0$ in the inner block. In the exterior, $r_{\ast }\to -\infty$ at $M^{+}$ and $r_{\ast }\to +\infty$ at infinity. In the inner static region $0<r<M$, it increases from $0$ to $+\infty$. Set $u=t-r_{\ast }$ and $v=t+r_{\ast }$. The radial metric is $-fdudv$, so its radial null directions are $u=\mathrm{constant}$ and $v=\mathrm{constant}$.

Compactify each static block usingThis conformal compactification puts radial null geodesics at $45$ degrees. The exterior is a diamond: its right-hand edges are past and future null infinity, while its left-hand edges are the past and future degenerate horizons. At the left vertex, finite static $t$ and $r\to M^{+}$ give $u\to +\infty$, $v\to -\infty$. This is an end of the infinite spatial throat, not a regular bifurcation surface where the two horizon branches meet. A degenerate Killing horizon has no such bifurcation sphere. The inner block occupies the half-diamond $X>0$, because $r_{\ast }>0$ there. Its vertical edge $X=0$ is the timelike curvature singularity $r=0$; its two diagonal edges are the two horizon branches at $r=M$. Its outer vertex likewise represents an excluded infinite-throat end.

The static-coordinate compactification identifies the blocks but does not by itself establish the smooth horizon extension. For that, use ingoing Eddington-Finkelstein coordinates on the future horizon:Its radial determinant is $-1$, so it is nonsingular at $r=M$. Glue the exterior future edge, $u\to +\infty$ with $v$ finite, to the inner past edge, $u\to -\infty$ with the same finite $v$. The outgoing coordinate $u$ similarly gives $d{s}^2=-fd{u}^2-2dudr+r^{2}d{\Omega }^2$ and extends the other horizon branch. Continue adjoining these regular blocks across every extendible null edge. The construction repeats indefinitely to the future and past, producing the maximal analytic diagram with infinitely many asymptotic exterior regions and inner static regions bounded by timelike singularities. Horizons are null edges, never the excluded throat vertices. Identical edges in different copies must be glued with their time orientations preserved; they are not all the same exterior infinity.

The figure shows the two building blocks, rather than compressing the whole infinite extension into a misleading finite diagram. The red edges glue across a future horizon at finite advanced time. Outgoing coordinates extend the next edge to another exterior copy. The thin diagonal lines illustrate the radial light-cone directions.

For spatially conformally flat coordinates, compare the radial and angular parts of $f^{-1}d{r}^2+r^{2}d{\Omega }^2$ with $V(\rho {)}^2(d{\rho }^2+{\rho }^{2}d{\Omega }^2)$. The angular coefficient requires $V\rho =r$, and the radial coefficient then gives, in the exterior,Choose the integration constant to make $\rho =r-M$ and $V\to 1$ at infinity. In Cartesian coordinates $x=\rho \sin \theta \cos \phi$, $y=\rho \sin \theta \sin \phi$, $z=\rho \cos \theta$, put $\rho =\sqrt{x^2+y^2+z^2}$. The Extremal Reissner-Nordstrom isotropic coordinates giveThese coordinates have $\rho >0$ and describe the exterior only. The locus $\rho =0$ is the limit $r=M$, not an ordinary point included in this chart. An independent inner chart is obtained with $\rho =M-r$, $0<\rho <M$, giving $V=M/\rho -1$ and $W=(M/\rho -1{)}^{-1}$; it must be attached using the regular null coordinates, not by continuing the exterior radial coordinate through a Cartesian origin.

The infinite proper distance is real. Along a constant-$t$ exterior radius,It is a property of a static spacelike slice. It does not bound the proper time of a freely falling observer. Indeed, a neutral radial timelike geodesic has conserved energy per unit rest mass $E=f\dot{t}>0$ and normalization $-f{\dot{t}}^2+f^{-1}{\dot{r}}^2=-1$, givingAt the horizon $\dot{r}\to -E$, so the remaining proper time is finite. Moreover,The observer crosses the regular future horizon with finite $v$ and finite proper time. This is the Extremal Reissner-Nordstrom causal crossing, which the singular static time coordinate conceals.

There is also a direct causal test for the event horizon. Inside the future horizon, outgoing radial null curves in the ingoing chart satisfy $dr/dv=f/2$. To reach $r=M$ from below they would requireNear the horizon, $M-r\sim 2M^2/v$. A future timelike or nonradial null curve cannot increase $r$ faster than the outgoing radial null curve, since $d{s}^2\le 0$ and $\dot{v}>0$ imply $dr/dv\le f/2$ after dropping the nonnegative angular term. Hence a signal that crossed inward cannot return to the original exterior's future null infinity. Curves can encounter other blocks in the maximal analytic extension, but their infinities are not the original observer's infinity. Relative to that asymptotic end, $r=M$ is the boundary of the causal past of future null infinity: it is an event horizon.

Finally, the Reissner-Nordstrom trapped spheres test explains why the proposed observation is unsurprising. Normalize future radial null normals by $\ell ={\partial }_v+(f/2){\partial }_r$, $n=-{\partial }_r$, with $g(\ell ,n)=-1$. The round-sphere null expansions areThere is no region of strictly future-trapped round spheres, while the horizon spheres are marginal with ${\theta }_{\ell }=0$. Absence of those particular trapped surfaces does not imply absence of an event horizon. The geometry has a nonzero horizon area $4\pi M^2$ and a genuine timelike singularity at $r=0$ in its extension. The infinite static throat does not remove the black hole: infall crosses its horizon in finite proper time, and no signal returns to the same exterior infinity.

Suppress the angular three-spheres and use radial null coordinates $u=t-r_{\ast }$, $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=1/V$. Compactifying these null coordinates puts radial light rays at 45 degrees in the Penrose diagram. Simple zeros of V give logarithmic ends of the tortoise coordinate and are crossed by regular null charts. The sign of V distinguishes static blocks, where r is spacelike, from inter-horizon blocks, where r is timelike.

The center is a genuine curvature singularity. An orthonormal-frame calculation gives the Kretschmann scalar of a five-dimensional charged black holeIt diverges at zero radius and is finite at positive horizons. Since the normal to a constant-r hypersurface has squared norm V, the singular boundary is spacelike when V is negative near zero and timelike when V is positive there.

For $Q=0$, V is negative inside the sole horizon and the maximal extension is Schwarzschild-like: two asymptotically flat exteriors, a future black-hole triangle ending at a spacelike singularity, and a past white hole triangle beginning at a spacelike singularity. The two pairs of horizon branches meet at a regular bifurcation sphere.

For $|Q|>M$, V is positive for every positive r. The radial conformal domain is a single exterior with a timelike naked singularity at its left boundary and the usual past/future null infinities on its outer boundaries. There is no horizon. These two cases are shown together below; red zigzags denote curvature singularities.

For $0<|Q|<M$, the exterior $r>r_{+}$ and deep interior $0<r<r_{-}$ are static, while $r_{-}<r<r_{+}$ is a trapped or time-reversed band. The outer roots are event horizons for a chosen exterior, and the inner roots are Cauchy horizons. The center is timelike because $V\sim Q^2/r^4>0$ there. In the exact analytic extension, crossing successive inner and outer horizon branches produces an infinite succession of exterior, trapped, inner-static and white hole blocks. The following finite strip specifies the repetition; it does not terminate the spacetime at the drawing's upper or lower edge.

For $|Q|=M$, $V=(1-M/r^2{)}^2$ is nonnegative on both sides of $r_h=\sqrt{M}$. There is no inter-horizon trapped band. Near the horizon, $r_{\ast }\sim -M/[4(r-r_h)]$, so the horizon is an infinite throat end of each static coordinate block. It is null and degenerate, without a regular bifurcation surface. The extension consists of alternating exterior and inner-static blocks, with timelike singularities in the latter. The separate conformal blocks below, together with their future-to-past horizon gluing rule, describe the full repeated extension. The open throat endpoints are ideal boundaries, not additional events where horizon branches meet.

Thus the neutral, strictly subextremal charged, extremal and overcharged cases all have distinct causal structures. These drawings describe the maximal analytic stationary metrics. The additional angular dimension changes areas and curvature falloff, but does not change these radial causal block types.

Let $r_h=\sqrt{2m}$ and $f(r)=1-r_h^2/r^2$. The geometry is the five-dimensional Schwarzschild-Tangherlini metric. Introduce a tortoise coordinate by $d{r}_{\ast }/dr=f^{-1}$. Decomposing the integrand givesAn irrelevant additive constant has been fixed. Set $v=t+r_{\ast }$ and $u=t-r_{\ast }$. Substituting $dt=dv-dr/f$ or $dt=du+dr/f$ respectively gives the ingoing Eddington-Finkelstein coordinates and outgoing Eddington-Finkelstein coordinates:The radial-time block in each has determinant $-1$, so the apparent singularity at $f=0$ has disappeared. The ingoing chart crosses the future event horizon, and the outgoing chart crosses the past horizon. Radial null geodesics in the ingoing chart obey either $v=\text{constant}$ or $dr/dv=f/2$, displaying how outward light is trapped when $r<r_h$.

For the maximal extension, the exterior radial metric is $-fdudv$. Since the surface gravity is $\kappa =f^{\prime }(r_h)/2=1/r_h$, choosein the right exterior. Their product and the extended metric areThe coefficient at the horizon is finite and nonzero, $-4r_h^2{e}^{-2}$. The product relation therefore extends smoothly through either horizon. For $r>r_h$, $UV<0$ gives two exterior regions. For $0<r<r_h$, $0<UV<1$ gives the future black-hole interior with $U,V>0$ and the past white-hole interior with $U,V<0$. The Kruskal extension of the five-dimensional Schwarzschild-Tangherlini metric has a bifurcation three-sphere at $U=V=0$.

The singularity $r=0$ corresponds to $UV=1$. It is a curvature singularity: for example, its Kretschmann scalar is $72r_h^4/r^8$. Since $g^{ab}{\partial }_{a}r{\partial }_{b}r=f<0$ in the interior, constant-$r$ surfaces are spacelike there, and the singularities are spacelike boundaries. Define $P=\arctan U$, $Q=\arctan V$, then compactified coordinates $T=(Q+P)/2$, $X=(Q-P)/2$. Radial null curves have $T\pm X=\text{constant}$. Moreover, $\tan P\tan Q=1$ gives $T=\pm \pi /4$ at the two singularities. This constructs the Penrose diagram, not just its horizon labels:

Each point away from the singular boundaries represents a three-sphere, not a two-sphere. The diagram has two asymptotically flat exteriors with separate past and future null infinities, a future black hole and a past white hole. The diagram of a collapse spacetime would omit the second exterior and the white-hole region; the maximal extension of the metric given here contains both.

For the Komar integral, normalize the stationary Killing vector field as $k={\partial }_t$, with unit norm at infinity. The Killing equation makes ${\nabla }^a{k}^b$ antisymmetric, and its divergence is proportional to $R^b{}_c{k}^c$. In a vacuum exterior this vanishes, so Stokes theorem makes the flux independent of the enclosing sphere. In the weak-field limit its radial component measures the derivative of the gravitational potential; its large-sphere flux is therefore proportional to the asymptotic gravitational mass. Normalization of $k$ is needed because rescaling it would rescale the integral.

Specify the surface orientation to fix the sign and factor. On a static exterior slice take future unit normal $u^a=f^{-1/2}({\partial }_t{)}^a$, outward radial normal $n^a=f^{1/2}({\partial }_r{)}^a$ andThen $d{\Sigma }^{tr}=-dA$ and $d{\Sigma }^{rt}=dA$, with both antisymmetric components included. Since $k_t=-f$,The three-sphere area is $2{\pi }^2{r}^3$, and $f^{\prime }=2r_h^2/r^3=4m/r^3$. ThusReversing the binormal orientation gives $+8{\pi }^{2}m$; a convention with half the antisymmetric binormal gives half this magnitude. The question does not fix those conventions, so the choice above is explicit.

For comparison with physical mass, the Komar mass normalization in higher dimensions isIn five dimensions this givesThe metric parameter $m$ has dimensions of length squared and is not itself the physical mass. An independent horizon check is $I_K=-2\kappa A_H$ with $A_H=2{\pi }^2{r}_h^3$, which reproduces the same integral. The dimension-adjusted normalization also agrees with the ADM mass; the four-dimensional Komar prefactor should not be reused unchanged.

Hawking radiation is a prediction of quantum field theory in curved spacetime, not of classical collapse alone. Consider a free massless Klein-Gordon field in the collapse vacuum for Hawking radiation: initially no incoming particles from past null infinity, with the short-distance state regular for freely falling observers through the forming event horizon. At late times use the approximately fixed exterior Schwarzschild metric; neglect backreaction during the observation interval. First set $G=c=\hslash =k_B=1$.

The exterior metric has $f(r)=1-2M/r$. Introduce the tortoise coordinate and outgoing and ingoing null coordinates,The surface gravity is $\kappa =1/(4M)$. The logarithm in $r_{\ast }$ makes a late escaping ray spend a long exterior coordinate time close to the event horizon. One of the regular outgoing Kruskal–Szekeres coordinates is proportional to $-e^{-\kappa u}$. Smooth propagation backwards through the collapsing body relates this regular coordinate to the incoming coordinate on past null infinity. If $v_H$ labels the last ray able to escape, the late-time Hawking exponential ray map is consequentlyHere the symbol $u(v)$ is the outgoing retarded time evaluated on the ray; the first equation is the leading asymptotic relation, with subleading corrections that vanish at late times. The constant $C$ depends on collapse history, whereas the exponential rate is determined by the final surface gravity. The relation follows from a nondegenerate Killing horizon; a linear ray map would not have the same effect.

An outgoing positive-frequency mode at future null infinity behaves as $p_{\omega }\sim e^{-i\omega u}/\sqrt{4\pi \omega }$, where $\omega >0$ is measured with respect to the asymptotic stationary time. In the near-horizon geometric optics approximation its backward-propagated form on past null infinity isThis is not purely positive frequency in $v$. Its decomposition into incoming positive-frequency modes $f_{{\omega }^{\prime }}\sim e^{-i{\omega }^{\prime }v}/\sqrt{4\pi {\omega }^{\prime }}$ and their complex conjugates is a Bogoliubov transformation:The coefficients follow from the Klein-Gordon inner product, or equivalently from the Fourier transform with the indicated flux normalization. Writing $y=v_H-v$ and $a=\omega /\kappa$, the two Fourier integrals, after a convergence regulator, areThe equality is the defining integral of the Gamma function, continued to these arguments from the right half-plane. Up to phases of unit modulus, $\alpha$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{+}/(2\pi )$ and $\beta$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{-}/(2\pi )$. Taking $ϵ\downarrow 0$ on the principal branches, the arguments of $ϵ\pm i{\omega }^{\prime }$ tend to $\pm \pi /2$. Thus $|I_{+}|\propto e^{\pi a/2}$ and $|I_{-}|\propto e^{-\pi a/2}$, giving the thermal ratio of Hawking Bogoliubov coefficientsIn particular, using $|\Gamma (1+ia){|}^2=\pi a/\sinh (\pi a)$,The collapse-dependent phases and $C$ disappear from the ratio. The canonical identities for a bosonic Bogoliubov transformation state that the positive-frequency norm minus the negative-frequency norm is one for a normalized outgoing mode. Combining that identity with the thermal ratio yields the late-time mean occupationThese are the Bose-Einstein distribution and the Hawking temperature. Strictly, monochromatic modes have delta-function normalization, and $\int d{\omega }^{\prime }|{\beta }_{\omega {\omega }^{\prime }}{|}^2$ contains the infinite-duration divergence $\int d{\omega }^{\prime }/{\omega }^{\prime }$. Normalized wave packets with a finite frequency band and a finite retarded-time window remove this artifact. For sufficiently late packets the occupation is the frequency average of the displayed thermal factor, tending to it for a narrow band. Fermionic fields instead give the corresponding denominator $e^{2\pi \omega /\kappa }+1$ because their canonical normalization uses anticommutators.

Four-dimensional propagation adds an important qualification to the word thermal. Separation of the massless Klein-Gordon equation into spherical harmonics gives an exterior radial scattering potentialOnly a fraction ${\Gamma }_{\ell }(\omega )$ of the outgoing mode is transmitted to future null infinity; this is the greybody factor. The scalar particle flux there isThe factor $2\ell +1$ counts the angular modes, and multiplication by $\omega$ gives the spectral energy flux. An observer at infinity therefore receives an outgoing thermal population filtered by curvature scattering, rather than an exact unfiltered blackbody spectrum. In physical units, for mass $M_{\mathrm{phys}}$,There is no incoming thermal bath in the collapse vacuum for Hawking radiation. The outgoing flux has positive Killing energy; its counterpart inside the event horizon can carry negative Killing energy. Including the expectation value of the stress-energy tensor in the gravitational evolution allows the mass to decrease. The fixed-background derivation describes the slowly evolving semiclassical regime and does not determine the endpoint of evaporation. Quantum expectation values need not satisfy the classical null energy condition, so this loss of area is not a contradiction of the classical second law of black-hole mechanics. The essential late-time universality is the combination of a regular initial quantum state and the exponential redshift at the newly formed event horizon.

For radial null geodesics, the radial metric is $-fd{t}^2+d{r}^2/f$. Define the tortoise coordinate byThen the radial metric becomes $f(-d{t}^2+d{r}_{\ast }^2)=-fdudv$. Its two null directions have $dt=\pm d{r}_{\ast }$, so $\boxed{u=t-r_{\ast }\text{ is constant on outgoing rays},v=t+r_{\ast }\text{ on ingoing rays}}$ in the exterior. The radial null curves are null geodesics up to reparametrization: in the two-dimensional radial metric a null tangent's acceleration is proportional to itself, and spherical symmetry introduces no angular acceleration.

Set $r_H=2m$. Since $f^{\prime }(r_H)=2\kappa$, the integrand defining the tortoise coordinate has a simple pole:where $h$ is analytic near $r_H$. Define the Kruskal–Szekeres coordinates in the right exterior by $U=-e^{-\kappa u}$ and $V=e^{\kappa v}$. ThenThe right-hand side has positive nonzero derivative at $r_H$. Continuing this relation analytically, rather than retaining an absolute value, makes $r$ an analytic function of $UV$ through both signs. The Kruskal extension across a simple static horizon has metricIts radial coefficient tends to $-2e^{-2\kappa h(r_H)}/\kappa$, finite and nonzero, while $R(r_H{)}^2=4m^2\cosh \alpha$. Therefore both null surfaces $U=0$ and $V=0$ are regular horizon branches, intersecting at a smooth two-sphere $U=V=0$.

The stationary Killing vector field becomesIt is null, tangent and normal on each horizon branch and vanishes on their intersection. This proves that $r=2m$ is a bifurcate Killing horizon, with bifurcation surface of area $\boxed{A_H=16\pi m^2\cosh \alpha }$. The exponential definitions specify one exterior; allowing all signs of $U,V$ supplies the remaining quadrants of the extension.

There is only one zero of $f$, at $r=2m$, and the Kruskal–Szekeres coordinates give four quadrants. Both exterior quadrants have $r>2m$, while the future and past interior quadrants have $0<r<2m$. The tortoise coordinate is finite at $r=0$: for $q>0$, $d{r}_{\ast }/dr\sim -\sqrt{q}{r}^{1/2}/(2m)$, and for $q=0$ it is $-r/(2m)$. Throughout each interior $g^{rr}=f<0$, so constant-$r$ hypersurfaces are spacelike. The assumed curvature singularity at $r=0$ therefore forms a spacelike future boundary in the black-hole region and a spacelike past boundary in the white-hole region. At infinity, $f\to 1$ and $R/r\to 1$, giving two standard asymptotically flat ends.

The resulting Penrose diagram is the same four-region causal diagram as the maximal Schwarzschild spacetime:

Each exterior has its own past null infinity, future null infinity, spatial infinity and timelike infinities. The future and past event horizons intersect on the bifurcation surface. The diagram describes the eternal analytic solution; a spacetime formed by collapse need not contain its white-hole region or second exterior.

Unlike a nonextreme Reissner-Nordstrom black hole, this electrically charged solution has one horizon and spacelike singularities, with no inner Cauchy horizon. A nonextreme Reissner-Nordstrom solution has two distinct horizons, including an inner Cauchy horizon, and a timelike singularity; its ideal maximal extension contains an infinite sequence of exterior and interior blocks. Charge by itself does not determine this causal structure: the metric and field equations of the gravitational theory matter.

Put $r_{+}=\ell \sqrt{M}$ and $f=(r^2-r_{+}^2)/{\ell }^2$. The apparent failure of the nonrotating BTZ black hole coordinates at $r=r_{+}$ is a coordinate singularity. Define the tortoise coordinate and ingoing time byThe Ingoing BTZ coordinates giveAll coefficients are analytic at $r_{+}>0$, and the determinant is $-r^2$, so the metric tensor extends nondegenerately through that radius. The Killing vector field $K={\partial }_v$ agrees with ${\partial }_t$ in the exterior. On $r=r_{+}$, $K^2=-f=0$ and $K_a=(dr{)}_a$. It is therefore both normal and tangent to this null hypersurface, proving that it is a Killing horizon.

One may include both horizon branches and their bifurcation surface explicitly. Set $\kappa =r_{+}/{\ell }^2$, $u=t-r_{\ast }$ and, initially in the exterior, $U=-e^{-\kappa u}$, $V=e^{\kappa v}$. ThenThis analytic extension of a spacetime is regular near $UV=0$, and $K=\kappa (V{\partial }_V-U{\partial }_U)$ extends analytically. The surfaces $U=0$ and $V=0$ form the extended Killing horizon at $r=r_{+}$; $K$ vanishes only at their regular bifurcation circle.

Put $f(r)=1-2M/r$. An incoming radial null ray has $dt/dr=-1/f$. The tortoise coordinate $r_{\ast }=r+2M\log |r/(2M)-1|$ obeys $d{r}_{\ast }/dr=1/f$, so $v=t+r_{\ast }$ is constant along such a ray. For $r>2M$ this is exactly the printed logarithm. Substituting $dt=dv-dr/f$ gives the metric in ingoing Eddington-Finkelstein coordinatesThe radial null directions satisfy either $dv=0$ or $dr/dv=f/2$. Future-directed ingoing rays have decreasing $r$ on the first family. Outgoing rays increase $r$ outside the horizon, stay at $r=2M$ on its generators, and decrease $r$ inside. Thus inside the horizon every future timelike trajectory also moves toward smaller $r$.

The $(v,r)$ metric block has determinant minus one and is nonsingular at $r=2M$. The horizon is a null surface, not a curvature singularity. For example the Kretschmann scalar $48M^2/r^6$ is finite there and diverges at $r=0$.

Inside, set $A=2M/r-1>0$. For radial timelike motion, the Schwarzschild expression becomes $d{\tau }^2=A^{-1}d{r}^2-Ad{t}^2$, henceAngular motion would only reduce the available proper time further. Integrating from the horizon to zero, with $r=2M{\sin }^2\theta$, givesThe bound is sharp for the zero-energy radial geodesic with constant Schwarzschild $t$ in the interior. For a geodesic arriving from the exterior with strictly positive conserved energy, the proper time is strictly smaller; $\pi M$ is the supremum as that energy tends to zero. Thus the universally available horizon-to-singularity upper bound is $\pi M$, rather than a time attainable by every exterior infaller. Restoring units gives $\pi GM/c^3$.

For radial null geodesics, the metric gives $dt/dr=\pm f^{-1}$ in the exterior. Define the tortoise coordinate byAn outgoing future radial ray has $dt/dr=f^{-1}$, so $u=t-r_{\star }$ is constant; an ingoing ray has $dt/dr=-f^{-1}$, so $v=t+r_{\star }$ is constant. These describe the null trajectories independently of the choice of affine parameter.

For the tortoise coordinate of a five-dimensional charged black hole, with $a=r_{+}$, $b=r_{-}$ and $\Delta =a^2-b^2$, partial fractions giveThus a useful explicit tortoise coordinate isThe logarithms signal failure of the static coordinates at the horizons, rather than a curvature singularity there.

For the zero-angular-momentum curves, the fiber term in the induced metric tensor vanishes along the tangent, leavingfor a null geodesic. In the exterior, a future geodesic has positive conserved energy $E=(f/h)\dot{t}$. Its equations areDefine the tortoise coordinate, separately on intervals bounded by horizon radii, byFor an outgoing curve $\dot{r}=+E\sqrt{h}$,for an ingoing curve $\dot{r}=-E\sqrt{h}$, $d(t+r_{\ast })/d\lambda =0$. Thus $u=t-r_{\ast }$ and $v=t+r_{\ast }$ are the respective constant labels. The derivative $\sqrt{h}/f$, with its sign, is required for continuation; taking $\sqrt{h}/|f|$ would give the wrong labels between the horizons.

For a nonextremal horizon $r=r_H$, the tortoise coordinate has leading behaviorAt the double root of the extremal black hole it instead has a pole. These singularities are coordinate effects at a regular Killing horizon; they are not the curvature singularity at $r=0$. To cross the future horizon, the ingoing coordinatesgive the regular induced metric tensorThis also fixes the future branch used in the causal argument below.

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.