エルミート行列の対角化

こんにちはコーヤです。

このページではユニタリ行列を使用してエルミート行列の対角化を行います。ついに行列は複素数の世界へ突入します。

複素行列の対角化

今までは実数の行列を対角化していましたが、このページでは複素数の行列を対角化します。

「直交行列を用いて対称行列を対角化」する計算を複素数に拡張して、「ユニタリ行列を用いてエルミート行列を対角化」する計算をやってみましょう。

随伴行列の作り方

エルミート行列、ユニタリ行列の性質を表す随伴行列について少し触れておきます。

行列$A$の随伴行列は$A^{\ast }$と表され、作り方は「転置＆共役」をするだけです。

のとき随伴行列は

となります。

転置してから共役をとっても、共役をとってから転置しても結果は同じです。

エルミート行列・ユニタリ行列の性質

エルミート行列$H$は

を満たす行列のことです。

ユニタリ行列$U$は

を満たす行列のことです。

直交行列を用いた対角化では${}^{t}USU=D$という形になりましたが、ユニタリ行列を用いた対角化では$U^{\ast }SU=D$となります。

複素ベクトルのノルムの計算方法

エルミート行列は成分に複素数があるので、固有ベクトルが複素ベクトルになる可能性があります。

固有ベクトルを正規化する時にベクトルのノルムを計算しないといけないので、複素ベクトルのノルムの計算方法から勉強します。

複素ベクトル$\mathit{v}$のノルム$\Vert \mathit{v}\Vert$は

で求まります。公式みたいなものなので覚えちゃいましょう。

とすると

です。

対角化計算の具体例

では具体的な対角化の計算を見ていきます。対角化の4ステップに沿ってやっていきます。

今回は以下のエルミート行列を対角化します。

Step1. 固有値と固有ベクトルを求める

行列$H$の固有方程式は

これより固有値、固有ベクトルは

です。

複素数が入っても計算のやり方は変わりません。

Step2. 対角化可能か判定する

エルミート行列は必ず対角化可能です。判定の必要はありません。

対角行列$D$は

となります。

Step3. ユニタリ行列$U$を作る

ユニタリ行列$U$は固有ベクトルを正規化してから作ります。正規化しないと$U^{\ast }=U^{-1}$を満たさなくなってしまうので注意です。

まずは${\mathit{v}}_1$を正規化します。ノルムの計算はページ前半でやりましたね。

これより${\mathit{v}}_1$のノルム$\Vert {\mathit{v}}_1\Vert$は

です。したがって

となります。

同様に${\mathit{v}}_2$も正規化します。

なので

となります。

したがってユニタリ行列$U$は

となります。

Step4. 随伴行列$U^{\ast }$を作る

$U$の随伴行列$U^{\ast }$を用意します。

です。

最終的に対角化の式$U^{\ast }SU=D$に代入して

となり対角化完了です。

まとめ

エルミート行列$H$はユニタリ行列$U$で対角化可能です。

対角化する式は以下の式です。