2021 Fiscal Year Annual Research Report
Computer-assisted solution verification for 3D flows with large Reynolds numbers
| Project/Area Number |
21H00998
|
|---|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Niigata University |
|---|
Principal Investigator |
劉 雪峰 新潟大学, 自然科学系, 准教授 (50571220)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
中尾 充宏 早稲田大学, 理工学術院, その他(招聘研究員) (10136418)
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
小林 健太 一橋大学, 大学院経営管理研究科, 教授 (60432902)
荻田 武史 東京女子大学, 現代教養学部, 教授 (00339615)
関根 晃太 千葉工業大学, 情報科学部, 准教授 (80732239)
|
|---|
| Project Period (FY) |
2021-04-01 – 2025-03-31
|
| Keywords | ナビエ・ストークス方程式の定常解 / 計算機援用証明法 / 非自己共役作用素 / 鞍点型の固有値問題 / 並列計算 |
|---|
| 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 |
次の段階では、ストークス微分作用素の自己共役化を検討する予定です。高性能計算機をすでに用意できましたので、次の年度では並列計算のコードの開発と実装を進行する予定です。
|
