In the previous videos, we learned that any instantaneous velocity of a rigid body can
be represented as a twist, defined by a speed theta-dot rotating about, or translating along,
a screw axis S. In this video, we integrate the vector differential equation describing
the motion of a frame twisting along a constant screw axis to find the final displacement
of the frame.
This animation shows a screw axis S and a frame at time zero.
Let's say that this configuration is coincident with the space frame {s}, so its representation
is the identity matrix.
Now we let the frame twist about the screw axis at a rotational speed theta-dot = 1.
The animation shows the configuration achieved at times t equals pi and t equals 2 pi.
These configurations are represented as transformation matrices, but an alternative representation
would use 6 exponential coordinates, similar to the 3 exponential coordinates for rotation
that we saw earlier.
In this case, we could represent the configuration at time pi as S times pi, meaning the configuration
achieved after the frame has followed the screw axis S for time pi.
Similarly, we could represent the configuration at time 2 pi as S times 2 pi.
Let's look at some of the analogies between rotations and full rigid-body motions.
For rotations, we have a unit rotation axis omega-hat.
For rigid-body motions, we have a screw axis where either the angular component is a unit
vector or the angular component is zero and the linear component is a unit vector.
For rotations, the exponential coordinates are omega-hat theta, where theta is the angle
of rotation about the axis omega-hat.
For rigid-body motions, the exponential coordinates are S-theta.
If the screw axis has any angular component, theta is the angle rotated about the screw
axis.
If the screw axis has zero rotation, then theta is the linear distance traveled along
the axis.
For rotations, the matrix representation of the exponential coordinates is the 3 by 3
skew symmetric representation of omega-hat times theta.
The set of all such matrices is called little so(3).
For rigid-body motions, the matrix representation of the exponential coordinates is a 4 by 4
matrix in little se(3), which we learned about in the last video.
For rotations, the exponential maps matrices in little so(3) to rotation matrices, and
the log maps rotation matrices to little so(3).
For rigid-body motions, the exponential maps matrices in little se(3) to transformation
matrices, and the log maps transformation matrices to little se(3).
As with the case for rotations, the matrix exponential for rigid-body motions has closed-form
solutions.
There are two cases to consider: one where the screw axis is a pure translation with
no rotation, and one where the screw axis has rotation.
For the case of a purely translational screw axis, theta refers to the linear distance
traveled, and the solution is particularly simple: the orientation is unchanged, hence
the identity matrix in the top left submatrix, and the new position is just the unit linear
velocity of the screw axis times the distance traveled.
For the case of a screw axis with rotation, again a closed-form solution exists, but it
is a bit more complicated.
The algorithm for the matrix logarithm involves inverting these expressions to find the matrix
representation of the exponential coordinates S times theta.
Now, given a body frame {b} at the configuration T_sb relative to the space frame {s}, we would
like to know the final configuration T_sb-prime of the body frame if it travels a distance
theta along the screw S. We could represent S in either the {s} frame or the {b} frame.
If we define it in the {b} frame, the final configuration T_sb prime is T_sb times the
matrix exponential.
Remembering that multiplying by a transformation on the right corresponds to a transformation
expressed in the frame of the second subscript.
If we define the screw axis in the {s} frame, we must premultiply T_sb by the matrix exponential,
since multiplication on the left means that the transformation is expressed in the frame
of the first subscript.
Each single-degree-of-freedom joint of a robot, such as a revolute joint, a prismatic joint,
or a helical joint, has a joint axis defined by a screw axis.
The matrix exponential and log will be used extensively in the study of robot kinematics,
starting in Chapter 4.
The next and final video of Chapter 3 covers the representation of forces and torques in
three-dimensional space.