固有値

線型変換の特徴を表す指標の一種

数学線型代数学において、線型変換固有値 (: eigenvalue) とは、線型変換によって写されたあるベクトルが写される前のベクトルのスカラー倍になっているときの、そのスカラー量(拡大率)のことである。このベクトルで零ベクトルでないものを固有ベクトル (: eigenvector) という。この2つの用語を合わせて、固有対 (eigenpair) という。

モナ・リザの画像(左図)を平行四辺形に線形変換したところ(右図)。この線形変換において、画像の中にある右向きの矢印(青色)は変化していないのに対し、上を向いた矢印(赤色)は方向が変化している。この青い矢印がこの変換における固有ベクトルであり、赤い矢印は固有ベクトルではない。ここで青い矢印は伸張も収縮もしていないので、この固有値は 1 である。このベクトルと平行なすべてのベクトルは固有ベクトルである。零ベクトルも含めて、これらのベクトルはこの固有値に対する固有空間を形成する。

固有値・固有ベクトルは線型変換の特徴を表す指標の一つである。

線形変換 T の固有値の一つを λ とすると、T の固有値 λ に関する固有ベクトルおよび零ベクトルは部分線形空間を形成し、固有空間 (: eigenspace) という。

与えられた線型変換の固有値および固有ベクトルを求める問題のことを固有値問題 (: eigenvalue problem) という。ヒルベルト空間論において線型作用素 あるいは線型演算子と呼ばれるものは線型変換であり、やはりその固有値や固有ベクトルを考えることができる。固有値という言葉は無限次元ヒルベルト空間論や作用素代数におけるスペクトルの意味でもしばしば使われる。

歴史編集

現在では、固有値の概念は行列論と絡めて導入されることが多いものの、歴史的には二次形式微分方程式の研究から生じたものである。

18世紀初頭、ヨハン・ベルヌーイダニエル・ベルヌーイダランベールおよびオイラーらは、いくつかの質点がつけられた重さのない弦の運動を研究しているうちに固有値問題に突き当たった。18世紀後半に、ラプラスラグランジュはこの問題をさらに研究し、弦の運動の安定性には固有値が関係していることを突き止めた。彼らはまた固有値問題を太陽系の研究にも適用している[1]

オイラーはまた剛体の回転についても研究し、主軸の重要性に気づいた。ラグランジュがこの後発見したように、主軸は慣性行列の固有ベクトルである[2]。19世紀初頭には、コーシーがこの研究を二次曲面の分類に適用する方法を示し、その後一般化して任意次元の二次超曲面の分類を行った[3]。コーシーはまた "racine caractéristique"(特性根)という言葉も考案し、これが今日「固有値」と呼ばれているものである。彼の単語は「特性方程式 (: characteristic equation)」という用語の中に生きている[4]

フーリエは、1822年の有名な著書 ("Théorie analytique de la chaleur") の中で、変数分離による熱方程式の解法においてラプラスとラグランジュの結果を利用している[5]スツルムはフーリエのアイデアをさらに発展させ、これにコーシーが気づくことになった。コーシーは彼自身のアイデアを加え、対称行列の全ての固有値は実数であるという事実を発見した[3]。この事実は、1855年エルミートによって、今日エルミート行列と呼ばれる概念に対して拡張された[4]。ほぼ同時期にブリオスキ直交行列の固有値全てが単位円上に分布することを証明し[3]クレープシュ歪対称行列に関して対応する結果を得ている[4]。最終的に、ワイエルシュトラスが、ラプラスの創始した安定論 (: stability theory) の重要な側面を、不安定性の引き起こす不完全行列を構成することによって明らかにした[3]

19世紀中ごろ、ジョゼフ・リウヴィルは、スツルムの固有値問題の類似研究を行った。彼らの研究は、今日スツルム=リウヴィル理論と呼ばれる一分野に発展している[6]ヘルマン・アマンドゥス・シュヴァルツは一般の定義域上でのラプラス方程式の固有値についての研究を19世紀の終わりにかけて初めて行った。一方、アンリ・ポアンカレはその数年後ポアソン方程式について研究している[7]

20世紀初頭、ヒルベルトは、積分作用素を無限次元の行列と見なしてその固有値について研究した[8]。ヒルベルトは、ヘルムホルツの関連する語法に従ったのだと思われるが、固有値や固有ベクトルを表すために ドイツ語eigen を冠した最初の人であり、それは1904年のことである[9]。ドイツ語の形容詞 "eigen" は「独特の」「特有の」「特徴的な」「個性的な」といったような意味があり[10]、固有値は特定の変換に特有の性質というものを決定付けるということが強調されている。英語の標準的な用語法で "proper value" ということもあるが、印象的な "eigenvalue" の方が今日では標準的に用いられる[11]。フランス語では valeur propre である。

固有値や固有ベクトルの計算に対する数値的なアルゴリズムの最初のものは、ヤコビが対称行列の固有値固有ベクトルを求める手法として(ヤコビの提出したヤコビ法(電子計算機が発明されたときにフォンノイマンが発見したと思われたが実際はヤコビが既に述べていた)、ガウスによる行列の基本変形操作によるヘッセンベルグ形式への還元、などが知られていた)、1929年にフォン・ミーゼスが公表した冪乗法 (: power method) である。今日最もよく知られた手法の一つに、1961年に FrancisKublanovskaya が独立に考案したQR法がある[12]

定義編集

線形空間 V(有限次元とは限らない)上の線形変換 A に対して、次の方程式

 

を満たす零ベクトルでないベクトル x とスカラー λ が存在するとき、xA固有ベクトル(右固有ベクトル)λA固有値と呼ぶ。

  • 線型変換 A固有ベクトル x は、A により写しても、その方向は変わらず、定数倍されるだけの影響しか受けない(拡大率が 1 なら全く影響を受けない)ベクトルで、零ベクトルでないもののことである。
  • 線型変換 A固有値は、固有ベクトルのA による拡大率(上の λ)のことである。

空間の線型変換回転鏡映拡大・縮小剪断、およびそれらの任意の合成)は、それがベクトルに対して引き起こす影響によって視覚化することができる。ベクトルは一点から他の点へ向かう矢印によって視覚化される。

線型変換 A の固有値 λ に対するその固有ベクトルおよび零ベクトルは部分線形空間をなし、これを固有空間という。固有値 λ の固有空間 W(λ) は次の式で表せる(KerI は恒等変換を表す):

 
  • 固有空間の次元をその固有値の幾何的重複度という。n次正方行列 A の固有値 λ の幾何的重複度は次の式で求められる:
 
  • 有限次元ベクトル空間上の線型変換のスペクトルとは、その変換の固有値全体の成す集合のことである。無限次元の場合はもう少し複雑になって、スペクトルの概念はそのベクトル空間の位相に依存する。

固有多項式編集

K の元を成分とする n正方行列 A の固有値は、体 K 上に存在するとは限らない。このことを含めて、固有値は 、次のようにして求めることができる。

A の固有値 λ が満たすべき条件は、

 

すなわち

 

を満たす xo が存在することである。ただし、I単位行列である。

線形方程式行列式の理論より、この条件は

 

となる。この方程式のことを固有方程式(または特性方程式)という。固有方程式は λ についての n代数方程式であり、A は、この方程式の解として、重複度代数学的重複度)を込めて(基礎体の代数的閉包上)n個の固有値を持つことが分かる。

特に行列 A が実対称(あるいはエルミート)の場合、固有方程式は永年方程式とも言われる。

  • 対称エルミートの固有値は必ず実数になる。
  • 対称エルミートである行列の、固有値を異にする固有ベクトルは相互に直交する(内積が 0 である)。

n が大きければ固有値問題は数値的対角化手法(→ヤコビ法ハウスホルダー法など)によって解くこととなる。行列 A が実対称やエルミートでない場合は、これを解くことは一般に難しくなる。

編集

例えば、三次元内の回転変換の固有ベクトルは回転軸の中にある。この変換の固有値は 1 のみで、固有値は 1 の固有空間は回転軸である。固有空間が一次元であるから、この固有値 1 の幾何的重複度は 1 であり、スペクトルは実数である固有値 1 唯一つのみからなる。

別の例として、右のモナ・リザの画像の変形のような剪断変換の正方行列を考える:

 

まず、この行列の固有多項式を求める。

 

故に、この行列 A の固有方程式は

(λ − 1)2 =0

で、この場合の A の固有値は、ただ一つ λ = 1 のみである。この固有値 1 の固有空間は変換 1IA零空間、すなわち線型方程式 (IA)x = 0 の解空間であり、

 

の解 x 全体である。この方程式の解空間は、

 

となる。ここで c は任意の定数である。つまり、この形に表される(この場合、真上または真下を向いている)ベクトルで零ベクトルでないものは全てこの行列 A固有ベクトルである。

一般に、2次正方行列は代数的重複を込めて2つの固有値をもち、固有値それぞれに関する固有ベクトルをもつ。ほとんどのベクトルが行列の作用によってその長さと方向の両方を変えるのに対して、固有ベクトルは向きつき長さのみが変化し、方向は変わらない。

その他の例編集

地球が自転すると、地球中心から地表の各地点へ向かう矢印も一緒に向きが変わる。しかしこの回転軸上にあるベクトルだけは向きが変わらない。たとえば、地球の中心から北極あるいは南極へのベクトルはこの変換の固有ベクトルとなるが、赤道に向いているベクトルは固有ベクトルとはならない。また、地球が回転してもこのベクトルの大きさは変わらないので、この固有値は 1 である。

別の例として、ゴムシートをある固定された一点から全方向に向かって伸ばすような変換を考える。ゴムシート上のあらゆる点と点の間の距離が 2倍になるように引き伸ばすとすると、この変換の固有値は 2 になる。この場合、固定された点からシート上のあらゆる点に向かうベクトルはすべて固有ベクトルになり、固有空間はこれらのベクトルすべてからなるような集合となる。

 
境界が固定されたひもの定常波の振動数もまた固有値の例である。

ベクトル空間は、二次元や三次元の幾何的な空間だけとは限らない。さらに別の例として、ちょうど弦楽器におけるのような、両端が固定されたひもを考えよう(図2)。このひもが振動しているとき、ひも上の各原子が、ひもがぴんと張った時の位置(釣り合いの位置)から動いた距離(変位)は、ひもを構成する原子の個数分だけの次元をもつベクトルの構成部分として表すことができる。このひもが連続的な物体でできていると仮定しよう。このとき、ひもの各点の加速度を表す式(運動方程式)を考えると、その固有ベクトル(より正確には固有関数)は定常波となる。

定常波では、ひもの加速度とひもの変位が常に一定の比例係数で比例する。その比例係数が固有値である。その値は、角振動数を ω とすると、−ω2 に等しい。

定常波は時間とともに正弦的な振幅で伸縮するが、基本的な形は変わらない。

正定値と半正定値編集

  • エルミート行列 A の固有値が全て正の場合に、その行列 A正定値[13]であるという(正定値行列)。
  • エルミート行列 A の固有値が全て非負の場合に、その行列 A半正定値であるという(半正定値行列)。

この定義は対角化を用いることにより、二次形式の正定値、半正定値の定義と同値の関係であることが確認できる。

量子力学における固有値問題編集

量子力学においては固有値問題が次のような形で現れる。まず、系の状態は、「状態ベクトル」というもの(波動関数ともいう)で表現されると考える。そして、その状態ベクトルは、シュレーディンガー方程式に従って時間的に変化すると考える。このとき、系が時間的に変化しない定常状態(厳密に言うと、時間的に変化するものが状態ベクトルの位相に限定される場合)、シュレーディンガー方程式は、変数分離法によって、以下のようになる:

 
and
 

ここで、Hは系のハミルトニアンであり、|x⟩ は状態ベクトルである。これは固有値問題そのものである。上の方程式を解くことで固有値 ε が求まる。この ε を用いて、下の方程式を解くと、状態ベクトルの位相は  の角速度で変化することが分かる。ところが量子力学の原理によると、系のエネルギーは、系の位相の角速度の 倍である。すなわち、この固有値 ε は、系のエネルギーに相当する。そこで、ε をエネルギー固有値、またはエネルギー準位と呼ぶ。この時、状態ベクトルxはハミルトニアンの固有ベクトルになっており、そのような状態をエネルギー固有状態という。

ハミルトニアンはエルミート演算子であり、従って、異なる固有値に対応する固有ベクトルは互いに直交している。ハミルトニアンに限らず、任意の物理量は、それぞれエルミート演算子に対応する。それらに関する固有ベクトルは、それらの物理量が確定している状態であり、その固有値が、その状態での物理量の値となる。

実際の多電子系などの数値計算においてはエルミート演算子を有限サイズのエルミート行列で近似することになる。つまり、本来、状態ベクトルのなすヒルベルト空間が無限次元であれば、行列による表現は無限行、無限列であるが、これは現実に計算することは不可能なので、有限の大きさに切断して近似的に計算が実行される。波動関数は適当な基底関数の線型結合(重ねあわせ)で表現され、求めるべき基底関数の展開係数を並べたものが、そのエルミート行列の固有ベクトルに相当することになる。展開係数の数も本来無限個必要であるが、有限の数で切断(カットオフ)される。切断は、求めるべき物理量(全エネルギーなど)が精度として十分に収束するところで行う必要がある(解くために必要な数値計算量にも依存する)。

脚注編集

  1. ^ Hawkins (1975, §2); Kline (1972, pp. 807-808) を参照のこと。
  2. ^ Hawkins (1975, §2) を参照。
  3. ^ a b c d Hawkins (1975, §3) を参照。
  4. ^ a b c Kline (1972, pp. 807-808) を参照。
  5. ^ Kline (1972, p. 673) を参照。
  6. ^ Kline (1972, pp. 715-716)
  7. ^ Kline (1972, pp. 706-707)
  8. ^ Kline (1972, p. 1063)
  9. ^ Ben-Menahem 2009, p. 5513, Table 6.24: Earliest Known Mathematical Terminology.
  10. ^ Schwartzman 1994, p. 80.
  11. ^ Aldrich (2006)
  12. ^ See Golub & van Loan (1996, §7.3), Meyer (2000, §7.3)
  13. ^ positive definiteの訳語として「正定値」もしくは「正値」がある。

参考文献編集

解析ソフト編集