[論文レビュー] The generalized Caffarelli-Kohn-Nirenberg Theorem for the hyperdissipative Navier-Stokes system

Maria Colombo, Camillo De Lellis+1 more|arXiv (Cornell University)|Dec 19, 2017

Navier-Stokes equation solutions参考文献 23被引用数 39

ひとこと要約

本稿は、$1 < \alpha \leq \frac{5}{4}$ の範囲における分数階散逸 $(-\Delta)^\alpha$ を持つハイパードィスシペイティブ・ナビエ＝ストークス方程式に対して、Caffarelli-Kohn-Nirenberg の正則性定理の一般化版を確立する。適切な弱解の概念を導入し、過剰減衰推移を証明することで、このような解の特異点集合が次元 $5 - 4\alpha$ において放物型ハウスドルフ測度ゼロであることを示しており、古典的結果をハイパードィスシペイティブ領域に拡張する。

ABSTRACT

We introduce a notion of suitable weak solution of the hyperdissipative Navier-Stokes equations and we achieve a corresponding extension of the regularity theory of Caffarelli-Kohn-Nirenberg.

研究の動機と目的

• ハイパードィスシペイティブ・ナビエ＝ストークス方程式における Caffarelli-Kohn-Nirenberg 正則性理論を、$1 < \alpha \leq \frac{5}{4}$ に拡張すること。この場合、古典的解のグローバル存在性は未解決のままである。
• ハイパードィスシペイティブ設定に適した弱解の概念を定義し、弱解と強解の一意性を保証するとともに、コンパクト性および減衰技術の適用を可能にする。
• このような解の特異点集合が次元 $5 - 4\alpha$ において放物型ハウスドルフ測度ゼロであることを証明し、$\alpha = 1$ の古典的結果 $\mathcal{H}^1$ を一般化する。
• ハイパードィスシペイティブ領域における古典的解の初回吹き上がり時における特異点集合のサイズに関する未解決問題を解き、$\alpha \in (1, \frac{5}{4}]$ に対して $\mathcal{H}^{5-4\alpha}$ 測度ゼロであることを示す。

提案手法

• 分数階ラプラシアン $(-\Delta)^\alpha$ を持つハイパードィスシペイティブ・ナビエ＝ストークス系に対して、弱解の新しい概念を導入し、弱解と強解の一意性を保証するとともに、エネルギー推移と整合性を持つようにする。
• 適切な弱解に対して放物型エネルギー不等式を確立し、コンパクト性および減衰に関する議論の根幹をなす。
• コンパクト性の議論を用いて、特異点の集合が相対的に閉じており、放物型ハウスドルフ構成のもとで測度が制御可能であることを示す。
• パラボリックシリンダー $Q_r(x_0,t_0)$ における解の過剰減衰推移を導出し、これは $\varepsilon$-正則性定理の証明に中心的な役割を果たす。
• 拡張問題における線形化方程式の推移と、Poincaré 型不等式を用いて、潜在的特異点付近での解の振る舞いを制御する。
• 調和拡張法とポisson核表現を用い、分数階ラプラシアンを1つ高い次元における調和拡張の境界挙動と関連づけ、散逸項に対する精密推移を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Caffarelli-Kohn-Nirenberg 正則性定理は、$1 < \alpha \leq \frac{5}{4}$ のハイパードィスシペイティブ・ナビエ＝ストークス系へ拡張可能か？
• RQ2 ハイパードィスシペイティブ領域における適切な弱解の特異点集合の正確な放物型ハウスドルフ次元は何か？
• RQ3 古典的解の初回吹き上がり時における特異点集合は、$\alpha \in (1, \frac{5}{4}]$ に対して $\mathcal{H}^{5-4\alpha}$ 測度ゼロか？
• RQ4 弱解と強解の一意性を保ちつつ、コンパクト性および減衰技術の適用を可能にするハイパードィスシペイティブ系の適切な弱解理論を構築可能か？
• RQ5 シリンダー $Q_r(x_0,t_0)$ における放物型スケーリング $r^{2\alpha}$ は、特異点集合の正則性および測度論的性質にどのように影響するか？

主な発見

• 本稿では、任意の発散なし初期データ $u_0 \in L^2$ に対して、$1 < \alpha \leq \frac{5}{4}$ のハイパードィスシペイティブ・ナビエ＝ストークス系に対して、Leray-Hopf の弱解 $(u,p)$ が存在し、その特異点集合 $\mathrm{Sing}\,u$ が次元 $5 - 4\alpha$ において放物型ハウスドルフ測度ゼロであることを証明している。すなわち、$\mathcal{P}^{5-4\alpha}(\mathrm{Sing}\,u) = 0$ である。
• この結果は、古典的 Caffarelli-Kohn-Nirenberg 定理（$\alpha = 1$）をハイパードィスシペイティブケースに一般化し、特異点集合の鋭い次元を与える。
• この定理は、古典的解の初回吹き上がり時における特異点集合が $\mathcal{H}^{5-4\alpha}$ 測度ゼロであることを示しており、$\alpha \in (1, \frac{5}{4}]$ の領域における重要な未解決問題を解決する。
• $\alpha = \frac{5}{4}$ の場合、特異点集合は高々可算個（$\mathcal{P}^0$ は数え上げ測度であるため）であることが示唆され、この場合のグローバル正則性が可能性を示唆する。
• 証明は、過剰減衰推移に基づく新しい $\varepsilon$-正則性定理に依拠しており、パラボリックシリンダー内での速度場の振動を制御する。
• 著者らは、分数階ラプラシアン $(-\Delta)^\alpha$ と上半空間における調和拡張の境界微分との間の明確な関係を確立し、ポisson核と運動量条件を用いて、散逸項に対する鋭い推移を可能にする。