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.
Units, coordinate conventions and c restoration for the wave and Doppler formulas
Units and c-restoration conventions for the ideal plane-wave model of flat classical special-relativistic spacetime and its Doppler and aberration formulas. A conventions statement; it asserts no empirical content and excludes quantum energy identifications, amplitudes, intensities and measurement claims.
Remark
Remark on the conventions of SI units and coordinate conventions of the special-relativity framework and Null wave covectors, frame frequency data and the observer frequency of an ideal plane wave, for use with Doppler shift and aberration for an ideal plane wave between inertial descriptions. The frame data and wave data of a future null wave covector are related as in Frame data of a future null wave covector: the unique pair with , and the symbols below have the meanings fixed there and in Affine phase functions and wave covectors on affine Minkowski space.
(a) Units in the adopted coordinates . The phase is dimensionless; the coordinates , the wavelength and all distances are in metres; the components of a wave covector, the wave vector and are in ; the angular frequencies and and the linear frequencies are in ( also in hertz); is in ; and , , and are dimensionless. These assignments are consistent with the identities , , and phase dimensionless.
(b) Two coordinate forms. In the adopted coordinates and ; in a chart whose time coordinate is in seconds directly, so that the metric component carries and the time-space components carry , the same phase is with the same and , and the component tuple carries mixed units because it is read in the coordinate basis rather than in the dimensionless frame basis . Formulas derived in one convention are not reused unchanged in the other; this is the general warning of SI units and coordinate conventions of the special-relativity framework specialized to the wave covector.
(c) Natural units and restoration. In natural units with one has , , and the Doppler and aberration factors and are unchanged; restoring dimensions means replacing by , by , writing every velocity as with the dimensionless , and replacing by . The dimensionless factors and the longitudinal square roots need no restoration because they contain only , and ; the restoration affects the map between , , and the components of , not the shift factors themselves.
(d) Scope. This remark introduces no quantum identification of energy with , no amplitude or intensity content and no measurement claim; it is a units and convention statement carrying the scope of the items it cites. No choice principle is used.
Depends on
SI units and coordinate conventions of the special-relativity framework
Null wave covectors, frame frequency data and the observer frequency of an ideal plane wave
Affine phase functions and wave covectors on affine Minkowski space
Frame data of a future null wave covector: the unique pair with
Doppler shift and aberration for an ideal plane wave between inertial descriptions
Dependency tree · 2 levels
Sources
- B. Crowell, Special Relativity, revision 2020-12-10 (author-published undergraduate textbook, 246 PDF pages): Sections 3.2-3.3 pp. 55-59, Sections 6.4-6.5 pp. 134-139 and Section 6.6.1 p. 140; signature (+---) converted to (-+++) and c = 1 formulas converted to x^0 = c t
- S. Murugesh, Relativity - Special Theory (IIST course notes PH33003/PH43017, last update 2009-02-18, 31 PDF pages): Chapter 6 Waves pp. 25-28