The inverse of the metric tensor block is
The normal covector has squared norm . Therefore
More explicitly, the induced metric tensor is ; at zero its sole zero direction is . The coefficients are independent of , so is a Killing vector field. On ,
Hence is both tangent and normal to this null hypersurface, proving it is a Killing horizon. The definition of surface gravity is on the Killing horizon, or equivalently . Since vanishes there while ,
Thus this is a degenerate Killing horizon, and is an affine parameter on each of its null geodesics.
For a concrete horizon frequency comparison, fix the same angular position for a narrow high-frequency light beam and two freely falling radial observers. Work in geometric optics, with the beam's affinely transported wavevector tangent to the Killing horizon, . Here is constant because . Choose the observers as translates of one timelike geodesic by the isometry generated by , crossing at and . Give them the same positive Killing energy per unit rest mass, . At their crossings their normalized four-velocities have
which satisfy . They can be realized by local geodesics with precisely these initial data. The measured angular frequency is
To connect this measurement to surface gravity, if with constant , affine transport of would give . For observers related by the same Killing vector field translation, agrees at the crossings, giving . Here there is no accumulated redshift along the Killing horizon for these equally prepared observers. Arbitrary observers with different four-velocities can still measure different frequencies through their different Killing energies.
Before its second decay A moves uniformly with . Its Lorentz factor is
The proper time along its world line satisfies . Since the first decay occurs at the spacetime origin, integration gives
Equivalently these are the components of A's constant four-velocity times . The assumption is needed for a daughter rest frame and its proper-time clock; a massless daughter has neither.
Take constant kinematic viscosity and the inner specific angular momentum found above. The Angular velocity of a circular Schwarzschild geodesic gives . Hence the inward radial component of four-velocity in the stated viscous model is
To convert proper time to Schwarzschild time, neglect in the normalization as prescribed and insert the circular value of . One obtains
The change in observed Schwarzschild time equals this coordinate-time change when differential light travel time is neglected. Since ,
This time is nonnegative: on the integration interval.
Put and . The integral becomes
Polynomial division gives . Separately, writing gives . Therefore the antiderivative inside the integral is
Its value at is . Subtracting this lower endpoint yields the formal viscous inspiral time in Schwarzschild spacetime
The logarithm has a positive coefficient. The minus sign in the printed final expression is inconsistent with its preceding integral. Differentiating the corrected bracket gives , precisely the positive integrand after rescaling. The bracket vanishes at ; replacing by its negative would give derivative there and a negative elapsed time for just above . This is a sign error, not a choice of potential or time convention.
The result assumes constant kinematic viscosity; if varies with radius it remains inside the time integral. There is also a physical limitation to the stipulated approximation: vanishes quadratically at , so its formal 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.
The Pound-Rebka experiment measures a small gravitational redshift by comparing nuclear emission and resonant absorption at different heights in Earth's field. The transition of iron-57 supplies the gamma-ray frequency standard. The Mössbauer effect permits recoil-free emission and absorption by nuclei bound in solids, giving a sufficiently narrow resonance. A source and absorber separated vertically by about have a predicted fractional frequency difference of order . A calibrated Doppler effect from slow source motion measures the shift through its effect on resonant absorption. Interchanging the upper and lower arrangements reverses the gravitational contribution and helps separate it from intrinsic source-absorber offsets; temperature-dependent frequency shifts must also be controlled. The observed change agrees with the weak-field prediction.
The prediction follows either from an accelerating laboratory and the equivalence principle, or directly from a static metric. With , write . The time-translation Killing vector field gives a conserved photon energy , while a static observer has four-velocity and measures . Thus
For an upward ray over height , ; downward propagation has the opposite sign. The equivalent compensating Doppler speed has magnitude , about for this baseline. Identical clocks at rest have , so a clock at higher potential runs faster relative to the common static coordinate time. This does not mean that the nuclear transition changes its locally measured frequency with height: the comparison involves transporting a photon between different local proper-time standards.
The weak equivalence principle asserts universal free fall for test bodies. The Einstein equivalence principle adds local Lorentz invariance and local position invariance for nongravitational experiments in a freely falling laboratory. The redshift comparison tests the clock aspect of local position invariance and supports a metric description of gravity. The strong equivalence principle extends these requirements to self-gravitating bodies and local gravitational experiments, including the contribution of gravitational binding energy. Their outcomes should be independent of the external location and motion of a freely falling laboratory when tidal effects are negligible. A nuclear redshift experiment is therefore not a test of the whole strong equivalence principle, and its success does not uniquely establish the gravitational field equations.
The geometrical realization uses the Levi-Civita connection of a spacetime metric. At any event, normal coordinates make and the Christoffel symbols vanish. Freely falling test particles follow geodesics; local nongravitational equations take their special-relativistic form at that event. The Riemann curvature tensor need not vanish, so finite laboratories can measure tidal geodesic deviation. The strong principle concerns removing a uniform external gravitational field locally, not removing curvature throughout an extended region.
For a perfect fluid, local rest-frame isotropy and the absence of heat flux or viscosity give , where is rest-frame energy density. With the PDF's signature , and projects spatially. Its covariant form is
The pressure sign follows from the negative spatial metric; it gives positive diagonal stresses in the rest frame. Local stress-energy conservation, , produces the two projections
The first is the energy equation, including pressure work; the second is the relativistic Euler equation. Its rest-frame spatial pressure force is .
Further assumptions are needed to derive the Einstein field equations. Take a local generally covariant metric equation, linear in curvature and of second differential order, and demand compatibility with stress-energy conservation. The available rank-two tensors are , and a constant multiple of . Defining , the contracted Bianchi identity gives . Hence the combination is identically divergence-free only when . This determines the Einstein tensor ; a cosmological constant term remains allowed.
The coupling sign must be matched to the actual curvature convention. Here represents , and a static weak field has . With negligible pressure and cosmological term, a trial equation implies . Comparing with the Poisson equation fixes . Thus the Einstein equation in the sequential-derivative curvature convention is
Equivalently, , with . Pressure therefore gravitates as well as supplying a material force. The cosmological constant is not fixed by the local Newtonian matching.
Setting for the action normalization, the same metric equation follows from the Einstein-Hilbert action , where , together with a matter action obeying . After the metric boundary term is removed or supplied separately, the bulk variation is proportional to . This also makes the sign convention explicit. General covariance, the field equation and the contracted Bianchi identity are mutually consistent with the fluid conservation laws. The experiment motivates the local metric description; the curvature and conservation assumptions, plus the Newtonian limit, supply the additional route to the field equation.
Let and . Vary independently, taking compactly supported variations. The multiplier variation is . With , it gives the unit four-velocity condition . The enthalpy variation is
Using yields . Finally,
The integration by parts boundary term vanishes. Thus the three matter equations are
The last is particle number conservation in a relativistic fluid. Off shell are independent variational fields; on shell the thermodynamic relation ties them to the specified function .
For the Hilbert stress-energy tensor, keep these matter fields fixed while varying the inverse metric. The volume variation is , and . Therefore
On shell, and . With signature ,
For variation of the covariant metric the same definition reads . In a local rest frame the tensor has entries , which checks both the energy density and pressure sign.
Define a derivative along the flow by , and set , . The number equation immediately gives . The specific enthalpy per particle relation and give
Consequently the energy equation follows from the number equation: .
The velocity equation follows directly from the potential, rather than requiring an independent assumption about the fluid force. Since and the connection has zero torsion, the canonical vorticity of a relativistic fluid vanishes:
Contract with and use and . This gives . Multiplication by and use of produces the relativistic Euler equation. The evolution system is therefore
It is equivalent to stress-energy conservation together with number conservation, subject to the potential-flow restriction. The action describes an isentropic barotropic sector of a perfect fluid in general relativity; it does not provide general vortical or entropy-carrying fluid motions. The constraint on canonical vorticity is stronger than the Euler equation alone.
For the weak static metric, use . To the retained order, , and . The correction to is required by normalization, even though its zeroth-order value is one. The relevant Christoffel symbols are
with no spatial connection at this order. The cancellation makes the leading number equation particularly simple:
The corresponding leading energy transport equation is . The spatial Euler equation contains the gravitational acceleration and pressure force . In a strict first-order expansion, convective velocity acceleration and products of the small quantities are discarded.
To exhibit a fully linear system, perturb a homogeneous rest state: , , , and , with the perturbations, and all first order. Let . The weak-field slow-motion equations for a relativistic fluid are
The equation of state gives and . Where , it also gives the barotropic relativistic sound speed
Without this invertibility, the primitive conservation equations remain valid and this sound-speed parametrization must not be used.
The potential furnishes a further check on the pressure and gravity signs. Write . Its time and spatial components imply
Their compatibility reproduces the linear Euler equation. Pressure gradients oppose gravitational acceleration, and hydrostatic balance is . Combining the energy and Euler equations gives the forced acoustic equation
For positive , disturbances propagate as sound waves; the prescribed potential supplies a static forcing. A nonrelativistic equation of state gives , , and reduces the inertia to mass density, recovering the ordinary linearized continuity and Euler equations. Slow velocity alone does not justify dropping from the inertia of a relativistically hot fluid. The given metric supplies an external gravitational potential; the matter action by itself supplies no Poisson equation for it.
Use Minkowski spacetime coordinates and the Minkowski metric of signature . For a massive particle with three-velocity and , proper time satisfies
Thus the four-velocity components are
Here upper indices indicate components in the chosen coordinates; lowering with the Minkowski metric changes the signs of the spatial components. Its invariant product defined by the Minkowski metric is
The four-momentum is , so and . The Taylor expansion of the Lorentz factor at small is
Consequently , recovering ordinary momentum. At rest the four-momentum has energy , so subtracting this rest energy gives the kinetic energy
Thus the nonrelativistic limit preserves the rest-energy offset as well as the usual kinetic energy.
The comoving observer's four-velocity has , so its measured photon energy is , and the comoving momentum is . Let . The null geodesic condition is
Divide the temporal geodesic equation by , and use the supplied Christoffel symbols:
Differentiating cancels the homogeneous redshift terms. In the remaining first-order term, replace by the unperturbed unit propagation direction :
This is the synchronous photon momentum redshift. Background physical momentum decreases as , while the background comoving momentum stays constant.
The spatial geodesic equation gives in the unperturbed universe. Since the temporal equation gives the identical factor for , their ratio is constant at zeroth order. More explicitly, at first order,
Every displayed term contains a metric perturbation or its derivative. The orthonormal-frame unit direction differs from by a first-order metric correction, , whose derivative is also first order. Hence , with no background change of direction. Direction corrections multiplied by an already first-order source contribute only at second order.
Use the position four-vector and Minkowski signature . Along a massive particle's timelike path,
Thus its four-velocity is , and multiplying by the invariant rest mass gives
Its temporal component is , and the invariant relation is .
For a massless particle, use the null energy–momentum relation rather than substituting into : a massless particle has no proper-time parametrization of a timelike rest frame. With positive energy, implies . Hence
The original PDF retains the spatial vector in this expression; the TeX conversion incorrectly replaced it by its magnitude.
In the instantaneous rest frame the total radiation has zero net three-momentum, so its emitted four-momentum is proportional to the four-velocity. A Lorentz boost multiplies its energy by , while the elapsed coordinate time for the source is also multiplied by . Their ratio, total instantaneous radiated power, is therefore invariant. This concerns total emitted power, not the directional flux or an observer's photon arrival rate.
Use the metric of signature and dots for proper-time derivatives. From obtain , where . Differentiating gives
Squaring in the Minkowski metric, using , gives , hence
In the rest frame, is the squared ordinary acceleration, so invariance of power and the low-speed Larmor formula give . In terms of coordinate-time acceleration , this is the Lienard formula
For circular motion perpendicular to , and the Lorentz force gives . Thus
At low speed , reproducing ordinary Larmor radiation with magnetic acceleration .
Let on the fluid region and choose the Killing vector field to be future-directed. The normalized four-velocity is
The Killing equation implies both and
Consequently its Killing-flow four-acceleration is
For a scalar, the Lie derivative is . Thus the assumed stationarity of the pressure gives . These are the ingredients needed for hydrostatic equilibrium along a Killing vector; hypersurface orthogonality of is not needed.
Use metric signature throughout this solution. Stress-energy conservation for the perfect fluid is . Expanding it and using metric compatibility gives
The normalization of the four-velocity implies . Contracting with therefore gives the relativistic perfect-fluid energy equation,
while subtracting the component parallel to gives the relativistic Euler equation,
Equivalently, apply the orthogonal projection to the conservation equation. This form makes clear that a pressure gradient orthogonal to the four-velocity supplies the fluid's four-acceleration.
For , define the Lorentz factor . A particle of rest mass has
These expressions give the relativistic energy-momentum relation directly:
so .
The four-momentum is
where is the four-velocity, the proper-time derivative of . It is a four-vector, so its Minkowski metric norm is invariant under Lorentz transformations. Choose metric signature ; in the particle's rest frame, and . In any frame the same norm is . Equating the two yields the same relativistic energy-momentum relation. With the opposite metric convention both norm expressions change sign, leaving the energy relation unchanged.
Use and metric signature . Since , the four-velocity and four-momentum are
These use the proper time and Lorentz factor; the mass shell identity is .
Initially the parent four-momentum is . By four-momentum conservation, the remaining single particle has energy and three-momentum . Applying its mass shell identity gives , hence
The positive root is selected for the rest mass; physically admissible decay data also give nonnegative remaining energy.
Use geometric units , metric signature , and a four-velocity normalized by the physical metric. Write , where . For a pressureless perfect fluid, the dust stress-energy tensor is and . Since , its background trace is
Consequently the field equation is . Neglecting time derivatives and higher weak-field orders gives the Newtonian limit of Nordstrom gravity:
The constant shift between and does not affect the Poisson equation or the force. Here is the physical rest density; if fluid indices are instead defined using the background metric, the intermediate powers of change but the same leading-order equation results.
For the motion, the Levi-Civita connection of the conformally flat metric is
In particular . Replacing the affine parameter in the geodesic equation by coordinate time gives, with and ,
At small speeds and for a nearly static field, this becomes
Thus the Newtonian gravitational potential and freely falling trajectories agree to the stated weak-field, slow-motion order. The comparison is an approximation, not an exact equivalence of relativistic trajectories.
Assume and use geometric units. The stationary Killing vector field gives the conserved Killing energy . For radial motion, normalization of the four-velocity gives . Combining these identities yields
At rest at infinity, and , so . Choose the inward branch . Its proper time from the Schwarzschild event horizon to the curvature singularity is
In ordinary units this is . The endpoint 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 . Its four-velocity and metric dual are
The right side is an exact one-form because depends only on . Thus , with free-fall proper time in Schwarzschild spacetime determined by
Indeed , 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 in the Schwarzschild metric gives
Using , the Painlevé–Gullstrand coordinates therefore have
All coefficients are finite at ; the determinant of the block is . Hence the horizon is a coordinate singularity of Schwarzschild time, not a degeneracy of the metric. The new spatial slices have , the flat Euclidean metric, and makes their normals the freely falling four-velocities. By contrast, the curvature scalar diverges at ; this genuine singularity is not removed.
For ingoing Eddington-Finkelstein coordinates, use with , for example . Then
Both constructions cross the future horizon. Their time functions have different meanings: is an ingoing null hypersurface, whereas 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 , in the right exterior and extend them across its horizon. They obey
The four regions of Kruskal spacetime are I, the right exterior ; II, the future black hole ; III, the other exterior ; and IV, the past white hole . The null axes are horizons, their intersection is the bifurcation two-sphere, and the spacelike boundaries are the future and past curvature singularities. A point in this radial diagram represents a symmetry two-sphere.
Figure 1.
Kruskal extension with both exteriors, black hole and white hole; the ingoing Painlevé-Gullstrand domain is shaded blue
. Details.
The domain of the ingoing Painleve-Gullstrand chart is region I together with region II and their common future horizon. More precisely, it is , , or with finite . To verify the boundary rather than infer it from the locally regular metric, put and write
This follows by subtracting from the preceding radial primitive, and is finite at . Thus throughout the chart. Conversely every point with and gives a finite . The past horizon , 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.
A static observer has four-velocity . Its only nonzero acceleration component is . Using , the magnitude is
It vanishes only at , where and . Thus is proper time for the central inertial static observer. Other static observers need inward acceleration to resist de Sitter separation and have a redshifted proper time.
Use geometrized units and metric signature ; is proper time. The Killing vectors and of the Schwarzschild metric give the conserved specific Killing energy and specific angular momentum
Put . In the equatorial plane , and normalization of the four-velocity gives
Choosing the inward branch therefore yields
The divergence of the time component at the Schwarzschild event horizon is a coordinate effect; the inward radial component tends to .
Capture from infinity. To reach the event horizon from infinity, the radial square must remain nonnegative throughout . Equivalently,
Differentiating the right side gives , so its minimum occurs at and equals . Thus
is the necessary capture bound. At equality the radial numerator is . An inward particle arriving from larger radii approaches the unstable orbit only after infinite proper time, because is proportional to near that orbit. Actual plunges from infinity require . This is Schwarzschild marginally bound capture.
The origin-at-infinity hypothesis is important and is not explicit in the PDF. A particle already inside the angular-momentum barrier can plunge with larger . For example, and initial radius give positive radial numerator , remaining positive as decreases to . This trajectory has and reaches the event horizon. Thus an unrestricted claim about every inward particle would be false; the bound is the intended capture-from-infinity statement.
Invariant collision energy. At a collision, the total four-momentum is . The invariant center-of-mass energy uses the covariant metric:
The PDF instead prints a raised metric multiplying raised velocities. That contraction is not a tensor scalar; the corrected expression above, or a raised metric with lowered momenta, is required. Since each four-velocity has norm ,
Let . For two inward trajectories the radial product is positive, and direct substitution into the Schwarzschild metric gives
Putting these terms over one denominator proves
Horizon limit and the upper bound. A cancellation-free way to take the limit is to write and . As ,
Hence
and therefore
For particles captured from infinity, , giving in the horizon limit. For actual captured trajectories the inequality is strict, but the supremum is approached by and . Their azimuthal starting positions can be chosen so that the trajectories meet. If particles may instead be prepared near the event horizon, the counterexample , has limiting energy ; no universal bound then follows.
For a massive particle of rest mass , its four-momentum is , where the four-velocity is , and . With metric signature , . A photon has four-momentum , a future-pointing null vector. Four-momentum conservation states that the total incoming and outgoing four-momenta agree for an isolated interaction; this includes both energy and momentum conservation in every inertial frame.
Take the incoming photon direction as . Its energy is , so the total initial four-momentum is
The invariant mass available after photon absorption is therefore . In the centre-of-momentum frame, the two equal daughters have opposite momenta. Their total energy is at least their combined rest energy , with equality precisely when both daughters have zero momentum in that frame. Thus the mass threshold after photon absorption is
The bound is attainable kinematically by taking each daughter four-momentum equal to ; each then has the required rest mass. It immediately gives as .
At this threshold both daughters move with the centre-of-momentum frame. The common laboratory velocity follows from :
For , its continuous limiting value is zero. At smaller allowed daughter rest masses, some of the centre-of-momentum energy appears as their relative kinetic energy, so their four-momenta need not be .
For a Lorentz transformation to an inertial frame moving at speed in the positive direction, write and . Any four-vector transforms as
This convention applies to and uses the same Minkowski metric as the four-momentum calculation.
The definition of proper time gives for . Hence the four-velocity is
Since , differentiating with respect to proper time gives
Here simplifies the spatial component of the four-acceleration.
At each event, boost with to the instantaneous rest inertial frame. Then and . Thus the signed proper acceleration for one-dimensional motion is
The last equality follows by differentiating ; its magnitude is the usual scalar proper acceleration.
If this signed proper acceleration is constant and the particle starts from rest, integration gives , so
Integrating once more and imposing yields the hyperbolic motion worldline
For the continuous limiting solution is . Finally, the Taylor series of the square root gives
This recovers constant-acceleration Newtonian mechanics at low speed while the exact relativistic speed remains less than .
In the local rest frame the four-velocity is , the current is , and the pressureless particle fluid has only nonzero. Covariance therefore gives
The absence of random rest-frame velocities is what makes this a dust stress-energy tensor rather than a fluid with pressure. The Lorentz four-force on a particle and its equation of motion are and .
Particle-number conservation gives . It also follows from charge conservation when , obtained by antisymmetric double differentiation of Maxwell's equations. Consequently
Adding part (i) proves . Energy and momentum exchanged with the field cancel in the total tensor.