Non-unique solutions to the periodic gKdV equation

技术摘要：周期性 gKdV 方程的非唯一解

问题陈述
本文探讨了环面 $\mathbb{T}$ 上 $k$-广义 Korteweg-de Vries ($k$-gKdV) 方程的无条件唯一性问题：
$$\partial_t u + \partial_{xxx} u + \sigma \partial_x (u^k) = 0, \quad u(0, x) = u_0(x),$$
其中 $k \ge 2$ 且 $\sigma \in \{\pm 1\}$。尽管在建立各种 Sobolev 空间 $H^s(\mathbb{T})$ 中的适定性方面已取得了显著进展，但仍存在一个关键空白，即当非线性项 $u^k$ 不满足可积性（即 $u \notin C^0_t L^k_x$）时的解的行为。

在经典分布理论中，项 $\partial_x(u^k)$ 要求 $u^k$ 是一个分布，这通常需要 $u \in L^k$。在低于该阈值时，乘积 $u^k$ 在标准意义下是无法定义的。之前的研究（如 Christ 的工作）通过采用基于平滑化（mollification）的非线性定义，证明了 KdV ($k=2$) 在 $C^0_t H^s_x$ ($s < 0$) 中的非唯一性。然而，这些解的正则性较低，且解的定义相对较弱。

本文解决的核心问题是：在“接近最优”的正则性类中——即紧邻 Lebesgue 阈值 $L^k_x$ 之下的正则性——非唯一性是否仍然存在，并试图构建一种比以往定义更强、同时又能处理奇异非线性的弱解概念。

方法论
作者采用了一种针对 gKdV 方程色散特性的凸积分方案（convex integration scheme）。构造过程通过迭代进行，生成一系列光滑近似解 $(u_q, E_q)$，它们满足一个松弛方程：
$$\partial_t u_q + \partial_{xxx} u_q + \sigma \partial_x (u_q^k) = \partial_x E_q,$$
其中误差项 $E_q$ 被驱动趋于零。

关键技术组件包括：

1. 间歇性构建模块（Intermittent Building Blocks）： 每一步添加的扰动 $w_{q+1}$ 是使用“间歇性板块”（intermittency slabs，引理 2.11）构造的。这些是高度集中的空间剖面，它们在 $L^k$ 范数下归一化，但在次临界 $L^p$ 范数（$p < k$）下很小。这种间歇性使得扰动的 $k$ 次方能够抵消现有误差，同时保持低阶范数的求和性。
2. 频率局部化： 扰动被频率局部化到尺度 $\lambda_{q+1}$，并具有特定的间歇性参数 $\epsilon_{q+1}$。这确保了增量的 Sobolev 范数在正则性 $\alpha < \frac{1}{2} - \frac{1}{k}$ 时是可求和的，同时保持足够的 $L^k$ 强度来抵消误差。
3. 加权 Wiener 空间： 该方法的一个创新之处是使用齐次加权 Wiener 空间 ($\dot{A}^s$) 来衡量误差。作者并非仅仅依赖 Sobolev 范数，而是通过测量非线性项傅里叶系数的绝对求和性来衡量误差。这使得能够精确控制由高频扰动产生的“振荡误差”。
4. 误差分解： 误差 $E_{q+1}$ 被分解为四个部分：
   • 振荡误差 ($E_O$)： 通过扰动的 $k$ 次方的均值来抵消。
   • Nash 误差 ($E_N$)： 源于低阶交叉项，通过扰动在 $L^p$ ($p < k$) 中的微小性来控制。
   • 色散误差 ($E_D$)： 通过扰动的 $C^0_t L^1_x$ 范数来控制。
   • 时间误差 ($E_T$)： 通过扰动原函数的时导数来控制。

主要贡献与定义
本文引入了一个新的框架，用于解释在非经典可积区域内的非线性：

• 弱奇异解的定义 (Definition 1.3)： 如果非线性项 $P_{\neq 0}(u^k)$（即 $u^k$ 的非零频率模）通过绝对傅里叶求和性（Definition 1.2）作为 $\dot{H}^{-s}_x$ 中的元素是良定义的，则称 $u$ 为“弱奇异解”。具体而言，级数 $\sum_{\xi_1 + \dots + \xi_k \neq 0} |\hat{u}(\xi_1) \dots \hat{u}(\xi_k)| |\xi_1 + \dots + \xi_k|^{-s}$ 必须收敛。
• 与既有概念的比较： 作者在附录中证明，这一概念严格强于：
  • 此前用于色散方程凸积分工作的“对偶算子（paraproduct）”概念；
  • Christ 基于平滑化的解的定义。
    因此，所构造的解在这些更广泛的框架下也是有效的。

主要结果
主要结果是定理 1.4，它确立了在以下正则性类中具有恒为零初值的非平凡弱奇异解的存在性（$u(0, x) = 0$）：

1. 对于 $k=2$ (KdV)： 存在非零解 $u \in \bigcap_{\epsilon > 0} C^0_t L^{2-\epsilon}_x([0, 1] \times \mathbb{T})$。该结果在 Lebesgue 尺度上是尖锐的，因为在 $C^0_t L^2_x$ 中已知无条件唯一性成立（参考 Babin-Ilyin-Titi [2]）。
2. 对于 $k \ge 3$： 存在非零解 $u \in \bigcap_{\epsilon > 0} C^0_t H^{\frac{1}{2} - \frac{1}{k} - \epsilon}_x([0, 1] \times \mathbb{T})$。这达到了对应于 Lebesgue 阈值 $L^k_x$ 的 Sobolev 端点减规模。

此外，备注 1.5 指出，对于 $k=2$，解可以进一步精炼为属于 $\bigcap_{\epsilon > 0} C^0_t B^{-s}_{\infty, \infty, x}$，使其既是“近连续”的，也是“近平方可积”的。

意义与猜想
本文指出，当非线性项位于 $C^0_t L^1_x$ 时（即 $u \in C^0_t L^k_x$），凸积分方案无法闭合，这表明存在一个基本的唯一性阈值。

• 必要条件： 该结果意味着，$k$-gKdV 方程无条件唯一性的一个必要条件是非线性项位于 $C^0_t L^1_x$（这对应于 $u \in C^0_t L^k_x$）。
• 猜想 1.1： 基于 KdV 结果的尖锐性以及在低于阈值时构造的刚性，作者猜想 $k$-gKdV 方程在所有 $s \ge \frac{1}{2} - \frac{1}{k}$ 的 $H^s(\mathbb{T})$ 中都是无条件局部适定的。

扩展
该方法论被证明是稳健且适用于其他色散方程的：

• 定常 gKdV (Stationary gKdV)： 作者将结果扩展到定常方程，证明了既有的刚性（$L^k$ 解的平滑性）和柔性（$L^k$ 以下的非唯一性）。
• 广义 Benjamin-Ono (gBO) 及其他色散模型： 该方案适用于线性算子 $L$ 的符号可以被 $\partial_x$ 除且仅产生多项式损失的方程（例如 gBO、高阶色散模型）。对于这些算子，色散误差估计通常比标准的 KdV 色散更容易。

总之，这项工作利用了一种带有间歇性构建模块和加权 Wiener 范数的改进型凸积分方案，在略低于非线性变为经典可积的阈值的正则性类中，构造了周期性 gKdV 方程的非唯一解，从而确定了无条件唯一性的尖锐边界。