[论文解读] Are the incompressible 3d Navier-Stokes equations locally ill-posed in the natural energy space?

Hao Jia, Vladimír Šverák|arXiv (Cornell University)|Jun 10, 2013

Navier-Stokes equation solutions被引用 8

一句话总结

本文通过分析与尺度不变解相关的线性算子的谱性质，研究了三维不可压缩纳维-斯托克斯方程在自然能量空间中的局部不适定性。结果表明，若线性化算子存在实部为正且具有适当衰减的特征值，则即使在经典扰动理论的边界处，对于紧支集、$L^2$-初值，也会出现非唯一性和不适定性，从而为勒雷-霍普夫解的非唯一性提供了谱判据。

ABSTRACT

An important open problem in the theory of the Navier-Stokes equations is the uniqueness of the Leray-Hopf weak solutions with $L^2$ initial data. In this paper we give sufficient conditions for non-uniqueness in terms of spectral properties of a natural linear operator associated to scale-invariant solutions recently constructed in \cite{JiaSverak}. If the spectral conditions are satisfied, non-uniqueness and ill-posedness can appear for quite benign compactly supported data, just at the borderline of applicability of the classical perturbation theory. The verification of the spectral conditions seems to be approachable by relatively straightforward numerical simulations which involve only smooth functions.

研究动机与目标

• 确定三维不可压缩纳维-斯托克斯方程在自然能量空间 $L^2$ 中是否具有局部不适定性。
• 建立线性化算子 $σ$ 的充分谱条件，以保证 $L^2$-初值解的非唯一性和不适定性。
• 证明非唯一性可在经典扰动理论阈值处的紧支集、光滑初值下出现。
• 将线性化算子 $σ$ 的谱性质与多个勒雷-霍普夫弱解的存在性联系起来。
• 提供一种通过巴拿赫空间中光滑函数的数值模拟验证非唯一性的框架。

提出的方法

• 作者分析了三维纳维-斯托克斯方程的尺度不变解 $u_\sigma(x,t) = \frac{1}{\sqrt{t}} U_\sigma(\frac{x}{\sqrt{t}})$，其初值为 $-1$-齐次的 $\sigma u_0$。
• 围绕 $u_\sigma$ 对纳维-斯托克斯方程进行线性化，得到扰动 $\phi$ 所满足的时变方程，其演化由算子 $\mathcal{L}_\sigma$ 控制。
• 时间演化被变换为 $\phi_t = \mathcal{L}_\sigma \phi$ 在 $(-\infty, 0)$ 上，其中 $\mathcal{L}_\sigma$ 是一个包含 $U_\sigma$、梯度和压强校正项的线性算子。
• 在巴拿赫空间 $X = L^2 \cap L^4$ 中分析 $\mathcal{L}_\sigma$ 的谱性质，要求向量场无散，且在无穷远处具有衰减性。
• 非唯一性与 $\mathcal{L}_\sigma$ 存在实部为正且在无穷远处满足 $o(|x|^{-1})$ 衰减的特征值相关。
• 通过将解分解为尺度不变部分与扰动部分，并利用先验估计与正则性理论，将构造局部化于紧支集初值。

实验结果

研究问题

• RQ1 在何种谱条件下，三维纳维-斯托克斯系统在自然能量空间中表现出非唯一性与不适定性？
• RQ2 非唯一性是否可能在经典扰动理论阈值处的紧支集、$L^2$-初值下出现？
• RQ3 当 $\sigma$ 变化时，$\mathcal{L}_\sigma$ 谱的分支如何导致相同初值下出现多个解？
• RQ4 在多大程度上可通过光滑函数与标准巴拿赫空间技术的数值模拟验证非唯一性的谱条件？
• RQ5 若 $\mathcal{L}_\sigma$ 中存在实部为正的特征值，是否足以推出 $L^2$ 初值下的不适定性？

主要发现

• 当线性化算子 $\mathcal{L}_\sigma$ 存在实部为正且在无穷远处满足 $o(|x|^{-1})$ 衰减的特征值时，三维纳维-斯托克斯方程可在紧支集、无散初值属于 $L^2$ 的情况下出现非唯一性与不适定性。
• 谱条件 (A) —— 即 $\mathcal{L}_\sigma$ 存在实部为正且具有适当衰减的特征值 —— 足够用于构造两个不同的勒雷-霍普夫弱解，其初值为 $v_0 \in C^\infty(\mathbb{R}^3 \setminus \{0\})$ 的紧支集。
• 当 $\sigma$ 足够接近临界值 $\sigma_0$ 时，解曲线 $U_\sigma$ 经历分叉，导致自相似解的非唯一性，从而引发弱解的非唯一性。
• 所构造的两个解在 $\mathbb{R}^3 \times (0,1)$ 上光滑，且在 $L^2(\mathbb{R}^3)$ 中一致有界，确认其为勒雷-霍普夫弱解。
• $L^4$-范数的差在 $t \to 0^+$ 时发散，证明两解不相同，尽管其初值相同。
• 非唯一性的谱条件可通过仅涉及光滑函数与标准 $L^p$-型巴拿赫空间的数值模拟进行验证。