| Project/Area Number |
24H00694
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
土屋 卓也 大阪大学, 数理・データ科学教育研究センター, 招へい研究員 (00163832)
宮路 智行 京都大学, 理学研究科, 准教授 (20613342)
木下 武彦 佐賀大学, 理工学部, 准教授 (30546429)
小林 健太 一橋大学, 大学院経営管理研究科, 教授 (60432902)
|
|---|
| Project Period (FY) |
2024-04-01 – 2029-03-31
|
| Project Status |
Granted (Fiscal Year 2025)
|
| Budget Amount *help |
¥47,580,000 (Direct Cost: ¥36,600,000、Indirect Cost: ¥10,980,000)
Fiscal Year 2026: ¥8,970,000 (Direct Cost: ¥6,900,000、Indirect Cost: ¥2,070,000)
Fiscal Year 2025: ¥11,310,000 (Direct Cost: ¥8,700,000、Indirect Cost: ¥2,610,000)
Fiscal Year 2024: ¥11,440,000 (Direct Cost: ¥8,800,000、Indirect Cost: ¥2,640,000)
|
|---|
| Keywords | 精度保証付き数値計算 / 計算機援用証明 / 非線形偏微分方程式 / 有限要素法 / 射影誤差評価 / 非線形関数方程式 / 非線形微分方程式 / 線形作用素の逆作用素 |
|---|
| Outline of Research at the Start |
微分方程式に対する精度保証付き数値計算の有力な解法に，既知の情報を出発点として，微小なステップを踏みながら最終目標に到達するホモトピー法があります．本研究は，計算機援用証明により，既知の結果と摂動の情報を用いて，最終目標だけでなく，ホモトピー経路の存在も精度保証付きで一気に低コストで検証する「超」ホモトピー法の構築と，非線形関数方程式の解の存在証明への応用・展開を目的とします．
|
| Outline of Annual Research Achievements |
1. 既知の結果と摂動情報を用いて一気に最終目標に到達する「超」ホモトピー法の一般化・高度化を推進しました．具体的には，2階楕円型微分作用素に対して得られている既存の知見を，一般のHilbert空間における無限次元非自己共役線形作用素に対する可逆性の検証，および逆作用素ノルム評価に拡張しました．また，具体的な問題として，重調和作用素および1階微分項に特異性を持つ2階微分作用素に提案手法が適用できることを確認しました．さらに，応募者がこれまで提案してきた非線形関数方程式に対する精度保証付き数値計算法に拡大理論を組み込み，非線形問題の解に対する精度保証付き数値計算を行いました．具体的には，Navier-Stokes方程式より導かれるProudman-Johonson方程式の定常解の存在検証とその単峰性の計算機援用証明，および，浸透性を課した薄い円盤領域における層流を記述したElkouh方程式の非自明解の存在検証に成功しました．
2. 1を遂行するためには，区間演算が実装可能な適切な有限次元部分空間の設定と直交射影の定量的誤差評価が必要です．今年度は，応用問題より導出される各種Hilbert空間から有限次元部分空間への直交射影の厳密な誤差を理論的あるいは計算機援用的に評価する研究を推進しました．具体的な成果として，2階楕円型線形作用素の有限次元一様近似の理論的な収束性証明と，無限次元線形作用素に対する逆作用素ノルムを上限・下限の形で最適なオーダーで包み込むことに成功し，有限要素基底，Fourier級数基底など，理工学の分野で使われる汎用性の高い基底関数より構成される有限次元部分空間に対する精度保証付き検証例を与えました．また，非線形波動方程式から派生する，ある種の特異性を持つ微分作用素から導かれる関数空間に対する直交射影の定量的誤差評価への道筋をつけることができました．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究分担者・海外共同研究者・研究協力者との連携の結果，研究計画に沿った形で順調に進展していると判断します．主たる研究分担者・研究協力者が参加した合宿型のワークショップ，および，海外共同研究者を招聘した集中的な議論を通して，研究課題遂行のための問題点と解決案の情報共有を行うこともできました．
|
| Strategy for Future Research Activity |
昨年度は，主たる研究分担者・研究協力者が参加したワークショップ，および，海外共同研究者を招聘した対面による議論を通して，研究課題遂行のための課題の洗い出しと更なる手法の改良と応用・展開に向けての見通しを立てることができました．その成果も踏まえ，研究年度2年目以降においても，それぞれの研究において得られた成果を踏まえ，更なる研究課題の推進を行いたいと考えています．
|
