Computer-assisted solution verification for 3D flows with large Reynolds numbers
Project/Area Number |
21H00998
|
Research Category |
Grant-in-Aid for Scientific Research (B)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Review Section |
Basic Section 12040:Applied mathematics and statistics-related
|
Research Institution | Niigata University |
Principal Investigator |
劉 雪峰 新潟大学, 自然科学系, 准教授 (50571220)
|
Co-Investigator(Kenkyū-buntansha) |
荻田 武史 早稲田大学, 理工学術院, 教授 (00339615)
中尾 充宏 早稲田大学, 理工学術院, その他(招聘研究員) (10136418)
小林 健太 一橋大学, 大学院経営管理研究科, 教授 (60432902)
関根 晃太 千葉工業大学, 情報科学部, 准教授 (80732239)
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
Project Period (FY) |
2021-04-01 – 2025-03-31
|
Project Status |
Granted (Fiscal Year 2023)
|
Budget Amount *help |
¥17,160,000 (Direct Cost: ¥13,200,000、Indirect Cost: ¥3,960,000)
Fiscal Year 2023: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2022: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2021: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
|
Keywords | ナビエ・ストークス方程式 / 計算機援用証明 / 厳密計算ライブラリ / 固有値問題の厳密評価 / 精度保証付き数値計算 / Divergence-free条件 / Hypercircle法 / ナビエ・ストークス方程式の定常解 / 計算機援用証明法 / 非自己共役作用素 / 鞍点型の固有値問題 / 並列計算 / 有限要素法 |
Outline of Research at the Start |
流体力学の基礎方程式であるナビエ・ストークス方程式に対し、計算機援用手法による解の存在証明を達成する。研究代表者は、これまでの研究において、計算機援用の検証方法を提案し、2019年には世界初の3次元領域における定常流れの検証に成功した。本研究は、現在の解の検証方法の飛躍的な効率化により、実際の数理モデルの要請および流れの安定性解析に密接に関わる高レイノルズ数の流れ方程式の汎用的な解の存在証明手法を確立することを目的とする。3次元方程式の解の存在および正則性は、世界中の数学者が取り組む未解決問題のひとつでもある。本研究の成功により、当該研究分野に国際的なインパクトを与えることが期待される。
|
Outline of Annual Research Achievements |
ナビエ・ストークス方程式は流体の運動を記述する非線形偏微分方程式であり、その非線形性により解析が高度に複雑となる性質を有しています。本研究では、この方程式の滑らかな解の存在を検討し、計算機援用証明の手法を用いてその存在を証明する方法を開発しています。2022年1月には、三次元領域でのナビエ・ストークス方程式の定常解の計算機援用証明法を、非線形分野のトップランク学術誌CNSNSに掲載しました(DOI: 10.1016/j.cnsns.2021.106223)。 該当年度には以下の具体的な研究が進行しました: 1) 解の存在証明に用いられた偏微分作用素の固有値評価について、非自己共役作用素の自己共役化手法を検討しました。非自己共役作用素とその共役作用素を結合し、自己共役となる鞍点型の固有値問題の形式を提案しました。現時点では、ラプラス作用素については、Y型のレイリー商を定義し、自己共役化された固有値問題の理論的な妥当性を検証し、数値計算でもその有効性を確認しました。次の段階では、Divergence-free条件が課されたストークス微分作用素の自己共役化を検討する予定です。 2) 大規模な行列計算を実行するために、スーパーコンピュータ「富岳」を用いるための準備を進めました。「富岳」の一般試行課題(ファーストタッチオプション)を活用し、富岳計算機における並列計算の実装方法を確認しました。 3) MATLABで開発されたナビエ・ストークス方程式の解の検証計算コードをC++ライブラリに変換し、その計算を並列化する開発を継続しています。
|
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 |
次の段階では、ストークス微分作用素の自己共役化を検討する予定です。高性能計算機をすでに用意できましたので、次の年度では並列計算のコードの開発と実装を進行する予定です。
|
Report
(1 results)
Research Products
(13 results)