Study of Rota-Baxter Operators in Matrix $C^*$-Algebras Motivated by Toeplitz Structures, and Applications to Sliding Mode Control

技术摘要：受 Toeplitz 结构启发的矩阵 C∗-代数中 Rota-Baxter 算子研究及其在滑模控制中的应用

问题陈述
本文针对有限维矩阵 C∗-代数 $M_n(\mathbb{C})$ 上 Rota-Baxter 算子的结构分析及其在离散时滞系统滑模控制（SMC）中的应用展开研究。尽管离散海森堡代数和离散 Toeplitz C∗-代数为研究记忆依赖算子提供了启发式动机，但作者明确指出，并未进行严格的无限维约化。相反，该工作完全立足于 $M_n(\mathbb{C})$ 的有限维设定。核心问题在于通过权重为 $\lambda$ 的 Rota-Baxter 算子 $P$ 对系统矩阵（$A, A_d, B$）进行变形，并分析闭环系统由此产生的稳定性特性，特别关注代数变形、李结构与鲁棒控制综合之间的相互作用。

方法论
方法论分为三个 distinct 阶段：代数分类、控制框架构建以及通过矩阵不等式进行的稳定性分析。

1. 代数分类：作者对 $M_n(\mathbb{C})$ 上的 Rota-Baxter 算子进行了分类，提供了具体示例，如标量缩放（$P(X) = -\lambda X$）和三角投影（$P_+$ 投影到上三角矩阵）。他们确立了这些算子诱导了一个新的李括号 $[x, y]_P = [P(x), y] + [x, P(y)] + \lambda[x, y]$，并证明了该结构满足雅可比恒等式。本文严格区分了诱导的李结构（无条件成立）与额外的相容性条件（例如与导子的交换性或保持李子代数），并指出后者仅对特定算子（如标量缩放）成立。

2. 控制框架构建：研究考虑了具有已知时滞（$\tau$）和有界不确定性（$\delta(k)$）的离散时间系统。对系统矩阵应用 Rota-Baxter 变形，从而得到变形后的动力学。控制律采用带有饱和函数的标准 SMC 结构以抑制颤振。作者对主要理论发展施加了平方驱动（$m=n$）的既定假设，但也提供了一个非退化的矩形示例（$m=1, n=2$）以说明线性矩阵不等式（LMI）的可行性。

3. 稳定性分析：

   • 趋近阶段：本文分析了“准滑模”（QSM）趋近阶段。推导了状态在有限时间内进入边界层 $\|s(k)\| \leq \phi$ 的条件。此处的一项关键贡献是明确了设计顺序：初始状态界（$r_0$）由开环数据固定，反馈增益 $K$ 的选择需满足严格的算子范数条件（$\|A_P - B_P K\|_{op} < 1$），该条件强于标准的舒尔稳定性。
   • 滑动阶段：一旦系统处于流形上，便利用投影 $\Pi = I - B_P(CB_P)^{-1}C$ 对系统动力学进行约化。稳定性分析采用 Lyapunov-Krasovskii 泛函。作者推导出了双线性矩阵不等式（BMI）条件，并关键性地通过合同变换 $Q = X^{-1}$ 将其重构为可处理的线性矩阵不等式（LMI）。

主要贡献与结果

• 结构表征：本文在不依赖无限维约化的情况下，直接证明了 $M_n(\mathbb{C})$ 中 Rota-Baxter 算子的结构性质。它明确纠正了关于幂等算子的常见误解（例如，表明 Peirce 角映射通常不是权重为零的 Rota-Baxter 算子），并阐明了诱导李括号满足雅可比恒等式的条件。
• 稳定性条件：主要稳定性结果（定理 5.4）确立了约化后的滑动动力学是渐近稳定的，并且从不确定性到状态具有有界的 $L_2$-增益。只要特定的 LMI（5.7）可行，这一结果即可得到保证。
• 有效增益分析：一项重要发现是将有效 $L_2$-增益表征为 $\gamma/\sqrt{\mu}$，其中 $\mu = \lambda_{\min}(-M)$ 取决于 LMI 的解。作者证明，仅最小化 LMI 参数 $\gamma$ 并不能最小化有效增益界，因为 $\mu$ 是事后确定的。
• 设计程序：本文概述了一个严谨、非循环的设计程序（注 4.7），该程序按顺序选择初始界、反馈增益和饱和参数，确保趋近阶段分析所需的统一状态界在增益 $K$ 选定后事后得到验证。
• 数值示例：第 7 节提供了一个非退化的数值示例（$m=1, n=2$），其中投影 $\Pi$ 非零且 LMI 可行。该示例验证了理论主张，表明约化后的系统矩阵可以是奇异的但仍是舒尔稳定的，并确认了计算出的 $L_2$-增益。

意义与主张
本文声称建立了一个严格的框架，将 Rota-Baxter 代数结构与有限维矩阵代数中时滞系统的鲁棒控制联系起来。其意义在于：

1. 代数严谨性：为有限维中 Rota-Baxter 算子的李代数性质提供直接证明，避免了启发式无限维约化的陷阱。
2. 控制综合：提供了一种基于可处理 LMI 的方法，用于设计动力学被 Rota-Baxter 算子变形的系统的滑模控制器，能够容纳时滞和不确定性。
3. 稳定性指标的澄清：纠正了在此背景下对 $L_2$-增益的解释，强调有效增益取决于特定的 Lyapunov 解（$\mu$）和初始条件（特别是标准增益解释所需的零扩展初始条件）。

作者明确指出，Toeplitz 代数仅作为结构直觉的来源（注 1.1），且结果完全自包含于 $M_n(\mathbb{C})$ 内。未来的工作被确定为将这些结果扩展到无限维设定、时变时滞以及一般的矩形系统配置。