Nontrivial weak solutions of the stationary KdV equation in sharp $L^p$ spaces

1. 研究问题 (Problem)

本文旨在研究静止 Korteweg-de Vries (KdV) 方程在低正则性空间中的弱解存在性与正则性。静止 KdV 方程定义为：
$$6uu' - u^{(3)} = 0$$
其中 $u: \mathbb{T} \to \mathbb{R}$ 定义在环面上。

核心挑战：

• 正则性阈值： 对于非静止（含时）KdV 方程，低正则性解（如 $H^{-s}$）的研究已有进展，但静止情形下的低正则性解（特别是 $L^p$ 空间，$p<2$）尚未被充分探索。
• 弱解定义的困难： 当 $u \in L^p(\mathbb{T})$ 且 $p < 2$ 时，非线性项 $u^2$ 在经典意义下无法定义（因为 $L^p \cdot L^p \not\subset L^1$）。传统的弱解定义要求 $u \in L^2$，但这会立即导致解的光滑性（根据刚性定理），从而无法构造非光滑解。
• 凸积分法的障碍： 将凸积分（Convex Integration）方法应用于色散方程（如 KdV）时，通常面临“色散误差”（Dispersion Error）导致的导数丢失问题。在一维情形下，标准的间歇性（Intermittency）构建块无法提供足够的衰减来抵消二阶导数带来的增长，导致误差无法控制。

2. 方法论 (Methodology)

作者采用**凸积分（Convex Integration）框架，结合拟微积分（Paraproduct）**理论来克服上述障碍。

2.1 弱解的新定义

为了处理 $u \in L^p$ ($p<2$) 时 $u^2$ 的定义问题，作者借鉴了 2D 静止 Navier-Stokes 方程的处理方式，引入了**弱拟积分解（Weak Paraproduct Solutions）**的概念：

• 利用 Littlewood-Paley 投影算子 $P_{2^j}$ 将 $u$ 分解为频率分量。
• 定义非零均值拟积（Paraproduct） $P_{\neq 0}(u^2)$ 为频率分量乘积的绝对收敛级数。
• 弱解定义为满足分布意义下的方程：
  $$-\langle u, \phi^{(3)} \rangle + 3\langle P_{\neq 0}(u^2), \phi' \rangle = 0$$
  其中 $\phi$ 为光滑测试函数。

2.2 凸积分方案与误差控制

作者构建了一个迭代序列 $u_{q+1} = u_q + w_{q+1}$，其中 $w_{q+1}$ 是精心设计的扰动项。

• 松弛方程： 考虑带有误差项 $E$ 的松弛方程 $3(u^2)' - u^{(3)} = E'$。
• 误差分解： 新误差 $E_{q+1}$ 被分解为三部分：
  1. 振荡误差 (Oscillation Error, $E_O$)： 来自非线性项的近似。
  2. Nash 误差 ($E_N$)： 来自线性项与扰动的相互作用。
  3. 色散误差 (Dispersion Error, $E_D$)： 来自 $w_{q+1}$ 的三阶导数项 $-w_{q+1}^{(3)}$。

2.3 关键创新：负索伯列夫范数与间歇性

这是本文解决一维色散方程凸积分难点的核心技术：

• 负正则性范数： 传统的凸积分在 $L^p$ 或 $C^\alpha$ 范数下估计误差。对于色散项 $E_D = -w_{q+1}''$（注意：原文公式中写为 $-w''$，但在 KdV 三阶导数背景下，通常涉及高阶导数，此处作者利用负索伯列夫范数 $\dot{H}^{-s}$ 来“吸收”导数）。
  • 在 $\dot{H}^{-s}$ 范数下，导数算子表现为乘以 $|\xi|^{-s}$，从而抵消了高频带来的增长。
  • 估计式：$\|E_D\|_{\dot{H}^{-s}} \lesssim \|w_{q+1}\|_{\dot{H}^{-s+2}} \lesssim \|w_{q+1}\|_{L^1}$。
• 间歇性构建块 (Intermittent Building Blocks)：
  • 使用一维间歇性“板条”（slabs）$\rho_{\lambda, \epsilon}$，其 $L^p$ 范数具有特定的缩放性质。
  • 通过选择足够大的负正则性指数 $s$，使得误差项在 $\dot{H}^{-s}$ 范数下随频率 $\lambda \to \infty$ 而衰减，从而闭合凸积分方案。
• 频率分离： 利用 Littlewood-Paley 投影确保不同迭代步的扰动在频率上几乎不相交，从而控制交叉项。

3. 主要结果 (Key Results)

论文建立了静止 KdV 方程在 $L^p$ 空间中的尖锐二分性（Sharp Dichotomy）：

3.1 刚性定理 (Rigidity Result, Theorem 1.3)

• 结论： 如果 $u \in L^2(\mathbb{T})$ 是方程 (1.1) 的弱解，则 $u \in C^\infty(\mathbb{T})$。
• 意义： 在 $L^2$ 正则性下，解必然是光滑的。这排除了 $L^2$ 空间中存在非光滑弱解的可能性。

3.2 灵活性定理 (Flexibility Result, Theorem 1.4)

• 结论： 存在非平凡解 $u$，满足：
  $$u \in \bigcap_{0<\epsilon<1} \left( \dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}) \cap L^{2-\epsilon}(\mathbb{T}) \right) \setminus L^2(\mathbb{T})$$
  即存在解属于 $L^p$ ($p<2$) 和负正则性 Besov 空间，但不属于 $L^2$。
• 性质：
  • 这些解是非光滑的（甚至不是 $L^2$ 的）。
  • 非线性项 $P_{\neq 0}(u^2)$ 在分布意义下是良好定义的。
  • 解具有任意小的负正则性（$\dot{B}^{-\epsilon}_{\infty,\infty}$）。

4. 技术细节与证明策略

1. 归纳命题 (Proposition 4.1)： 构造序列 $(u_q, E_q)$，使得误差 $E_q$ 在 $\dot{H}^{-s}$ 范数下指数衰减（$\|E_q\|_{\dot{H}^{-s}} < 2^{-q}$），同时保证扰动项 $w_{q+1}$ 在 $L^p$ ($p<2$) 和 $\dot{B}^\alpha_{\infty,\infty}$ 中收敛，但在 $L^2$ 中不收敛（保持 $L^2$ 范数有下界）。
2. 参数选择：
   • 频率参数 $\lambda_q$ 增长极快。
   • 间歇性参数 $\epsilon_q$ 接近 1。
   • 利用 $\lambda_q$ 的巨大增长来压制误差项中的常数因子。
3. 交叉项控制： 利用引理 2.10（高频 - 低频乘积在负索伯列夫范数下的衰减），证明不同迭代步之间的交叉项在 $\dot{H}^{-s}$ 范数下可以忽略不计。
4. 非 $L^2$ 性证明： 通过确保每个增量 $w_{q+1}$ 的 $L^2$ 范数有下界（$\|w_{q+1}\|_{L^2} \gtrsim 1$）且频率支撑互不相交，证明极限解 $u$ 的 $L^2$ 范数发散，从而 $u \notin L^2$。

5. 意义与贡献 (Significance)

1. 确立了正则性阈值： 精确地指出了 $L^2$ 是静止 KdV 方程弱解正则性的临界点。$p<2$ 时存在非光滑解，$p=2$ 时解必光滑。
2. 凸积分法的扩展： 首次成功将凸积分方法应用于一维色散方程（KdV）。此前，由于色散误差导致的导数丢失，该方法被认为无法应用于此类方程（通常需要维数 $d \ge 4$ 才能利用间歇性）。本文通过引入负正则性索伯列夫范数作为误差度量，巧妙地规避了一维间歇性不足的问题。
3. 弱解定义的深化： 推广了弱解的概念，使其适用于 $L^p$ ($p<2$) 甚至分布空间，通过拟积（Paraproduct）处理非线性项，为研究低正则性非线性 PDE 提供了新的理论框架。
4. 与 Navier-Stokes 的对比： 将结果与 2D 静止 Navier-Stokes 方程的刚性结果（$L^p, p>2 \implies u=0$）进行对比，展示了不同 PDE 类型（耗散 vs 色散）在低正则性下的不同行为模式。

总结

该论文通过创新的凸积分方案，利用负正则性范数控制色散误差，成功构造了静止 KdV 方程在 $L^p$ ($p<2$) 空间中的非光滑弱解，并证明了 $L^2$ 是解光滑性的严格阈值。这一工作不仅解决了静止 KdV 方程的低正则性问题，也为处理更广泛的非线性色散偏微分方程开辟了新途径。