[论文解读] The generalized Caffarelli-Kohn-Nirenberg Theorem for the hyperdissipative Navier-Stokes system

Maria Colombo, Camillo De Lellis+1 more|arXiv (Cornell University)|Dec 19, 2017

Navier-Stokes equation solutions参考文献 23被引用 39

一句话总结

本文为超耗散的纳维-斯托克斯方程（带有分数阶耗散 $(-\Delta)^\alpha$，其中 $1 < \alpha \leq \frac{5}{4}$）建立了卡法雷利-科恩-尼雷纳德正则性定理的广义版本。通过引入合适弱解的概念并证明过剩衰减估计，作者证明了此类解的奇点集在维度 $5 - 4\alpha$ 下具有抛物豪斯多夫测度零，从而将经典结果推广至超耗散情形。

ABSTRACT

We introduce a notion of suitable weak solution of the hyperdissipative Navier-Stokes equations and we achieve a corresponding extension of the regularity theory of Caffarelli-Kohn-Nirenberg.

研究动机与目标

• 将卡法雷利-科恩-尼雷纳德正则性理论推广至超耗散纳维-斯托克斯方程，其中 $1 < \alpha \leq \frac{5}{4}$，此时经典解的全局存在性仍为开放问题。
• 为适应超耗散情形，定义一种合适的弱解概念，确保弱-强唯一性，并支持紧致性与衰减技术的应用。
• 证明此类解的奇点集在维度 $5 - 4\alpha$ 下具有抛物豪斯多夫测度零，推广经典情形下 $\alpha = 1$ 时的 $\mathcal{H}^1$ 结果。
• 解决经典解在首次爆破时刻奇点集大小的开放问题，在超耗散情形下证明 $\mathcal{H}^{5-4\alpha}$-测度为零，其中 $\alpha \in (1, \frac{5}{4}]$。

提出的方法

• 为带有 $(-\Delta)^\alpha$ 耗散的超耗散纳维-斯托克斯系统引入一种新的合适弱解概念，确保弱-强唯一性，并与能量估计相容。
• 为合适弱解建立一个抛物能量不等式，这对于紧致性与衰减论证至关重要。
• 应用紧致性论证，证明奇点集为相对闭集，并在抛物豪斯多夫构造下具有受控测度。
• 推导解在抛物柱体 $Q_r(x_0,t_0)$ 中的过剩衰减估计，这些估计是证明 $\varepsilon$-正则性定理的核心。
• 利用线性化方程估计与扩展问题中的 Poincaré 型不等式，控制解在潜在奇点附近的性质。
• 采用调和延拓方法与泊松核表示，将分数阶拉普拉斯算子与高一维空间中调和延拓的边界行为联系起来，从而对耗散项实现精确估计。

实验结果

研究问题

• RQ1 卡法雷利-科恩-尼雷纳德正则性定理能否推广至超耗散纳维-斯托克斯系统，其中 $1 < \alpha \leq \frac{5}{4}$？
• RQ2 在超耗散情形下，合适弱解的奇点集的精确抛物豪斯多夫维数为何？
• RQ3 在经典解首次爆破时刻，奇点集是否具有 $\mathcal{H}^{5-4\alpha}$-测度零，其中 $\alpha \in (1, \frac{5}{4}]$？
• RQ4 能否为超耗散系统构建一种合适的弱解理论，使其保持弱-强唯一性，并支持紧致性与衰减技术的应用？
• RQ5 柱体 $Q_r(x_0,t_0)$ 中的抛物标度 $r^{2\alpha}$ 如何影响奇点集的正则性与测度性质？

主要发现

• 本文证明：对于任意无散度初值 $u_0 \in L^2$，存在超耗散纳维-斯托克斯系统（$1 < \alpha \leq \frac{5}{4}$）的勒雷-霍普夫弱解 $(u,p)$，其奇点集 $\mathrm{Sing}\,u$ 在维度 $5 - 4\alpha$ 下具有抛物豪斯多夫测度零，即 $\mathcal{P}^{5-4\alpha}(\mathrm{Sing}\,u) = 0$。
• 该结果将经典卡法雷利-科恩-尼雷纳德定理（$\alpha = 1$）推广至超耗散情形，给出了奇点集的精确维度。
• 该定理表明：在经典解首次爆破时刻，奇点集具有 $\mathcal{H}^{5-4\alpha}$-测度零，从而解决了 $\alpha \in (1, \frac{5}{4}]$ 情形下的一个关键开放问题。
• 当 $\alpha = \frac{5}{4}$ 时，结果表明奇点集至多可数（因为 $\mathcal{P}^0$ 为计数测度），暗示此情形下可能存在全局正则性。
• 证明依赖于基于过剩衰减估计的新 $\varepsilon$-正则性定理，该定理控制了解在抛物柱体中速度场的振荡。
• 作者建立了分数阶拉普拉斯算子 $(-\Delta)^\alpha$ 与上半空间中调和延拓边界导数之间的精确联系，通过泊松核与动量条件实现精确估计。