[論文レビュー] Blow-up of critical norms for the 3-D Navier-Stokes equations

Wendong Wang, Zhifei Zhang|arXiv (Cornell University)|Oct 9, 2015

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

ひとこと要約

本稿は、3次元ナビエ＝ストークス方程式の新しい内部正則性基準を、1つの速度成分の挙動に基づいて確立する。具体的には、垂直成分 $ u_3 $ が臨界的Besov空間で有界であり、水平成分 $ u_h $ が $ BMO^{-1} $ で有界で $ u_h(T) \to VMO^{-1} $ を満たすならば、滑らかな解は時刻 $ T $ を超えて延長可能であることを証明する。この結果は、吹き上がり解析と後向き一意性の手法を用いて、スケーリング不変ノルムで大きな1つの成分を許容しても依然として大域的正則性が保証されることを示し、従来の基準を改善する。

ABSTRACT

Let $u=(u_h,u_3)$ be a smooth solution of the 3-D Navier-Stokes equations in $\R^3 imes [0,T)$. It was proved that if $u_3\in L^{\infty}(0,T;\dot{B}^{-1+3/p}_{p,q}(\R^3))$ for $3

研究の動機と目的

• 3次元ナビエ＝ストークス方程式の滑らかな解が、有限時刻 $ T $ を超えて延長可能かどうかという未解決問題に取り組むこと。ただし、解がスケーリング不変空間で有界のまま保たれる場合を想定する。
• ガリャール、コック、プラナンの最近の結果を一般化すること。彼らの結果では、速度場 $ u $ 全体が $ \dot{B}^{-1+3/p}_{p,q} $ で有界である必要があったが、本稿ではその条件を1成分に緩和する。
• 垂直速度成分 $ u_3 $ に基づく新しい内部正則性基準を確立し、水平成分 $ u_h $ が $ BMO^{-1} $ で大きくてもよいものとするが、$ u_h(T) \in VMO^{-1} $ であることを前提とする。
• 垂直成分 $ u_3 $ が局所的スケーリング不変ノルムで小さければ、$ u_h $ が大きくても解の吹き上がりは発生しないことを証明する。
• $ u_3 $ が吹き上がり極限で消える場合の極限プロファイルの構造を活用した、洗練された吹き上がり解析と後向き一意性の議論を構築する。

提案手法

• 速度成分の局所的可積分性を測るため、スケーリング不変量 $ G(f,p,q;r) = r^{1-3/p-2/q}\|f\|_{L^q_t L^p_x(Q_r)} $ を導入する。
• 潜在的特異点付近での解の挙動を解析するため、吹き上がり解析を適用し、$ v_3 = 0 $ を満たす制限プロファイル $ v $ を構成する。
• エスカウリアーサ、セレジン、シュヴェラクの後向き一意性法を用いて、新しい基準下で非自明な特異性が排除されることを示す。
• 吹き上がり極限における水平速度 $ v_h $ に対して、$ \partial_t v_h - \Delta v_h + v_h \cdot \nabla_h v_h + \nabla_h \pi = 0 $、$ \partial_{x_3}\pi = 0 $ という系を導出する。この系は2次元ナビエ＝ストークス系と構造的に類似している。
• 渦度 $ w_h = \partial_1 v_2 - \partial_2 v_1 $ および垂直微分 $ d = \partial_3 v_h $ に対して、楕円型推移とエネルギー型不等式を適用し、$ \|\nabla v_h\|_{L^\infty_t L^2_x} $ を制御する。
• 切り上げ関数とSobolev埋め込みを用いて、エネルギー推定における非線形項を制御し、より小さな放物型球内での一様な有界性を導く。

実験結果

リサーチクエスチョン

• RQ1 垂直成分 $ u_3 $ が臨界的Besov空間に、水平成分 $ u_h $ が $ BMO^{-1} $ に属する場合、3次元ナビエ＝ストークス解の大域的正則性は保証されるか？
• RQ2 $ u_h(T) \in VMO^{-1} $ かつ $ u_3 \in L^\infty(0,T;\dot{B}^{-1+3/p}_{p,q}) $ である場合、滑らかな解は時刻 $ T $ を超えて延長可能か？
• RQ3 1つの成分がスケーリング不変ノルムで大きくても正則性が保証されるような、新しい内部正則性基準を確立できるか？
• RQ4 $ u_3 $ が消える吹き上がり極限において、どのような構造的性質が現れ、それらを用いて特異性を排除できるか？
• RQ5 $ u_h \in BMO^{-1} $ かつ $ u_3 \in \dot{B}^{-1+3/p}_{p,q} $ を許容することで、古典的基準 $ L^\infty(0,T;L^3) $ を改善できるか？

主な発見

• もし $ u_3 \in L^\infty(0,T;\dot{B}^{-1+3/p}_{p,q}) $ かつ $ u_h \in L^\infty(0,T;BMO^{-1}) $ で $ u_h(T) \in VMO^{-1} $ ならば、解 $ u $ は $ T $ を超えて延長可能であり、ガリャール、コック、プラナンの結果を改善する。
• 潜在的特異解の吹き上がり極限 $ v $ は $ v_3 = 0 $ を満たし、$ \partial_t v_h - \Delta v_h + v_h \cdot \nabla_h v_h + \nabla_h \pi = 0 $、$ \partial_{x_3}\pi = 0 $ という簡略化された系を満たす。この系は2次元ナビエ＝ストークス系と構造的に類似している。
• 水平成分の渦度 $ w_h $ は $ \partial_t w_h - \Delta w_h + v_h \cdot \nabla_h w_h = 0 $ を満たし、$ L^2 $-ベースのエネルギー推定が可能となり、より小さな放物型球内での $ \|w_h\|_{L^\infty_t L^2_x} $ の制御が可能になる。
• 垂直微分 $ d = \partial_3 v_h $ は輸送拡散方程式に従い、エネルギー推定により $ \|d\|_{L^\infty_t L^2_x} $ を制御でき、結果として $ Q_{1/4} $ 内で $ \|\nabla v_h\|_{L^\infty_t L^2_x} \leq C(M) $ が得られる。
• この結果は $ u \in C_w([0,T]; BMO^{-1}) $ を意味し、$ u(T) $ が $ VMO^{-1} $ で正しく定義可能であることを示し、局所的スケーリング不変ノルムで $ u_3 $ が小さいため、解は正則のままである。
• 新しい基準では、$ u_3 $ が $ L^1(Q_1) $ で小さい限り、2つの成分がそれぞれのスケーリング不変ノルムで大きくてもよい。これは古典的内部正則性条件と比較して顕著な緩和である。