精度保証付き多次元逆スペクトル解析

Research Project

Project/Area Number	13740072
Research Category	Grant-in-Aid for Young Scientists (B)
Allocation Type	Single-year Grants
Research Field	General mathematics (including Probability theory/Statistical mathematics)
Research Institution	Kyushu University
Principal Investigator	渡部善隆九州大学, 情報基盤センター, 助教授 (90243972)
Project Period (FY)	2001 – 2002
Project Status	Completed (Fiscal Year 2002)
Budget Amount *help	¥2,100,000 (Direct Cost: ¥2,100,000) Fiscal Year 2002: ¥800,000 (Direct Cost: ¥800,000) Fiscal Year 2001: ¥1,300,000 (Direct Cost: ¥1,300,000)
Keywords	逆問題 / 精度保証付き数値計算 / 区間演算
Research Abstract	1.多重度を持つ固有値問題への適用入力データとなる固有値に重なりがある,または非常に接近している場合,区間Newton法に対応する行列の条件数が悪くなり検証条件が満たされないことが起こりえる.このため,クラスタが観測された場合における特異性を回避した順問題に対する固有値の包み込みのアルゴリズムを提案し,ポテンシャル関数の再構成手順(逆問題)についてもこれまでの数値的検証法が拡張可能であることを理論面から明らかにするとともに数値実験によりその実用性を確認した. 2.一般の領域に対する適用実際的な問題に対応するため,より一般性を持つ2次元領域および3次元問題への拡張を理論面から検討した.さらに具体的な応用として,2次元非凸領域に対する線形化問題の事前誤差評価に基づくポテンシャル関数の再構成手法の定式化を行い,あわせて大規模数値計算に適応したアルゴリズムの高速化・並列化について検討した. 3.MATLABツールボックスの構築本研究で得られた成果を公開するためのプログラミング環境として,数値計算ソフトウェアMATLABのツールボックスとして多次元逆スペクトル解析に関連する連立一次方程式,有限次元固有値問題,有限次元非線形方程式の精度保証付き計算関数を実装した. 4.今後は,2.で行った定式化に基づく検証アルゴリズムの構築と数値実験による確認,および3.で実装したMATLABツールボックスにポテンシャル関数の再構成プログラムを追加し,アルゴリズムとともにソフトウェアを公開する予定である.