[论文解读] Control for Schrödinger equation on hyperbolic surfaces

Long Jin|arXiv (Cornell University)|Jul 17, 2017

Stability and Controllability of Differential Equations参考文献 7被引用 4

一句话总结

本文证明，在紧致双曲面上，任意非空开集均可对时间依赖的薛定谔方程实现可观测性与精确控制。基于Dyatlov与Jin（2017）的半经典控制估计，作者运用希尔伯特唯一性方法（HUM），证明了任意开子集中的可观测性可推出精确可控性，从而将此前仅在平坦环面上成立的结果推广至双曲面。

ABSTRACT

We show that the any nonempty open set on a hyperbolic surface provides observability and control for the time dependent Schrödinger equation. The only other manifolds for which this was previously known are flat tori. The proof is based on the main estimate in Dyatlov-Jin and standard arguments of control theory.

研究动机与目标

• 建立紧致双曲面上薛定谔方程的可观测性与控制性。
• 将此前仅在平坦环面上成立的结论——即非空开集可控制薛定谔方程——推广至双曲面。
• 证明在双曲面上无需施加几何控制条件，与一般流形情形不同。
• 展示结果可推广至具有 $L^\infty$ 位势的薛定谔算子，甚至可能推广至 $L^2$ 位势。
• 探讨结果是否可推广至粗糙控制集或 $L^4$-正则控制函数，如近期在环面上的工作所示。

提出的方法

• 利用Dyatlov与Jin（2017）的半经典控制估计，该估计表明：在余切丛上任意非零截断函数可控制解的 $L^2$-范数，误差为对数级。
• 应用希尔伯特唯一性方法（HUM），通过控制问题与观测问题在希尔伯特空间中的对偶性，由可观测性推导出精确可控性。
• 使用唯一性-紧致性论证，证明在 $(0,T)\times\Omega$ 上 $L^2$-范数为零的唯一初值是零函数，从而建立可观测性。
• 利用谱理论与标准正交特征函数展开，控制解的 $H^{-4}$-范数并导出收敛性估计。
• 采用扰动论证，将结果从 $-\Delta$ 推广至 $-\Delta + V$，其中 $V \in L^\infty(M;\mathbb{R})$。
• 依赖于希尔伯特空间中对偶性所导出的可观测性与控制算子的满射性之间的等价关系。

实验结果

研究问题

• RQ1 在紧致双曲面的任意非空开集上，是否可实现薛定谔方程的控制，而无需施加几何控制条件？
• RQ2 Dyatlov与Jin（2017）的半经典控制估计是否意味着在双曲面上薛定谔方程的可观测性与可控性？
• RQ3 该结果在多大程度上可推广至具有 $L^2$-位势的薛定谔算子，如在平坦环面上的情形？
• RQ4 该控制结果是否可推广至粗糙控制集或 $L^4$-函数，如近期在环面上的工作所示？
• RQ5 定理1.2中的可观测性常数 $K$ 是否可从定理1.1中的半经典估计中计算得出？

主要发现

• 在紧致双曲面 $M$ 上，任意非空开集 $\Omega \subset M$ 均可提供薛定谔方程的可观测性：存在 $K > 0$（依赖于 $M$、$\Omega$ 与 $T$），使得 $\|u_0\|_{L^2}^2 \leq K \int_0^T \|e^{it\Delta}u_0\|_{L^2(\Omega)}^2 dt$。
• 该可观测性估计蕴含精确可控性：对任意 $u_0 \in L^2(M)$，存在控制函数 $f \in L^2((0,T)\times\Omega)$，使得方程 $(i\partial_t + \Delta)u = f\mathbf{1}_{(0,T)\times\Omega}$ 的解满足 $u(T,\cdot) \equiv 0$。
• 证明依赖于：在时间区间内于 $\Omega$ 上消失的非平凡解不存在，该结论通过使用 $H^{-4}$-范数估计的唯一性-紧致性论证得以证明。
• 该结果可推广至具有 $V \in L^\infty(M;\mathbb{R})$ 位势的薛定谔算子 $-\Delta + V$，因为主要的半经典估计在该类扰动下仍保持有效。
• 关键技术步骤是证明：唯一使演化过程在 $\Omega$ 上消失的初值是零函数，该结论通过特征函数展开与谱衰减性质得出。
• 可观测性不等式中的常数 $K$ 在原则上可从主估计 (1.1) 中的半经典常数 $C$ 推导得出，方法参考 [BBZ13, Appendix A]。