A clock following a timelike circular Schwarzschild geodesic of radius advances at per unit Schwarzschild coordinate time. A static clock at radius advances at . Their ratio over the same coordinate-time interval gives the displayed result. For periodic signal comparisons, successive corresponding signals must also have the same propagation delay, as happens for repeated overhead passages in a fixed circular orbit observed from a static pole. To first order in , the ratio is .
A source on a timelike circular Schwarzschild geodesic at radius emits light to a static observer at infinity on the orbital symmetry axis. Such a ray has zero conserved axial angular momentum. The locally measured photon energy is the contraction of its four-momentum with the observer's four-velocity. Comparing the emitter with the observer at infinity therefore gives , where , proving the formula.
Equivalently the gravitational redshift factor multiplies the transverse Doppler effect factor measured by a local static observer. For ,
The coefficient contains both gravitational and orbital time dilation. It assumes an observer at infinity on the symmetry axis; other viewing directions generally introduce a first-order longitudinal Doppler effect.
Local equivalence and tides. In Newtonian mechanics, inertial mass measures the response to a force, whereas passive gravitational mass couples to an imposed Newtonian gravitational field. A freely falling body obeys
The 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 across a small separation gives the tidal tensor prediction
A radial separation stretches with coefficient , whereas a transverse separation is compressed with coefficient . 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 convention
a connecting vector between neighboring freely falling worldlines satisfies
Here is the covariant derivative along the reference geodesic, and 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 , 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 and the metric signature. There is an index error in the printed formula for the Christoffel symbols: its first differentiated metric component must be , not . The correctly contracted expression is
The offending term vanishes under the stipulated time independence, so this correction does not change the intended calculation. Write and treat both and its derivatives as first order. To that order , , and . A stationary metric tensor gives
For the temporal component the inverse-metric coefficient is already first order, so
For a spatial component the zeroth-order inverse metric contributes:
The time component of the approximate geodesic equation says that is constant to the retained order. In its spatial component, convert the proper time derivatives to coordinate-time derivatives and cancel :
Comparison with the Newtonian equation identifies . For an isolated source, choose the gravitational potential to tend to zero at infinity and normalize the time coordinate there, giving . Thus
The quantity is the Newtonian gravitational potential, or gravitational potential energy per unit mass, in . For a point source, . A static clock has , 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 possible.
Put 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 gives
where is the orbital speed measured by that local static observer. The gravitational redshift between static Schwarzschild observers then gives
A gravitational circular orbit has in the weak-field limit, so . Expanding both factors,
Solving for the emitted frequency gives
The gravitational part is and the transverse kinematic time dilation contributes another ; 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 , where . Therefore the face-on frequency shift of a circular Schwarzschild source is
whose 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 , with supplied independently.
Write , with . On the equatorial plane, the geodesic Lagrangian is
The coordinates and are cyclic, giving . The conserved physical energy per unit rest mass is , while is the signed angular momentum per unit rest mass. The radial Euler-Lagrange equation, with , is
These are the requested geodesic equations. The equatorial condition is consistent with the polar equation by the spherical symmetry of the Schwarzschild metric.
The normalization of the four-velocity is . Insert the two conserved quantities and multiply by to obtain
This is a one-dimensional radial energy equation. Half of its left side is radial kinetic energy per unit mass plus an effective potential: the Newtonian centrifugal and gravitational terms acquire the extra attractive contribution .
A timelike circular Schwarzschild geodesic requires . Equivalently, set the derivative of to zero. At this gives , and substitution in the radial energy equation yields
Such timelike circular orbits require . Their coordinate angular velocity satisfies , and their proper clock rate is .
For the static North-Pole clock, . Consecutive overhead passages occur one coordinate orbital period apart, and the repeated Earth-satellite geometry gives equal signal travel delays. The comparison of circular-orbit and static Schwarzschild clocks therefore gives
This includes both gravitational and orbital-motion effects; a separate Newtonian time-dilation correction must not be added again.
For an estimate, Kepler's third law gives . The same approximate geostationary radius and period give . Expanding the ratio to first order,
The satellite clock consequently gains about over a three-hour orbit in this approximation. The surface observer is taken to be static, and the spacetime model is the spherical Schwarzschild metric specified in the problem.