Computer-assisted solution verification for 3D flows with large Reynolds numbers

大雷诺数 3D 流动的计算机辅助解决方案验证

• 批准号: 21H00998
• 负责人: 劉 雪峰
• 金额: $ 10.98万
• 依托单位: Niigata University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21H00998/
• 关键词: ナビエ・ストークス方程式; 計算機援用証明; 厳密計算ライブラリ; 固有値問題の厳密評価; 精度保証付き数値計算; Divergence-free条件; Hypercircle法; ナビエ・ストークス方程式の定常解; 計算機援用証明法; 非自己共役作用素; 鞍点型の固有値問題; 並列計算; 有限要素法

ナビエ・ストークス方程式は流体の運動を記述する非線形偏微分方程式であり、その非線形性により解析が高度に複雑となる性質を有しています。本研究では、この方程式の滑らかな解の存在を検討し、計算機援用証明の手法を用いてその存在を証明する方法を開発しています。2022年1月には、三次元領域でのナビエ・ストークス方程式の定常解の計算機援用証明法を、非線形分野のトップランク学術誌CNSNSに掲載しました（DOI: 10.1016/j.cnsns.2021.106223）。該当年度には以下の具体的な研究が進行しました：1) 解の存在証明に用いられた偏微分作用素の固有値評価について、非自己共役作用素の自己共役化手法を検討しました。非自己共役作用素とその共役作用素を結合し、自己共役となる鞍点型の固有値問題の形式を提案しました。現時点では、ラプラス作用素については、Y型のレイリー商を定義し、自己共役化された固有値問題の理論的な妥当性を検証し、数値計算でもその有効性を確認しました。次の段階では、Divergence-free条件が課されたストークス微分作用素の自己共役化を検討する予定です。2) 大規模な行列計算を実行するために、スーパーコンピュータ「富岳」を用いるための準備を進めました。「富岳」の一般試行課題（ファーストタッチオプション）を活用し、富岳計算機における並列計算の実装方法を確認しました。3) MATLABで開発されたナビエ・ストークス方程式の解の検証計算コードをC++ライブラリに変換し、その計算を並列化する開発を継続しています。

ナ ビ エ · ス ト ー ク ス equation is の は fluid movement を account す る nonlinear partial differential equations で あ り, そ の nonlinear sex に よ り parsing が highly に complex 雑 と な る nature を have し て い ま す. This study で は, こ の equation is の slide ら か な existence を の beg し 検, computer avail himself of the の gimmick を using い て そ の を exists to prove that す る method を open 発 し て い ま す. In January 2022 に は, three dimensional field で の ナ ビ エ · ス ト ー ク ス equation is の を の computer avail himself of the stationary solution method, the nonlinear eset の ト ッ プ ラ ン ク academic ambition CNSNS に first white jasmines load し ま し た (DOI: 10.1016 / j.carol carroll NSNS. 2021.106223). Should annual に は の under specific research が な し ま し た : 1) the existence proof の に with い ら れ た partial differential effect element の inherent numerical evaluation 価 に つ い て, not their servants element の himself were servants change gimmick を beg し 検 ま し た. Non-self-co-active action factor とそ <s:1> co-active action factor を combined with <s:1>, self-co-active となる saddle point type <s:1> intrinsic value problem <e:1> form を proposal <e:1> ま た た. Now point で は, ラ プ ラ ス role element に つ い て は, Y type の レ イ リ ー quotient を definition し, their total service さ れ numerical problems inherent た の theory な justice を 検 し, the numerical calculation で も そ の have sharper sex を confirm し ま し た. Time の Duan Jie で は lesson, Divergence - free condition が さ れ た ス ト ー ク ス differential element の himself the total service を beg す 検 る designated で す. Line 2) large-scale な ranks computing を be す る た め に, ス ー パ ー コ ン ピ ュ ー タ "fu yue" を い る た め の prepare を into め ま し た. "Fu yue" の general pilot project (フ ァ ー ス ト タ ッ チ オ プ シ ョ ン) を use し, fu yue computer に お け る parallel computing の loading method be を confirm し ま し た. 3) MATLAB で open 発 さ れ た ナ ビ エ · ス ト ー ク ス equation is の solution の 検 card calculate コ ー ド を c + + ラ イ ブ ラ リ に variations in し, そ の calculation を tied for the す る open 発 を 継 続 し て い ま す.

项目成果

固有関数の厳密評価の計算コードの公開

发布用于精确评估特征函数的计算代码

多角形領域におけるDirichlet固有値問題の形状最適化問題

多边形域狄利克雷特征值问题的形状优化问题

• 发表时间: 2022
• 作者: Gen Terasaka;Masao Nakamura;Koki Nitta;Nobito Yamamoto;遠藤 凌輝,劉 雪峰
• 通讯作者: 遠藤 凌輝,劉 雪峰

Poisson方程式の有限要素解に対する非一様メッシュによる局所誤差の収束挙動について

泊松方程有限元解非均匀网格局部误差的收敛行为

• 发表时间: 2022
• 作者: Koki Nitta;Nobito Yamamoto;Kaname Matsue;中野 泰河,劉 雪峰
• 通讯作者: 中野 泰河,劉 雪峰

板の振動に関わる重調和作用素の厳密な固有値評価

与板振动相关的双调和算子的严格特征值评估

• 发表时间: 2021
• 作者: 劉 雪峰,和田 薫

Verified computation for optimization problems with maximum norm constraint condition

具有最大范数约束条件的优化问题的验证计算

• 发表时间: 2021
• 作者: ガリンド シェリーメイ,劉 雪峰