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
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 of the model with adapted coordinates be fixed, and let 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 , parametrized so that for all , and
for the unique coordinate functions of the point 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
It is of class 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 (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 above, its derivative at is
where each is the ordinary derivative of a real function. The coordinate velocity of the label in the frame is
with components , and the coordinate acceleration is the coordinate velocity of the velocity,
Their dimensions are and , read in metres per second and metres per second squared. The triple 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 , subtraction of events uses the affine displacement in . Define its derivative by the limit in the finite-dimensional vector space , and define as the derivative of the -valued map . This is the canonical identification of each affine tangent space with ; the coordinate regularity guarantees both limits. The frame's time direction and spatial basis identify two elements of the spatial displacement space attached to the motion:
Here indeed lies in , because by linearity of and the parameter condition. The vectors and are the spatial velocity vector and spatial acceleration vector of the label in the frame; the velocity depends on the frame time direction , whereas the acceleration is an intrinsic element of unchanged by an inertial frame change (time shifts have derivative ). Their coordinates in the frame's basis are the triples and .
(d) Speed. The speed of the label in the frame at time is the Euclidean norm , of dimension ; equivalently , the norm induced by the spatial metric, since the basis is -orthonormal.
(e) Transformation under a change of inertial frame (recorded). Let a second inertial frame be given, with coordinates and transformation parameters as in Inertial frames, stationary observers and the adopted Galilean transformations between frames, and let be the description of the motion in the second frame. Then
that is, in the differentiated variables and abbreviated notation and . 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 , 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, , while the coordinate acceleration transforms by the rotation alone, ; 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. changes when the frame time direction changes. By contrast has the same value in 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 is determined: the force law and the equation of motion are adopted on the later pages of the framework. In particular the identification of with a force is not made here.
Depends on
Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses
Inertial frames, stationary observers and the adopted Galilean transformations between frames
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Affine time space with Euclidean simultaneous slices and adapted charts
Transformation between adapted charts and its kinematic consequences
Existence and uniqueness of adapted coordinates, and the affine structure of simultaneous slices
Dependency tree · 2 levels
Sources
- D. Tong, Dynamics and Relativity (Cambridge lecture notes, Lent 2013), Sections 1.1-1.2.1, printed pages 2-5 (PDF pages 8-11): componentwise differentiation of x(t), with v = dx/dt, a = d^2x/dt^2, and the Galilean transformations between frames with d^2x'/dt^2 = 0 preserved
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 1.1 points (iv)-(v), chapter pages 2-3 (PDF pages 6-7): v = dr/dt and a = dv/dt, with the transfer of r, v and a between frames and the warning that rotations make the velocity and acceleration transfers more complicated
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.2, printed pages 2-5 (PDF pages 8-11): position r(t), momentum p = m rdot and the inertial-frame caveat