[論文レビュー] Long-time solvability of the Navier-Stokes-Boussinesq equations with almost periodic initial large data

Slim Ibrahim, Tsuyoshi Yoneda|arXiv (Cornell University)|Sep 28, 2011

Navier-Stokes equation solutions参考文献 13被引用数 4

ひとこと要約

この論文は、強い密度層流下において、大規模でほぼ周期的初期データをもつナビエ＝ストークス＝ブーシネスク方程式の長時間可解性を確立する。$\varepsilon$-正則化と$\varepsilon$-依存の高速特異振動極限を用いて、2次元ナビエ＝ストークス系の長期間可解性と、和集合周波数集合上の振幅の$\ell^1$-ノルムを用いた$\varepsilon$-依存誤差項の制御に基づくブートストラップ法により、グローバル存在を証明する。

ABSTRACT

We investigate large time existence of solutions of the Navier-Stokes-Boussinesq equations with spatially almost periodic large data when the density stratification is sufficiently large. In 1996, Kimura and Herring \cite{KH} examined numerical simulations to show a stabilizing effect due to the stratification. They observed scattered two-dimensional pancake-shaped vortex patches lying almost in the horizontal plane. Our result is a mathematical justification of the presence of such two-dimensional pancakes. To show the existence of solutions for large times, we use $\ell^1$-norm of amplitudes. Existence for large times is then proven using techniques of fast singular oscillating limits and bootstrapping argument from a global-in-time unique solution of the system of limit equations.

研究の動機と目的

• 層流流体における2次元パニクル型渦巻きパッチの数値的観察を数学的に裏付けること。
• 大規模で空間的にほぼ周期的初期データをもつナビエ＝ストークス＝ブーシネスク系の時間全域での解の存在を確立すること。
• ほぼ周期的設定におけるエネルギー推定の失敗を克服するため、振幅の$\ell^1$-ノルムに基づく新しい関数的枠組みを導入すること。
• 和集合周波数集合を用いて、高速特異振動極限法をほぼ周期的設定に拡張すること。
• 極限系が、ほぼ周期的設定において既知のグローバル解をもつ2次元ナビエ＝ストークス方程式に還元されることを証明すること。

提案手法

• ほぼ周期的関数をモデル化するため、$\mathbb{R}^3$ に含まれる和集合周波数集合 $\Lambda$ を導入する。
• Fourier振幅の$\ell^1$-ノルムを用いて関数空間 $X^\Lambda(\mathbb{R}^3)$ を定義し、大規模な初期データを制御する。
• 高速特異振動極限法を適用して、系を極限系と剰余方程式に分解する。
• ブートストラップ法を用いる：まず極限系（2次元ナビエ＝ストークスに同等）のグローバル存在を証明し、次に$\varepsilon$-正則化と誤差推定を用いて剰余を制御する。
• 時間的高速振動に対処するため、射影作用素 $\mathcal{P}_\eta$ と変数変換を用いて誤差項 $E^0$ と $E^{\sigma_0}$ を制御する。
• グローバル不等式を適用して $\mathcal{P}_\eta y^0$ と $\mathcal{P}_\eta y^{\sigma_0}$ をバインドし、$N$ と $\eta$ が十分に大きい場合にこれらが任意に小さくできることが示される。

実験結果

リサーチクエスチョン

• RQ1 強い層流下において、大規模でほぼ周期的初期データをもつナビエ＝ストークス＝ブーシネスク方程式は、グローバル解をもつか。
• RQ2 強い密度層流が、数値的に観察されたように、流体の流れを準2次元のパニクル型構造へ安定化させるか。
• RQ3 標準的なエネルギー法は、ほぼ周期的初期データに適応可能か、それとも新しい関数的枠組みが必要か。
• RQ4 高速振動下でのナビエ＝ストークス＝ブーシネスク方程式の極限系は、ほぼ周期的設定において2次元ナビエ＝ストークス方程式に等価か。
• RQ5 特異極限から生じる誤差項は、$\ell^1$-振幅ノルムと周波数射影を用いて、時間に一様に制御可能か。

主な発見

• 高速特異振動極限下でのナビエ＝ストークス＝ブーシネスク方程式の極限系は、2次元ナビエ＝ストークス方程式に等価であり、ほぼ周期的設定においては一意なグローバル解をもつ。
• 十分に大きな層流パラメータ $\mathcal{N}$ に対して、剰余方程式は、極限系のグローバル可解性に基づくブートストラップ法により制御される。
• $\varepsilon$-正則化系により、誤差項 $E^0$ と $E^{\sigma_0}$ が一様に制御可能であり、$N$ と $\eta$ を大きくすることで任意に小さくできる。
• 和集合周波数集合上の振幅の$\ell^1$-ノルムは、エネルギー推定が失敗する状況においても、大規模な初期データを扱うのに適した関数的枠組みを提供する。
• 層流が十分に強い場合、$X^\Lambda(\mathbb{R}^3)$ に属する初期データ（$\ell^1$-ノルムが大きい場合を含む）に対し、解は時間全域で存在する。
• この手法により、キムラとヘリングが観察した数値的シミュレーションにおける2次元パニクル型渦巻きパッチの形成が、うまく裏付けられた。