[論文レビュー] On the zero-viscosity limit of the Navier-Stokes equations in the half-space

Mingwen Fei, Tao Tao+1 more|arXiv (Cornell University)|Sep 13, 2016

Navier-Stokes equation solutions参考文献 19被引用数 8

ひとこと要約

本稿は、境界から初期渦度が離れていると仮定した3次元半空間における非圧縮性ナビエ＝ストークス方程式の零粘性極限を確立する。直接エネルギー法を発展させ、境界付近における初期データの接線方向解析性を活用することで、境界層外ではオイラー方程式への局所的時間内収束、境界層内ではプランドト方程式への収束を証明した。これは、前記のマエカワの2次元半平面における結果を3次元空間へ一般化したものである。

ABSTRACT

We consider the zero viscosity limit of the incompressible Navier-Stokes equations with non-slip boundary condition in the half-space for the initial vorticity located away from the boundary. By using the vorticity formulation and Cauchy-Kowaleskaya theorem, Maekawa proved the local in time convergence of the Navier-Stokes equations in the half- plane to the Euler equations outside a boundary layer and to the Prandtl equations in the boundary layer. In this paper, we develop the direct energy method to generalize Maekawa's result to the half-space.

研究の動機と目的

• マエカワの2次元零粘性極限結果を非スリップ境界条件を伴う3次元半空間へ一般化すること。
• 初期渦度が境界から分離されている場合の3次元におけるプランドト境界層のアンザッツの妥当性を確立すること。
• 先行研究で用いられたコーシー＝コワレフスカヤの定理に依存しない代替手段として、直接エネルギー法を構築することにより、一般領域への拡張を可能にすること。
• 境界付近における初期データの接線方向解析性が、プランドト方程式の適切な定式化およびナビエ＝ストークス解の収束を保証する十分条件であることを示すこと。

提案手法

• コーシー＝コワレフスカヤの定理に依存しない、零粘性極限を解析するための直接エネルギー法を構築した。
• 指数関数的重み関数を用いた重み付きソボレフノルムを用いて、境界付近における解の成長を制御した。
• プランドト系を線形化し、ナビエ＝ストークス解とオイラー／プランドト解との差に対するエネルギー推定を導出した。
• 速度場を外側（オイラー）と内側（プランドト）の成分に分解することで、体積内と境界層内の力学的挙動を分離した。
• 本手法は、境界付近における初期データの接線方向解析性に依存しており、これによりプランドト方程式の適切な定式化が保証される。
• 連続的議論を適用してエネルギー推定を閉じ、重み付きソボレフ空間内での局所的時間内一様バインディングを確立した。

実験結果

リサーチクエスチョン

• RQ1 初期渦度が境界から離れている場合に、非スリップ境界条件を伴う3次元半空間におけるナビエ＝ストークス方程式の零粘性極限が正当化可能か？
• RQ2 コーシー＝コワレフスカヤに基づく手法に代わって、直接エネルギー法が一般領域における零粘性極限の証明に有効であるか？
• RQ3 境界付近における初期データの接線方向解析性が、3次元におけるプランドト方程式の適切な定式化を保証する十分条件か？
• RQ4 エネルギー法を用いて、3次元における形式的プランドト境界層アンザッツを厳密に検証可能か？
• RQ5 零粘性極限において、ナビエ＝ストークス解のオイラー方程式およびプランドト方程式への収束速度はいかほどか？

主な発見

• 本稿では、境界から離れた領域（バルク領域）におけるナビエ＝ストークス解が、局所的時間内にオイラー方程式に収束することを証明した。
• 初期渦度が境界から分離されていると仮定した下で、境界層内におけるプランドト方程式への収束が確立された。
• 直接エネルギー法がコーシー＝コワレフスカヤの定理の代替として成功裏に機能し、一般領域への応用が可能となった。
• 初期データの接線方向解析性に依存する重み付きソボレフノルムにおける一様バインディングが、プランドト層に対して確立された。
• 解は正の時間区間 $ T_p > 0 $ において、$ \overline{H}^{27}_{p} $-型ノルムで一様に有界であり、局所的適切定式化が保証された。
• 本手法により、境界付近における接線方向解析性が、プランドト方程式の適切定式化および境界層アンザッツの有効性を保証する十分条件であることが確認された。