Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedprecheck pass
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 (M,g,N) be the Schwarzschild exterior datum of mass parameter m∗ with Schwarzschild radius s>0 and f(r)=1−s/r (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

n:=f−1/2 ∂0=(1−sr)−1/2∂0

on M. Then:

(a) Observer congruence. n is a smooth observer congruence on M in the sense of Observer congruences, their observer curves and adapted charts: g(n,n)=−1 and g(n,N)<0 at every point, so n is a future-directed unit timelike field.

(b) Integral curves. For any p=(c0,r0,ω0)∈M, including sphere poles, the maximal integral curve of n through p, with length-valued flow parameter λ∈R, is λ↦(c0+f(r0)−1/2λ, r0, ω0). It is defined on all of R and is the static observer worldline at radius r0. In a spherical-polar chart it has constant angular coordinates (ϑ0,φ0); in any angular chart the sphere point is constant, and the global coordinate x0 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 dτdλ=1c, and

Δτ=f(r0)c Δx0=f(r0) Δt,

where Δx0 is the coordinate difference in metres between two events of the worldline and Δt=Δx0/c is the same difference in seconds. In particular the proper-time increment is strictly positive for Δx0>0, and it is smaller than Δt for Δx0>0 at every finite radius because 0<f(r0)<1.

(d) Clock-rate ratio. For two static observers at radii r1,r2∈(s,∞) compared over the same coordinate interval Δx0≠0, the proper-time increments satisfy

Δτ1Δτ2=f(r1)f(r2)=1−s/r11−s/r2.

(e) Acceleration. The acceleration field of the congruence is a:=∇nn=f′(r)2 ∂1=s2r2 ∂r; it is spatial, nowhere zero, and points in the direction of increasing r, 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 s>0, a spherical-polar product chart (x0,r,ϑ,φ), the metric g of the datum, its connection ∇ and the field n=f−1/2∂0.

[L1]

In a spherical-polar product chart the metric components are g00=−f, g11=f−1, g22=r2, g33=r2sin⁡2ϑ with f(r)=1−s/r>0 on r>s, and the nonzero Christoffel symbols are those of Christoffel symbols of the Schwarzschild exterior metric in product charts, in particular Γ100=ff′/2 with f′=s/r2 (The Schwarzschild exterior datum is a smooth time-oriented Lorentzian four-manifold, Christoffel symbols of the Schwarzschild exterior metric in product charts).

[L2]

An observer congruence on an open set is a smooth field n with g(n,n)=−1 and g(n,N)<0 everywhere; its observer curves are the maximal integral curves of n, and the field is called the acceleration field a=∇nn, which is spatial; the flow parameter of n 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).

[L3]

For a C1 future timelike worldline the proper-time density is c−1−g(γ′,γ′), the proper time is strictly increasing with the parameter, and the four-velocity U=γτ′ satisfies g(U,U)=−c2 (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).

[L5]

The maximal integral curve of a smooth vector field through a point is unique and defined on an open interval; for the coordinate field ∂0 on a product domain the integral curves are obtained by translating the coordinate x0 (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 (ACω)).

Proof

technique · evaluate the metric on $n$, integrate the flow explicitly, and apply the proper-time and acceleration definitions
1.1L1L2L4algebra

(Unit timelike and future-directed.) By [L1] and [L4], g(n,n)=f−1g00=f−1(−f)=−1, and g(n,N)=f−1/2g(∂0,∂0)=−f1/2<0; hence n is a unit timelike future-directed smooth field, i.e. an observer congruence, and f1/2 is smooth and positive. This proves (a).

1.2L1L4L5algebra

(Integral curves.) Because n=f(r)−1/2∂0 and f depends only on r, in any angular chart at the fixed sphere point, the components of n are n0=f(r0)−1/2, n1=n2=n3=0 along the curve at constant (r0,ω0); the curve of clause (b) has tangent n at every value of the parameter λ and satisfies the initial condition at λ=0, so by uniqueness of maximal integral curves [L5] it is the maximal integral curve, defined for all λ∈R because the explicit formula is defined there. This proves (b).

2.1L1L3step 1.2algebra

(Proper time.) The tangent γ′(λ)=nγ(λ) has g(γ′,γ′)=−1 by step 1.1, so by [L3] the proper-time density is c−11=1/c, constant; integrating over a parameter interval of length Δλ gives Δτ=Δλ/c. Since x0 increases by Δx0=f(r0)−1/2Δλ over that interval by step 1.2, we obtain Δλ=f(r0)1/2Δx0 and hence Δτ=f(r0)1/2Δx0/c=f(r0)1/2Δt; the increment is positive for Δx0>0, and 0<f<1 on r>s. This proves (c).

3.1L1L2step 1.1algebra

(Clock-rate ratio and acceleration.) Since the common increment Δx0≠0 and f(r2)>0, step 2.1 gives Δτ2≠0. Dividing the identity of step 2.1 for r1 by the same identity for r2 over a common coordinate interval gives Δτ1/Δτ2=f(r1)/f(r2), which is (d). For the acceleration, by [L2] and [L1], ∇nn=f−1/2∇∂0(f−1/2∂0)=f−1/2(∂0(f−1/2)∂0+f−1/2Γa00∂a)=f−1Γ100∂1=12f′∂1, where the first term vanishes because f is independent of x0; substituting f′=s/r2 gives a=s2r2∂1, which is spatial, nonzero and along ∂1. This computation holds on the dense polar-chart locus. Both ∇nn and s(2r2)−1∂r are smooth global vector fields, so their equality extends to the poles by continuity. This proves (e) globally.

4.1step 1.1step 1.2step 2.1step 3.1given∎

(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 a=s2r2∂1 is nonzero at every finite radius: the static observers are held at fixed r by an external constraint and are not free-fall worldlines. The magnitude ∣a∣g=f′2f=s2r21−s/r diverges as r↓s; 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

Dependency tree · 2 levels

Sources