[论文解读] Regular propagators of bilinear quantum systems

Thomas Chambrion, Nabile Boussaïd+1 more|arXiv (Cornell University)|Jun 30, 2014

Advanced Mathematical Physics Problems参考文献 42被引用 10

一句话总结

该论文为由 $x' = (A + u(t)B)x$ 控制的双线性量子控制系统建立了正则性和能量估计，其中 $A$ 和 $B$ 是压缩半群的斜自伴生成元。通过将解框架扩展至雷诺斯测度空间中的控制并施加交换子条件，推导出先验界，推广了 Ball-Marsden-Slemrod 的不可控性结果，提供了可达集的精确上界，并实现了对如双线性薛定谔方程等系统更高阶正则性的分析。

ABSTRACT

The present analysis deals with the regularity of solutions of bilinear control systems of the type $x'=(A+u(t)B)x$where the state $x$ belongs to some complex infinite dimensional Hilbert space, the (possibly unbounded) linear operators $A$ and $B$ are skew-adjoint and the control $u$ is a real valued function. Such systems arise, for instance, in quantum control with the bilinear Schrödinger equation. For the sake of the regularity analysis, we consider a more general framework where $A$ and $B$ are generators of contraction semi-groups.Under some hypotheses on the commutator of the operators $A$ and $B$, it is possible to extend the definition of solution for controls in the set of Radon measures to obtain precise a priori energy estimates on the solutions, leading to a natural extension of the celebrated noncontrollability result of Ball, Marsden, and Slemrod in 1982. Complementary material to this analysis can be found in [hal-01537743v1]

研究动机与目标

• 分析无限维希尔伯特空间中双线性控制系统 $x' = (A + u(t)B)x$ 解的正则性。
• 将解的概念从分段常数控制扩展至雷诺斯测度空间，确保传播算子的适定性和连续性。
• 推导约束可达集的先验能量估计，从而确立不可控性的障碍。
• 将 1982 年 Ball-Marsden-Slemrod 的不可控性结果推广至具有无界生成元和脉冲控制的系统。
• 利用谱理论和插值技术，提供在高阶索伯列夫型空间中近似可控性的充分条件。

提出的方法

• 在希尔伯特空间框架下形式化系统，其中 $A$ 和 $B$ 为压缩半群的斜自伴生成元。
• 通过戴逊级数展开，为雷诺斯测度空间中的控制引入广义传播算子。
• 应用 $A$ 与 $B$ 之间的交换子条件，推导温和解的高阶范数估计。
• 利用插值理论和算子的分数阶幂，估计在 $D(|A|^{s})$ 空间中的正则性。
• 采用全纯摄动理论（卡托框架）分析谱稳定性，避免控制设计中的共振。
• 建立传播算子映射 $u \mapsto \Upsilon^u_T \psi_0$ 在有变差和雷诺斯空间控制下的连续性，从而在可达集上启用紧致性论证。

实验结果

研究问题

• RQ1 在何种条件下，双线性量子系统的解可被延拓至雷诺斯测度空间中的控制？
• RQ2 $A$ 与 $B$ 之间的交换子条件如何影响解的正则性和能量界？
• RQ3 经典的 Ball-Marsden-Slemrod 不可控性结果能否推广至具有无界生成元和脉冲控制的系统？
• RQ4 当控制为有变差或测度值时，可达集的最优正则性是什么？
• RQ5 如何利用谱理论和插值技术在高阶索伯列夫空间中建立近似可控性？

主要发现

• 在对 $A$ 和 $B$ 的交换子和正则性假设下，解映射 $u \mapsto \Upsilon^u_T \psi_0$ 可连续延拓至雷诺斯测度空间中的控制。
• 在弱耦合条件下，推导出解的先验能量估计，从而实现对可达集的统一有界性。
• 当控制属于 BV 的序列紧子集时，任意初态 $\psi_0$ 的可达集在 $\mathcal{H}$ 中是预紧的，这是由连续性和紧致性论证得出的。
• 通过能量估计，将经典的 Ball-Marsden-Slemrod 不可控性结果推广至具有无界斜自伴生成元和脉冲控制的系统。
• 对于 $k$-弱耦合系统，在矩阵元无共振且有限重数的条件下，对任意 $\eta > 0$，在 $D(|A|^{k/2 + 1 - \eta})$ 中近似可控性成立。
• 利用全纯摄动理论，证明 $A + zB$ 的特征值和特征向量在实轴邻域内是全纯的，从而实现对控制扰动的鲁棒性分析。