本研究課題は,偏微分方程式の厳密解の存在範囲もしくは一意存在の範囲を,計算機を用いて自動的に求める精度保証付き数値計算法の研究を行うものである. 主に時間発展をともなう放物型偏微分方程式の周期境界値問題を対象として研究を進めた.まず,基本解行列の厳密計算を応用した数値解の誤差評価手法の改良を行い,論文1篇が国際的な査読付き学術誌に掲載された.そして,空間方向に有限要素法を時間方向にスペクトル法を用いて得られる数値解について誤差評価手法を導出し,査読付き国際会議発表を1件行った.なお,論文1篇を国際的な査読付き学術誌に投稿中であり,それはプレプリントサーバにて公開されている.
|