工学部生の生プレス

*就職して元工学部生になりました

大学院入試 専門内容 線形代数

【院試対策】線形代数⑥(固有値と固有ベクトルを用いた行列の対角化Part2)

投稿日:2019年9月12日 更新日:

こんにちは~

前回の予告通り、今回は“行列の固有値と固有ベクトルを用いた行列の対角化”の中でも変換行列に直行行列を用いるもの。それも、もとは直交行列ではないものを無理やり直交行列にしたという特殊パターンついて書いていきたいと思います。

それでは~

シュワッチ!


 

第6回:【院試対策】線形代数⑥(固有値と固有ベクトルを用いた行列の対角化Part2)

第6回も”固有値と固有ベクトルを用いた行列の対角化”についてです。
でも、先にも書いた通り今回のは一癖ある特殊パターンです!
それは変換行列に直交行列を用いるパターンです。

前回の記事で紹介した通り、行列の対角化で用いる変換行列は必ずしも直交行列である必要はありません!
「じゃあ、何のために直行化するのか」って?

これについては僕もわかりません(笑)
でも、自分の大学院ではなぜか変換行列に直行行列を使わせたがります・・・

今回の計算で必要となる知識についての過去の記事はこちら↓
【院試対策】線形代数③(行列の和積)
【院試対策】線形代数④(行列の固有値と固有ベクトル)
【院試対策】線形代数⑤(固有値と固有ベクトルを用いた行列の対角化Part1)

それでは今回も例題を使った演習で理解していきましょう♪

<例題1>
以下の行列Aを変換行列に直交行列を用いて、対角化せよ。

\[
A = \left(
\begin{array}{ccc}
2 & 1 & 1 \\
1 & 2 & 1 \\
1 & 1 & 2
\end{array}
\right)
\]

<解法>
\begin{equation}
AX = λX より、(A – λE)X = 0
\end{equation}

\[
ここで、T = A – λE = \left(
\begin{array}{ccc}
2 & 1 & 1 \\
1 & 2 & 1 \\
1 & 1 & 2
\end{array}
\right)
– \left(
\begin{array}{ccc}
λ & 0 & 0 \\
0 & λ & 0 \\
0 & 0 & λ
\end{array}
\right)
\]

\[
= \left(
\begin{array}{ccc}
2-λ & 1 & 1 \\
1 & 2-λ & 1 \\
1 & 1 & 2-λ
\end{array}
\right)
とおく。
\]

\begin{equation}
すると、TX = 0・・・①であり、
\end{equation}

\[
\mathrm{det}T = |T| = \left|
\begin{array}{ccc}
2 – λ & 1 & 1 \\
1 & 2 – λ & 1 \\
1 & 1 & 2 – λ
\end{array}
\right| = 0
となればいいことがわかる。
\]

\begin{equation}
= 1 + 1 + (2-λ)^3 – (2-λ) – (2-λ) – (2 -λ)
\end{equation}

\begin{equation}
= 2 + 8 -8λ+2λ^2-4λ+4λ^2-λ^3-6+3λ
\end{equation}

\begin{equation}
= -λ^3+6λ^2-9λ+4
\end{equation}

\begin{equation}
λ^3-6λ^2+9λ-4=0
\end{equation}

\begin{equation}
(λ-1)(λ^2-5λ+4) = 0
\end{equation}

\begin{equation}
(λ-1)^2(λ-4) = 0
\end{equation}

\begin{equation}
よって、固有値はλ = 1,4
\end{equation}

次にそれぞれの固有値における固有ベクトルを求めます。
\begin{equation}
ⅰ)λ = 1の時、①をT_{1}X_{1}=0,
\end{equation}
\[
X_{1}=\left(
\begin{array}{ccc}
α_{1} \\
α_{2} \\
α_{3}
\end{array}
\right)
とすると、
\]

\[
\left(
\begin{array}{ccc}
1 & 1 & 1\\
1 & 1 & 1 \\
1 & 1 & 1
\end{array}
\right)
\left(
\begin{array}{ccc}
α_{1}\\
α_{2}\\
α_{3}
\end{array}
\right)
= \left(
\begin{array}{ccc}
0\\
0\\
0
\end{array}
\right)
\]

\begin{equation}
α_{1} + α_{2} + α_{3} = 0
\end{equation}

\begin{equation}
α_{2}=k_{1},α_{3}=k_{2}とすると、α_{1}=-k_{1}-k_{2}より、固有ベクトルX_{1}は
\end{equation}

\[
X_{1}=k_{1}\left(
\begin{array}{ccc}
-1 \\
1 \\
0
\end{array}
\right)
+k_{2}\left(
\begin{array}{ccc}
-1 \\
0 \\
1
\end{array}
\right)
(k_{1},k_{2}\neq0)
\]

\begin{equation}
ⅱ)λ = 4の時、①をT_{2}X_{2}=0,
\end{equation}
\[
X_{2}=\left(
\begin{array}{ccc}
α_{4} \\
α_{5} \\
α_{6}
\end{array}
\right)
とすると、
\]

\[
\left(
\begin{array}{ccc}
-2 & 1 & 1\\
1 & -2 & 1 \\
1 & 1 & -2
\end{array}
\right)
\left(
\begin{array}{ccc}
α_{4}\\
α_{5}\\
α_{6}
\end{array}
\right)
= \left(
\begin{array}{ccc}
0\\
0\\
0
\end{array}
\right)
\]

\begin{eqnarray}
\begin{cases}
-2α_{4} + α_{5} + α_{6} = 0 & \\
α_{4} -2α_{5} + α_{6} = 0 \\
α_{4} + α_{5} – 2α_{6} = 0
\end{cases}
\end{eqnarray}

\begin{equation}
α_{5}=k_{3}とすると、α_{4}=-k_{3},α_{6}=k_{3}より、固有ベクトルX_{2}は
\end{equation}

\[
X_{2}=k_{3}\left(
\begin{array}{ccc}
1 \\
1 \\
1
\end{array}
\right)
(k_{3}\neq0)
\]

以上、ⅰ),ⅱ)より、
\[
変換行列P= \left(
\begin{array}{ccc}
-1 & -1 & 1 \\
1 & 0 & 1 \\
0 & 1 & 1
\end{array}
\right)
\]

これはそれぞれの列ベクトル同士を“行列の和積”を用いて計算すると、1列目と2列目の和積が0にならないので直行行列ではありません。
ですので、これをシュミットの正規直交化法を用いて直交化します!

\[
a_{1}=\left(
\begin{array}{ccc}
-1 \\
1 \\
0
\end{array}
\right)
,a_{2}=\left(
\begin{array}{ccc}
-1 \\
0 \\
1
\end{array}
\right)
,a_{3}=\left(
\begin{array}{ccc}
1 \\
1 \\
1
\end{array}
\right)
とおく。
\]

\begin{equation}
①u_{1}=\frac{1}{||a_{1}||}a_{1}
\end{equation}

\[
=\frac{1}{\sqrt{2}} \left(
\begin{array}{c}
-1 \\
1 \\
0
\end{array}
\right)
\]

\[
②b_{2} = a_{2} – \sum_{k=1}^1 (u_{k}・a_{2})u_{k}
\]

\begin{equation}
=a_{2}-(u_{1}・a_{2})u_{1}
\end{equation}

\[
=\left(
\begin{array}{ccc}
-1 \\
0 \\
1
\end{array}
\right)
– \frac{1}{2}
\left(
\begin{array}{ccc}
-1 \\
1 \\
0
\end{array}
\right)
\]

\[
=- \frac{1}{2} \left(
\begin{array}{ccc}
1 \\
1 \\
-2
\end{array}
\right)
\]

\begin{equation}
u_{2}=\frac{1}{||b_{2}||}b_{2}
\end{equation}

\[
=\frac{-1}{\sqrt{6}} \left(
\begin{array}{c}
1 \\
1 \\
-2
\end{array}
\right)
\]

\[
③b_{3} = a_{3} – \sum_{k=1}^2 (u_{k}・a_{3})u_{k}
\]

\begin{equation}
=a_{3}-{(u_{1}・a_{3})u_{1}+(u_{2}・a_{3})u_{2}}
\end{equation}

\[
=\left(
\begin{array}{ccc}
1 \\
1 \\
1
\end{array}
\right)
\]

\begin{equation}
u_{3}=\frac{1}{||b_{3}||}b_{3}
\end{equation}

\[
=\frac{1}{\sqrt{3}} \left(
\begin{array}{c}
1 \\
1 \\
1
\end{array}
\right)
\]

よって、変換行列Pは
\[
P= \left(
\begin{array}{ccc}
\frac{-1}{\sqrt{2}} & \frac{-1}{\sqrt{6}} & 1 \\
\frac{1}{\sqrt{2}} & \frac{-1}{\sqrt{6}} & 1 \\
0 & \frac{2}{\sqrt{6}} & 1
\end{array}
\right)
と直交行列に変換できた。
\]

対角化した行列は

【シュミットの正規直行化法】

\begin{equation}
一般の基底(a_{1},a_{2},a_{3},・・・,a_{n})について、
\end{equation}

\begin{equation}
ⅰ)m = 1の時、
u_{1}=\frac{1}{||a_{1}||}a_{1}
\end{equation}

\[
ⅱ)2\le m\le nの時、
\]

\begin{equation}
b_{m} = a_{m} – \sum_{k=1}^{m-1} (u_{k}・a_{m})u_{k}
\end{equation}

\begin{equation}
u_{m}=\frac{1}{||b_{m}||}b_{m}
\end{equation}

以上より、シュミットの正規直交化法後の変換行列は
\begin{equation}
P=(u_{1},u_{2},・・・,u_{n})
\end{equation}


 

いかがでしたでしょうか?

この数式を書くのが中々時間がかかるので1問しか紹介できませんでしたが、上の例題で示した解法が直交行列ではないものを無理やり直交行列にした特殊パターンの基本的な求め方となります。(なんか、この書き方矛盾してるみたい(笑))

次回は逆行列の求め方について紹介いたします。

お楽しみに♪

▲▲▲アリガ島▲▲▲

次回予告
「【院試対策】線形代数⑦(逆行列)」







-大学院入試, 専門内容, 線形代数

執筆者:


comment

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください

関連記事

アナログローパス・フィルタとデジタルローパス・フィルタの比較

こんばんは。 今回は“アナログローパス・フィルタとデジタルローパス・フィルタの比較”ということで、回路で作ったアナログローパス・フィルタとプログラムで作ったデジタルローパス・フィルタの性能を比較してみ …

温度センサを使った効率のいい小型扇風機

こんばんは。 12月になりましたね♪ 「12月といったら、クリスマス♪」 クリスマスのイベントにはめっきり縁が無い僕ですが、クリスマスソングが大好きなので、街を歩いているとクリスマスソングが聞こえてく …

Visual Studio 2017 Communityを使ったC#入門~第1回:クラスを使って簡単なフォームを作る~

こんばんは。 報告が遅くなりましたが、今年から4年になり研究室に配属されました♪毎日が勉強の日々です!3年生までは「電子工作もCADも割と出来る方かな~」なんて自信を持っていたのですが、教授と比べたら …

【製作日誌】自作CNCを作る~Inkscapeの使い方~

こんばんは。 M1になり、研究室でCNCを設計することになりました。 いきなり研究室のお金を使って挑戦するのはリスキーということで自分の予算で作れる安い試作機を作ってみたいと思います。 まずは、Ink …

加速度センサから角度を取得する

こんばんは。 久しぶりの投稿となってしまいましたm(__)m 大学生はあと1週間で春休みという夢から覚めてしまいます・・・😢 は~~ さて、本題の前に少し近況を! 実は最近、遅かれなが …