Let be the constant proper acceleration away from the emitter and set . Take the signal emission to be simultaneous, in the initial inertial frame, with the ship being at rest and its clock reading . Place that initial ship event at , . Its hyperbolic motion is
A photon emitted from at towards the departing ship follows . At reception,
Therefore light reception by a uniformly accelerated observer occurs after
The same result follows in Rindler coordinates: the ship stays at , the emitter starts at , and the right-moving null ray has . The onboard lapse converts its coordinate catch-up time to the expression above.
If , the ray lies on the limiting null horizon and never intersects it at finite proper time; if , it never reaches the ship. The reception time diverges as the emitter approaches this Rindler horizon. For , , recovering the inertial light-travel time. A different emission time or initial relative velocity would require specifying that extra datum; the formula uses the initial-rest simultaneous-emission convention stated above.
Differentiating the supplied coordinates gives
Subtract the squares. The cross terms cancel and , yielding
The spacetime is flat Minkowski spacetime in Rindler coordinates. covers , the right Rindler wedge, while covers the left wedge ; neither is the whole spacetime.
The null combinations are
For the first is constant; for the second is constant. Thus part (a)'s exponentials are simply the inertial light rays . Their coordinate-time asymptotes reflect the chart's Rindler horizon, not a failure of light to move at in an inertial frame.
For coordinates the inverse metric is , . Only is nonzero, giving the Christoffel symbols
with all remaining components zero.
On the specified constant- worldline, assume . The four-velocity is , , and its norm is , so is indeed proper time. The coordinate components are constant, but the covariant acceleration is nonzero:
The proper acceleration of a static Rindler observer is
The acceleration has constant components in this accelerated chart and constant invariant magnitude. It is not a covariantly constant vector: its inertial-frame components change along the hyperbolic trajectory. For , the magnitude is , with the appropriate choice of future time orientation.
Put and . Radial null geodesics of the Schwarzschild metric obey
Near the horizon, satisfies
describes the exterior and the interior. The exponential approach in Schwarzschild coordinate time resembles part (a), but is not a proper radial distance.
Outside, set and retain the leading near-horizon terms. The radial metric becomes the Rindler limit of a Schwarzschild horizon:
It agrees with part (a) for , . Accordingly , while explains the factor two in its exponent.
Inside, write . The leading radial metric is instead
Here the radial coordinate is timelike and the Schwarzschild coordinate is spacelike. Thus in the Rindler metric does not represent the black-hole interior: stays positive on both Rindler wedges. In the black-hole interior all future-directed radial light rays move towards decreasing ; the two signs of do not mean opposite future radial directions because is no longer time.
The horizon is a coordinate singularity in Schwarzschild coordinates and in the accelerated chart, not a curvature singularity. The full Schwarzschild geometry nevertheless has genuine tidal forces; the flat Rindler metric captures its leading local radial near-horizon structure.
Take and work in a connected patch with . Setting the line element to zero gives
These are the two families of Rindler null geodesics. They remain on the same side of and approach it only at infinite coordinate time. itself is not an additional geodesic within this chart, since the metric is degenerate there.
The paths can also be written . In two dimensions a null direction has only one independent orthogonal null direction, namely itself, so each smooth null curve is a geodesic after reparametrization. More explicitly, the transformation in part (d) makes these paths straight null lines. The coordinate is generally not an affine parameter.
Figure 1.
Rindler light rays and the reception horizon of a uniformly accelerated observer
. Original diagrams. The left panel shows the two exponential null families on both sides of the excluded chart boundary. The right panel uses inertial coordinates: a hyperbolic observer receives a signal emitted within its horizon, but cannot receive the horizon ray or a ray emitted farther behind. Length and time are normalized by . Details.
An independent physical solution is the cross polarization
It is symmetric, traceless and transverse to . Unlike the pure coordinate mode, it has nonzero linearized Riemann curvature operator: for example, in the convention ,
Changing the curvature sign convention reverses this component but cannot make it vanish. Gauge invariance of the linearized Riemann tensor therefore proves that this nonzero mode cannot be removed by a coordinate transformation.
The principal stretch directions are rotated by degrees relative to the plus polarization. In the same proper-length convention as part (c), its first-order angular response is . The two independent transverse patterns are the two propagating gravitational degrees of freedom.
Use the plus-sign transformation rule for stated in this part. A generator with constant produces the pure-gauge plane wave in linearized gravity
Because , it obeys both and , preserving the imposed Lorenz gauge in linearized gravity.
For an explicit example choose , with constant small . Since , this gives
Indeed, direct differentiation gives , whose trace is zero, so . This wave-shaped metric disturbance is only a coordinate description of flat spacetime: its linearized Riemann curvature operator vanishes. All its second-derivative terms are proportional to four factors of , and the antisymmetric curvature combinations cancel.
For the supplied plus polarization, the perturbation is traceless, so . At a fixed longitudinal coordinate , put . With the convention chosen above, the transverse spatial metric measuring positive squared lengths is
The initial coordinate separation is and remains constant in transverse-traceless gauge: implies , so initially stationary particles stay at fixed spatial coordinates. Their measured proper length is instead
The first expression is understood within the linearized metric; only its first-order expansion is controlled. Separation along the two transverse axes varies oppositely; at degrees there is no first-order length modulation. This is the angular response of a gravitational-wave separation, despite constant coordinate separation.
If the background is instead chosen as while keeping the same numerical spatial amplitude, the displayed length modulation has the opposite sign. The question does not state a signature here; the convention above agrees with its earlier explicitly specified Minkowski metric. The physical alternating stretch-compress pattern is unchanged by consistently redefining the signed amplitude.
Figure 1.
Plus and cross gravitational-wave distortions of a freely falling particle ring
. Original first-order proper-frame displacement calculation for an illustrative amplitude 0.2. The undeformed coordinate ring is shown faintly. The columns show opposite extrema and a zero of the wave phase; the cross pattern is rotated by 45 degrees relative to the plus pattern. Signs follow the metric convention used in the solution. Details.
Let . For a nonzero symmetric amplitude, substituting the plane wave into the wave equation gives . The gauge condition gives . Thus a propagating mode satisfies
The wavevector is null, so the gravitational wave propagates at the vacuum speed of light. The amplitude is transverse as a four-dimensional tensor in Lorenz gauge in linearized gravity. This condition alone does not set all time components or the trace to zero: residual gauge symmetry of linearized gravity remains. Of the ten symmetric components, four Lorenz constraints and four independent residual coordinate choices leave two physical gravitational wave polarizations.
Use the metric signature and throughout this question. The trace-reversed metric perturbation satisfies , so its inverse relation is
Set . Substituting this inverse relation into the linearized field operator cancels the second derivatives of the trace, leaving
The imposed Lorenz gauge in linearized gravity is . Therefore the Linearized Einstein equations in vacuum reduce to
The overall sign of the field operator is immaterial for this homogeneous equation.
Normalize the five-dimensional tangent as in part (c), and let . Since , one has , so
Substitution into the corrected equation in part (d) gives
This is the Lorentz force form in four-dimensional Minkowski spacetime. The effective charge-to-mass coefficient is proportional to the conserved fifth-direction momentum: in units and a potential normalization identifying with the electromagnetic four-potential, . The factor converting the geometrical to an SI potential fixes the physical charge units. Opposite signs of give opposite effective charges, and gives a neutral inertial projection. Antisymmetry gives .
This is a Kaluza-Klein theory mechanism: a higher-dimensional geodesic appears as forced motion after projection. With the explicitly supplied base signature, the positive fibre term gives a second positive direction in the five-dimensional metric. The derivation is a valid geometrical reduction of that metric; a conventional single-time spacetime would require a spacelike extra direction and corresponding sign changes. If one instead retains the sign printed in part (d), the inferred effective charge reverses, but that version is not the geodesic equation of the metric supplied here.
Differentiate the geodesic Lagrangian before substituting the conserved quantity. For a four-dimensional index ,
Its Euler-Lagrange equation, together with and , is
Thus the sign of the projected Kaluza-Klein Lorentz force is fixed by the printed metric:
The derivative order in the PDF's proposed equation is reversed. Its right-hand side is the negative of the result above for the stated and metric. This is not repaired by renaming the field tensor, because the two explicit derivative expressions have opposite signs. For example, , gives directly from the Lagrangian, whereas the printed expression gives the opposite. The corrected equation is used below.
An affine geodesic has constant squared tangent norm, but that constant depends on the scale of its parameter. Write
Using in the line element gives
The affine normalization in a Kaluza-Klein geodesic reduction matters: the specific formula requested in the paper uses , namely equal to the positive five-dimensional arclength. With that normalization,
A timelike four-dimensional projection has , requiring in this normalization. At the projection is null and has no proper-time four-velocity. For an arbitrary affine parameter the first boxed relation, with retained, is the general result.
Let a dot denote differentiation with respect to the five-dimensional affine parameter , and define . Use the quadratic geodesic Lagrangian
The assumed independence of makes it a cyclic coordinate, so the corresponding Euler-Lagrange equation is
Since , this gives
Geometrically, this is the conserved momentum associated with the fifth-direction Killing vector field . It is the conserved fibre momentum underlying the Kaluza-Klein geodesic Lorentz force.
For rest mass and electric charge , the generally covariant Lorentz force law is
Here is the electromagnetic field tensor for the chosen electromagnetic four-potential normalization, and the covariant derivative includes the spacetime Levi-Civita connection. Antisymmetry of ensures , preserving the four-velocity norm and the particle's rest mass. An uncharged particle follows a geodesic.
In Newtonian gravity, the radial equation with conserved specific angular momentum is . The substitution therefore gives the linear differential equation
Choosing along perihelion, its elliptic orbit solution is
Here is the semilatus rectum. One can check the last equality directly from , , and .
To find Schwarzschild perihelion precession, write in the relativistic equation and retain first order in . The linear ordinary differential equation for the correction is
The constant and double-frequency forcing change the orbit's shape without accumulating an angular shift. The resonant term produces
since . The oscillating part of the perturbed orbit is consequently the first-order expansion of
Successive perihelia are separated by , slightly more than a full revolution. Their forward angular advance is thus
in radians per orbit. This leading expression applies when . For a perfectly circular orbit there is no uniquely located perihelion; the same expression describes the limiting mismatch of radial and azimuthal frequencies for a small nonzero orbital eccentricity.
The relativistic orbit-shape equation can be derived without dividing by at a turning point. Substitute the norm constraint into the radial geodesic equation to eliminate and . Using gives
For a massive particle with proper time as parameter, . Put , and use primes in this paragraph for derivatives with respect to . The constant specific angular momentum gives , so the chain rule yields
Substituting these expressions into the radial equation and dividing by for a nonradial orbit gives
The extra term is responsible for Schwarzschild perihelion precession. It vanishes in the Newtonian weak-field limit . The derivation uses a massive particle; for a null geodesic, and the constant on the right is absent.
Write . The first proposed Lorentz transformation is
For the next transformation, write and substitute the first pair into and . The result is
The direct transformation between and must belong to the same standard boost family with the same calibration of space and time units. Such a transformation has one common factor multiplying the coefficient of in and that of in . Equality of these coefficients for generic requires
The case alone cannot constrain the scales, but a transformation law must work for arbitrary successive boosts. Once the scales agree, their composed velocity is and the common factor is . This establishes the universality of an invariant speed under boost composition within the proposed family.
Finiteness needs physical input. Sending to infinity gives the consistent Galilean transformation , . Its boosts compose with and satisfy a relativity principle. Thus the composition calculation itself does not prove that cannot be infinite. The finite propagation speed of light in vacuum and its invariance, supplied by the second of the postulates of special relativity, rule out this limit for physical spacetime. Under a Galilean transformation, a ray with laboratory speed would have speed in the moving frame, in conflict with that postulate.
Finally, the common invariant scale must be identified with the physical speed of light, rather than an arbitrary speed measured in one frame. Requiring a ray also to obey gives
Hence the physical scale is , taking the positive speed. The postulate about light identifies and requires a finite invariant scale; closure alone only establishes its universality. This distinction is necessary for a logically valid answer to the question's request to exclude infinity.
Let denote coordinate acceleration and use for four-acceleration, to distinguish these two objects. Applying the chain rule to the Lorentz factor gives
Since , differentiation of the four-velocity with respect to proper time yields
This is also , as required.
The invariant Minkowski norm of the four-velocity is . Differentiating this identity gives . In the instantaneous rest frame, , so and the spatial components equal the physically experienced proper acceleration . Therefore in the metric signature.
For a direct calculation, put and expand the temporal and spatial squares:
The last step uses . This proper acceleration from coordinate velocity and acceleration also reads , providing the familiar one-dimensional limit . Each expression has units .
The cosmological principle gives spatial homogeneity and cosmological isotropy for the large-scale spatial slices. About any chosen comoving observer, spherical coordinates therefore separate a radial direction from the angular directions. In particular,
is the metric tensor on the unit sphere. Its appearance expresses cosmological isotropy, rather than a privileged centre of the universe. The factor permits the radial geometry to have nonzero spatial curvature of an FLRW universe.
The scale factor changes every spatial separation between fixed comoving coordinates by the same multiplicative factor. For example, the radial proper distance in cosmology between fixed radial labels at a fixed cosmic time is
Expansion or contraction through this single function preserves spatial homogeneity and cosmological isotropy; direction-dependent scale factors would generally spoil the latter. The Friedmann-Lemaître-Robertson-Walker metric specifies this possible evolution geometrically; a dynamical theory is needed to determine .
The constant fixes the sign and normalization of the spatial curvature of an FLRW universe. The spatial scalar curvature is . With dimensionless and a suitably normalized scale factor, the familiar choices are for spherical, flat, and hyperbolic spatial geometry. A rescaling of changes the normalization of and together; its sign has invariant geometric significance. The local metric tensor alone does not fix global topology.
The coordinates share a cosmological, comoving construction: label the worldlines of the smooth cosmic fluid, and is the common cosmic time measured as proper time along those worldlines. Observers following that fluid keep their spatial labels while the scale factor changes their physical separations. The coordinate itself increases; it is not another constant spatial label. Thus the question's final phrase is understood as asking for their common adaptation to the cosmological fluid, rather than suggesting that all four coordinates are time independent or have the same units.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact