Skip to content

Accelerated Observers and Reference Frames

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Acceleration in relativity is not one idea but three that must be kept separate. A single observer has an invariant proper acceleration, read by an accelerometer on that observer’s worldline. A reference frame is a chosen congruence of worldlines together with clocks and spatial axes. A coordinate acceleration, finally, is a second derivative of coordinate labels and can be nonzero for a freely moving body—or zero for a supported body whose accelerometer is nonzero.

This chapter makes those distinctions operational in flat spacetime. The reward is substantial: horizons, redshifts, lapse functions, shifts, and inertial forces can all appear before curvature does. They are therefore not, by themselves, evidence of gravitation.

Helpful background. Calculus and Linear Algebra for Relativity and Differential Equations for Relativity support the worldline and coordinate-domain calculations; Events, Intervals, and Minkowski Geometry fixes the flat causal geometry; Observers, Rest Spaces, and Measured Components supplies observer projections.

The same motion can be described at three different levels:

LevelMathematical objectOperational question
One observerOne timelike worldline and its four-accelerationWhat does the carried accelerometer read?
Carried frameA tetrad transported along that worldlineDo torque-free gyroscopes judge the spatial axes nonrotating?
Reference frameA congruence of worldlines, clocks, and spatial labelsWhere is the clock network timelike, synchronized, and one-to-one?

The global conventions are especially visible here:

ημν=diag⁡(−1,1,1,1),c=1.\eta_{\mu\nu}=\operatorname{diag}(-1,1,1,1), \qquad c=1.

Greek indices are spacetime components; hatted Latin indices label components measured in an observer’s orthonormal frame. For a timelike worldline, uμuμ=−1u^\mu u_\mu=-1. The four-acceleration is aμ=Duμ/dτa^\mu=D u^\mu/d\tau, and its invariant magnitude is α=aμaμ≥0\alpha=\sqrt{a^\mu a_\mu}\geq0. Metric compatibility makes u⋅a=0u\mathbin{\cdot}a=0, so nonzero four-acceleration is spacelike.

Begin with Proper Acceleration and Accelerometer Readings, which derives the invariant read by an ideal instrument and relates it to laboratory three-acceleration. Fermi–Walker Transport and Nonrotating Frames then defines a carried frame that a torque-free gyroscope judges nonrotating; noncollinear boosts lead to Thomas precession.

Accelerated Coordinate Systems enlarges one worldline into a coordinate network. Its central lesson is that the construction can fail through a vanishing Jacobian, intersecting simultaneity slices, or an inadmissible observer congruence while Minkowski spacetime remains perfectly regular. The distinction is made concrete in Uniform Acceleration and Rindler Wedges: Rindler coordinates end at null boundaries that are causal horizons for uniformly accelerated observers, not curvature singularities or a global black-hole event horizon.

Rotation adds a new obstruction. Rotating Frames, Sagnac Timing, and Light Cylinders derives the synchronization gap around a ring and shows that fixed rotating coordinates cease to describe timelike observers at the light cylinder. Lapse, Shift, and Measurements in Noninertial Coordinates unifies the examples and introduces the decomposition later used for spacetime foliations.

The proper-acceleration and Rindler derivations can be checked in Hughes 2024, Lectures 13–14, printed pp. 104–122. Transported frames, Thomas precession, accelerated redshift, rotation, and Sagnac timing are summarized in Gourgoulhon 2010, PDF slides 17–40. Radar and Fermi coordinate constructions are compared in Pauri and Vallisneri 2000, §§2–4, printed pp. 2–9, while the lapse–shift decomposition is derived in Gourgoulhon 2007, §§3.3 and 4.2, printed pp. 41–59.

In uniformly rotating coordinates, a point at fixed radius rr follows the coordinate time flow with norm gtt=−(1−Ω2r2)g_{tt}=-(1-\Omega^2r^2). For which radii does that coordinate line represent a physical observer, and what distinguishes its motion from a curvature effect?

Solution

The line is timelike only when ∣Ω∣r<1|\Omega|r\lt1. At ∣Ω∣r=1|\Omega|r=1 it becomes null, and beyond that light cylinder it cannot be the worldline of material at fixed rotating coordinates. Inside the cylinder its coordinate position is constant, yet an accelerometer reads the nonzero inward proper acceleration α=γ2Ω2r\alpha=\gamma^2\Omega^2r, with γ=(1−Ω2r2)−1/2\gamma=(1-\Omega^2r^2)^{-1/2}. The spacetime Riemann tensor still vanishes: the accelerometer diagnoses forced motion, while curvature would be diagnosed by invariant tidal relations, not by gttg_{tt} or coordinate acceleration alone.

A proposed “rigid rocket” assigns the same nonzero proper acceleration a0a_0 to every clock along its length. Can its comoving distances remain constant indefinitely?

Solution

No. In the nonrotating accelerated chart, fixed-coordinate clocks have

α(ξ)=a01+a0ξ\alpha(\xi)=\frac{a_0}{1+a_0\xi}

on the future-oriented component. The front must accelerate less than the rear. Giving every clock the same proper acceleration makes their instantaneous-rest hyperplanes pivot about different events; the proposed clock network is not the Born-rigid Rindler congruence and eventually loses the intended fixed-distance interpretation.

After the chapter, you should be able to derive an accelerometer reading, transport a nonrotating tetrad, construct and test an accelerated chart, explain a Rindler horizon without invoking curvature, calculate a Sagnac delay, and identify which observer a lapse–shift decomposition describes.

The scope remains classical and flat-spacetime. Curvature, the Einstein equation, and the quantum Unruh effect belong later. The immediate continuation is Classical Fields and Electromagnetism, where observer-dependent electric and magnetic fields provide another test of invariant versus frame-dependent statements.