[论文解读] Linear systems with persistent memory: An overview of the biblography on controllability

Luciano Pandolfi|arXiv (Cornell University)|Apr 5, 2018

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

一句话总结

本文全面回顾了具有持续记忆的线性系统的可控制性结果，其模型由涉及记忆核 $ N(t) $ 和 $ C_0 $-半群生成元 $ A $ 的积分微分方程描述。主要贡献在于对移动控制下可控制性特性的分析——特别是近似可控制性和零可控制性，表明当控制区域在空间中适当地移动时，可实现零状态控制和静止状态控制，尤其对于指数型记忆核而言。

ABSTRACT

We discuss the bibliography on control problems for systems with persistent memory

研究动机与目标

• 对现有文献中关于具有持续记忆的线性系统可控制性的研究成果进行综述与系统化整理，特别是那些由含记忆核的积分微分方程所描述的系统。
• 研究具有记忆的系统是否能够实现零可控制性和静止状态可控制性，特别是在控制作用于随时间变化的空间区域时。
• 阐明由于因果性与正则性约束，精确可控制性受限的原因，尤其与热方程进行对比。
• 考察移动控制在克服具有记忆系统中零可控制性缺失方面的作用，特别是针对 (CG) 和 (GP) 等模型。
• 建立可控制性到零蕴含可控制性到静止状态的条件，尤其针对指数衰减型记忆核。

提出的方法

• 分析基于状态空间形式化方法，利用半群理论，将原方程重写为包含整个历史状态的无限维形式。
• 系统通过第二类伏尔泰拉积分方程建模，假设记忆核 $ N(t) $ 为 $ C^k $（$ k \geq 1 $），且当 $ \alpha = 0 $ 时 $ N(0) > 0 $。
• 论文采用通过半群与积分算子表示解的方法，特别是公式 $ w(t) = \int_0^t N(t-s) \int_0^s N'(s-r) w(r) \, dr \, ds $，以分析解的正则性与可控制性。
• 通过使用随时间变化的控制区域 $ \omega(t) \subseteq \Omega $ 来研究可控制性，其中控制仅作用于定义域的时间依赖子集。
• 分析区分了 (CG) 模型（热型）与 (GP) 模型（波型），其目标状态分别为：(GP) 模型的位移与速度，(CG) 模型的温度与通量。
• 论文依赖于文献 [44, 47, 48, 49] 中的反例，以否定系统具有记忆时可继承热方程零可控制性性质的猜想。

实验结果

研究问题

• RQ1 当控制作用于移动空间区域时，具有持续记忆的系统能否实现零可控制性？
• RQ2 对于具有记忆的系统，可控制性到零是否蕴含可控制性到静止状态，特别是对于指数核？
• RQ3 为何具有记忆的系统无法实现精确可控制性？与热方程相比有何不同？
• RQ4 记忆核 $ N(t) $ 与控制区域 $ \omega(t) $ 需满足何种条件，才能确保解在时间 $ T $ 之后恒为零？
• RQ5 包含无限维历史的状态空间形式化如何影响精确可控制性的可能性？

主要发现

• 零可控制性无法从热方程继承至具有记忆的系统；文献 [44, 47, 48, 49] 中的反例否定了 $ w(T) = 0 $ 且 $ \int_0^T N(T-s)w(s)\,ds = 0 $ 意味着 $ t > T $ 时解恒为零的猜想。
• 对于指数型记忆核 $ N(t) = e^{-\beta t} $，可控制性到零蕴含可控制性到静止状态，因为解在 $ T $ 之后由于记忆结构而保持为零。
• 当控制区域 $ \omega(t) $ 以某种方式移动并覆盖整个区域 $ \Omega $ 时，(GP) 模型的态 $ (w(T), w'(T), \int_0^T N(T-s)\nabla w(s)\,ds) $ 实现了零可控制性。
• 对于 (CG) 模型，在相同移动控制条件下，$ (w(T), \int_0^T N(T-s)\nabla w(s)\,ds) $ 实现了零可控制性。
• 解 $ w(t) $ 的正则性与热方程解相同：平方可积但不一定连续，因此精确可控制性不可能实现。
• 即使由于正则性不足导致精确可控制性失败，通过边界控制在任意 $ T > 0 $ 下仍可在 $ L^2(\Omega) $ 中实现近似可控制性。