[论文解读] Semi-global weak stabilization of bilinear Schrödinger equations

Karine Beauchard, Vahagn Nersesyan|arXiv (Cornell University)|May 25, 2010

Advanced Mathematical Physics Problems参考文献 9被引用 6

一句话总结

本文通过基于控制李雅普诺夫函数的显式反馈律，建立了双线性薛定谔方程向基态的半全局弱稳定性。通过将LaSalle不变性原理适配至PDE系统，证明在谱与控制耦合满足一般非共振条件下，整个解轨迹在 $ t \to \infty $ 时弱收敛于 $ H^2 $ 中的基态。

ABSTRACT

We consider a linear Schrödinger equation, on a bounded domain, with bilinear control, representing a quantum particle in an electric field (the control). Recently, Nersesyan proposed explicit feedback laws and proved the existence of a sequence of times $(t_n)_{n \in \mathbb{N}}$ for which the values of the solution of the closed loop system converge weakly in $H^2$ to the ground state. Here, we prove the convergence of the whole solution, as $t ightarrow + \infty$. The proof relies on control Lyapunov functions and an adaptation of the LaSalle invariance principle to PDEs.

研究动机与目标

• 在有界域上实现双线性薛定谔方程基态在 $ H^2 $ 中的渐近弱稳定性。
• 将先前仅证明沿时间序列弱收敛的结果推广至 $ t \to \infty $ 时的完整收敛。
• 设计一种反馈律，确保在 $ H^1_0 \cap H^2 $ 单位球面上除目标集 $ \mathcal{C} $ 外几乎所有初始状态均实现收敛。
• 将LaSalle不变性原理适配至具有反馈控制的无限维PDE系统。
• 确定 $ \omega $-极限集与基态流形 $ \mathcal{C} $ 重合的条件。

提出的方法

• 提出显式反馈律 $ u(z) = -\delta \operatorname{Im}\left[ \langle \alpha A P_{1,V}(Qz), A P_{1,V}z \rangle - \langle Qz, e_{1,V} \rangle \langle e_{1,V}, z \rangle \right] $，其中 $ \delta, \alpha > 0 $。
• 使用控制李雅普诺夫函数 $ \mathcal{V}(z) = 1 - |\langle z, e_{1,V} \rangle|^2 $ 衡量与基态的距离。
• 将LaSalle不变性原理的修改版本应用于具有 $ H^2 $ 中弱收敛的无限维系统。
• 依赖有界域上Sobolev空间的紧嵌入，以保证序列弱收敛并实现非线性项中的极限传递。
• 证明反馈控制输入 $ u[\mathcal{U}_t(z)] \to 0 $ 几乎处处收敛于时间，暗示极限态在无控制动力学下保持不变。
• 利用弱-$ H^2 $ 序列紧致性与解的唯一性，表明任意弱极限点必属于基态流形 $ \mathcal{C} $。

实验结果

研究问题

• RQ1 双线性薛定谔方程的解沿时间序列的弱收敛能否升级为 $ t \to \infty $ 时的完整收敛？
• RQ2 在何种谱与控制耦合条件下，LaSalle不变性原理可实现 $ H^2 $ 中基态的稳定性？
• RQ3 是否可能通过显式反馈确保整个解轨迹（而不仅子序列）弱收敛于基态？
• RQ4 如何将LaSalle不变性原理适配至具有非线性反馈的无限维PDE系统？
• RQ5 在何种条件下，势函数 $ V $、控制算子 $ Q $ 与系统谱可保证 $ \omega $-极限集与基态流形 $ \mathcal{C} $ 重合？

主要发现

• 本文证明，对于所有初始状态 $ z_0 \in S \cap H^1_0 \cap H^2 $ 不属于 $ \mathcal{C} $ 的情形，在条件 0.1 下，解 $ \mathcal{U}_t(z_0) $ 在 $ t \to \infty $ 时弱收敛于 $ \mathcal{C} $，且收敛发生在 $ H^2 $ 中。
• 该收敛在 $ H^2 $ 中具有半全局性，即对 $ H^1_0 \cap H^2 $ 单位球面上所有初始状态（除目标流形 $ \mathcal{C} $ 上的点外）均成立。
• 该反馈律确保控制输入 $ u[\mathcal{U}_t(z)] $ 几乎处处收敛于时间零，这是证明极限态不变性的关键。
• 解轨迹的 $ \omega $-极限集被证明包含于 $ \mathcal{C} $ 中，且由于控制在极限处消失，状态必为薛定谔算子的本征态。
• 证明依赖于以下事实：在零控制的闭环动力学下，唯一不变态为属于 $ \mathcal{C} $ 的态，即基态 $ e_{1,V} $ 的倍数。
• 该结果对所有 $ \alpha \in (0, \alpha^*) $ 成立，除一个测度为零的离散集 $ J \subset \mathbb{R}_+^* $ 外，该集合不影响收敛性。