[論文レビュー] Local well-posedness and blow up criterion for the Inviscid Boussinesq system in Hölder spaces

Xiaona Cui, Changsheng Dou+1 more|arXiv (Cornell University)|Sep 21, 2010

Advanced Mathematical Physics Problems参考文献 15被引用数 13

ひとこと要約

本稿は、$N \geq 2$、$r > 1$ において、初期データ $u_0, \theta_0 \in C^r$ の下で、粘性のないボウシネスク系のホルダー空間 $C^r(\mathbb{R}^N)$ における局所的well-posednessおよび爆発基準を確立する。著者らは、事前推定とホルダー空間内での構成的近似スキームを用いて、局所解の存在と一意性を証明し、解の爆発が速度場の勾配の $L^\infty$-ノルムによって制御されることを示している。

ABSTRACT

We prove the local in time existence and a blow up criterion of solution in the Hölder spaces for the inviscid Boussinesq system in $R^{N},N\geq2$, under the assumptions that the initial values $θ_{0},u_{0}\in C^{r}$, with $r>1$.

研究の動機と目的

• 非粘性ボウシネスク系のホルダー空間 $C^r(\mathbb{R}^N)$、$N \geq 2$、$r > 1$ における時間局所的解の存在を確立すること。
• 非粘性ボウシネスク系の $C^r$-解に対する爆発基準を導出し、解が存在しなくなる条件を特定すること。
• 従来の研究で必要とされた $\omega_0, \Delta\theta_0 \in L^q$（$1 < q < 2$）の条件を回避することで、初期正則性仮定を緩和すること。
• より複雑な非粘性ボウシネスク系（スカラーが受動的）に、[8] のオイラー方程式に対する手法を拡張すること。
• 近似列による解の厳密な構成とホルダーノルムにおける収束を提供し、一意性を保証すること。

提案手法

• リトルウッド＝パレー理論を用いた周波数空間のダイアディック分解により、周波数局所化作用素 $\Delta_q$ と $S_q$ を定義する。
• ベゾフ型空間における交換子推定と積法則を用いて、ホルダーノルム $C^r$ における速度場および温度場の事前推定を導出する。
• ガラーキン型正則化を用いて近似解の列を構成し、小時間 $T$ に対して $C([0,T]; C^{r-1})$ 内でコーシー列であることを証明する。
• リーマン変換の有界性と圧力項 $\nabla\Pi = -\nabla\Delta^{-1} \text{div}(u \cdot \nabla u) + \nabla\Delta^{-1} \partial_N \theta$ を用いて、ホルダーノルム内での圧力の制御を行う。
• グローヴァルの不等式を適用して解ノルムの増大を制御し、$C^r$ 内での極限解の一意性を確立する。
• 解の $C^r$-解の最大存在時間を制御する $\|\nabla u\|_{L^\infty}$ のノルムが、爆発基準として示されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非粘性ボウシネスク系は、$r > 1$ の条件下で、どのような条件下で局所的 $C^r$-解を有するか？
• RQ2 $C^r$-解の爆発は、$\|\nabla u\|_{L^\infty}$ の増大によって特徴付けられるか？
• RQ3 初期データ $u_0, \theta_0 \in C^r$ の正則性は、ホルダー空間内での解の存在および一意性にどのように影響するか？
• RQ4 従来の研究で要求された $\omega_0, \Delta\theta_0 \in L^q$ の条件と比較して、初期データの仮定を弱めることができるか？
• RQ5 解は $C^r$-関数のクラスで一意であるか？ また、エネルギー型推定とグローヴァルの不等式を用いて、一意性はどのように証明されるか？

主な発見

• 非粘性ボウシネスク系は、$r > 1$ および $N \geq 2$ において、初期データ $u_0, \theta_0 \in C^r$ の下で、$C^r(\mathbb{R}^N)$ 内に一意な局所解を有する。
• 解は時間区間 $[0, T^*]$ 上に存在し、$T^* = \min\{T_1, T_2\}$ である。ここで $T_1$ および $T_2$ は初期データのノルムに依存する。
• 爆発基準は、解が時間 $T$ を超えて $C^r$ にとどまるならば、$\int_0^T \|\nabla u(s)\|_{L^\infty} ds < \infty$ が成り立つ必要がある、という内容である。
• 2つの解の差がグローヴァルの不等式を差分方程式に適用することで $C^{r-1}$-ノルムで消えることにより、一意性が証明される。
• リーマン変換と交換子推定を用いて、圧力項 $\nabla\Pi$ が $C^{r-1}$-ノルムで制御され、近似スキームが有界のままであることが保証される。
• 従来の研究（例：[6]）で必要とされた渦度や温度のラプラシアンの $L^q$ 積分可能性の条件を回避するため、仮定を緩和している。