Small-time local control of a Schrödinger equation: a negative and a positive quadratic result

技术摘要：薛定谔方程的小时限局部控制：一个负面与一个正面的二次结果

问题陈述
本文研究了在基态 $\phi_0$ 附近线性化的、具有诺伊曼（Neumann）边界条件的双线性薛定谔方程的小时限局部可控性（STLC）。该系统由下式控制：
$$\begin{cases} i\partial_t\psi(t, x) = -\partial^2_x\psi(t, x) - u(t)\mu(x)\psi(t, x), & t \in (0, T), x \in (0, 1), \\ \partial_x\psi(t, 0) = \partial_x\psi(t, 1) = 0, & t \in (0, T), \end{cases}$$
其中 $\mu \in H^2((0, 1); \mathbb{R})$ 是一个固定的空间函数，而 $u(t)$ 是一个实值标量控制。

本研究聚焦于线性化系统不可控的退化情形。具体而言，作者考虑了当耦合系数 $\langle \mu, \phi_k \rangle = 0$ 对某些模态 $k \in \mathbb{N}$ 成立时的情形。在这种情况下，线性控制理论不足以判定可控性，因此需要进行二阶（二次）分析。核心问题在于：当线性系统失效时，系统是否仍保持 STLC，或者是否存在“二次阻碍”（quadratic obstruction）阻止了可控性。

方法论
作者采用对状态 $\psi = \phi_0 + \psi_1 + \psi_2 + \dots$ 关于控制 $u$ 的幂级数展开进行研究。

1. 二次型分析： 分析的核心涉及二阶项 $\psi_2(T)$，特别是其在不可控模态 $\phi_k$ 上的投影。该投影被表示为一个涉及积分核 $K(t-s)$ 的双线性形式 $Q(u, u)$。
2. 基于傅里叶的方法： 一项关键的方法论创新是避免使用标准的分部积分论证。由于与薛定谔方程相关的积分核 $K$ 缺乏正则性（具体而言，其导数不是一个函数，而是包含狄拉克测度（Dirac masses）和主值（principal values）的分布），因此无法通过经典分部积分来提取漂移项（drift term）。相反，作者在傅里叶频率域内分析该二次型。他们推导出了关联核的傅里叶变换的显式表达式，将其分解为狄拉克测度部分、主值部分以及正则部分。
3. 漂移量化：
   • 负面结果： 当特定系数 $a_k$（源自核的奇异性）不为零时，作者证明了一个强制性估计（coercivity estimate），表明二次运动被限制在一个半空间内，从而阻止了目标的可达性。这对应于一个非零的李括号（Lie bracket）阻碍。
   • 正面结果： 当 $a_k = 0$ 时，作者利用高频振荡构造了特定的控制。他们利用傅里叶变换后的核在频率较高时符号改变的特性，在方向 $\pm i\phi_k$ 上产生运动。
4. 核调制工具： 作者在第五节开发了通用工具，用于将估计从参考二次型转移到受正则函数调制的二次型，从而使他们能够基于参考情形处理一般的 $k \neq 0$ 情况。
5. 余项估计： 为了完成论证，他们利用一个带有非齐次诺伊曼边界条件的辅助系统，推导了非线性余项的精确能量估计，从而确保高阶项不会主导二次效应。

主要结果
论文根据系数 $a_k$ 建立了二分法：
$$a_k := \sum_{j \in \mathbb{N}} \left( \lambda_j - \frac{\lambda_k}{2} \right) \langle \mu, \phi_j \rangle \langle \phi_j, \mu \phi_k \rangle$$

1. 负面结果（定理 1.7）： 如果 $a_k \neq 0$，则系统不是 STLC。

   • 存在一个在方向 $-i a_k \phi_k$ 上的“漂移”，该漂移由控制原函数的 $H^{-1}$ 范数的平方 $\|u_1\|_{L^2}^2$ 来量化。
   • 这为 Sussmann 关于 PDE 的经典二次阻碍提供了一个新实例，对应于一个非零的李括号 $[\mu, [\mu, A]]\phi_0$。
   • 具体而言，对于较小的 $\epsilon$，形式为 $\psi^*_\epsilon = \sqrt{1-\epsilon^2}\phi_0 + i \text{sgn}(a_k)\epsilon \phi_k$ 的目标是不可达的。

2. 正面结果（定理 1.9）： 如果 $a_k = 0$ 且剩余的耦合系数满足一般的非退化条件（即对于 $j \neq k$，有 $|\langle \mu, \phi_j \rangle| \geq c \langle j \rangle^{-2}$），则系统是 STLC。

   • 作者构造了能够实现 $\pm i \phi_k$ 方向运动的控制，其振幅按 $T \|u_1\|_{L^2}^2$ 的比例缩放。
   • 通过切向量（tangent vector）论证和时间拼接，他们将此扩展到在任何方向 $z \phi_k$（其中 $z \in \mathbb{C}$）上的运动。
   • 控制代价的缩放满足 $\|u\|_{L^2} \lesssim |\langle \psi^*, \phi_k \rangle|^{1/2}$，这是二次阶可控性的典型特征。

意义与主张
该论文声称其对控制理论的贡献如下：

• Sussmann 阻碍在 PDE 中的新实例： 负面结果（定理 1.7）识别了一个特定的 PDE 实例，其中经典的二次阻碍（与长度为 3 的李括号相关）阻止了 STLC，这扩展了此前在 ODE 和其他 PDE（如 Dirichlet 薛定谔或 KdV 系统）中已知的结论。
• 第一个物理系统的正向二次 STLC： 正面结果（定理 1.9）被声称是第一个确立了在二次阶实现小时限局部可控性的“合理的物理系统”（即由单个标量控制驱动的具有诺伊曼条件的双线性薛定谔方程）的研究。此前的正面二次结果（例如文献 [4]）依赖于人工构造的（“人为设计”的）非线性。
• 方法论的进步： 作者强调，他们基于傅里叶的方法是处理低正则性核（在这种情况下标准分部积分失效）的关键工具。此外，他们还提供了一个通用的框架，用于将核与调制函数相乘，他们预计该框架可被用于其他系统。
• 技术严谨性： 工作包含了关于带有非齐次诺以曼边界条件的薛定谔方程的详细能量估计，以及关于定义漂移系数的级数收敛性的严格证明。

作者对研究范围保持谦逊，指出其结果适用于特定的诺伊曼设置，并且正面结果依赖于薛定谔非线性的特定结构，而该结构恰好满足了频率域中必要的符号改变条件。他们并未提出实验应用，而是将这项工作定位为分析无限维控制系统中二次阻碍的方法论层面的理论发展。