Nowhere continuity of the flow map of an integrable derivative nonlinear Schrödinger system on the torus

技术摘要：环面（Torus）上可积导数非线性薛er-狄拉克系统流映射处处不连续性的研究

问题陈述
本文研究了环面 $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$ 上 Chen-Lee-Liu 型完全可积导数非线性薛er-狄拉克（DNLS）系统 Cauchy 问题（Cauchy problem）的适定性。该系统由下式给出：
$$\begin{cases} i\partial_t u - \partial_x^2 u - iuv\partial_x u = 0, \\ i\partial_t v + \partial_x^2 v - iuv\partial_x v = 0, \end{cases}$$
其初值数据 $(u_0, v_0) \in H^s(\mathbb{T}) \times H^s(\mathbb{T})$，其中 $s > 3/2$。虽然该系统已知是完全可积的，具有无限个守恒量（例如质量 $M(u,v) = \int_{\mathbb{T}} uv \, dx$），但 Sobolev 空间中流映射（flow map，即从初值到解的映射）的正则性仍然是核心问题。作者探讨了流映射在 $H^s(\mathbb{T})$ 中是否连续，并确定了满足适定性的条件。

方法论
分析依赖于规范变换（gauge transformations）以及利用与 Cauchy-Riemann 型椭圆算子相关的平滑效应。

1. 规范变换： 为了处理非线性项 $uv\partial_x u$ 中的导数损失，作者应用了一个规范变换：
   $$U = \exp\left(-\frac{i}{2}\partial_x^{-1}(uv)\right)u, \quad V = \exp\left(\frac{i}{2}\partial_x^{-1}(uv)\right)v.$$
   该变换将原系统转化为一个关于 $(U, V)$ 的新系统，其中包含一个系数由守恒质量 $M(u,v)$ 决定的 $\partial_x U$ 项（以及 $\partial_x V$）。具体而言，变换后的方程包含一项 $i M(u,v) \partial_x U$。

2. 变换系统的分析： 变换后的系统表明，如果守恒质量的虚部 $\text{Im } M(u,v)$ 不为零，则系统在形式上包含一个 Cauchy-Riemann 型算子 $i\partial_t + a\partial_x$（其中 $a \in \mathbb{R}$）。作者利用该算子的平滑性质来推导解存在的初值必要条件。

3. 反例构造： 为了证明不连续性，作者构造了一系列初值序列，这些序列收敛于 $H^s(\mathbb{T})$ 中的给定点，但具有特定的属性（具体而言，是关于数据相对于 $\text{Im } M$ 符号的傅里叶支撑集），这些属性违反了从平滑效应中导出的必要条件。这导致了这些序列在任何时间区间内不存在解。

4. 压缩映射： 对于适定性结果，作者将初值数据限制在 $\text{Im } M(u_0, v_0) = 0$ 的子空间内。在此子空间中，规范变换系统中存在问题的线性项消失，从而允许在合适的 Banach 空间中应用标准的压缩映射论证。

主要贡献与结果

• 定理 1.2（处处不连续性）： 系统 (1.1) 的流映射在 $H^s(\mathbb{T})$ 中的每一个点处都是不连续的，对于 $s > 3/2$。具体而言，对于任何初值数据 $(u_0, v_0) \in H^s(\mathbb{T})$，都存在一个序列 $\{(u_{0,n}, v_{0,n})\}$ 收敛于 $(u_0, v_0)$，但对应的解在任何时间区间 $[0, T]$ 或 $[-T, 0]$ 上都不存在。这一结果与系统的可积性无关。

  • 机制： 证明（定理 2.1）确立了如果解存在且 $\text{Im } M(u_0, v_0) > 0$（或 $<0$），则初值数据必须在其负频率（或正频率）分量上满足特定的正则性条件（即 $(P_- u_0, P_- v_0) \in H^{s+\delta}$）。通过构造在 $H^s$ 中收敛但违反这些更高正则性条件的序列，作者证明了不存在解。

• 定理 1.3（条件适定性）： Cauchy 问题在子空间 $H^s_0(\mathbb{T}) := \{(f, g) \in H^s(\mathbb{T}) \mid \text{Im } M(f, g) = 0\}$ 中是适定的。

  • 结果： 对于该子空间中的初值数据，存在唯一的局部解，且流映射是连续的。
  • 意义： 该条件 $\text{Im } M = 0$ 被证明是消除由规范变换方程中 Cauchy-Riemann 型项引起的病态性的精确要求。

• 对特定模型的应用：

  • 该结果意味着标准的 DNLS 方程（通过令 $v=u$ 得到）在 $H^s(\mathbb{T})$ 中是适定的，因为当 $v=u$ 时，$M(u,u) = \int |u|^2 dx$ 是实数，满足条件。
  • 非局部 DNLS 方程（通过 $v = u^*$ 导出，其中 $u^*(t,x) = u(t, -x)$）在傅里叶支撑集位于正半轴的函数空间（$H^s_+(\mathbb{T})$）中是适定的，因为这也确保了 $\text{Im } M = 0$。

重要性与主张
本文声称通过证明该特定可积系统在 Sobolev 空间中的流映射是不连续的，解决了其适定性问题。作者强调，尽管该系统拥有无限个守恒量，但规范变换变量中 $\text{Im } M(u,v) \partial_x$ 项的存在，创造了一种在 $\text{Im } M \neq 0$ 时产生病态性（具体为流映射不连续）的机制。

这项工作凸显了一种鲜明的对比：该系统在全空间 $H^s(\mathbb{T})$ 中是不适定的，但在由质量虚部为零定义的子空间内变为适定的。作者指出，正则性条件 $s > 3/2$ 并非声称是最优的，但足以支持所提出的论证。研究结果表明，对于周期性导数非线性薛er-狄拉克系统，为了建立适定性，其“可积”结构需要仔细处理规范变换和守恒律，因为在周期情形下，标准在实轴上使用的规范变换无法在不施加 $\text{Im } M = 0$ 条件的情况下完全消除常数项。