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.
Static Schwarzschild clocks at 2s and 4s, and the near-horizon acceleration limit
Worked model calculation for ideal static observers and an ideal light ray. The near-horizon acceleration is a model requirement for static motion, not an observation; curvature and extension statements are geometric properties of the specified Schwarzschild model.
Example
Let be the adopted Schwarzschild exterior datum with and . Compare ideal static clocks at radii and over a common Schwarzschild coordinate-time interval of duration . For the frequency ratio, choose a specified smooth, affinely parametrized future-directed null geodesic in the exterior with endpoint parameters on those static worldlines, and use the ideal geometric-optics frequencies assigned by the endpoint static observers. Here and .
-
The exact model ratios are
The static proper acceleration at is .
-
Write for . The exact static proper acceleration is
which tends to as . In contrast, the curvature scalar has limit by Orthonormal-frame curvature components and the Kretschmann scalar 12s^2/r^6 of the Schwarzschild exterior metric, and the advanced extension chart is smooth through by Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart. The acceleration divergence is therefore a property of maintaining a static worldline near the boundary, not evidence of a curvature blow-up there.
Facts & Assumptions
Given: The Schwarzschild exterior with , static observers at and , and an ideal ray in the geometric-optics reading.
The proper-time increments of two static clocks over a common Schwarzschild coordinate-time interval satisfy ; for ideal geometric-optics frequencies measured at the endpoint events of a specified future-directed null geodesic between those static observers, ; and the proper acceleration is (Static-clock redshift, proper acceleration, and a controlled weak-field expansion in Schwarzschild).
The curvature scalar is in the Schwarzschild exterior and has boundary limit as (Orthonormal-frame curvature components and the Kretschmann scalar 12s^2/r^6 of the Schwarzschild exterior metric).
The advanced extension chart is a smooth Lorentzian extension through , isometric to the exterior on (Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart).
Verification
Substitution gives and . Applying [F1] yields the frequency and clock ratios. The acceleration at is .
At , , so [F1] gives , which diverges as . By [F2], tends to , a finite value.
[F3] supplies a smooth extension through the same boundary. Hence the divergence in 1.2 is the static-observer acceleration requirement in the exterior chart, while this curvature scalar remains finite and the metric has the stated smooth extension. No measured clock ratio or acceleration is asserted.
Depends on
Static-clock redshift, proper acceleration, and a controlled weak-field expansion in Schwarzschild
The static observer congruence of the Schwarzschild exterior model: unit field, integral curves, acceleration and clock-rate ratios
Orthonormal-frame curvature components and the Kretschmann scalar 12s^2/r^6 of the Schwarzschild exterior metric
Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart