Tips och lösning till U 22.9b
SamverkanLinalgLIU
Tips 1
Hej 1
Tips 2
Hej 2
Tips 3
Hej 3
Lösning
Kolonn 3 adderas till kolonn 1 i sekularekvationen ger































Multiplicera kolonn 3 med



































Egenvärdena är 1=0
2=i
3
3=
2
=−i
3
E)X=0
För 1=0
3(1
−1
1)t
För 2=i
3
2=
2
3−1−i
3
2
31−i
3
1
3
t
För 3=−i
3




































ty i sista raden så är 3−1+i
3=2−1−i
3
x_1=i\sqrt3x_2+x_3=\frac{-3+i\sqrt3}{2}t+t=\frac{-1+i\sqrt3}{2}t,
så att tillhörande egenvektorn är \displaystyle \boldsymbol{v}_3=\Big(\frac{-1+i\sqrt3}{2\sqrt3},\frac{1+i\sqrt3}{2\sqrt3},\frac{1}{\sqrt3}\Big)^t .
Observera att egenvektorerna är också varandras komplexa konjugat, dvs \displaystyle \boldsymbol{v}_3=\bar{\boldsymbol{v}}_2 precis som egenvärdena.
Det är också värt och notera att skalärprodukten i det komplexa fallet innehåller också konjugatet. Om \displaystyle \boldsymbol{x}=(x_1,x_2,x_3)^t och \displaystyle \boldsymbol{y}=(y_1,y_2,y_3)^t är komplexa vektorer så ges skalärprodukten av
(\boldsymbol{x}|\boldsymbol{y})=x_1\bar{y}_1+x_2\bar{y}_2+x_3\bar{y}_3.
Vi kan kontrollera att \displaystyle ||\boldsymbol{v}_1||^2=(\boldsymbol{v}_1 | \bar{\boldsymbol{v}}_2)=1 ,
\displaystyle ||\boldsymbol{v}_2||^2=1 och \displaystyle (\boldsymbol{v}_1 | \boldsymbol{v}_2)=0 .
Nu till matrisen \displaystyle T . Vi låter \displaystyle T innehålla i sina kolonner
egenvektorerna och \displaystyle T^* innehålla konjugatet av egenvektorerna i sina
rader, så att \displaystyle T^*T=TT^*=E , där
T=\left ( \begin{array}{ccc} \frac{1}{\sqrt3} & \frac{-1-i\sqrt3}{2\sqrt3} & \frac{-1+i\sqrt3}{2\sqrt3}\\ -\frac{1}{\sqrt3} & \frac{1-i\sqrt3}{2\sqrt3} & \frac{1+i\sqrt3}{2\sqrt3} \\ \frac{1}{\sqrt3}&\frac{1}{\sqrt3}&\frac{1}{\sqrt3} \end{array}\right), \ \ \ T^*=\left ( \begin{array}{ccc} \frac{1}{\sqrt3} &-\frac{1}{\sqrt3} &\frac{1}{\sqrt3}\\ \frac{-1+i\sqrt3}{2\sqrt3}&\frac{1+i\sqrt3}{2\sqrt3} &\frac{1}{\sqrt3}\\ \frac{-1-i\sqrt3}{2\sqrt3}&\frac{1-i\sqrt3}{2\sqrt3}&\frac{1}{\sqrt3} \end{array}\right)
I det reella fallet, så sammanfaller \displaystyle T^* med \displaystyle T^t , dvs \displaystyle T^*=T^t .
Vi har nu visat att
T^*AT=\left(\begin{array}{ccc} 0&0&0\\0&{i\sqrt3}&0\\0&0&{-i\sqrt3} \end{array}\right) =D.