[論文レビュー] Self-similar asymptotics of solutions to the Navier-Stokes system in two dimensional exterior domain

Dragoş Iftimie, Grzegorz Karch+1 more|arXiv (Cornell University)|Jul 11, 2011

Navier-Stokes equation solutions参考文献 18被引用数 9

ひとこと要約

本稿では、無限遠における循環が小さい場合、外部領域における2次元非圧縮性ナビエ＝ストークス方程式の解が、平面全体における自己相似解であるラム＝ウーセン・ヴォルテックスに漸近的に収束することを確立している。この結果はエネルギー推定と半群解析を用いて証明され、初期速度が循環αを持つ調和場の小さな摂動である場合、長時間における挙動がラム＝ウーセン・ヴォルテックスの自己相似構造によって支配されることを示している。

ABSTRACT

We consider the 2D incompressible Navier-Stokes equations with Dirichlet boundary condition in the exterior of one obstacle. Assuming that the circulation at infinity of the velocity is sufficiently small, we prove that the large time behavior of the corresponding solution to the initial-boundary value problem is described by the Lamb-Oseen vortex. The later is the well-known explicit self-similar solution to the Navier-Stokes system in the whole space $\R^2$.

研究の動機と目的

• 外部領域における2次元ナビエ＝ストークス方程式の解の長時間挙動を理解すること。
• ℝ²全体空間における自己相似的漸近挙動の既知の結果を外部領域へ拡張すること。
• 初期速度がL²に属さないが、無限遠でx⊥/|x|²と同様に振る舞う場合の解の漸近的プロファイルを特定すること。
• 初期速度が小さい循環を有する場合、ラム＝ウーセン・ヴォルテックスがこのような解の普遍的アトラクターであることを確立すること。
• 境界上での渦度条件が不足しているのを補うために、仮定と結果を直接的に速度場の言語で定式化すること。

提案手法

• 初期速度をL²可積分部と循環1の調和場HΩに分解する分析に基づく。
• 解がαΘ(t)に収束することを示し、ここでΘはラム＝ウーセン・ヴォルテックス、αは無限遠における循環である。
• ストークス半群と非線形積分推定を用いて、p ∈ (2, ∞)におけるLp空間における事前推定を導出する。
• 非線形項を制御するために時刻重み付きノルムを用いた重み付きL⁴ノルムにおける固定点法を用いる。
• ブートストラップ法により収束を確立する：まずp = 4で、次に補間と減衰推定を用いてすべてのp ∈ (2, ∞)に拡張する。
• 解を自己相似プロファイルと比較し、スケーリングされたプロファイル上でドミネーティブ収束定理を適用することで漸近的挙動を示す。

実験結果

リサーチクエスチョン

• RQ1 ラム＝ウーセン・ヴォルテックスは、ディリクレ境界条件を満たす外部領域における2次元ナビエ＝ストークス解の長時間挙動を記述するか？
• RQ2 初期速度にどのような条件を課すと、自己相似的ラム＝ウーセン・ヴォルテックスへの収束が保証されるか？
• RQ3 境界の存在が、全空間の場合と比較して漸近的プロファイルにどのように影響するか？
• RQ4 渦度が自然な境界条件を満たさない外部領域において、渦度に基づく手法を速度に基づく定式化に置き換えることは可能か？
• RQ5 無限エネルギー解の長期的ダイナミクスを決定づける無限遠における循環の役割は何か？

主な発見

• 任意の初期速度u₀ ∈ L²σ(Ω)に対して、ある閾値α₀ > 0が存在し、|α| ≤ α₀である限り、すべてのp ∈ (2, ∞)に対してLp(Ω)で解がαΘ(t)に収束する。
• 収束速度はt^(1/2 - 1/p)‖u(t) - αΘ(t)‖_{L^p(Ω)} → 0 (t → ∞)として与えられ、これは漸近的自己相似性を定量的に示している。
• 初期速度がL²に属さない場合でも、HΩの小さな倍数にL²部を加えた形であれば、この結果は成り立つ。
• ラム＝ウーセン・ヴォルテックスΘ(t,x) = (x⊥/(2π|x|²))(1 - exp(-|x|²/(4t)))は、このような解の普遍的漸近的プロファイルである。
• 証明はブートストラップ法に依拠している：L⁴での収束が示されれば、補間と時刻重み付き推定を用いてすべてのp > 2における収束に拡張可能である。
• 初期循環の小さな摂動に対しても漸近的挙動は安定であり、外部領域における自己相似構造の安定性が確認された。