2023 Fiscal Year Research-status Report
偏微分方程式の解に対する数値的検証法の新たな高度化の研究
| Project/Area Number |
21K03378
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
中尾 充宏 早稲田大学, 理工学術院, その他(招聘研究員) (10136418)
|
|---|
| Project Period (FY) |
2021-04-01 – 2025-03-31
|
| Keywords | 数値解析 / 精度保証付き数値計算 / 有限要素法の構成的誤差評価 / 解の数値的検証法 / 計算機援用証明 |
|---|
| Outline of Annual Research Achievements |
本研究課題と関連した研究協力者との情報交換および研究連携のもとで、主として、無限次元精度保証付き数値計算法の検討を行った。関係者との対面およびオンラインでのタイムリな研究打合せも含めて恒常的に研究を進め、以下に掲げる研究成果を得た。
（１）発展方程式の基本形である熱方程式を対象として、空間・時間の同時離散化（全離散近似）スキームに対する構成的誤差評価を導出した。特に本結果は、従来得られていた手法が、問題ごとに計算機援用による大規模行列の固有値問題を精度保証付きで解く必要があったのに比べて、計算コストを格段に低減させるものである。具体例に対する数値実験においてもその有効性が確認されている。（２）熱方程式の時間周期解に対する空間有限要素法、時間スペクトル法による全離散近似解の構成的誤差評価を導出した。具体的なモデル問題に対する数値例を実装し、論文作成を進めている。（３）Poisson方程式のLagrange-type 有限要素近似解に対する2次収束の構成的誤差評価を与え、具体的数値例により、その有効性を実証した。（４）一般的な抽象Hilbert空間における線形作用素の逆作用素の存在を数値的に検証し、そのノルム評価を精度保証付きで算定する原理と手順を明らかにした。具体的な楕円型作用素について数値例によりその有効性を実証した。（５）放物型方程式の初期境界値問題の精度保証付き数値計算に対する発展作用素を用いた効率的手法を与えた。（６）楕円型線形作用素に対する近似逆作用素ノルムの収束性について考察し、その収束オーダー評価を与えた。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
熱方程式を対象とした空間・時間の同時離散近似（全離散化）スキームに対する構成的誤差評価を、大規模行列の固有値問題を精度保証付きで解くことなく算定できることは、計算コストの低減という観点から関係分野の研究進展に大きく寄与するものである。また、一般的な抽象Hilbert空間上で、線形作用素の逆作用素の存在を数値的に検証し、そのノルムを数値評価できる手法を与えたことの意義は大きい。これは楕円型あるいは重調和型問題のみならず、多くの無限次元精度保証付き数値計算法の適用領域を今後大幅に拡大する可能性を示すものといえる。
|
| Strategy for Future Research Activity |
これまでと同様に、関係研究者との緊密な情報交換と研究協力の下に、次の課題に対して検討を進める。
（１）楕円型作用素の近似逆作用素ノルムの厳密な逆作用素ノルムへの収束オーダー評価の具体化と改良（２）空間有限要素法、時間スペクトル法による熱方程式の時間周期解に対する全離散解の構成的誤差評価を活用して、具体的非線形モデル問題に対する数値的検証例を実装し、その有効性を示す。（３）発展方程式の解の爆発に関して、初期値との関連性や爆発領域の特定を数値的に検証する手法の開発（４）放物型方程式の初期境界値問題に対する発展作用素を用いた精度保証付き数値計算法の効率的実現（５）3次元Navier-Stokes 方程式の解に対する数値的検証を高Reynolds領域において実現する手法の検討。
|
| Causes of Carryover |
新型コロナウィルス感染症の流行により開催予定の研究集会が中止となり、研究費の使用計画に支障が出たため。残額は次年度(2024年度)に全額使用予定。
|
