研究課題/領域番号 |
15H03637
|
研究種目 |
基盤研究(B)
|
配分区分 | 補助金 |
応募区分 | 一般 |
研究分野 |
数学基礎・応用数学
|
研究機関 | 九州大学 |
研究代表者 |
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
研究分担者 |
木下 武彦 京都大学, 健康長寿社会の総合医療開発ユニット, 特定講師 (30546429)
|
研究期間 (年度) |
2015-04-01 – 2020-03-31
|
キーワード | 精度保証付き数値計算 / 計算機援用証明 / 非線形関数方程式 / Navier-Stokes方程式 / 非線形偏微分方程式 / 有限要素法 / 射影近似と誤差解析 / 不動点定理 |
研究成果の概要 |
自然現象を科学的に記述するために用いられる微分方程式をはじめ各種関数方程式に対し、コンピュータで計算した結果に数学的な厳密な保証を与える「精度保証付き数値計算」の理論・応用・手法に関する研究を行いました。一般的な関数空間における線形作用素の可逆性と逆作用素ノルムの効率的かつ最適な上界評価を得ることに成功し、この評価に基づく非線形関数方程式の解の存在あるいは一意性をコンピュータにより厳密に検証するための枠組みの構築を達成しました。
|
自由記述の分野 |
数値解析
|
研究成果の学術的意義や社会的意義 |
非線形関数方程式、特に非線形偏微分方程式を統一的に扱う数学理論は現在のところ存在しません。そのため、解を解析的に導くことを回避したコンピュータによる近似計算が多く行われています。しかし、計算結果には誤差の混入が不可避です。本研究の成果は、解析解とコンピュータによる近似計算の間に横たわる誤差を数学的に厳密に取り扱うことを可能とするだけでなく、未解決であった非線形関数方程式の解の存在検証を可能にする意義を持つと考えます。
|