研究課題
本研究では、３次元領域におけるナビエ・ストークス方程式の解の計算機援用検証法を開発している。2019年度、研究代表者はHypercircle法をストークス方程式に拡張して、ストークス方程式の有限要素解の事前誤差評価法を提案した。さらに、この事前誤差評価とNewton-Kantorovich定理と中尾法を合わせて、一般的な３次元領域におけるナビエ・ストークス方程式の解の検証法を提案した。2020年度、数学的正しい計算結果を提供できる有限要素法の厳密計算ライブライ（Verified Finite Element Method, VFEM)を開発した。VFEMライブライは、3次元領域における任意次数のRaviart-Thomas要素とLagrange要素など有限要素法の関数空間の厳密計算法を提供している。現在、当該ライブラリはGanjin.Onlineに公開されている。2021年度、研究代表者は厳密計算ライブライVFEMを使用して、世界初の３次元領域におけるナビエ・ストークス方程式の定常解の検証に成功した。この結果は2022年2月非線形科学分野のトップ学術誌Communications in Nonlinear Science and Numerical Simulationに（CNSNS）に掲載され(10.1016/j.cnsns.2021.106223)、ナビエ・ストークス方程式の数値解析と計算機援用証明分野における画期的な成果として注目される。
すべて 2022 2021 その他
すべて 雑誌論文 (1件) (うち査読あり 1件) 学会発表 (8件) (うち国際学会 2件、 招待講演 2件) 備考 (1件)
Communications in Nonlinear Science and Numerical Simulation
巻: 108 ページ: 106223～106223
10.1016/j.cnsns.2021.106223
https://ganjin.online/xfliu/NS.SolutionVerification
