[论文解读] Observability and unique continuation inequalities for the Schrödinger equation

Gengsheng Wang, Ming Wang+1 more|arXiv (Cornell University)|Jun 19, 2016

Stability and Controllability of Differential Equations参考文献 15被引用 9

一句话总结

本文建立了自由薛定谔方程在整个空间中的新可观测性不等式与唯一延拓不等式，表明解可通过在两个不同时间点于空间球体外部的观测唯一确定。关键结果是在两个时间点的最优可观测性不等式，该不等式等价于一个不确定性原理，从而实现了在两个时间点施加控制时的精确可控性。

ABSTRACT

In this paper, we present several observability and unique continuation inequalities for the free Schrödinger equation in the whole space. The observations in these inequalities are made either at two points in time or one point in time. These inequalities correspond to different kinds of controllability for the free Schrödinger equation. We also find that the observability inequality at two points in time is equivalent to the uncertainty principle built up in [18].

研究动机与目标

• 在全空间中为自由薛定谔方程建立可观测性与唯一延拓不等式，观测时间点为两个不同的时刻。
• 研究此类双时间点可观测性不等式与量子力学中不确定性原理之间的联系。
• 证明双时间点可观测性不等式与文献[19]中建立的不确定性原理之间的等价性。
• 探讨这些不等式对薛定谔方程可控性的影响，特别是在脉冲控制背景下的意义。
• 提供控制范数的定量估计，以观测数据表示，确保以最小控制能量实现精确可控性。

提出的方法

• 推导出可观测性不等式（1.5），该不等式通过在两个不同时间点于空间球体外部的观测，将解的初始 $ L^2 $-范数控制在两个时间点的解的 $ L^2 $-范数之内。
• 利用傅里叶变换及薛定谔传播算子 $ e^{i\Delta t} $ 的性质，分析解在相空间中的行为。
• 应用复分析与Carleman估计，从双时间点观测中推导出唯一延拓性质。
• 建立双时间点可观测性不等式与[19]中不确定性原理的等价性，特别当 $ \alpha\beta < 4 $ 时。
• 采用对偶性论证与希尔伯特空间技巧，证明存在控制可将系统从初始状态精确驱动至目标状态，且控制能量受控。
• 引入加权空间 $ Q_a $ 与控制空间 $ Q_a^* $，以量化可控性结果中控制代价与逼近误差之间的权衡。

实验结果

研究问题

• RQ1 是否可以基于两个不同时间点的观测而非时间区间，为自由薛定谔方程建立可观测性不等式？
• RQ2 双时间点可观测性不等式是否等价于量子力学中已知的不确定性原理？
• RQ3 可观测性常数对时间间隔 $ T - S $、空间半径 $ r_1, r_2 $ 以及位置 $ x', x'' $ 的最优依赖关系为何？
• RQ4 双时间点可观测性不等式如何与脉冲控制下薛定谔方程的可控性相关联？
• RQ5 能否构造出其 $ L^2 $-范数具有显式上界的控制，以将解从初始状态驱动至目标状态，且逼近误差在给定范围内？

主要发现

• 可观测性不等式（1.5）成立，其常数 $ C(n) $ 仅依赖于维数 $ n $，且指数因子 $ e^{C r_1 r_2 / (T - S)} $ 在最优意义下不可改进。
• 双时间点可观测性不等式与[19]中的不确定性原理等价，后者指出：若 $ \|e^{|x|^2/\alpha^2} u(\cdot,0)\|_{L^2} + \|e^{|x|^2/\beta^2} u(\cdot,1)\|_{L^2} < \infty $ 且 $ \alpha\beta < 4 $，则 $ u \equiv 0 $。
• 本文证明当 $ \alpha\beta = 4 $ 时，唯一延拓性质不成立，从而确认了不确定性原理的精确性。
• 定理5.13给出了控制 $ h $ 的 $ L^2 $-范数的显式上界，表明 $ \varepsilon^{-1} e^{-e^{\varepsilon^{-2}}} \|h\|_{L^2}^2 \leq C(x_0,r,a,T-\tau) \|u_T - e^{i\Delta T}u_0\|_{L^2}^2 $，从而确保了具有指数衰减误差的精确可控性。
• 控制代价随 $ \varepsilon^{-1} e^{e^{\varepsilon^{-2}}} $ 增长，表明其对逼近误差的倒数 $ \varepsilon $ 具有超指数依赖，这在解析控制问题中是典型的。
• 本研究建立了一套新颖的薛定谔方程脉冲控制框架，其中控制在两个离散时间点施加，每个时间点均位于空间球体外部，且解可从此类观测中恢复。