表題番号：2017S-078 日付：2018/05/31
研究課題反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法
研究者所属（当時） 資格 氏名
（代表者） 理工学術院 基幹理工学部 助教 田中　一成
研究成果概要
本研究では反応拡散モデルに対する精度保証付き数値計算手法を開発した。特に正値解を対象とし、真の解を数学的に厳密な意味で数値的に包含する手法を提案した。即ち真の解が数値的に求めた近似解の付近に存在することを具体的な誤差上限と共に保証し、更に正負の怪しい領域における固有値問題を考えることによりその正値性をも数学的に厳密な意味で保証した。