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.

Body and spatial angular velocity of a rigid-material motion, and the material velocity field

Physical scope

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 C2 motion in one inertial frame: the body angular velocity ω characterised by RTR′=[ω]×, the spatial angular velocity ωs=Rω, the spatial form of the material velocity field and its uniqueness, and the instantaneous rotation axis when ωs≠0, with the dimension τ−1 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 x(t,ρ)=c(t)+R(t)ρ have configuration path (c,R) of class C2 on the time window I0 (Intervals of R: 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 R(t)TR′(t) is skew-symmetric at every t∈I0 (Derivative rules for differentiable matrix-valued curves, and skewness of RTR′ for a curve in SO(3) clause 3), and by The skew-matrix/cross-product correspondence [ω]×z=ω×z and its conjugation law R[ω]×RT=[Rω]× clause 2 there is exactly one vector ω(t)∈R3 with R(t)TR′(t)=[ω(t)]×. The map ω:I0→R3 is the body angular velocity of the motion. Since R is of class C2, the entries of RTR′ are differentiable and hence ω is of class C1; its derivative is the body angular acceleration. The dimension is [ω]=τ−1 (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 ωs(t):=R(t)ω(t)∈R3, of the same dimension τ−1. By the conjugation clause of The skew-matrix/cross-product correspondence [ω]×z=ω×z and its conjugation law R[ω]×RT=[Rω]×, R′(t)R(t)T=[ωs(t)]×; this is the space-frame rate matrix of the motion.

(c) Material velocity field. For every material label ρ, ∂tx(t,ρ)=c′(t)+R(t)(ω(t)×ρ), because R′(t)=R(t)[ω(t)]× and [ω]×ρ=ω×ρ (Rigid placements, body and spatial angular velocity, and material velocities, The skew-matrix/cross-product correspondence [ω]×z=ω×z and its conjugation law R[ω]×RT=[Rω]× clause 1). Writing p=x(t,ρ) for the spatial position of the label and using R(ω×ρ)=(Rω)×(Rρ), the same identity reads ∂tx(t,ρ)=c′(t)+ωs(t)×(p−c(t)): the material velocity field is that of a translation c′(t) composed with a rotation of angular velocity ωs(t) about the centre of mass c(t). The motion is a pure translation at time t exactly when ω(t)=0, equivalently R′(t)=0; then every material velocity equals c′(t).

(d) Uniqueness of the velocity data. The velocity field determines c′(t) and ωs(t) uniquely: if a motion has material velocity field p↦v(t,p)=c′(t)+ωs(t)×(p−c(t)), then evaluating at p=c(t) gives c′(t)=v(t,c(t)), and for u∈R3 the difference v(t,c(t)+u)−v(t,c(t))=ωs(t)×u is a linear map of u; testing it on two linearly independent vectors determines ωs(t) by the injectivity clause of The skew-matrix/cross-product correspondence [ω]×z=ω×z and its conjugation law R[ω]×RT=[Rω]×, and then ω(t)=R(t)Tωs(t). The pair (c′(t),ωs(t)) 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 ωs(t)≠0, the line {c(t)+s ωs(t):s∈R} is the instantaneous rotation axis of the motion at time t: it is the set of spatial points whose material velocity equals c′(t), as follows from ωs×(ωss)=0. Conversely, write w=ωs(t) and z=p−c(t). If w×z=0, choose a coordinate i with wi≠0; the cross-product coordinate equations (The skew-matrix/cross-product correspondence [ω]×z=ω×z and its conjugation law R[ω]×RT=[Rω]× clause 1) give wizj=wjzi for every j, hence z=(zi/wi)w. This proves that the zero relative-velocity set is exactly the displayed line. The velocity field is constant on lines parallel to ωs(t) and rotates about this axis; if also c′(t)=0 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: Ω=RTR′=[ω]× and R′=RΩ. A consumer using the space-fixed convention must state the change, which is the rotation by R recorded in (b); the two vectors agree only when R(t) fixes ω(t). 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 ωs=Rω 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 R 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 C2 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

Dependency tree · 2 levels

Sources