Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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.

Coordinate velocity and acceleration of a worldline in an inertial frame, and the spatial velocity and acceleration vectors

Physical scope

Notation and definitions for the kinematic quantities of a worldline of the framework in a chosen inertial frame: the coordinate curve, its componentwise velocity and acceleration triples with their dimensions and units, and the associated spatial velocity and acceleration vectors in the frame's spatial displacement space. The item fixes notation only; it asserts no force law, no equation of motion and no measurement, and it records (without reproving) the transformation law proved in its mathematical supplier.

Definition

Let an inertial frame (o,u,(e1,e2,e3)) of the model with adapted coordinates (t,x) be fixed, and let γ:I→A be the worldline of a particle label described in this frame as in Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses; thus γ is of class C2, parametrized so that t(γ(s))=s for all s∈I, and

γ(s)=o+su+∑j=13ξj(s) ej

for the unique coordinate functions ξj:I→R of the point γ(s) in the adapted chart (Affine time space with Euclidean simultaneous slices and adapted charts, Existence and uniqueness of adapted coordinates, and the affine structure of simultaneous slices).

(a) The coordinate curve. The coordinate curve of γ in the frame is

xγ:=(ξ1,ξ2,ξ3):I⟶R3.

It is of class C2 by the regularity clause of Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses, and it determines γ by the display above, since the parameter condition fixes the time coordinate. It has dimension [ ξj ]=ℓ (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework).

(b) Coordinate velocity and acceleration. The derivative of a vector-valued map is taken componentwise: for the map xγ above, its derivative at s is

xγ′(s):=(ξ1′(s),ξ2′(s),ξ3′(s)),

where each ξj′(s)=lim⁡h→0(ξj(s+h)−ξj(s))/h is the ordinary derivative of a real function. The coordinate velocity of the label in the frame is

w(s):=xγ′(s)∈R3,

with components wj=ξj′, and the coordinate acceleration is the coordinate velocity of the velocity,

a(s):=w′(s)=xγ′′(s)∈R3.

Their dimensions are [wj]=ℓτ−1 and [aj]=ℓτ−2, read in metres per second and metres per second squared. The triple w(s) is the triple of numbers read in the frame's axes: it is a coordinate description, not an element of spacetime.

(c) Spatial velocity and acceleration vectors. For the affine curve γ:I→A, subtraction of events uses the affine displacement in V. Define its derivative by the limit in the finite-dimensional vector space V, γ′(s):=lim⁡h→0γ(s+h)−γ(s)h=u+∑jξj′(s)ej, and define γ′′(s) as the derivative of the V-valued map γ′. This is the canonical identification of each affine tangent space with V; the C2 coordinate regularity guarantees both limits. The frame's time direction u and spatial basis identify two elements of the spatial displacement space K attached to the motion:

v‾(s):=γ′(s)−u=∑j=13wj(s) ej∈K,a‾(s):=γ′′(s)=∑j=13aj(s) ej∈K.

Here γ′(s)−u indeed lies in K=ker⁡τ, because τ(γ′(s))=ddsτ(γ(s)−o)=1 by linearity of τ and the parameter condition. The vectors v‾(s) and a‾(s) are the spatial velocity vector and spatial acceleration vector of the label in the frame; the velocity depends on the frame time direction u, whereas the acceleration is an intrinsic element of K unchanged by an inertial frame change (time shifts have derivative 1). Their coordinates in the frame's basis (e1,e2,e3) are the triples w(s) and a(s).

(d) Speed. The speed of the label in the frame at time s is the Euclidean norm ∥w(s)∥2=∑jwj(s)2, of dimension ℓτ−1; equivalently ∥v‾(s)∥2=g(v‾(s),v‾(s)), the norm induced by the spatial metric, since the basis is g-orthonormal.

(e) Transformation under a change of inertial frame (recorded). Let a second inertial frame be given, with coordinates (t′,x′) and transformation parameters (b,a,v,R) as in Inertial frames, stationary observers and the adopted Galilean transformations between frames, and let η(t′):=x′(γ(t′−b))∈R3 be the description of the motion in the second frame. Then

η′(t′)=R w(t′−b)+v,η′′(t′)=R a(t′−b),

that is, in the differentiated variables and abbreviated notation w′=Rw+v and a′=Ra. This law is clause 2 of the mathematical transformation law of Transformation between adapted charts and its kinematic consequences, recorded here in the model's notation; the definition itself asserts neither law. The model-level statement of the law, including the frame-independence of the property a≡0, is proved as a theorem later on this page.

Remarks

  • Velocity is frame-dependent; acceleration rotates. By clause (e) the coordinate velocity changes under a boost, w′=Rw+v, while the coordinate acceleration transforms by the rotation alone, a′=Ra; the speed is invariant under the rotation part of a frame change and changes under boosts. These are kinematic properties of the model's frames and hold before any dynamics is introduced.

  • Spatial vectors and their coordinates. v‾=γ′−u changes when the frame time direction changes. By contrast a‾=γ′′ has the same value in K in every inertial frame at the corresponding event; its coordinate triple rotates by clause (e). A change of basis changes coordinates without changing this affine vector.

  • No dynamical content. Nothing in this item says how a(s) is determined: the force law and the equation of motion are adopted on the later pages of the framework. In particular the identification of m a with a force is not made here.

Depends on

Dependency tree · 2 levels

Sources