[论文解读] Control for Schroedinger operators on tori

Nicolas Burq, Maciej Zworski|arXiv (Cornell University)|Jun 7, 2011

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

一句话总结

本文针对二维环面上光滑势能的薛定谔算符建立了可观测性与控制结果。通过结合谱理论与半经典分析的方法，证明了定态与动力薛定谔方程的解在 $L^2$ 意义下可从环面的任意开子集实现控制，将 Jaffard 对自由拉普拉斯算符的结果推广至光滑势能 $V \in C^\infty(\mathbb{T}^2)$ 的情形。

ABSTRACT

A well known result of Jaffard states that an arbitrary region on a torus controls, in the L2 sense, solutions of the free stationary and dynamical Schroedinger equations. In this note we show that the same result is valid in the presence of a smooth time-independent potential. The methods apply to continuous potentials as well and we conjecture that the L2 control is valid for any bounded time dependent potential.

研究动机与目标

• 将环面上自由薛定谔方程的 $L^2$ 控制结果推广至光滑、时间无关势能的情形。
• 为带势能的动力薛定谔方程解建立可观测性估计，表明初始能量可通过在一段时间内对子集的观测被控制。
• 通过 HUM 方法推导出属于 $L^2((0,T)\times\Omega)$ 的控制函数的存在性，使得解在时间 $T$ 时归零。
• 证明控制估计在势能的光滑扰动下保持稳定，并推测其对 $L^\infty$ 及复值势能也成立。

提出的方法

• 利用 HUM 方法从可观测性估计推导控制结果，依赖于控制问题与观测问题之间的对偶性。
• 基于高频估计的扰动论证，利用高能估计中常数在势能的小 $L^\infty$-扰动下保持不变的性质。
• 运用半经典分析与缺陷测度分析解的传播，特别关注哈密顿向量场流下相空间中的支撑。
• 通过变量分离将问题约化为一维情形，并利用 Moser 平均法中的标准型定理处理势能项。
• 应用 Duhamel 公式关联定态与动力方程，表明定理 1（定态控制）可由定理 2（动力可观测性）推出。
• 基于 $H^{-2}$ 中的弱收敛性与观测算子核的有限维性，采用反证法证明可观测性估计。

实验结果

研究问题

• RQ1 环面上自由薛定谔算符的 $L^2$ 控制性质能否推广至光滑势能 $V \in C^\infty(\mathbb{T}^2)$ 的情形？
• RQ2 带势能的动力薛定谔方程的可观测性估计在势能的光滑扰动下是否稳定？
• RQ3 带势能的薛定谔方程控制结果是否适用于 $L^\infty$ 正则势能？能否推广至复值势能？
• RQ4 能否利用半经典方法与缺陷测度证明可观测性估计，特别是通过分析缺陷测度在哈密顿流下的支撑不变性？

主要发现

• 本文证明：对任意开集 $\Omega \subset \mathbb{T}^2$，定态薛定谔方程 $(-\Delta + V - \lambda)u = f$ 的解的 $L^2$-范数可由 $f$ 与 $u$ 在 $\Omega$ 上的限制的 $L^2$-范数控制，其中常数 $K = K(\Omega)$ 仅依赖于 $\Omega$。
• 对于动力薛定谔方程 $i\partial_t u = (-\Delta + V)u$，初始 $L^2$-范数被 $\Omega \times (0,T)$ 上解的 $L^2$-范数控制，常数为 $K = K(\Omega,T)$，从而建立了可观测性估计。
• 证明了存在控制函数 $f \in L^2((0,T)\times\Omega)$，使得受控方程的解在时间 $T$ 时为零，该结果基于 HUM 方法与可观测性估计。
• 证明依赖于 $H^{-2}$ 中的弱收敛性与观测算子核的有限维性，后者源于椭圆算子的唯一延拓性质。
• 关键技术步骤是证明高频估计中的常数在 $L^\infty$ 有界集内与势能 $V$ 无关，从而允许对 $C^0$ 与 $L^\infty$ 势能进行扰动论证。
• 作者推测结果可推广至复值势能 $V \in L^\infty(\mathbb{T}^2; \mathbb{C})$ 与时间依赖势能 $V(t,z) \in L^\infty(\mathbb{R} \times \mathbb{T}^2; \mathbb{C})$。