Euler angles: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
No edit summary
imported>Paul Wormer
No edit summary
Line 6: Line 6:
Different conventions are in use: a rotation can be active (the object is rotated, the system of axes is fixed in space), or passive (the object is fixed in space, the axes are rotated).  
Different conventions are in use: a rotation can be active (the object is rotated, the system of axes is fixed in space), or passive (the object is fixed in space, the axes are rotated).  


The choice of rotation axes may vary; a very common active convention is the ''z-y′-z′'' convention. Attach a  system of [[Cartesian coordinates|Cartesian coordinate]] axes to the body that is to be rotated (the coordinate frame is fixed to the body and is rotated simultaneously with it); in the figure the body-fixed frame is shown in red and labeled by lowercase letters.  First rotate around ''z'', then around the new body-fixed ''y''-axis, ''y''′, and finally around ''z''′. Another convention often used  is the ''z-x′-z′'' convention, where instead of over the new ''y''-axis the second rotation is over the new ''x''-axis. Also the ''x-y′-z′′'' convention is used.  
The choice of rotation axes may vary; a very common active convention is the ''z-y′-z′'' convention. Attach a  system of [[Cartesian coordinates|Cartesian coordinate]] axes to the body that is to be rotated (the coordinate frame is fixed to the body and is rotated simultaneously with it); in the figure the body-fixed frame is shown in red and labeled by lowercase letters.  First rotate around ''z'', then around the new body-fixed ''y''-axis, ''y′'', and finally around ''z′''. Another convention often used  is the ''z-x′-z′'' convention, where instead of over the new ''y''-axis the second rotation is over the new ''x''-axis. Also the ''x-y′-z′′'' convention is used.  


The [[right-hand screw rule]] is practically always followed: the rotation axis is a directed line and  a positive rotation is as a cork screw driven into the positive direction of the axis.
The [[right-hand screw rule]] is practically always followed: the rotation axis is a directed line and  a positive rotation is as a cork screw driven into the positive direction of the axis.
Line 80: Line 80:
\end{pmatrix} .
\end{pmatrix} .
</math>
</math>
We used here two well-known relations from [[trigonometry]] for sine and cosine of a sum angle.
We used here the relations well-known from [[trigonometry]] for the sine and cosine of a sum angle.
The derivation of the matrix for rotation around the ''y''-axis proceeds along the same lines. Note that the angle of a vector with the ''x''-axis ''decreases'' by a rotation around the positive ''y''-axis (see right drawing in Figure 2).
The derivation of the matrix for a rotation around the ''y''-axis proceeds along the same lines. Note, however, that the angle of a vector with the ''x''-axis ''decreases'' by a rotation around the positive ''y''-axis (see right-hand drawing in Figure 2).


To prove the first equality (reversal of order), we note that in the article [[rotation matrix]] it is shown that for a rotation matrix '''A''', transforming a rotation axis, the following equation holds
To prove the first equality (reversal of the order in the angles), a property of [[rotation matrix|rotation matrices]] is used.  A rotation (orthogonal 3&times;3)  matrix '''A''', transforming a rotation axis, gives rise to the following similarity equation,
:<math>
:<math>
\mathbf{R}(\varphi, \mathbf{A}\hat{n}) = \mathbf{A}\mathbf{R}(\varphi, \hat{n})\mathbf{A}^{\mathrm{T}}
\mathbf{R}(\varphi, \mathbf{A}\hat{n}) = \mathbf{A}\mathbf{R}(\varphi, \hat{n})\mathbf{A}^{\mathrm{T}},
</math>
</math>
where the superscript T indicates the transpose of the matrix. For rotation matrices the transposed matrix is equal to the inverse of the matrix.
where the superscript T indicates the transpose of the matrix. For rotation matrices the transposed matrix is equal to the inverse of the matrix.
From this follows
From this similarity relation follows that
:<math>
:<math>
\mathbf{R}(\gamma, \hat{e}_{z'}) =  
\mathbf{R}(\gamma, \hat{e}_{z'}) =  
\mathbf{R}(\beta, \hat{e}_{y'})
\mathbf{R}(\beta, \hat{e}_{y'})
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\beta, \hat{e}_{y'})^{\mathrm{T}}
\mathbf{R}(\beta, \hat{e}_{y'})^{\mathrm{T}},
</math>
</math>
so that  
so that  
Line 107: Line 107:
Also
Also
:<math>
:<math>
\mathbf{R}(\beta, \hat{e}_{y'}) = \mathbf{R}(\alpha, \hat{e}_{z})\mathbf{R}(\beta, \hat{e}_{y})\mathbf{R}(\alpha, \hat{e}_{z})^{\mathrm{T}}
\mathbf{R}(\beta, \hat{e}_{y'}) = \mathbf{R}(\alpha, \hat{e}_{z})\mathbf{R}(\beta, \hat{e}_{y})\mathbf{R}(\alpha, \hat{e}_{z})^{\mathrm{T}},
</math>
</math>
so that  
so that  
Line 134: Line 134:
and the required result is proved.
and the required result is proved.


'''(To be continued)'''
<!--
==Algebraic treatment==  
==Algebraic treatment==  
A proper rotation matrix '''R''' can be
In the proof that any rotation can be written as three consecutive rotations an appeal was made to the geometric insight of the reader. This result can be proved more rigorously by algebraic means.  The notation is somewhat shortened:
factorized thus
:<math>
\mathbf{R}(\omega, \hat{e}_{z}) \equiv \mathbf{R}_z (\omega) \quad\hbox{and}\quad
\mathbf{R}(\omega, \hat{e}_{y}) \equiv \mathbf{R}_y (\omega ).
</math>
===Theorem===
A proper rotation matrix '''R''' can be factorized thus
:<math>
:<math>
\mathbf{R} = \mathbf{R}_z (\omega_3 ) \; \mathbf{R}_y (\omega_2 ) \; \mathbf{R}_x (\omega_1 )
\mathbf{R} = \mathbf{R}_z (\omega_3 ) \; \mathbf{R}_y (\omega_2 ) \; \mathbf{R}_x (\omega_1 )
Line 149: Line 151:
</math>
</math>
the ''Euler z-y-z parametrization''.
the ''Euler z-y-z parametrization''.
Here  the matrices representing rotations around the ''z'', ''y'', and ''x'' axis, respectively, over arbitrary angle &phi;, are
:<math>
\mathbf{R}_z (\varphi ) \equiv
\begin{pmatrix}
\cos \varphi & -\sin \varphi & 0 \\
\sin \varphi &  \cos \varphi & 0 \\
          0 &  0          & 1 \\
\end{pmatrix}, \quad
\mathbf{R}_y (\varphi ) \equiv
\begin{pmatrix}
\cos \varphi & 0 & \sin \varphi \\
      0    & 1 &        0    \\
-\sin \varphi& 0 & \cos \varphi \\
\end{pmatrix}, \quad
\mathbf{R}_x (\varphi ) \equiv
\begin{pmatrix}
1 & 0 & 0 \\
0 & \cos \varphi & -\sin \varphi \\
0 & \sin \varphi & \cos \varphi \\
\end{pmatrix} .
</math>
====Proof====
====Proof====
First the Euler ''z-y-x''-parametrization will be proved by describing an
First the Euler ''z-y-x''-parametrization will be proved by an algorithm for the factorization of a given matrix '''R'''.
algorithm for the factorization of '''R'''.
Consider the matrix product
Consider to that end the matrix product
:<math>
:<math>
\mathbf{R}_z (\omega_3 ) \, \mathbf{R}_y (\omega_2 ) =
\mathbf{R}_z (\omega_3 ) \, \mathbf{R}_y (\omega_2 ) =
Line 186: Line 165:
The columns of the matrix product are for ease of reference designated by '''a'''<sub>1</sub>,  '''a'''<sub>2</sub>, and '''a'''<sub>3</sub>.   
The columns of the matrix product are for ease of reference designated by '''a'''<sub>1</sub>,  '''a'''<sub>2</sub>, and '''a'''<sub>3</sub>.   
Note that the multiplication by
Note that the multiplication by
'''R'''<sub>''x''</sub>(&omega;<sub>1</sub>) on the right
:<math>
does not affect the first column, so that '''a'''<sub>1</sub> =
\mathbf{R}_x(\omega_1) \equiv
'''r'''<sub>1</sub> (the first column of the matrix to be factorized).
\begin{pmatrix}
&           0    &      0    \\
0  &  \cos\omega_1  & -\sin\omega_1 \\
0  &  \sin\omega_1  & \cos\omega_1
\end{pmatrix}
</math>
on the right does not affect the first column, so that '''a'''<sub>1</sub> =
'''r'''<sub>1</sub> (the first column of '''R''').
Solve <math>\omega_2\;</math> and <math>\omega_3\;</math> from the first column of
Solve <math>\omega_2\;</math> and <math>\omega_3\;</math> from the first column of
'''R''',
'''R''',
Line 248: Line 234:
\end{align}
\end{align}
</math>
</math>
This concludes the proof of the ''z-y-x'' parametrization.
This concludes the proof of the Euler ''z-y-x'' parametrization.


The Euler ''z-y-z'' parametrization is obtained by a small modification of the previous proof. Solve
The Euler ''z-y-z'' parametrization is obtained by a small modification of the previous proof. Solve
Line 273: Line 259:
\mathbf{R}_y (\omega_2 ) \, \mathbf{R}_z (\omega_1 ) \; ,
\mathbf{R}_y (\omega_2 ) \, \mathbf{R}_z (\omega_1 ) \; ,
</math>
</math>
which proves the Euler ''z-y-z'' parametrization. It is common in this parametrization to write
which proves the Euler ''z-y-z'' parametrization. Clearly, this factorization is equal to the one given earlier, where
:<math>
:<math>
\omega_3 = \alpha,\quad \omega_2 = \beta, \quad \omega_1 = \gamma.
\omega_3 = \alpha,\quad \omega_2 = \beta, \quad \omega_1 = \gamma.
Line 280: Line 266:


'''(To be continued)'''
'''(To be continued)'''
-->

Revision as of 05:01, 12 July 2009

(Under construction, please leave alone)

PD Image
Figure 1. Euler angles. From left to right: initial configuration, after rotation over angle α, after rotation over angle β, and after rotation over angle γ.

In physics, mathematics, and engineering, Euler angles are three rotation angles, commonly denoted by 0 ≤ α ≤ 2π, 0 ≤ β ≤ π, and 0 ≤ γ ≤ 2π. Any rotation of a 3-dimensional object can be performed by three consecutive rotations over the three Euler angles.

Different conventions are in use: a rotation can be active (the object is rotated, the system of axes is fixed in space), or passive (the object is fixed in space, the axes are rotated).

The choice of rotation axes may vary; a very common active convention is the z-y′-z′ convention. Attach a system of Cartesian coordinate axes to the body that is to be rotated (the coordinate frame is fixed to the body and is rotated simultaneously with it); in the figure the body-fixed frame is shown in red and labeled by lowercase letters. First rotate around z, then around the new body-fixed y-axis, y′, and finally around z′. Another convention often used is the z-x′-z′ convention, where instead of over the new y-axis the second rotation is over the new x-axis. Also the x-y′-z′′ convention is used.

The right-hand screw rule is practically always followed: the rotation axis is a directed line and a positive rotation is as a cork screw driven into the positive direction of the axis.

Euler angles are used in many different branches of physics and engineering. The present article is written from the point of view of molecular physics, where the objects to be rotated are molecules.

Geometric discussion

In Figure 1 the space-fixed (laboratory) axes are labeled by capital X, Y, and Z and are shown in black. The body to be rotated is not shown, but a system of axes fixed to it is shown in red. One may use any convenient orthonormal frame as a body-fixed frame. Often the body-fixed axes are principal axes, that means that they are eigenvectors of the inertia tensor of the body. Also symmetry axes, when present, may be used. When the body has symmetry axes, the principal axes often coincide with these.

PD Image
Figure 2. Rotation of r to r′. On the left around z-axis over α (φ increases), on the right around y-axis over β (φ decreases). Both rotation axes point toward the reader.

The z-y′-z′ convention will be followed. Initially, the two frames coincide, and the path to a final arbitrary orientation of the body—and its frame—is depicted on Figure 1. The first rotation is around the z-axis, which coincides with the Z-axis. The x- and y-axis move in a plane perpendicular to the z-axis over an angle α. The second rotation is in a plane through the origin perpendicular to the y′-axis. The angle is β. The present convention has the great practical advantage that the z′-axis has the usual spherical polar coordinates α ≡ φ (longitude angle) and β ≡ θ (colatitude angle) with respect to the space-fixed frame. (For instance, due to this fact the complex conjugate of the m = 0 column of the Wigner D-matrix consists of spherical harmonics). The final rotation is in a plane perpendicular to the z′-axis over an angle γ. From geometric considerations follows that any orientation of the body-fixed frame in space may be obtained.

Write for the rotation matrix that describes a rotation around the unit vector over an angle . Clearly the three consecutive Euler rotations correspond to rotations around the unit vectors along the body-fixed axes z, y′, and z′ over angles α β, and γ, respectively. Because a matrix acts on a column vector to its right, the order in the matrix product is as in the leftmost term in the following equation. It will be shown that the corresponding matrix product can be written in reverse order (but around fixed, unprimed, axes z, y, z), that is,

Before proving the first equality in the above equation (reversal of order), we derive the matrix for a rotation around the z-axis, see the left drawing in Figure 2. The rotated vector has components

We used here the relations well-known from trigonometry for the sine and cosine of a sum angle. The derivation of the matrix for a rotation around the y-axis proceeds along the same lines. Note, however, that the angle of a vector with the x-axis decreases by a rotation around the positive y-axis (see right-hand drawing in Figure 2).

To prove the first equality (reversal of the order in the angles), a property of rotation matrices is used. A rotation (orthogonal 3×3) matrix A, transforming a rotation axis, gives rise to the following similarity equation,

where the superscript T indicates the transpose of the matrix. For rotation matrices the transposed matrix is equal to the inverse of the matrix. From this similarity relation follows that

so that

Also

so that

where it is used that rotations around the same axis commute, that is,

and the required result is proved.

Algebraic treatment

In the proof that any rotation can be written as three consecutive rotations an appeal was made to the geometric insight of the reader. This result can be proved more rigorously by algebraic means. The notation is somewhat shortened:

Theorem

A proper rotation matrix R can be factorized thus

which is referred to as the Euler z-y-x parametrization, or also as

the Euler z-y-z parametrization.

Proof

First the Euler z-y-x-parametrization will be proved by an algorithm for the factorization of a given matrix R. Consider the matrix product

The columns of the matrix product are for ease of reference designated by a1, a2, and a3. Note that the multiplication by

on the right does not affect the first column, so that a1 = r1 (the first column of R). Solve and from the first column of R,

This is possible. First solve for from

Then solve for from the two equations:

Knowledge of and determines the vectors a2 and a3.

Since a1, a2 and a3 are the columns of a proper rotation matrix they form an orthonormal right-handed system. The plane spanned by a2 and a3 is orthogonal to and hence the plane contains and . Thus the latter two vectors are a linear combination of the first two,

Since are known unit vectors we can compute

These equations give with .

Augment the 2×2 matrix to the 3×3 matrix , then

This concludes the proof of the Euler z-y-x parametrization.

The Euler z-y-z parametrization is obtained by a small modification of the previous proof. Solve and from (the rightmost multiplication by Rz1) does not affect r3) and then consider

or, The equation for R can be written as

which proves the Euler z-y-z parametrization. Clearly, this factorization is equal to the one given earlier, where


(To be continued)