[論文レビュー] Incompressible limit of strong solutions to 3-D Navier-Stokes equations with Navier's slip boundary condition for all time

Yaobin Ou, Dandan Ren|arXiv (Cornell University)|Aug 20, 2013

Navier-Stokes equation solutions参考文献 28被引用数 3

ひとこと要約

本稿は、3次元圧縮性ナビエ＝ストークス方程式にナビエのスリップ境界条件を課した場合、すべての時間にわたるグローバルな強い解の非圧縮極限を、減衰を伴う微分不等式を用いてマッハ数 $\epsilon \in (0, \epsilon_0] $ および時間 $ t \in [0, \infty) $ において一様な推定を得ることで確立する。主な結果は、初期時間微分の有界性のもとでエネルギー推定の一様有界性および非圧縮ナビエ＝ストークス解への収束が得られることである。

ABSTRACT

This paper studies the incompressible limit of global strong solutions to the three-dimensional compressible Navier-Stokes equations associated with Navier's slip boundary condition, provided that the time derivatives, up to first order, of solutions are bounded initially. The main idea is to derive a differential inequality with decay, so that the estimates are bounded uniformly both in the Mach number 00 and the time t>=0.

研究の動機と目的

• 3次元圧縮性ナビエ＝ストークス方程式にナビエのスリップ境界条件を課したグローバルな強い解の非圧縮極限を、無限時間にわたって正当化すること。
• グローバル解に対してマッハ数 $\epsilon$ および時間 $t$ の両方における一様推定を達成するという課題を克服すること。
• 同じ境界条件および初期データ条件のもとで、従来の2次元結果を3次元空間に拡張すること。
• 減衰を伴う微分不等式を用いて、マッハ数 $\epsilon$ および時間 $t$ における一様制御のもとで、非圧縮ナビエ＝ストークス方程式への収束を確立すること。

提案手法

• 高次エネルギー関数 $\Phi(t)$ 及びその散逸 $\Psi(t)$ の時間発展を制御するため、減衰構造を有する微分不等式を導出する。
• 非線形項および特異項を吸収できるように、修正されたエネルギー関数 $\Phi(t) = C_{23}\Phi_0(t) + C_{24}\Phi_1(t) + \Phi_2(t)$ 及び散逸 $\Psi(t) = C_{23}\Psi_0(t) + C_{24}\Psi_1(t) + \Psi_2(t)$ を構築する。
• 圧縮性効果を制御するため、$\|\nabla \text{div} u\|_{L^2}$、$\|\text{curl} u_t\|_{L^2}$、および $\|\epsilon \sigma_{tt}\|_{L^2}$ を含む重み付きエネルギー推定を用いる。
• 補題2.1および2.4を用いてソボレフ埋没および補間不等式を適用し、高次導関数を評価する。
• 定数 $C_{23}, C_{24}, K, \epsilon$ を十分に小さく選び、エネルギー推定を閉じるとともに、減衰を保証する。
• 初期小規模条件 $\Phi(0) \leq \beta / \Theta$ のもとで、グローバル型の議論を用いて $\Phi(t)$ の一様有界性を確立する。

実験結果

リサーチクエスチョン

• RQ1 3次元圧縮性ナビエ＝ストークス方程式にナビエのスリップ境界条件を課したグローバルな強い解について、無限時間にわたる非圧縮極限を厳密に正当化できるか。
• RQ2 このような解について、マッハ数 $\epsilon$ および時間 $t$ の両方における一様推定を導出することは可能か。
• RQ3 エネルギー推定において $\epsilon^{-2}$ の圧力勾配項に起因する特異摂動をどのように制御できるか。
• RQ4 どのような初期条件が、すべての時間にわたるエネルギー関数の一致有界性を保証するか。
• RQ5 初期時間微分が有界であるという条件下でのみ、非圧縮ナビエ＝ストークス解への収束を一様に確立できるか。

主な発見

• マッハ数 $\epsilon \in (0, \epsilon_3]$ およびすべての時間 $t \in [0, \infty)$ に対して、ナビエのスリップ境界条件を課した3次元圧縮性ナビエ＝ストークス方程式のグローバルな強い解について、一様エネルギー推定が確立された。
• 初期条件 $\Phi(0) \leq \beta / \Theta$（$\beta \in (0, 1/2]$）のもとで、エネルギー関数 $\Phi(t)$ は $\epsilon$ および $t$ に関して一様に有界である。
• 微分不等式 $\frac{d}{dt}\Phi(t) \leq -\frac{1}{2}\Psi(t)(1 - C\Psi(t)(\Phi(t) + \Phi(t)^2))$ が減衰および一様制御を保証する。
• 解は $\epsilon \to 0^+$ のとき、時間に一様に非圧縮ナビエ＝ストークス解に収束する。
• スリップ境界条件の完全な構造および圧縮性効果を捉える高次エネルギー関数を構築することで、従来の2次元結果を3次元に拡張した。
• 時間微分の初期データが有界であるという仮定のもとで、グローバル存在および一様推定が成立する。