固有値

線型代数学において、線型変換の特徴を表す指標として固有値 (英: eigenvalue) や固有ベクトル (英: eigenvector) がある。この2つの用語を合わせて、固有対 (eigenpair) という。与えられた線型変換の固有値および固有ベクトルを求める問題のことを固有値問題 (英: eigenvalue problem) という。ヒルベルト空間論において線型作用素 あるいは線型演算子と呼ばれるものは線型変換であり、やはりその固有値や固有ベクトルを考えることができる。固有値という言葉は無限次元ヒルベルト空間論や作用素代数におけるスペクトルの意味でもしばしば使われる。 現在では、固有値の概念は行列論とからめて導入されることが多いものの、歴史的には二次形式や微分方程式の研究から生じたものである。 18世紀初頭、ヨハン・ベルヌーイとダニエル・ベルヌーイ、ダランベール および オイラーらは、いくつかの質点がつけられた重さのない弦の運動を研究しているうちに固有値問題につきあたった。18世紀後半に、ラプラスとラグランジュはこの問題をさらに研究し、弦の運動の安定性には固有値が関係していることをつきとめた。彼らはまた固有値問題を太陽系の研究にも適用している。 オイラーはまた剛体の回転についても研究し、主軸の重要性に気づいた。ラグランジュがこの後発見したように、主軸は慣性行列の固有ベクトルである。19世紀初頭には、コーシーがこの研究を二次曲面の分類に適用する方法を示し、その後一般化して任意次元の二次超曲面の分類を行った。コーシーはまた "racine caractéristique"（特性根）という言葉も考案し、これが今日「固有値」と呼ばれているものである。彼の単語は「特性方程式 (英: characteristic equation)」という用語の中に生きている。 フーリエは、1822年の有名な著書 ("Théorie analytique de la chaleur") の中で、変数分離による熱方程式の解法においてラプラスとラグランジュの結果を利用している。スツルムはフーリエのアイデアをさらに発展させ、これにコーシーが気づくことになった。コーシーは彼自身のアイデアを加え、対称行列の全ての固有値は実数であるという事実を発見した。この事実は、1855年にエルミートによって、今日エルミート行列と呼ばれる概念に対して拡張された。ほぼ同時期にブリオスキは直交行列の固有値全てが単位円上に分布することを証明し、クレープシュが歪対称行列に関して対応する結果を得ている。最終的に、ワイエルシュトラスが、ラプラスの創始した安定論 (英: stability theory) の重要な側面を、不安定性の引き起こす不完全行列を構成することによって明らかにした。 19世紀中ごろ、ジョゼフ・リウヴィルは、スツルムの固有値問題の類似研究を行った。彼らの研究は、今日スツルム–リウヴィル理論と呼ばれる一分野に発展している。 ヘルマン・アマンドゥス・シュヴァルツは一般の定義域上でのラプラス方程式の固有値についての研究を19世紀の終わりにかけて初めて行った。一方、アンリ・ポアンカレはその数年後ポアソン方程式について研究している。 20世紀初頭、ヒルベルトは、積分作用素を無限次元の行列と見なしてその固有値について研究した。ヒルベルトは、ヘルムホルツの関連する語法に従ったのだと思われるが、固有値や固有ベクトルを表すために ドイツ語の eigen を冠した最初の人であり、それは1904年のことである。ドイツ語の形容詞 "eigen" は「独特の」「特有の」「特徴的な」「個性的な」といったような意味があり、固有値は特定の変換に特有の性質というものを決定付けるということが強調されている。英語の標準的な用語法で "proper value" ということもあるが、印象的な "eigenvalue" のほうが今日では標準的に用いられる。フランス語では valeur propre である。 固有値や固有ベクトルの計算に対する数値的なアルゴリズムの最初のものは、ヤコビが対称行列の固有値固有ベクトルを求める手法として （ヤコビの提出したヤコビ法（電子計算機が発明されたときにフォンノイマンが発見したと思われたが実際はヤコビが既に述べていた）、 ガウスによる行列の基本変形操作によるヘッセンベルグ形式への還元、などが知られていた）、 1929年にフォン・ミーゼスが公表した冪乗法 (英: power method) である。今日最もよく知られた手法のひとつに、1961年にFrancisとKublanovskayaが独立に考案したQR法がある。 空間の線型変換（回転、鏡映、拡大・縮小、剪断、およびそれらの任意の合成）は、それがベクトルに対して引き起こす影響によって視覚化することができる。ベクトルは一点から他の点へ向かう矢印によって視覚化される。 線型変換 A の固有ベクトル v とは、その変換後に単に大きさが定数倍されるだけの影響しか受けない（倍率が 1 ならまったく影響を受けない）零でないベクトルのことである。すなわち、ある定数 λ によって Av = λv となるベクトル v ≠ 0 のことである。 固有ベクトルに対応する固有値とは、その固有ベクトルが変換で定数倍されるその倍率（上の λ）のことである。 線型変換の固有値とは、その線型変換の固有ベクトルに対応する固有値のことである。線型変換の固有値に対し、それを固有値として持つような固有ベクトルを、その固有値に属する固有ベクトルと呼ぶ。 線型変換の、与えられた固有値に対応する固有空間とは、零ベクトル及びその固有値に属する固有ベクトル全体の成す部分ベクトル空間のことである。言い換えれば、線型変換を A, 固有値を λ として、A − λ・id の零空間のことである。 固有値の幾何的重複度とは、その固有値に対応する固有空間の次元のことである。 有限次元ベクトル空間上の線型変換のスペクトルとは、その変換の固有値全体の成す集合のことである。無限次元の場合はもう少し複雑になって、スペクトルの概念はそのベクトル空間の位相に依存する。(→作用素のスペクトル) 例えば、三次元内の回転変換の固有ベクトルは回転軸の中に位置する。この固有ベクトルに対する固有値は 1 で、対応する固有空間は軸に沿うベクトル全体の成す空間を全て含む。固有空間が一次元であるから、この固有値 1 の幾何的重複度は 1 であり、スペクトルは実数である固有値 1 唯一つのみからなる。 有限次元線形空間 V 上の線形変換 A に対して、次の方程式 A x = λ x {\displaystyle A\mathbf {x} =\lambda \mathbf {x} } を満たす零でないベクトル x とスカラー λ が存在するとき、x を A の固有ベクトル（右固有ベクトル）、λ を A の固有値と呼ぶ。 たとえば、上で示したモナ・リザの画像の変形のような剪断変換の例として次のような形の行列 A = [ 1 0 − 1 2 1 ] {\displaystyle A={\begin{bmatrix}1&0\\-{\frac {1}{2}}&1\end{bmatrix}}} を考える。まず、この変換の固有ベクトルとは Ax = λx を満たすようなベクトルである。実際にこの式は、そのようなベクトルが存在すれば、そのようなベクトルがこの行列によって及ぼされる唯一の影響は、λ 倍の大きさの変化（向きの反転も含む）しかないことを意味する。ここで右辺に単位行列 I を掛けても意味は変わらないので、Ax = (λI)x あるいは同じことだが ( λ I − A ) x = 0 {\displaystyle (\lambda I-A)\mathbf {x} =0} なる式が得られる。この方程式が自明でない解をもつためには、A の固有多項式と呼ばれる行列式 det(λI − A) が 0 である必要がある。ここで、 det ( λ [ 1 0 0 1 ] − [ 1 0 − 1 2 1 ] ) = ( λ − 1 ) 2 {\displaystyle \det \!\left(\lambda {\begin{bmatrix}1&0\\0&1\end{bmatrix}}-{\begin{bmatrix}1&0\\-{\frac {1}{2}}&1\end{bmatrix}}\right)=(\lambda -1)^{2}} であるから、この行列 A の固有多項式は (λ − 1)2 で、この場合、固有方程式が持つただ一つの零点 λ = 1 がこの行列 A の固有値である。この固有値 1 に属する固有空間は変換 1I − A の零空間、すなわち線型方程式 (I − A)x = 0 の解空間であり、 [ 0 0 1 2 0 ] [ x 1 x 2 ] = 0 {\displaystyle {\begin{bmatrix}0&0\\{\frac {1}{2}}&0\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}=0} の解となるベクトル x の全体である。この方程式を解いて、この解空間のベクトルが全て x = [ 0 c ] {\displaystyle \mathbf {x} ={\begin{bmatrix}0\\c\end{bmatrix}}} の形に表されることが判る。ここで c は任意の定数である。つまり、この形にあらわされる（この場合、真上または真下を向いている）ベクトルは全てこの行列 A の固有ベクトルなのである。実際、 これらのベクトルに行列 A を作用させることと、これらのベクトルを対応する固有値倍（この場合等倍）することに等しい。 一般の場合、2行2列の行列は2つの異なる固有値をもち、それぞれについて少なくとも1つ、つまり2つの異なる固有ベクトルをもつ。ほとんどのベクトルが行列の作用によってその長さと方向の両方を変えるのに対して、固有ベクトルは長さのみが変化し、向きは（反転するかもしれないことを除けば）不変である。もちろん 1 以外の値が固有値になる場合も普通にあるので、その場合に固有ベクトルは行列によって伸縮するし、場合によっては原点に関して反転される。 地球が自転すると、地球中心から地表の各地点へ向かう矢印も一緒に向きが変わる。しかしこの回転軸上にある矢印だけは向きが変わらない。たとえば、地球が 1時間ぶんだけ自転したときの変換を考えてみよう。このとき、地球中心から（地理的な）北極あるいは南極を向いているベクトルはこの変換の固有ベクトルとなるが、赤道に向いているベクトルは固有ベクトルとはならない。また、地球が回転してもこのベクトルの大きさは変わらないので、この固有値は 1 である。 別の例として、ゴムシートをある固定された一点から全方向に向かって伸ばすような変換を考える。ゴムシート上のあらゆる点と点の間の距離が 2倍になるように引き伸ばすとすると、この変換の固有値は 2 になる。この場合、固定された点からシート上のあらゆる点に向かうベクトルはすべて固有ベクトルになり、固有空間はこれらのベクトルすべてからなるような集合となる。 ベクトル空間は、二次元や三次元の幾何的な空間だけとは限らない。さらに別の例として、ちょうど弦楽器における弦のような、両端が固定されたひもを考えよう（図2）。このひもが振動しているとき、ひも上の各原子が、ひもがぴんと張った時の位置（釣り合いの位置）から動いた距離（変位）は、ひもを構成する原子の個数分だけの次元をもつベクトルの構成部分として表すことができる。このひもが連続的な物体でできていると仮定しよう。このとき、ひもの各点の加速度をあらわす式（運動方程式）を考えると、その固有ベクトル（より正確には固有関数）は定常波となる。 定常波では、ひもの加速度とひもの変位が常に一定の比例係数で比例する。その比例係数が固有値である。その値は、角振動数を ω とすると、−ω2 に等しい。 定常波は時間とともに正弦的な振幅で伸縮するが、基本的な形は変わらない。 エルミート行列 A の固有値が全て正の場合に、その行列 A は正定値であるという（正定値行列）。 エルミート行列 A の固有値が全て非負の場合に、その行列 A は半正定値であるという（半正定値行列）。 この定義は対角化を用いることにより、二次形式の正定値、半正定値の定義と同値の関係であることが確認できる。 有限次元線形空間 V の有限個の基底をとり、それによって A を行列として表現すれば、固有値は行列式に関する次の方程式を（対角化手法などを使って）解くことによって求められる。 det ( λ I − A ) = 0 {\displaystyle \det(\lambda I-A)=0} 但しI は単位行列である。この方程式のことを固有方程式（または特性方程式）という。V の次元を n とすると、固有方程式は λ についての n 次代数方程式であり、A はこの方程式の根として重複度（代数学的重複度）を込めて（基礎体の代数閉包上） n 個の固有値を持つことがわかる。（参考：代数学の基本定理） 特に行列 A が実対称（或いはエルミート）の場合、固有方程式は永年方程式とも言われる。また行列 A が実対称かエルミートなら固有値は必ず実数となる。 n の値が大きければ固有値問題は数値的対角化手法（→ヤコビ法、ハウスホルダー法など）によって解かれることとなる。行列 A が実対称やエルミートでない場合は、これを解くことは一般に難しくなる。 V が関数空間である場合には、固有ベクトルのことを固有関数ともいう。 量子力学においては固有値問題が次のような形で現れる。まず、系の状態は、「状態ベクトル」というもの（波動関数ともいう）で表現されると考える。そして、その状態ベクトルは、シュレーディンガー方程式に従って時間的に変化すると考える。このとき、系が時間的に変化しない定常状態（厳密に言うと、時間的に変化するものが状態ベクトルの位相に限定される場合）、シュレーディンガー方程式は、変数分離法によって、以下のようになる: i ℏ ∂ ∂ t | x ⟩ = H | x ⟩ = ϵ | x ⟩ , {\displaystyle i\hbar {\frac {\partial }{\partial t}}|\mathbf {x} \rangle =H|\mathbf {x} \rangle =\epsilon |\mathbf {x} \rangle ,} and H | x ⟩ = ϵ | x ⟩ . {\displaystyle H|\mathbf {x} \rangle =\epsilon |\mathbf {x} \rangle .} ここで、Hは系のハミルトニアンであり、|x〉 は状態ベクトルである。これは固有値問題そのものである。上の方程式を解くことで固有値 ε が求まる。この ε を用いて、下の方程式を解くと、状態ベクトルの位相は ϵ / ℏ {\displaystyle \epsilon /\hbar } の角速度で変化することがわかる。ところが量子力学の原理によると、系のエネルギーは、系の位相の角速度の ℏ {\displaystyle \hbar } 倍である。すなわち、この固有値 ε は、系のエネルギーに相当する。そこで、ε をエネルギー固有値、またはエネルギー準位と呼ぶ。この時、状態ベクトルxはハミルトニアンの固有ベクトルになっており、そのような状態をエネルギー固有状態という。 ハミルトニアンはエルミート演算子であり、従って、異なる固有値に対応する固有ベクトルは互いに直交している。ハミルトニアンに限らず、任意の物理量は、それぞれエルミート演算子に対応する。それらに関する固有ベクトルは、それらの物理量が確定している状態であり、その固有値が、その状態での物理量の値となる。 実際の多電子系などの数値計算においてはエルミート演算子を有限サイズのエルミート行列で近似することになる。つまり、本来、状態ベクトルのなすヒルベルト空間が無限次元であれば、行列による表現は無限行、無限列であるが、これは現実に計算することは不可能なので、有限の大きさに切断して近似的に計算が実行される。波動関数は適当な基底関数の線型結合（重ねあわせ）で表現され、求めるべき基底関数の展開係数を並べたものが、そのエルミート行列の固有ベクトルに相当することになる。展開係数の数も本来無限個必要であるが、有限の数で切断（カットオフ）される。切断は、求めるべき物理量（全エネルギーなど）が精度として十分に収束するところで行う必要がある（解くために必要な数値計算量にも依存する）。 ^ Hawkins (1975, §2); Kline (1972, pp. 807–808) を参照のこと。 ^ Hawkins (1975, §2) を参照。 ^ a b c d Hawkins (1975, §3) を参照。 ^ a b c Kline (1972, pp. 807–808) を参照。 ^ Kline (1972, p. 673) を参照。 ^ Kline (1972, pp. 715–716) ^ Kline (1972, pp. 706–707) ^ Kline (1972, p. 1063) ^ Ben-Menahem 2009, p. 5513, Table 6.24: Earliest Known Mathematical Terminology. ^ Schwartzman 1994, p. 80. ^ Aldrich (2006) ^ See Golub & van Loan (1996, §7.3), Meyer (2000, §7.3) ^ positive definiteの訳語として「正定値」もしくは「正値」がある。 Abdi, H. (2007), “Eigen-decomposition: eigenvalues and eigenvecteurs”, in Neil Salkind, Encyclopedia of Measurement and Statistics, Sage, doi:10.4135/9781412952644, ISBN 978-1-4129-1611-0, http://www.utdallas.edu/~herve/Abdi-EVD2007-pretty.pdf  Aldrich, John (2006), “Eigenvalue, eigenfunction, eigenvector, and related terms”, in Jeff Miller, Earliest Known Uses of Some of the Words of Mathematics, http://members.aol.com/jeff570/e.html 2006年8月22日閲覧。  (last updated 2006-8-7) Ben-Menahem, Ari (2009), Historical Encyclopedia of Natural and Mathematical Sciences, Springer-Verlag, doi:10.1007/978-3-540-68832-7_1, ISBN 978-3-540-68831-0, MR 2848375, Zbl 1175.01001  Cohen-Tannoudji, Claude (1977), “Chapter II. The mathematical tools of quantum mechanics”, Quantum Mechanics, Wiley, ISBN 0-471-16432-1  Fraleigh, John B.; Beauregard, Raymond A. (1995), Linear Algebra (3rd ed.), Addison-Wesley, ISBN 0-201-83999-7, Zbl 0949.15002  Golub, Gene H.; van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Baltimore: Johns Hopkins University Press, ISBN 978-0-8018-5414-9, MR 1417720, Zbl 0865.65009, https://books.google.com/books?id=mlOa7wPX6OYC  Hawkins, T. (1975), “Cauchy and the spectral theory of matrices”, Historia Mathematica 2: 1–29, doi:10.1016/0315-0860(75)90032-4, MR 0469635, Zbl 0296.01014  Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, doi:10.1017/CBO9780511810817, ISBN 0-521-30586-1, MR 0832183, Zbl 0576.15001  Kline, Morris (1972), Mathematical Thought from Ancient to Modern Times, Oxford University Press, ISBN 0-19-501496-0, MR 0472307, Zbl 0277.01001  (Review by Gian-Carlo Rota in Bull. Amer. Math. Soc.) Meyer, Carl D. (2000), Matrix Analysis and Applied Linear Algebra, Philadelphia: Society for Industrial and Applied Mathematics (SIAM), doi:10.1137/1.9780898719512, ISBN 978-0-89871-454-8, MR 1777382, Zbl 0962.15001, https://books.google.com/books?id=-7JeAwAAQBAJ  Schwartzman, S. (1994), The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English, Mathematical Association of America, ISBN 0-88385-511-9, MR 1270906, Zbl 0864.00007, https://books.google.com/books?id=iuoZSkSOBQsC  Valentin, D.; Abdi, H.; Edelman, B.; O'Toole, A. (1997), “Principal component and neural network analyses of face images: What can be generalized in gender classification?”, Journal of Mathematical Psychology 41: 398–413, doi:10.1006/jmps.1997.1186, http://www.utdallas.edu/~herve/abdi.vaeo97.pdf  Templates for the Solution of Algebraic Eigenvalue Problems:a Practical Guide; Edited by Zhaojun Bai, James Demmel, Jack Dongarra, Axel Ruhe, and Henk van der Vorst (NETLIB) NAG IMSL