A proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation

这是一份关于论文《A PROOF OF VISHIK'S NONUNIQUENESS THEOREM FOR THE FORCED 2D EULER EQUATION》（受迫二维欧拉方程 Vishik 非唯一性定理的证明）的详细技术总结。

1. 研究背景与问题 (Problem)

• 核心问题：二维欧拉方程（2D Euler Equation）在特定正则性类中的解的唯一性问题。
• Yudovich 唯一性定理：已知对于涡度（vorticity）属于 $L^1 \cap L^\infty$ 的初始数据，受迫或无受迫的二维欧拉方程存在全局唯一解。
• 开放问题：当涡度属于 $L^1 \cap L^p$ 且 $2 < p < \infty$ 时，解的唯一性是否成立？这是一个长期未解决的难题。
• Vishik 的突破：Vishik 在 2018-2019 年的工作中证明了对于受迫的二维欧拉方程，在 $L^1 \cap L^p$ ($2 < p < \infty$) 类中存在非唯一解。他的证明依赖于构造一个“自相似不稳定的涡旋”（self-similarly unstable vortex）。
• 本文目标：提供一个更简单、更清晰的证明，简化 Vishik 原证明中关于不稳定涡旋构造的复杂步骤，并展示该构造的鲁棒性。

2. 方法论 (Methodology)

本文的核心方法论是将 Vishik 的证明分为三个主要步骤，并对第一步进行了根本性的简化：

步骤 1：欧拉坐标系下的不稳定性构造 (Eulerian Instability)

这是本文最大的创新点。Vishik 原证明通过修改幂律涡旋（power-law vortex）$\omega \sim |x|^{-\alpha}$ 来构造不稳定涡旋，过程极其复杂。

• 本文策略：
  1. 分段常数涡旋 (Piecewise Constant Vortex)：首先构造一个分段常数（piecewise constant）的涡旋剖面 $\bar{w}(r)$。该涡旋由两个同心圆环组成，涡度值分别为常数 $c$ 和 $-1$。
  2. 线性化与特征值问题：将瑞利稳定性方程（Rayleigh stability equation）应用于该分段常数涡旋。由于涡度导数 $\partial_r \bar{w}$ 仅在两个半径 $r_1, r_2$ 处非零（即狄拉克 $\delta$ 函数），特征值问题简化为一个 $2 \times 2$ 的线性代数系统 $Ah = zh$。
  3. 显式计算：通过选择适当的参数 $r_1, r_2$ 和 $c$，证明该矩阵 $A$ 的特征值 $z$ 具有正虚部（$\Im z > 0$），从而对应于欧拉坐标系下的指数增长模式（$\Re \lambda > 0$）。
  4. 正则化 (Regularization)：利用不动点定理（Fixed Point Argument），将上述分段常数涡旋正则化为一个光滑且紧支集的涡旋 $\bar{\Omega} \in C^\infty_c$。这一步证明了光滑涡旋在 $\epsilon$ 足够小时依然保持不稳定性。

步骤 2：自相似不稳定性 (Self-similar Instability)

• 坐标变换：引入自相似变量 $\tau = \frac{1}{ab}\log t$ 和 $X = \frac{x}{(abt)^{1/a}}$，将欧拉方程转化为自相似欧拉方程。
• 谱分析：证明在 $b \to 0$ 的极限下，自相似算子 $L_b$ 的谱收敛于欧拉算子 $L$ 的谱。利用算子理论（Fredholm 算子、紧扰动），证明存在 $b>0$ 使得 $L_b$ 在右半平面拥有特征值，从而产生自相似不稳定性。
• 简化：由于步骤 1 中构造的涡旋具有紧支集和简单的结构，使得谱分析的估计更加直接。

步骤 3：非线性不稳定性 (Nonlinear Instability)

• Duhamel 公式：利用 Duhamel 公式处理非线性项。
• 能量估计：在加权 Sobolev 空间 $Y$ 中建立能量估计，证明非线性修正项 $\Omega_{cor}$ 的增长速度慢于线性不稳定项 $\Omega_{lin}$（即 $\|\Omega_{cor}\| = o(e^{\Re \lambda \tau})$）。
• 解的构造：通过取极限 $k \to \infty$（对应 $t \to 0$），构造出两个不同的解 $\omega_0$ 和 $\omega_1$，它们都从 $\omega(0)=0$ 出发，但在 $t>0$ 时分离。

3. 主要贡献 (Key Contributions)

1. 构造方法的简化：

   • 摒弃了 Vishik 原证明中复杂的幂律涡旋修改，转而使用分段常数涡旋。
   • 将寻找不稳定涡旋的问题从复杂的偏微分方程谱分析简化为线性代数特征值问题（$2 \times 2$ 矩阵），使得计算过程更加透明和初等。
   • 通过不动点论证将分段常数解平滑化，避免了直接处理奇异函数的困难。

2. 证明结构的清晰化：

   • 整个证明逻辑更加连贯，特别是步骤 2 和 3 由于基础涡旋结构的简单性（紧支集、光滑），使得估计更加容易控制。
   • 提供了完整的自包含证明（self-contained proof），减少了对原始文献中复杂细节的依赖。

3. 鲁棒性与推广潜力：

   • 作者指出，这种基于分段常数涡旋的构造方法具有鲁棒性，有望推广到更一般的设置，例如广义 SQG（Surface Quasi-Geostrophic）方程（$\alpha$ 接近 1 的情况），尽管 SQG 本身（$\alpha=1$）仍面临挑战（因为速度算子不再是平滑算子）。
   • 该构造也适用于三维纳维 - 斯托克斯方程（3D Navier-Stokes）的非唯一性证明（如 Albritton, Brué, Colombo 的工作）。

4. 主要结果 (Results)

• 定理 1.1 (非唯一性定理)：
  对于任意 $2 < p < \infty$，存在一个外力 $f \in L^1_t(L^1 \cap L^p)$（且其对应的速度势 $g \in L^1_t L^2$），使得受迫二维欧拉方程从初始数据 $\omega(0)=0$ 出发，存在两个不同的解 $\omega_0, \omega_1 \in L^\infty_t(L^1 \cap L^p)$。

  • 这两个解对应的速度场 $v_0, v_1$ 属于 $L^\infty_t L^2$。
  • 对于 $t > 0$，外力 $f$ 和主解 $\omega_0$ 实际上是 $C^\infty_c$（光滑紧支集）的。
  • 第二个解 $\omega_1$ 在 $t>0$ 时可以提升到更高的正则性（$H^k$ 类）。

• Yudovich 定理的尖锐性：
  该结果证明了 Yudovich 唯一性定理中 $p=\infty$ 的条件是尖锐的。一旦 $p < \infty$，即使有外力作用，唯一性也会失效。

5. 意义与影响 (Significance)

• 理论突破：彻底解决了受迫二维欧拉方程在 $L^p$ ($p<\infty$) 类中的非唯一性问题，确立了 Yudovich 唯一性条件的边界。
• 方法论价值：提供了一种新的、更易于处理的构造不稳定涡旋的范式。将复杂的 PDE 谱问题转化为代数问题，降低了该领域研究的门槛，使得后续关于非唯一性的研究（如正则性界限、三维情形、其他流体模型）更加可行。
• 物理启示：揭示了在低正则性（$L^p, p<\infty$）下，流体动力学方程对初始条件的极端敏感性，以及外力在触发这种不稳定性中的关键作用。
• 未来方向：为研究更奇异的流体模型（如 SQG 方程）中的非唯一性提供了潜在的构造工具，尽管这些模型中速度算子的非局部性带来了新的挑战。

总结来说，这篇论文通过引入“分段常数涡旋”这一巧妙的简化构造，重新证明并简化了 Vishik 关于受迫二维欧拉方程非唯一性的著名定理，不仅澄清了证明逻辑，也为未来相关领域的研究开辟了新的路径。