[論文レビュー] Approximation of the Long-term Dynamics of the Dynamical System Generated by the Two-dimensional Thermohydraulics Equations

Florentina Tone|arXiv (Cornell University)|Nov 18, 2011

Stability and Controllability of Differential Equations参考文献 14被引用数 13

ひとこと要約

本稿は、2次元熱流体力学方程式の連続系のグローバルアトラクターに、半離散的 implicit Eulerスキームから得られるグローバルアトラクターが収束することを確立する。離散グローバルlemmasと多値アトラクター理論を用いて、H¹-一様安定性を証明し、時間刻みが0に近づくにつれて離散的アトラクターが連続的アトラクターに収束することを示している。

ABSTRACT

Pursuing our work in [18], [17], [20], [5], we consider in this article the two-dimensional thermohydraulics equations. We discretize these equations in time using the implicit Euler scheme and we prove that the global attractors generated by the numerical scheme converge to the global attractor of the continuous system as the time-step approaches zero.

研究の動機と目的

• ナヴィエ＝ストークス方程式から得られるH¹-一様安定性の結果を2次元熱流体力学方程式へ拡張すること。
• 離散的設定における最大原理を用いた温度の取り扱いの挑戦に応えること。
• implicit Eulerスキームによって生成されるグローバルアトラクターが連続系のアトラクターに収束することを確立すること。
• 時間刻みの制約に起因する解の非一意性に対処するため、多値アトラクター理論を用いること。
• ナヴィエ＝ストークス方程式に関する先行研究と比較して、証明手法を簡素化すること。

提案手法

• 2次元熱流体力学方程式を時間方向にimplicit Eulerスキームで離散化する。
• 古典的および一様な離散グローバルlemmasを適用し、速度場および温度場のH¹-一様安定性を証明する。
• 最大原理を用いて、離散系における温度成分を制御する。
• すべての時間刻みにおいて、離散解のL²およびH¹-一様有界性を確立する。
• 時間刻みの制約に起因する解の非一意性に対処するため、多値アトラクター理論を適用する。
• Hausdorff半距離を用いて、離散的アトラクターが連続的アトラクターに収束する度合いを定量化する。

実験結果

リサーチクエスチョン

• RQ1 2次元熱流体力学方程式に対する完全implicit Eulerスキームのグローバルアトラクターが、時間刻みkが0に近づくにつれて連続系のアトラクターに収束するか？
• RQ2 熱流体力学系における離散的速度場および温度場に対してH¹-一様安定性を確立できるか？
• RQ3 離散スキームにおける解の非一意性は、意味のあるアトラクターを定義するためにどのように扱えるか？
• RQ4 最大原理は、温度成分の安定性および収束解析においてどのような役割を果たすか？
• RQ5 ナヴィエ＝ストークス方程式に関する証明手法は、熱流体力学系へどの程度適応可能か？

主な発見

• すべての時間刻みにおいて、離散的速度場および温度場がH¹ノルムで一様有界であることが示された。
• implicit Eulerスキームによって生成されるグローバルアトラクターは、時間刻みkが0に近づくにつれて連続系のグローバルアトラクターに収束する。
• 収束はHausdorff半距離の観点で定量化され、lim_{k→0} dist(𝒜_k, 𝒜) = 0 が成り立つ。
• 離散グローバルlemmasおよび最大原理の技法を用いて、離散系のH¹-一様安定性が証明された。
• 解析により、連続系の長期的ダイナミクスが離散スキームによって適切に近似されることを確認した。
• ナヴィエ＝ストークス方程式に関する先行研究の証明手法を簡素化し、追加の温度処理の課題を伴う熱流体力学設定へ拡張した。