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.
Body and spatial angular velocity of a rigid-material motion, and the material velocity field
The angular velocity of the rigid-material model branch of Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope along a motion in one inertial frame: the body angular velocity characterised by , the spatial angular velocity , the spatial form of the material velocity field and its uniqueness, and the instantaneous rotation axis when , with the dimension read in radians per second under the radian convention. The item is kinematic: it asserts no torque, no equation of motion for and no measured value.
Definition
Adopt the model, inertial frame and notation of Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope and Configuration, configuration space and orientation of a rigid-material model in an inertial frame, and let a motion have configuration path of class on the time window (Intervals of : the nine order-convex forms, nondegeneracy, and length).
(a) Body angular velocity. By Rigid placements, body and spatial angular velocity, and material velocities, the matrix is skew-symmetric at every (Derivative rules for differentiable matrix-valued curves, and skewness of for a curve in clause 3), and by The skew-matrix/cross-product correspondence and its conjugation law clause 2 there is exactly one vector with The map is the body angular velocity of the motion. Since is of class , the entries of are differentiable and hence is of class ; its derivative is the body angular acceleration. The dimension is (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), read in radians per second under the radian convention, in which angles are dimensionless.
(b) Spatial angular velocity. The spatial angular velocity of the motion is of the same dimension . By the conjugation clause of The skew-matrix/cross-product correspondence and its conjugation law , ; this is the space-frame rate matrix of the motion.
(c) Material velocity field. For every material label , because and (Rigid placements, body and spatial angular velocity, and material velocities, The skew-matrix/cross-product correspondence and its conjugation law clause 1). Writing for the spatial position of the label and using , the same identity reads the material velocity field is that of a translation composed with a rotation of angular velocity about the centre of mass . The motion is a pure translation at time exactly when , equivalently ; then every material velocity equals .
(d) Uniqueness of the velocity data. The velocity field determines and uniquely: if a motion has material velocity field , then evaluating at gives , and for the difference is a linear map of ; testing it on two linearly independent vectors determines by the injectivity clause of The skew-matrix/cross-product correspondence and its conjugation law , and then . The pair is therefore an intrinsic description of the velocity field; the body angular velocity is its description in the body-fixed frame, and the choice of reference coordinates is part of the model data fixed in Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope.
(e) Instantaneous rotation axis. If , the line is the instantaneous rotation axis of the motion at time : it is the set of spatial points whose material velocity equals , as follows from . Conversely, write and . If , choose a coordinate with ; the cross-product coordinate equations (The skew-matrix/cross-product correspondence and its conjugation law clause 1) give for every , hence . This proves that the zero relative-velocity set is exactly the displayed line. The velocity field is constant on lines parallel to and rotates about this axis; if also at that instant, every point of the axis is instantaneously at rest and the motion is an instantaneous rotation about it. No claim is made that the axis is fixed in time or in space.
(f) Conventions and scope. The convention fixed here is the body-fixed one of the cited mathematical definition: and . A consumer using the space-fixed convention must state the change, which is the rotation by recorded in (b); the two vectors agree only when fixes . Both vectors are kinematic quantities of the motion: no torque, no angular momentum and no equation of motion for is asserted, and no measured angular velocity is recorded. The behaviour of under a change of inertial frame is proved in the frame-covariance theorem of this page.
Remarks
-
The angular velocity is a vector of the spatial space in (b) and of the body in (a). The body vector is the coordinate description of the spatial vector in the body-fixed frame; the identity is the translation between the two descriptions. The distinction matters when a consumer compares the model with data attached to the body, such as principal axes.
-
What is used and what is not. Only differentiability of is needed for existence and uniqueness of ; the twice differentiability in clause (a) is used for the angular acceleration and, on the dynamics pages of the track, for rate balances. No smoothness beyond across the time window is asserted.
-
Degenerate shapes. Clauses (c)-(e) concern the motion of the body as a placement and do not use the mass distribution. The mass distribution enters through the inertia data of Inertia matrix, spatial inertia tensor, inertia tensor about a point and moment of inertia about an axis of a rigid-material model and through the angular-momentum identity of Total momentum, kinetic-energy splitting and centre-of-mass angular momentum of a rigid-material motion, where a mass distribution supported on a line produces a non-invertible inertia matrix.
Depends on
Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope
Configuration, configuration space and orientation of a rigid-material model in an inertial frame
Rigid placements, body and spatial angular velocity, and material velocities
The skew-matrix/cross-product correspondence and its conjugation law
Derivative rules for differentiable matrix-valued curves, and skewness of for a curve in
The orthogonal group and the rotation group
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
The Euclidean inner product on
The derivative of at a point that is a limit point of , and differentiability on a set
Intervals of : the nine order-convex forms, nondegeneracy, and length
Dependency tree · 2 levels
Sources
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 3.1.1, Eqs. (3.5)-(3.10), printed pages 47-49 (PDF pages 53-55): the antisymmetric body-frame rate matrix, the angular-velocity vector acting by cross product, and the relation between body-frame and space-frame rate vectors
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Chapter 4 Section 4.1, Eqs. (4.1)-(4.10), chapter pages 1-4 (PDF pages 55-58): the moving orthonormal basis, the skew angular-velocity matrix and the transport theorem for a vector of constant body components
- G. J. Sussman and J. Wisdom, Structure and Interpretation of Classical Mechanics, 2nd ed. (MIT Press, 2014), Section 2.2, Eqs. (2.14)-(2.30): the orientation path, the body and space angular-velocity vectors extracted from the skew rate matrix, and the warning about conventions
- I. Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Chapter 2 Sections 2.1-2.2, printed pages 29-33 (PDF pages 32-36): the rotating-frame relation between the time derivative in the space frame and the body frame, with the angular-velocity vector