二维欧拉方程中 generic 小尺度生成

1. 研究对象和背景

本文研究二维不可压欧拉方程在周期区域 $\mathbb{T}^2 = (\mathbb{R}/2\pi\mathbb{Z})^2$ 上的初值问题，其核心对象是标量涡度 $\omega = \partial_1 u_2 - \partial_2 u_1$，它满足如下自洽系统：

$$ \begin{cases} \partial_t \omega + u \cdot \nabla \omega = 0, \\ u = \nabla^\perp \Delta^{-1} \omega, \end{cases} \tag{1.3-1.4} $$

其中速度场 $u = (u_1, u_2)$ 由 Biot-Savart 律通过涡度非局部地重构，$\nabla^\perp = (-\partial_2, \partial_1)$。该系统等价于一个纯输运方程：令 $\Phi_t : \mathbb{T}^2 \to \mathbb{T}^2$ 为由 $u$ 生成的 Lagrange 流映射，即 $\frac{d}{dt} \Phi_t(x) = u(t, \Phi_t(x))$, $\Phi_0 = \mathrm{Id}$，则涡度沿粒子轨迹守恒：

$$ \omega(t, \Phi_t(x)) = \omega_0(x), \quad \forall t \geq 0, \, x \in \mathbb{T}^2. \tag{1.1} $$

此恒等式直接推出所有 $L^p$ 范数守恒：$\|\omega(t, \cdot)\|_{L^p} = \|\omega_0\|_{L^p}$，$p \in [1, \infty]$。然而，Yudovich 在 1974 年提出的著名猜想指出，尽管 $L^p$ 模不变，高阶导数范数却可能 generic 地无界增长，即存在一个“大集合”的初值，其对应的解在无穷时间尺度上失去正则性。该猜想的核心挑战在于：如何在没有物理边界（如流体壁）或人为对称性（如轴对称、奇点位于边界）的纯粹内部非线性动力学驱动下，严格证明这种小尺度生成（small-scale creation）的普遍性。此前工作，如 Yudovich [41]、Morgulis–Shnirelman–Yudovich [31] 以及 Elgindi–Murray–Said [18]，均依赖于边界效应或特定对称性所提供的天然停滞点（stagnation point），从而诱导拉伸；而 Kiselev–Šverák [26] 和 Zlatoš [42, 43] 构造的指数或双指数增长解也分别受限于有界域（圆盘、半平面）或有限光滑性（$C^{1,\alpha}$）。因此，在无边界的周期区域 $\mathbb{T}^2$ 上，对任意高正则性 Sobolev 初值（$s > 4$）证明 generic 的 $H^s$-范数爆炸，是长期悬而未决的根本性问题。本文旨在填补这一空白，确认 Yudovich 猜想在光滑框架下的成立：即对任意 $s > 4$，使得 $\limsup_{t \to +\infty} \|\omega(t, \cdot)\|_{H^s(\mathbb{T}^2)} = +\infty$ 的初值 $\omega_0$ 构成 $H^s_0(\mathbb{T}^2)$ 中的一个稠密 $G_\delta$ 集。

2. 主要定理或主要结果

在 $s > 4$ 的假设下，本文证明了以下主要结果：

定理 1.1：设 $s > 4$，则集合

$$ \left\{ \omega_0 \in H^s_0(\mathbb{T}^2) : \limsup_{t \to +\infty} \|\omega(t, \cdot)\|_{H^s(\mathbb{T}^2)} = +\infty \right\} $$

是 $H^s_0(\mathbb{T}^2)$ 中的一个稠密 $G_\delta$ 集。

推论 1.2：设 $k \in \mathbb{N}$，则集合

$$ \left\{ \omega_0 \in C^\infty_0(\mathbb{T}^2) : \limsup_{t \to +\infty} \|\omega(t, \cdot)\|_{C^k(\mathbb{T}^2)} = +\infty \right\} $$

是 $C^\infty_0(\mathbb{T}^2)$ 中的一个稠密 $G_\delta$ 集。

定理 1.3：设 $s > 1$，则集合

$$ \left\{ \omega_0 \in H^s(\mathbb{R}^2) \cap L^1(\mathbb{R}^2) : \int_{\mathbb{R}^2} \omega_0(x)\,dx = 0,\ \limsup_{t \to +\infty} \|\omega(t, \cdot)\|_{H^s(\mathbb{R}^2)} = +\infty \right\} $$

是 $H^s(\mathbb{R}^2) \cap L^1(\mathbb{R}^2)$ 中的一个稠密 $G_\delta$ 集。

备注 1.4：在 $\mathbb{R}^2$ 情形下，其增长速率有明确下界：对定理 1.3 中的初值，存在常数 $C > 0$，使得 $\|\omega(t, \cdot)\|_{H^s(\mathbb{R}^2)} \geq C t^s$ 对所有充分大的 $t$ 成立。

3. 研究方法、关键技术和核心工具

本文的核心技术障碍在于：在无边界、无对称性的 $\mathbb{T}^2$ 上，无法利用停滞点进行显式的几何拉伸构造，且标准能量估计仅能给出指数型上界，无法揭示 generic 下的下界增长。作者的真正创新点在于构建了一个全新的、融合了 Lagrangian 动力学、微局部分析与泛函分析的三重框架。

第一，Lagrangian 流的完全拟线性化：作者引入 Shnirelman 提出的 Alinhac 拟复合算子 $\chi^* f := f \circ \chi - T_{\nabla f \circ \chi} \chi$，并定义关键向量场 $X := T_{(D\Phi_t)^{-1}} \Phi_t$。通过精细计算（命题 4.1, 4.3），证明 $X$ 满足一个闭合的演化方程：

$$ \partial_t X + \nabla^\perp Q_{\nabla \omega_0} \cdot X = \nabla^\perp Q_{\omega_0} - R, $$

其中 $Q$ 是为拟微分 Laplace-Beltrami 算子 $\Delta_\Phi^{\text{para}}$ 构造的精确参数解（parametrix），$R$ 是一个高阶光滑余项。该方程的关键在于，它将原本高度非线性的 Lagrangian 动力学 $\Phi_t$ 完全“抛物化”（paralinearized），使增长机制被一个线性算子 $\nabla^\perp Q_{\nabla \omega_0} \cdot$ 所主导。

第二，Hölder 型尖点（cusps）的微局部分析：为从上述方程中提取定量下界，作者设计了一类测试函数 $V = (\omega_0 - m)^\alpha$，其中 $m = \inf \omega_0$，$\alpha > 0$。这类函数在最小值点附近表现为 $|x|^{2\alpha}$，具有明确的 Fourier 渐近行为（引理 5.5）：

$$ \widehat{V}(n) \sim C_\alpha |n|^{-(2+2\alpha)}, \quad |n| \to \infty. $$

作者证明（命题 5.8），对于属于特定稠密集 $\mathcal{H}^s(\mathbb{T}^2)$ 的初值 $\omega_0$（其 Fourier 系数满足 $\Re \widehat{\omega}_0(n) \gtrsim (|n| \ln |n|)^{-1} |n|^{-s}$），$V$ 可分解为 $V = H + R$，其中 $H = \chi q^\alpha$ 是主奇异部分，$R$ 是更光滑的余项。这使得后续的频谱分析成为可能。

第三，基于 Schauder 不动点与 Baire 纲的双重论证：作者首先建立一个关键二分法（命题 8.1）：对任意 $\omega_0 \in \mathcal{H}^s$，要么 $\|\omega(t)\|_{H^s}$ 无界，要么逆流映射 $\varphi_t = \Phi_t^{-1}$ 的 Lipschitz 范数 $\|D\varphi_t\|_{L^\infty}$ 无界。证明此二分法的核心是 Schauder 不动点定理：作者构造一个映射 $F(f) = \tilde{f} + \eta(\tilde{f})$，其中 $\tilde{f}$ 是 $f$ 在一个一维子空间上的投影，$\eta$ 是一个精心设计的、能与 $\varphi_t$ 的拉伸方向共振的尖点型扰动（命题 8.2）。若假设稳定性成立，则 $F$ 应有一个不动点 $f^*$，但这会迫使 $P\eta(f^*) = 0$，与 $\eta$ 的构造（保证 $\widehat{\eta}(e_1) \neq 0$）矛盾。最后，将此二分法与 Koch [27] 的 Lagrangian 拉伸到 Eulerian 爆炸的机制（命题 9.1）相结合，并应用 Hani [20] 引入的 Baire 纲论证，即可得出结论：不稳定的初值集是 $G_\delta$ 且稠密。

4. 与之前工作的比较

本文与既有工作的比较可从多个维度展开：

1. 与边界/对称性依赖的工作相比：Yudovich [41]、Morgulis–Shnirelman–Yudovich [31] 以及 Elgindi–Murray–Said [18] 的工作均严重依赖于物理边界（如矩形域的角点）或特定对称性（如轴对称）来提供停滞点，从而实现几何拉伸。本文则彻底摆脱了这些外部约束，在纯粹的周期区域 $\mathbb{T}^2$ 上，仅依靠欧拉方程内在的非线性输运结构，首次实现了 generic 小尺度生成的严格证明，这是根本性的推进。

2. 与构造性增长解的工作相比：Kiselev–Šverák [26] 在单位圆盘上构造了双指数增长解，Zlatoš [42] 在 $\mathbb{T}^2$ 上对 $C^{1,\alpha}$ 解证明了指数增长。这些工作针对的是特定初值，而非 generic 集合。本文则将结论提升至拓扑范畴，证明了不稳定初值在 Sobolev 空间中是稠密 $G_\delta$ 集，其强度远超单个构造解。

3. 与 $\mathbb{R}^2$ 上的工作相比：定理 1.3 将阈值降至 $s > 1$，这得益于 Shankar [36] 发现的 $\mathbb{R}^2$ 上的尺度对称性所诱导的“无穷远停滞点”。该性质允许作者使用更简单的参数解（引理 11.3），并获得 $t^s$ 的明确增长下界（备注 1.4）。相比之下，$\mathbb{T}^2$ 上缺乏此类对称性，导致分析复杂得多，阈值被限制在 $s > 4$（备注 1.7 指出 $1 < s < 3$ 仍是开放问题），这是本文的主要代价与局限。

4. 与方法论相比：此前关于欧拉方程正则性的研究多采用能量估计、模态分解或线性化稳定性分析。本文则开创性地将 Alinhac 拟复合算子、微局部分析（尖点的 Fourier 渐近）、以及泛函分析（Schauder 不动点、Baire 纲）深度融合。特别是，将 Lagrangian 流 $\Phi_t$ 的演化方程完全拟线性化，并用 Hölder 尖点作为探针来提取增长信息，是本文独有的、区别于所有前人工作的核心技术路线。