Computer-assisted solution verification for the Navier-Stokes equation with large Reynolds numbers

点击翻译按钮获取中文摘要

本研究では、流体の運動方程式を表すナビエ・ストークス方程式に対し、非自己共役微分作用素のノルム評価法を中心に解の解析を行い、解の存在証明に使用される作用素のノルム評価方法を開発することを目指しています。2022年5月から12月にかけて、研究代表者はドイツのカールスルーエ工科大学のPlum教授を訪問し、以下の課題に関する研究を進めました。（１）ストークス作用素の固有値問題は重調和作用素の固有値問題に密接しています。重調和作用素の固有値問題に使われる鞍点式化の手法を応用し、非自己共役のストークス作用素の固有値問題を自己共役性のある鞍点型固有値問題に帰着する方法を考察しました。現在、ラプラス作用素の場合について、自己共役化された鞍点型固有値問題の理論的な妥当性を検証し、数値計算でその有効性も確認しました。この手法を使用することにより、従来の重調和作用に対して使用されていた高次有限要素法が不要となり、線形有限要素法でも元来の４階微分作用素の厳密な固有値評価が可能となります。（２）Homotopy法を応用し、ストークス作用素の固有値評価方法も検討しました。固有値の逐次変化が必要となるHomotopy法において、局部領域のみでdivergence-free条件を満たす中間固有値問題を使用し、安定かつ効率的なHomotopy法を新たに提案しました。この新しい手法により、ストークス作用素の厳密な固有値評価時に、目標とする固有値問題を100以下の次元数の行列の固有値問題に帰着させることが可能となり、計算効率が大きく向上しました。