Semi-inverse Eigenvalues and Rotation Matrices
Donald R. Burleson, Ph.D.
Copyright © 2019 by Donald R. Burleson. All rights reserved.
It is well known in matrix theory that
is a rotation matrix having the effect, by matrix multiplication, of rotating a vector counterclockwise in the plane through an angle . As the theorem proven below will show, this concept of a rotation matrix interacts in an interesting way with the concept of the (principal) semi-inverse of a nonsingular matrix. In previous articles I have described the semi-inversion operator having the matrix property . I generally denote the principal semi-inverse of A as the matrix . I will also use the terminology that a complex number z “generates” the associated multiplication matrix
Let us now see how things interrelate by proving the following:
THEOREM: Given any semi-invertible matrix A and any eigenvalue of A, the corresponding eigenvalue of the (principal) semi-inverse of A generates a rotation matrix. Specifically, any complex-number eigenvalue z of A has a corresponding eigenvalue of that generates the stretching/contraction rotation matrix
PROOF: Given a semi-invertible matrix A, let us first consider the simple case in which an eigenvalue is a positive real number. Euler’s Formula implies that in principal complex value, the corresponding eigenvalue in the principal semi-inverse matrix is
and the associated multiplication matrix for this complex number is
which from its form is the rotation matrix that rotates a vector through an angle of radians.
The situation is only slightly different for a negative real eigenvalue in that again
but in principal absolute value the exponentiations, from Euler’s relation , are of the form
and this complex number generates the associated multiplication matrix
which is a contraction/rotation matrix that rotates a vector through an angle of radians and multiplies the length of the vector by
These two results, for a real-number eigenvalue, are of course special cases of the more general situation where an original A-eigenvalue is a not-necessarily-real complex number. We now examine that scenario to find, however, that again the results are similar.
For a complex A-eigenvalue, yet again Euler’s Formula in principal value implies that
, where now the logarithms are given by expressions of the form , and using the standard formulas for cos(A+B) and sin(A+B) along with the formulas (for complex numbers z)
it is a fairly straightforward computation to find, in principal value, that
and this complex number generates the matrix
which is a “stretching or contraction” (depending on the numerical size of the coefficient) rotation matrix that in the general case rotates a vector through an angle of radians, where the vertical bars this time indicate the modulus of the complex-number eigenvalue.
It is clear that the special cases give respectively the positive and negative real-number eigenvalue results previously shown.
This completes the proof, except that we have tacitly assumed, in the argument for negative real-number eigenvalues, that for two real numbers a and b,
But this is easily established, since the right-hand expression is given by
[cos ln(a) + isin ln(a)][cos ln(b) + isin ln(b)]
= cos ln(a) cos ln(b) + i[sin ln(a) cos ln(b) + sin ln(b) cos ln(a)] - sin ln(a) sin ln(b)
= cos [ ln(a) + ln(b) ] + isin[ln(a) + ln(b)] = cos ln(ab) + isin ln(ab)
which equals the left-hand expression above as needed.