Euler angles: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
No edit summary
m (Text replacement - "trigonometry" to "trigonometry")
 
(27 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Image|Euler angles.png|right|550px|Euler angles. From left to right: initial configuration, after rotation over α, after rotation over β,  and after rotation over γ.}}
{{subpages}}
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).  
{{Image|Euler angles.png|right|550px|Figure 1. Euler angles. From left to right: initial configuration, after rotation over angle α, after rotation over angle β, and after rotation over angle γ.}}


The order of Euler angles 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.  
In [[physics]], [[mathematics]], and [[engineering]], '''[[Euler angles]]''' are three rotation angles, often denoted by 0 ≤ α ≤ 2π, 0 ≤ β ≤ π, and 0 ≤ γ ≤ 2π, although the notation φ, θ, ψ is also common. Any rotation of a 3-dimensional object can be performed by three consecutive rotations over the three Euler angles.


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.
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).


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]].
Also the choice of rotation axes may vary; an active convention common in quantum mechanical applications 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 ''z-y-x'' convention is used (and will be discussed  [[Euler_angles#Theorem|below]]).
==Geometric discussion==
 
In the figure 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 is, 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.
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. In older literature ''left-handed'' Cartesian coordinate frames appear sometimes, but in modern literature right-handed frames are used exclusively.
 
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]] and applications are often of quantum mechanical nature.


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. The first rotation is around the ''z''-axis, which coincides with the Z-axis. The ''x''- and ''y''-axis move in the circle perpendicular to the ''z''-axis over an angle α. The second rotation is around a circle perpendicular to the ''y′''-axis. The angle is β. It is a great practical advantage of the present convention that the ''z′''-axis has the usual [[spherical polar coordinates]] α ≡ φ and β ≡ θ with respect to the space-fixed frame.
The angles are named after the 18th century mathematician [[Leonhard Euler]] who introduced in 1765 two of the three for an axially symmetric body where the third angle, &gamma;, does not play a role.<ref>[http://www.17centurymaths.com/contents/euler/mechvol3/tmvol1ch9tr.pdf Translation by Ian Bruce] of L. Euler, ''Theoria Motus Corporum Solidorum Seu Rigidorum'' (Theory of the motion of solid or rigid bodies), Rostock (1765), pdf page 11. Later Euler returned to the angles and gave an alternative derivation, see [http://www.17centurymaths.com/contents/euler/e478tr.pdf. Translation by Johan Sten] of ''Formulae generales pro translatione quacunque corporum rigidorum'' (General formulas for the translation of arbitrary rigid bodies),  Novi Commentarii academiae scientiarum Petropolitanae, vol. '''20''', (1776), pp. 189-207</ref>
(Due to this the [[Wigner D-matrix]] elements are equal to [[spherical harmonics]] for &gamma; = 0).


The final rotation is in a circle perpendicular to the ''z&prime;''-axis over an angle &gamma;. From geometric considerations follows that any orientation in space of the body-fixed frame may be obtained.
==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.
{{Image|Rot z Rot y.png|right|300px|Figure 2. Rotation of '''r''' to '''r'''&prime;. On the left around ''z''-axis over &alpha; (&phi; increases), on the right around ''y''-axis over &beta; (&phi; decreases). Both rotation axes point toward the reader.}}
The ''z-y&prime;-z&prime;'' convention will be followed. Initially, the two frames coincide, and the path to a final arbitrary orientation of the body&mdash;and its frame&mdash;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 &alpha;. The second rotation is in a plane through the origin perpendicular to the ''y&prime;''-axis. The angle is &beta;. The present convention has the  practical advantage that the ''z&prime;''-axis has the usual [[spherical polar coordinates]] &alpha; &equiv; &phi; (longitude angle) and &beta; &equiv; &theta; (colatitude angle) with respect to the space-fixed frame.<ref>In the ''z''-''x''&prime;-''z''&prime; convention the first two Euler angles are not equal to spherical polar angles, in consequence the (''m'', ''m''&prime;) [[Wigner D-matrix]]-element carries the complex phase  exp[''i''&pi;(''m''&minus;''m''&prime;)/2]. This phase is absent in the ''z''-''y''&prime;-''z''&prime; convention  </ref>  The final rotation is in a plane perpendicular to the ''z&prime;''-axis over an angle &gamma;. From geometric considerations follows that any orientation of the body-fixed frame in space may be obtained.


Let us write <math>\mathbf{R}(\varphi, \hat{n})</math> for the [[rotation matrix]] that describes a rotation around the unit vector <math>\hat{n}</math> over an angle <math>\varphi</math>.  
Write <math>\mathbf{R}(\varphi, \hat{n})</math> for the [[rotation matrix]] that describes a rotation around the unit vector <math>\hat{n}</math> over an angle <math>\varphi</math>.  
In [[this article]] it is shown that if '''A''' is a rotation matrix, that
Clearly  the three consecutive  Euler rotations correspond to  rotations around
the unit vectors along the body-fixed axes ''z'', ''y&prime;'', and ''z&prime;'' over angles &alpha; &beta;, and &gamma;, 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,
:<math>
:<math>
\mathbf{R}(\varphi, \mathbf{A}\hat{n}) = \mathbf{A}\mathbf{R}(\varphi, \hat{n})\mathbf{A}^{\mathrm{T}}
\begin{align}
\mathbf{R}(\gamma, \hat{e}_{z'}) \mathbf{R}(\beta, \hat{e}_{y'}) \mathbf{R}(\alpha, \hat{e}_{z})&=
\mathbf{R}(\alpha, \hat{e}_{z }) \mathbf{R}(\beta, \hat{e}_{y }) \mathbf{R}(\gamma, \hat{e}_{z}) \\
&=
\begin{pmatrix}
\cos\alpha & -\sin \alpha & 0 \\
\sin\alpha &  \cos \alpha & 0 \\
        0 &  0          & 1 \\
\end{pmatrix}
\begin{pmatrix}
\cos\beta  & 0 &  \sin\beta \\
    0      & 1 &      0    \\
-\sin\beta & 0 &  \cos\beta  \\
\end{pmatrix}
\begin{pmatrix}
\cos\gamma & -\sin\gamma & 0 \\
\sin\gamma &  \cos\gamma & 0 \\
        0 &  0        & 1 \\
\end{pmatrix} \\
&=
\begin{pmatrix}
\cos\alpha\cos\beta\cos\gamma-\sin\alpha\cos\gamma \;&\; -\cos\alpha\cos\beta\sin\gamma-\sin\alpha\cos\gamma \;&\;\cos\alpha\sin\beta \\
\sin\alpha\cos\beta\cos\gamma+\cos\alpha\sin\gamma \;&\; -\sin\alpha\cos\beta\sin\gamma+\cos\alpha\cos\gamma \;&\; \sin\alpha\sin\beta \\
-\sin\beta\cos\gamma \;&\; \sin\beta\sin\gamma \;&\; \cos\beta
\end{pmatrix}
\end{align}
</math>
Note that the third column contains the Cartesian coordinates  with respect to the space-fixed frame  of <math>\hat{e}_{z''}</math> expressed in sines and cosines of spherical polar angles. The first and second  column contain by definition expressions for the Cartesian coordinates of <math>\hat{e}_{x'''}</math> and <math>\hat{e}_{y''}</math>, respectively, but evidently these are ''not'' solely in terms of spherical polar angles, &gamma; also enters.
 
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
:<math>
\begin{pmatrix}
\cos(\alpha + \phi) \\
\sin(\alpha + \phi) \\
0
\end{pmatrix}
=
\begin{pmatrix}
\cos\alpha\cos\phi -\sin\alpha\sin\phi \\
\sin\alpha\cos\phi + \cos\alpha\sin\phi \\
0
\end{pmatrix}
=
\begin{pmatrix}
\cos\alpha & -\sin\alpha & 0 \\
\sin\alpha & \cos\alpha  & 0\\
0          &      0      & 1  \\
\end{pmatrix}
\begin{pmatrix}
\cos\phi \\
\sin\phi \\
0 \\
\end{pmatrix} \equiv
\mathbf{R}(\alpha, \hat{e}_z)
\begin{pmatrix}
\cos\phi \\
\sin\phi \\
0
\end{pmatrix} .
</math>
</math>
where the superscript T indicates the transpose of the matrix. For rotation matrices it holds that the transposed matrix is equal to the inverse of the matrix.
We used here the relations well-known  from [[Trigonometric function|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).


Clearly then the three consecutive rotations correspond to the matrix product
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}(\gamma, \hat{e}_{z'}) \mathbf{R}(\beta, \hat{e}_{y'}) \mathbf{R}(\alpha, \hat{e}_{z})
\mathbf{R}(\varphi, \mathbf{A}\hat{n}) = \mathbf{A}\mathbf{R}(\varphi, \hat{n})\mathbf{A}^{\mathrm{T}},
</math>
</math>
where unit vectors along the body-fixed axes ''z'', ''y&prime;'', and ''z&prime;'' are introduced.  
where the superscript T indicates the transpose of the matrix. For rotation matrices the transposed matrix is equal to the inverse of the matrix.
Further
From this similarity relation follows that
:<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}(\gamma, \hat{e}_{z'}) =  
\mathbf{R}(\beta, \hat{e}_{y'})
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\beta, \hat{e}_{y'})^{\mathrm{T}},
</math>
</math>
and
so that
:<math>
\mathbf{R}(\gamma, \hat{e}_{z'}) \mathbf{R}(\beta, \hat{e}_{y'}) \mathbf{R}(\alpha, \hat{e}_{z})=
\mathbf{R}(\beta, \hat{e}_{y'})
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\beta, \hat{e}_{y'})^{\mathrm{T}} \; \mathbf{R}(\beta, \hat{e}_{y'}) \mathbf{R}(\alpha, \hat{e}_{z}) =
\mathbf{R}(\beta, \hat{e}_{y'})
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\alpha, \hat{e}_{z}).
</math>
Also
:<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}},
</math>
so that
:<math>
:<math>
\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}(\alpha, \hat{e}_{z})
=
\mathbf{R}(\alpha, \hat{e}_{z})\mathbf{R}(\beta, \hat{e}_{y})
\mathbf{R}(\alpha, \hat{e}_{z})^{\mathrm{T}} \;
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\alpha, \hat{e}_{z}) =
\mathbf{R}(\alpha, \hat{e}_{z})\mathbf{R}(\beta, \hat{e}_{y})
\mathbf{R}(\gamma, \hat{e}_{z}),
</math>
where it is used that rotations around the same axis commute, that is,
:<math>
\mathbf{R}(\alpha, \hat{e}_{z})^{\mathrm{T}}
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\alpha, \hat{e}_{z}) =
\mathbf{R}(\gamma, \hat{e}_{z})
\mathbf{R}(\alpha, \hat{e}_{z})^{\mathrm{T}}
\mathbf{R}(\alpha, \hat{e}_{z}) =
\mathbf{R}(\gamma, \hat{e}_{z})
</math>
</math>
 
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. The same result can be proved more rigorously by algebraic means.  To that end the notation is somewhat shortened:
factorized thus
:<math>
\mathbf{R}_z (\omega) \equiv \mathbf{R}(\omega, \hat{e}_{z})  \quad\hbox{and}\quad
\mathbf{R}_y (\omega )\equiv \mathbf{R}(\omega, \hat{e}_{y}).
</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 56: Line 156:
</math>
</math>
the ''Euler z-y-z parametrization''.
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''' &equiv; ('''r'''<sub>1</sub>, '''r'''<sub>2</sub>, '''r'''<sub>3</sub>). Second the ''z-y-z'' parametrization will be proved; this parametrization is&mdash;as shown above&mdash;equivalent to the ''z&prime;-y&prime;-z'' parametrization with angles in reverse order.


Here  the matrices representing rotations around the ''z'', ''y'', and ''x'' axis, respectively, over arbitrary angle &phi;, are
'':A Fortran subroutine based on the algorithm is given on the [[Euler_angles/Code|code page]].''
:<math>
 
\mathbf{R}_z (\varphi ) \equiv
To prove the ''z-y-x'' parametrization we consider  the matrix product
\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====
First the Euler ''z-y-x''-parametrization will be proved by describing an
algorithm for the factorization of '''R'''.
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 93: Line 173:
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''' (which is known),
:<math>
:<math>
\mathbf{a}_1 =  
\mathbf{a}_1 =  
Line 118: Line 205:
Then solve <math>\omega_3\;</math> for <math>0 \leq \omega_3 \leq 2 \pi</math> from the two equations:
Then solve <math>\omega_3\;</math> for <math>0 \leq \omega_3 \leq 2 \pi</math> from the two equations:
:<math>
:<math>
\begin{align}
\cos \omega_3 = {R_{11} \over \cos \omega_2},\qquad \sin \omega_3 = {R_{21} \over \cos \omega_2} .
\cos \omega_3 =& {R_{11} \over \cos \omega_2} \\
\sin \omega_3 =& {R_{21} \over \cos \omega_2} .
\end{align}
</math>
</math>
Knowledge of <math>\omega_2\;</math> and <math>\omega_3\;</math>  determines the vectors '''a'''<sub>2</sub> and '''a'''<sub>3</sub>.
The angles <math>\omega_2\;</math> and <math>\omega_3\;</math>  determine fully the vectors '''a'''<sub>2</sub> and '''a'''<sub>3</sub>.


Since '''a'''<sub>1</sub>, '''a'''<sub>2</sub> and '''a'''<sub>3</sub> are the columns of a
Since '''a'''<sub>1</sub>, '''a'''<sub>2</sub> and '''a'''<sub>3</sub> are the columns of a
Line 136: Line 220:
</math>
</math>
Since <math>\mathbf{r}_2,\; \mathbf{a}_2,\; \mathbf{a}_3</math> are
Since <math>\mathbf{r}_2,\; \mathbf{a}_2,\; \mathbf{a}_3</math> are
known unit vectors we can compute
known orthonormal vectors, we can compute
:<math>
:<math>
\begin{align}
\begin{align}
Line 145: Line 229:
These equations give <math>\omega_1\;</math> with <math> 0 \leq \omega_1 \leq 2 \pi</math>.
These equations give <math>\omega_1\;</math> with <math> 0 \leq \omega_1 \leq 2 \pi</math>.


Augment the 2&times;2  matrix  to the 3&times;3 matrix <math>\mathbf{R}_x(\omega_1)</math>, then
The angle &omega;<sub>1</sub> gives the matrix <math>\mathbf{R}_x(\omega_1)</math> with
:<math>
:<math>
\begin{align}
\begin{align}
Line 155: Line 239:
\end{align}
\end{align}
</math>
</math>
This concludes the proof of the ''z-y-x'' parametrization.
This gives the required ''z-y-x'' factorization of the arbitrary proper orthogonal matrix '''R'''.


The Euler ''z-y-z'' parametrization is obtained by a small modification of the previous proof. Solve
The proof of the Euler ''z-y-z'' parametrization is obtained by a small modification of the previous proof. We start by retrieving the spherical polar coordinates <math>\omega_2\;</math> and
<math>\omega_2\;</math> and
<math>\omega_3\;</math> of the unit vector <math>\mathbf{r}_3 = \mathbf{a}_3 </math>, the third column [the rightmost multiplication by '''R'''<sub>''z''</sub>(&omega;<sub>1</sub>) does not affect '''r'''<sub>3</sub>]. Then consider
<math>\omega_3\;</math> from <math>\mathbf{r}_3 = \mathbf{a}_3 </math> (the rightmost multiplication by '''R'''<sub>''z''</sub>(&omega;<sub>1</sub>) does not affect '''r'''<sub>3</sub>)
and then consider
:<math>
:<math>
( \mathbf{r}_1, \; \mathbf{r}_2 ) = (\mathbf{a}_1, \; \mathbf{a}_2 )
( \mathbf{r}_1, \; \mathbf{r}_2 ) = (\mathbf{a}_1, \; \mathbf{a}_2 )
Line 180: Line 262:
\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 in the previous section, with
:<math>
:<math>
\omega_3 = \alpha,\quad \omega_2 = \beta, \quad \omega_1 = \gamma.
\omega_3 \equiv \alpha,\quad \omega_2 \equiv \beta, \quad \omega_1 \equiv \gamma.
</math>
</math>
 
==Note==
 
<references />[[Category:Suggestion Bot Tag]]
'''(To be continued)'''

Latest revision as of 09:09, 16 December 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
Code [?]
 
This editable Main Article is under development and subject to a disclaimer.
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, often denoted by 0 ≤ α ≤ 2π, 0 ≤ β ≤ π, and 0 ≤ γ ≤ 2π, although the notation φ, θ, ψ is also common. 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).

Also the choice of rotation axes may vary; an active convention common in quantum mechanical applications 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 z-y-x convention is used (and will be discussed below).

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. In older literature left-handed Cartesian coordinate frames appear sometimes, but in modern literature right-handed frames are used exclusively.

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 and applications are often of quantum mechanical nature.

The angles are named after the 18th century mathematician Leonhard Euler who introduced in 1765 two of the three for an axially symmetric body where the third angle, γ, does not play a role.[1]

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 practical advantage that the z′-axis has the usual spherical polar coordinates α ≡ φ (longitude angle) and β ≡ θ (colatitude angle) with respect to the space-fixed frame.[2] 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,

Note that the third column contains the Cartesian coordinates with respect to the space-fixed frame of expressed in sines and cosines of spherical polar angles. The first and second column contain by definition expressions for the Cartesian coordinates of and , respectively, but evidently these are not solely in terms of spherical polar angles, γ also enters.

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. The same result can be proved more rigorously by algebraic means. To that end 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 ≡ (r1, r2, r3). Second the z-y-z parametrization will be proved; this parametrization is—as shown above—equivalent to the z′-y′-z parametrization with angles in reverse order.

:A Fortran subroutine based on the algorithm is given on the code page.

To prove the z-y-x parametrization we 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 (which is known),

This is possible. First solve for from

Then solve for from the two equations:

The angles and determine fully 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 orthonormal vectors, we can compute

These equations give with .

The angle ω1 gives the matrix with

This gives the required z-y-x factorization of the arbitrary proper orthogonal matrix R.

The proof of the Euler z-y-z parametrization is obtained by a small modification of the previous proof. We start by retrieving the spherical polar coordinates and of the unit vector , the third column [the rightmost multiplication by Rz1) does not affect r3]. 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 in the previous section, with

Note

  1. Translation by Ian Bruce of L. Euler, Theoria Motus Corporum Solidorum Seu Rigidorum (Theory of the motion of solid or rigid bodies), Rostock (1765), pdf page 11. Later Euler returned to the angles and gave an alternative derivation, see Translation by Johan Sten of Formulae generales pro translatione quacunque corporum rigidorum (General formulas for the translation of arbitrary rigid bodies), Novi Commentarii academiae scientiarum Petropolitanae, vol. 20, (1776), pp. 189-207
  2. In the z-x′-z′ convention the first two Euler angles are not equal to spherical polar angles, in consequence the (m, m′) Wigner D-matrix-element carries the complex phase exp[iπ(mm′)/2]. This phase is absent in the z-y′-z′ convention