Physlib.ClassicalMechanics.RigidBody.AngularVelocity
The angular velocity of a rigid body
For a rigid body in motion the orientation `R(t) = orientation t` is a time-dependent rotation. Its instantaneous rate of change is encoded by the *angular velocity tensor* `Ω(t) = Ṙ(t) R(t)ᵀ`, the antisymmetric tensor `Ω` appearing in the Landau–Lifshitz decomposition `v = V + Ω × r` of the velocity of a point of the body.
A basic consistency check is that `Ω` is skew-symmetric, `Ωᵀ = -Ω` (equivalently `Ω ∈ 𝔰𝔬(d)`); this follows by differentiating the orthogonality identity `R Rᵀ = 1`. The general product and transpose rules for time derivatives of matrices used for this live in `Physlib.SpaceAndTime.Time.MatrixDerivatives`.
In three dimensions the skew-symmetric tensor `Ω` is dual to the *angular velocity vector* `ω(t) = Ωᵛ` via the hat map (`Physlib.Mathematics.CrossProductMatrix`), with `[ω]ₓ = Ω`; `ω` is the angular velocity proper, appearing in the decomposition `v = V + ω × r` as an honest cross product.
References
10 declarations
Angular velocity tensor
For a rigid body motion in dimensions and a time , the **angular velocity tensor** is defined as the product of the time derivative of the body's orientation matrix and its transpose: where is the rotation matrix representing the orientation of the rigid body at time . This skew-symmetric tensor characterizes the instantaneous rate of change of the orientation and appears in the Landau–Lifshitz decomposition of the velocity of a point in the body: .
For a rigid body motion in dimensions and a time , the angular velocity tensor is equal to the matrix product of the time derivative of the orientation matrix and its transpose: where denotes the orientation of the rigid body at time and is its derivative with respect to time.
The angular velocity tensor is skew-symmetric:
Consider a rigid body motion in dimensions. Let be the orientation matrix of the body at time . If is differentiable at time , then the angular velocity tensor is skew-symmetric, satisfying: Equivalently, the tensor lies in the Lie algebra .
Constant Orientation Implies
For a rigid body motion in dimensions, if the orientation of the body is constant for all time , such that for some fixed rotation matrix , then the angular velocity tensor is zero for all .
Angular velocity vector
For a rigid body motion in three-dimensional space and a time , the **angular velocity vector** is defined as the vector dual to the angular velocity tensor via the vee map: where is the angular velocity tensor and is the orientation matrix of the body. This vector satisfies the property that for any vector , the product is equal to the cross product , appearing in the Landau–Lifshitz decomposition of the velocity of a point in the body.
Relation between Angular Velocity Vector and Tensor:
For a rigid body motion in three-dimensional space and a time , the angular velocity vector is equal to the result of applying the vee map to the angular velocity tensor : where the angular velocity tensor is defined as and the vee map `crossProductVee` is the left inverse of the hat map (the cross-product matrix map).
For a rigid body motion in three dimensions, let be the angular velocity vector and be the angular velocity tensor. If the orientation matrix of the rigid body is differentiable at time , then the cross product matrix (or hat map) of the angular velocity vector is equal to the angular velocity tensor:
Constant orientation implies
For a rigid body motion in three-dimensional space, if the orientation of the body is constant over time, i.e., there exists a fixed rotation matrix such that the orientation for all , then the angular velocity vector is zero ().
For a rigid body motion in dimensions, let be the orientation matrix (a rotation matrix) at time . The time derivative of the orientation matrix, denoted , is equal to the product of the angular velocity tensor and the orientation matrix : This relationship allows the orientation path to be recovered from the angular velocity tensor, given the orthogonality condition .
Landau–Lifshitz Velocity Decomposition
For a rigid body motion in three-dimensional space, let be the velocity of a material point at time . Suppose the orientation and the center-of-mass trajectory are differentiable. Then the velocity of the point is given by the sum of the center-of-mass velocity and the cross product of the angular velocity vector with the point's position relative to the center of mass: where is the displacement of the point in the inertial frame at time . In component form, for each :
