Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I encountered the following problem. (We're working in a finite-dimensional real vector space, here.)

Suppose $$A=\frac{1}{2}\left(\begin{array}{cc}-2 & 4\\1 & 1\end{array}\right).$$ Find a vector, $y$, so that $\lVert A^nx\rVert\to\infty$ as $n\to\infty$, except when $x$ is perpendicular to $y$. Explain your reasoning.

My first thought was that we should try to express $A=zy^t$ for some vectors $y,z$, whence, if $x$ is perpendicular to $y$, we would have $$Ax=z(y^tx)=z\langle y,x\rangle=0,$$ and so $\lVert A^nx\rVert$ cannot grow without bound. Then, I'd hoped to show that for any other $x$, it did grow without bound. Unfortunately, when I assumed such $y,z$ existed and attempted to see what I could discern about them, I ended up with a $0\neq 0$ contradiction. It's possible I made a mistake, but I'm not finding one, and if there isn't a mistake, then that approach is not going to work.

I also found the eigenvalues of $A$--namely $\frac{-1}{8}\left(1\pm\sqrt{257}\right)$--both of which have modulus greater than $1$, so clearly $\lVert A^n\rVert$ grows without bound. Unfortunately, I'm not sure what else I can do from here. Any hints?

As a secondary question, for which matrices $A$ can we say that $a=zy^t$ for some $y,z$? (Of course, if it's all of them, then I goofed, and my first thought works after all.)

share|improve this question
add comment

1 Answer

up vote 2 down vote accepted

Hint: Recalculate the eigenvalues. They are much nicer than you think. Then find a basis of eigenvectors. The problem will fall apart.

share|improve this answer
    
Oh, for crying out loud, I should really know how to distribute. Now I just feel silly. Any answer for the second question, by the way? –  Cameron Buie Jun 28 '12 at 22:17
    
But $y,z$ are $2\times 1$, so $y^t$ is $1\times 2$, and $zy^t$ is $2\times 2$. Why should all the entries be equal? –  Cameron Buie Jun 28 '12 at 22:29
    
If $$y=z=\left(\begin{array}{c}1\\2\end{array}\right),$$ then $$zy^t=\left(\begin{array}{cc}1 & 2\\2 & 4\end{array}\right).$$ –  Cameron Buie Jun 28 '12 at 22:40
1  
@CameronBuie: You are right. In general $(a,b)$, $(c,d)$ yield matrix with entries first row $(ac,ad)$, second $(bc,bd)$. In particular the determinant is $0$. So we certainly do not get all. –  André Nicolas Jun 28 '12 at 22:45
    
Thank you very much! –  Cameron Buie Jun 28 '12 at 22:47
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.