コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

広義固有ベクトル

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ジョルダン鎖から転送)

線型代数学において,n × n 行列 A広義(あるいは一般固有ベクトル(こうぎこゆうベクトル,いっぱんこゆうベクトル,: generalized eigenvector)は,(通常の)固有ベクトルの定義を緩めたある条件を満たすベクトルである[1]

Vn 次元ベクトル空間とする.φV から V への線型写像とする.A をある基底についての φ行列表示とする.

V の完全な基底をなす An 個の線型独立な固有ベクトルがいつも存在するとは限らない.つまり,行列 A対角化可能とは限らない[2][3].これは少なくとも1つの固有値 λi代数的重複度がその幾何学的重複度(行列 AλiI退化次数英語版,あるいはその零空間次元)よりも大きいときに起こる.この場合,λi不足固有値英語版と呼ばれ,A不足行列英語版と呼ばれる[4]

λi に対応する広義固有ベクトル xi は,行列 AλiI とあわせて,V不変部分空間の基底をなす線型独立な広義固有ベクトルのジョルダン鎖を生成する[5][6][7]

広義固有ベクトルを用いて,A の線型独立な固有ベクトルの集合を必要ならば V の完全な基底に拡張できる[8].この基底は A相似ジョルダン標準形にある「ほとんど対角な行列」J を決定するのに用いることができ,これは A のある行列関数英語版を計算するのに有用である[1].行列 JA が対角化可能とは限らないときに線形微分方程式系 x′ = Ax を解く際にも有用である[9][3]

概要と定義

[編集]

(通常の)固有ベクトルを定義するいくつかの同値な方法がある[10][11][12][13][14][15][16][17]n × n 行列 A の固有値 λ の固有ベクトル x とは,(λIA)x = 0 なる零でないベクトルである,ただし In × n単位行列であり,0n 次元の零ベクトルである[12].つまり,x変換 AλIに属する.An 個の線型独立な固有ベクトルを持てば,A は対角行列 D に相似である.つまり,ある可逆行列 M が存在して,A は相似変換 D = M−1AM により対角化可能である[18][19].行列 DAスペクトル行列英語版と呼ばれる.行列 MAモード行列英語版 と呼ばれる[20].対角化可能な行列は,その行列関数が容易に計算できるなどの特長がある[21]

一方,n × n 行列 An 個の線型独立な固有ベクトルを持たないとき,A は対角化可能ではない[18][19]

定義
ベクトル xm が行列 A の固有値 λ に対応する階数 m の広義(あるいは一般固有ベクトル (: generalized eigenvector) であるとは, を満たすが, であることをいう[1]

明らかに,階数 1 の広義固有ベクトルは通常の固有ベクトルである[22].すべての n × n 行列 An 個の線型独立な広義固有ベクトルを持ち,ジョルダン標準形の「ほとんど対角」な行列 J に相似であることを示すことができる[23].つまり,可逆行列 M が存在して,J = M−1AM となる[24].このときの行列 MA広義モード行列英語版 と呼ばれる[25]λ が代数的重複度 μ の固有値ならば,Aλ に対応する μ 個の線型独立な広義固有ベクトルを持つ[8].これらの結果は,A のある種の行列関数を簡易に計算する際に有用となる[26]

与えられた λ に対するすべての広義固有ベクトルによって張られる集合は λ広義(あるいは一般固有空間 (: generalized eigenspace) をなす[3]

[編集]

広義固有ベクトルの概念を説明するいくつかの例を挙げる.詳細のいくつかは後で記述される.

例 1

[編集]

まず,固有値が重複しても異なる(通常の)固有ベクトルが得られる例について示す.

とする.A の固有値は,det(λIA) = 0 を満たす λ であり,これを解くと, となり,ただ1つの固有値 λ = 1 が得られる.その代数的重複度は である.この固有値 λ = 1 に対する(通常の)固有ベクトルを求めてみよう. とおき, を満たすゼロでないベクトルを求めると,

となり,x1, x2 とも任意でよい.たとえば, も,もいずれも固有値 λ = 1 に対する固有ベクトルとなる.この2つの固有ベクトルは互いに線形独立である.

なお,

であり,幾何学的重複度は γ = 2 である.実際に,固有値 λ = 1 に対して,2つの互いに線形独立な固有ベクトルが得られることがわかる.

例 2

[編集]

固有値が重複する場合に異なる(通常の)固有ベクトルが得られない例について示す[3][27][2]

とする.A の固有値は,det(λIA) = 0 を満たす λ であり,これを解くと,(λ − 1)2 = 0 となり,ただ1つの固有値 λ = 1 が得られる.その代数的重複度は μ = 2 である.例 1 と異なり,

で,幾何的重複度は γ = 1 である.すなわち,例 1 とは異なり,固有値 λ = 1 に対する(通常の)固有ベクトルは1つしかない.

では,この固有値 λ = 1 に対する(通常の)固有ベクトルを求めよう.今, とおき,(1IA)x = 0 を満たすゼロでないベクトルを求めると,

となり,x1 は任意であるが,x2 = 0 でなくてはならない.したがって,たとえば, は固有値 λ = 1 に対する固有ベクトルとなる.なお,x1 は任意であるから, もまた固有ベクトルであるが, は互いに独立ではないことにも注意されたい.

つぎに,この(通常の)固有ベクトル x1 として,一般固有ベクトル x2 を求めよう.これは, とおき, を解くことによって求めることができる.具体的には,

を解くと,x21 は任意であり,x22 = 1 となる.すると階数 2 の一般固有ベクトルは である,ただし a は任意のスカラー値である.a = 0 とするのが最も単純である.

x1x2 は線型独立であり,ベクトル空間 V の基底をなす.

行列 A は,対角化可能ではないことに注意されたい.この行列は1つの 優対角英語版成分があるから,階数が 1 よりも大きい一般化固有ベクトルが1つある(あるいは,ベクトル空間 V の次元は 2 だから階数が 1 よりも大きい広義固有ベクトルは高々1つであることも分かる).あるいは,(λIA)零空間の次元が p = 1 であることを計算でき,したがって階数が 1 よりも大きい広義固有ベクトルは mp = 1 個ある.

さて,求めた(通常の)固有ベクトルと(一般)固有ベクトルを並べた行列

に対して,

となり,A は対角化はできていないが,J には A の固有値が対角成分に現れ,右上に“1” が配置されたジョルダン標準形となっていることがわかる.

例 3

[編集]

この例は例 2 よりも複雑である.低い次数のよい例題を構成することはやや少し難しい[28]

行列

の固有値は

det(λIA) = (λ − 1)2(λ − 2)3 =0

の解なので,固有値 λ1 = 1λ2 = 2 を持ち,その代数的重複度はそれぞれ μ1 = 2μ2 = 3 である.λ1 = 1 に対して,

となるので,幾何学的重複度は γ1 = 1 である.λ2 = 2 に対して,

となるので,幾何的重複度は γ2 = 1 である.

はじめに,λ1 = 1 に対する(通常の)固有ベクトル x11 を求める.幾何学的重複度は γ1 = 1 なので,残りの一般固有ベクトルは,x11 から逐次的に求められる.具体的には,次のように求めた.

つぎに,λ2 = 2 に対する(通常の)固有ベクトル x21 を求め,幾何学的重複度は γ2 = 1 なので,残りの一般固有ベクトル x22x23 は,x21 から逐次的に求められる.具体的には,次のように求めた.

これは A の各広義固有空間の基底となる.広義固有ベクトルの2つの鎖と合わせて5次元列ベクトル全体の空間を張る.

A に相似な「ほぼ対角」なジョルダン標準形の行列 J は以下のようにして得られる:

ただし MA広義モード行列英語版 であり,M の列は A標準基底英語版であり,AM = MJ である。 [29]

ジョルダン鎖

[編集]
定義
xm を行列 A の固有値 λ に対応する階数 m の広義固有ベクトルとする.xm によって生成される鎖とは次で与えられるベクトルの集合 である:





(1)

したがって,一般に,

(2)

(2) によって与えられるベクトル xj は固有値 λ に対応する階数 j の広義固有ベクトルである.鎖はベクトルの線型独立な集合である[6]

標準基底

[編集]

定義n 個の線型独立な広義固有ベクトルの集合が標準基底 (canonical basis) であるとは,ジョルダン鎖の全体からなることをいう.

したがって,階数 m の広義固有ベクトルが標準基底に入っていることを一度決定すれば,xm によって生成されるジョルダン鎖に入っている m − 1 個のベクトル も標準基底に入っていることが従う[30]

λiA の代数的重複度 μi の固有値とする.まず,行列 階数を求める.整数 mi の階数が nμi となる「最初の整数」として決定される(nA の行や列の個数である,つまり An × n である).

さて

と定義する.変数 ρkA の標準基底に現れる固有値 λi に対応する階数 k の線型独立な広義固有ベクトルの個数を表す.

に注意[31]

広義固有ベクトルの計算

[編集]

これまでの節で n × n 行列 A に付随するベクトル空間 V に対する標準基底の n 個の線型独立な広義固有ベクトルを得る方法を見た.これらの方法を結合して手順を得る:

固有値 λi と代数的重複度 μi に対する A特性方程式を解く;
λi に対して:
nμi を決定する;
mi を決定する;
k = 1, ..., mi に対して ρk を決定する;
λi に対して各ジョルダン鎖を決定する;

例 4

[編集]

行列

の固有値は

の解であり,これを解くと λ1 = 5(代数的重複度 μ1 = 3)および λ2 = 4(代数的重複度 μ2 = 1)が得られる.また,n = 4 である.λ1 = 5 に対して nμ1 = 4 − 3 = 1 である.

の階数が nμ1 = 1 になる最初の整数 m1m1 = 3 である.

次のように定義する:

したがって,3つの線型独立な広義固有ベクトルが存在する;階数 3, 2, 1 に1つずつである.λ1 は3つの線型独立な広義固有ベクトルのただ1つの鎖に対応するので,λ1 に対応する階数 3 の広義固有ベクトルであって

(3)
(4)

なるものが存在することを知っている.方程式 (3) と (4) は x3 について解くことができる線型方程式系を表す.

とする.すると

および

である.したがって,条件 (3) と (4) を満たすためには,x34 = 0 かつ x33 ≠ 0 でなければならない.x31x32 には何の制約もない.x31 = x32 = x34 = 0, x33 = 1 と選ぶことで,λ1 = 5 に対応する階数 3 の広義固有ベクトルとして

を得る.x31, x32, x33x33 ≠ 0 なる異なる値を選ぶことによって階数 3 の他の広義固有ベクトルを無限個得ることができることに注意.しかしながら,我々の最初の選択が最も単純である[32]

さて方程式 (1) を用いて,x2x1 をそれぞれ階数 2 と 1 の広義固有ベクトルとして得る,ただし

および

である.代数的重複度が 1 の固有値 λ2 = 4標準的な手法で扱うことができ,通常の固有ベクトル

を持つ.A の標準基底は

である.x1, x2, x3λ1 に伴う広義固有ベクトルである.y2λ2 に伴う通常の固有ベクトルである.

これはかなり単純な例であることに注意すべきである.一般に,階数 k の線型独立な広義固有ベクトルの個数 ρk は必ずしも等しくない.つまり,特定の固有値に対応する異なる長さのいくつかの鎖があるかもしれない[33]

広義モード行列

[編集]

An × n 行列とする.A広義モード行列 (generalized modal matrix) M とは,n × n 行列であって,その列が,ベクトルと考えたときに,A の標準基底をなし,M において以下の規則に従って現れるものをいう:

  • 1つのベクトルからなるすべてのジョルダン鎖は M のはじめの列に現れる.
  • 1つの鎖のすべてのベクトルは M の隣接する列に一緒に現れる.
  • 各鎖は M において階数が増える順番で現れる(つまり,階数 1 の広義固有ベクトルは同じ鎖の階数 2 の広義固有ベクトルよりも前に現れ,これは同じ鎖の階数 3 の広義固有ベクトルよりも前に現れ,……)[25]

ジョルダン標準形

[編集]
ジョルダン標準形の行列の例.灰色の箱はジョルダンブロックと呼ばれる.

Vn 次元ベクトル空間とする;φV から自身への線型写像全体の集合 End(V) の元とする;A をある基底に関する φ の行列表示とする.次のことを示すことができる.A特性多項式 f(λ) が一次式に分解して

の形,ただし A の相異なる固有値,になれば,各 μi は対応する固有値 λi の代数的重複度であり,Aジョルダン標準形の行列 J に相似である,ただし各 λi は対角線上連続した μi 回現れ,各 λi の上(すなわち優対角英語版)の各成分は 0 または 1 である;各 λi の最初の出現の上の成分はつねに 0 である.すべての他の成分は 0 である.行列 JA の対角化にできるだけ近い.A が対角化可能ならば,対角線の上のすべての成分は 0 である[34].教科書によっては優対角成分ではなく 劣対角成分英語版, すなわち主対角線の直下に 1 たちがあることに注意.固有値はなお主対角線にある[35][36]

すべての n × n 行列 A は相似変換 J = M−1AM によって得られるジョルダン標準形の行列 J に相似である,ただし MA の広義モード行列である[37]

例 5

[編集]

に相似なジョルダン標準形の行列を見つけよ.

A の特性方程式は (λ − 2)3 = 0 であるので,固有値は λ = 2(代数的重複度 μ = 3)である.前の節の手順に従って,

が分かる.したがって,ρ2 = 1ρ1 = 2 であり,A の標準基底は階数 2 の1つの線型独立な広義固有ベクトルと階数 1 の2つの線型独立な広義固有ベクトルを含むことが分かる,あるいは同じことだが,2つのベクトルの1つの鎖 {x2, x1} と1つのベクトルの1つの鎖 {y1} を含む.M = (y1 x1 x2) と書いて,次が分かる:

および

ただし MA の広義モード行列で,M の列は A の標準基底で,AM = MJ である[38].広義固有ベクトル自身は一意ではないから,また MJ の両方の列のいくつかは交換できるから,MJ はいずれも一意ではないことが従うことに注意[39]

例 6

[編集]

例 4 において,行列 A に対する線型独立な広義固有ベクトルの標準基底を求めた.A の広義モード行列は

である.A に相似なジョルダン標準形の行列は

であり,AM = MJ である。

応用

[編集]

行列関数

[編集]

正方行列に実行できる最も基本的な演算の3つは,和とスカラー倍と積である[40].これらは n × n 行列 A多項式関数を定義するのにちょうど必要な演算である[41].多くの関数がマクローリン級数として書けることを基本的な解析学から思い出すと,行列のより一般の関数をきわめて容易に定義できる[42]A が対角化可能ならば,つまり

ならば,

であり,A の関数のマクローリン級数の計算は大きく単純化される[43].例えば,A の任意の冪 k を得るには,Dk を計算し,M を左から掛け,さらに M−1 を右から掛けるだけでよい[44]

広義固有ベクトルを用いて,A のジョルダン標準形を得ることができ,これらの結果は対角化可能でない行列の関数を計算する直截的手法に一般化できる[45].(行列関数#ジョルダン分解英語版を参照.)

微分方程式

[編集]

次の線型常微分方程式系を解く問題を考える:

(5)

ただし

     および     

行列 A が対角行列で ij に対して aij = 0 のとき,系 (5) は次の形の n 個の方程式の系に簡約される:




(6)

この場合,一般解は次で与えられる:

一般の場合には,A を対角化し系 (5) を (6) のような系に以下のように簡約しようとする.A が対角化可能ならば,MA のモード行列として,D = M−1AM である.A = MDM−1 を代入して,方程式 (5) は次の形となる: あるいは

(7)

ただし

(8)

(7) の解は

(5) の解 x はすると関係式 (8) を用いて得られる[46]

一方,A が対角化可能でなければ,MA の広義モード行列に選び,J = M−1AMA のジョルダン標準形とする.系 y′ = Jy は次の形を持つ:

(9)

ただし λiJ の主対角成分にある固有値であり,εiJ の優対角成分にある 1 と 0 である.系 (9) はしばしば (5) よりも容易に解かれる.(9) の最後の方程式を yn に対して解いて, を得る.次に yn のこの解を (9) の最後から二番目の方程式に代入して,yn − 1 に対して解く.この手順を続けて,(9) を最後の方程式から最初までやり,y に対する全体の系を解く.すると解 x は関係式 (8) を用いて得られる[47]

脚注

[編集]
  1. ^ a b c Bronson 1970, p. 189.
  2. ^ a b Beauregard & Fraleigh 1973, p. 310.
  3. ^ a b c d Nering 1970, p. 118.
  4. ^ Golub & Van Loan 1996, p. 316.
  5. ^ Beauregard & Fraleigh 1973, p. 319.
  6. ^ a b Bronson 1970, pp. 194–195.
  7. ^ Golub & Van Loan 1996, p. 311.
  8. ^ a b Bronson 1970, p. 196.
  9. ^ Beauregard & Fraleigh 1973, pp. 316–318.
  10. ^ Anton 1987, pp. 301–302.
  11. ^ Beauregard & Fraleigh 1973, p. 266.
  12. ^ a b Burden & Faires 1993, p. 401.
  13. ^ Golub & Van Loan 1996, pp. 310–311.
  14. ^ Harper 1976, p. 58.
  15. ^ Herstein 1964, p. 225.
  16. ^ Kreyszig 1972, pp. 273, 684.
  17. ^ Nering 1970, p. 104.
  18. ^ a b Beauregard & Fraleigh 1973, pp. 270–274.
  19. ^ a b Bronson 1970, pp. 179–183.
  20. ^ Bronson 1970, p. 181.
  21. ^ Bronson 1970, p. 179.
  22. ^ Bronson 1970, pp. 190, 202.
  23. ^ Bronson 1970, pp. 189, 203.
  24. ^ Bronson 1970, pp. 206–207.
  25. ^ a b Bronson 1970, p. 205.
  26. ^ Bronson 1970, pp. 189, 209–215.
  27. ^ Herstein 1964, p. 261.
  28. ^ Nering 1970, pp. 122, 123.
  29. ^ Bronson 1970, pp. 189–209.
  30. ^ Bronson 1970, pp. 196, 197.
  31. ^ Bronson 1970, pp. 197, 198.
  32. ^ Bronson 1970, pp. 190–191.
  33. ^ Bronson 1970, pp. 197–198.
  34. ^ Beauregard & Fraleigh 1973, p. 311.
  35. ^ Cullen 1966, p. 114.
  36. ^ Franklin 1968, p. 122.
  37. ^ Bronson 1970, p. 207.
  38. ^ Bronson 1970, p. 208.
  39. ^ Bronson 1970, p. 206.
  40. ^ Beauregard & Fraleigh 1973, pp. 57–61.
  41. ^ Bronson 1970, p. 104.
  42. ^ Bronson 1970, p. 105.
  43. ^ Bronson 1970, p. 184.
  44. ^ Bronson 1970, p. 185.
  45. ^ Bronson 1970, pp. 209–218.
  46. ^ Beauregard & Fraleigh 1973, pp. 274–275.
  47. ^ Beauregard & Fraleigh 1973, p. 317.

参考文献

[編集]
  • Anton, Howard (1987), Elementary Linear Algebra (5th ed.), New York: Wiley, ISBN 0-471-84819-0 
  • Axler, Sheldon (1997). Linear Algebra Done Right (2nd ed.). Springer. ISBN 978-0-387-98258-8 
  • Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields, Boston: Houghton Mifflin Co., ISBN 0-395-14017-X 
  • Bronson, Richard (1970), Matrix Methods: An Introduction, New York: Academic Press, LCCN 70-97490 
  • Burden, Richard L.; Faires, J. Douglas (1993), Numerical Analysis (5th ed.), Boston: Prindle, Weber and Schmidt, ISBN 0-534-93219-3 
  • Cullen, Charles G. (1966), Matrices and Linear Transformations, Reading: Addison-Wesley, LCCN 66-21267 
  • Franklin, Joel N. (1968), Matrix Theory, Englewood Cliffs: Prentice-Hall, LCCN 68-16345 
  • Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Baltimore: Johns Hopkins University Press, ISBN 0-8018-5414-8 
  • Harper, Charlie (1976), Introduction to Mathematical Physics, New Jersey: Prentice-Hall, ISBN 0-13-487538-9 
  • Herstein, I. N. (1964), Topics In Algebra, Waltham: Blaisdell Publishing Company, ISBN 978-1114541016 
  • Kreyszig, Erwin (1972), Advanced Engineering Mathematics (3rd ed.), New York: Wiley, ISBN 0-471-50728-8 
  • Nering, Evar D. (1970), Linear Algebra and Matrix Theory (2nd ed.), New York: Wiley, LCCN 76-91646 

外部リンク

[編集]