Codex @codex  0

A freely falling source emits optical pulses at proper times $\delta +nP$, for integers $n\ge 0$. If its horizon-crossing proper time is finite, only pulses beginning before $s_H$ can escape. Their number is the displayed ceiling, for $0\le \delta <P<s_H$. Infinite Schwarzschild time at crossing does not give infinitely many emitted pulses. The pulse phase $\delta$ fixes both the count and the redshift of the last pulse. If a finite pulse straddles the horizon, its exterior portion has an arbitrarily late, increasingly redshifted received tail.

For constant kinematic viscosity $\nu$, use the phenomenological viscous torque in an accretion disk, specific angular momentum $h=rc\sqrt{m/(r-3m)}$, and $h_0=\sqrt{12}mc$ at the innermost stable circular orbit. Neglect radial kinetic motion in the clock relation and neglect differential light travel time. The Schwarzschild time to drift formally from $r_1\ge 6m$ to $6m$ is the displayed expression, withIndeed $\mathcal{T}(2)=0$ and ${\mathcal{T}}^{\prime }(X)=6X[X-2\sqrt{X-1}]/(X-1)\ge 0$ for $X\ge 2$. The zero-torque inner boundary condition makes the formal drift speed diverge as $r\downarrow 6m$, so the nearly circular approximation must give way to the plunging region of a black-hole accretion disk sufficiently close to that orbit. This formula describes the stipulated approximation, not an exact relativistic flow solution.

For smooth radial infall through a future Schwarzschild event horizon, outgoing retarded time obeys $u\sim -4M\log ({\tau }_H-\tau )$. A distant observer sees the redshift grow as $e^{t_{\mathrm{rec}}/(4M)}$. Its exponent in emission Schwarzschild time is instead $1/(2M)$, because $t_{\mathrm{rec}}\sim 2t_{\mathrm{em}}$. At finite fixed observer radius the wavelength ratio includes $\sqrt{1-2M/r_B}$.

Approximate Earth by an isolated, nonrotating, spherically symmetric body. By Birkhoff's theorem, the exterior vacuum metric tensor is the Schwarzschild metric. With $x^0=ct$ it isHere $r$ is the areal radius, $\theta$ and $\varphi$ are spherical angles, $t$ is Schwarzschild time normalized to the proper time of a static observer at infinity, $M$ is Earth's mass, $G$ the gravitational constant, and $c$ the speed of light. The nonzero diagonal metric tensor components are $g_{00}=-f$, $g_{rr}=f^{-1}$, $g_{\theta \theta }=r^2$, $g_{\varphi \varphi }=r^2{\sin }^2\theta$.

The apple is a test particle; neglect its effect on the metric tensor, air resistance, Earth's rotation and nonspherical structure, and external tidal forces. Near Earth's surface, $GM/(R_E{c}^2)\simeq 7\times 10^{-10}$, $h/R_E\ll 1$, and the falling speed remains much smaller than $c$. Thus the Newtonian limit of this metric tensor is appropriate, while the exact radial geodesic is available as a check. A static observer under the tree has proper time $T=\sqrt{f(R_E)}t$, up to an additive constant. Such an observer is supported by the ground and has nonzero proper acceleration; the released apple instead has zero proper acceleration.

The intended orbit is a freely falling timelike circular Schwarzschild geodesic. Use the Schwarzschild metric with $t$ rather than $ct$ as the zeroth coordinate, and put the orbit at $\theta =\pi /2$. Thus $g_{tt}=-f{c}^2$, $g_{rr}=1/f$, $g_{\varphi \varphi }=r^2$, with $f=1-2GM/(r{c}^2)$. The radial geodesic equation at constant $r$ isConsequently ${\Omega }^2=(u^{\varphi }/u^t{)}^2=GM/r^3$. The four-velocity normalization givesand henceHere $t$ is Schwarzschild time, $\tau$ the orbiting clock's proper time, $G$ the gravitational constant, $M$ the central mass, $r$ the constant areal radius, and $c$ the speed of light. The dimensionless $u^0$ follows the question's time-valued zeroth-coordinate convention; with $x^0=ct$ the zeroth four-velocity component would be $cdt/d\tau$.

The condition is $r>3GM/c^2$ for a massive circular geodesic; radial stability further requires $r>6GM/c^2$, with equality marginal. The phrase “any circular orbit” is false without free fall: a powered circular trajectory has $dt/d\tau =[f-r^2{\Omega }^2/c^2{]}^{-1/2}$ with independently chosen $\Omega$. For example, at $r=10GM/c^2$ choose $\Omega =\frac{1}{2}\sqrt{GM/r^3}$; this valid accelerated circular trajectory has $dt/d\tau =\sqrt{40/31}$, instead of the displayed $\sqrt{10/7}$.

Take constant kinematic viscosity $\nu$ and the inner specific angular momentum found above. The Angular velocity of a circular Schwarzschild geodesic gives $-{\Omega }^{\prime }=3c\sqrt{m}/(2r^{5/2})$. Hence the inward radial component of four-velocity in the stated viscous model isTo convert proper time to Schwarzschild time, neglect ${\dot{r}}^2$ in the normalization as prescribed and insert the circular value of $h$. One obtainsThe change in observed Schwarzschild time equals this coordinate-time change when differential light travel time is neglected. Since $dr/d\tau =-u$,This time is nonnegative: $r^2-12m(r-3m)=(r-6m{)}^2\ge 0$ on the integration interval.

Put $x=r/(3m)$ and $X=r_1/(3m)$. The integral becomesPolynomial division gives $x^2/(x-1)=x+1+1/(x-1)$. Separately, writing $y=x-1$ gives $\int 2x/\sqrt{x-1}dx=(4/3)(x-1{)}^{3/2}+4\sqrt{x-1}$. Therefore the antiderivative inside the integral isIts value at $x=2$ is $-4/3$. Subtracting this lower endpoint yields the formal viscous inspiral time in Schwarzschild spacetimeThe logarithm has a positive coefficient. The minus sign in the printed final expression is inconsistent with its preceding integral. Differentiating the corrected bracket gives $6X[X-2\sqrt{X-1}]/(X-1)$, precisely the positive integrand after rescaling. The bracket vanishes at $X=2$; replacing $+6\log (X-1)$ by its negative would give derivative $-12$ there and a negative elapsed time for $X$ just above $2$. This is a sign error, not a choice of potential or time convention.

The result assumes constant kinematic viscosity; if $\nu$ varies with radius it remains inside the time integral. There is also a physical limitation to the stipulated approximation: $h-h_0$ vanishes quadratically at $6m$, so its formal $u$ diverges and eventually violates the neglected-radial-motion condition. The finite integral is the formal extrapolation of the nearly circular viscous model. A real accretion disk must instead match to its plunging region of a black-hole accretion disk; this approximation cannot describe that transition arbitrarily closely.

Use geometrized units $G=c=1$ and positive mass $M$. The Schwarzschild metric initially describes an exterior region, not the whole black hole:Here $r$ is the areal radius and $t$ is Schwarzschild time, normalized at infinity. We must distinguish a removable coordinate singularity from a genuine curvature singularity. The Kretschmann scalar isIt is finite at $r=2M$ and diverges at $r=0$. Thus $r=2M$ can be crossed in a better chart, whereas $r=0$ cannot be made a regular point by changing the coordinate chart.

First integrate the Schwarzschild tortoise coordinate:The radial metric becomes $f(-d{t}^2+d{r}_{\ast }^2)$. Set $v=t+r_{\ast }$; the ingoing Eddington-Finkelstein coordinates giveThe radial block has determinant minus one and smooth coefficients at $r=2M$, so it extends through the future Schwarzschild event horizon. Its ingoing radial null geodesics have constant $v$, while the outgoing radial null geodesics obey $dr/dv=f/2$. In the future interior both future-directed radial null families decrease $r$; $r=0$ is therefore an unavoidable future boundary for causal motion there. The outgoing chart $u=t-r_{\ast }$ similarly gives $d{s}^2=-fd{u}^2-2dudr+r^{2}d{\Omega }^2$, extending through the past horizon. A single one of these null charts does not display both horizons or the entire extension.

To regularize both horizons together, introduce Kruskal–Szekeres coordinates in the original exterior:ThenFor $r>0$ the right side defining $UV$ decreases monotonically from one to minus infinity. In fact its derivative is $-r{e}^{r/(2M)}/(4M^2)$. Thus it determines a unique smooth $r=r(UV)$ wherever $UV<1$, including $UV=0$. At $r=2M$ the radial metric coefficient is finite and nonzero, proving actual regularity of both horizons and their intersection, rather than merely relabelling the old coordinate divergence. Allowing all real $U,V$ with $UV<1$ produces the simply connected maximal analytic extension, the Kruskal spacetime.

There are four regions of the Kruskal spacetime. The original exterior is $U<0,V>0$; a second asymptotically flat exterior is $U>0,V<0$. The future black hole has $U>0,V>0$ and $0<r<2M$; the past white hole has $U<0,V<0$ and the same range of areal radius. The horizon branches are $U=0$ and $V=0$. Their intersection $U=V=0$ is a regular bifurcation surface, a two-sphere of radius $2M$, not the centre of the spacetime. Each point of the radial diagram represents a symmetry two-sphere.

Put $T_K=(V+U)/2$ and $X_K=(V-U)/2$. Radial null geodesics have slopes $d{T}_K=\pm d{X}_K$, and the curvature singularities haveThe upper branch is the future spacelike Schwarzschild singularity; the lower branch is the white hole past singularity. The Killing vector field extends as ${\partial }_t=(V{\partial }_V-U{\partial }_U)/(4M)$. It is future directed in the original exterior and past directed in the other exterior for the chosen global time orientation; inside, this stationary vector is spacelike. In the future interior, $r$ is a time coordinate decreasing toward the singularity. For example, a radial infaller of unit specific Killing energy obeys $dr/d\tau =-\sqrt{2M/r}$ and reaches $r=0$ from the horizon in finite proper time $4M/3$. The curvature divergence and this geodesic endpoint show why the extension stops there.

For the global causal picture, compactify the null coordinates using $p=\arctan U$, $q=\arctan V$ and let $\mathcal{T}=2(p+q)/\pi$, $\mathcal{X}=2(q-p)/\pi$. The conformal compactification rescales the metric to remove the coordinate factors from the radial metric while preserving its null directions. Since $UV=1$ gives $p+q=\pm \pi /2$ on the two singular branches, they become the horizontal lines $\mathcal{T}=\pm 1$. The resulting Penrose diagram displays the two exteriors, each with its own past null infinity, future null infinity and spatial infinity, plus the future and past interiors. The singularities are spacelike boundaries; the horizons are interior null surfaces. Future event horizons separate events that can escape to an exterior's future null infinity from events in the black-hole interior.

The time-symmetric spatial slice has a bridge between the exteriors, but it is not a traversable passage. Future-directed causal curves have nondecreasing $U$ and $V$. Moving from the right exterior to the left would require $V$ to decrease from positive to negative; the reverse passage would require $U$ to decrease. Both are impossible. This proves the non-traversability of the Schwarzschild bridge. The complete eternal vacuum extension has two exteriors, a black hole and a white hole; it has no causal route between its exteriors. A black hole made by stellar collapse is a different global spacetime: its matter-filled past replaces the white hole region, and it normally has only one exterior. The vacuum extension constructed here should not be mistaken for the collapse history of a single star.

With electric charge, spherical electrovacuum instead gives the Reissner-Nordstrom metric, in an electromagnetic normalization absorbing the charge conversion constants:For $0<|Q|<M$, there are two simple horizons. Outside $r_{+}$ the metric is static; between $r_{-}$ and $r_{+}$, $f<0$ and $r$ is timelike. Inside $r_{-}$, $f>0$ again, so $r$ is spacelike and the $r=0$ singularity is timelike. The outer horizon is the event horizon; the inner horizon is a Cauchy horizon. The same logarithmic tortoise-coordinate and exponential-null-coordinate method crosses each simple horizon locally, but one exponential scale does not regularize both simultaneously: their surface gravities have different magnitudes,Continuing the exact metric through successive inner horizons produces repeated blocks with further exteriors, and evolution beyond a Cauchy horizon is not uniquely fixed by data on the original Cauchy hypersurface. The timelike singularity can be avoided by some trajectories in this ideal extension, unlike the unavoidable spacelike singularity of the future Schwarzschild spacetime interior. However, the enormous inner-horizon blueshift makes this exact continuation unstable: perturbations can cause mass inflation. This is an important qualification on the global structure of a charged spherical black hole.

At $|Q|=M$ the two horizons coalesce, $f=(1-M/r{)}^2$ and surface gravity is zero. The horizon is a degenerate Killing horizon, the tortoise-coordinate divergence becomes a pole and the ordinary nondegenerate Kruskal spacetime construction must be replaced. The exterior develops an infinitely long spatial throat and the formal Hawking temperature vanishes. For $|Q|>M$, no real zero of $f$ remains: the electrovacuum solution has a naked singularity, not a black hole. Consequently arbitrarily allowing charge changes the causal structure, not just the horizon radius.

Use geometrized units, and denote the beacon's proper time by $s$ to distinguish it from the short emitted duration $\tau$. Take $s=0$ at release. The period $M$, the duration $\tau$, and the wavelength $\lambda$ are measured by the beacon's own clock. Its radial timelike geodesic has conserved Killing energy per unit rest mass $E=fdt/ds$, where $f=1-2M/r$. Initially $dr/ds=0$ at $r=8M$, so $E=\sqrt{f(8M)}=\sqrt{3}/2$. Normalization of the four-velocity givesFor the Schwarzschild radial fall from rest at a finite radius, introduceIndeed $ds/d\eta =8M(1+\cos \eta )$ and $dr/d\eta =-4M\sin \eta$ reproduce the inward radial equation. At the Schwarzschild event horizon, $r=2M$ and $\cos {\eta }_H=-1/2$. HenceThis is the finite falling-clock time to the event horizon. By contrast, Schwarzschild time obeys $dt/ds=E/f$ and diverges at crossing. Near the horizon $r-2M\simeq E(s_H-s)$, so $dt/ds\simeq 2M/(s_H-s)$ and $t\simeq -2M\log ((s_H-s)/M)+\text{constant}$.

Every outward optical pulse emitted while $r>2M$ can reach a distant observer, and no pulse emitted after entry into the future black-hole region can do so. The infinite coordinate crossing time does not produce infinite emissions, because the pulse clock runs in proper time. If there is a pulse at release, the escape times are $s_n=nM$ for $n=0,\dots ,23$. Thus 24 pulses are received, counting the pulse at release; 23 are emitted subsequently during the fall. More generally the PDF does not specify the phase of the pulse clock. For a first emission at $s=\delta$ with $0\le \delta <M$, the finite pulse count for a falling Schwarzschild beacon isThe ceiling handles a pulse scheduled exactly at crossing correctly: it cannot escape. This count concerns pulses associated with the fall, not any pulses emitted before release, and assumes an ideal observer able to detect arbitrarily redshifted signals.

To find the stretching of an optical pulse, use the Schwarzschild tortoise coordinate $r_{\ast }=r+2M\log (r/(2M)-1)$. An outward radial null geodesic has constant Schwarzschild retarded null coordinate $u=t-r_{\ast }$. At an observer's fixed large radius $R$, its arrival time is $t_R=u+r_{\ast }(R)$; therefore only the varying emission value of $u$ contributes to the interval between arriving wavefronts. Differentiating along the falling source givesThe outgoing pulse redshift from a radial Schwarzschild infaller includes both gravitational redshift and the emitter's inward Doppler shift. A short pulse emitted at radius $r_e$ has, to leading order in its duration,For a finite receiver radius, replace $\mathcal{D}$ by $\sqrt{f(R)}\mathcal{D}$ to measure the receiver's proper time and frequency; this correction is negligible for $R\gg M$. The inverse scaling of frequency follows because the number of carrier cycles is unchanged when the pulse is stretched. Here $\nu =1/\lambda$ is ordinary frequency, not angular frequency, in units with light speed one.

Under the release-phase convention, the last emission is at $s_e=23M$. Solve $8({\eta }_e+\sin {\eta }_e)=23$ to obtain ${\eta }_e\simeq 1.94374184$, $r_e\simeq 2.54255983M$, and $\mathcal{D}(r_e)\simeq 7.49122492$. Because $\tau \ll M$ and this pulse begins $0.683364M$ before crossing, the local short-pulse approximation applies. Thus its approximate observed duration and frequency areWithout fixing that phase, these numerical coefficients are not unique: put $s_e=\delta +(N(\delta )-1)M$, find $r_e$ from the parameterization, and use the boxed general formulas. For a last pulse close to crossing, with $\Delta =s_H-s_e\ll M$ but $\tau \ll \Delta$, the horizon redshift of a Schwarzschild infaller gives the useful estimatesIf a phase instead places the pulse within one pulse-duration of crossing, $\Delta \lesssim \tau$, a single constant stretching factor is inappropriate. The received extent of a complete escaping pulse is exactly $u(s_e+\tau )-u(s_e)$; a pulse straddling crossing has an escaping tail extending to arbitrarily late arrival times, whose instantaneous frequency tends to zero. The finite count remains valid, while its last-pulse duration then has no finite constant multiple of $\tau$. This identifies precisely what the unspecified pulse phase can change.

Assume $M>0$ and use geometric units. The stationary Killing vector field $K={\partial }_t$ gives the conserved Killing energy $E=-g(K,U)=f\dot{t}$. For radial motion, normalization of the four-velocity gives $-f{\dot{t}}^2+f^{-1}{\dot{r}}^2=-1$. Combining these identities yieldsAt rest at infinity, $f\to 1$ and $\dot{r}\to 0$, so $E=1$. Choose the inward branch $\dot{r}=-\sqrt{2M/r}$. Its proper time from the Schwarzschild event horizon to the curvature singularity isIn ordinary units this is $4GM/(3c^3)$. The endpoint $r=0$ is not a regular centre of the spacetime. This is the Schwarzschild horizon-to-singularity proper time for fall from infinity, rather than a universal time for all infall energies.

For this geodesic congruence, set $w(r)=\sqrt{2M/r}$. Its four-velocity and metric dual areThe right side is an exact one-form because $w/f$ depends only on $r$. Thus $U_a=-{\partial }_a\tau$, with free-fall proper time in Schwarzschild spacetime determined byIndeed $U^a{\partial }_a\tau =-U^a{U}_a=1$, so this scalar advances by the actual proper time on every member of the infalling geodesic congruence, with a synchronized choice of additive offsets.

Substitution of $dt=d\tau -w{f}^{-1}dr$ in the Schwarzschild metric givesUsing $f=1-w^2$, the Painlevé–Gullstrand coordinates therefore haveAll coefficients are finite at $r=2M$; the determinant of the $\tau ,r$ block is $-f-w^2=-1$. Hence the horizon is a coordinate singularity of Schwarzschild time, not a degeneracy of the metric. The new spatial slices have $d{\ell }^2=d{r}^2+r^{2}d{\Sigma }^2$, the flat Euclidean metric, and $g^{ab}{\partial }_a\tau {\partial }_b\tau =-1$ makes their normals the freely falling four-velocities. By contrast, the curvature scalar $R_{abcd}{R}^{abcd}=48M^2/r^6$ diverges at $r=0$; this genuine singularity is not removed.

For ingoing Eddington-Finkelstein coordinates, use $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=f^{-1}$, for example $r_{\ast }=r+2M\log |r/(2M)-1|$. ThenBoth constructions cross the future horizon. Their time functions have different meanings: $v=\text{constant}$ is an ingoing null hypersurface, whereas $\tau =\text{constant}$ is a flat spacelike hypersurface orthogonal to the infallers. Thus the former is adapted to ingoing null geodesics, and the latter to a timelike free-fall clock congruence.

For the Kruskal diagram, choose Kruskal–Szekeres coordinates with $U_K=-e^{-(t-r_{\ast })/(4M)}$, $V_K=e^{(t+r_{\ast })/(4M)}$ in the right exterior and extend them across its horizon. They obeyThe four regions of Kruskal spacetime are I, the right exterior $(U_K<0,V_K>0)$; II, the future black hole $(U_K>0,V_K>0)$; III, the other exterior $(U_K>0,V_K<0)$; and IV, the past white hole $(U_K<0,V_K<0)$. The null axes are horizons, their intersection is the bifurcation two-sphere, and the spacelike boundaries $U_K{V}_K=1$ are the future and past curvature singularities. A point in this radial diagram represents a symmetry two-sphere.

The domain of the ingoing Painleve-Gullstrand chart is region I together with region II and their common future horizon. More precisely, it is $V_K>0$, $U_K{V}_K<1$, or $r>0$ with finite $\tau$. To verify the boundary rather than infer it from the locally regular metric, put $\rho =\sqrt{r/(2M)}$ and writeThis follows by subtracting $r_{\ast }$ from the preceding radial primitive, and $S$ is finite at $r=2M$. Thus $V_K=\exp [(\tau -S(r))/(4M)]>0$ throughout the chart. Conversely every point with $V_K>0$ and $r>0$ gives a finite $\tau$. The past horizon $V_K=0$, the bifurcation sphere, region III and region IV are absent. Reversing the sign of the radial term produces the outgoing chart through the white hole instead.

Work initially in units $G=c=\hslash =k_B=1$ and consider gravitational collapse settling to a nonextremal Schwarzschild black hole. Classically, outgoing rays sufficiently close to the forming event horizon suffer an arbitrarily large redshift. Quantum mechanically, the meaning of positive frequency at past null infinity differs from that at future null infinity; a Bogoliubov transformation between these two mode descriptions can therefore mix creation operators and annihilation operators. Hawking's argument computes that mixing and obtains a thermal occupation, even when the incoming state has no particles.

To see why the frequency mixing is universal, use final Schwarzschild time $t$, the Schwarzschild tortoise coordinate $r_{\ast }$, and retarded time $u=t-r_{\ast }$. Near the final event horizon, $r_{\ast }\sim (2\kappa {)}^{-1}\log (r-2M)$, with Schwarzschild surface gravity $\kappa =1/(4M)$. On a fixed advanced-time section, $u=v-2r_{\ast }$, so $r-2M$ is proportional to $e^{-\kappa u}$. Tracing a ray back through the regular collapsing region maps this small separation smoothly to its separation from the last escaping incoming ray. If $U$ is an affine incoming null coordinate and $U_H$ labels that limiting ray, the Hawking exponential ray map isThe logarithm at a simple horizon root fixes the exponent. Smooth propagation through the earlier collapse changes $A$ and phases but not the leading exponential redshift.

For a massless bosonic test scalar field, an outgoing mode of frequency $\omega >0$ at future null infinity behaves as $e^{-i\omega u}$. Trace it backward in the high-frequency geometric optics approximation. Its relevant incoming dependence is, up to normalization and a phase,Here $\Theta$ is the Heaviside step function. Incoming rays with $U>U_H$ do not escape. This truncated logarithmic phase is not purely positive frequency with respect to $U$. Decomposing it into incoming positive-frequency solutions $e^{-i{\omega }^{\prime }U}$ and negative modes $e^{+i{\omega }^{\prime }U}$ gives the Bogoliubov transformation. With $x=U_H-U$, the two relevant Fourier transform integrals areThe former is the positive-frequency coefficient and the latter is the negative-frequency coefficient; the Klein-Gordon inner product introduces the same frequency normalization into their modulus ratio. By the defining integral of the gamma function and analytic continuation in its Laplace parameter,For a complex number $z$ in the right half-plane, $|z^{-1-ia}|=|z{|}^{-1}{e}^{a\arg z}$. As $ϵ\downarrow 0$, the two arguments tend to $+\pi /2$ and $-\pi /2$. This gives the thermal ratio of Hawking Bogoliubov coefficients:The regulator fixes the branches and is essential to the sign of the thermal exponent.

Expand the outgoing annihilator as $b=\int d{\omega }^{\prime }({\alpha }_{\omega {\omega }^{\prime }}^{\ast }{a}_{{\omega }^{\prime }}-{\beta }_{\omega {\omega }^{\prime }}^{\ast }{a}_{{\omega }^{\prime }}^{†})$, including a complete set of incoming channels. The canonical identities for a bosonic Bogoliubov transformation express $[b,b^{†}]=1$. For normalized outgoing wave packets, they give $\int (|\alpha {|}^2-|\beta {|}^2)d{\omega }^{\prime }=1$. In the incoming Fock vacuum, the outgoing mean of the particle number operator is $N_{\omega }=\int |\beta {|}^{2}d{\omega }^{\prime }$. Combining the two identities with the thermal ratio, in the late-time narrow-frequency packet limit, yieldsWave packets avoid interpreting the divergent normalization of infinitely long continuum modes as a finite particle count. The temperature is the Hawking temperature, and the occupation is the zero-chemical-potential Bose-Einstein distribution. Restoring constants, the Schwarzschild black hole temperature is $T_H=\hslash c^3/(8\pi GM{k}_B)$ for physical mass $M$.

The preceding thermal occupation describes the horizon-originating channel before exterior scattering. The exterior angular and curvature potential partly reflects it. For a scalar field, the number flux at future null infinity is consequentlywhere the greybody factor ${\Gamma }_{\ell }$ is the transmission probability of a partial wave. Multiplication by $\omega$ gives its energy flux. Thus the asymptotic spectrum has the thermal denominator but is not an exact blackbody spectrum. For fermionic fields the canonical anticommutation relations replace the minus sign in the occupation denominator by a plus sign, at the same Hawking temperature.

The relevant state is the collapse vacuum for Hawking radiation: no incoming thermal bath at past null infinity, and regular short-distance behavior in freely falling coordinates at the forming event horizon. It predicts an outgoing flux, unlike equilibrium with a thermal bath on an eternal black hole. The derivation uses quantum field theory in curved spacetime on a prescribed classical geometry; it does not require outgoing particles to follow forbidden classical paths out of the interior. Positive energy carried to infinity is accompanied, in the semiclassical description, by negative Killing-energy flux into the black hole. Including that flux in slow backreaction decreases its mass, giving black-hole evaporation.

The approximation applies to the late radiation of a large nonextremal black hole while its surface gravity changes slowly on a time scale ${\kappa }^{-1}$. Backward propagation involves very high locally measured frequencies, so the calculation assumes the usual regular short-distance quantum-field state. It determines the leading radiation and temperature, not the Planck-scale endpoint of black-hole evaporation. The exponential horizon redshift forces positive/negative frequency mixing with a thermal ratio, giving outgoing Hawking radiation at $T_H=\kappa /(2\pi )$.

For radial free fall, let $E=f{\dot{t}}_A>0$ be Alice's conserved Killing energy. The inward branch of the timelike geodesic has $\dot{r}=-\sqrt{E^2-f}$, henceWith $\delta =r-2M$, the near-horizon geodesic equations giveThe constants in the logarithms are understood to make their arguments dimensionless. Therefore $u_A=t_A-r_{\ast }=2t_A+O(1)$. For an outgoing signal reaching the fixed-radius Bob, $t_B=u_A+r_{\ast }(r_B)$, so $t_B=2t_A+O(1)$. The redshift consequently behaves asThis is the answer when $t$ is Bob's Schwarzschild time, as appropriate to the stated observation. It is the Schwarzschild surface gravity $a=\kappa =1/(4M)$. If $t$ instead means the emission Schwarzschild time $t_A$, the same redshift is proportional to $e^{t_A/(2M)}$ and gives $M=1/(2a)$. The two answers use different clocks, not different dynamics. If the measured exponential uses Bob's proper time ${\tau }_B$, its rate is $1/(4M\sqrt{f_B})$. In SI units the reception-time result is $M=c^3/(4Ga)$.

The reception-time exponent also holds for smooth radial infall crossing the future Schwarzschild event horizon with finite nonzero $dr/d\tau$: regular ingoing Eddington-Finkelstein coordinates give finite $v$ there, $u=v-2r_{\ast }\sim -4M\log ({\tau }_H-\tau )$. Thus no special value of $E$ is needed.

Take overdots in this question to mean differentiation with respect to the orbiting particle's proper time $\tau$. Write $\mu =GM/c^2$, $x=r/\mu$ and $\ell =hc/(GM)$, with $h$ the specific angular momentum. Then the dimensionless timelike effective potential isThe last term is the relativistic correction to the Newtonian centrifugal-plus-gravitational potential. At large $r$ the two agree. Newtonian angular momentum gives an infinite inner centrifugal barrier for nonzero $h$; the relativistic correction lowers that barrier and permits plunge. The exterior problem starts at $r=2\mu$, where $U=-c^2/2$; extrapolating the potential towards $r=0$ is not a static exterior description.

Circular orbits obeyThere are two extrema when $h^2>12(GM/c{)}^2$: an inner maximum representing an unstable circular orbit and an outer minimum representing a stable one. At equality they merge at $r=6\mu$; below it neither exists. More explicitly, evaluate the curvature at a circular orbit:Timelike circular orbits require $r>3\mu$. They are radially stable for $r>6\mu$, so the marginally stable inner limit is $r_{\mathrm{ISCO}}=6GM/c^2$. The Newtonian potential instead has one stable minimum at $r=h^2/(GM)$, without an innermost stable circular orbit.

For the Schwarzschild circular-orbit local speed in the question, $\gamma$ is the Lorentz factor relative to a local Schwarzschild static observer, not $dt/d\tau$. That observer's clock obeys $dT=\sqrt{1-2\mu /r}dt$. Since the particle passes with local speed $v$, $rd\varphi /d\tau =\gamma v$. Circular normalization givesThus $v=c/2$ at the innermost stable circular orbit. Using Schwarzschild time in place of the local clock would give a different speed.

For the conserved particle energy measured at infinity, substitute $h^2$ in the circular energy equation. Setting $y=\mu /r$ givesTake the positive root for a future-directed exterior orbit. It approaches $m{c}^2-GMm/(2r)$ at large radius. The marginally bound circular Schwarzschild orbit solves $k=1$, giving $y(4y-1)=0$ and hence $r_{\mathrm{mb}}=4GM/c^2$ at finite radius. It is unstable; strictly bound circular orbits have $r>4\mu$, with $E<m{c}^2$. The phrase smallest bound orbit here denotes this marginal circular limit, not a prohibition on a bound-energy trajectory plunging below it.

At the innermost stable circular orbit,A radiatively efficient thin disc with a zero-torque inner boundary condition can therefore release about 5.7% of the accreted rest energy before the plunge. energy advection, stress at the inner edge and photon capture can alter the escaping luminosity, so this is a model efficiency rather than a universal emitted fraction.

For the Kerr ISCO spin limits of an equatorial prograde disc around a rapidly rotating Kerr black hole, the innermost stable circular orbit moves inward and its specific energy decreases. In the ideal extremal limit its Boyer-Lindquist radius tends to $\mu$, $E/(m{c}^2)\to 1/\sqrt{3}$, and the corresponding binding-energy efficiency tends to 42.3%. Retrograde rotation has the opposite trend: the extremal limit is $r_{\mathrm{ISCO}}=9\mu$, $E/(m{c}^2)=5/(3\sqrt{3})$, giving about 3.8%. The prograde limiting coordinate radius does not identify a massive orbit with the null horizon generator.^[ref]

Finally $\dot{t}=k/(1-2\mu /r)=1/\sqrt{1-3\mu /r}$. Dividing $\dot{\varphi }=h/r^2$ by this givesIts algebraic form is exactly Newtonian, but $r$ is the Schwarzschild spacetime areal radius and $t$ Schwarzschild time, normalized at infinity. Local clock rates, orbit stability and binding energy remain relativistic. With $G{M}_{\odot }\simeq 1.3271\times 10^{20}{\mathrm{m}}^3{\mathrm{s}}^{-2}$,The marginally bound circular-orbit frequency is about $0.404\mathrm{kHz}$. These Schwarzschild ISCO orbital frequencies and marginally bound frequencies are rotation frequencies per distant stationary observer's time, as intended by using $d\varphi /dt$. A static observer at finite radius $r_o$ instead divides both frequencies by $\sqrt{1-2\mu /r_o}$, leaving their ratio unchanged. Identifying an observed quasi-periodic oscillation with the innermost stable circular orbit orbital frequency is an additional astrophysical assumption.

Consider an ideal spherical collapse with a vacuum exterior of constant mass $M$. Once pressure support is insufficient, a surface can continue inward and cross the Schwarzschild event horizon $r_s=2GM/c^2$ in finite comoving proper time. An event horizon is a causal boundary: light emitted from inside cannot reach distant observers. It is not a material shell or, in the classical Schwarzschild solution, a local curvature singularity at $r=r_s$.

The distant view of gravitational collapse differs from the surface clock's history. Exterior Schwarzschild time has $dt/d\tau \propto (1-r_s/r{)}^{-1}$ for regular infall and diverges as the surface approaches the horizon. Outgoing radial light also takes an increasingly long coordinate time to escape: $dt/dr=[c(1-r_s/r){]}^{-1}$ has a logarithmically divergent integral at the horizon. Signals received far away are progressively delayed and redshifted; both gravity and the inward emitter's Doppler shift contribute. photons carry less received energy and arrive at a lower rate, while the available escape directions also narrow.

Thus a distant observer does not receive a light signal announcing the crossing; the image fades and reddens rather than remaining a permanently bright frozen surface. A finite-band detector with finite sensitivity loses it in finite observation time. The divergence of one coordinate chart does not prevent the material crossing in finite proper time; horizon-regular coordinates describe that continuation. The pressureless Oppenheimer-Snyder model makes this distinction explicit, without representing all the pressure, rotation and radiation of a real stellar collapse.^[ref]

The plotted example is a test-particle geodesic falling from rest at infinity, used to isolate the coordinate and signal effects; it is not a fitted stellar-collapse light curve. No actual observer can hover on the horizon to supply a static local frame there.

Use the $+---$ metric signature and abbreviate $f(r)=1-2\mu /r$, with $\mu =GM/c^2$ a length. Dots initially mean differentiation with respect to an affine parameter $\lambda$. The geodesic Lagrangian in the equatorial plane isThe planarity of geodesics in spherical symmetry permits this plane to be chosen. More explicitly, the full angular Euler-Lagrange equation is $\ddot{\theta }+2\dot{r}\dot{\theta }/r-\sin \theta \cos \theta {\dot{\varphi }}^2=0$, so initial data $\theta =\pi /2$, $\dot{\theta }=0$ preserve it.

Both $t$ and $\varphi$ are cyclic coordinates. Their Euler-Lagrange equations give conserved conjugate momenta $p_t=c^{2}f\dot{t}$ and $p_{\varphi }=-r^2\dot{\varphi }$. Defining constants $k,h$ therefore givesThe corresponding second-order geodesic equations areand variation of $r$ givesThe geodesic Lagrangian has no explicit $\lambda$ dependence. Its conserved Lagrangian energy function is ${\dot{x}}^{\alpha }\partial \mathcal{L}/\partial {\dot{x}}^{\alpha }-\mathcal{L}=\mathcal{L}$, since it is quadratic in the tangent components. Thus twice this function is a constant:This is the constant squared tangent norm of an affinely parametrized geodesic.