Conjugating a matrix in SL(2,ℝ) to an orthogonal matrix

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
9 replies · 3K views
mnb96
Messages
711
Reaction score
5
Hello,

we are given a 2×2 matrix [itex]S[/itex] such that [itex]det(S)=1[/itex].
I would like to find a 2x2 invertible matrix [itex]A[/itex] such that: [itex]A S A^{-1} = R[/itex], where [itex]R[/itex] is an orthogonal matrix.

Note that the problem can be alternatively reformulated as: Is it possible to decompose a matrix S∈SL(2,ℝ) in the following way: [tex]S=A^{-1}R A[/tex]where R is orthogonal and A is invertible?

Is this a well-known problem? To be honest, I don't have many ideas on how to tackle this problem, so even a suggestion that could get me on the right track would be very welcome.
 
Physics news on Phys.org
Every orthogonal matrix can be diagonalized. Not every matrix in ##SL(2,\mathbb{R})## can be diagonalized. So what you ask is impossible.
 
Why did you mention the diagonalizability of a matrix?
I am not asking if S is similar to a diagonal matrix. I am rather asking if S is similar to an orthogonal matrix.
 
##R## orthogonal ⇒ ##R## diagonalizable ⇒ (if ##R## similar to ##S##) ##S## diagonalizable
##S = \begin{pmatrix} 1 && 1 \\ 0 && 1 \end{pmatrix} \in SL(2,ℝ)## not diagonalizable, contradiction
⇒ ##S## not similar to ##R##
 
fresh_42 said:
##R## orthogonal ⇒ ##R## diagonalizable
I thought orthogonal matrices were not diagonalizable over ℝ in general.Btw, I actually found a counterexample of your (micromass' and fresh's) above statements: consider the matrix [itex] S = \begin{pmatrix}<br /> 1 & 2\\<br /> -1 & -1<br /> \end{pmatrix}[/itex].
We can easily see that [itex]det(S)=1[/itex], and we can still decompose that matrix into: [tex] S = \underbrace{\begin{pmatrix}<br /> -1 & -1\\<br /> 0 & 1<br /> \end{pmatrix} }_{A^{-1}}\;<br /> <br /> \underbrace{\begin{pmatrix}<br /> 0 & -1\\<br /> 1 & 0<br /> \end{pmatrix}}_R\;<br /> <br /> \underbrace{\begin{pmatrix}<br /> -1 & -1\\<br /> 0 & 1<br /> \end{pmatrix}}_A[/tex]

where A is invertible and R is orthogonal, as required. This proves that there exist matrices in SL(2,ℝ) that are similar to orthogonal matrices. Note also that S is not diagonalizable over ℝ.
 
Last edited:
mnb96 said:
I thought orthogonal matrices were not diagonalizable over ℝ in general.

They are over ##\mathbb{C}##.

Btw, I actually found a counterexample of your (micromass' and fresh's) above statements: consider the matrix [itex] S = \begin{pmatrix}<br /> 1 & 2\\<br /> -1 & -1<br /> \end{pmatrix}[/itex].
We can easily see that [itex]det(S)=1[/itex], and we can still decompose that matrix into: [tex] S = \underbrace{\begin{pmatrix}<br /> -1 & -1\\<br /> 0 & 1<br /> \end{pmatrix} }_{A^{-1}}\;<br /> <br /> \underbrace{\begin{pmatrix}<br /> 0 & -1\\<br /> 1 & 0<br /> \end{pmatrix}}_R\;<br /> <br /> \underbrace{\begin{pmatrix}<br /> -1 & -1\\<br /> 0 & 1<br /> \end{pmatrix}}_A[/tex]

where A is invertible and R is orthogonal, as required. This proves that there exist matrices in SL(2,ℝ) that are similar to orthogonal matrices. Note also that S is not diagonalizable over ℝ.

##S## is diagnalizable over ##\mathbb{C}##. And of course there exists matrices in ##SL(2,\mathbb{R})## similar to orthogonal matrices. The identity matrix would be an example of this. The point is that not all matrices in ##SL(2,\mathbb{R})## are similar to orthogonal matrices.
 
Furthermore, what you ask is possible exactly for those matrices in ##SL(2,\mathbb{R})## whose eigenvalues have ##|\lambda|=1## (and could be complex).
 
Thanks micromass,

I think I understand your remarks, but I still have a doubt.

Given a matrix [itex]\mathrm{S} \in SL(2,\mathbb{R})[/itex], and assuming there exists a 2×2 real matrix matrix A such that [itex]A^{-1}SA = R[/itex], we can deduce that S must be diagonalizable (over ℂ), since every rotation matrix R is. That means that we can write: [tex](AC)^{-1}\,S\,(AC) = \Lambda[/tex] where we used the diagonalization [itex]R=C\,\Lambda\,C^{-1}[/itex] (note that both C and Λ are in general complex).Now, starting from the sole knowledge of S we could perform an eigendecomposition of S and we would obtain [itex]S=Q^{-1}\Lambda Q[/itex], where [itex]Q=AC[/itex]. But then, how do we extract the real matrix A from the complex matrix Q?

For instance, in the example I gave above where [itex] S = \begin{pmatrix}<br /> 1 & 2\\<br /> -1 & -1<br /> \end{pmatrix}[/itex] the eigendecomposition of S would give [itex]S=Q \Lambda Q^{-1}[/itex] where: [tex]Q=<br /> \frac{\sqrt{6}}{6}\begin{pmatrix}<br /> 2 & 2\\<br /> -1+i & -1-i<br /> \end{pmatrix}[/tex]
[tex]\Lambda=<br /> \begin{pmatrix}<br /> i & 0\\<br /> 0 & -i<br /> \end{pmatrix}[/tex]

How do we extract [itex]A=<br /> \begin{pmatrix}<br /> -1 & -1\\<br /> 0 & 1<br /> \end{pmatrix}[/itex] from the complex matrix Q ?
 
Last edited:
Ok, I think this question has been almost answered.

Summarizing, given a matrix [itex]S\in SL(2,\mathbb{R})[/itex] we ask if there exist one invertible matrix [itex]A\in GL(2,\mathbb{R})[/itex] and a rotation matrix [itex]R\in SO(2,\mathbb{R})[/itex] such that [itex]A^{-1}SA=R[/itex].

Since [itex]R[/itex] is diagonalizable over ℂ (i.e. [itex]R=C\Lambda C^{-1}[/itex]), we have that:

[tex]S=(AC)\Lambda (C^{-1}A^{-1}) = Q\Lambda Q^{-1} \qquad\qquad\qquad \mathrm{(1)}[/tex]
From the above equation we can deduce that [itex]S[/itex] must be diagonalizable and must have eigenvalues having modulo 1. These are necessary conditions. They would be also sufficient conditions if we add the requirement that the eigenvectors of [itex]S[/itex] must have the same real part.

Since [itex]Q=AC[/itex] we can find a matrix [itex]A=QC^{-1}[/itex], where the columns of [itex]C[/itex] contain the eigenvectors of [itex]R[/itex], for instance [itex]C=\begin{pmatrix}<br /> 1 & 1\\<br /> i & -i<br /> \end{pmatrix}[/itex].
It can be verified that when the eigenvectors of [itex]S[/itex] have the same real part, then the matrix [itex]A[/itex] is real.

However, the matrix [itex]A[/itex] is not unique. For example, we can easily see that by multiplying [itex]A[/itex] with an invertible matrix [itex]M[/itex] that commutes with [itex]S[/itex] (i.e. [itex]MS=SM[/itex]) Equation (1) would still hold.