第 41B 章 Kronecker 标准形与应用¶

前置：正则矩阵束 (Ch41A) · Jordan 标准形 (Ch12) · 最小多项式

本章脉络：从正则到奇异矩阵束 \(\to\) Kronecker 标准形 (KCF) 的定义 \(\to\) 核心组成部分：正则部分（有限与无穷） + 奇异部分 \(\to\) 列/行最小指数 (Minimum Indices) \(\to\) 矩阵束的秩与亏秩结构 \(\to\) 与最小多项式的深度联系 \(\to\) 应用：奇异线性系统的解的结构、控制理论中的可控性/可观测性分析、代数消元法

延伸：Kronecker 标准形是矩阵束相似变换下的终极不变量；它不仅涵盖了特征值信息，还刻画了算子间完全解耦后的“零空间流转”，是理解任何奇异演化系统的代数全景图

在 Ch41A 中，我们处理了具有非零行列式的正则矩阵束。然而，在更一般的场景（如多输入多输出控制系统或欠定微分方程组）中，特征多项式可能恒为零。Kronecker 标准形（Kronecker Canonical Form, KCF）通过引入最小指数（Minimal Indices），为这类最一般的奇异矩阵束提供了完美的分解。本章将揭示隐藏在奇异结构背后的代数美学。

41B.1 奇异矩阵束与 KCF¶

定义 41B.1 (奇异矩阵束)

若 \(A, B\) 定义的特征多项式 \(p(\lambda) = \det(A - \lambda B) \equiv 0\)（对所有 \(\lambda \in \mathbb{C}\) 均成立），或 \(A, B\) 是长方形矩阵，则称该矩阵束为奇异的（Singular）。

定理 41B.1 (Kronecker 标准形)

对于任意矩阵束 \(A - \lambda B\)，存在非奇异阵 \(P, Q\) 使得其化为分块对角形，包含： 1. 正则部分：与 Weierstrass 形一致（有限与无穷特征值）。 2. 右奇异部分：由列最小指数 \(\epsilon_i\) 确定的 \(L_\epsilon\) 块。 3. 左奇异部分：由行最小指数 \(\eta_j\) 确定的 \(L_\eta^T\) 块。

41B.2 最小指数的几何意义¶

定义 41B.2 (最小指数)

\(\epsilon_i\) 代表使得 \(A(\lambda)\mathbf{x}(\lambda) = \mathbf{0}\) 的多项式向量 \(\mathbf{x}(\lambda)\) 的最低次数。这量化了零空间随着频率 \(\lambda\) 变化的动态维度。

41B.3 控制理论应用¶

应用：可控性子空间

在系统 \(\dot{x} = Ax + Bu\) 中，其结构完全由矩阵束 \([sI - A \ | \ -B]\) 的 Kronecker 结构决定。 - 列最小指数对应于可控性指数（Controllability Indices）。 - 它们决定了将系统状态移动到目标所需的最短时间步或控制增益的维度。

练习题¶

1. [基础] 判定 \(A - \lambda B = \begin{pmatrix} 1 & \lambda \\ 0 & 0 \end{pmatrix}\) 的奇异性。

参考答案

计算： 1. 该阵为 \(2 \times 2\) 矩阵。 2. 计算行列式：\(\det = 1 \cdot 0 - \lambda \cdot 0 = 0\)。 3. 由于行列式对所有 \(\lambda\) 恒为 0。结论：这是一个奇异矩阵束。

2. [Kronecker块] 写出列最小指数 \(\epsilon=1\) 对应的 \(L_1\) 块的形式。

参考答案

构造： 根据定义，\(L_\epsilon\) 是 \(\epsilon \times (\epsilon+1)\) 的矩阵束。对于 \(\epsilon=1\)，它是 \(1 \times 2\) 的： \(L_1(\lambda) = \begin{pmatrix} 1 & -\lambda \end{pmatrix}\)。验证：其零空间向量为 \(\mathbf{x}(\lambda) = (\lambda, 1)^T\)，次数恰好为 1。

3. [性质] 证明：若矩阵束是长方形的（\(m \neq n\)），它一定是奇异的。

参考答案

解析： 1. 正则矩阵束要求 \(A, B\) 为方阵且特征多项式不恒为 0。 2. 对于长方形矩阵，无法定义传统的行列式判据。 3. 在 Kronecker 理论中，长方形矩阵束必然存在非零的左零空间或右零空间向量。结论：长方形矩阵束必然含有奇异部分。

4. [最小指数] 若列最小指数为 0，对应的块是什么？

参考答案

结论： \(L_0\) 块是一个 \(0 \times 1\) 的块（代数上表现为一列全 0 向量）。意义：这代表矩阵束中存在一个与 \(\lambda\) 无关的、恒定的右零空间向量。

5. [维数公式] 设 KCF 的各部分维度分别为 \(n_{reg}, n_{left}, n_{right}\)。证明它们的总和等于列数 \(n\)。

参考答案

证明： 由于 KCF 是通过非奇异变换 \(P(A-\lambda B)Q\) 得到的，这种相似变换保持了矩阵的维度。所有对角块的列数之和必须等于原矩阵的列数。

6. [计算] 求 \(\begin{pmatrix} 1 & \lambda & 0 \\ 0 & 0 & 1 \end{pmatrix}\) 的最小指数。

参考答案

分析： 1. 第一行和第二行独立，秩为 2。 2. 有 3 列，必有 1 个列最小指数。 3. 寻找 \(\mathbf{x}(\lambda)\) 使得 \(M\mathbf{x} = 0\)。 4. 令 \(\mathbf{x} = (x_1, x_2, x_3)^T\)。 5. 由第 2 行知 \(x_3 = 0\)。由第 1 行知 \(x_1 + \lambda x_2 = 0\)。 6. 取 \(x_2 = 1, x_1 = -\lambda\)。 7. \(\mathbf{x}(\lambda) = (-\lambda, 1, 0)^T\)。结论：最高次数为 1，故列最小指数 \(\epsilon_1 = 1\)。

7. [Weierstrass vs KCF] KCF 如何涵盖了 Weierstrass 标准形？

参考答案

关系： KCF 是 Weierstrass 形的超集。当矩阵束是方阵且正则时，奇异部分（\(L\) 块）消失，KCF 退化为 Weierstrass 形。KCF 为方阵的亏秩情形和长方形情形提供了补完。

8. [稳定性] 奇异矩阵束描述的动力系统稳定吗？

参考答案

分析： 1. 奇异部分意味着系统存在“自由流转”的方向（零空间向量）。 2. 这些方向上的解可以具有任意的时间包络（由 \(\mathbf{x}(\lambda)\) 的任意性决定）。结论：通常不稳定或不具备良好定义的因果演化性质。

9. [应用] 在控制系统设计中，为什么需要计算 KCF？

参考答案

理由： KCF 揭示了系统哪些模态是可以被输入控制的（对应 \(L\) 块），哪些模态是系统固有的（正则部分）。这为判定系统是否“完全可控”或进行“解耦设计”提供了最底层的结构证据。

10. [数值] 为什么 KCF 的数值计算比 Jordan 形更具挑战性？

参考答案

难点分析： 1. 除了对特征值的敏感性外，KCF 还需要判定“秩”的微小变化。 2. 扰动可能导致最小指数发生突变（例如从 1 变为 0）。对策：通常使用 GUPTRI 算法（基于酉变换的阶梯形分解）来近似提取 Kronecker 结构。

本章小结¶

Kronecker 标准形是算子干涉理论的终极表达：

奇异的分类：它证明了奇异性不是无序的混乱，而是由确定的“最小指数”刻画的、具有高度几何对称性的结构块。
动态的零空间：KCF 通过对多项式向量次数的量化，将静态的核空间概念提升为随频率演化的动态特征，确立了描述广义系统演化的完备基。
系统的解构：作为控制理论的代数底座，KCF 实现了系统可控、可观、奇异与规则成分的彻底剥离，标志着线性系统结构分析的最高水平。