精度保証付き数値計算とその計算工学への応用に関する総合的研究

1999 Fiscal Year Annual Research Report

• Project/Area Number: 10440031
• Research Institution: KYUSHU UNIVERSITY
• Principal Investigator: 中尾 充宏 九州大学, 大学院・数理学研究科, 教授 (10136418)
• Co-Investigator(Kenkyū-buntansha): 室田 一雄 京都大学, 数理解析研究所, 教授 (50134466) ; 西田 孝明 京都大学, 大学院・理学研究科, 教授 (70026110) ; 大石 進一 早稲田大学, 理工学部, 教授 (20139512) ; 山本 哲朗 愛媛大学, 理学部, 教授 (80034560) ; 三井 斌友 名古屋大学, 大学院・人間情報学研究科, 教授 (50027380)
• Keywords: 数値解析 / 精度保証付き数値計算法 / 解の数値的検証 / 計算機援用証明

Research Abstract

本年度は、個別の問題によらない共通的精度保証方式の開発および従来方式の拡張・改良を計るとともに、流体の流れ問題などの自然界における具体的現象に即した個別問題の精度保証、および関連数値解析技法の検討を行った。研究を進めるに際しては、代表者(中尾)が全体をとりまとめつつ、各研究分担者と関連研究者の協力を得て恒常的に検討を進めた。主な研究実績は以下の通りである。
・共通的精度保証方式
1.中尾、山本野人、渡部は共同して偏微分方程式の解に対する精度保証方式について検討し、具体的計算アルゴリズムの開発について研究を進めた。特に本年度は楕円型境界値問題に対する従来方式の拡張として以下の成果を得た。(1)非線形楕円型方程式の球対称解の分岐曲線の包み込み(2)Stokes方程式の有限要素解に対する構成的aposteriori/a priori誤差評価(3)2階楕円型作用素の固有値の精度保証の定式化とその実現(4)変分不等式の解に対する数値的検証法の定式化と数値例(5)高次多項式近似の最良誤差評価定数の算定
2.大石は高速精度保証アルゴリズムの基本的な方法を確立し実際的なアルゴリズムを実現した。
3.菊地は電磁場問題の有限要素解析に関する基礎的考察を行い、特にNedelec要素の適合性に関する理論的、数値的特性を明らかにした。
4.酒井は主に常微分方程式の近似解のスプライン関数による表現法について研究を進めた。
5.藤野は全根同時反復解法の加速法、および分散メモリ型並列計算機上での並列化の効率について研究を行なった。
6.三井は常微分方程式の初期値問題の解に対する精度保証方式について検討した。
7.山本哲朗はDirichlet問題に対する差分解の精度と、Smoothing Newton法を適用したとき得られる数値解の精度について調べた。
・個別問題に対する精度保証に関する研究
1.田端は流体方程式に対する有限要素法による数値計算の誤差精度に関する考察を行った。
2.西田は流体方程式系の解空間の構造を解析するために、計算機援用証明法の研究開発を進めた。
3.室田は構造工学の分野における数値シミュレーションの信頼性に関し、群論的分岐理論を用いた考察を行った。

Research Products

• [Publications] Nakao,M.T.: "Numerical verifications of eigenvalues of second-order elliptic operators"Japan Journal of Industrial and Applied Mathematics. 16. 307-320 (1999)
• [Publications] Nagatou,K.: "An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness"Numerical Functional Analysis and Optimization. 20. 543-565 (1999)
• [Publications] Watanabe,Y.: "A numerical verification method of solutions for the Navier-Stokes equations"Reliable Computing. 5. 347-357 (1999)
• [Publications] Watanabe,Y.: "Verification method of generalized eigenvalue problems and its applications (in Japanese)"Transaction of the Japan Society for Industrial and Applied Mathematics. 9. 137-150 (1999)
• [Publications] Nakao,M.T.: "Numerical verification of solutions for elasto-plastic torsion problems"to appear in Computers and Mathematics with Applications.
• [Publications] Kikuchi,F.: "Modification of the 8-node serendipity element"Computer Methods in Applied Mechanics and Engineering. 179. 91-109 (1999)
• [Publications] Murota,K.: "On the degree of mixed polynomial matrices"SIAM Journal on Matrix Analysis and Applications. 20. 196-227 (1999)
• [Publications] Suzuki,A.: "Numerical soluion of an unsteady earth's mantle convection problem by a stabilized finite element method"Theoretical and Applied Mechanics. 48. 371-378 (1999)
• [Publications] Feng,B.-F.: "A conservative spectral method for the third-and fofth-order Kortewege-de Vries equations"Journal of Computational Physics. 153. 467-487 (1999)
• [Publications] Matsunaga,N.: "Superconvergence of the Shortley-Weller approximation for Dirichlet problems"Journal of Computational and Applied Mathematics. 116(in print). (2000)
• [Publications] 中尾充宏: "日本評論社"精度保証付き数値計算. 160 (1998)