[论文解读] Non-uniqueness of Weak Solutions to Hyperviscous Navier-Stokes Equations -- On Sharpness of J.-L. Lions Exponent

Tianwen Luo, Edriss S. Titi|arXiv (Cornell University)|Aug 23, 2018

Navier-Stokes equation solutions参考文献 16被引用 8

一句话总结

该论文证明了在分数阶拉普拉斯粘性 (−Δ)θ 下，3D 超粘性纳维-斯托克斯方程的弱解不唯一，其中指数 θ < 5/4，从而证明了 J.-L. Lions 所提出的临界指数 5/4 是精确的。通过使用具有间歇性特征的贝尔特拉米流作为构建块的凸积分方案，作者构造了无穷多个紧支撑的弱解，包括初始数据为零的解，通过在构建块中控制粘性引起的误差项，利用集中与振荡机制实现。

ABSTRACT

Abstract: Using the convex integration technique for the three-dimensional Navier–Stokes equations introduced by Buckmaster and Vicol, it is shown the existence of non-unique weak solutions for the 3D Navier–Stokes equations with fractional hyperviscosity (-Δ)θ, whenever the exponent θ is less than Lions’ exponent 5/4, i.e., when θ&lt;5/4.

研究动机与目标

• 在 3D 超粘性纳维-斯托克斯方程的弱解唯一性背景下，验证 J.-L. Lions 指数 5/4 的精确性。
• 将 Buckmaster 和 Vicol 在标准纳维-斯托克斯方程中得到的非唯一性结果，推广至分数阶超粘性情形。
• 对于 θ < 5/4，建立存在无穷多个在时间上紧支撑且初始数据为零的弱解。
• 分析分数阶粘性项 (−Δ)θ 在凸积分框架中对误差项的控制作用。
• 通过证明当 θ ≥ 5/4 时误差控制失效，表明临界阈值 θ = 5/4 是精确的。

提出的方法

• 将 Buckmaster 和 Vicol 的凸积分框架适配至超粘性系统，使用具有间歇性特征的贝尔特拉米流作为构建块。
• 构造一列近似解 (vq, Rq)，满足带有应力张量 Rq 的扰动系统，并通过迭代逐步改善误差控制。
• 采用频率局部化、具有间歇性特征的贝尔特拉米波构造，通过调节参数 λ（频率）、σ（间距）、r（模态数量）和 µ（时间振荡）实现基于尺度律的优化。
• 通过平衡间歇性流的集中性与高频振荡，控制粘性误差项 ν(−Δ)θwq+1，确保当 θ < 5/4 时误差项衰减。
• 利用傅里叶投影与 Littlewood-Paley 分解估计误差项的 Lp 范数，特别关注关键项 ∥|∇|2θ−1wq+1∥L∞tLp x。
• 应用对称的反散度算子以重构应力张量，确保在整个迭代过程中保持无散度结构。

实验结果

研究问题

• RQ1 在 3D 超粘性纳维-斯托克斯方程中，J.-L. Lions 的指数 5/4 是否为弱解唯一性的精确临界值？
• RQ2 能否通过凸积分技术在 θ < 5/4 时建立弱解的非唯一性？
• RQ3 间歇性贝尔特拉米流在凸积分方案中如何控制粘性误差项 ν(−Δ)θv？
• RQ4 频率参数 λ 与粘性指数 θ 的尺度关系如何共同决定误差项的可控性？
• RQ5 该构造能否产生在时间上紧支撑且初始数据为零的弱解，且适用于 θ < 5/4？

主要发现

• 对于任意 θ ∈ [1, 5/4)，存在无穷多个在时间上紧支撑的 3D 超粘性纳维-斯托克斯方程的弱解。
• 通过凸积分方案建立非唯一性：该方案可构造出在 W^{2θ−1,1}_x 范数下与给定光滑、紧支撑的无散向量场任意接近的弱解。
• 临界阈值 θ = 5/4 是精确的：当 θ ≥ 5/4 时，粘性误差项 ∥|∇|2θ−1wq+1∥L∞tLp x 失去控制，导致迭代无法收敛。
• 存在无穷多个初始数据为零的弱解，通过构造接近非平凡紧支撑初始场的解得以证明。
• 通过选择参数 λq+1 足够大，并令 r = λαq+1, σ = λ−(α+1)/2q+1, µ = λ(5α+1)/4q+1，其中 α ∈ (max{0, 2(2θ−1)/3}, 1)，可满足迭代引理中的误差估计 (4)、(6) 和 (7)。
• 该构造在 C0_t L2_x ∩ L∞_t W^{2θ−1,1}_x 中产生弱解，确认了非唯一性成立的正则性阈值。