控制中的 LMI / pages / Schur 补

Schur 补是证明许多 LMI 定理的重要工具。它经常被用作 LMI 线性化的一个方法。

Schur 补

考虑矩阵 $Q$，$M$ 和 $R$，其中 $Q$ 和 $M$ 是自伴的。那么以下陈述是等价的

1. $Q>0$ 和 $M-RQ^{-1}R^{*}>0$ 都成立。
2. $M>0$ 和 $Q-R^{*}M^{-1}R>0$ 都成立。
3. ${\begin{bmatrix}M&R\\R^{*}&Q\end{bmatrix}}>0$ 得到了满足。

更简洁地说

${\begin{bmatrix}M&R\\R^{*}&Q\end{bmatrix}}>0\iff {\begin{bmatrix}M&0\\0&Q-R^{*}M^{-1}R\end{bmatrix}}>0\iff {\begin{bmatrix}M-RQ^{-1}R^{*}&0\\0&Q\end{bmatrix}}>0$

外部链接

• 最优和鲁棒控制中的 LMI 方法 - Matthew Peet 关于 LMI 控制的课程。
• 系统、稳定性和控制理论中的 LMI 属性和应用 - Ryan Caverly 和 James Forbes 编制的 LMI 列表。
• 系统和控制理论中的 LMI - Stephen Boyd 编写的关于 LMI 的可下载书籍。