[论文解读] Partial Regularity of solutions to the Four-Dimensional Navier-Stokes Equations

Hongjie Dong, Xumin Gu|arXiv (Cornell University)|Feb 6, 2013

Navier-Stokes equation solutions参考文献 18被引用 7

一句话总结

本文通过证明四维不可压缩纳维-斯托克斯方程合适弱解的奇点集具有零二维时空豪斯多夫测度，建立了其部分正则性。利用卡姆帕纳托方法和对尺度不变量的Bootstrap迭代，作者推导出衰减估计，并应用抛物型正则性理论，证明了速度场的霍尔德连续性，尽管该问题具有超临界性，仍将卡法雷利-科恩-尼伦伯格框架扩展至四维非定常情形。

ABSTRACT

In this paper, we consider suitable weak solutions of incompressible Navier--Stokes equations in four spatial dimensions. We prove that the two-dimensional time-space Hausdorff measure of the set of singular points is equal to zero.

研究动机与目标

• 将卡法雷利-科恩-尼伦伯格的部分正则性理论从三维不可压缩纳维-斯托克斯方程扩展至四维情形。
• 建立合适弱解在时空中奇点集的二维豪斯多夫测度为零。
• 通过适配高维定常问题中使用的卡姆帕纳托方法，克服四维情形中紧致性论证的失效。
• 证明当某些尺度不变能量与振荡范数足够小时，速度场在该点处具有局部霍尔德正则性。
• 完整地将部分正则性结果扩展至四维非定常情形，填补了以往研究仅关注爆破时间或定常设定的空白。

提出的方法

• 采用卡姆帕纳托方法，分析抛物柱体内尺度不变能量与振荡量的衰减速率。
• 建立能量与振荡范数的弱衰减估计，随后通过Bootstrap论证迭代改进。
• 利用线性化方程的抛物型正则性理论，提升速度场均值振荡的衰减速率。
• 利用热方程在小柱体上构造速度场的调和逼近，并通过$L_{3/2}$-范数估计误差。
• 将误差项的$L_{3/2}$估计与调和部分的衰减相结合，推导出速度场的霍尔德连续性估计。
• 利用卡姆帕纳托对霍尔德连续性的刻画，得出在能量与压强振荡满足小量条件的点处的正则性结论。

实验结果

研究问题

• RQ1 卡法雷利-科恩-尼伦伯格的部分正则性结果能否扩展至四维非定常纳维-斯托克斯方程？
• RQ2 合适弱解在四维情形下奇点集的最优豪斯多夫维数为何？
• RQ3 如何克服四维情形中紧致性论证的失效以证明正则性？
• RQ4 能量与振荡范数的何种小量条件可保证四维中某点的正则性？
• RQ5 能否将六维定常纳维-斯托克斯方程中使用的Bootstrap方法适配至四维非定常问题？

主要发现

• 任何合适弱解的四维纳维-斯托克斯方程奇点集的二维时空豪斯多夫测度为零。
• 存在一通用常数$\varepsilon_0 > 0$，使得若某点处的能量量$E(r)$满足$\limsup_{r\searrow 0} E(r) \leq \varepsilon_0$，则该点为正则点。
• 若组合量$C(\rho_0) + D(\rho_0) + F(\rho_0) + G(\rho_0) \leq \varepsilon_0$，则该点为正则点。
• 在满足能量与压强振荡小量条件的任意点附近，速度场具有霍尔德连续性。
• 能量与振荡范数的衰减速率被提升至：速度场的$L^2$-范数为$\rho^{2 + 5/3}$，$|u|^3 + |p - [p]|^{3/2}$的$L^{3/2}$-范数为$\rho^{3 + 5/2}$。
• 速度场梯度在$L^{3/2}$中的最终衰减估计为$\int_{Q(z_1,r)} |\nabla u|^{3/2} \, dz \leq N r^\beta$，其中$\beta = 132/29 > 6 - 3/2$，从而可应用卡姆帕纳托准则以证明霍尔德连续性。