Alphabeta Math
RemarkRemark: AI-adaptedProof: AI-adaptedPipeline-generated
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

Physical scope

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 (ϖ,s) with ∣s∣=1, 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 x0=ct. The phase θ is dimensionless; the coordinates xa, the wavelength λ and all distances are in metres; the components ka of a wave covector, the wave vector κ and ϖ=−k(e0) are in m−1; the angular frequencies ω and ωn and the linear frequencies ν are in s−1 (ν also in hertz); c is in m s−1; and s, β, βw and γ are dimensionless. These assignments are consistent with the identities ω=cϖ, κ=(ω/c)s, λ=2πc/ω=c/ν and phase =θ dimensionless.

(b) Two coordinate forms. In the adopted coordinates θ=−ωt+κ⋅xvec+const and ka=(−ω/c,(ω/c)s1,(ω/c)s2,(ω/c)s3); in a chart whose time coordinate is t in seconds directly, so that the metric component gtt=−c2 carries m2s−2 and the time-space components carry m s−1, the same phase is θ=−ωt+κ⋅xvec+const with the same ω and κ, and the component tuple (−ω,(ω/c)s) carries mixed units (s−1,m−1) because it is read in the coordinate basis (∂t,∂xi) rather than in the dimensionless frame basis (e0,e1,e2,e3). 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 c=1 with x0=t one has ka=(−ω,ωs), λ=2π/ω, and the Doppler and aberration factors γ(1−β⋅s) and (1∓∣β∣)/(1±∣β∣) are unchanged; restoring dimensions means replacing k0 by −ω/c, ki by (ω/c)si, writing every velocity as v=cβ with the dimensionless β, and replacing λ by 2πc/ω=c/ν. The dimensionless factors γ(1−β⋅s) and the longitudinal square roots need no c restoration because they contain only β, s and γ; the c restoration affects the map between ω, ν, λ and the components of k, 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

Dependency tree · 2 levels

Sources