[论文解读] On the two-dimensional Boussinesq equations with temperature-dependent thermal and viscosity diffusions in general Sobolev spaces

Zihui He, Xian Liao|arXiv (Cornell University)|Jul 9, 2021

Advanced Mathematical Physics Problems参考文献 50被引用 3

一句话总结

本文在一般索博列夫空间中建立了二维不可压缩Boussinesq方程在温度依赖的热扩散率和粘性扩散率下解的存在性、唯一性及最优正则性。通过在型Besov框架下的能量估计与交换子估计，证明了初始数据属于H^s(R^2) × (H^s(R^2))^2（s > 2）时全局时间适定性，并利用插值与对数索博列夫嵌入将结果推广至更低正则性范围，解决了长期悬而未决的关于变扩散率下高正则性传播的开放问题。

ABSTRACT

We study the existence, uniqueness as well as regularity issues for the two-dimensional incompressible Boussinesq equations with temperature-dependent thermal and viscosity diffusion coefficients in general Sobolev spaces. The optimal regularity exponent ranges are considered.

研究动机与目标

• 解决具有温度依赖热扩散率与粘性扩散率的二维Boussinesq系统的适定性与正则性问题。
• 在一般索博列夫空间H^s(R^2) × (H^s(R^2))^2中建立s > 2时解的存在性与唯一性。
• 通过交换子估计与插值不等式，将分析推广至更低正则性范围（s ∈ (0,2]）。
• 在变扩散率条件下，为解分量提供最优正则性指数范围。
• 解决在温度依赖扩散率存在下高正则性传播的开放问题。

提出的方法

• 将二维不可压缩Boussinesq系统中温度依赖的扩散率κ(θ) = a(θ)与µ(θ) = b(θ)进行公式化，其中a, b ∈ C^1_b(R; [κ*, κ*])与[µ*, µ*]。
• 对动量方程应用Leray-Helmholtz投影以处理不可压缩性约束，并推导出速度场的投影演化方程。
• 利用二元分解与Littlewood-Paley理论中的频带局部化能量估计，推导θ与u的H^s-范数界。
• 采用交换子估计（如[u, ∆_j]∇u）与∇κ = b’(θ)∇θ的复合估计，控制能量估计中的非线性项。
• 应用Gronwall不等式闭合时间上的能量估计，结合对数索博列夫嵌入与插值不等式处理低正则性情形。
• 推导θ与u在L^∞_T H^s_x与L^2_T H^{s+1}_x中的先验估计，显式依赖于初始数据与扩散率界。

实验结果

研究问题

• RQ1 对于具有温度依赖扩散率的二维Boussinesq系统，其全局时间存在性与唯一性解的最优索博列夫正则性范围s为何？
• RQ2 变热扩散率与粘性扩散率如何影响解分量θ与u的正则性传播？
• RQ3 在不假设扩散率变化量小的条件下，能否在一般索博列夫空间H^s(R^2) × (H^s(R^2))^2（s > 2）中建立全局适定性？
• RQ4 当仅存在部分耗散时，索博列夫嵌入中的对数修正在控制非线性项中起什么作用？
• RQ5 能否通过交换子与插值技术将正则性框架推广至低正则性初始数据（如s ∈ (0,2]）？

主要发现

• 在κ(θ) = a(θ)与µ(θ) = b(θ)为光滑且远离零的假设下，对于初始数据(θ₀, u₀) ∈ H^s(R²) × (H^s(R²))²（s > 2），建立了全局时间解的存在性与唯一性。
• 推导出θ的H²-范数的先验估计：∥θ∥²_{L^∞_T H²} + ∥∇θ∥²_{L²_T H²} ≤ C(κ*, ∥a∥_{C²}, κ*)∥θ₀∥²_{H²} (1 + ∥∇θ₀∥²_{L²})² exp(C(κ*, ∥a∥_{C¹})(∥∇u∥²_{L²_T L²} + ∥u∥⁴_{L⁴_T L⁴} + ∥∇θ∥⁴_{L⁴_T L⁴}))。
• 确定最优正则性指数s > 2为索博列夫空间中全局适定性的阈值，解在无有限时间奇点情况下传播高正则性。
• 通过插值与交换子估计，将全局适定性推广至s ∈ (0,2]，其中u的H^s-范数满足：∥u∥²_{H^s} ≤ C(µ*)∥u₀∥²_{H^s} + C(µ*, s, ν, ∥b∥_{C[ν]+2}, ∥θ∥_{L^∞_T H¹}) ∫₀^T (∥∇u∥²_{L²} + ∥∇θ∥²_{H¹})∥∇u∥²_{H^{s-1}} dt。
• 获得速度场的先验˙H²_x-估计：∥∆u(T)∥²_{L²} + ∥∇∆u∥²_{L²_T L²} ≤ C(µ*) (∥∆u₀∥²_{L²} + ∥∇u∥⁴_{L⁴_T L⁴} + ∥∇²µ∥²_{L²_T L²}∥∇u∥²_{L^∞_T L²} + ∥∆θ∥_{L²_T L²}∥∆u∥_{L²_T L²}) × exp(C(µ*)(∥(u, ∇µ)∥⁴_{L⁴_T L⁴} + ∥∇²µ∥²_{L²_T L²}))。
• 通过结合θ与u的H^s-估计、Gronwall不等式与对数索博列夫嵌入，本文证明即使在扩散率系数大幅变化下，解仍能保持全局时间光滑性。