Sub-critical well-posedness for the intermediate nonlinear Schrödinger equation on the line

技术摘要：实轴上中间非线性薛定谔方程的亚临界适定性

问题陈述
本文研究了实轴 $\mathbb{R}$ 上中间非线性薛定谔（INLS）方程的 Cauchy 问题：
$$\partial_t u + i\partial_x^2 u = \beta u(1 + i\mathcal{T}_h)\partial_x(|u|^2),$$
其中 $u: \mathbb{R} \times \mathbb{R} \to \mathbb{C}$，$\beta, \gamma \in \mathbb{R}$，且 $\mathcal{T}_h$ 是涉及双曲余切函数的卷积算子。参数 $h \in (0, \infty)$ 代表该模型在物理推导中的流体深度。作者旨在建立该方程在 Sobolev 空间 $H^s(\mathbb{R})$ 中的局部适定性，其范围涵盖整个标度亚临界范围 $s > 0$。这改进了以往要求 $s > 1/4$（用于局部适定性）或依赖于方程完全可积性的结果。此外，本文还研究了可积情形（即 $\gamma=0$）以及连续 Calogero-Moser (CCM) 方程的全局适定性，特别讨论了 $L^2$-等连续性的保持问题。

方法论
作者结合了规范变换（gauge transformations）、构造闭合辅助变量系统以及 Fourier 限制范数（$X^{s,b}$）估计法。

1. 规范变换与分解：
   不同于以往使用一对规范变量 $(v, w)$ 的工作，作者引入了一个由四个变量组成的四元组 $(v, y, z, w)$ 来使系统方程闭合。

   • $v = P_{+,hi}[e^{i\beta F[u]}u]$
   • $y = P_{-,hi}[e^{i\beta F[u]}u]$
   • $z = P_{lo}[e^{i\beta F[u]}u]$
   • $w = P_{-,hi}u$
     这里，$F[u] = \partial_x^{-1}(|u|^2)$ 是密度的原函数，$P_{\pm, hi}, P_{lo}$ 是频率投影算子。至关重要的是，这种分解允许将非线性项 $|u|^2$ 表示为 $|v+y+z|^2$，从而消除了新系统中对原始变量 $u$ 的依赖。这种结构避免了在亚临界范围内试图闭合系统时，此前尝试中遇到的涉及 $e^{i\beta F[u]}$ 的棘手误差项问题。

2. 非线性估计与平滑性：
   证明依赖于在 $X^{s,b}$ 空间中建立多线性估计。

   • 双线性 Strichartz 估计： 作者应用两次双线性 Strichartz 估计来恢复导数。$v$ 和 $w$ 方程中频率投影的具体符号结构使得控制“坏”的低 $\times$ 低 $\times$ 高 $\to$ 高相互作用成为可能。
   • 非线性平滑性： 一个关键观察是变量 $v$ 和 $w$ 具有非线性平滑性质（获得空间正则性 $\alpha > 0$）。这使得作者能够降低对变量 $y$（缺乏相同的符号结构）的正则性要求，同时仍能闭合耦合系统的估计。
   • 算子估计： 对于可积情形，作者基于其先前工作中发现的 Lax 对，构造了一族新型守恒量。他们定义了一个涉及 resolvent 算子迹的量 $A(\kappa; u, h)$。一个重大的技术障碍是，当 $h < \infty$ 或 $u \notin L^2_+$ 时，Lax 算子在下方不是半有界的，因此需要使用复平面上的谱参数（$i\kappa$）。作者证明了对于 $u \in L^2(\mathbb{R})$，所得级数是收敛的，并确立了其守恒性。

3. 等连续性与全局适定性：
   全局适定性论证依赖于 $L^2$-等连续性的保持。作者定义了一个质量阈值 $M^*$，使得如果初始数据是有界的且满足等连续性，且 $L^2$ 范数低于 $M^*$，则解流将保持这些性质。这防止了爆破（blow-up），因为有限时间内的爆破意味着等连续性的丧失。

核心贡献与结果

• 局部适定性（定理 1.1）： 本文证明了 INLS 方程在任何 $s > 0$ 时在 $H^s(\mathbb{R})$ 中是局部适定的。这覆盖了整个标度亚临界范围，改进了之前 $s > 1/4$ 的阈值。解映射是局部 Lipschitz 连续的，且解满足 Duhamel 形式。该结果对于聚焦（focusing）和弥散（defocusing）情形均成立，且适用于大初值。
• 连续 Calogero-Moser (CCM)： 作为推论，本文在全亚临界范围内建立了 CCM 方程（即 $h \to \infty$ 或 $\gamma=0$ 的极限）的局部适定性，且无需限制在 Hardy 空间 $L^2_+(\mathbb{R})$ 中（该空间在一般演化下并不保持）。
• 全局适定性（定理 1.3 和 1.5）： 对于可积模型（$\gamma=0$），作者证明了在 $0 < s < 1/2$ 范围内具有小 $L^2$ 范数的初值的全局适定性。更广泛地，他们表明对于任何满足 $H^s$ 有界、在 $L^2$ 中有界且等连续、并满足质量约束 $\sup_{u \in Q} \|u\|_{L^2}^2 < M^*$ 的初始数据集合 $Q \subset H^s$ ($0 < s < 1/2$)，全局适定性均成立。阈值 $M^*$ 在聚焦和弥散情形下均为正。
• 守恒量： 作者引入了一族基于 Lax 算子 resolvent 迹的新型守恒量 $A(\kappa; u, h)$。他们严格证明了定义这些量的级数对于 $u \in L^2(\mathbb{R})$ 的收敛性及其在流下的守恒性，克服了有限深度下 Lax 算子缺乏半有界性的困难。

意义
本文声称完成了 INLS 方程在全标度亚临界范围内的局部适定性理论，消除了之前 $s > 1/4$ 的障碍。其方法论具有重要意义，因为在处理局部适定性时，它并不依赖于方程的完全可积性，这区别于以往那些受限于 Hardy 空间或需要更高正则性的逆散射或交换流方法。

引入由四个变量 $(v, y, z, w)$ 组成的闭合系统，以及利用非线性平滑性来处理 $y$ 方程中“坏”的相互作用，代表了处理导数非线性薛定谔方程低正则性适定性的一种新颖代数方法。此外，全局适定性结果将 $L^2$-等连续性的保持与全局解的存在性直接联系起来，提供了一个框架，通过建立大数据的先验等连续性结果，有可能消除对小数据的限制。为非-Hardy 空间情形（$h < \infty$）构造守恒量，也将可积工具扩展到了经典设置之外。