Rotation matrix: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
imported>Paul Wormer
Line 241: Line 241:
:<math>
:<math>
\begin{align}
\begin{align}
\mathbf{R}(\phi, \hat{n})&= \mathbf{E}\;\cos\phi + \mathbf{U} + \frac{1-\cos\phi}{\sin^2\phi} \mathbf{U}^2 \\
\mathbf{R}(\phi, \hat{n})&= \mathbf{E} + \mathbf{U} + \frac{1-\cos\phi}{\sin^2\phi} \mathbf{U}^2 \\
&= \mathbf{E}\;\cos\phi + \mathbf{U} + \frac{1}{1+\cos\phi} \mathbf{U}^2.
&= \mathbf{E} + \mathbf{U} + \frac{1}{1+\cos\phi} \mathbf{U}^2.
\end{align}
\end{align}
</math>
</math>
This equation is very similar to Eq. (1) of Ref. <ref>T. Möller and J. F. Hughes, J. Graphics Tools, '''4'''(4) pp. 1-4 (1999).</ref> but differs in the diagonal elements.
This equation is Eq. (1) of Ref. <ref>T. Möller and J. F. Hughes, J. Graphics Tools, '''4'''(4) pp. 1-4 (1999).</ref>.


If the vectors are parallel, '''f''' = '''t''' then '''u''' = '''0''' and '''f'''•'''t''' = 1,
If the vectors are parallel, '''f''' = '''t''' then '''u''' = '''0''' and '''f'''•'''t''' = 1,

Revision as of 11:30, 26 May 2009

In mathematics and physics a rotation matrix is synonymous with a 3×3 orthogonal matrix, which is a matrix R satisfying

where T stands for the transposed matrix and R−1 is the inverse of R.

Connection of an orthogonal matrix to a rotation

In general a motion of a rigid body (which is equivalent to an angle and distance preserving transformation of affine space) can be described as a translation of the body followed by a rotation. By a translation all points of the rigid body are displaced, while under a rotation at least one point stays in place. Let the the fixed point be O. By Euler's theorem follows that then not only the point is fixed but also an axis—the rotation axis— through the fixed point. Write for the unit vector along the rotation axis and φ for the angle over which the body is rotated, then the rotation operator on is written as

Erect three Cartesian coordinate axes with the origin in the fixed point O and take unit vectors along the axes, then the 3×3 rotation matrix is defined by its elements  :

In a more condensed notation this equation can be written as

Given a basis of a linear space, the association between a linear map and its matrix is one-to-one.

Since a rotation (for convenience sake the rotation axis and angle are suppressed in the notation) leaves all angles and distances invariant, for any pair of vectors and in the inner product is invariant, that is,

A linear map with this property is called orthogonal. It is easily shown that a similar vector-matrix relation holds. First we define column vectors (stacked triplets of real numbers given in bold face):

and observe that the inner product becomes by virtue of the orthonormality of the basis vectors

The invariance of the inner product under the rotation operator leads to

since this holds for any pair a and b it follows that a rotation matrix satisfies

where E is the 3×3 identity matrix. For finite-dimensional matrices one shows easily

A matrix with this property is called orthogonal. So, a rotation gives rise to a unique orthogonal matrix.

Conversely, consider an arbitrary point P in the body and let the vector connect the fixed point O with P. Expressing this vector with respect to a Cartesian frame in O gives the column vector p (three stacked real numbers). Multiply p by the orthogonal matrix R, then p′ = Rp represents the rotated point P′ (or, more precisely, the vector is represented by column vector p′ with respect to the same Cartesian frame). If we map all points P of the body by the same matrix R in this manner, we have rotated the body. Thus, an orthogonal matrix leads to a unique rotation. Note that the Cartesian frame is fixed here and that points of the body are rotated, this is known as an active rotation. Instead, the rigid body could have been left invariant and the Cartesian frame could have been rotated, this also leads to new column vectors of the form p′ ≡ Rp, such rotations are called passive.

Properties of an orthogonal matrix

Writing out matrix products it follows that both the rows and the columns of the matrix are orthonormal (normalized and orthogonal). Indeed,

where δij is the Kronecker delta.

Orthogonal matrices come in two flavors: proper (det = 1) and improper (det = −1) rotations. Indeed, invoking some properties of determinants, one can prove

Compact notation

A compact way of presenting the same results is the following. Designate the columns of R by r1, r2, r3, i.e.,

.

The matrix R is orthogonal if

The matrix R is a proper rotation matrix, if it is orthogonal and if r1, r2, r3 form a right-handed set, i.e.,

Here the symbol × indicates a cross product and is the antisymmetric Levi-Civita symbol,

and if two or more indices are equal.

The matrix R is an improper rotation matrix if its column vectors form a left-handed set, i.e.,

The last two equations can be condensed into one equation

by virtue of the the fact that the determinant of a proper rotation matrix is 1 and of an improper rotation −1. This was proved above, an alternative proof is the following: The determinant of a 3×3 matrix with column vectors a, b, and c can be written as scalar triple product

.

It was just shown that for a proper rotation the columns of R are orthonormal and satisfy,

Likewise the determinant is −1 for an improper rotation.

Explicit expression of rotation operator

Rotation of vector around axis over an angle φ. The red vectors are in the plane of drawing spanned by and . The blue vectors are rotated, the green cross product points away from the reader and is perpendicular to the plane of drawing.

Let be a vector pointing from the fixed point O of a rotating rigid body to an arbitrary point P of the body. A rotation of this arbitrary vector around the unit vector over an angle φ can be written as

where • indicates an inner product and the symbol × a cross product.

It is easy to derive this result. Indeed, decompose the vector to be rotated into two components, one along the rotation axis and one perpendicular to it (see the figure on the right)

Upon rotation the component along the axis is invariant, only the component orthogonal to the axis changes. By virtue of the fact that

the rotation property simply is

Hence

Some reshuffling gives the required result.

Explicit expression of rotation matrix

It will be shown that

where (see cross product for more details)

Note further that the dyadic product satisfies (as can be shown by squaring N),

and that

Translating the result of the previous section to coordinate vectors and substituting these results gives

which gives the desired result for the rotation matrix. This is equation is identical to Eq. (2.6) of Biedenharn and Louck[1], who give credit to Leonhard Euler (ca. 1760) for this result.

The equation is a special case of the transformation properties given on p. 7 of the classical work (first edition 1904) of Whittaker[2]. To see the correspondence with Whittaker's formula, which includes also a translation over a displacement d and who rotates the vector (xa, yb, zc), we must put equal to zero: a, b, c, and d in Whittaker's equation. Furthermore he uses that the components of the unit vector n are the direction cosines of the rotation axis:

Under these conditions the rotation becomes

Vector rotation

Sometimes it is necessary to line-up a given vector in a rigid body (for instance a chemical bond in a molecule) with an external vector (for instance a coordinate vector). Let the vector in the body be f (the "from" vector) and the vector to which f must be rotated be t (the "to" vector). Let both vectors be unit vectors (length 1). From the definition of the inner product and the cross product follows that

where φ is the angle (< 180°) between the two vectors. Since the cross product f × t is a vector perpendicular to the plane of both vectors, it is easily seen that a rotation around the cross product vector over an angle φ moves f to t.

Write

Define accordingly

so that

This equation is Eq. (1) of Ref. [3].

If the vectors are parallel, f = t then u = 0 and ft = 1, and the equation is well-defined—it gives R(φ, n) = E. However, if the vectors are antiparallel then ft = cosφ = − 1, and the denominator becomes zero. The rotation axis uf × t = 0. Clearly, a rotation around 180° around any rotation axis perpendicular to the two anti-parallel vectors will map f onto t. This freedom of choice of axis is consistent with the indeterminacy in the equation for φ = 180°.

References

  1. L. C. Biedenharn and J. D. Louck, Angular Momentum in Quantum Physics, Addison-Wesley, Reading, Mass. (1981) ISBN 0-201-13507-8
  2. E. T. Whittaker, A Treatise on the Dynamics of Particles and Rigid Bodies, Cambridge University Press (1965)
  3. T. Möller and J. F. Hughes, J. Graphics Tools, 4(4) pp. 1-4 (1999).