Last time we have seen where the formula came from and today I will try to describe how to do the matrix exponential by means of sine and cosine of the rotation angle and some multiplication and addition. As we will see at the end the result will be the Rodrigues' rotation formula which should not be a surprise 🙂
Ok so how can we exponentiate a matrix. With a real number we use the Taylor series.
Remember that is a skew symmetric matrix of the vector
Where the direction of this vector is the axis of the rotation and the magnitude is the angle of rotation in counter clockwise direction. We can split the vector to the axis of rotation represented by a unit vector where and the angle of rotation
Upon converting the vector to the skew symmetric matrix
so we can write
The Taylor series for
Ok this is nice but so far nothing really new or too interesting. To move on we need to keep staring at this formula for a bit. We know that sine and cosine functions have very similar power series.
The sine and cosine can be added to form with the help of complex numbers, strictly speaking the imaginary number
Lets look how it works
Now we exponentiate the as such and We get
We can group the real and imaginary numbers to get.
The real component is the same as the cosine and the imaginary one as the sine function which give us the famous Euler formula.
Without diving into more mathematical details we can say the imaginary number in front of the sine function alternates the signs of the elements in the sine power series based on the exponent.
This is great but how does it help us? Well if we could find something that alternates the sign based on the exponent we could convert to an easy to calculate sum of the sine and cosine. Luckily this is possible.
It turns out that if we exponentiate the skew symmetric matrix we get back the original with just inverted sign. Well unfortunately not for all exponents. We know that the outer product is
This is the result of squaring the skew symmetric matrix, now what happens when we do power of 3,4,5.....
Lets use this knowledge and reduce the terms in the Taylor expansion We only leave for now.
We can see that there are terms with and Lets factor them out.
Hmm I'm sure you can already see some similarity with the sine and cosine functions. Well, the sine is quite clear but what about the cosine? We can see that we are missing the 1 at the beginning of the series an also that all signs are inverted.
and this is what we have...
We can convert our power series to the cosine by subtracting 1 from the cosine power series.
Great using this manipulation in our matrix exponential equation we get
And here we go, this is the Rodrigues' rotation formula