[论文解读] Existence of discretely self-similar solutions to the Navier-Stokes equations for initial value in $ L^2_{ loc}(\Bbb R^{3})$

Dongho Chae, Joerg Wolf|arXiv (Cornell University)|Oct 5, 2016

Navier-Stokes equation solutions参考文献 9被引用 3

一句话总结

本文证明了在 $L^2_{\text{loc}}(\mathbb{R}^3)$ 初始数据下，三维纳维-斯托克斯方程存在前向离散自相似（DSS）解，该类初始数据比以往研究考虑的范围更广。通过引入一种基于投影压力的新局部勒雷解框架，作者利用弱紧致性论证与自相似性约束，证明了解的全局存在性，将先前结果从 $L^3_\text{weak}$ 或莫雷空间推广至更广的函数类。

ABSTRACT

We prove the existence of a forward discretely self-similar solutions to the Navier-Stokes equations in $ \Bbb R^{3} imes (0,+\infty)$ for a discretely self-similar initial velocity belonging to $ L^2_{ loc}(\Bbb R^{3})$.

研究动机与目标

• 将三维纳维-斯托克斯方程自相似解的存在性理论拓展至超出 $L^3_\text{weak}$ 和莫雷空间的范围。
• 为 $L^2_{\text{loc}}(\mathbb{R}^3)$ 初始数据建立前向离散自相似（DSS）解的全局存在性，该类数据包含非衰减及缓慢衰减的初值分布。
• 提出一种新的局部勒雷解概念，其满足带有投影压力的局部能量不等式，以应对全局能量平衡缺失的问题。
• 克服以往方法在 $L^2_{\text{loc}}$ 情形下失效的局限性，因该情形下衰减或空间可积性不足。
• 证明解在时间上于 $L^2_{\text{loc}}(\mathbb{R}^3)$ 中的唯一性与弱连续性，确保解对所有 $t \geq 0$ 均有良好定义。

提出的方法

• 引入一类新的局部勒雷解，其满足带有投影压力项 $E^*_G$ 的局部能量不等式，该压力项由稳态斯托克斯方程导出。
• 在 $L^{\frac{2}{\text{loc}}}$ 中使用弱紧致性论证，从具 DSS 对称性的近似解序列中提取极限解。
• 应用在缩放 $x \mapsto \lambda^k x$，$t \mapsto \lambda^{2k}t$ 下的变换公式，以保持 DSS 结构，并证明解集的时间正则性。
• 通过序列收敛性与弱极限中调和函数的唯一性，建立时间上的弱连续性，即 $u \in C_w([0,\infty); L^2_{\text{loc}}(\mathbb{R}^3))$。
• 利用 $L^2$-范数的下半连续性与能量估计，控制解在所有时刻的行为。
• 使用投影压力算子 $E^*_G$ 控制局部能量不等式中的压力项，确保与无散结构的一致性。

实验结果

研究问题

• RQ1 能否为 $L^2_{\text{loc}}(\mathbb{R}^3)$ 初始数据构造三维纳维-斯托克斯方程的离散自相似解，该空间不要求无穷远处衰减？
• RQ2 在 $L^2_{\text{loc}}$ 初始数据下，由于缺乏全局能量平衡，是否会导致 DSS 解不存在？抑或可通过修正的能量不等式确保解的存在性？
• RQ3 能否通过引入带有投影压力的新局部勒雷解框架，处理可积性不足的问题，并在缩放下保持自相似性？
• RQ4 当初始数据为离散自相似且属于 $L^2_{\text{loc}}$ 时，解是否唯一且在时间上弱连续？
• RQ5 能否将适用于 $L^3_\text{weak}$ 初始数据的方法推广至更大的空间 $L^2_{\text{loc}}$，而无需更强的衰减或可积性要求？

主要发现

• 本文证明了对任意初始速度 $u_0 \in L^2_{\text{loc}}(\mathbb{R}^3)$ 且满足 $\nabla \cdot u_0 = 0$，三维纳维-斯托克斯方程存在全局前向离散自相似解。
• 该解满足带有投影压力的局部能量不等式，并属于 $C_w([0,\infty); L^2_{\text{loc}}(\mathbb{R}^3))$，确保时间上的弱连续性。
• 解集 $M(u)$ 中弱连续的时间点被证明为整个 $[0,\infty)$，确认了弱拓扑下的全局正则性。
• 该方法通过引入投影压力框架并利用 $L^2_{\text{loc}}$ 中的弱紧致性，克服了以往方法在 $L^2_{\text{loc}}$ 情形下的失效问题。
• 解满足自相似关系 $u(x,t) = \lambda^k u(\lambda^k x, \lambda^{2k}t)$ 对所有 $\lambda > 1$ 及几乎处处 $(x,t) \in \mathbb{R}^3 \times (0,\infty)$ 成立，确认了 DSS 结构。
• 通过调和函数论证与能量估计，建立了 $L^2_{\text{loc}}$ 中弱极限的唯一性，确保时间序列间的一致性。