HOME

TheInfoList



OR:

The angular velocity tensor is a
skew-symmetric matrix In mathematics, particularly in linear algebra, a skew-symmetric (or antisymmetric or antimetric) matrix is a square matrix whose transpose equals its negative. That is, it satisfies the condition In terms of the entries of the matrix, if a ...
defined by: : \Omega = \begin 0 & -\omega_z & \omega_y \\ \omega_z & 0 & -\omega_x \\ -\omega_y & \omega_x & 0 \\ \end The scalar elements above correspond to the angular velocity vector components \boldsymbol\omega=(\omega_x,\omega_y,\omega_z). This is an '' infinitesimal rotation matrix''. The linear mapping Ω acts as a
cross product In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and ...
(\boldsymbol\omega \times): : \boldsymbol\omega \times \boldsymbol = \Omega \boldsymbol where \boldsymbol 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

A vector \mathbf r undergoing uniform circular motion around a fixed axis satisfies: :\frac = \boldsymbol \times\mathbf = \Omega \mathbf Let A(t) = \mathbf_1(t) \ \mathbf_2(t) \ \mathbf_3(t)/math> be the orientation matrix of a frame, whose columns \mathbf e_1, \mathbf e_2, and \mathbf e_3 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 \omega must be the same for each of the column vectors \mathbf e_i, so we have: \begin \frac &= \begin \dfrac & \dfrac & \dfrac \end \\ &= \begin \omega \times \mathbf_1 & \omega \times \mathbf_2 & \omega \times \mathbf_3 \end \\ &= \begin \Omega \mathbf_1 & \Omega\mathbf_2 & \Omega \mathbf_3 \end \\ &= \Omega A, \end which holds even if ''A''(''t'') does not rotate uniformly. Therefore, the angular velocity tensor is: : \Omega = \frac A^ = \frac A^, since the inverse of an orthogonal matrix A is its transpose A^.


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 independent components, which is the dimension of the
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
of the
Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...
of rotations of an ''n''-dimensional inner product space.Rotations and Angular Momentum
on the Classical Mechanics page o

especially Questions 1 and 2.


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 In mathematics, particularly in linear algebra, a skew-symmetric (or antisymmetric or antimetric) matrix is a square matrix whose transpose equals its negative. That is, it satisfies the condition In terms of the entries of the matrix, if a ...
: : \Omega = \begin 0 & -\omega_z & \omega_y \\ \omega_z & 0 & -\omega_x \\ -\omega_y & \omega_x & 0\\ \end, its Hodge dual is a vector, which is precisely the previous angular velocity vector \boldsymbol\omega= omega_x,\omega_y,\omega_z/math>.


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: : \frac = \Omega \cdot A . This equation can be integrated to give: : A(t) = e^A(0) , which shows a connection with the
Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...
of rotations.


Ω is skew-symmetric

We prove that angular velocity tensor is skew symmetric, i.e. \Omega = \frac \cdot A^\text satisfies \Omega^\text = -\Omega. A rotation matrix ''A'' is orthogonal, inverse to its transpose, so we have I=A\cdot A^\text. For A=A(t) a frame matrix, taking the time derivative of the equation gives: : 0=\fracA^\text+A\frac Applying the formula (A B)^\text=B^\textA^\text, : 0 = \fracA^\text+\left(\frac A^\text\right)^\text = \Omega + \Omega^\text Thus, Ω is the negative of its transpose, which implies it is skew symmetric.


Coordinate-free description

At any instant t, the angular velocity tensor represents a linear map between the position vector \mathbf(t) and the velocity vectors \mathbf(t) of a point on a rigid body rotating around the origin: : \mathbf = \Omega\mathbf . The relation between this linear map and the angular velocity pseudovector \boldsymbol\omega is the following. Because Ω is the derivative of an orthogonal transformation, the bilinear form : B(\mathbf,\mathbf) = (\Omega\mathbf) \cdot \mathbf is skew-symmetric. Thus we can apply the fact of
exterior algebra In mathematics, the exterior algebra or Grassmann algebra of a vector space V is an associative algebra that contains V, which has a product, called exterior product or wedge product and denoted with \wedge, such that v\wedge v=0 for every vector ...
that there is a unique
linear form In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear mapIn some texts the roles are reversed and vectors are defined as linear maps from covectors to scalars from a vector space to its field (mat ...
L on \Lambda^2 V that : L(\mathbf\wedge \mathbf) = B(\mathbf,\mathbf) where \mathbf\wedge \mathbf \in \Lambda^2 V is the
exterior product In mathematics, specifically in topology, the interior of a subset of a topological space is the union of all subsets of that are open in . A point that is in the interior of is an interior point of . The interior of is the complement of ...
of \mathbf and \mathbf. Taking the sharp ''L'' of ''L'' we get : (\Omega\mathbf)\cdot \mathbf = L^\sharp \cdot (\mathbf\wedge \mathbf) Introducing \boldsymbol\omega := (L^\sharp) , as the Hodge dual of ''L'', and applying the definition of the Hodge dual twice supposing that the preferred unit 3-vector is \star 1 : (\Omega\mathbf) \cdot \mathbf = ( ( L^\sharp ) \wedge \mathbf \wedge \mathbf) = (\boldsymbol\omega \wedge \mathbf \wedge \mathbf) = (\boldsymbol\omega \wedge \mathbf ) \cdot \mathbf = (\boldsymbol\omega \times \mathbf ) \cdot \mathbf , where : \boldsymbol\omega \times \mathbf := (\boldsymbol\omega \wedge \mathbf) by definition. Because \mathbf is an arbitrary vector, from nondegeneracy of scalar product follows : \Omega\mathbf = \boldsymbol\omega \times \mathbf


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 In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
SO(3) of the 3-dimensional
rotation group SO(3) In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space \R^3 under the operation of composition. By definition, a rotation about the origin is a ...
. 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, : \boldsymbol = \frac \nabla\times\mathbf


Rigid body considerations

The same equations for the angular speed can be obtained reasoning over a rotating
rigid body In physics, a rigid body, also known as a rigid object, is a solid body in which deformation is zero or negligible, when a deforming pressure or deforming force is applied on it. The distance between any two given points on a rigid body rema ...
. 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 and the vector from ''O'' to 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: : \mathbf_i=\mathbf+\mathbf_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 \mathbf_i is unchanging. By Euler's rotation theorem, we may replace the vector \mathbf_i with \mathcal\mathbf_ where \mathcal is a 3×3
rotation matrix In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation (mathematics), rotation in Euclidean space. For example, using the convention below, the matrix :R = \begin \cos \theta & -\sin \theta \\ \sin \t ...
and \mathbf_ is the position of the particle at some fixed point in time, say . This replacement is useful, because now it is only the rotation matrix \mathcal that is changing in time and not the reference vector \mathbf_, as the rigid body rotates about point . 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 \mathbf_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: : \mathbf_i=\mathbf+\mathcal\mathbf_ Taking the time derivative yields the velocity of the particle: : \mathbf_i=\mathbf+\frac\mathbf_ where V''i'' is the velocity of the particle (in the lab frame) and V is the velocity of (the origin of the rigid body frame). Since \mathcal is a rotation matrix its inverse is its transpose. So we substitute \mathcal=\mathcal^\text\mathcal: : \mathbf_i = \mathbf+\frac\mathcal\mathbf_ : \mathbf_i = \mathbf+\frac\mathcal^\text\mathcal\mathbf_ : \mathbf_i = \mathbf+\frac\mathcal^\text\mathbf_ or : \mathbf_i = \mathbf+\Omega\mathbf_ where \Omega = \frac\mathcal^\text 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 \boldsymbol \omega: : \boldsymbol\omega= omega_x,\omega_y,\omega_z/math> Substituting ''ω'' for Ω into the above velocity expression, and replacing matrix multiplication by an equivalent cross product: : \mathbf_i=\mathbf+\boldsymbol\omega\times\mathbf_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 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.) 320 px, Proving the independence of spin angular velocity from choice of origin See the graph to the right: The origin of lab frame is ''O'', while ''O''1 and ''O''2 are two fixed points on the rigid body, whose velocity is \mathbf_1 and \mathbf_2 respectively. Suppose the angular velocity with respect to ''O''1 and O2 is \boldsymbol_1 and \boldsymbol_2 respectively. Since point ''P'' and ''O''2 have only one velocity, : \mathbf_1 + \boldsymbol_1\times\mathbf_1 = \mathbf_2 + \boldsymbol_2\times\mathbf_2 : \mathbf_2 = \mathbf_1 + \boldsymbol_1\times\mathbf = \mathbf_1 + \boldsymbol_1\times (\mathbf_1 - \mathbf_2) The above two yields that : (\boldsymbol_2-\boldsymbol_1) \times \mathbf_2=0 Since the point ''P'' (and thus \mathbf_2 ) is arbitrary, it follows that : \boldsymbol_1 = \boldsymbol_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.


References

{{Reflist Tensor physical quantities Angle Velocity