Symmetric Matrices to Jordan Blocks

LogicalTime
Messages
114
Reaction score
0
I've been working through the Linear Algebra course at MITOCW. Strang doesn't go into the Jordan form much.

When a matrix A is diagonalizable then

<br /> A= S \Lambda S^{-1}<br />

and the matrix S can be formed from eigenvectors that correspond to the eigenvalues in \Lambda

Question:
how do I form S when A is not diagonalizable?
ie.
<br /> \left[<br /> \begin{array}{rr}<br /> 5&amp;1\\<br /> -1&amp;3\\<br /> \end{array}<br /> \right]<br /> =S \left[<br /> \begin{array}{rr}<br /> 4&amp;1\\<br /> 0&amp;4\\<br /> \end{array}<br /> \right]<br /> S^{-1}<br />
 
Physics news on Phys.org
The fact that A is NOT diagonalizable means that it does NOT have a complete set of eigenvectors. You need to form S from eigenvectors as much as possible and use "generalized" eigenvectors to fill out S.
In your example, the eigenvalue equation is
\left|\begin{array}{cc} 5-\lambda &amp; 1 \\ -1 &amp; 3-\lambda\end{array}\right|
= \lambda^2- 8\lambda+ 16= (\lambda- 4)^2= 0[/itex] <br /> so 4 is a double eigenvalue (which you knew). <br /> <br /> An eigenvector corresponding to eigenvalue 4 must satisfy <br /> \left[\begin{array}{cc}5 &amp;amp; 1 \\ -1 &amp;amp; 3\end{array}\right]\left[\begin{array}{c}x \\ y\end{array}\right]= \left[\begin{array}{c}4x \\ 4y\end{array}\right]<br /> and so must satisfy 5x+ y= 4x and -x+ 3y= 4y, both of which reduce to y= -x. Any vector of the form &lt;x, -x&gt;= x&lt;1, -1&gt; is an eigenvector. But that&#039;s only one eigenvector which is why we cannot diagonalize this matrix.<br /> <br /> Now, every matrix satisfies it own characteristic equation: (A- 4I)^2= 0 which means (A- 4I)^2v= 0 for every vector v. Obviously, if v is an eigenvector with eigenvalue 4, (A- 4I)v= 0 so (A- 4I)(A- 4I)v= (A- 4I)0= 0. But it might also be possible that (A-4I)v is not 0 but (A- 4I)((A-4I)v)= 0. Such a vector is a &quot;generalized&quot; eigenvector In that case, (A-4I)v must be an eigenvector! To find another vector such that (A- 4I)^2v= 0, we must find a vector such that (A-4I)v= &lt;1, -1&gt;. That gives the equation<br /> \left[\begin{array}{cc}5- 4 &amp;amp; 1 \\ -1 &amp;amp; 3- 5\end{array}\right]\left[\begin{array}{c}x \\ y\end{array}\right]= \left[\begin{array}{cc}1 &amp;amp; 1 \\ -1 &amp;amp; -2\end{array}\right]\left[\begin{array}{c}x \\ y\end{array}\right]= \left[\begin{array}{c}1 \\ -1\end{array}\right]<br /> which gives the two equations x+ y= 1 and -x- 2y= -1. Adding the two equations, -y= 0 so y= 0. Then x= 1. A &quot;generalized&quot; eigenvector is &lt;1, 0&gt;<br /> Take<br /> S= \left[\begin{array}{cc} 1 &amp;amp; 1 \\ -1 &amp;amp; 0\end{array}\right]<br /> taking the eigenvector and &quot;generalized&quot; eigenvector as columns. Then<br /> S^{-1}= \left[\begin{array}{cc} 0 &amp;amp; -1 \\ 1 &amp;amp; 1\end{array}\right]<br /> and<br /> S^{-1}AS= \left[\begin{array}{cc} 0 &amp;amp; -1 \\ 1 &amp;amp; 1\end{array}\right]\left[\begin{array}{cc}5 &amp;amp; 1 \\ -1 &amp;amp; 3\end{array}\right]\left[\begin{array}{cc} 1 &amp;amp; 1 \\ -1 &amp;amp; 0\end{array}\right]<br /> = \left[\begin{array}{cc}1 &amp;amp; -3 \\ 4 &amp;amp; 4\end{array}\right]\left[\begin{array}{cc} 1 &amp;amp; 1 \\ -1 &amp;amp; 0\end{array}\right]= \left[\begin{array}{cc} 4 &amp;amp; 1 \\ 0 &amp;amp; 4\end{array}\right]<br /> <br /> If your matrix, A, had \lambda as a <b>triple</b> eigenvalue but only one eigenvector corresponding to that eigenvalue, say, v_1, then you would look for a vector v_2 such that (A-\lambda I)v_2= v_1 and a vector v_3 such that (A- \lambda I)v_3= v_2.<br /> <br /> By the way, your title &quot;Symmetric Matrices to Jordan Blocks&quot; puzzled me. All symmetric (real) matrices are <b>diagonalizable</b> so the question of Jordan Blocks doesn&#039;t arize with them. And, of course, your example is not a symmetric matrix.
 
Last edited by a moderator:
Sry meant to write "Similar matrices and Jordan Blocks", thought one thing and wrote another. Is there a way to change the name of the thread?

Thanks for answering my question, it makes sense. I'll have to go look up generalized eigenvectors now and see what they are all about.
 
Last edited:
Hey! I recognize the matrix <br /> \left[<br /> \begin{array}{rr}<br /> 4&amp;1\\<br /> 0&amp;4\\<br /> \end{array}<br /> \right]<br /> is a Jordan Block. :biggrin:
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Replies
2
Views
3K
Replies
14
Views
2K
Replies
9
Views
1K
Replies
1
Views
2K
Replies
7
Views
2K
Replies
5
Views
2K
Back
Top