Another look at the control properties of the Korteweg-de Vries equation

技术摘要：科特韦格 - 德弗里斯方程控制性质的再审视

问题框架
本文研究了科特韦格 - 德弗里斯（KdV）方程在无界域上的精确边界可控性，具体针对右半直线（$\mathbb{R}^+ = (0, +\infty)$）和左半直线（$\mathbb{R}^- = (-\infty, 0)$）。该研究探讨了带有漂移项的 KdV 方程的初边值问题（IBVP）：
$$\partial_t u + \partial_x u + \partial_x^3 u + u\partial_x u = 0$$
作者聚焦于利用边界控制在有限时间 $T$ 内将解从初始状态 $\phi$ 驱动至终端状态 $\psi$ 的挑战。

• 右半直线： 需要一个狄利克雷控制 $u(0,t) = f(t)$。
• 左半直线： 需要两个边界条件，$u(0,t) = g_1(t)$ 和 $\partial_x u(0,t) = g_2(t)$。本研究特别考察仅其中一个控制激活的情形（即 $g_1=0$ 或 $g_2=0$）。

该工作建立在现有的适定性理论（如 Bona 等人、Holmer、Rosier 的研究）基础之上，这些理论确立了线性 KdV 方程在半直线上是精确可控的，但解空间（特别是关于加权索伯列夫空间及无穷远处的行为）的性质在特定函数设定下对可控性构成了障碍。本文探讨的核心问题是：在现代修正的 Bourgain 空间函数框架下，是否存在一类状态使得该系统是精确可控的。

方法论
作者结合了**希尔伯特唯一性方法（HUM）与一种称为“操作可控性”**的新颖方法。

1. 操作可控性： 这是本文主要的方法论创新。作者不单纯依赖抽象的存在性证明，而是明确刻画实现精确可控性所需的控制输入。他们利用解的积分表示，推导了终端状态与控制输入之间的全局关系。这一过程通过三种不同的算子框架实现，并证明了它们的等价性：

   • 强迫算子： 基于 Kenig 等人及 Holmer 的表示法，利用艾里函数（Airy functions）和分数阶导数。
   • 边界算子： 基于 Bona 等人的方法，利用特定的积分变换。
   • 统一变换法（UTM）： 基于 Fokas 的工作，利用谱平面中的复围道积分。
     通过建立这些算子之间的关系，作者提供了驱动系统达到目标状态的控制 $f(t)$（或 $g_1, g_2$）的显式公式。

2. 函数设定： 分析在修正的 Bourgain 空间 $X = X^{s,b} \cap D^\alpha$ 中进行，其中 $b < 1/2$ 且 $\alpha > 1/2$。该设定允许处理 $H^s$ 空间中的初始数据，其中 $-3/4 < s < 3/2$（排除 $s=1/2$），涵盖了低正则性及临界情形。

3. 证明策略：

   • 线性情形： 通过建立关联的向后伴随系统的可观测性不等式，证明了线性化系统的精确可控性。这涉及证明迹估计，并利用紧性 - 唯一性论证，表明具有零边界观测值的唯一解是平凡解。
   • 非线性情形： 针对完整的非线性问题，采用不动点论证（巴拿赫不动点定理）。作者基于线性控制算子和非线性项构造了一个映射，证明了对于足够小的初始和终端数据，该映射在解空间的一个闭球上是压缩的。

主要贡献与结果

• 定理 1.1（右半直线）： 作者证明，对于任意 $T > 0$，存在 $\delta > 0$，使得对于任意初始状态 $\phi \in L^2(\mathbb{R}^+)$ 和属于容许类 $A^0_r(\phi, T)$ 且范数足够小的终端状态 $\psi$，该系统存在唯一解 $u$，且该解是操作精确可控的。这意味着存在一个控制 $f \in H^{1/3}(0, T)$，其由操作关系明确刻画，能够将系统从 $\phi$ 驱动至 $\psi$。
• 定理 1.2（左半直线）： 同样地，对于具有单个激活控制（狄利克雷控制 $g_1$ 或诺伊曼控制 $g_2$）的左半直线，系统被证明对小数据是操作精确可控的。作者提供了两种情形（$g_1=0$ 或 $g_2=0$）下控制输入的显式公式。
• 临界长度现象的缺失： 一个重要的发现是，在有限区间内导致特定域长度下可控性失效的“临界长度现象”，在半直线上并不存在。通过对无界域上伴随系统的谱分析及其性质，作者证明了可观测性不等式成立，无论域的延伸范围如何（实际上是无限的），这与有界域 $(0, L)$ 上的结果形成鲜明对比。
• 显式刻画： 与以往可能非构造性地证明可控性的工作不同，本文提供了显式的积分公式（通过强迫算子、边界算子和 UTM 算子），定义了实现目标状态所需的控制输入。

意义与主张
本文声称对无界域上 KdV 方程的可控性提供了“新视角”。其意义在于：

1. 操作可控性： 引入了一种明确刻画控制的框架，弥合了抽象控制理论与显式解公式之间的鸿沟。这种方法被提出可能适用于无界域上的其他非线性色散方程。
2. 解决开放问题： 它回答了是否存在一类状态使得半直线 KdV 系统是精确可控的问题，确认在 $L^2$ 和修正的 Bourgain 空间框架下，只要数据足够小，这是可能的。
3. 与有界域的对比： 该工作突出了有界域与无界域在控制性质上的根本差异，特别是即使在包含漂移项 $\partial_x u$ 的情况下，半直线设定中也不存在临界长度。
4. 方法的统一： 本文证明了源自强迫算子、边界算子和 UTM 的控制刻画是等价的，为未来的应用提供了坚实的理论基础。

作者在范围上保持谦逊的态度，指出虽然线性理论已确立，但在非线性设定下全范围 $s$（特别是 $-3/4 < s \leq 3/2$）的可观测性不等式仍是未来研究的开放问题。结果纯属理论性质，依赖于泛函分析和偏微分方程估计，未涉及实验提案。