偏微分方程式と有限要素近似に関する精度保証付き数値計算法の発展とその自動化の研究
Project/Area Number |
20K03752
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 12040:Applied mathematics and statistics-related
|
Research Institution | Saga University |
Principal Investigator |
木村 拓馬 佐賀大学, 理工学部, 准教授 (60581618)
|
Project Period (FY) |
2020-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2022: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2020: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Keywords | 精度保証付き数値計算 / 数値解析 / 数値計算 / 有限要素法 / 微分方程式 / 発展方程式 / 誤差評価 |
Outline of Research at the Start |
まずは基礎研究として,熱方程式を対象として「基本解行列の厳密計算を応用した偏微分方程式の解の存在証明手法の改良」「解の存在証明とともに有限要素近似解の誤差評価も行う手法の導出」を研究する. つぎに,その応用・拡張と高精度化などの改良,特に非線形方程式への応用について検討する.また,右辺の高階導関数を用いた高精度化や,オーダー最良な誤差評価についても検討したい. 数値実験用計算機を導入し,数値実験の結果を理論構築にフィードバックして,計算機への実装をも考慮した実用的・効率的な理論構築を行う.高精度かつ少ない計算量・記憶領域量で検証できる効率的な計算機援用証明・誤差評価の計算手法の考案を目指す.
|
Outline of Annual Research Achievements |
本研究課題は,偏微分方程式の厳密解の存在範囲もしくは一意存在の範囲を,計算機を用いて自動的に求める精度保証付き数値計算法の研究を行うものである. 主に時間発展をともなう放物型偏微分方程式の周期境界値問題を対象とし,「基本解行列の厳密計算を応用した偏微分方程式の解の存在証明手法の改良」「解の存在証明とともに有限要素近似解の誤差評価も行う手法の導出」を目標として研究を進めてきた.このうち「基本解行列の厳密計算を応用した偏微分方程式の解の存在証明手法の改良」については,これまでに論文一篇が国際的な査読付き学術誌に掲載受理されている. 本年度は,2つ目の目標である「解の存在証明とともに有限要素近似解の誤差評価も行う手法の導出」に関連して,空間方向の離散化は有限要素法のまま,時間方向の離散化に有限要素法やフーリエ展開を用いる誤差評価法について研究を進めてきた. 特に,時間方向にフーリエ展開を用いる誤差評価については一定の成果を得られている.この手法は,スペクトル法による数値解に対する誤差評価を与えるものであり,パラメータを決定すれば数値解を計算しなくても誤差の上限がわかる事前誤差評価法であり,数値例においては実際の誤差と同じオーダーで誤差評価できるという意味でのオーダー最良な誤差評価法である.この手法についてまとめた論文一篇を国際的な査読付き学術誌に投稿し,現在は査読者のコメントに従って修正を行っている.加えて,本研究のこれまでの成果について,来年度に開催予定の査読付き国際会議に発表申込を行っている.
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
研究自体は進展しているが,補助事業期間を延長し,翌年度に論文や国際会議等での成果発表を行う予定となった.そのため,遅れてはいないが順調とも言い切れない「やや遅れている」と自己評価した. 研究自体は一定の成果を得ているが,その成果発表については順調とは言い難い進捗状況であったと自己評価した.
|
Strategy for Future Research Activity |
成果発表のために事業期間を延長している.今後は"研究実績の概要"に述べたように査読付き論文や国際会議・学会における成果発表を行う. 加えて,線形放物型偏微分方程式について得られた事前誤差評価を応用した非線形方程式の検証を検討したい. また,その他の形式の方程式への拡張や高精度化など,本研究の成果の応用についても検討したい.
|
Report
(3 results)
Research Products
(1 results)