[論文レビュー] A Time-Periodic Bifurcation Theorem and its Application to Navier-Stokes Flow Past an Obstacle

Giovanni P. Galdi|arXiv (Cornell University)|Jul 28, 2015

Advanced Mathematical Modeling in Engineering参考文献 14被引用数 3

ひとこと要約

本稿は、解を時間平均成分と純粋周期的成分に分解することにより、バナッハ空間における抽象的時間周期的分岐定理を確立した。これにより、非有界領域における非定常流れの解析が可能になった。この手法により、スペクトル条件を満たす限り、3次元の障害物の周囲を流れる定常状態のナビエ＝ストークス流れから時間周期的解が分岐することを明示的に証明できた。これは、従来のヒルバート空間およびフレドホルムに基づくアプローチに見られる制限を解消した。

ABSTRACT

We show an abstract time-periodic bifurcation theorem in Banach spaces. The key point as well as the novelty of the method is to split the original evolution equation into two different coupled equations, one for the time-average of the sought solution and the other for the "purely periodic" component. This approach may be particularly useful in studying physical phenomena occurring in unbounded spatial regions. Actually, we furnish a significant application of the theorem, by providing sufficient conditions for time-periodic bifurcation from a steady-state flow of a Navier-Stokes liquid past a three-dimensional obstacle.

研究の動機と目的

• 線形化作用素の本質的スペクトルに0が含まれる非有界領域において、古典的分岐法が失敗する問題を克服すること。
• 解を時間平均と純粋周期的成分に分割することにより、非有界空間領域に適用可能な新しい抽象的分岐枠組みを構築すること。
• 3次元の障害物の周囲を流れるナビエ＝ストークス流れにおける時間周期的解の存在と一意性を確立すること。これは、ヒルバート空間の枠組みでは以前に未解決であった問題である。
• 特に標準的手法が失敗する外部領域における粘性流れにおける時間周期的分岐の厳密な数学的基盤を提供すること。

提案手法

• 元の時間依存の移動方程式を、解の時間平均に対する楕円型方程式と、純粋周期的成分に対する放物型方程式に分解する。
• 時間平均成分はバナッハ空間Bで解析され、周期的成分はヒルバート空間Hで解析され、より好都合な関数空間設定でスペクトル理論を適用可能になる。
• 周期的成分の線形化作用素が標準的分岐技法（中心多様体還元を含む）に適応可能になるように問題を再定式化する。
• 外部3次元領域におけるナビエ＝ストークス方程式に抽象的分岐定理を適用する際、すべての技術的仮定（特に線形化作用素のスペクトル条件）が満たされることを確認する。
• 非線形項の解析的性質と固有ベクトルの正規化を用いて、臨界パrameter近傍での分岐挙動を記述する正規形を導出する。
• 有界逆作用素の必要性を回避するため、解の分解を活用することで、本質的スペクトルの障害を回避する。

実験結果

リサーチクエスチョン

• RQ1 線形化作用素がヒルバート空間で可逆でない非有界領域において、時間周期的分岐定理を定式化できるか？
• RQ2 解を時間平均成分と周期的成分に分解することで、ヒルバート空間手法を用いて外部領域における分岐解析が可能になるか？
• RQ3 線形化作用素に課されるどのようなスペクトル条件が、3次元ナビエ＝ストークス流れの障害物周囲における一意な時間周期的分岐分岐枝の存在を保証するか？
• RQ4 存在性に加えて、この設定において分岐解の分岐枝の一意性を厳密に確立できるか？
• RQ5 フレドホルム理論や有限次元還元に基づく従来の手法に比べ、提案手法はどのように制限を克服するか？

主な発見

• 線形化作用素が単純な純虚数固有値の対を持ち、虚軸を非ゼロ速度で交差する限り、3次元の障害物の周囲を流れる定常状態ナビエ＝ストークス流れから1パラメータ族の時間周期的解が分岐する。
• 臨界パrameterの近傍では、位相シフトを除き分岐解は一意である。これは、Sazonov (1977) よりも以前の研究では達成されていなかった結果である。
• 分岐は上行的または下行的であり、関数 ω(ε) と μ(ε) が偶関数であることが示され、両側分岐は排除される。
• 系の非線形項は原点近傍で解析的であることが示され、抽象的分岐定理に必要な正則性条件を満たしている。
• ナビエ＝ストークス系の外部3次元領域におけるスペクトル仮定 (H1)–(H5) が確認され、抽象的結果の適用可能性が裏付けられた。
• 解の分解により、異なる関数空間に属する成分に分離することで、非有界領域に対してもヒルバート空間技法を効果的に適用でき、本質的スペクトルの障害を克服した。