LU分解ぶんかい

出典しゅってん: フリー百科ひゃっか事典じてん『ウィキペディア(Wikipedia)』

数学すうがくにおける行列ぎょうれつLU分解ぶんかい(エルユーぶんかい、えい: LU decomposition)とは、正方まさかた行列ぎょうれつ Aしも三角さんかく行列ぎょうれつ Lうえ三角さんかく行列ぎょうれつ Uせき分解ぶんかいすること。すなわち A = LU成立せいりつするような LUもとめることをいう。正方せいほう行列ぎょうれつ A のLU分解ぶんかい存在そんざいする必要ひつようじゅうふん条件じょうけんはすべての首座しゅざしょう行列ぎょうれつしきが 0 でないことである。また Lたいかく成分せいぶんをすべて 1 とすれば分解ぶんかいはただいちとおりにさだまる。文献ぶんけんによってはLR分解ぶんかいともばれる(それはAひだりさんかく(left triangular)とみぎさんかく(right triangular)の行列ぎょうれつせき分解ぶんかいするということにちなむ)。

LU分解ぶんかい手法しゅほう[編集へんしゅう]

以下いかn つぎ正方まさかた行列ぎょうれつ場合ばあい説明せつめいする。基本きほんてきにはA = LUかく成分せいぶんについてくだした n2 しきくことにより、行列ぎょうれつ L , Uもとめるのだが、このままでは未知みち係数けいすう個数こすうn (n + 1) )がしき個数こすうn2)よりおおいのでけない。これをくための解法かいほうには ドゥーリトルほうクラウトほう の2つがある。

  • ドゥーリトルほうでは、行列ぎょうれつ Lたいかく成分せいぶんすべてを 1 とおき、(1, 1) 成分せいぶん , (2, 1) 成分せいぶん , (3, 1) 成分せいぶん , ... , (1, 2) 成分せいぶん, (2, 2) 成分せいぶん, ... のじゅんn2 しきく。
  • クラウトほうでは、行列ぎょうれつ Uたいかく成分せいぶんすべてを 1 とおき、(1, 1) 成分せいぶん , (1, 2) 成分せいぶん , (1, 3) 成分せいぶん , ... , (2, 1) 成分せいぶん, (2, 2) 成分せいぶん, ... のじゅんn2 しきく。

れい[編集へんしゅう]

ドゥーリトルほうによる2行列ぎょうれつのLU分解ぶんかいおこなう。あたえられた正方せいほう行列ぎょうれつA成分せいぶんaij とする。

  1. しも三角さんかく行列ぎょうれつ Lたいかく成分せいぶんすべて 1 とおき、のこりの成分せいぶん、(1, 2)を0、(2, 1)を変数へんすうl21 とおく。
  2. うえ三角さんかく行列ぎょうれつ Uたいかく成分せいぶんたいかく成分せいぶんよりうえ成分せいぶん変数へんすうにおく。
  3. A=LU両辺りょうへん係数けいすう比較ひかくする。
  4. うえしきうえからじゅんくことでL , Uもとめられる。

応用おうよう[編集へんしゅう]

連立れんりつ1方程式ほうていしき[編集へんしゅう]

連立れんりつ1方程式ほうていしき

かたに、行列ぎょうれつ A を LU分解ぶんかいする方法ほうほうがある。L , Uしも三角さんかく行列ぎょうれつうえ三角さんかく行列ぎょうれつであるため、ぎゃく行列ぎょうれつもとめることなく計算けいさんすることが可能かのうである。このため、おなAたいb だけをえていくつも連立れんりつ方程式ほうていしき場合ばあい、LU分解ぶんかい有用ゆうようである[1]

あたえられた方程式ほうていしき

たいし、変数へんすうy

とおき、これをうえしき代入だいにゅうする。

から変数へんすうyもとめる[注釈ちゅうしゃく 1]もとめたかいyUx = y右辺うへん代入だいにゅうし、かい xもとめることができる[注釈ちゅうしゃく 2]

Ly = bガウスの消去しょうきょほう前進ぜんしん消去しょうきょUx = y後退こうたい代入だいにゅう対応たいおうする。

ぎゃく行列ぎょうれつ[編集へんしゅう]

行列ぎょうれつ A を LU 分解ぶんかいすると、

によりぎゃく行列ぎょうれつA-1もとめられる。

また、

ei単位たんい行列ぎょうれつIだいi れつ

かいxiならべた行列ぎょうれつAX = Iたすので、このようにしてもぎゃく行列ぎょうれつA-1もとめることができる。

行列ぎょうれつしき[編集へんしゅう]

行列ぎょうれつ A を LU 分解ぶんかいできれば、その行列ぎょうれつしき簡単かんたんもとめることができる。なぜならば、行列ぎょうれつ L および U三角さんかく行列ぎょうれつであることから、それらの行列ぎょうれつしき |L | , |U | はたいかく成分せいぶんせきあらわされ、|A | は、

計算けいさんできるからである。

変種へんしゅ[編集へんしゅう]

LDU 分解ぶんかい
しも三角さんかく行列ぎょうれつ Lたいかく行列ぎょうれつ Dうえ三角さんかく行列ぎょうれつ Uせき分解ぶんかいする。
LUP 分解ぶんかい
しも三角さんかく行列ぎょうれつ Lうえ三角さんかく行列ぎょうれつ U置換ちかん行列ぎょうれつ Pせき分解ぶんかいする。

脚注きゃくちゅう[編集へんしゅう]

注釈ちゅうしゃく[編集へんしゅう]

  1. ^ 左辺さへんLy計算けいさんし、左辺さへん右辺うへん係数けいすう比較ひかくすれば、yもとまる。
  2. ^ 左辺さへんUx計算けいさんし、左辺さへん右辺うへん係数けいすう比較ひかくすれば、xもとまる。

出典しゅってん[編集へんしゅう]

  1. ^ Joel H. Ferziger; Milovan Perić ちょ小林こばやし敏雄としお谷口たにぐち伸行のぶゆき坪倉つぼくらまこと やく『コンピュータによる流体りゅうたい力学りきがく』シュプリンガー・フェアラーク東京とうきょう、2003ねん、90ぺーじISBN 4-431-70842-1 

関連かんれん項目こうもく[編集へんしゅう]