[论文解读] Global Sobolev persistence for the fractional Boussinesq equations with zero diffusivity

Igor Kukavica, Weinan Wang|arXiv (Cornell University)|Oct 24, 2019

Advanced Mathematical Physics Problems参考文献 28被引用 6

一句话总结

该论文建立了二维分数阶Boussinesq方程在零扩散率和分数阶黏性 $α \in (1,2)$ 条件下的全局Sobolev正则性保持性，证明了初始数据属于 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ 且满足 $s > 1$ 与 $q \in (2,\infty)$ 时，解在所有时间均保持在相同的Sobolev空间中。关键创新在于引入了一个改进的涡量变量 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$，该变量能够控制低频奇异性，并使得Kato-Ponce型不等式得以应用，从而完成能量估计的闭合。

ABSTRACT

We address the persistence of regularity for the 2D $α$-fractional Boussinesq equations with positive viscosity and zero diffusivity in general Sobolev spaces, i.e., for $(u_{0}, ρ_{0}) \in W^{s,q}(\mathbb R^2) imes W^{s,q}(\mathbb R^2)$, where $s> 1$ and $q \in (2, \infty)$. We prove that the solution $(u(t), ρ(t))$ exists and belongs to $W^{s,q}(\mathbb R^2) imes W^{s,q}(\mathbb R^2)$ for all positive time $t$ for $q>2$, where $α\in(1,2)$ is arbitrary.

研究动机与目标

• 建立二维分数阶Boussinesq方程在零扩散率条件下，于一般 $W^{s,q}$ 空间中 $s > 1$ 且 $q > 2$ 的全局正则性保持性。
• 克服在 $q > 2$ 的 $L^q$ 基估计中缺乏 $L^2$ 能量方程的问题，该问题阻碍了标准正则性保持性论证。
• 提出一个改进的涡量变量 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$，该变量对低频奇异性具有鲁棒性，并可支持交换子估计的使用。
• 将已知的全局存在性与正则性结果从 $H^s \times H^{s-1}$ 框架扩展至更一般的 $W^{s,q} \times W^{s,q}$ 设置，其中 $q > 2$。

提出的方法

• 引入改进的涡量变量 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$，以解耦涡量动力学并稳定低频行为。
• 推导 $\zeta$ 的演化方程：$\zeta_t + u \cdot \nabla \zeta + \Lambda^\alpha \zeta = [\SS, u \cdot \nabla]\rho - (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1 \rho$，其中 $\SS = \partial_1 (I - \Delta)^{-\alpha/2}$。
• 证明非局部算子 $N = (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1$ 是阶数为1的光滑化算子，有助于控制低频贡献。
• 利用广义Kato-Ponce不等式，在 $L^q$ 基范数下有界交换子项 $[\SS, u \cdot \nabla]\rho$。
• 应用涉及 $X = \|\Lambda^{s-1}\zeta\|_{L^q}^q$，$Y = (\|\Lambda^s \rho\|_{L^q} + 1)^{q/\gamma}$，和 $Z = \|\Lambda^{\alpha/2}(|\Lambda^{s-1}\zeta|^{q/2})\|_{L^2}^2$ 的加权能量估计，以完成归纳论证。
• 对 $X$ 和 $Y$ 的耦合微分不等式系统应用改进的Gronwall不等式，通过精心选择参数 $\gamma = s/(s-1)$ 以满足所有所需的指数条件。

实验结果

研究问题

• RQ1 能否在 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ 中建立二维分数阶Boussinesq方程在零扩散率下 $s > 1$ 且 $q > 2$ 的全局Sobolev正则性保持性，尽管缺乏能量方程？
• RQ2 当在 $q > 2$ 的 $L^q$ 基Sobolev空间中工作时，如何克服缺乏 $L^2$ 基能量估计的问题？
• RQ3 改进的涡量 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$ 在稳定解的低频行为中起到什么作用？
• RQ4 能否利用广义Kato-Ponce不等式在 $L^q$ 范数下有效控制交换子项 $[\SS, u \cdot \nabla]\rho$？
• RQ5 是否可以通过选择合适指数的加权能量方法，结合Gronwall型不等式，成功闭合正则性保持性的归纳论证？

主要发现

• 当初始数据 $(u_0, \rho_0)$ 属于 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ 且满足 $s > 1$ 与 $q \in (2, \infty)$ 时，解 $(u(t), \rho(t))$ 对所有 $t > 0$ 均保持在 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ 中。
• 改进的涡量 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$ 满足一个具有交换子项和光滑余项的抛物型方程，从而实现对解正则性的控制。
• 余项 $N\rho = (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1 \rho$ 被证明是阶数为1的光滑化算子，这对处理低频奇异性至关重要。
• 该证明依赖于涉及 $X = \|\Lambda^{s-1}\zeta\|_{L^q}^q$，$Y = (\|\Lambda^s \rho\|_{L^q} + 1)^{q/\gamma}$，和 $Z = \|\Lambda^{\alpha/2}(|\Lambda^{s-1}\zeta|^{q/2})\|_{L^2}^2$ 的加权能量估计，其中 $\gamma = s/(s-1)$。
• 在验证 (5.15) 中的指数条件对 $\gamma = s/(s-1)$ 成立后，利用Gronwall型论证成功闭合了 $X$ 和 $Y$ 的微分不等式。
• 该结果对所有 $\alpha \in (1,2)$ 成立，将先前依赖更强正则性或 $L^2$ 基估计的研究成果进行了推广。