[論文レビュー] Partial Regularity of solutions to the Four-Dimensional Navier-Stokes Equations

Hongjie Dong, Xumin Gu|arXiv (Cornell University)|Feb 6, 2013

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

ひとこと要約

本稿では、スケーリング不変量に対するキャンパナトゥのアプローチとブートストラップ反復を用いて、4次元非圧縮性ナビエ＝ストークス方程式の適切な弱解の特異点集合が2次元時空ハウスドルフ測度でゼロであることを証明することで、その部分的正則性を確立する。パラボリック正則性理論を適用し、Caffarelli-Kohn-Nirenberg枠組みを4次元非定常系に拡張するが、問題の超臨界性にもかかわらず、速度場のホルダー連続性を示す。

ABSTRACT

In this paper, we consider suitable weak solutions of incompressible Navier--Stokes equations in four spatial dimensions. We prove that the two-dimensional time-space Hausdorff measure of the set of singular points is equal to zero.

研究の動機と目的

• 3次元非圧縮性ナビエ＝ストークス方程式におけるCaffarelli-Kohn-Nirenbergの部分的正則性理論を4次元に拡張すること。
• 適切な弱解に対して、時空における特異点集合が2次元ハウスドルフ測度でゼロであることを確立すること。
• 4次元におけるコンパクトネスの議論の崩壊を回避するため、高次元定常問題に用いられるキャンパナトゥのアプローチを適応すること。
• スケーリング不変エネルギーおよび振動ノルムが十分に小さい点において、速度場の局所的ホルダー正則性を証明すること。
• 部分的正則性結果を4次元非定常系に完全に拡張し、過去の研究が吹き上がり時刻や定常状態に限定していた空白を埋めること。

提案手法

• パラボリックシリンダ内でのスケーリング不変エネルギーおよび振動量の減衰率を分析するためにキャンパナトゥの方法を採用する。
• エネルギーおよび振動ノルムの弱い減衰推定を確立し、その後ブートストラップ論法により反復的に改善する。
• 線形化された方程式に対するパラボリック正則性理論を用いて、速度場の平均振動の減衰を向上させる。
• 熱方程式を用いて、小さなシリンダ上での速度場の調和的置換を構成し、誤差を$L_{3/2}$ノルムで推定する。
• $L_{3/2}$誤差項の推定値と調和部の減衰を組み合わせ、速度場のホルダー連続性推定値を導出する。
• ホルダー連続性のキャンパナトゥ特徴付けを用いて、エネルギーおよび圧力振動の小ささ条件を満たす点における正則性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 Caffarelli-Kohn-Nirenbergの部分的正則性結果は、4次元非定常ナビエ＝ストークス方程式へ拡張可能か？
• RQ2 適切な弱解に対する4次元における特異集合の最良ハウスドルフ次元は何か？
• RQ3 4次元におけるコンパクトネスの議論の失敗をどのように乗り越えて正則性を証明できるか？
• RQ4 エネルギーおよび振動ノルムのどの程度の小ささ条件が、4次元における点での正則性を保証するか？
• RQ5 6次元定常ナビエ＝ストークス方程式で用いられたブートストラップ法を、4次元非定常問題に適応可能か？

主な発見

• 任意の適切な弱解について、4次元ナビエ＝ストークス方程式の特異点集合の2次元時空ハウスドルフ測度はゼロである。
• ある普遍的な$\varepsilon_0 > 0$が存在し、ある点におけるエネルギー量$E(r)$が$\limsup_{r\searrow 0} E(r) \leq \varepsilon_0$を満たすならば、その点は正則である。
• 結合量$C(\rho_0) + D(\rho_0) + F(\rho_0) + G(\rho_0) \leq \varepsilon_0$を満たすならば、その点は正則である。
• エネルギーおよび圧力振動の小ささ条件を満たす任意の点の近傍で、速度場はホルダー連続である。
• エネルギーおよび振動ノルムの減衰率は、$L^2$ノルムの速度に関して$\rho^{2 + 5/3}$、$|u|^3 + |p - [p]|^{3/2}$の$L^{3/2}$ノルムに関して$\rho^{3 + 5/2}$に向上する。
• 速度場の勾配の$L^{3/2}$ノルムに対する最終的な減衰推定値は$\int_{Q(z_1,r)} |\nabla u|^{3/2} \, dz \leq N r^\beta$（$\beta = 132/29 > 6 - 3/2$）であり、これによりキャンパナトゥの基準によるホルダー連続性の適用が可能になる。