[论文解读] Some new regularity criteria for the 3D Navier-Stokes Equations

Daoyuan Fang, Chenyin Qian|arXiv (Cornell University)|Dec 11, 2012

Navier-Stokes equation solutions参考文献 19被引用 11

一句话总结

本文通过仅利用速度场的第三分量 $ u_3 $ 及其导数，为三维纳维-斯托克斯方程的勒雷-霍普夫弱解建立了新的正则性准则。它引入了涉及 $ u_3 $ 和 $ \nabla u_3 $ 的 $ L^q $、$ L^{\beta} $ 与 $ L^{\beta_2} $ 范数的参数依赖性条件，证明了在超越普罗迪-塞林条件的改进可积性阈值下实现全局正则性，尤其通过在临界勒贝格空间中引入 $ \nabla u_3 $，实现了更优结果。

ABSTRACT

Several types of new regularity criteria for Leray-Hopf weak solutions $u$ to the 3D Navier-Stokes equations are obtained. Some of them are based on the third component $u_3$ of velocity under Prodi-Serrin index condition, another type is in terms of $ω_3$ and $\partial_3u_3$ with Prodi-Serrin index condition. And a very recent work of the authors, based on only one of the nine entries of the gradient tensor, is renovated.

研究动机与目标

• 建立勒雷-霍普夫弱解在何种充分条件下可实现正则性（即光滑且唯一）。
• 将正则性要求从整个速度场降低至仅第三分量 $ u_3 $，同时保持或提升可积性阈值。
• 将 $ u_3 $ 的梯度，特别是 $ \partial_3 u_3 $，纳入正则性准则，以获得优于以往基于分量的准则的结果。
• 通过引入 $ \epsilon $-依赖的可积性条件，推广近期成果，实现已知正则性阈值之间的插值。
• 对基于梯度张量单个分量的早期准则进行精细化与更新，提升可接受可积性指数的范围。

提出的方法

• 通过纳维-斯托克斯方程弱形式中的能量方法与分部积分，推导 $ \nabla u $ 的 $ L^2 $-范数的先验估计。
• 应用赫尔德不等式与插值技巧，将涉及 $ u_3 $ 与 $ \partial_3 u_3 $ 的非线性项用 $ L^q $、$ L^{\alpha} $ 与 $ L^{\beta} $ 范数进行控制。
• 引入参数化的指数族 $ q, \sigma, r $（以及 $ \mu, \alpha_2, \beta_2 $），以控制非线性项的增长，并确保其在时空上的可积性。
• 利用格朗沃尔不等式控制 $ \|\nabla u\|_{L^2}^2 $ 的演化，依赖于 $ \|\partial_3 u_3\|_{L^{\alpha_2}}^{8/(3(r-2))} $ 及相关范数的可积性。
• 施加如 $ \frac{3}{\alpha_2} + \frac{3r-6}{4} = 2 - \epsilon $ 的条件，以确保 $ \partial_3 u_3 $ 的指数为次临界且可 summable。
• 通过改进各向异性勒贝格空间与嵌入不等式，适配并扩展先前工作（如 [7]、[5]、[26]）中的技术。

实验结果

研究问题

• RQ1 当普罗迪-塞林条件不满足时，是否仅通过第三分量 $ u_3 $ 即可保证三维纳维-斯托克斯解的正则性？
• RQ2 当 $ u_3 $ 单独无法满足普罗迪-塞林指数时，对 $ \partial_3 u_3 $ 或其范数的哪些附加条件足以恢复正则性？
• RQ3 如何构造 $ \epsilon $-依赖的可积性条件，以在已知正则性阈值之间实现插值并提升可接受指数的范围？
• RQ4 是否可通过仅考虑梯度张量 $ \nabla u $ 的一个分量（如 $ \partial_3 u_3 $）而非整个梯度，来细化正则性准则？
• RQ5 在何种 $ u_3 $ 与 $ \partial_3 u_3 $ 可积性之间达到最优平衡，可确保弱解的全局正则性？

主要发现

• 本文在 $ u_3 \notin L^t(0,T;L^s) $ 且满足 $ \frac{2}{t} + \frac{3}{s} \leq \frac{5}{8} $ 的条件下，建立了新的正则性准则，但若 $ \partial_3 u_3 \in L^{\beta_2}(0,T;L^{\alpha_2}) $ 且满足 $ \frac{3}{\alpha_2} + \frac{3r-6}{4} = 2 - \epsilon $ 与 $ \epsilon \in (0, \frac{1}{2}] $，则正则性依然成立。
• 当 $ \epsilon = \frac{1}{2} $ 时，结果恢复并改进了文献 [7] 中的定理 1.8，表明若 $ \frac{3}{\alpha_2} + \frac{3r-6}{4} = \frac{3}{2} $，则 $ \partial_3 u_3 \in L^{\beta_2}(0,T;L^{\alpha_2}) $ 可推出正则性。
• 证明了一项新准则：当 $ u_3 $ 与 $ \partial_3 u_3 $ 分别属于 $ L^q(0,T;L^q) $ 与 $ L^{\beta_2}(0,T;L^{\alpha_2}) $，且满足 $ \frac{8}{3(r-2)} > \frac{2\mu}{3 - \mu} $ 时，可确保 $ \partial_3 u_3 $ 的指数可积。
• 作者表明，只要 $ \|\partial_3 u_3\|_{L^{\alpha_2}}^{8/(3(r-2))} \in L^1(0,T) $，则通过格朗沃尔不等式可保证 $ \|\nabla u\|_{L^2}^2 $ 在时间上有界，而该条件由 $ \epsilon $-依赖条件所保证。
• 本文在 Cao 与 Titi 及 Zhou 与 Pokorný 的早期结果基础上实现改进，允许 $ u_3 $ 属于比以往要求更广的函数空间，同时仍能确保正则性。
• 该方法成功扩展了普罗迪-塞林条件，通过引入 $ \nabla u_3 $，表明即使 $ u_3 $ 不满足普罗迪-塞林指数，其梯度仍可补偿以恢复正则性。