名古屋大学 多元数理科学研究科 2021年2月実施 2日目 [1]
Author
江澤 樹
Description
次実正方行列 は をみたすとする. ただし, は の転置行列とする.
の元 , に対して, は標準 Hermite 内積 を表すものとする. 以下の問に答えよ.
(1) を固有値 に対する の固有ベクトルとする. を考察することにより を示せ.
(2) 異なる固有値に対する の固有ベクトルは直交することを示せ.
以下, とし, は条件
をみたすとする.
(3) の固有値のうち少なくとも一つは実数であることを示し, さらに の固有値をすべて求めよ. また, はユニタリ行列により対角化されることを示せ.
(4) 条件をみたす の例を与えよ.
Kai
この問題は全体的に抽象度は高くない. (1) は問題文の誘導に従った. (2) は Hermite 行列の異なる固有値についての固有ベクトルは直交することの証明を思い出した. (3) を解く前に (4) の例を勘で考え, (3) の固有値についての結果を予想した. ユニタリ行列による対角化可能性については正規性 からも従う.
(1)
標準 Hermite 内積の性質により
である. ただし, は の随伴行列である. 一方で, 標準 Hermite 内積の第二変数に関する共役線形性により
である. よって, 固有ベクトル の任意性により である.
(2)
をそれぞれ固有値 に対する の固有ベクトルとする. 標準 Hermite 内積の第一変数に関する線形性により
である. 一方, 標準 Hermite 内積の第二変数に関する共役線形性と (1) の結果を用いると
である. よって であれば でなければならない. よって異なる固有値に対する の固有ベクトルは直交する.
(3)
は 次実正方行列であるからその固有多項式 は実数係数 3 次多項式である.
よって中間値の定理よりその根のうち少なくとも一つは実数である.
つまり の固有値のうち少なくとも一つは実数である.
また, (1) より の実固有値は のどちらかである.
条件より は正則であるため を固有値にもたない.
つまり は固有値 をもち, 以外に実固有値はもたない.
条件より は単位行列ではないから実数でない固有値 ももつことになる.
は実行列であったから もまた の固有値である.
(1) の結果と de Moivre の定理から の絶対値, 偏角が計算できて, の固有値は
の三つであることがわかる. これと (2) より各固有値に対する固有ベクトルは直交するから, それぞれ正規化して並べれば を対角化するユニタリ行列を構成できる.
(4)
置換行列で
とすればよい. これが条件をみたすことは容易に確認できる.