[論文レビュー] Global unique solutions for the inhomogeneous Navier-Stokes equation with only bounded density, in critical regularity spaces

Raphaël Danchin, Shan Wang|arXiv (Cornell University)|Jan 26, 2022

Navier-Stokes equation solutions被引用数 1

ひとこと要約

本稿では、初期密度が不連続で、初期速度が僅かな正則性しか持たない場合でさえも、2次元および3次元における非同次不可縮性ナビエ＝ストークス方程式の解の全球的存在および一意性を確立する。時間重み付き推定、Lorentz空間における最大正則性、および臨界Besov空間における補間を用いて、密度の大きな変動や真空中でも一意性を証明し、Fujita-Kato型解をより広い初期データのクラスへと拡張する。

ABSTRACT

We here aim at proving the global existence and uniqueness of solutions to the inhomogeneous incompressible Navier-Stokes system in the case where the initial density is discontinuous and the initial velocity has critical regularity. Assuming that the initial density is close to a positive constant, we obtain global existence and uniqueness in the two-dimensional case whenever the initial velocity belongs to some critical homogeneous Besov space (and in small in the three-dimensional case). Next, still in a critical functional framework, we establish a uniqueness statement that is valid in the case of large variations of density with, possibly, vacuum. Interestingly, our result implies that the Fujita-Kato type solutions constructed by P. Zhang in are unique. Our work relies on interpolation results, time weighted estimates and maximal regularity estimates in Lorentz spaces (with respect to the time variable) for the evolutionary Stokes system.

研究の動機と目的

• 初期密度が有界で、場合によっては不連続であっても、非同次不可縮性ナビエ＝ストークス系の解の全球的存在および一意性を確立すること。
• 従来の非真空仮定を超えて、密度の大きな変動や真空を伴う場合の解の一意性を拡張すること。
• Lorentz空間およびBesov空間を用いて、非同次ナビエ＝ストークス方程式の臨界正則性フレームワークを構築すること。
• Zhang [30] が構築したFujita-Kato型解が、新しいフレームワークのもとで一意であることを証明すること。
• 摂動に基づく手法の限界を打ち破るために、ストークス系に対してLorentz空間における時間重み付きおよび最大正則性推定を導入すること。

提案手法

• 時間に関するLorentz空間における時間重み付き推定および最大正則性推定を、時間発展型ストークス系に適用する。
• 非線形項を制御するために、臨界同次Besov空間における補間理論を用いる。
• 特に2次元の場合に、非線形対流項におけるパラプロダクトおよび剰余項を処理するためにBonyの分解を適用する。
• Besov空間における剰余作用素に関する新しい不等式を確立する：∥R(u,v)∥_{Ḃ^{-d/p}_{p,∞}} ≲ ∥u∥_{Ḃ^{d/p}_{p,r_1}} ∥v∥_{Ḃ^{-d/p}_{p,r_2}} ただし 1/r₁ + 1/r₂ = 1。
• Helmholtzの射影および最大正則性理論を用いて、速度および圧力勾配のLorentz空間における推定を導出する。
• 時間重み付きノルムを含む臨界関数的フレームワークを定義し、速度場に対して同次Besov空間 Ẇ^{2,1}_{p,(q,r)} を用いる。

実験結果

リサーチクエスチョン

• RQ1 初期密度が有界で、場合によっては不連続であっても、非同次ナビエ＝ストークス方程式に対して全球的一意解を確立できるか？
• RQ2 臨界空間において、全球的存在および一意性を保証するための初期速度の最小正則性は何か？
• RQ3 密度の大きな変動や真空を伴う場合でも、密度フラクチュエーションの小ささを仮定せず、一意性を証明できるか？
• RQ4 非同次系におけるFujita-Kato型解は、より広い初期データ条件のもとでも一意のままであるか？
• RQ5 Lorentz空間推定および時間重み付きノルムをどのように用いることで、非同次ナビエ＝ストークス系への最大正則性理論を拡張できるか？

主な発見

• 2次元では、初期速度が Ẇ^{2,1}_{p,(q,r)}(R²) に属し、1 < p < 2 であり、初期密度 ρ₀ が有界で正の定数に近い場合、全球的一意解が存在する。
• 3次元では、初期速度が Ẇ^{2,1}_{p,(q,r)}(R³) において小さく、1 < p < 3 であり、初期密度が有界である場合、全球的一意解が存在する。
• 剰余項に関する新しい不等式を証明した：∥R(u,v)∥_{Ḃ^{-1}_{2,∞}(R²)} ≲ log(1 + ∥v∥_{L²}/∥v∥_{H^{-1}}) ∥u∥_{H¹∩L∞} ∥v∥_{H^{-1}}。
• 解の枠組みにより、圧力勾配 ∇P が L¹(0,T; Ẇ^{d/2-1}_{2,1}(R^d)) に属し、速度 u が C_b([0,T]; Ẇ^{d/2}_{2,1}(R^d)) に属することが保証される。
• 密度の大きな変動や真空の可能性を含んでも、一意性の結果は非真空仮定を超えて拡張される。
• Zhang [30] が構築したFujita-Kato型解が、臨界フレームワークのもとで一意であることが示され、その一意性に関する未解決の問題が解決された。