| 研究概要 |
本研究では,大型線形計算のアルゴリズムのうち,大型線形方程式系の高速数値解法と大型疎行列の固有値問題に対するランチョス法について重点的に研究した。
1.大型線形方程式系の数値解法については,特に線形最小2乗問題を取り上げて,Orthomin(k)法の前処理および収束特性について研究した。
2.大型疎行列の固有値問題については,ランチョス法を取り上げて研究した。ランチョス法は大型疎行列に適したアルゴリズムであるが,計算を進めるにしたがってランチョスベクトルの間の直行性が丸め誤差のために崩れるという欠点を持っている。この直交性の崩れを防ぐために計算の途中で再直交化を行う必要がある。我々は再直交化のアルゴリズムとして,新しい方法(RIC)を考案し,従来の再直交化法(PROとSO)にくらべて優れていることを示した。また,単純なランチョス法では重複固有値を正確に求めることは不可能で,ブロックランチョス法を用いる必要がある。我々は,単純なランチョス法に対して考案した再直交化法(RIC)をブロックランチョス法に拡張することを試みた。そのために,ランチョスベクトル間の直交性を表す量が満す漸化式をブロックランチョス法に対しても導き,それを用いて直交性の崩れを検出するようにした。この方法も従来の方法にくらべて優れていることを示すことができた。特に,すべての固有値を正確に求めることができない場合には,どの固有値が信頼できる固有値であるかを示すことができる点が我々の方法の特徴である。
|
