4
$\begingroup$

One of the questions on my University's algebra qual had us prove that given an arbitrary $\mathbf{A}\in SO_{3}(\mathbb{R})$, there is some constant, $-1\leq\alpha\leq3$, such that $$\mathbf{A}^{3}-\alpha\mathbf{A}^{2}+\alpha\mathbf{A}-\mathbf{I}_{3}=0.$$

Appealing to the Cayley-Hamilton theorem, and the fact that $\det\mathbf{A}=1$, I was able to (through good old fashioned number crunching) show that $$\mathbf{A}^3-(\text{tr }\mathbf{A})\mathbf{A}^2+\beta\mathbf{A}-\mathbf{I}_{3}=0,$$ where $\beta=-a_{12}a_{21} + a_{11}a_{22} - a_{13}a_{31} - a_{23}a_{32} + a_{11}a_{33} + a_{22}a_{33}$. So naturally I assumed that the $\alpha$ they were looking for was $\alpha=\text{tr }\mathbf{A}$, and that (by the restrictions placed on $\mathbf{A}$ by its orthogonality) $\beta=\alpha$.

I also suspected that since $\text{tr }\mathbf{I}_{3}=3$ and $\text{tr }\begin{bmatrix} 1 & 0 & 0\\ 0 & -1 & 0\\ 0 & 0 & -1 \end{bmatrix}=-1$ (both of which are in $SO_{3}(\mathbb{R})$) then these might contribute to the proposed bounds on $\alpha$, however I was not able to formally show anything.

Any help in proving the bounds on $\alpha$ or on showing that $\alpha=\beta$ (of which I'm pretty certain is indeed true, after trying a number of specific examples) is much appreciated.

  • 4
    A matrix in $SO_3$ is diagonalizable over $\mathbb C$, with one eigenvalue equal to $1$ and the other two complex conjugate numbers of modulus $1$. Can you go on from there?2011-09-14
  • 0
    Thanks, that helps me prove the bounds on $\alpha$. Since similar matrices have the same trace, then the trace of any matrix in $SO_{3}$ must be equal to $1+2\Re(z)$, with $|z|=1, z\in\mathbb{C}$, hence $-1\leq\Re(z)\leq1$. I don't see how this helps me get that $\alpha=\beta$ however.2011-09-14
  • 2
    Well, you *can* look more :)2011-09-14
  • 0
    Similar matrices also have the same characteristic polynomials (not just the same trace and determinant).2011-09-14
  • 0
    I'm guessing that similar matrices also have the same characteristic polynomial? This would then allow us to assume WLOG that $\mathbf{A}$ is already diagonalized, which would simplify $\beta=z+\bar{z}+|z|=1+2\Re(z)=\text{tr }\mathbf{A}$. :)2011-09-14
  • 0
    @Aaron Sorry, was typing when you mentioned that. Thanks. Looks like this one is in the bag.2011-09-14
  • 0
    Do you know why a matrix in $SO_3$ is diagonalizable over $\mathbb C$ with one eigenvalue equal to $1$ and the other two complex conjugate numbers of modulus $1$?2011-09-14
  • 0
    I can't say I do. It's at least not immediately apparent to me. I think it probably has something to do with the fact that $SO_{3}(\mathbb{R})$ is equivalent to 3D isometries that fix the origin, but I'm not particularly strong on algebra nor linear algebra.2011-09-14
  • 1
    Then you should put down the bag for a while and think more about this...2011-09-14
  • 0
    [Wikipedia](http://en.wikipedia.org/wiki/Orthogonal_matrix#Canonical_form) has given me enough information to feel comfortable. I'm just not sure why "any orthogonal matrix separat[ing] into independent actions on orthogonal two-dimensional subspaces" gives the block-diagonal form they claim. I've spent enough time on this problem though, so I am content to move on. Thanks for all the guidance. @Aaron I'd love to see it. Thanks.2011-09-14

1 Answers 1

5

Mariano's hint is the key to solving the problem. Here is a solution which explains why the hint is true.

Proposition: If $A\in U_n$, the unitary group, then every eigenvalue of $A$ is of norm $1$.

proof. If $Av=\lambda v$, then because $A$ is unitary $|v|=|Av|=|\lambda v|=|\lambda||v|$.

Note that we are viewing orthogonal matrices as unitary because it is a more natural to think about complex eigenvectors in this case.

Proposition: If $A\in SO_3(\mathbb R)$, then $1$ is an eigenvalue of $A$.

proof. Since the characteristic polynomial of $A$ is real and of degree $3$, it must have some real root, and since every eigenvalue of $A$ is of norm $1$, this root must be $\pm 1$. Suppose that the eigenvalues are $-1, \alpha$, and $\beta$. Then $\alpha\beta=-1$. However, since $|\alpha|=|\beta|=1$, we must have $\beta=-\overline{\alpha}$. Since $\operatorname{tr} A=-1+(\alpha-\overline{\alpha})$ is real, $\alpha$ must be real too, and hence $\alpha=\pm 1$.

By the proposition, the eigenvalues of $A\in SO_3$ are therefore $1, \alpha, \overline{\alpha}$ for some $\alpha\in C$ with $|\alpha|=1$. The characteristic polynomial of $A$ is then
$(x-1)(x-\alpha)(x-\overline{\alpha})=(x-1)(x^2-2rx+1)=x^3-(2r+1)x^2+(2r+1)x-1$

where $r=\operatorname{Re}(\alpha)$. The result now follows by Cayley-Hamilton.