2023 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 | Tokyo Woman's Christian University |
|---|
Principal Investigator |
劉 雪峰 東京女子大学, 現代教養学部, 教授 (50571220)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
荻田 武史 早稲田大学, 理工学術院, 教授 (00339615)
中尾 充宏 早稲田大学, 理工学術院, その他(招聘研究員) (10136418)
小林 健太 一橋大学, 大学院経営管理研究科, 教授 (60432902)
関根 晃太 千葉工業大学, 情報科学部, 准教授 (80732239)
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
|---|
| Project Period (FY) |
2021-04-01 – 2025-03-31
|
| Keywords | ナビエ・ストークス方程式の定常解 / 計算機援用証明法 / 非自己共役作用素 / 鞍点型の固有値問題 / 並列計算 |
|---|
| Outline of Annual Research Achievements |
本研究では、複雑な構造を持つ流体の動きの解析にチャレンジして、レイノルズ数の大きい流れの効率的な検証方法を確立することを目指しています。2023年度の研究実績は以下の通りです。
(1)非自己共役微分作用素の固有値評価の問題に取り組みました。非自己共役微分作用素 T の固有値問題に対して、共役作用素T*を用いた「T*u = t v, Tv = t u 」という形式の固有値問題に変形し、さらに当該問題の弱形式で線形型有限要素法を用いて固有値を厳密に評価できるアルゴリズムを提案しました。また、楕円型線形作用素に対する近似逆作用素ノルムの収束性について考察して、その収束オーダー評価を与えました。(劉・中尾)
(2)三次元領域の四面体分割の各要素に対してdivergence-free条件を満たすCrouzeix-Raviart有限要素法を利用して、Stokes微分作用素の固有値の厳密評価法を検討しました。（劉・小林）
(3)流れの大規模並列計算の開発を推進しました。本研究で開発した「富岳」の計算環境に適用するライブラリを利用して、30万次元の行列に対して行列の厳密固有値評価を行いました。通常の計算サーバーにおける行列の固有値評価法と比較した結果、計算時間を1/10に短縮できることを確認しました。いくつかの計算例の実施によって、行列の厳密計算の並列計算化の有効性を検証しました。（劉・関根・荻田）
（４）流れ問題を記述する基礎方程式であるNavier-Stokes方程式から導かれるProudman--Johnson方程式の解の存在と解の単峰性の検証に成功しました。今後、導出に用いた検証手順を層流問題に拡張・適用する予定です。また、発展方程式の基本形である熱方程式を対象として、空間・時間の同時離散化（全離散近似）スキームに対し計算機援用証明によらない構成的誤差評価法を導出しました。（渡部・中尾）
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
これまでの計画通りの準備を進めた結果、最終年度には目標である「レイノルズ数100以上の流れを検証する」ことができる見込みです。
|
| Strategy for Future Research Activity |
これまでの誤差解析の理論と計算ライブラリ開発の準備を踏まえ、2024年度は目標である『レイノルズ数100以上の流れの検証』を実施する予定です。
|
