SOR法

SOR法(SORほう、英: Successive Over-Relaxation、逐次加速緩和法)とは ${\displaystyle n}${\displaystyle n}元連立一次方程式 ${\displaystyle A{\boldsymbol {x}}={\boldsymbol {b}}}${\displaystyle A{\boldsymbol {x}}={\boldsymbol {b}}}を 反復法で解く手法の一つであり、 ガウス=ザイデル法に加速パラメータ${\displaystyle \omega }${\displaystyle \omega }を導入してその修正量を拡大することで、 更なる加速を図った手法である^[1] 。

${\displaystyle n}${\displaystyle n}次正方行列 ${\displaystyle A}${\displaystyle A}は、上三角行列 ${\displaystyle U}${\displaystyle U}、 下三角行列 ${\displaystyle L}${\displaystyle L}、対角行列 ${\displaystyle D}${\displaystyle D}の和に分離すると、

と書ける。

非対角成分に相当する項をすべて右辺に移項し、すべての量${\displaystyle x_{1},x_{2},\ldots ,x_{n}}${\displaystyle x_{1},x_{2},\ldots ,x_{n}}に 各段階で得られている最新のデータを代入するようにする(ガウス=ザイデル法)。こうして計算された値を${\displaystyle {\boldsymbol {\tilde {x}}}^{(k+1)}}${\displaystyle {\boldsymbol {\tilde {x}}}^{(k+1)}} とすると、${\displaystyle {\tilde {x}}_{i}^{(k+1)}}${\displaystyle {\tilde {x}}_{i}^{(k+1)}}は次の形となる^[1] 。

この値を次段でそのまま採用せずに、ガウス=ザイデル法で本来修正される量${\displaystyle {\tilde {x}}_{i}^{(k+1)}-x_{i}^{(k)}}${\displaystyle {\tilde {x}}_{i}^{(k+1)}-x_{i}^{(k)}}に1より大きい 加速パラメータ(^[1] では緩和因子、緩和係数と呼ばれている)${\displaystyle \omega }${\displaystyle \omega }を乗じてこの修正量を拡大し、これを前段の近似値${\displaystyle x_{i}^{(k)}}${\displaystyle x_{i}^{(k)}}に加えることで、新たな値は

とできる^[1] 。ただし、桁落ちを防ぐ観点からこの式の通り計算するのではなく、

として計算するか、または本節の最後に書かれた式を用いるのがよい。

この漸化式を、上の${\displaystyle A=L+D+U}${\displaystyle A=L+D+U}を用いて行列で表現すると、

となり、この2式から${\displaystyle {\boldsymbol {\tilde {x}}}^{(k+1)}}${\displaystyle {\boldsymbol {\tilde {x}}}^{(k+1)}}を消去することで、次式が得られる。

上式における${\displaystyle {\boldsymbol {x}}^{(k)}}${\displaystyle {\boldsymbol {x}}^{(k)}}の係数 ${\displaystyle M_{\omega }=\left(I+\omega D^{-1}L\right)^{-1}\left\{\left(1-\omega \right)I-\omega D^{-1}U\right\}}${\displaystyle M_{\omega }=\left(I+\omega D^{-1}L\right)^{-1}\left\{\left(1-\omega \right)I-\omega D^{-1}U\right\}}を反復行列という。

実際の数値計算においては、これを各成分について表した下の式が用いられる。

反復行列の固有値を${\displaystyle \lambda }${\displaystyle \lambda }とすると、

${\displaystyle \max |\lambda |\geq |\omega -1|\quad \forall \omega }${\displaystyle \max |\lambda |\geq |\omega -1|\quad \forall \omega }

が成立することから、少なくとも${\displaystyle 0<\omega <2}${\displaystyle 0<\omega <2}でなければSOR法の収束性は保証されない ^[2] 。

さらに、正定値対称行列 ${\displaystyle A}${\displaystyle A}を係数にもつ方程式${\displaystyle A{\boldsymbol {x}}={\boldsymbol {b}}}${\displaystyle A{\boldsymbol {x}}={\boldsymbol {b}}}に対するSOR法は、 加速パラメータ${\displaystyle \omega }${\displaystyle \omega }が${\displaystyle 0<\omega <2}${\displaystyle 0<\omega <2}のとき必ず収束する(Ostrowskiの定理)^[1] 。

また、${\displaystyle \omega =1}${\displaystyle \omega =1}のときガウス=ザイデル法と同じになり^[1] 、${\displaystyle \omega }${\displaystyle \omega }が1より小さいとき ガウス=ザイデル法より収束が遅くなる。ただし、ガウス=ザイデル法で収束しないような問題には使える ^[3] 。

一般に加速パラメータ${\displaystyle \omega }${\displaystyle \omega }の値をあらかじめ最適に定めることはできない。そのため、問題ごとに適当な値を選択する必要がある。

しかし、${\displaystyle \omega }${\displaystyle \omega }の最適な値を決定することができる例も存在する。それは、係数行列${\displaystyle A}${\displaystyle A}が、ある基本行列${\displaystyle P}${\displaystyle P}に 対して

${\displaystyle PAP^{-1}=\left[{\begin{matrix}D_{1}&M_{1}\\M_{2}&D_{2}\end{matrix}}\right]}${\displaystyle PAP^{-1}=\left[{\begin{matrix}D_{1}&M_{1}\\M_{2}&D_{2}\end{matrix}}\right]}

という形の行列に相似変換することができ、さらにヤコビ法の反復行列${\displaystyle M_{J}=-D^{-1}\left(L+U\right)}${\displaystyle M_{J}=-D^{-1}\left(L+U\right)}の スペクトル半径 ${\displaystyle \rho \left(M_{J}\right)}${\displaystyle \rho \left(M_{J}\right)}が既知であるときである。 なお、上の行列内の${\displaystyle D_{1},D_{2}}${\displaystyle D_{1},D_{2}}は対角行列である。

このとき、SOR法の反復行列のスペクトル半径 ${\displaystyle \rho \left(M_{\omega }\right)}${\displaystyle \rho \left(M_{\omega }\right)}が最小となる${\displaystyle \omega }${\displaystyle \omega }の最適値は、 次の形で得られる^[4] 。

${\displaystyle \omega ={\frac {2}{1+{\sqrt {1-\rho \left(M_{J}\right)^{2}}}}}}${\displaystyle \omega ={\frac {2}{1+{\sqrt {1-\rho \left(M_{J}\right)^{2}}}}}}

共役勾配法をはじめとしたクリロフ部分空間法の普及が進んだことでSOR法の使用が減ってしまったこともあったが^[1] 、離散勾配法 (構造保存型数値解法の一つ) との関係が明らかになったことで再び注目されている^{[5] [6]} 。

• 森正武『数値解析』共立出版、2002年2月。ISBN 4-320-01701-3。 
• 杉原正顯, 室田一雄, 線形計算の数理, 岩波書店, 2009年.
• 線形方程式の反復解法、 一般社団法人 日本計算工学会 編、藤野清次 著、阿部邦美 著、杉原正顯 著、丸善出版、2013年09月。
• 数値線形代数の数理とHPC, 櫻井鉄也, 松尾宇泰, 片桐孝洋編(シリーズ応用数理 / 日本応用数理学会監修, 第6巻)共立出版, 2018.8

• 数値解析
• 数値線形代数
• ヤコビ法
• ガウス=ザイデル法

• 緩和法 (反復法)
• 応用力学
• 数値線形代数
• 数学に関する記事
• 数値解析