Angular velocity tensor

Properties

In general, the angular velocity in an n-dimensional space is the time derivative of the angular displacement tensor, which is a second rank skew-symmetric tensor.

This tensor Ω will have n(n−1)/2 independent components, which is the dimension of the Lie algebra of the Lie group of rotations of an n-dimensional inner product space.

Duality with respect to the velocity vector

In three dimensions, angular velocity can be represented by a pseudovector because second rank tensors are dual to pseudovectors in three dimensions. Since the angular velocity tensor Ω = Ω(t) is a skew-symmetric matrix:

${\displaystyle \mathrm{\Omega }=\left(\begin{array}{ccc}0& -{\omega }_z& {\omega }_y\\ {\omega }_z& 0& -{\omega }_x\\ -{\omega }_y& {\omega }_x& 0\end{array}\right),}$

its Hodge dual is a vector, which is precisely the previous angular velocity vector ${\displaystyle \mathit{\omega }=[{\omega }_x,{\omega }_y,{\omega }_z]}$.

Exponential of Ω

If we know an initial frame A(0) and we are given a constant angular velocity tensor Ω, we can obtain A(t) for any given t. Recall the matrix differential equation:

${\displaystyle \frac{dA}{dt}=\mathrm{\Omega }\cdot A.}$

This equation can be integrated to give:

${\displaystyle A(t)=e^{\mathrm{\Omega }t}A(0),}$

which shows a connection with the Lie group of rotations.

Ω is skew-symmetric

We prove that angular velocity tensor is skew symmetric, i.e. ${\displaystyle \mathrm{\Omega }=\frac{dA(t)}{dt}\cdot A^{\text{T}}}$ satisfies ${\displaystyle {\mathrm{\Omega }}^{\text{T}}=-\mathrm{\Omega }}$.

A rotation matrix A is orthogonal, inverse to its transpose, so we have ${\displaystyle I=A\cdot A^{\text{T}}}$. For ${\displaystyle A=A(t)}$ a frame matrix, taking the time derivative of the equation gives:

${\displaystyle 0=\frac{dA}{dt}{A}^{\text{T}}+A\frac{d{A}^{\text{T}}}{dt}}$

Applying the formula ${\displaystyle (AB{)}^{\text{T}}=B^{\text{T}}{A}^{\text{T}}}$,

${\displaystyle 0=\frac{dA}{dt}{A}^{\text{T}}+{\left(\frac{dA}{dt}{A}^{\text{T}}\right)}^{\text{T}}=\mathrm{\Omega }+{\mathrm{\Omega }}^{\text{T}}}$

Thus, Ω is the negative of its transpose, which implies it is skew symmetric.

Coordinate-free description

At any instant ${\displaystyle t}$, the angular velocity tensor represents a linear map between the position vector ${\displaystyle \mathbf{r}(t)}$ and the velocity vectors ${\displaystyle \mathbf{v}(t)}$ of a point on a rigid body rotating around the origin:

${\displaystyle \mathbf{v}=\mathrm{\Omega }\mathbf{r}.}$

The relation between this linear map and the angular velocity pseudovector ${\displaystyle \mathit{\omega }}$ is the following.

Because Ω is the derivative of an orthogonal transformation, the bilinear form

${\displaystyle B(\mathbf{r},\mathbf{s})=(\mathrm{\Omega }\mathbf{r})\cdot \mathbf{s}}$

is skew-symmetric. Thus we can apply the fact of exterior algebra that there is a unique linear form ${\displaystyle L}$ on ${\displaystyle {\mathrm{\Lambda }}^{2}V}$ that

${\displaystyle L(\mathbf{r}\wedge \mathbf{s})=B(\mathbf{r},\mathbf{s})}$

where ${\displaystyle \mathbf{r}\wedge \mathbf{s}\in {\mathrm{\Lambda }}^{2}V}$ is the exterior product of ${\displaystyle \mathbf{r}}$ and ${\displaystyle \mathbf{s}}$.

Taking the sharp L^♯ of L we get

${\displaystyle (\mathrm{\Omega }\mathbf{r})\cdot \mathbf{s}=L^{\mathrm{♯}}\cdot (\mathbf{r}\wedge \mathbf{s})}$

Introducing ${\displaystyle \mathit{\omega }:=\star (L^{\mathrm{♯}})}$, as the Hodge dual of L^♯, and applying the definition of the Hodge dual twice supposing that the preferred unit 3-vector is ${\displaystyle \star 1}$

${\displaystyle (\mathrm{\Omega }\mathbf{r})\cdot \mathbf{s}=\star (\star (L^{\mathrm{♯}})\wedge \mathbf{r}\wedge \mathbf{s})=\star (\mathit{\omega }\wedge \mathbf{r}\wedge \mathbf{s})=\star (\mathit{\omega }\wedge \mathbf{r})\cdot \mathbf{s}=(\mathit{\omega }\times \mathbf{r})\cdot \mathbf{s},}$

where

${\displaystyle \mathit{\omega }\times \mathbf{r}:=\star (\mathit{\omega }\wedge \mathbf{r})}$

by definition.

Because ${\displaystyle \mathbf{s}}$ is an arbitrary vector, from nondegeneracy of scalar product follows

${\displaystyle \mathrm{\Omega }\mathbf{r}=\mathit{\omega }\times \mathbf{r}}$

Angular velocity as a vector field

Since the spin angular velocity tensor of a rigid body (in its rest frame) is a linear transformation that maps positions to velocities (within the rigid body), it can be regarded as a constant vector field. In particular, the spin angular velocity is a Killing vector field belonging to an element of the Lie algebra SO(3) of the 3-dimensional rotation group SO(3).

Also, it can be shown that the spin angular velocity vector field is exactly half of the curl of the linear velocity vector field v(r) of the rigid body. In symbols,

${\displaystyle \mathit{\omega }=\frac{1}{2}\mathrm{\nabla }\times \mathbf{v}}$

Rigid body considerations

The same equations for the angular speed can be obtained reasoning over a rotating rigid body. Here is not assumed that the rigid body rotates around the origin. Instead, it can be supposed rotating around an arbitrary point that is moving with a linear velocity V(t) in each instant.

To obtain the equations, it is convenient to imagine a rigid body attached to the frames and consider a coordinate system that is fixed with respect to the rigid body. Then we will study the coordinate transformations between this coordinate and the fixed laboratory frame.

As shown in the figure on the right, the lab system's origin is at point O, the rigid body system origin is at O′ and the vector from O to O′ is R. A particle (i) in the rigid body is located at point P and the vector position of this particle is R_i in the lab frame, and at position r_i in the body frame. It is seen that the position of the particle can be written:

${\displaystyle {\mathbf{R}}_i=\mathbf{R}+{\mathbf{r}}_i}$

The defining characteristic of a rigid body is that the distance between any two points in a rigid body is unchanging in time. This means that the length of the vector ${\displaystyle {\mathbf{r}}_i}$ is unchanging. By Euler's rotation theorem, we may replace the vector ${\displaystyle {\mathbf{r}}_i}$ with ${\displaystyle \mathcal{R}{\mathbf{r}}_{io}}$ where ${\displaystyle \mathcal{R}}$ is a 3×3 rotation matrix and ${\displaystyle {\mathbf{r}}_{io}}$ is the position of the particle at some fixed point in time, say t = 0. This replacement is useful, because now it is only the rotation matrix ${\displaystyle \mathcal{R}}$ that is changing in time and not the reference vector ${\displaystyle {\mathbf{r}}_{io}}$, as the rigid body rotates about point O′. Also, since the three columns of the rotation matrix represent the three versors of a reference frame rotating together with the rigid body, any rotation about any axis becomes now visible, while the vector ${\displaystyle {\mathbf{r}}_i}$ would not rotate if the rotation axis were parallel to it, and hence it would only describe a rotation about an axis perpendicular to it (i.e., it would not see the component of the angular velocity pseudovector parallel to it, and would only allow the computation of the component perpendicular to it). The position of the particle is now written as:

${\displaystyle {\mathbf{R}}_i=\mathbf{R}+\mathcal{R}{\mathbf{r}}_{io}}$

Taking the time derivative yields the velocity of the particle:

${\displaystyle {\mathbf{V}}_i=\mathbf{V}+\frac{d\mathcal{R}}{dt}{\mathbf{r}}_{io}}$

where V_i is the velocity of the particle (in the lab frame) and V is the velocity of O′ (the origin of the rigid body frame). Since ${\displaystyle \mathcal{R}}$ is a rotation matrix its inverse is its transpose. So we substitute ${\displaystyle \mathcal{I}={\mathcal{R}}^{\text{T}}\mathcal{R}}$:

${\displaystyle {\mathbf{V}}_i=\mathbf{V}+\frac{d\mathcal{R}}{dt}\mathcal{I}{\mathbf{r}}_{io}}$

${\displaystyle {\mathbf{V}}_i=\mathbf{V}+\frac{d\mathcal{R}}{dt}{\mathcal{R}}^{\text{T}}\mathcal{R}{\mathbf{r}}_{io}}$

${\displaystyle {\mathbf{V}}_i=\mathbf{V}+\frac{d\mathcal{R}}{dt}{\mathcal{R}}^{\text{T}}{\mathbf{r}}_i}$

or

${\displaystyle {\mathbf{V}}_i=\mathbf{V}+\mathrm{\Omega }{\mathbf{r}}_i}$

where ${\displaystyle \mathrm{\Omega }=\frac{d\mathcal{R}}{dt}{\mathcal{R}}^{\text{T}}}$ is the previous angular velocity tensor.

It can be proved that this is a skew symmetric matrix, so we can take its dual to get a 3 dimensional pseudovector that is precisely the previous angular velocity vector ${\displaystyle \mathit{\omega }}$:

${\displaystyle \mathit{\omega }=[{\omega }_x,{\omega }_y,{\omega }_z]}$

Substituting ω for Ω into the above velocity expression, and replacing matrix multiplication by an equivalent cross product:

${\displaystyle {\mathbf{V}}_i=\mathbf{V}+\mathit{\omega }\times {\mathbf{r}}_i}$

It can be seen that the velocity of a point in a rigid body can be divided into two terms – the velocity of a reference point fixed in the rigid body plus the cross product term involving the orbital angular velocity of the particle with respect to the reference point. This angular velocity is what physicists call the "spin angular velocity" of the rigid body, as opposed to the orbital angular velocity of the reference point O′ about the origin O.

Consistency

We have supposed that the rigid body rotates around an arbitrary point. We should prove that the spin angular velocity previously defined is independent of the choice of origin, which means that the spin angular velocity is an intrinsic property of the spinning rigid body. (Note the marked contrast of this with the orbital angular velocity of a point particle, which certainly does depend on the choice of origin.)

See the graph to the right: The origin of lab frame is O, while O₁ and O₂ are two fixed points on the rigid body, whose velocity is ${\displaystyle {\mathbf{v}}_1}$ and ${\displaystyle {\mathbf{v}}_2}$ respectively. Suppose the angular velocity with respect to O₁ and O₂ is ${\displaystyle {\mathit{\omega }}_1}$ and ${\displaystyle {\mathit{\omega }}_2}$ respectively. Since point P and O₂ have only one velocity,

${\displaystyle {\mathbf{v}}_1+{\mathit{\omega }}_1\times {\mathbf{r}}_1={\mathbf{v}}_2+{\mathit{\omega }}_2\times {\mathbf{r}}_2}$

${\displaystyle {\mathbf{v}}_2={\mathbf{v}}_1+{\mathit{\omega }}_1\times \mathbf{r}={\mathbf{v}}_1+{\mathit{\omega }}_1\times ({\mathbf{r}}_1-{\mathbf{r}}_2)}$

The above two yields that

${\displaystyle ({\mathit{\omega }}_2-{\mathit{\omega }}_1)\times {\mathbf{r}}_2=0}$

Since the point P (and thus ${\displaystyle {\mathbf{r}}_2}$) is arbitrary, it follows that

${\displaystyle {\mathit{\omega }}_1={\mathit{\omega }}_2}$

If the reference point is the instantaneous axis of rotation the expression of the velocity of a point in the rigid body will have just the angular velocity term. This is because the velocity of the instantaneous axis of rotation is zero. An example of the instantaneous axis of rotation is the hinge of a door. Another example is the point of contact of a purely rolling spherical (or, more generally, convex) rigid body.