Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Physics LibreTexts

2.2: The geometry of the three-dimensional rotation group. The Rodrigues-Hamilton theorem

( \newcommand{\kernel}{\mathrm{null}\,}\)

There are three types of transformations that map the Euclidean space onto itself: translations, rotations and inversions. The standard notation for the proper rotation group is O+,or SO(3) short for “simple orthogonal group in three dimensions”. “Simple” means that the determinant of the transformation is +1, we have proper rotations with the exclusion of the inversion of the coordinates:

xxyyzz

In contrast to the group of translations, SO(3) is non-Abelian, and its theory, beginning with the adequate choice of parameters is quite complicated. Nevertheless, its theory was developed to a remarkable degree during the 18th century by Euler.

Within classical mechanics the problem of rotation is not considered to be of fundamental importance. The Hamiltonian formalism is expressed usually in terms of point masses, which do not rotate. There is a built-in bias in favor of translational motion.

The situation is different in quantum mechanics where rotation plays a paramount role. We have good reasons to give early attention to the rotation group, although at this point we have to confine ourselves to a purely geometrical discussion that will be put later into an algebraic form.

According to a well known theorem of Euler, an arbitrary displacement of a rigid body with a single fixed point can be conceived as a rotation around a fixed axis which can be specified in terms of the angle of rotation ϕ, and the unit vector ˆu along the direction of the rotational axis. Conventionally the sense of rotation is determined by the right hand rule. Symbolically we may write R={ˆu,ϕ}.

The first step toward describing the group structure is to provide a rule for the composition of rotations with due regard for the noncommuting character of this operation. The gist of the argument is contained in an old theorem by Rodrigues-Hamilton.

Our presentation follows that of C. L. K. Whitney [Whi68]. Consider the products

R3=R2R1

R3=R1R2

where R3 is the composite rotation in which R1 is followed by R2.

Figure 2.1 represents the unit sphere and is constructed as follows: the endpoints of the vectors ˆu1 and ˆu2 determine a great circle, the smaller arc of which forms the base of mirror-image triangles having angles ϕ1/2 and ϕ2/2 as indicated. The endpoint of the vector ˆu1 is located by rotating ˆu1 by angle ϕ2 about ˆu2. Our claim, that the other quantities appearing on the figure are legitimately labeled ϕ3/2,ˆu3,ˆu3 is substantiated easily. Following the sequence of operations indicated in 2.2.3, we see that the vector called ˆu3 is first rotated by angle ϕ1, about ˆu1, which takes in into ˆu3. Then it is rotated by angle ϕ2 about ˆu2 , which takes it back to ˆu3. Since it is invariant, it is indeed the axis of the combined rotation. Furthermore, we see that the first rotation leaves ˆu1 invariant and the second rotation, that about ˆu2 carries it into ˆu1, the position it would reach if simply rotated about ˆu3, by the angle called ϕ3. Thus that angle is indeed the angle of the combined rotation. Note that a symmetrical argument shows that ˆu3 and ϕ3 are the axis and angle of the rotation P3=R1R2.

Equation ??? can be expressed also as

R13R2R1=1

which is interpreted as follows: rotation about ˆu1, by ϕ1, followed by rotation about ˆu2, by ϕ2 followed by rotation about ˆu3, by minus ϕ3 produces no change. This statement is the Rodrigues-Hamilton theorem.

clipboard_e4ed1cadd55fb98119aa007a7741482fa.png
Figure 2.1: Composition of the Rotations of the Sphere α=ϕ1/2,β=ϕ2/2,γ=ϕ3/2.

This page titled 2.2: The geometry of the three-dimensional rotation group. The Rodrigues-Hamilton theorem is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by László Tisza (MIT OpenCourseWare) .

Support Center

How can we help?