A complete classification of control sets for singular linear control systems on the Heisenberg group

基本信息

• 论文ID: 2510.08751
• 标题: A complete classification of control sets for singular linear control systems on the Heisenberg group
• 作者: Adriano Da Silva (Universidad de Tarapacá), Okan Duman (Yildiz Technical University), Anderson Felipe Penagos Rojas (Universidade Estadual de Campinas)
• 分类: math.OC (Optimization and Control)
• 发表时间: October 13, 2025
• 论文链接: https://arxiv.org/abs/2510.08751

摘要

本文研究了Heisenberg群上与奇异导数相关的线性控制系统的控制集。在李代数秩条件下，通过分析相关2×2子矩阵的迹和行列式，提供了这些控制集的完整特征化。

研究背景与动机

问题背景

1. 传统研究局限性: 传统的线性控制系统研究主要集中在欧几里得空间，但当底层空间具有非平凡几何结构（如李群）时，动力学行为会表现出在欧几里得环境中没有对应物的特性。
2. 李群上控制系统的重要性: 李群上的线性控制系统与微分几何、表示论和非线性动力学有深刻联系。Jouan证明了每个具有完备向量场的控制仿射系统都等价于李群或齐次空间上的线性控制系统。
3. 幂零李群的特殊性: 对于幂零李群上的线性控制系统，控制集的性质强烈依赖于与漂移向量场相关的导数的特征值。
4. 研究空白: 虽然正则情况（相关导数可逆）已有研究，但奇异情况（相关导数不可逆）仍是一个关键空白，呈现出根本不同且更复杂的景象。

研究动机

Heisenberg群作为三维幂零但非阿贝尔李群，结合了简单结构和高度非平凡的几何性质，是探索群结构如何影响可控性的理想测试平台。本文专门解决奇异情况下未探索且具有挑战性的问题。

核心贡献

1. 完整分类框架: 提供了Heisenberg群上奇异线性控制系统控制集的完整分类，其中相关导数不可逆。
2. 基于不变量的分析: 通过利用群的自同构将系统共轭为简化的标准形式，基于导数的基本不变量（2×2子矩阵A的迹trA和行列式detA）进行细致分析。
3. 丰富的行为模式发现: 揭示了多样化的行为模式：
   • detA = trA = 0时的二分性：全局可控性或完全不可控性
   • detA ≠ 0且trA = 0时基于谱和参数的特征化
   • detA = 0且trA ≠ 0时与仿射系统的联系
4. 理论基础: 为将奇异线性控制系统研究扩展到高维幂零李群奠定了具体基础。

方法详解

任务定义

研究Heisenberg群H = (ℝ² × ℝ, ∗)上的线性控制系统：

ΣH: ẋ(τ) = X(x(τ)) + Σᵢ uᵢ(τ)Zᵢ(x(τ))

其中X是线性向量场，Zᵢ是左不变向量场，目标是完全刻画其控制集。

理论框架

Heisenberg群结构

Heisenberg群定义为H := (ℝ² × ℝ, ∗)，其中：

(v₁, z₁) ∗ (v₂, z₂) := (v₁ + v₂, z₁ + z₂ + ½ω(v₁,v₂))

其李代数为h := (ℝ² × ℝ, ·, ·)，满足：

[(ζ₁, α₁), (ζ₂, α₂)] := (0, ω(ζ₁, ζ₂))

导数和自同构结构

命题3.4: 导数D和自同构P的显式形式为：

D = (A  0 )  ∈ Der(h),  P = (P  0   ) ∈ Aut(H)
    (η^T trA)              (ξ^T detP)

线性控制系统表示

单输入线性控制系统在坐标下表示为：

v̇ = Av + uζ
ż = z·trA + uα + ω(v, θη + u·½ζ)

技术创新点

1. 共轭简化策略: 利用自同构P可以选择性地简化矩阵A至Jordan标准形，同时保持谱性质。
2. 分类准则: 基于LARC和ad-rank条件建立分类准则：
   • LARC: ω(Aζ, ζ) ≠ 0
   • ad-rank条件: ω(Aζ, ζ)(α detA + ω(Aζ, θη)) ≠ 0
3. 分情况分析: 根据detA和trA的不同组合进行系统性分析。

主要结果

情况1: detA = trA = 0

定理4.1:

1. 若ω(Aζ, θη) ≠ 0，则H是ΣH的唯一控制集
2. 若ω(Aζ, θη) = 0，则平面kerD是ΣH的连续统一点控制集

证明思路: 通过构造共轭系统和Lyapunov型函数F(x,y,z) = 3zσ + y(y² - 2xσ)证明轨道分离性质。

情况2: detA ≠ 0且trA = 0

定理4.3:

1. 若满足ad-rank条件，则C_{ℝ²} × ℝ是ΣH的唯一控制集
2. 若不满足ad-rank条件但A有纯虚特征值，结论同(1)
3. 若不满足ad-rank条件且A有实特征值，则kerD是连续统一点控制集

关键技术:

• 对于纯虚特征值情况，利用旋转矩阵性质构造周期轨道
• 对于实特征值情况，构造函数G(x,y,z) = z + σy + σ²ln(y-σ)证明轨道单调性

情况3: detA = 0且trA ≠ 0

定理4.5: 唯一控制集为CH = π⁻¹(C^A_{ℝ²})，其中π是到后两个分量的典型投影。

证明方法: 通过与仿射系统的共轭关系，利用仿射控制系统理论建立控制集对应关系。

技术细节分析

共轭技术的应用

论文巧妙运用自同构群Aut(H)将复杂系统简化：

PDP⁻¹ = (PAP⁻¹  0  )
         (η̂^T    trA)

其中η̂可通过适当选择P进行调节。

纤维可控性分析

命题4.2展示了不同参数条件下纤维{0} × ℝ的可控性：

• α ≠ 0: 存在周期轨道连接任意两点
• α = 0: 根据(detA)⁻¹ω(Aζ,ζ)符号确定正时间或负时间可达性

Lyapunov函数构造

在证明控制集唯一性时，论文构造了精巧的Lyapunov型函数，如：

F(x,y,z) = 3zσ + y(y² - 2xσ)
G(x,y,z) = z + σy + σ²ln(y-σ)

这些函数沿轨道的单调性确保了轨道分离。

相关工作

历史发展

1. Markus (1962): 首次将线性控制系统框架扩展到矩阵群
2. Ayala & Tirao: 推广到任意李群，建立统一几何观点
3. Jouan: 证明控制仿射系统与李群线性控制系统的等价性

现有研究

• 正则情况下的控制集存在性已有保证
• 低维群上的控制集性质研究
• 幂零李群上导数特征值与控制集的关系

本文贡献

本文填补了奇异情况下的理论空白，提供了完整的分类框架。

结论与讨论

主要结论

1. 完整分类: 基于矩阵A的迹和行列式，完全刻画了Heisenberg群上奇异线性控制系统的控制集结构。
2. 丰富现象: 发现了从全局可控性到完全不可控性的丰富行为谱系。
3. 几何洞察: 揭示了群几何结构与控制理论性质的深刻联系。

局限性

1. 维数限制: 结果专门针对三维Heisenberg群，推广到高维需要进一步研究
2. 奇异假设: 仅考虑奇异导数情况
3. 单输入系统: 主要分析单输入情况

未来方向

1. 推广到高维幂零李群
2. 多输入系统的分析
3. 非幂零李群上的奇异线性控制系统研究

深度评价

优点

1. 理论完整性: 提供了该问题的完整解决方案，分类详尽
2. 方法创新: 巧妙结合李群理论、控制理论和动力系统方法
3. 技术深度: 证明技巧精湛，特别是Lyapunov函数的构造
4. 结构清晰: 论文组织良好，逻辑清晰

不足

1. 应用局限: 理论结果的实际应用价值需要进一步探索
2. 计算复杂性: 某些情况下的判别条件计算较为复杂
3. 数值验证: 缺乏数值实验验证理论结果

影响力

1. 理论贡献: 为李群上控制系统理论做出重要贡献
2. 方法论价值: 提供的分析框架可推广到其他李群
3. 基础研究: 为后续研究奠定坚实理论基础

适用场景

1. 机器人学中的非完整约束系统
2. 量子控制系统
3. 几何控制理论研究
4. 子黎曼几何应用

参考文献

论文引用了该领域的重要文献，包括Colonius & Kliemann的经典教材《The Dynamics of Control》，以及Ayala、Da Silva等人在李群控制系统方面的系列工作，体现了良好的学术传承和发展脉络。

总体评价: 这是一篇高质量的理论研究论文，在李群上控制系统这一重要领域做出了实质性贡献。论文技术深度高，理论完整性强，为该领域的进一步发展提供了重要基础。