[论文解读] Uncertainty principle, minimal escape velocities and observability inequalities for schrödinger equations

Shanlin Huang, Avy Soffer|arXiv (Cornell University)|Sep 27, 2017

Stability and Controllability of Differential Equations参考文献 16被引用 6

一句话总结

本文通过基于Nazarov型不确定性原理和一般自伴哈密顿量的最小速度估计的抽象框架，建立了薛定谔方程在两个时间点的可观测性不等式。关键贡献在于定量地建立了谱局域化、波传播速度与可观测性之间的联系，将先前针对自由拉普拉斯算符的结果推广至含势能和分数阶拉普拉斯算符的薛定谔算符，并在可控性和唯一延拓性方面具有应用价值。

ABSTRACT

We develop a new abstract derivation of the observability inequalities at two points in time for Schrödinger type equations. Our approach consists of two steps. In the first step we prove a Nazarov type uncertainty principle associated with a non-negative self-adjoint operator $H$ on $L^2(\mathbb{R}^n)$. In the second step we use results on asymptotic behavior of $e^{-itH}$, in particular, minimal velocity estimates introduced by Sigal and Soffer. Such observability inequalities are closely related to unique continuation problems as well as controllability for the Schrödinger equation.

研究动机与目标

• 将两个时间点的可观测性不等式从自由薛定谔方程推广至一般自伴哈密顿算符 $ H $，包括含势能和分数阶幂的算符。
• 解决在存在 $ L^2 $-本征函数时此类不等式失效的问题，将分析限制在 $ H $ 的连续谱子空间内。
• 构建一个结合不确定性原理和最小速度估计的抽象框架，以量化相空间中波的传播与可观测性。
• 为具有时间局部观测的脉冲控制薛定谔方程建立可控性结果。
• 通过谱投影和对易估计，将Nazarov的不确定性原理推广至算符情形。

提出的方法

• 为非负自伴算符 $ H $ 推导一种Nazarov型不确定性原理，通过谱投影 $ \chi(|x| \geq r) $ 和 $ \chi(H \geq r^{-2}) $ 将位置和频率空间局域函数的 $ L^2 $-范数联系起来。
• 利用Sigal和Soffer的最小速度估计，量化波包 $ e^{-itH}f $ 的逃逸速率，确保当 $ f $ 属于连续谱子空间时，其以正的下确界速度远离紧集。
• 对谱乘子 $ \varphi_N(A) $ 应用对易估计，利用Bernstein型不等式将算子范数以 $ N^{-3/4} $ 的形式有界，从而保证谱局域化下的正则性和衰减性。
• 构造状态变换 $ R $ 和观测算符 $ O $，将初始数据映射为两个时间点的时空局域 $ L^2 $-范数，通过对偶性推导可观测性不等式。
• 通过双重性论证和弱收敛，从涉及控制算符的对偶不等式推导出可观测性不等式，从而得到控制能量的上界。
• 将该框架应用于含势能 $ V $ 和分数阶拉普拉斯算符 $ (-\Delta)^{s/2} $ 的薛定谔方程，证明在时间和空间分离条件下可实现可控性。

实验结果

研究问题

• RQ1 能否将两个时间点的可观测性不等式从自由情形推广至一般薛定谔算符？
• RQ2 当存在 $ L^2 $-本征函数时，两时间点可观测性估计的有效性如何受到影响？
• RQ3 哈密顿算符 $ H $ 需满足何种抽象条件，才能保证最小逃逸速度，从而实现可观测性？
• RQ4 在何种程度上可通过谱投影将Nazarov的不确定性原理推广至非傅里叶设置？
• RQ5 对于脉冲驱动的薛定谔方程，实现可控性的最小时间和空间分离条件是什么？

主要发现

• 为一般薛定谔方程建立了可观测性不等式：$ \|u_0\|_{L^2}^2 \leq C e^{C r_1 r_2 / (t_2 - t_1)} \left( \int_{|x| \geq r_1} |u(x,t_1)|^2 dx + \int_{|x| \geq r_2} |u(x,t_2)|^2 dx \right) $，其中 $ C $ 仅依赖于维数 $ n $。
• 该不等式对 $ H $ 的 $ L^2 $-本征空间中的初始数据不成立，因此必须限制在连续谱子空间内。
• 最小速度估计表明，谱支撑远离零的波包 $ e^{-itH}f $ 以正的下确界速度向外传播，其速度满足 $ v_{\min} \geq \sqrt{\delta} $，其中 $ f \in \text{Ran}(\chi(H \geq \delta)) $。
• 对于分数阶薛定谔方程 $ H = (-\Delta)^{s/2} $，$ s \geq 1 $，若 $ \tau_2 - \tau_1 > r^s T_0 $ 且 $ T_0 $ 足够大，则可通过两次脉冲控制实现可控性。
• 控制能量满足 $ \|h_1\|^2 + \|h_2\|^2 \leq C \|u_T - e^{-itH}u_0\|^2 $，表明控制代价由到目标状态的距离有界。
• 对易估计给出 $ \| [\varphi_N(A), B] \| \leq C M_{AB} N^{-3/4} $，这对在不确定性原理框架中控制谱乘子误差至关重要。