| 研究概要 |
2次元の流体問題の一種であるDriven Cavity Problemに対して精度保証付き数値計算法を適用し,定常解の検証を行った.2次元キャビティ流れの計算については工学分野においても数値シミュレーションの例が多くあるが,数学的な厳密性から言えば滑らかな境界条件を持つ場合を考えることが重要である.滑らかな境界条件を課した場合の定常解の検証については,ドイツのWienersがレイノルズ数20までの場合について定常解の検証に成功しているが,その他にはまだ世界的にも例が少なく,特にレイノルズ数が大きい場合の解の検証に成功した例はまだなかった.
本研究では大きなレイノルズ数の場合にも適用可能な方法として,無限次元空間におけるニュートン法(無限次元ニュートン法)による定常解の検証法を提案した.扱う問題を不動点定式化し,その不動点の検証に関して無限次元ニュートン法を適用する場合,扱う問題の線形化作用素が可逆であることの保証や,その逆作用素の定量的な評価が必要になる.本手法では,線形化作用素Lの可逆性の検証については,フレドホルムの択一定理を利用することによりLの核の一意性を示せばよいことに着目し,線形方程式Lu=0の解uの大域的一意性を精度保証付きで示すことにより行った.またその検証過程で得られる評価を用いることにより,線形化作用素の逆作用素の評価も行うことができた.これらの評価を用いて無限次元ニュートン法を適用し,レイノルズ数がある程度大きい場合でも定常解の検証が行えることを検証数値例により確認した.現在のところ,レイノルズ数が100程度までの場合について定常解の検証が行えることを確認しており,検証方式の更なる効率化により,もっと大きなレイノルズ数についても適用できるように改良を試みているところである.
|
