[論文レビュー] Random-data Cauchy Problem for the Periodic Navier-Stokes Equations with Initial Data in Negative-order Sobolev Spaces

Chao Deng, Shangbin Cui|arXiv (Cornell University)|Mar 31, 2011

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

ひとこと要約

本稿は、BurqとTzvetkovのインスピレーションを受けて、確率的乱拡散技術を用いて、$-1 < s < 0$ における負の順位のソボレフ空間 $τ^s(℔^N)$ に属する初期データを持つ周期的ナビエ＝ストークス方程式に対して、一意な局所解の存在を確立する。確率空間におけるほとんど確実なサンプルパス $ω$ に対して、$τ^s_{σ}(℔^N)$ に属する乱拡散初期データが一意な局所解を生成することを証明し、古典的手法が失敗する超臨界空間への適性を拡張する。

ABSTRACT

In this paper we study existence of solutions of the initial-boundary value problems of the Navier-Stokes equations with a periodic boundary value condition for initial data in the Sobolev spaces $\mathcal{H}^{s}(\mathbb{T}^N)$ with a negative order $-1

研究の動機と目的

• 初期データが超臨界関数空間、特に $-1 < s < 0$ における負の順位のソボレフ空間 $\mathcal{H}^s(\mathbb{T}^N)$ に属する場合の周期的ナビエ＝ストークス方程式の適性を扱う。
• 埋め込みや臨界／超臨界空間への分解が不可能であるため、古典的決定論的手法が失敗するこのような超臨界空間において、その失敗を克服する。
• 決定論的手法の限界を乗り越えるために、確率的アプローチを導入することで、ナビエ＝ストークス方程式の初期値問題理論を既知の臨界および超臨界空間を超えて拡張する。
• これらの低正則性空間における乱拡散初期データのほとんどすべての実現に対して、一意な局所解の存在と一意性を確立する。

提案手法

• BurqとTzvetkovのインスピレーションを受けて、確率的手法を用いて初期データを乱拡散する。決定論的初期データ $\vec{f} \in \mathcal{H}^s_{\sigma}(\mathbb{T}^N)$ を、独立な確率的フーリエ乗数を介してランダムフィールド $\vec{f}^\omega$ に変換する。
• 非線形項の大きさを制御するため、確率的推定と尾部バウンドを用いる。これはナビエ＝ストークス方程式の積分形式に適用される。
• 周期的境界条件の下で、ストリコルツ型推定と最大 $L^p_tL^q_x$ 推定を用いて、混合ノルムルベーグ空間における解ノルムを制御する。
• 小さな時間間隔 $T$ におけるコントラクション写像の議論を構築する。乱拡散初期データを用いて、解空間における非線形項の小ささを保証する。
• 初期データの正則性と非線形項の必要十分な可積分性に応じて、次元 $N$ に依存する解空間 $X$ または $Y$ を定義する。
• 測度論的推定を用いてほとんど確実な存在を証明する：十分に小さな $T$ を選ぶことで、小さな時間間隔における解の存在確率を1に任意に近づけることができる。

実験結果

リサーチクエスチョン

• RQ1 初期データが $\mathcal{H}^s(\mathbb{T}^N)$ に属する超臨界空間（$-1 < s < 0$）にある場合、周期的ナビエ＝ストークス方程式の初期境界値問題は適性を有するか？
• RQ2 決定論的手法の制限を回避する乱拡散手順を用いて、このような初期データに対する解を構成することは可能か？
• RQ3 一意な局所解が存在する初期データ実現の集合の大きさは何か？ そして、その大きさは確率論的に定量的に評価可能か？
• RQ4 乱拡散技術は、特に周期的領域と発散なしベクトル場の文脈において、解の正則性および可積分性にどのように影響を与えるか？

主な発見

• ほとんどすべての $\omega \in \Omega$ に対して、$-1 < s < 0$ における乱拡散初期データ $\vec{f}^\omega \in \mathcal{H}^s_{\sigma}(\mathbb{T}^N)$ が周期的ナビエ＝ストークス方程式に対して一意な局所解を生成する。
• 解は $T_\omega > 0$ に依存する時間間隔で存在するが、$T$ を十分に小さく選べば、小さな時間間隔における存在確率を1に任意に近づけることができる。
• 解空間は、$N=2,3$ の場合に $L^{8/(4-N)}_T L^4_x$ のような混合ノルムルベーグ空間を用いて構築され、ストリコルツ推定と最大関数推定を用いてノルムが制御される。
• 失敗確率（＝解が存在しない確率）は、$2c_1 e^{-c_2 (\lambda/2)^2 \|f\|_{\mathcal{H}^s}^{-2} T^{-2\varrho}}$ で有界であり、$T^{-1}$ に指数的に減少するため、ほとんど確実な存在が保証される。
• $-1 < s \leq -1 + N/4$ の場合、解空間は $L^{4/(1-s)}_T L^{2N/(1+s)}_x$ であり、同じ確率的小ささ条件の下でコントラクション議論が成立する。
• 結果は次元的に整合している：この方法は $N=2$ および $N=3$ に適用可能であり、臨界指数 $s = -1 + N/4$ が第二の解空間の閾値を示している。