研究課題
本年度は、双曲型偏微分方程式に対する解の精度保証付き数値計算の基盤となる本研究課題において確立したスペクトル法による非線形偏微分方程式に対する解の精度保証付き数値計算方法を、より一般的なクラスの時間発展する非線形偏微分方程式（時間発展方程式）へ適用した統一的な理論構築に従事した。この理論は本研究課題で対象としている（非線形）双曲型・分散型偏微分方程式にとどまらず複素数値非線形熱方程式のような放物型偏微分方程式や流体・化学反応・材料化学などの数理モデルとして現れるさまざまな時間発展方程式に統一的に応用できる。より具体的には時間発展方程式のCauchy問題を適切な関数空間上に定義される写像の零点として考え、関数空間上における零点探索問題を考える。写像の零点として解を解釈することで、これまでの簡易ニュートン写像によるアプローチをより簡明に解釈することができるようになり、近似解における線形化作用素の逆作用素の定義に発展作用素の生成理論が利用できる。そして最終的に縮小写像の原理に基づく解の数値検証が可能になった。このように、これまでの精度保証付き数値計算理論が一つに集約し、今後、統一的なアプローチとして様々な問題を解決できると期待される。
すべて 2023 2022 その他
すべて 国際共同研究 (2件) 雑誌論文 (4件) (うち国際共著 3件、 査読あり 4件、 オープンアクセス 4件) 学会発表 (14件) (うち国際学会 2件、 招待講演 2件)
Journal of Nonlinear Science
巻: 33 ページ: 46～46
10.1007/s00332-023-09900-6
Communications in Nonlinear Science and Numerical Simulation
巻: 107 ページ: 106188～106188
10.1016/j.cnsns.2021.106188
Numerische Mathematik
巻: 151 ページ: 693～750
10.1007/s00211-022-01291-2
Numerical Algorithms
巻: 92 ページ: 693～721
10.1007/s11075-022-01456-y
