How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The uniformly accelerated worldline: hyperbolic motion, constant four-acceleration magnitude, and identification as a Rindler flow line
Statement
Let and , set , and let be the affine Minkowski space with an inertial chart , (Oriented time-oriented affine Minkowski space (the spacetime primitives), Inertial frames and inertial charts of the affine Minkowski model). Write for the coordinate components of the curve defined by , where .
(a) Regularity, causal character and parametrization. is , and is future timelike for every (Timelike, null, spacelike and causal vectors of a Lorentz vector space, Time orientation, future and past timelike/null/causal vectors, and the closed cones), so is a future timelike worldline (Curves, regular causal curves and future timelike worldlines in affine Minkowski space). Since is constant, the parameter is a proper-time parameter of the curve: the proper-time function of Proper time along a future timelike worldline satisfies for all in (Proper time along a future timelike worldline, The proper-time function is a strictly increasing C^1 parametrization with C^1 inverse), and the four-velocity is with (Four-velocity and four-acceleration of a future timelike worldline, Norms of four-velocity and four-acceleration, and the observer rest-space decomposition (a)).
(b) Constant four-acceleration magnitude. The four-acceleration satisfies and . The chart coordinate velocity is , so for every , and for every : the worldline lies in the right wedge and its speed in the chart tends to only as .
(c) Rindler flow line. Let on and let be the Rindler congruence of Fermi-Walker transport preserves the metric, and explicit rigid and non-rigid observer congruences (b), whose pullback metric is and whose congruence acceleration is , with (The flat covariant derivative on affine Minkowski space and fields along curves, Kinematics of an observer congruence: acceleration, expansion, shear, vorticity and Born rigidity). Then is exactly the flow line reparametrized by , and along one has : the four-acceleration of the worldline is times the congruence acceleration, and on the flow line .
(d) Asymptotic behaviour. Along one has with as , and with as : the worldline approaches each of the null planes and asymptotically without meeting either, and the chart coordinate speed tends to at both ends.
(e) Scope. This is an exact kinematic computation in the affine model. It uses no force law, no mass, no clock hypothesis and no empirical input; beyond identifying the displayed parameter with the proper time of the curve, only the flow parametrization of the congruence is used. The curve is not asserted to be a geodesic and no statement is made about the forces that would maintain it. No choice principle is used.
Facts & Assumptions
Given: The affine Minkowski space with fixed ; an inertial chart with and orthonormal basis (Inertial frames and inertial charts of the affine Minkowski model); , , , and the curve for .
Model and chart: for the frame isomorphism , so specifying the four coordinates determines the event, and vector components are read in the orthonormal basis in which has matrix (Oriented time-oriented affine Minkowski space (the spacetime primitives), Inertial frames and inertial charts of the affine Minkowski model).
Differentiability of a curve is defined through its coordinate representation , with ; the curve is when the coordinate map is (Curves, regular causal curves and future timelike worldlines in affine Minkowski space (a)).
, , , and for all real (The six hyperbolic functions and their natural domains).
, , , is odd, is even, is strictly increasing and onto (Addition formulas, identities, parity, and derivatives of the hyperbolic functions). The limits follow from its exponential formula and [L14].
Differentiability and the chain rule: the derivative of a composite with an affine inner map is the product, , and sums, scalar multiples and products of differentiable functions are differentiable with the usual rules (The derivative of at a point that is a limit point of , and differentiability on a set, The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with , Sums, scalar multiples, products and quotients: , , , and when ).
Coordinate criterion: in any inertial chart, and , where is the time component and the Euclidean norm of the spatial part (The closed future cone in inertial coordinates: description, finite sums, and the coordinate criterion for causal reachability (a)).
Causal classification: a vector is timelike if , spacelike if , and each nonzero timelike vector is future or past but not both (Timelike, null, spacelike and causal vectors of a Lorentz vector space, Time orientation, future and past timelike/null/causal vectors, and the closed cones).
Proper time: for a future timelike worldline , , defined up to an additive constant (Proper time along a future timelike worldline).
Proper-time parametrization: is and strictly increasing with ; the reparametrized curve has tangent at the proper-time parameter, and the derivative formula is the four-velocity (The proper-time function is a strictly increasing C^1 parametrization with C^1 inverse (i),(iii),(iv)).
Four-velocity and four-acceleration: , and for curves is the derivative of with respect to the proper-time parameter (Four-velocity and four-acceleration of a future timelike worldline (a),(b)); and with spacelike wherever it is nonzero (Norms of four-velocity and four-acceleration, and the observer rest-space decomposition (a),(b)).
The smooth Rindler field of [L13] is future unit timelike; its acceleration is with (Kinematics of an observer congruence: acceleration, expansion, shear, vorticity and Born rigidity (b),(e)).
Covariant derivative along curves: for a curve and a ambient field defined near its image, the derivative of the restricted field is in the canonical identification, and (The flat covariant derivative on affine Minkowski space and fields along curves (a),(d)).
Rindler congruence: is a smooth bijection onto the right wedge with pullback metric ; is future unit timelike, Born rigid and irrotational, with and (Fermi-Walker transport preserves the metric, and explicit rigid and non-rigid observer congruences (b)).
Exponential limits: as and as (The exponential tends to at and to at ).
Proof
(The tangent.) Writing in the chart, the coordinate functions are , , and the two constants ; differentiating with the chain rule and the hyperbolic derivative formulas gives , because by . In particular the coordinate functions are , since each derivative has the same form with and exchanged.
(Elementary hyperbolic identities.) From the exponential definitions, and ; combined with and this gives , hence for every .
(The curve is a Rindler flow line.) Substituting , into gives with ; hence is exactly the flow line , reparametrized by the affine map , and at the Rindler field is with acceleration .
( is a regular future timelike worldline.) By step 1.1 the coordinate functions are , so is by [L2]; by step 1.2 and the matrix of in the frame, so is timelike; and its time component is by step 1.2, so by the coordinate criterion [L6]. Hence is future timelike and nonzero, and is a future timelike worldline.
(Chart speed and the wedge.) The chart time is with , so and, by step 1.1, ; step 1.2 gives . Also by step 1.2, so the worldline lies in .
(Proper-time parametrization and four-velocity.) By step 2.1 the curve is a future timelike worldline, so its proper-time function satisfies by [L8] and step 2.1; thus the given parameter is a proper-time parameter of up to an additive constant, in agreement with [L9]. Consequently the four-velocity is by [L10] and step 1.1, and .
(Asymptotics.) From the addition formulas in exponential form of step 1.2, and , both strictly positive for every . As we have , so by [L14] and ; as we have , so and . Hence the worldline approaches both null planes asymptotically and meets neither. For , by [L14]; oddness gives the negative-end limit . Thus the signed chart velocity tends to and its magnitude to .
(The four-acceleration and its magnitude.) Differentiating each component of in the proper-time parameter with the chain rule and the hyperbolic derivative formulas gives . Then and by step 1.2; the second identity is consistent with [L10].
(Identification of the four-acceleration with .) Along one has by steps 1.3 and 3.1 with ; the total derivative of along this smooth curve is , and by [L12] and [L11] it equals . Therefore . Substituting into from [L13] gives .
(Scope.) Every step above is a finite-dimensional computation in the affine model from the cited definitional suppliers: the curve, its causal character, its proper-time parametrization, its four-acceleration, the identification and the asymptotics. No force law, mass, geodesic property, clock hypothesis or empirical input was used, and no choice principle was used.
Depends on
Oriented time-oriented affine Minkowski space (the spacetime primitives)
Inertial frames and inertial charts of the affine Minkowski model
Curves, regular causal curves and future timelike worldlines in affine Minkowski space
Proper time along a future timelike worldline
Four-velocity and four-acceleration of a future timelike worldline
Norms of four-velocity and four-acceleration, and the observer rest-space decomposition
Kinematics of an observer congruence: acceleration, expansion, shear, vorticity and Born rigidity
The flat covariant derivative on affine Minkowski space and fields along curves
Fermi-Walker transport preserves the metric, and explicit rigid and non-rigid observer congruences
The six hyperbolic functions and their natural domains
Addition formulas, identities, parity, and derivatives of the hyperbolic functions
The derivative of at a point that is a limit point of , and differentiability on a set
Sums, scalar multiples, products and quotients: , , , and when
The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with
The proper-time function is a strictly increasing C^1 parametrization with C^1 inverse
Timelike, null, spacelike and causal vectors of a Lorentz vector space
Time orientation, future and past timelike/null/causal vectors, and the closed cones
The exponential tends to at and to at
The closed future cone in inertial coordinates: description, finite sums, and the coordinate criterion for causal reachability
Dependency tree · 2 levels
Sources
- B. Crowell, Special Relativity, revision 2020-12-10 (author-published undergraduate textbook, 246 PDF pages): Section 3.5.2 'The acceleration vector', Example 4 'Constant proper acceleration' and the following page (hyperbolic motion t = (1/a) sinh(a tau), x = (1/a) cosh(a tau), the identity x = (1/a) sqrt(1 + a^2t^2) and the lightlike asymptote) and Section 7.1 'An example: accelerated coordinates' p. 148 (t = X sinh T, x = X cosh T, proper acceleration 1/X); signature (+---) converted to (-+++), c = 1 formulas restored to x^0 = c t
- M. Blau, Lecture Notes on General Relativity (University of Bern, last update October 5, 2026, 1052 PDF pages): Section 1.3 pp. 36-38 (the worldline u = (cosh a tau, sinh a tau), xi = (a^{-1} sinh a tau, a^{-1} cosh a tau), the hyperbola eta(xi,xi) = -a^{-2} in the quadrant x^1 > |x^0|, and the proper time and acceleration a = 1/rho_0 of a rho = const worldline) and Section 3.4 pp. 90-93 (Rindler coordinates, their ranges and the right Rindler wedge)