ガウス=ザイデル法
数値線形代数におけるガウス=ザイデル法(〜ほう、英: Gauss-Seidel method)とは[math]n[/math]元の連立一次方程式[math]A\vec{x}=\vec{b}[/math]を反復法で解く手法の1つである。
解説
[math]n[/math]次正方行列[math]A[/math]は、上三角行列[math]U[/math]、下三角行列[math]L[/math]、対角行列を[math]D[/math]とすると、A=L+D+Uと書ける。このようにすると、まず以下のような変形ができる。
この式を満たすxを求める。初期値[math]\vec{x}^{(0)}[/math]に対して、 [math]k[/math]回目の反復で得られた[math]x_1[/math]の値を[math]x_1^{(k)}[/math]と書くと、 以下のような反復法の漸化式ができる。
この式は以下のように変形できる。
もし、解が収束した場合、その場合は[math]x_1^{(k+1)}[/math]と[math]x_1^{(k)}[/math]は共通の値[math]x_1^{(*)}[/math]を持つことになる。このとき、
となり、変形していくと元の連立方程式の形に戻る。 したがって、ガウス=ザイデル法で解が収束した場合、その解は連立方程式の解となる。
ガウス=ザイデル法の式はベクトル[math]\vec{x}[/math]の各成分ごとに次のような式で書くことができ、数値解析ではこの式が用いられる。
ガウス=ザイデル法とヤコビ法を加速する方法としてはSOR法が知られている。
収束性
ガウス=ザイデル法は、係数行列が正定値対称ならば収束する。
また、係数行列の各行で非対角要素の絶対値の和が対角要素の絶対値よりも小さい場合:
- [math]\left | a_{ii} \right | \gt \sum_{i \ne j} {\left | a_{ij} \right |}. [/math]
すなわち対角優位な行列ならば収束する(これはヤコビ法も同様である)。
係数行列が正定値対称ならばガウス=ザイデル法が収束することを利用して、
[math]A\vec{x}=\vec{b}[/math]を解く代わりに、同値である[math]A^TA\vec{x}=A^T \vec{b}[/math]を解く方法が考えられる。
この方法は[math]\vec{x}[/math]の第i行要素[math]x_i[/math]を更新するごとに確実に残差が減少する反面、
条件数がもとの行列[math]A[/math]の条件数の二乗になるため収束は遅くなる傾向となる。
上記のように[math]A\vec{x}=\vec{b}[/math]の代わりに[math]A^TA\vec{x}=A^T \vec{b}[/math]を解く方法は非対称、
非正定値行列を共役勾配法で解く際のテクニックにも利用される。
しかしながらCG法においても条件数が増加することにより収束性は悪化する。
具体例
3元の連立一次方程式、すなわち、
[math]\left( \begin{array}{ccc} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{array} \right) \left( \begin{array}{c} x_1 \\ x_2 \\ x_3 \end{array} \right) = \left( \begin{array}{c} b_1 \\ b_2 \\ b_3 \end{array} \right)[/math]
を解くことを考える。[math]k[/math]回目の反復で得られた[math]x_1[/math]の値を[math]x_1^{(k)}[/math]と書く。 初期値[math]\vec{x}^{(0)}[/math]は、適当な値、例えばゼロベクトルでもかまわない。
[math]x_1^{(k+1)} = (b_1 - a_{12} x_2^{(k)} - a_{13} x_3^{(k)}) / a_{11}[/math]
[math]x_2^{(k+1)} = (b_2 - a_{21} x_1^{(k+1)} - a_{23} x_3^{(k)}) / a_{22}[/math]
[math]x_3^{(k+1)} = (b_3 - a_{31} x_1^{(k+1)} - a_{32} x_2^{(k+1)}) / a_{33}[/math]
という反復を繰り返していく。 ここで、2番目の式で[math]x_1^{(k+1)}[/math]が使われていることに注意する。 次々に新しい[math]x_i^{(k+1)}[/math]を求めては、次の式で使われる。 このために、ガウス=ザイデル法は、このままでは並列計算できないので、 上記の反復式の右辺の[math]x_i^{(k+1)}[/math]の代わりに[math]x_i^{(k)}[/math]を使う、 すなわち、新しい[math]\vec{x}^{(k+1)}[/math]を別の場所に記憶しておいて、 一斉に[math]\vec{x}[/math]を更新するヤコビ法を使用する。
ヤコビ法は、直列計算ではガウス=ザイデル法よりも遅いが、容易に並列計算できる。
関連項目
- 反復法 (数値計算) - ヤコビ法, SOR法