[论文解读] Minimal $L^3$-initial data for potential Navier-Stokes singularities

Hao Jia, Vladimír Šverák|arXiv (Cornell University)|Jan 8, 2012

Cosmology and Gravitation Theories被引用 5

一句话总结

本文通过一种基本的能量方法和一种新颖的分解技术，建立了潜在纳维-斯托克斯方程奇点的最小 $L^3$-范数初值的存在性，利用 $t=0$ 处 $L^2_{\text{loc}}$ 中的强连续性估计，克服了 $L^3$ 中缺乏紧致性的障碍。关键结果是：在平移和缩放模下，此类最小初值集合的紧致性。

ABSTRACT

We give a simple proof of the existence of initial data with minimal $L^3$ norm for potential Navier-Stokes singularities, recently established in (arXiv:1012.0145v2) with techniques based on profile decomposition. Our method is based on suitable splittings and energy methods.

研究动机与目标

• 建立导致纳维-斯托克斯方程有限时间爆破的最小 $L^3$-范数初值的存在性。
• 克服嵌入关系 $L^3_{\text{loc}} \hookrightarrow L^2_{\text{loc}}$ 所导致的紧致性缺失，该问题阻碍了基于 $\dot{H}^{1/2}$ 的标准紧致性论证。
• 提供一种比以往工作更初等的证明，避免使用谱分解技术，转而采用能量方法和解的分解技术。
• 在平移和缩放模下，恢复最小爆破初值集合在 $L^3$ 中的紧致性，这是早期工作中未建立的结果。
• 将 [13] 中的框架从 $\dot{H}^{1/2}$ 扩展到临界 $L^3$ 空间，从而强化了潜在奇点理论。

提出的方法

• 引入一个关键引理，表明对于任意具有 $L^3$ 初值的勒雷解，差值 $\|u(\cdot,t) - e^{t\Delta}u_0\|_{L^2(B_1(x_0))}$ 有界于一个函数 $h(t)$，满足 $\lim_{t\to 0^+} h(t) = 0$，且对所有 $x_0$ 一致成立。
• 将解分解为线性部分 $e^{t\Delta}u_0$ 和余项 $w$，其中 $w$ 满足一个受控 $L^2$-范数的扰动方程。
• 对余项 $w$ 应用能量估计，以在 $t=0$ 附近对空间和时间上局部球体内的 $L^2$-范数实现一致控制。
• 利用 $L^3$ 和 $L^2_{\text{loc}}$ 中的弱紧致性与弱收敛性，从一系列奇解中提取出极限解 $u$。
• 利用强连续性估计（引理 1.1）和弱收敛性，证明极限解 $u$ 在 $L^2_{\text{loc}}$ 中继承了初值 $u_0$，并满足勒雷解的条件。
• 应用勒雷解的唯一性结果（引理 2.2），得出极限解也必须是奇解，因此 $\|u_0\|_{L^3} = \rho_{\max}$，且由 $L^3$ 的一致凸性可推出 $L^3$ 中的强收敛性。

实验结果

研究问题

• RQ1 能否在不依赖谱分解的前提下，建立潜在纳维-斯托克斯方程奇点的最小 $L^3$-范数初值的存在性？
• RQ2 能否通过基于能量的方法而非谱分解，克服 $L^3_{\text{loc}} \hookrightarrow L^2_{\text{loc}}$ 中的紧致性缺失？
• RQ3 在平移和缩放模下，满足 $\|u_0\|_{L^3} = \rho_{\max}$ 且发生有限时间爆破的初值集合是否紧致？
• RQ4 能否以 $\|u_0\|_{L^3}$ 的函数形式，统一量化解在 $t=0$ 处 $L^2_{\text{loc}}$ 中的强连续性？
• RQ5 勒雷解在 $L^3$ 设置下的唯一性是否允许从一系列奇解中构造出最小爆破解？

主要发现

• 本文通过一种基本的能量方法，证明了潜在纳维-斯托克斯方程奇点的最小 $L^3$-范数初值的存在性，避免了对谱分解的依赖。
• 提出了一项新的强连续性估计（引理 1.1），表明 $\|u(\cdot,t) - e^{t\Delta}u_0\|_{L^2(B_1(x_0))} \leq h(t)$，其中 $h(t) \to 0$ 当 $t \to 0^+$，且对所有 $x_0$ 一致成立，仅依赖于 $\|u_0\|_{L^3}$。
• 满足 $\|u_0\|_{L^3} = \rho_{\max}$ 且发生有限时间爆破的初值集合 $\mathcal{M}$ 在平移和缩放模下于 $L^3$ 中是紧致的。
• 对 $\mathcal{M}$ 中任意序列，经过适当的缩放和平移后，其极限在 $L^3$ 中强收敛，这是由于 $L^3$ 的一致凸性及范数收敛性所保证。
• 极限解 $u$ 是一个初值为 $u_0$ 的勒雷解，其在时间 $t=1$ 处的奇点意味着从 $u_0$ 启动的弱解也必须发生爆破。
• 该结果表明，若所有 $L^3$ 初值均导致全局解，则解的导数的逐点有界性受 $\|u_0\|_{L^3}$ 控制，如推论 4.1 所示。