研究課題
研究活動スタート支援
本研究では以下の反応拡散モデル∂u/∂t(t,x) = △u(t,x)+f(x,u(t,x)), t∈(0,∞), x∈Ω (1)に対する精度保証付き数値計算法を開発した。特に(1)の定常問題を対象とし、その正値解を数学的に厳密な意味で数値的に包含する手法を開発した。本研究で得られた手法は(1)の真の解が数値的に求めた近似解の付近に存在することを具体的な誤差上限と共に保証し、更にその真の解の正値性をも数学的に厳密な意味で保証している。
精度保証付き数値計算は全ての誤差を考慮して数学的に正しい結果を得ることから近年世界的に注目を集めている技術であり、対象とするモデル(1)の性質上その正値解が重要となることが多い。国内外の関連する研究では「近似解の数値計算→精度保証」というプロセスの速度向上や、得られる結果の高精度化に焦点が当てられていたが、本研究はそこに正値性の保証という新たな視点を与えることができ、この点において独創的である。本研究で得られたアルゴリズムを用いれば、近似解の近傍に真解の存在性を証明するだけでなく、従来の精度保証技術では成し得なかった符号の保証をすることができ、より高信頼な結果を与えることができる。
すべて 2019 2018 2017
すべて 雑誌論文 (5件) (うち査読あり 3件、 オープンアクセス 5件) 学会発表 (10件) (うち国際学会 5件)
日本応用数理学会論文誌
巻: 29 号: 1 ページ: 17-45
10.11540/jsiamt.29.1_17
130007618980
Journal of Inequalities and Applications
巻: 2017 号: 1 ページ: 1-18
10.1186/s13660-017-1571-0
J. Comput. Appl. Math.
巻: 314 ページ: 10-29
10.1016/j.cam.2016.10.013
120007135196
RIMS Kokyuroku
巻: 2037 ページ: 96-105
巻: 2037 ページ: 125-140
