Review : Eigenvalues & Eigenvectors — Question 3

PDF ↗

Question 3

An eigenpair satisfies Av=λvAv=\lambda v with v≠0v\ne 0. The eigenspace Eλ=ker⁡(A−λI)E_\lambda=\ker(A-\lambda I) includes zero, although zero is not an eigenvector. Algebraic multiplicity counts roots of det⁡(λI−A)\det(\lambda I-A); geometric multiplicity is dim⁡Eλ\dim E_\lambda. Work over ℝ\mathbb R unless complex scalars are explicitly requested.

Allow complex eigenvalues and eigenvectors for the real matrix C=(1−221).C=\begin{pmatrix}1&-2\\2&1\end{pmatrix}. Write i2=−1i^2=-1, and let e1=(1,0)Te_1=(1,0)^T.

Tasks

  1. Find both complex eigenvalues and their eigenspaces, and verify a representative eigenvector for each directly.

  2. Prove that there is no nonzero real eigenvector, despite the existence of a complex eigenvector basis.

  3. Write an eigenvector for 1+2i1+2i as p+iqp+iq with p,qp,q real, and derive the two real equations obtained from its eigenvalue equation.

  4. Express CC as a positive scale times a real rotation. Find Cme1C^m e_1 and its length for every nonnegative integer mm, with the rotation angle specified unambiguously.

Original worksheet page 1: question and worked solution for 5-3-003
Show solutionHide solution

Question 3 – Solution

Strategy. Complex eigenvectors encode a real invariant plane; they need not describe a real line fixed in direction.

Step 1: Find and verify the complex pairs. The polynomial is (λ−1)2+4(\lambda-1)^2+4, so λ±=1±2i,E1+2i=span⁡ℂ{(1,−i)T},E1−2i=span⁡ℂ{(1,i)T}.\boxed{\lambda_\pm=1\pm 2i,\qquad E_{1+2i}=\operatorname{span}_{\mathbb C}\{(1,-i)^T\},\quad E_{1-2i}=\operatorname{span}_{\mathbb C}\{(1,i)^T\}.} Indeed C(1,−i)T=(1+2i,2−i)T=(1+2i)(1,−i)TC(1,-i)^T=(1+2i,2-i)^T=(1+2i)(1,-i)^T. Conjugation verifies the other pair. The distinct eigenvalues give independent complex eigenvectors.

Step 2: Exclude a real eigenvector. If a real nonzero xx satisfied Cx=λxCx=\lambda x, a nonzero coordinate of xx would make λ\lambda the ratio of two real numbers. Thus λ\lambda would be real, but the characteristic polynomial has no real root. No such vector exists.

Step 3: Extract the real plane relations. For (1,−i)T=p+iq(1,-i)^T=p+iq, take p=(1,0)Tp=(1,0)^T, q=(0,−1)Tq=(0,-1)^T. Equating real and imaginary parts of C(p+iq)=(1+2i)(p+iq)C(p+iq)=(1+2i)(p+iq) gives Cp=p−2q,Cq=2p+q.\boxed{Cp=p-2q,\qquad Cq=2p+q.} Direct multiplication verifies both. These independent real vectors span the plane even though neither is a real eigenvector.

Step 4: Recover the rotation and scale. Let θ∈(0,π/2)\theta\in(0,\pi/2) satisfy cos⁡θ=1/5\cos\theta=1/\sqrt 5 and sin⁡θ=2/5\sin\theta=2/\sqrt 5; equivalently θ=arctan⁡(2)\theta=\arctan(2). Then C=5(cos⁡θ−sin⁡θsin⁡θcos⁡θ),Cme1=5m/2(cos⁡mθ,sin⁡mθ)T.C=\sqrt 5\begin{pmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{pmatrix},\qquad \boxed{C^m e_1=5^{m/2}(\cos m\theta,\sin m\theta)^T.} Its length is 5m/25^{m/2}. The figure shows e1e_1 and its image (1,2)T(1,2)^T, with unit and image circles drawn on equal scales.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 5-3-003

Original worksheet layout. Use Enlarge or open the PDF for a closer view.