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

多维逆谱分析，保证精度

• 批准号: 13740072
• 负责人: 渡部 善隆
• 金额: $ 1.34万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13740072/
• 关键词: 逆問題; 精度保証付き数値計算; 区間演算

1.多重度を持つ固有値問題への適用入力データとなる固有値に重なりがある,または非常に接近している場合,区間Newton法に対応する行列の条件数が悪くなり検証条件が満たされないことが起こりえる.このため,クラスタが観測された場合における特異性を回避した順問題に対する固有値の包み込みのアルゴリズムを提案し,ポテンシャル関数の再構成手順(逆問題)についてもこれまでの数値的検証法が拡張可能であることを理論面から明らかにするとともに数値実験によりその実用性を確認した.2.一般の領域に対する適用実際的な問題に対応するため,より一般性を持つ2次元領域および3次元問題への拡張を理論面から検討した.さらに具体的な応用として,2次元非凸領域に対する線形化問題の事前誤差評価に基づくポテンシャル関数の再構成手法の定式化を行い,あわせて大規模数値計算に適応したアルゴリズムの高速化・並列化について検討した.3.MATLABツールボックスの構築本研究で得られた成果を公開するためのプログラミング環境として,数値計算ソフトウェアMATLABのツールボックスとして多次元逆スペクトル解析に関連する連立一次方程式,有限次元固有値問題,有限次元非線形方程式の精度保証付き計算関数を実装した.4.今後は,2.で行った定式化に基づく検証アルゴリズムの構築と数値実験による確認,および3.で実装したMATLABツールボックスにポテンシャル関数の再構成プログラムを追加し,アルゴリズムとともにソフトウェアを公開する予定である.

1. つ inherent numerical problem more severe を へ の apply into force デ ー タ と な る inherent numerical に heavy な り が あ る, ま た は very に near し て い る occasions, interval Newton method に 応 seaborne す る ranks の condition number が 悪 く な り が 検 card conditions against た さ れ な い こ と が up こ り え る. こ の た め, ク ラ ス タ が 観 measuring さ れ た occasions に お け る specificity を avoid し た suitable problem に す seaborne る inherent numerical の package み 込 み の ア ル ゴ リ ズ ム を proposal し, ポ テ ン シ ャ ル masato number の shun (inverse problem) constitute a hand again に つ い て も こ れ ま で の 検 proofs of the numerical が company, zhang may で あ る こ と を theory surface か ら Ming ら か に す る と と も に the numerical be 験 に よ り そ の be reconfirm by sexual を し た. 2. General の field に す seaborne る applicable be interstate な problem に 応 seaborne す る た め, よ り general を hold 2 dimensional field つ お よ び 3 dimensional problem へ の company, zhang を theory surface か ら beg し 検 た. さ ら に specific な 応 with と し て, 2 dimensional non convex domain に す seaborne る with linear problem の prior error evaluation 価 に base づ く ポ テ ン シ ャ ル masato number の reconstitution technique の demean を Line い, あ わ せ て に large-scale the numerical computing optimal 応 し た ア ル ゴ リ ズ ム の tied for the high speed · に つ い て beg し 検 た. 3. MATLAB ツ ー ル ボ ッ ク ス の build this study で must ら れ た results を public す る た め の プ ロ グ ラ ミ ン グ environment と し て, the numerical calculation ソ フ ト ウ ェ ア MATLAB の ツ ー ル ボ ッ ク ス と し て several times The inverse of the element スペ, ト, ト, ト, analysis of に relations する, continuous establishment of linear equations, finite-dimensional intrinsic value problems, finite-dimensional nonlinear equations <s:1> accuracy guarantee, <s:1> computational relations を, actual installation of <s:1>, た.4. Future は, 2. Line で っ た demean に base づ く 検 card ア ル ゴ リ ズ ム の build と the numerical be 験 に よ る confirmed that お よ び 3. で be loaded し た MATLAB ツ ー ル ボ ッ ク ス に ポ テ ン シ ャ ル number of masato の constitute プ ロ グ ラ ム を additional し, ア ル ゴ リ ズ ム と と も に ソ フ ト ウ ェ ア を public す る designated で あ る.

项目成果

M.T.Nakao, Y.Watanabe, N.Yamamoto: "Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data"Japan Journal of Industrial and Applied Mathematics. 18,2. 567-585 (2001)

M.T.Nakao、Y.Watanabe、N.Yamamoto：“有限数据逆椭圆特征值问题的验证数值计算”日本工业与应用数学杂志。