[论文解读] Global well-posedness issues for the inviscid Boussinesq system with Yudovich's type data

Raphaël Danchin, Marius Paicu|HAL (Le Centre pour la Communication Scientifique Directe)|Jun 25, 2008

Navier-Stokes equation solutions被引用 17

一句话总结

本文针对具有 Yudovich 类初始数据的二维无粘性 Boussinesq 系统建立了全局适定性，证明了在初始速度和温度具有有限能量、初始涡度有界且初始温度属于 $L^2 \cap B^{-1}_{\infty,1}$ 的条件下，全局解的存在性与唯一性。该结果无需小初值假设，依赖于频次空间估计与热半群控制的能量方法。

ABSTRACT

The present paper is dedicated to the study of the global existence for the inviscid two-dimensional Boussinesq system. We focus on finite energy data with bounded vorticity and we find out that, under quite a natural additional assumption on the initial temperature, there exists a global unique solution. None smallness conditions are imposed on the data. The global existence issues for infinite energy initial velocity, and for the Bénard system are also discussed.

研究动机与目标

• 为二维无粘性 Boussinesq 系统在初始数据属于 $L^2$ 且涡度有界的条件下，建立全局解的存在性与唯一性。
• 确定初始温度的最小正则性条件，以确保涡度在时间上保持有界。
• 将 Yudovich 对二维 Euler 方程的全局适定性结果推广至零粘性但具有正热扩散率的耦合 Boussinesq 系统。
• 分析初始温度梯度在 $B^{-1}_{\infty,1}$ 空间中对涡度增长的控制作用。
• 将分析拓展至 Bénard 系统及无限能量初始速度情形。

提出的方法

• 利用热半群 $e^{\kappa t\Delta}$ 通过 $\nabla \theta_0$ 在 $L^1_{\text{loc}}(\mathbb{R}_+; L^\infty)$ 上的估计，控制温度场的正则性。
• 应用频次空间技术，特别是 $B^{-1}_{\infty,1}$ 空间，刻画为保证涡度有界传播所需满足的 $\theta_0$ 正则性条件。
• 结合 $\theta$ 和 $u$ 的 $L^2$ 范数，采用能量估计并辅以 Gronwall 型不等式，控制随时间的增长。
• 利用二元分解 $\Delta_q$ 和频次局部化，通过插值与 Bernstein 型不等式，推导出 $\omega$ 的 $L^\infty$ 估计。
• 通过能量估计与速度及涡度的 $L^\infty$ 控制，利用 $\theta$ 的输运-扩散方程结构，证明唯一性。
• 通过在温度方程中引入低阶项 $u_2$ 并相应调整能量估计，将证明框架适配至 Bénard 系统。

实验结果

研究问题

• RQ1 在二维无粘性 Boussinesq 系统中，初始温度 $\theta_0$ 的最小正则性假设为何，可使涡度在所有时间保持有界？
• RQ2 能否在 $\kappa > 0$，$\nu = 0$，且初始数据属于 $L^2$ 且涡度有界的条件下，建立无粘性 Boussinesq 系统的全局适定性？
• RQ3 在无粘性条件下，$\theta_0$ 的 Besov 空间 $B^{-1}_{\infty,1}$ 与涡度有界传播之间有何关系？
• RQ4 热半群在控制 $\theta$ 的正则性并确保 $\nabla \theta$ 满足 $L^1_{\text{loc}}(\mathbb{R}_+; L^\infty)$ 行为方面起什么作用？
• RQ5 该框架能否拓展至 Bénard 系统，其中温度方程中出现额外的 $u_2$ 项？

主要发现

• 系统 $(B_{\kappa,0})$ 对初始数据 $\theta_0 \in L^2 \cap B^{-1}_{\infty,1}$ 和 $u_0 \in L^2$ 且 $\text{div}\,u_0 = 0$，在初始涡度 $\omega_0$ 属于 $L^r \cap L^\infty$（某 $r \geq 2$）时，存在唯一全局解。
• 解满足 $\theta \in \mathcal{C}(\mathbb{R}_+; L^2 \cap B^{-1}_{\infty,1}) \cap L^2_{\text{loc}}(\mathbb{R}_+; H^1) \cap L^1_{\text{loc}}(\mathbb{R}_+; B^1_{\infty,1})$ 且 $u \in \mathcal{C}^{0,1}_{\text{loc}}(\mathbb{R}_+; L^2)$，同时 $\omega \in L^\infty_{\text{loc}}(\mathbb{R}_+; L^r \cap L^\infty)$。
• 条件 $\theta_0 \in B^{-1}_{\infty,1}$ 等价于 $\nabla \theta_0 \in B^{-2}_{\infty,1}$，这确保了 $\nabla e^{\kappa t\Delta}\theta_0 \in L^1_{\text{loc}}(\mathbb{R}_+; L^\infty)$，对涡度有界性至关重要。
• 能量估计给出 $\| (\theta,u)(t) \|_{L^2}^2 + 2\kappa \int_0^t \| \nabla \theta(\tau) \|_{L^2}^2 d\tau \leq \| (\theta_0,u_0) \|_{L^2}^2 e^{2t}$，表明解具有时间上的指数增长控制。
• 对于 Bénard 系统，温度方程中额外的 $u_2$ 项通过修正的能量估计处理，且 $\theta$ 的 $L^1_{\text{loc}}(\mathbb{R}_+; B^1_{\infty,1})$ 控制得以保持。
• 该结果可推广至无限能量初始速度及 $\theta_0 \in L^p$ 或 $u_0 \in B^1_{\infty,1}$ 的情形，对应地，$\theta$ 和 $u$ 分别具有 $L^\infty(\mathbb{R}_+; L^p)$ 或 $\mathcal{C}(\mathbb{R}_+; B^1_{\infty,1})$ 的正则性。