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 static observer congruence of the Schwarzschild exterior model: unit field, integral curves, acceleration and clock-rate ratios
Statement
Let be the Schwarzschild exterior datum of mass parameter with Schwarzschild radius and (The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation), with metric-selected connection (Metric compatibility, torsion freedom and the metric-selected connection class, Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields). Define the smooth vector field
on . Then:
(a) Observer congruence. is a smooth observer congruence on in the sense of Observer congruences, their observer curves and adapted charts: and at every point, so is a future-directed unit timelike field.
(b) Integral curves. For any , including sphere poles, the maximal integral curve of through , with length-valued flow parameter , is It is defined on all of and is the static observer worldline at radius . In a spherical-polar chart it has constant angular coordinates ; in any angular chart the sphere point is constant, and the global coordinate increases monotonically.
(c) Proper time and clock rate. Along each static observer worldline the proper time is an affine function of the flow parameter , with , and
where is the coordinate difference in metres between two events of the worldline and is the same difference in seconds. In particular the proper-time increment is strictly positive for , and it is smaller than for at every finite radius because .
(d) Clock-rate ratio. For two static observers at radii compared over the same coordinate interval , the proper-time increments satisfy
(e) Acceleration. The acceleration field of the congruence is ; it is spatial, nowhere zero, and points in the direction of increasing , so the static observers are not geodesics.
(f) Scope. These are identities of the geometric datum. The reading of as the time measured by an ideal clock and of the congruence as a family of static observers belongs to the framework's postulates and is not asserted here; no measurement and no comparison with any observed rate is made.
Facts & Assumptions
Given: The Schwarzschild exterior datum with , a spherical-polar product chart , the metric of the datum, its connection and the field .
In a spherical-polar product chart the metric components are , , , with on , and the nonzero Christoffel symbols are those of Christoffel symbols of the Schwarzschild exterior metric in product charts, in particular with (The Schwarzschild exterior datum is a smooth time-oriented Lorentzian four-manifold, Christoffel symbols of the Schwarzschild exterior metric in product charts).
An observer congruence on an open set is a smooth field with and everywhere; its observer curves are the maximal integral curves of , and the field is called the acceleration field , which is spatial; the flow parameter of is not by itself a clock reading (Observer congruences, their observer curves and adapted charts, Observers, rest spaces and the spatial projection at an event, Acceleration, expansion and the along-congruence derivative of an observer congruence, Spatiality and curve identity of the acceleration, the divergence form of the expansion, and the along-congruence derivative).
For a future timelike worldline the proper-time density is , the proper time is strictly increasing with the parameter, and the four-velocity satisfies (Timelike worldlines, proper time, length and four-velocity on a Lorentzian four-manifold, Proper time is well defined and reparametrization invariant; the four-velocity is its proper-time tangent).
The function is smooth on because is smooth, positive and never zero there, and is smooth on ; the product and chain rules apply (Continuity and derivatives of positive-base real powers, 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 , Rational powers of a positive base, The derivative of at a point that is a limit point of , and differentiability on a set).
The maximal integral curve of a smooth vector field through a point is unique and defined on an open interval; for the coordinate field on a product domain the integral curves are obtained by translating the coordinate (Observer congruences, their observer curves and adapted charts clause (b), A smooth vector field is a smooth section of the tangent bundle, The Axiom of Countable Choice ()).
Proof
(Unit timelike and future-directed.) By [L1] and [L4], , and ; hence is a unit timelike future-directed smooth field, i.e. an observer congruence, and is smooth and positive. This proves (a).
(Integral curves.) Because and depends only on , in any angular chart at the fixed sphere point, the components of are , along the curve at constant ; the curve of clause (b) has tangent at every value of the parameter and satisfies the initial condition at , so by uniqueness of maximal integral curves [L5] it is the maximal integral curve, defined for all because the explicit formula is defined there. This proves (b).
(Proper time.) The tangent has by step 1.1, so by [L3] the proper-time density is , constant; integrating over a parameter interval of length gives . Since increases by over that interval by step 1.2, we obtain and hence ; the increment is positive for , and on . This proves (c).
(Clock-rate ratio and acceleration.) Since the common increment and , step 2.1 gives . Dividing the identity of step 2.1 for by the same identity for over a common coordinate interval gives , which is (d). For the acceleration, by [L2] and [L1], , where the first term vanishes because is independent of ; substituting gives , which is spatial, nonzero and along . This computation holds on the dense polar-chart locus. Both and are smooth global vector fields, so their equality extends to the poles by continuity. This proves (e) globally.
(Conclusion.) Steps 1.1, 1.2, 2.1 and 3.1 prove clauses (a)-(e) as identities of the datum, using only its geometric data and the cited definitions; clause (f) records that the clock reading and the observer interpretation belong to the framework's postulates and that no measurement or empirical comparison is made.
Remarks
-
Static does not mean geodesic. The acceleration is nonzero at every finite radius: the static observers are held at fixed by an external constraint and are not free-fall worldlines. The magnitude diverges as ; this is a statement about the congruence, not about the curvature.
-
Relation to the redshift. The ratio of clause (d) is a ratio of proper times of static observers over the same coordinate interval; the related but distinct statement about the observer energies of a null geodesic between two static observers is proved in the physics theorem of this page, and it is the latter that involves the light-ray postulate.
Depends on
The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation
The Schwarzschild exterior datum is a smooth time-oriented Lorentzian four-manifold
Christoffel symbols of the Schwarzschild exterior metric in product charts
Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model
Metric compatibility, torsion freedom and the metric-selected connection class
Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields
Observers, rest spaces and the spatial projection at an event
Observer congruences, their observer curves and adapted charts
Acceleration, expansion and the along-congruence derivative of an observer congruence
Spatiality and curve identity of the acceleration, the divergence form of the expansion, and the along-congruence derivative
Timelike worldlines, proper time, length and four-velocity on a Lorentzian four-manifold
Proper time is well defined and reparametrization invariant; the four-velocity is its proper-time tangent
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
Rational powers of a positive base
Continuity and derivatives of positive-base real powers
The Axiom of Countable Choice ()
A smooth vector field is a smooth section of the tangent bundle
Dependency tree · 2 levels
Sources
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 6.1: the Schwarzschild metric (6.1) and the statement that the metric is independent of the time coordinate, printed p. 232 (PDF p. 239); section 4.3.2: conserved quantities from Killing vectors, printed pp. 163-165 (PDF pp. 170-172)
- P. K. Townsend, Black Holes, arXiv:gr-qc/9707012v1 (1997), section 2.2: the Killing vector k = partial_t of the Schwarzschild metric and the conserved charge mk_mu dx^nu/dtau g_{mu nu} = -m epsilon, printed pp. 13-14
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 7 (7.41)-(7.44): the energy and angular momentum constants of Schwarzschild geodesics, printed p. 174 (PDF p. 181)