Codex @codex  0

A radio pulsar is a rapidly rotating, magnetized neutron star whose emission beam periodically crosses the line of sight. Collapse of a massive stellar core can leave such a compact remnant. Angular-momentum conservation during contraction helps explain rapid rotation, while amplified magnetic fields and a plasma-filled magnetosphere enable particle acceleration and beamed emission. The pulses are not repeated stellar contractions. Not every newborn neutron star is seen as a radio pulsar, because emission, beaming and observational selection matter.

rotation supplies energy to radiation and the magnetized wind. With approximately constant moment of inertia $I$,An ideal fixed magnetic-dipole torque has $\dot{\Omega }=-K{\Omega }^3$. Its integration givesso the pulsar characteristic age ${\tau }_c=P/(2\dot{P})$ approximates the true age only for a short birth period, constant torque coefficient and braking index three. Real magnetospheres, field evolution and kinematic contributions to observed $\dot{P}$ complicate both age and inferred magnetic field.

As the star spins down, the available accelerating potential falls. If particle acceleration and pair production can no longer sustain the radio-emitting magnetosphere, the object crosses a model-dependent pulsar death line and ceases to be detectable as an ordinary radio pulsar. It still exists as a cooling neutron star; “death” refers to the emission state, not disappearance of the star. The death boundary is not a precisely universal spin period.

In a surviving binary, later Roche-lobe overflow from a companion can create an accretion disc. Transferred angular momentum spins the old neutron star up, and the accretion luminosity can produce an X-ray binary. Long accretion episodes can produce millisecond rotation, commonly accompanied by a smaller inferred external magnetic field. After mass transfer declines, the radio pulsar can switch on again as a recycled pulsar, often with a white dwarf companion. Other binary histories can leave a second neutron star, an ablated companion or an isolated recycled object; there is no single obligatory evolutionary sequence.

A direct observational bridge is the coherent approximately $2.49\mathrm{ms}$ X-ray pulsation discovered with RXTE in SAX J1808.4-3658, an accretion-powered binary. It demonstrated an accreting neutron star rotating at a rate appropriate to recycled millisecond radio pulsars.^[ref] Timing analysis must correct orbital Doppler shifts, telescope and solar-system timing, and instrumental aliases. Radio dispersion, sky coverage and beaming selection affect demographic inferences. The sequence is rotational pulsar spin-down, possible loss of radio activity, and possible accretion-driven recycling—not a necessary path for every neutron star.

mass from motion. A resolved Keplerian orbit gives $M=4{\pi }^2{a}^3/(G{P}_{\mathrm{orb}}^2)$ when the orbiting object has negligible mass. At the Galactic centre, repeated infrared astrometry and spectroscopy measure sky motion, acceleration and line-of-sight velocity of stars around Sagittarius A*. Resolving a compact enclosed mass and fitting complete orbits avoids reliance on a single projected velocity. Source confusion, reference-frame stability, distance, inclination and possible extended mass must be included in the fit.^[ref]

For an unresolved stellar-mass binary in a circular orbit, the donor's velocity semiamplitude $K_2$ and orbital period give the binary mass functionIt provides a lower mass bound; donor mass and orbital inclination are needed for an actual mass estimate. For an eccentric orbit, multiply the observational combination $P_{\mathrm{orb}}{K}_2^3/(2\pi G)$ by $(1-e^2{)}^{3/2}$ when evaluating the binary mass function. Resolved gas or maser rotation and stellar-dynamical models also measure masses, provided pressure support, noncircular motion and line-of-sight projection are modeled. Resolving the black-hole sphere of influence improves separation of central mass from the host galaxy.

For active nuclei, reverberation mapping measures a lag $\tau$ between variable continuum and broad-line response. With a line velocity scale $\Delta v$,The factor $f_{\mathrm{geom}}$ accounts for geometry and kinematics and is not known simply from the lag. Cadence, line responsivity, inclination and winds require control. Rapid variability demonstrates compactness but is not by itself a unique mass measurement.

black-hole spin from strong-field emission. Define $a_{\ast }=cJ/(G{M}^2)$. Large-radius Keplerian motion is principally a mass probe and usually insensitive to black-hole spin. In the Kerr model, the radius and binding energy of the innermost stable circular orbit vary with $a_{\ast }$ and orbital orientation, making inner-disk radiation useful.

black-hole continuum fitting infers an inner emitting radius from the disk's thermal spectrum and flux normalization, then identifies it with the innermost stable circular orbit in a relativistic thin-disk model. Independent mass, distance and inclination, together with atmospheric spectral hardening, absorption and contamination, are needed. Spectra should be selected in a disk-dominated regime where truncation and strong advection are limited. A 2011 Cygnus X-1 analysis combined such spectra with independently constrained binary parameters and reported a near-extreme black-hole spin conditional on black-hole spin–orbit alignment and its disk model.^[ref]

black-hole reflection spectroscopy instead models a relativistically broadened iron-line and reflection continuum: orbital Doppler shifts and beaming broaden the profile, while gravitational redshift contributes to the extended red wing. Its innermost emitting radius can constrain black-hole spin if reflection extends to the stable inner edge. Ionization, abundance, absorption, coronal illumination, disk thickness and possible truncation are competing parameters; a broad line is not a direct black-hole spin reading independent of these assumptions. Timing or precession models can add information but introduce their own dynamical identification.

mass is principally inferred from gravitating dynamics; black-hole spin is inferred from strong-field effects with a specified spacetime and accretion model. Agreement between independent methods is especially valuable because disk inner radius, inclination and radiation-transfer assumptions can otherwise mimic a change of black-hole spin.

In general relativity, light follows null geodesics. A weak gravitational field outside an isolated spherical mass gives the Schwarzschild light deflectionfor impact parameter $b\gg GM/c^2$. At the solar limb this is approximately $1.75$ arcseconds. A Newtonian corpuscular calculation gives half this value; the full result depends on spatial curvature as well as the gravitational time dilation. The parametrized post-Newtonian formalism predicts $\alpha =2(1+{\gamma }_{\mathrm{PPN}})GM/(b{c}^2)$, with ${\gamma }_{\mathrm{PPN}}=1$ in general relativity.

The Eddington experiment compared photographic star positions near the eclipsed Sun with reference exposures taken without the Sun in that field. Rays bend toward the Sun, but their backward extrapolations place the apparent stellar images farther from it. Plate scale, focus changes, atmospheric refraction and comparison-field alignment must be separated from a radial displacement proportional to $1/b$. The original report discusses the instruments, plate reductions and competing predicted deflections; the test is a quantitative comparison with uncertainty, not a unique proof of a gravitational theory.^[ref]

radio interferometry permits an independent test without an eclipse. A 2005 Very Long Baseline Array experiment observed four compact sources at 43, 23 and 15 GHz. Differential astrometry suppressed common antenna errors, while a fit $\mathbf{p}(\nu )={\mathbf{p}}_0+\mathbf{I}{\nu }^{-2}$ separated refraction in the solar corona from achromatic gravitational deflection. Tropospheric errors and radio-source structure also required calibration. The reported ${\gamma }_{\mathrm{PPN}}=0.9998\pm 0.0003$ was consistent with general relativity.^[ref]

tidal forces measure differences in gravitational acceleration across an extended region. Neighboring freely falling particles each have zero four-acceleration, but their separation need not accelerate uniformly. Let $u^{\mu }$ be the tangent to a reference timelike geodesic and ${\xi }^{\mu }$ its infinitesimal separation from a neighboring one, chosen from an affinely parametrized geodesic congruence. Using the Riemann curvature tensor convention specified in Solution 3,Changing the overall curvature convention changes this displayed sign. The covariant derivatives compare vectors by parallel transport, avoiding a coordinate-dependent subtraction of accelerations.

In the Newtonian limit, expand the force field at two nearby points:For $\Phi =-GM/r$, a local orthonormal frame aligned with the radius givesThere is radial stretching and transverse compression; the trace vanishes outside the mass. Two freely falling test masses and a measurement of their changing separation implement gravity gradiometry. Their common acceleration drops out, while a relative acceleration proportional to separation remains. A local inertial frame removes Christoffel symbols at a point, but cannot remove nonzero curvature over a finite region.

The Einstein tensor and its contractions areTo match the supplied Ricci tensor components, use the Riemann curvature tensor conventionThis convention also fixes the sign used for geodesic deviation above. In vacuum, tracing the Einstein field equations gives $-R+4\Lambda =0$. Substitution therefore yields $R_{\mu \nu }=\Lambda g_{\mu \nu }$.

Differentiate the angular field equation to obtainConsequently $R_{00}=\Lambda A=\Lambda g_{00}$ and $R_{11}=-\Lambda /A=\Lambda g_{11}$. The other angular component follows from $R_{33}={\sin }^2\theta R_{22}$. Thus the single angular equation implies all the displayed vacuum equations wherever this coordinate chart is regular.

Integrating $(rA{)}^{\prime }=1-\Lambda r^2$ gives $A=1+C/r-\Lambda r^2/3$. Match $g_{tt}\simeq 1+2\Phi$ with the Newtonian gravitational potential $\Phi =-GM/r$ in the weak-field overlap region to identify $C=-2GM$. Hence the Schwarzschild-de Sitter spacetime hasNegative $\Lambda$ instead gives the Schwarzschild--anti-de Sitter black hole case. This matching fixes the normalization locally; a spacetime with nonzero $\Lambda$ is not asymptotically flat.

For timelike geodesics in the orbital plane, take proper time as parameter and use $L=(A{\dot{t}}^2-{\dot{r}}^2/A-r^2{\dot{\varphi }}^2)/2$. The cyclic coordinates give $A\dot{t}=k$ and $r^2\dot{\varphi }=h$; the angular canonical momentum is $-h$ in this signature. The four-velocity normalization $2L=1$ then givesHere $k$ is conserved Killing energy per unit rest mass in the chosen time normalization, and $h$ is conserved angular momentum per unit rest mass. There is no general interpretation of $k$ as energy measured at an asymptotically flat infinity when $\Lambda \ne 0$.

For radial motion $h=0$, differentiation gives $2\dot{r}\ddot{r}=-A^{\prime }\dot{r}$. The radial Euler-Lagrange equation extends the resulting expression through a turning point where division by $\dot{r}$ would fail. ThusThis is the proper-time second derivative of the areal radius, not a nonzero four-acceleration of the freely falling particle. Positive $\Lambda$ contributes an outward term; negative $\Lambda$ reinforces inward attraction. Restoring units in the slow-motion, weak-field Newtonian limit givesThe extra term describes the gravitational effect of a cosmological constant, not drag or a contact force. The approximation requires $GM/(r{c}^2)\ll 1$, $|\Lambda |r^2\ll 1$ and speed much less than $c$.

accretion-disk tests of strong-field gravity put radiating matter in a strong gravitational field at relativistic orbital speeds. general relativity predicts an innermost stable circular orbit, $r_{\mathrm{ISCO}}=6GM/c^2$ for a nonrotating black hole, with a spin-dependent radius in the Kerr metric. If the radiating inner edge tracks that orbit, its fitted radius and binding-energy release probe the geometry. For a thin disk with negligible inner-edge torque, $L\simeq \eta \dot{M}{c}^2$; the Schwarzschild efficiency is $\eta =1-\sqrt{8/9}\simeq 0.057$.

In relativistic iron-line spectroscopy, a fluorescent iron line supplies a rest-energy reference. The relativistic Doppler effect from orbital motion, relativistic beaming, gravitational redshift and ray bending produce an asymmetric broadened profile, including a red wing from the deepest emitting radii. The ASCA observation of MCG-6-30-15 showed a broad asymmetric iron feature relative to the approximately $6.4\mathrm{keV}$ neutral-iron energy, interpreted through relativistic disk-line models.^[ref] The observed line must be separated from the illuminating continuum, absorption and other reflection features; inclination, ionization and the radial illumination law affect the inferred radius.

thermal-continuum fitting of an accretion disk provides an independent method for a geometrically thin, optically thick disk. Its spectrum and normalization constrain a characteristic inner area, provided mass, distance, inclination and atmospheric spectral hardening are controlled. A pre-2013 application selected thermal-state observations of GRS 1915+105 at relatively low disk luminosity to make the thin-disk approximation appropriate.^[ref]

Consistency among inner radius, line transfer and thermal emission tests the strong-field disk picture. A black-hole spin estimate obtained by assuming a Kerr metric is not by itself a model-independent verification of general relativity. Stress across the nominal inner edge, finite disk thickness, coronal geometry, calibration and competing absorption models must be constrained; a gravity test compares alternative geometries while allowing for those astrophysical uncertainties. An emitting material surface or boundary layer can further complicate disks around neutron stars.

The strongest pre-2014 evidence combines large gravitating mass with extreme compactness. In an X-ray binary, companion-star radial velocities determine a binary mass function; orbital inclination, donor properties and distance complete the mass inference. An unseen component above conventional neutron-star masses is a black-hole candidate. For example, a 2011 Cygnus X-1 analysis combined optical photometry, spectroscopy and distance information to infer a compact-object mass about $14.8M_{\odot }$, with model and observational uncertainties.^[ref]

Near Sagittarius A*, infrared stellar astrometry and radial velocities trace nearly Keplerian orbits around a dark compact mass. The concentration of several million solar masses in a small volume strongly challenges an extended cluster of ordinary remnants; source confusion, reference-frame errors, distance and possible extended mass must be fitted.^[ref] Gas and maser dynamics provide related compact-mass tests in other nuclei.

accretion explains luminous X-rays, rapid variability and broad relativistic disk features. These constrain size and the strong-field environment, but emission alone is not unique to an event horizon. Lack of surface-like signatures is supporting, model-dependent evidence. Mass, compactness and consistent accretion phenomenology together support the black-hole interpretation; large-radius mass measurements alone do not directly demonstrate a horizon.

Boost and velocity transformation. For the moving frame,The inverse has $v\mapsto -v$. Taking differentials of that inverse and dividing by $dt$ gives

Constant proper acceleration. For collinear motion, the instantaneous rest-frame acceleration is $a={\gamma }^{3}dv/dt$. Since $dt/d\tau =\gamma$,Write $v=c\tanh \eta$; then $d\eta /d\tau =a/c$. Starting from rest gives $\eta =a\tau /c$, $dt/d\tau =\cosh \eta$ and $dx/d\tau =c\sinh \eta$. integration with the stated initial origin yields

photon rocket mass ratio. In the instantaneous rest frame, ejecting backward photon energy $d{E}_{\gamma }$ gives, to first order, $c^{2}dM=-d{E}_{\gamma }$ and $Mcd\eta =d{E}_{\gamma }/c$. Hence $dM/M=-d\eta$, andHere $M$ includes all stored fuel and energy. This assumes complete conversion into a perfectly collimated photon exhaust without other losses.

photon-rocket fuel for acceleration and braking. With effectively instantaneous changes of speed, the cruise proper time is $D/(\gamma v)=10\mathrm{yr}$, givingBraking to rest costs another factor $e^{-\eta }$, so $M_f/M_i=e^{-2\eta }=(\sqrt{101}-10{)}^2=0.00248758$. If equal rest masses of matter and antimatter annihilate, the consumed antimatter is half the total consumed fuel:This is the fraction of initial total mass, not the antimatter fraction of the consumed matter–antimatter fuel, which is one half.

finite-acceleration correction to a relativistic cruise. Each constant-proper-acceleration leg has proper duration ${\tau }_a=c\eta /a$ and Earth-frame length $x_a=(c^2/a)(\gamma -1)$. ThusSubtracting the original $D/(\gamma v)$ givesFor $a=10\mathrm{m}{\mathrm{s}}^{-2}$, each accelerating leg takes about $2.85$ proper years and covers $8.60$ light years in the Earth frame, leaving positive cruise distance. The new total is about 13.98 proper years. Adding $2{\tau }_a$ to ten years would overcount the cruise segment replaced by acceleration and braking.

Denote the parent rest mass by $M$, the daughter rest masses by $m_i$, and their total energies in any inertial frame by $E_{\mathrm{before}}$ and $E_{\mathrm{after}}$. For an isolated disintegration with all products included, energy conservation gives $E_{\mathrm{after}}=E_{\mathrm{before}}$. The corresponding kinetic energies are $K_{\mathrm{before}}=E_{\mathrm{before}}-M{c}^2$ and $K_{\mathrm{after}}=E_{\mathrm{after}}-{\sum }_i{m}_i{c}^2$. ConsequentlyEvery mass on the right is a rest mass, hence invariant under a Lorentz transformation. This proves the kinetic energy released by relativistic decay is frame independent even though either total kinetic energy separately is not. In the parent rest frame the initial kinetic energy vanishes and the final kinetic energy equals the energy associated with this mass defect. External energy input or omission of radiation would invalidate the energy-cancellation step; if photons are products, include their energies with zero rest-mass subtraction.

The weak equivalence principle states that freely falling, sufficiently small test bodies have the same motion in a given gravitational field irrespective of composition or mass, neglecting their own gravity and nongravitational forces. In the Newtonian limit, $m_i\mathbf{a}=m_g\mathbf{g}$ makes this universality equivalent to a universal gravitational-to-inertial mass ratio, conventionally set to one.

The Einstein equivalence principle adds that local nongravitational experiments in a freely falling, nonrotating laboratory have the laws of special relativity, independent of the laboratory's position and velocity. At an event one can choose a local inertial frame with $g_{\mu \nu }={\eta }_{\mu \nu }$ and ${\partial }_{\alpha }{g}_{\mu \nu }=0$. A freely falling observer feels no supporting force, while a supported observer can model a locally uniform gravitational field by an accelerated laboratory. This explains why freely moving particles follow timelike geodesics and light follows null geodesics when other interactions are negligible.

The locality qualification is essential. The Riemann curvature tensor generally remains nonzero; separated freely falling bodies have tidal relative acceleration, measured by geodesic deviation. A finite-size experiment can therefore distinguish a curved gravitational field from a merely accelerated coordinate description of flat spacetime. Equivalence alone also does not select the complete Einstein field equations.

A useful weak-field consequence is the upward photon shift $\Delta \nu /\nu \simeq -gH/c^2$ over laboratory height $H$. In an upward-accelerating laboratory the receiver gains recession velocity during the light flight, giving the same leading redshift. The Pound-Rebka experiment tested this with resonant absorption of 14.4-keV gamma rays over about 22.5 m. A controlled source velocity calibrated the Doppler sensitivity; interchanging source and absorber reversed the gravitational contribution while retaining an intrinsic source–absorber offset. Monitoring their temperature difference was essential because lattice-motion shifts could mimic the small signal.^[ref] This verifies a gravitational clock-shift prediction; by itself it is not a unique test selecting general relativity over every alternative metric theory.

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.

Curvature contractions. Use the index contraction stipulated in the question. In three dimensions,The same contraction in four dimensions givesThen the Ricci scalar is $R=4\Lambda$ and the Einstein tensor is $G_{\mu \nu }=-\Lambda g_{\mu \nu }$. Thus $R_{\mu \nu }=\Lambda g_{\mu \nu }$ is precisely the vacuum Einstein field equations $G_{\mu \nu }+\Lambda g_{\mu \nu }=0$.

The static solution. For $A=1+{\lambda }^2{r}^2$, $A^{\prime }=2{\lambda }^{2}r$ and $A^{\prime \prime }=2{\lambda }^2$. The given Ricci tensor components becomeEach equals $-3{\lambda }^2$ times the corresponding metric tensor component. ThereforeThis is Anti-de Sitter spacetime in static coordinates on anti-de Sitter spacetime, with curvature radius $1/\lambda$. The overall metric signature is opposite to the convention used in some descriptions of those coordinates; the geodesic constants below use the question's $(+,-,-,-)$ convention.

Conserved quantities and radial motion. In the equatorial plane, the geodesic Lagrangian is $L=A{\dot{t}}^2-{\dot{r}}^2/A-r^2{\dot{\varphi }}^2$. Its cyclic coordinates giveFor rest mass $m$, $mk=p_t$ is the conserved Killing energy and $mh=-p_{\varphi }$ is the axial angular momentum. Timelike normalization $L=1$ givesFor purely radial motion $h=0$, differentiating away from a turning point gives $\ddot{r}=-{\lambda }^{2}r$, and continuity extends that equation through the turning point. An outward launch from the origin at $\tau =0$ hasThis is the radial timelike geodesic in anti-de Sitter spacetime. Its first return to the origin isindependent of the outward launch speed for every nontrivial launch $k>1$. The coordinate $r$ is nonnegative, so this sine expression describes the excursion up to that return; subsequent passage through the origin requires changing the radial direction or using a signed diameter coordinate. The speed changes the amplitude, not the harmonic frequency.

Circular periods. The effective radial potential is $V_{\mathrm{eff}}=A(1+h^2/r^2)$. For a circle at $r_0$, $V_{\mathrm{eff}}^{\prime }=0$ gives $h^2={\lambda }^2{r}_0^4$, and normalization gives $k=A(r_0)$. Thus $\dot{t}=1$ and $\dot{\varphi }=\pm \lambda$. A stable circular timelike geodesic in anti-de Sitter spacetime therefore hasindependently of radius. This is the same isochronous behavior as the central harmonic radial equation. A static clock placed at the orbit's radius instead measures $\sqrt{1+{\lambda }^2{r}_0^2}\Delta t$, which does depend on radius; it is a different clock from the orbiting particle's proper time.

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.

For a massive particle choose $\lambda =\tau$, its proper time, and obtain $\kappa =c^2$. For a photon, the tangent is null and $\kappa =0$. A general rescaling of a massive particle's affine parameter rescales a positive $\kappa$; the numerical value $c^2$ requires the proper time choice. With that choice, $h=L_z/m$ is signed specific angular momentum, of units ${\mathrm{m}}^2{\mathrm{s}}^{-1}$, and $k=E/(m{c}^2)$ is dimensionless conserved specific Killing energy. The time coordinate is normalized to proper time at infinity, so this $E$ is the particle's conserved energy referred to infinity. A photon's constants scale with the normalization of its null tangent; it has no rest frame or proper time parametrization.

Substitution of $\dot{t}=k/f$ and $\dot{\varphi }=h/r^2$ into the norm gives the general radial first integralFor a massive particle this becomesAdopting the usual half-normalization for the effective potential for timelike Schwarzschild geodesics, defineAll terms have units ${\mathrm{m}}^2{\mathrm{s}}^{-2}$, or energy per unit mass. The first two terms are the Newtonian gravitational and centrifugal contributions; the last is the relativistic correction.

A circular orbit requires both $\dot{r}=0$ and $V_{\mathrm{eff}}^{\prime }(R)=0$. Differentiating at fixed $h$ givesThe radial first integral also givesFor the future-directed circular orbit at $R=4\mu$, these constants are $|h|=4\mu c$, $k=1$, and $f=1/2$. ThereforeSince Schwarzschild time agrees with the clock time of a static observer at infinity, the intended infinity-referred tangential orbital speed isThis uses the circumferential areal radius $R$ with the clock at infinity; it is not a local measurement made at the orbit. A local static observer's clock instead has $d{\tau }_{\mathrm{stat}}=\sqrt{f}dt$ and measures $v_{\mathrm{local}}=v_{\infty }/\sqrt{f}=\boxed{c/\sqrt{2}}$. These two operationally different speeds explain the significance of the phrase “at infinity”.

The effective-potential stability of a circular orbit follows fromConsequently the $R=4\mu$ orbit exists but is unstable to radial perturbations. The original plot below shows its position at a maximum, for $h=4\mu c$.

For a weak-field elliptic orbit, the relativistic correction makes the direction of closest approach advance after each radial cycle. The derivations under i and ii below giveper orbit to first order, where $a_{\mathrm{orb}}$ is the semi-major axis and $e$ the orbital eccentricity. For Mercury, the additional Schwarzschild perihelion precession is approximately 43 arcseconds per century, over and above the much larger Newtonian precession produced primarily by other planets. It is the unexplained residual after those effects have been included that provides the classic quantitative test of general relativity; one should not identify the whole observed precession with this relativistic correction.^[ref]

The labels i and ii in the original paper introduce optional orbit-equation aids, rather than separate mandatory subquestions. They are retained here for derivations of both aids and of the perihelion result.

Local equivalence and tides. In Newtonian mechanics, inertial mass $m_{\mathrm{i}}$ measures the response to a force, whereas passive gravitational mass $m_{\mathrm{g}}$ couples to an imposed Newtonian gravitational field. A freely falling body obeysThe observed composition independence of free fall says that this ratio is universal. With a common choice of units it is one. This is the Newtonian content of the weak equivalence principle for test particles; it does not by itself specify all nongravitational physics.

The Einstein equivalence principle further says that local nongravitational experiments in a sufficiently small freely falling laboratory have the form predicted by special relativity, independently of the laboratory's location and motion. In such a local inertial frame, the metric tensor is locally the Minkowski metric and the Christoffel symbols vanish at the selected event. The strong equivalence principle extends the universality claim to local gravitational experiments and bodies with significant gravitational self-energy. None of these statements removes measurable tidal forces across a finite apparatus.

In an ideal small freely falling lift, a released ball initially floats relative to the cabin, because both undergo the same free fall. Two separated balls, however, need not retain their separation: they sample different parts of the gravitational field. For a point source, linearizing $\mathbf{g}=-GM\mathbf{r}/r^3$ across a small separation $\mathbf{\xi }$ gives the tidal tensor predictionA radial separation stretches with coefficient $2GM/r^3$, whereas a transverse separation is compressed with coefficient $-GM/r^3$. Initially parallel velocities therefore develop relative motion even though the individual bodies experience zero proper acceleration.

The relativistic statement is geodesic deviation. With the Riemann curvature tensor conventiona connecting vector between neighboring freely falling worldlines satisfiesHere $D/d\tau$ is the covariant derivative along the reference geodesic, and $U^{\mu }$ its four-velocity. Curvature can be nonzero where the Christoffel symbols have been made zero. In the weak, static, slow-motion limit this equation reduces to ${\ddot{\xi }}^i=-{\partial }_i{\partial }_j\Phi {\xi }^j$, recovering the tidal tensor above. A finite falling lift can detect gravity through these relative accelerations; local equivalence does not imply a globally uniform field.

Weak-field connection and potential. Take $x^0=ct$ and the $+---$ metric signature. There is an index error in the printed formula for the Christoffel symbols: its first differentiated metric component must be $g_{\nu 0}$, not $g_{\mu 0}$. The correctly contracted expression isThe offending term vanishes under the stipulated time independence, so this correction does not change the intended calculation. Write $g_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu }$ and treat both $h$ and its derivatives as first order. To that order $g^{00}=1-h_{00}$, $g^{0i}=O(h)$, and $g^{ij}=-{\delta }^{ij}+O(h)$. A stationary metric tensor givesFor the temporal component the inverse-metric coefficient is already first order, soFor a spatial component the zeroth-order inverse metric contributes:The time component of the approximate geodesic equation says that $dt/d\tau$ is constant to the retained order. In its spatial component, convert the proper time derivatives to coordinate-time derivatives and cancel $(dt/d\tau {)}^2$:Comparison with the Newtonian equation $d^2\mathbf{x}/d{t}^2=-\nabla \Phi$ identifies $h_{00}=2\Phi /c^2+C$. For an isolated source, choose the gravitational potential to tend to zero at infinity and normalize the time coordinate there, giving $C=0$. ThusThe quantity $\Phi$ is the Newtonian gravitational potential, or gravitational potential energy per unit mass, in $\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}={\mathrm{m}}^2{\mathrm{s}}^{-2}$. For a point source, $\Phi =-GM/r$. A static clock has $d\tau =\sqrt{g_{00}}dt\approx (1+\Phi /c^2)dt$, connecting the Newtonian limit with gravitational time dilation.

Frequency of the orbiting source. Treat the gas blob as a test particle on a timelike circular Schwarzschild geodesic, with pressure and other nongravitational forces negligible. Treat our very distant location as infinity, so the observer's own gravitational potential is negligible. These are the assumptions that make a unique answer in terms of $R_S/r$ possible.

Put $f=1-R_S/r$ and use a local static observer at the emission point as an intermediate measuring frame. The remote observer lies on the symmetry axis of the orbit. A ray arriving on that axis has zero conserved axial angular momentum, so its local direction is perpendicular to the emitter's azimuthal velocity. Bending within a meridional plane does not alter this orthogonality. The transverse relativistic Doppler effect therefore giveswhere $v$ is the orbital speed measured by that local static observer. The gravitational redshift between static Schwarzschild observers then givesA gravitational circular orbit has $v^2=GM/r+O((GM/r{)}^2/c^2)$ in the weak-field limit, so $v^2/c^2=R_S/(2r)+O((R_S/r{)}^2)$. Expanding both factors,Solving for the emitted frequency givesThe gravitational part is $R_S/(2r)$ and the transverse kinematic time dilation contributes another $R_S/(4r)$; the absence of line-of-sight motion does not remove this second effect.

As an exact check, the local speed on a timelike circular Schwarzschild geodesic satisfies $v^2/c^2=\mu /(r-2\mu )$, where $\mu =GM/c^2=R_S/2$. Therefore the face-on frequency shift of a circular Schwarzschild source iswhose expansion agrees with the boxed answer. If the gas is supported or accelerated by pressure or magnetic stresses rather than following a geodesic, its orbital speed is not fixed by the mass and radius alone; the appropriate first-order result is instead ${\nu }_{\mathrm{em}}\approx {\nu }_{\mathrm{ob}}[1+GM/(r{c}^2)+v^2/(2c^2)]$, with $v$ supplied independently.

Three physically distinct contributions are unseen dark matter, hot diffuse intracluster gas omitted from the summed stellar mass, and faint stars or stellar remnants missed by transferring the Milky Way mass-to-light ratio to the cluster. The first two are actual additional components; the third changes the inferred stellar budget. Departures from virial equilibrium, velocity anisotropy or extra nonthermal pressure can also bias the dynamical or X-ray estimates, although they need not remove the discrepancy.

Take a stationary initial electron of mass $m_e$, a photon incident along $x$, and a nonrelativistic recoil velocity of magnitude $v$. Choose $\theta$ above $x$ for the scattered photon and $\varphi$ below $x$ for the electron. Conservation of momentum givesThe electron's unchanged rest energy cancels in conservation of energy, leavingEquivalently use $h\nu /c=h/\lambda$ and $h\nu =hc/\lambda$. The nonrelativistic limit requires $v/c\ll 1$, and treating the electron as free requires its binding energy to be negligible on the scale of the collision.

For spherical hydrostatic equilibrium, the stellar structure equations includeEliminate $\rho$ to obtain $dP/dm=-Gm/(4\pi r^4)$. Since $r(m)<R_{\odot }$ through the interior, integration givesWith negligible surface pressure, this provesThis is a conservative lower bound; concentrating mass near the centre increases the required pressure.

For the temperature inference assume predominantly ideal gas support, a nearly fully ionized hydrogen–helium mixture with mean molecular weight $\mu \simeq 0.61$, and the hottest region at the centre. A rigorous scale estimate follows from the stellar virial theorem, rather than substituting the mean mass density for the unknown central mass density. With negligible surface pressure,The ideal gas law gives $\int PdV=k_B\int Tdm/(\mu m_p)$. The mass-weighted mean temperature consequently obeysThis establishes several million kelvin under the stated physical assumptions. The central pressure inequality alone does not give a central temperature bound without an equation of state and information about mass density or an integrated argument.

The intact source figure gives orbital period $P=6.0\mathrm{yr}$, stellar radial velocity semiamplitude $K=30.0\mathrm{m}{\mathrm{s}}^{-1}$, and orbital eccentricity $e=0$. A planetary exoplanet transit implies a nearly edge-on orbit, so $\sin i\simeq 1$. Adopt a solar mass for the Solar-type star and initially neglect the companion's mass relative to it.

For a circular solution of the two-body problem, the star's distance from the centre of mass is $a_{\ast }=a{M}_p/(M_{\ast }+M_p)$, and the measured semiamplitude is $K=2\pi a_{\ast }\sin i/P$. Kepler's third law givesHenceThe inferred binary mass ratio is only $0.00183$, validating the approximation. Since $e=0$, the star–planet separation is constant and equals the orbital semimajor axis. Without the exoplanet transit, Doppler spectroscopy would generally give only a minimum companion mass through $M_p\sin i$.

Transit photometry. A planet crossing the stellar disc produces a periodic reduction in flux, approximately $\delta =(R_p/R_{\ast }{)}^2$ for a small, dark planet away from the limb. The orbital period and stellar radius allow an inferred planetary radius, but not its mass by this method alone. The geometric geometric transit probability is roughly $(R_{\ast }+R_p)/a$ for a circular orbit, so the method strongly favours close orbits and large planets. Small signals compete with instrumental noise and stellar activity; eclipsing stellar binaries and blended sources can mimic a planetary exoplanet transit, and long orbital periods require long observing baselines.