[论文解读] 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

一句话总结

本文在初始数据 $u_0, \theta_0 \in C^r$ 的假设下，于 Hölder 空间 $C^r(\mathbb{R}^N)$，$N \geq 2$，$r > 1$ 中建立了无粘 Boussinesq 系统的局部适定性及一个爆破准则。作者通过先验估计与 Hölder 空间中的构造性逼近方案，证明了局部解的存在性与唯一性，并表明解的爆破受速度场梯度的 $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$.

研究动机与目标

• 在 Hölder 空间 $C^r(\mathbb{R}^N)$，$N \geq 2$，$r > 1$ 中，建立无粘 Boussinesq 系统的局部时间解的存在性。
• 推导无粘 Boussinesq 系统的 $C^r$-解的爆破准则，明确解可能失效的条件。
• 与先前工作相比，放宽初始正则性假设，避免对 $\omega_0, \Delta\theta_0 \in L^q$（$1 < q < 2$）的需要。
• 将 [8] 中对 Euler 方程的方法推广至更复杂的无粘 Boussinesq 系统（含被动标量）。
• 通过逼近序列的构造与 Hölder 范数下的收敛性，严格构建解，确保解的唯一性。

提出的方法

• 利用 Littlewood-Paley 理论对频率空间进行二进制分解，定义频带局部化算子 $\Delta_q$ 与 $S_q$。
• 在 Besov 型空间中利用交换子估计与乘积法则，推导速度场与温度场在 Hölder 范数 $C^r$ 下的先验估计。
• 通过 Galerkin 型正则化构造近似解序列，并证明其在 $C([0,T]; C^{r-1})$ 中为小时间 $T$ 的柯西序列。
• 利用 Riesz 变换与压力项 $\nabla\Pi = -\nabla\Delta^{-1} \text{div}(u \cdot \nabla u) + \nabla\Delta^{-1} \partial_N \theta$ 的有界性，控制压力在 Hölder 范数下的行为。
• 应用 Gronwall 不等式控制解范数的增长，从而在 $C^r$ 中建立极限解的唯一性。
• 通过证明 $\nabla u$ 的 $L^\infty$-范数控制 $C^r$-解的最大存在时间，建立爆破准则。

实验结果

研究问题

• RQ1 在何种条件下，无粘 Boussinesq 系统在 $r > 1$ 时存在局部 $C^r$-解？
• RQ2 能否通过 $\|\nabla u\|_{L^\infty}$ 的增长来表征 $C^r$-解的爆破？
• RQ3 初始数据的正则性 $u_0, \theta_0 \in C^r$ 如何影响 Hölder 空间中解的存在性与唯一性？
• RQ4 与先前要求 $\omega_0, \Delta\theta_0 \in L^q$ 的工作相比，初始数据假设能否进一步弱化？
• RQ5 解在 $C^r$-函数类中是否唯一？唯一性如何通过能量型估计与 Gronwall 不等式证明？

主要发现

• 在 $r > 1$ 且 $N \geq 2$ 的条件下，若初始数据满足 $u_0, \theta_0 \in C^r$，则无粘 Boussinesq 系统在 $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$。
• 通过将 Gronwall 不等式应用于解的差分方程，证明两个解之差在 $C^{r-1}$-范数下趋于零，从而证明唯一性。
• 利用 Riesz 变换与交换子估计，控制压力项 $\nabla\Pi$ 在 $C^{r-1}$-范数下的行为，确保逼近方案保持有界。
• 该方法避免了对涡度或温度拉普拉斯的 $L^q$ 可积性的要求，从而放宽了早期工作（如 [6]）中的假设。