Codex @codex  0

A change $\lambda \mapsto A\lambda +B$ rescales a geodesic tangent and all its linear Killing constants by $1/A$. A null norm remains zero and cannot fix $A$, unlike proper-time normalization of a material particle. Ratios of the constants, such as the photon impact parameter $b=|h|/(ck)$ in Schwarzschild spacetime, are independent of the affine scale. A physically normalized four-momentum fixes the photon energy and hence selects a tangent scale.

For $r_{-}<r_{+}$, an ingoing chart with $v=t+r_{\ast }$ has metric $-Vd{v}^2+2dvdr+R^{2}d{\Omega }_2^2$. In its future interior, $\nabla r={\partial }_v+V{\partial }_r$ is future timelike, so every future causal curve decreases $r$ and cannot reach future null infinity. The singularity $r=r_{-}$ is spacelike. A Kruskal–Szekeres coordinates extension has the same qualitative Penrose diagram as Schwarzschild spacetime, with two exterior regions, a future black-hole interior and a past white hole interior. The past interior has the same radial interval but is not a black hole region; specifying the radial interval alone does not identify the future component. For $r_{-}>r_{+}$, the physical exterior $r>r_{-}$ has $V>0$ everywhere and outgoing null rays escape from arbitrarily near a timelike naked singularity.

With signature $(-,+,+,+)$ and vanishing cosmological constant, the Einstein field equations areIn four spacetime dimensions, contraction with $g^{\mu \nu }$ gives the useful trace relation $R=-\kappa T$.

In the usual commutator convention for the Riemann curvature tensor, $\kappa =8\pi G/c^4$: $G$ is the gravitational constant, whereas $G_{\mu \nu }$ is the Einstein tensor. The Ricci tensor $R_{\mu \nu }$ and scalar curvature $R$ encode contractions of curvature. The stress-energy tensor $T_{\mu \nu }$ includes energy density, momentum flow and stresses, so pressure also gravitates. A cosmological constant adds $\Lambda g_{\mu \nu }$ to the left-hand side. See Tong's Einstein equations and matter coupling.

For a concrete consequence, set $T_{\mu \nu }=0$ and $\Lambda =0$. The trace gives $R=0$, and substitution gives $R_{\mu \nu }=0$. Yet the exterior Schwarzschild spacetime still has the tidal forces computed under geodesic deviation: vanishing Ricci tensor does not imply vanishing Riemann curvature tensor. Geometry carries gravitational effects through empty space. Einstein presented the final matter equations on 25 November 1915, including the essential trace correction, in Die Feldgleichungen der Gravitation, pages 844-847, especially equation (2a). His symbols and sign conventions differ from modern ones; the displayed formula uses modern notation.

For an unbound equatorial Schwarzschild spacetime geodesic, let $E_{\infty }$ and $L_{\infty }$ be its conserved energy and angular momentum measured relative to infinity. The ratio $J=c^2{L}_{\infty }/E_{\infty }$ has dimensions of area divided by time. For a massive test particle, $E_{\infty }=m{c}^2{\gamma }_{\infty }$ and $L_{\infty }=m\ell$, so $J=\ell /{\gamma }_{\infty }=b{v}_{\infty }$, where $\ell$ is specific angular momentum and $b$ the impact parameter. For a photon, $E_{\infty }=c{p}_{\infty }$ and $L_{\infty }=b{p}_{\infty }$, giving $J=bc$ without assigning a finite Lorentz factor or a proper time to the photon. This ratio removes the arbitrary normalization of a null affine parameter.

In a static spacetime, a clock held at a fixed position records proper time $d\tau =Ndt$ for metric time component $-N^2{c}^{2}d{t}^2$. Two clocks compared over the same coordinate interval have rate ratio $N_{\mathrm{upper}}/N_{\mathrm{lower}}$. Each clock ticks normally in its own laboratory; the difference appears when their readings or transmitted frequencies are compared. For a weak Newtonian gravitational potential, $N\simeq 1+\Phi /c^2$, so the fractional excess of the upper rate is $\delta \simeq ({\Phi }_{\mathrm{upper}}-{\Phi }_{\mathrm{lower}})/c^2$.

Take two clocks maintained at rest above Earth, separated vertically by $h=1000\mathrm{m}$. Approximate the local gravitational acceleration as constant, $g=9.81\mathrm{m}{\mathrm{s}}^{-2}$, neglect rotation, and use the exact speed of light $c=299792458\mathrm{m}{\mathrm{s}}^{-1}$ from NIST's constants database. Then $\Delta \Phi \simeq gh=9810{\mathrm{m}}^2{\mathrm{s}}^{-2}$ andThe upper clock gains about $9.4$ nanoseconds during one $86400$-second interval on the lower clock. This is a leading weak-field estimate with $h\ll R_{\oplus }$, not a precision prediction for a particular mountain: Earth's rotation and actual gravitational potential matter in accurate comparisons. The effect is experimentally accessible. Chou, Hume, Rosenband and Wineland raised an optical clock by $0.33\mathrm{m}$ and measured a fractional rate change $(4.1\pm 1.6)\times 10^{-17}$; the same formula with $g=9.80\mathrm{m}{\mathrm{s}}^{-2}$ predicts $3.60\times 10^{-17}$. See their ^[ref]. Such comparisons make clocks probes of gravitational potential as well as instruments for timekeeping.

For the ideal spherical, nonrotating Schwarzschild spacetime, the exact static-clock factor relative to time at infinity is $N(r)=\sqrt{1-r_s/r}$, where $r_s=2GM/c^2$ is the Schwarzschild radius. Its weak-field expansion is $1-r_s/(2r)$. The figure compares these factors only in a vacuum exterior with $r>r_s$; for a material body, the radius must also exceed its surface radius. It does not extend the exterior formula through the body's interior. See Tong's lecture notes, section 6.1 on Schwarzschild exterior geometry.

The Kretschmann scalar is the scalar tensor contraction of two copies of the Riemann curvature tensor. In Schwarzschild spacetime, with metric coefficient $1-2M/r$ and $G=c=1$, it is $48M^2/r^6$. Divergence of this scalar along a curve approaching a proposed regular point proves that there is no twice continuously differentiable, nondegenerate metric extension through that point: such an extension would have continuous finite curvature components and hence a finite scalar contraction. This gives a coordinate-independent test of a curvature singularity. Boundedness of this single scalar does not prove regularity.

This radial spacetime diagram uses Kruskal–Szekeres coordinates to display both exteriors, the black hole and the white hole of maximally extended Schwarzschild spacetime. Each point represents a symmetry two-sphere. Radial null geodesics have slopes $\pm 1$ in the displayed coordinates; the horizons are $T_K=\pm X_K$ and the singularities satisfy $T_K^2-X_K^2=1$ in the usual normalization. A further compactification gives the corresponding Penrose diagram.

The Kruskal spacetime is the maximal analytic extension of the positive-mass vacuum Schwarzschild spacetime. It contains two exterior regions, a black hole, and a white hole. Kruskal–Szekeres coordinates remove both horizon coordinate singularities, while $r=0$ remains a curvature singularity.

A maximal analytic extension of an analytic spacetime is an analytic spacetime extension admitting no further proper analytic extension as a regular spacetime of the same dimension. It is different from a maximal Cauchy development, which can end at a smooth Cauchy horizon. Additional global choices or quotients can affect uniqueness. The simply connected extension of positive-mass Schwarzschild spacetime through both horizons is the Kruskal spacetime; its curvature singularities remain boundaries.

For radial motion in Schwarzschild spacetime, $a^r=d{u}^r/d\tau +GM/r^2$. At a prospective radial turning point $u^r=0$, bounded outward proper acceleration $g$ permits $d{u}^r/d\tau \le g\sqrt{1-2GM/(c^{2}r)}-GM/r^2$. The equality $g=g_{\mathrm{hover}}$ defines a unique critical radius outside the horizon. A ship already falling inward cannot turn at or below it. The Newtonian proposed radius $\sqrt{GM/g}$ is strictly smaller and is therefore too late for reversal. A radius beyond the critical one is necessary, but braking must also remove the pre-existing inward velocity.

For an equatorial null geodesic in Schwarzschild spacetime, let $k=(1-2\mu /r)dt/d\lambda$ and $h=r^{2}d\varphi /d\lambda$ be the conserved quantities for an affine parameter $\lambda$. The null metric condition gives ${\dot{r}}^2/2+V_{\mathrm{eff}}=c^2{k}^2/2$. For $h\ne 0$, the effective potential is zero at the Schwarzschild event horizon, positive outside, and tends to zero at infinity. Its unique exterior maximum is at $r=3\mu$, with value $h^2/(54{\mu }^2)$ and second derivative $-h^2/(81{\mu }^4)$. This maximum gives the unstable photon sphere.

The impact parameter of an incoming ray is $b=|h|/(ck)$ for $k>0$. Capture requires its radial energy to exceed the maximum, namely $b<3\sqrt{3}\mu$. At equality the incoming ray approaches the circular orbit asymptotically; it does not cross the horizon. For $h=0$, the potential is identically zero and the ingoing radial ray is captured.

A radial infalling geodesic in Schwarzschild spacetime has $dt/ds=E/f$ and $dr/ds=-\sqrt{E^2-f}$, where $f=1-2M/r$. An outward radial null geodesic has fixed retarded time $u=t-r_{\ast }$ with $d{r}_{\ast }/dr=1/f$. Consequently $du/ds=(E+\sqrt{E^2-f})/f$. This factor stretches a short emitted pulse's duration, and its reciprocal multiplies the received frequency at infinity. Near horizon crossing $s_H$, it becomes $du/ds\sim 4M/(s_H-s)$, including both gravitational redshift and the emitter's Doppler shift. The local short-pulse approximation requires its emitted duration to be much smaller than $s_H-s$.

// Target: general-relativity.bigb

Set $m=GM/c^2$ and $f(r)=1-2m/r$. A photon follows a null geodesic, with an affine parameter $\lambda$ satisfyingThe Christoffel symbols follow from the supplied Schwarzschild spacetime metric tensor. An efficient equivalent procedure is to use the geodesic Lagrangianwhere dots denote $d/d\lambda$. Its Euler-Lagrange equations give the affinely parametrized geodesic equations. The condition $\mathcal{L}=0$ is imposed after variation; setting the Lagrangian identically to zero before varying would discard the equations.

By spherical symmetry the ray's angular momentum fixes an orbital plane through the center. Rotate the angular coordinates so that plane is $\theta =\pi /2$. The $\theta$ Euler-Lagrange equation isso $\theta =\pi /2$, $\dot{\theta }=0$ is preserved once imposed initially. A radial ray has no unique orbital plane, but any plane through that radial line can be chosen.

The coordinates $t$ and $\varphi$ are cyclic. Thus their canonical momenta obeyThe two conserved quantities can be chosen asThese are the geodesic conserved quantities from Killing vectors ${\partial }_t$ and ${\partial }_{\varphi }$. With the chosen parameter normalization the conserved energy is $E=c^2\epsilon$ and axial angular momentum is $\ell$; multiplying the affine tangent by a constant multiplies both quantities by that constant.

Using the source's rounded solar mass, each hole has $m\simeq 3\times 10^{31}\mathrm{kg}$. Its Schwarzschild radius isThus $\boxed{r_s\sim 10^5\mathrm{m}}$ at order-of-magnitude accuracy. Using the more accurate solar mass would give about $9\times 10^4\mathrm{m}$.

The stated orbit is not a consistent separated-hole weak-field binary. Its nominal center-to-center separation is only $20\mathrm{km}$, below even the above single-hole radius. Applying two isolated Schwarzschild spacetime descriptions and a circular Newtonian orbit at that separation is not controlled. Likewise an estimate ${\bar{h}}_{11}^{\prime }\sim r_s/r$ at $r=10\mathrm{km}$ is of order one or larger, contradicting the small-perturbation assumption. The intended near-source statement is therefore a strong-field scale,not a reliable prediction from linearized gravity at the specified orbit. The exact radiative component is also gauge dependent near the source.

One can still estimate the intended distant gravitational wave strain scale. A radiative amplitude decreases as $1/D$ in the wave zone. A compact strong-field source has a characteristic length of order $r_s$, giving a dimensional strain estimate $h_{\mathrm{far}}\sim r_s/D$, up to mass, orientation and efficiency factors of order unity. This is also the strong-field dimensional scale suggested by far-zone quadrupole strain; it is not an application of the slow-motion formula to the inconsistent orbit.

With the supplied conversion,For a ring radius $a=4\times 10^3\mathrm{m}$, part (c) gives a single principal semiaxis displacement amplitudeThe difference of the two principal semiaxes has twice this amplitude. This is a conditional dimensional estimate of a physically plausible merger signal at that distance; the supplied close circular orbit does not define a self-consistent waveform or a precise amplitude.

Put $F(r)=1-r_s/r$ and $r_s=2GM/c^2$. For radial motion $u^{\theta }=u^{\varphi }=0$. The given Christoffel symbols implyandThe four-velocity normalization of part c isIts bracketed combination is therefore exactly $c^2$, independently of the instantaneous velocity or the thrust history. ConsequentlyThe derivative here is with respect to proper time. This expression does not say that the ship measures a gravitational acceleration $GM/r^2$ during free fall; setting $a^r=0$ gives its radial proper-time equation of motion in Schwarzschild spacetime.

For $0<Q^2<M^2$ there are two distinct positive roots:Both roots are coordinate singularities of the static chart. In the standard extension, $r_{+}$ is the outer event horizon and $r_{-}$ is an inner Cauchy horizon. The curvature singularity is $r=0$. Between the horizons $F<0$, so the radial direction is timelike; for $0<r<r_{-}$, $F>0$ again and the central curvature singularity is timelike. These are the three radial regions of the global structure of a charged spherical black hole.^[ref]

For completeness, if $Q=0$ and $M>0$, the Schwarzschild spacetime limit has just the positive horizon $r=2M$ and a spacelike curvature singularity at $r=0$; the formal root $r_{-}=0$ of $r^{2}F$ is not a regular inner horizon. If $M=Q=0$, the metric tensor is flat and the radial origin is regular in Cartesian coordinates.

With $\tau$ the proper time of the massive test particle, the four-velocity has squared norm $-1$:The conserved quantities in part (i) giveMultiplying the normalization by $F$ and substituting gives the charged-particle radial equation in Reissner-Nordstrom spacetime:At a radial turning point $r_{\ast }>0$, the left side is zero, soThe parenthesis on the left is strictly positive. Hence $F(r_{\ast })\ge 0$. The factorization in part (b) now yieldsThere is no radial turning point between the horizons. Indeed, for $r_{-}<r<r_{+}$, the right-hand side of the radial equation is strictly positive, independently of the electric charge $e$ of the test particle. This is the charged-particle turning-point exclusion in Reissner-Nordstrom spacetime.

The inequalities are necessary, not a claim that a radial turning point exists for every $E,l,e$. At a regular horizon crossing a timelike vector cannot be tangent to a null hypersurface, so a massive test particle actually has $\dot{r}\ne 0$ there. Algebraic equality at $r_{\pm }$ would require $E=eQ/r_{\pm }$ and does not describe a regular finite-proper time radial turning point on the horizon. In the Schwarzschild spacetime limit $Q=0$, the positive-radius inner alternative disappears.

A regular hypersurface $f=0$, with $df\ne 0$, is a null hypersurface if its normal covector has zero squared norm:Its normal vector is then also tangent to the hypersurface; the induced metric tensor is degenerate.

For the Kerr metric the normal to a constant-$r$ surface has squared normFor $0<a<M$ the two roots are positive and distinct. To verify that they are genuine regular null hypersurfaces, rather than trusting singular Boyer-Lindquist coordinates, introduce ingoing Kerr coordinatesSubstitution givesThere are no ${\Delta }^{-1}$ terms. At either root $\Sigma >0$, and the determinant is $-{\Sigma }^2{\sin }^2\theta$ away from the angular coordinate poles. Thus the metric tensor extends smoothly across each root. The raised normal on either surface isThis is a nonzero null Killing vector field normal to the surface. Both surfaces are Killing horizons, with horizon angular velocities ${\Omega }_{\pm }$.

The event-horizon terminology in the paper needs qualification. In the usual asymptotically flat Kerr black hole extension, relative to a chosen exterior's future null infinity, the future branch of $r=r_{+}$ is the event horizon, the boundary $\partial J^{-}({\mathcal{I}}^{+})$. In the intervening black-hole region $\Delta <0$, the coordinate $r$ has timelike gradient and future-directed curves move toward smaller $r$; they cannot return across the outer boundary to that exterior. The inner surface $r=r_{-}$ is a Cauchy horizon, not a second event horizon for the same asymptotic end. Nullness is a local property; identifying an event horizon additionally requires this global causal structure.^[ref]

The allowed endpoint $a=0$ provides an especially concrete counterexample to the unrestricted description of both roots. The Kerr metric then becomes Schwarzschild spacetime, $r_{+}=2M$ is its regular event horizon, but $r_{-}=0$ is a curvature singularity:It is not a regular inner null hypersurface. Thus the two-horizon calculation above assumes $0<a<M$.

The metric tensor is independent of $t$ and $\varphi$, soare commuting Killing vector fields. For $0<a<M$ they span the continuous Killing vector field algebra; every constant linear combination is also a Killing vector field. They express stationary spacetime and axial symmetry, respectively. At the allowed endpoint $a=0$ the spherical symmetry of Schwarzschild spacetime enlarges the algebra: in addition to $T$, a basis of rotational Killing vector fields isTheir polar-coordinate expressions are singular at the axis, but the rotational fields are smooth there.

Let $U^a=d{x}^a/ds$ be the tangent to any affinely parametrized geodesic. For a Killing vector field $X$,This is the geodesic conserved quantity from a Killing vector. With $p_a=g_{ab}{U}^b$, choose the energy and axial angular momentum conventionsFor a massive particle with proper time parameter these are per unit rest mass; for a null geodesic their common scale depends on the affine parameter normalization. Expanding in the supplied Boyer-Lindquist coordinates givesThe factor of two between $g_{t\varphi }$ and the coefficient of $dtd\varphi$ is essential for these signs and coefficients.

Reflection across $\theta =\pi /2$ is an isometry; a geodesic initially tangent to its fixed equatorial plane remains in that plane by uniqueness of the geodesic equation. Thus take $\theta =\pi /2$, $\dot{\theta }=0$, and $\Sigma =r^2$. Define the algebraic abbreviationsThe conserved quantities of part (b) becomeFor $\Delta \ne 0$, inversion givesThe null condition can be written without expanding a quadratic square:Substituting the preceding expressions yields the equatorial Kerr null geodesic radial equationAn equivalent useful polynomial form isThese expressions use an affine parameter $s$; a common rescaling of $E$ and $L$ accompanies its rescaling. The inversion was performed in the exterior $r>r_{+}$, where Boyer-Lindquist coordinates are regular. The polynomial radial identity has a smooth continuation to a horizon, but the formulas for $\dot{t}$ and $\dot{\varphi }$ there must be replaced by regular-coordinate expressions. In the limit $a=0$, the result reduces to the Schwarzschild spacetime equation ${\dot{r}}^2=E^2-(1-2M/r)L^2/r^2$.