Angular velocity tensor
The angular velocity tensor is a skew-symmetric matrix defined by:
The scalar elements above correspond to the angular velocity vector components .
This is an infinitesimal rotation matrix. The linear mapping Ω acts as a cross product :
where is a position vector.
When multiplied by a time difference, it results in the angular displacement tensor.
Calculation of angular velocity tensor of a rotating frame
[edit]A vector undergoing uniform circular motion around a fixed axis satisfies:
Let be the orientation matrix of a frame, whose columns , , and are the moving orthonormal coordinate vectors of the frame. We can obtain the angular velocity tensor Ω(t) of A(t) as follows:
The angular velocity must be the same for each of the column vectors , so we have:
which holds even if A(t) does not rotate uniformly. Therefore, the angular velocity tensor is:
since the inverse of an orthogonal matrix is its transpose .
Properties
[edit]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.[1]
Duality with respect to the velocity vector
[edit]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:
its Hodge dual is a vector, which is precisely the previous angular velocity vector .
Exponential of Ω
[edit]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:
This equation can be integrated to give:
which shows a connection with the Lie group of rotations.
Ω is skew-symmetric
[edit]We prove that angular velocity tensor is skew symmetric, i.e. satisfies .
A rotation matrix A is orthogonal, inverse to its transpose, so we have . For a frame matrix, taking the time derivative of the equation gives:
Applying the formula ,
Thus, Ω is the negative of its transpose, which implies it is skew symmetric.
Coordinate-free description
[edit]At any instant , the angular velocity tensor represents a linear map between the position vector and the velocity vectors of a point on a rigid body rotating around the origin:
The relation between this linear map and the angular velocity pseudovector is the following.
Because Ω is the derivative of an orthogonal transformation, the bilinear form
is skew-symmetric. Thus we can apply the fact of exterior algebra that there is a unique linear form on that
where is the exterior product of and .
Taking the sharp L♯ of L we get
Introducing , as the Hodge dual of L♯, and applying the definition of the Hodge dual twice supposing that the preferred unit 3-vector is
where
by definition.
Because is an arbitrary vector, from nondegeneracy of scalar product follows
Angular velocity as a vector field
[edit]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,
Rigid body considerations
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e2/AngularVelocity02.svg/320px-AngularVelocity02.svg.png)
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 Ri in the lab frame, and at position ri in the body frame. It is seen that the position of the particle can be written:
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 is unchanging. By Euler's rotation theorem, we may replace the vector with where is a 3×3 rotation matrix and 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 that is changing in time and not the reference vector , 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 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:
Taking the time derivative yields the velocity of the particle:
where Vi 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 is a rotation matrix its inverse is its transpose. So we substitute :
or
where 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 :
Substituting ω for Ω into the above velocity expression, and replacing matrix multiplication by an equivalent cross product:
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
[edit]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.)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/65/AngularVelocity03.svg/320px-AngularVelocity03.svg.png)
See the graph to the right: The origin of lab frame is O, while O1 and O2 are two fixed points on the rigid body, whose velocity is and respectively. Suppose the angular velocity with respect to O1 and O2 is and respectively. Since point P and O2 have only one velocity,
The above two yields that
Since the point P (and thus ) is arbitrary, it follows that
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.
References
[edit]- ^ Rotations and Angular Momentum on the Classical Mechanics page of the website of John Baez, especially Questions 1 and 2.