On the observability of the Schrödinger equation in the torus from open sets

技术摘要：环面上薛定谔方程在开集上的可观测性

问题陈述
本文研究了从 $d$ 维环面 $\mathbb{T}^d = \mathbb{R}^d/(2\pi\mathbb{Z})^d$ 的一个开子集 $\omega \subset \mathbb{T}^d$ 对薛定谔方程的可观测性。核心问题是：是否可以通过在有限时间区间 $(0, T)$ 内仅监测子区域 $\omega$ 上的解，来恢复解的全局能量。作者分析了两种不同的模型：

1. 自由薛定谔方程 ($i\partial_t u - \Delta u = 0$)。
2. 带有有界势的薛定谔方程 ($i\partial_t u - \Delta u + V(t, x)u = 0$)，其中 $V \in L^\infty$。

本研究针对两种特定情形：小时间和小观测集（特别是区间乘积）的定量估计，以及任意非空开集和有界势在任意维度 $d \ge 1$ 下可观测性的普遍有效性。

方法论
两个主要定理的证明均依赖于簇分解技术与数学归纳法的综合运用，建立在 Bourgain [Bou14] 引入并由 Burq 和 Zhu [BZ25] 进一步发展的方法之上。针对两个主要结果，策略略有不同：

• 针对自由方程（定理 1.1）： 证明分为高频分量和低频分量。

  • 高频： 作者利用了集合 $S_N = \{(n, |n|^2) \in \mathbb{Z}^{d+1} : |n| > N\}$ 的簇结构。他们将此集合划分为互不相交的簇，这些簇在空间上分离且包含在低维仿射子格中。通过对这些子格维数的归纳论证，得出了高频可观测性估计。
  • 低频： 作者建立了一个定量唯一延拓估计。这是通过将问题转化为热方程的可观测性估计来实现的，利用了定量 Lebeau-Robbiano 策略、Turán-Nazarov 不等式和谱估计。
  • 综合： 通过将高频估计与低频唯一延拓相结合，并仔细量化其对观测集测度 $|\omega|$ 和时间 $T$ 的依赖关系，他们推导出了最终估计。

• 针对带有有界势的方程（定理 1.2）： 该方法首先建立弱可观测不等式，随后应用紧性 - 唯一性论证（受 [BLR92] 启发）以消除余项。

  • 弱可观测性： 将解 $u$ 时间截断为 $\mathbb{T}^{d+1}$ 上的函数 $U$。作者进行频率分解，隔离靠近超曲面 $m = |n|^2$ 的频率。他们利用集合 $S'_N = \{(n, m) : |n| > N, |m - |n|^2| \le A\}$ 的簇分解，证明了局部化高频部分的可观测性估计。
  • 余项消除： 应用紧性 - 唯一性论证。作者表明，在 $\omega \times (0, T)$ 上产生零观测的初始数据子空间是有限维的，并且在算子 $-\Delta + V$ 下是稳定的。通过援引唯一延拓性质（针对与时间无关的势，或假设针对与时间有关的势），他们证明了该子空间是平凡的，从而将弱不等式升级为完全的可观测性估计。
  • 直接处理： 一个关键的方法论优势是，作者直接处理有界势 $V \in L^\infty$，避免了以往文献中常见的用光滑势逼近 $V$ 的做法。

主要贡献与结果

1. 自由方程的定量估计（定理 1.1）：
   作者建立了当观测集 $\omega$ 为小区间的乘积且时间 $T$ 较小时，自由薛定谔方程的定量可观测性估计。该估计形式如下：
   $$\|u_0\|_{L^2}^2 \le C \exp\left( \frac{C}{(|\omega|T)^{C'}} \right) \int_0^T \|e^{-it\Delta}u_0\|_{L^2(\omega)}^2 dt$$
   该结果将 Tao [Tao21] 的工作从 $d=2$ 维和小球推广到了更高维度和乘积集。虽然作者承认其常数对 $|\omega|$ 和 $T$ 的依赖关系与 Tao 的结果相比并非渐近最优（由于缺少 $\log \log \epsilon^{-1}$ 项），但他们的方法为集合测度和时间区间提供了明确的量化。

2. 有界势的可观测性（定理 1.2）：
   本文通过证明在任意维度 $d \ge 1$ 下，对于任意时间 $T > 0$ 和任意非空开子集 $\omega$，带有 merely 有界势 $V \in L^\infty(\mathbb{T}^d)$ 的薛定谔方程具有可观测性，解决了该领域的一个著名猜想。

   • 对于与时间无关的势 $V(x)$，可观测性无条件成立。
   • 对于与时间有关的势 $V(t, x)$，只要势满足唯一延拓性质，可观测性即成立。
     作者指出，他们的方法尚未扩展到任意正测度的可测集（这是 Burq 和 Zhu [BZ25] 提出的更强猜想），尽管它能处理可测集的乘积。

意义与主张
本文声称解决了关于环面上带有 $L^\infty$ 势的薛定谔方程在所有维度下可观测性的长期猜想。通过避免用光滑函数逼近势，该方法提供了一种更直接处理粗糙势的手段。

作者将其工作定位为对现有技术的改进，特别是利用 Bourgain 的簇分解来处理环面的几何和谱复杂性。他们明确指出，虽然他们对自由方程的定量估计在关于 $T$ 和 $|\omega|$ 的依赖关系上并非最优（他们指出，与热方程相比，这一问题在薛定谔文献中受到的关注较少），但结果提供了一个统一框架，适用于自由方程和势驱动方程。

这些结果在控制论中具有标准应用，具体而言，通过希尔伯特唯一性方法（Hilbert Uniqueness Method）导出了稳态薛定谔算子的预解式估计和可控性结果，尽管作者将这些应用的具体表述推迟到了现有文献中。