[论文解读] Pointwise Stabilization of Discrete-time Stationary Matrix-valued Markovian Chains

Xiongping Dai, Yu Huang+1 more|arXiv (Cornell University)|Jul 1, 2011

Stability and Control of Uncertain Systems参考文献 24被引用 3

一句话总结

本文证明，在离散时间、平稳的矩阵值马尔可夫跳跃线性系统中，当满足本质非一致乘积有界性条件时，逐点收敛与逐点指数收敛等价。通过利用测度论、遍历理论及状态空间分解定理，作者证明了对每个初始状态几乎必然收敛至零，可推出指数收敛速率，从而在符号动力学与随机稳定性理论中提供了关键表征。

ABSTRACT

We study the pointwise stabilizability of a discrete-time, time-homogeneous, and stationary Markovian jump linear system. By using measure theory, ergodic theory and a splitting theorem of state space we show in a relatively simple way that if the system is essentially product-bounded, then it is pointwise convergent if and only if it is pointwise exponentially convergent.

研究动机与目标

• 表征离散时间马尔可夫跳跃线性系统中逐点收敛蕴含逐点指数收敛的条件。
• 解决控制理论中长期存在的难题：随机系统中逐点收敛与指数收敛的非等价性问题。
• 利用符号动力学与遍历理论建立理论框架，分析随机切换下的收敛行为。
• 阐明线性柯 cycle 与马尔可夫系统中一致收敛与非一致收敛之间的区别。
• 提供一个必要且充分条件——本质非一致乘积有界性——在此条件下，逐点收敛蕴含指数收敛。

提出的方法

• 基于李雅普诺夫指数，将状态空间 ℝ¹ˣᵈ 分解为稳定子空间与不稳定子空间。
• 应用测度论工具与遍历分解定理，分析符号序列上的不变测度。
• 在单边移位空间 Σ⁺ₖ 上使用移位映射 θ 来建模轨迹演化并分析长期行为。
• 引入“本质非一致乘积有界性”概念，以控制切换序列下矩阵乘积的增长。
• 利用依 Egoroff 定理在正测度子集上实现几乎一致收敛，从而实现指数速率估计。
• 利用与每个轨迹 i· 关联的稳定子空间 Es(i·) 通过谱性质表征收敛行为。

实验结果

研究问题

• RQ1 在何种条件下，离散时间马尔可夫跳跃线性系统中逐点收敛蕴含逐点指数收敛？
• RQ2 马尔可夫切换过程的结构如何影响矩阵乘积的稳定性？
• RQ3 遍历性与不变测度在表征随机线性系统中收敛类型方面起什么作用？
• RQ4 在较弱有界性假设下，非一致收敛能否转化为指数收敛？
• RQ5 为何在线性柯 cycle 理论与控制系统中，一致收敛与非一致收敛的区分至关重要？

主要发现

• 若系统满足本质非一致乘积有界性，则逐点收敛与逐点指数收敛等价。
• 存在一个正测度的轨迹集合，使得 xSᵢ₁⋯Sᵢₙ → 0 成立，即存在一个子集使得指数衰减发生。
• 对任意非零初始状态 x，存在一个 Borel 可测轨迹集合，其测度为正，且 x 属于稳定子空间 Es(i·)。
• 稳定子空间 Es(i·) 在移位映射 θ 下不变，且在此子空间上的收敛可保证指数衰减速率。
• 即使在遍历性条件下，实现逐点收敛的轨迹集合也可能不具有全测度，凸显了收敛的非一致性质。
• 证明依赖于遍历分解、几乎一致收敛（通过 Egoroff 定理实现）与状态空间谱分解之间的相互作用。