[论文解读] Controllability Issues of Linear Ensemble Systems.

Xudong Chen|arXiv (Cornell University)|Mar 10, 2020

Advanced Operator Algebra Research参考文献 16被引用 4

一句话总结

本文通过证明当参数化空间维度超过一维时，实解析线性集合系统无法实现 L^p-可控制性（2 ≤ p ≤ ∞），解决了集合控制中的一个开放问题。该结果利用解析性与泛函分析工具，确立了在高维参数空间中可控制性的根本限制。

ABSTRACT

We address an open problem in ensemble control: Whether there exist controllable linear ensemble systems over high dimensional parameterization spaces? We provide a negative answer: Any real-analytic linear ensemble system is not $\mathrm{L}^p$-controllable, for $2\le p \le \infty$, if the dimension of its parameterization space is greater than one.

研究动机与目标

• 研究在高维参数化空间上是否存在可控制的线性集合系统，这是集合控制领域长期存在的开放问题。
• 确定线性集合系统中实解析依赖于参数时，L^p-可控制性的根本限制。
• 分析参数化空间维度在限制线性集合系统可控制性方面的作用。
• 建立对具有参数依赖动力学的大规模系统控制可行性的理论边界。
• 针对参数空间维度超过一维的情况，给出 L^p-可控制线性集合系统存在的否定答案。

提出的方法

• 分析采用泛函分析与实解析函数理论工具，研究 L^p 空间中可达集的结构。
• 本文使用参数化系统族在 L^p 空间中对轨迹进行一致 L^p-逼近的概念。
• 利用实解析函数的唯一性性质，证明当参数空间维度大于一维时，可达集无法张满整个 L^p 空间。
• 该证明依赖于这样一个事实：具有非平凡零点集的实解析函数其支撑集测度为零，从而限制了系统达到任意状态的能力。
• 论证在参数维度大于一的流形上参数化动力学的线性集合系统背景下进行。
• 分析表明，在给定的解析性与维度约束下，可控性算子的像在 L^p 空间中不可能是稠密的，其中 p 属于 [2, ∞]。

实验结果

研究问题

• RQ1 当参数化空间维度大于一维时，线性集合系统是否可以实现 L^p-可控制性？
• RQ2 系统矩阵关于参数的实解析依赖性在限制可控制性方面起到何种作用？
• RQ3 在高维参数空间中，线性集合系统是否存在 L^p-可控制性的根本障碍？
• RQ4 在什么条件下，可达集在 L^p 空间中（2 ≤ p ≤ ∞）不具有稠密性？
• RQ5 参数空间维度与解析性如何相互作用，从而限制可控制性？

主要发现

• 当参数化空间维度大于一维时，任意实解析线性集合系统在 2 ≤ p ≤ ∞ 范围内均不可实现 L^p-可控制性。
• 该限制源于实解析函数的刚性，使其在给定条件下无法实现在 L^p 空间中的稠密可达性。
• 只要系统矩阵在参数上为实解析函数，该结果对系统矩阵的具体形式不敏感。
• 可控制性失败并非源于系统结构，而是实解析性与高维参数空间之间相互作用的结果。
• 可达集在 p 属于 [2, ∞] 时无法在 L^p 空间中稠密，意味着在此设定下完全可控制性不可能实现。
• 该否定结果确立了明确的理论边界：在高维参数空间中，实解析线性集合系统在 L^p 空间中的可控制性是不可能的。