矩阵扰动理论

对非正规矩阵，特征值条件数（敏感度）可以任意大。常用工具： - Bauer-Fike 定理：若 $A$ 可对角化（$A = XDX^{-1}$），则 $\lambda(A+E)$ 中每个元素到 $\lambda(A)$ 的距离不超过 $\kappa(X)|E|_2$（$\kappa(X) = |X||X^{-1}|$ 是条件数） - 伪谱（Pseudospectra）：$\varepsilon$-伪谱定义为 ${z \in \mathbb{C}: |(zI-A)^{-1}| \geq 1/\varepsilon}$，刻画了非正规矩阵特征值在扰动下可能到达的区域（Trefethen & Embree 的理论）

奇异值扰动

对任意（非方形）矩阵，奇异值满足类似 Weyl 的不等式： $$|\sigma_i(A+E) - \sigma_i(A)| \leq |E|_2$$ 这是Hermitian情形的推论（对 $A^*A$ 应用Weyl不等式）。

谱间隙与子空间稳定性

Davis-Kahan $\sin\Theta$ 定理（1970）是扰动理论中处理特征子空间的核心结果。设 $A = A + E$，$V$ 是 $A$ 对应若干特征值的不变子空间，$\hat V$ 是 $A+E$ 对应的近似子空间，则

$$|\sin\Theta(V, \hat V)|_F \leq \frac{|E|_F}{\delta}$$

其中 $\delta$ 是相关特征值与其余特征值之间的谱间隙（spectral gap）。

重要推论：谱间隙越小，特征子空间越难以从扰动数据中稳定估计。这是高维统计中 PCA 一致性理论的核心困难——当信噪比低时，样本主成分方向与总体主成分方向偏差大。

Kato 算子扰动论（1966）

加藤敏夫（Tosio Kato）的专著 Perturbation Theory for Linear Operators（1966，引用21000+次）将 Weyl 型不等式推广到无穷维 Hilbert 空间的自伴算子，包括： - 有界自伴算子的解析扰动 - 无界自伴算子（如 Schrödinger 算子 $H_0 + V$）的 Kato-Rellich定理（自伴性在相对有界扰动下的稳定性，1951年用于证明所有多体 Schrödinger 算子的自伴性） - 绝热定理与量子力学的严格基础

量子力学能级微扰论（从一级近似到避免交叉的非简并理论）都可在 Kato 框架中获得严格证明。

数值分析中的应用

在浮点运算中，精确矩阵 $A$ 被扰动为 $\hat A = A + E$（$|E| \approx \varepsilon_{\text{machine}} |A|$）。扰动理论保证： - Hermitian 特征值：计算误差 $\leq \varepsilon_{\text{machine}} |A|2$（绝对误差），与条件数无关 - 一般矩阵特征值：误差 $\leq \kappa(X) \varepsilon{\text{machine}} |A|$，强烈依赖特征向量矩阵条件数

这解释了"对称问题比非对称问题本质上更容易"这一数值分析核心信条的数学根源。

Horn猜想（1962–1999）

Weyl不等式给出了 $\lambda(A+B)$ 的必要条件（不等式约束）。Horn（1962）猜测这也是充分的：Weyl-Lidskii 型不等式构成了 $\lambda(A), \lambda(B), \lambda(A+B)$ 关系的完整刻画。

Klyachko（1998）和 Knutson-Tao（1999）用蜂巢模型证明了这一猜想，将矩阵分析与 Schubert 演算（代数几何）深度连接，是21世纪初最重要的数学成果之一。

现代意义

矩阵扰动理论为以下领域提供了统一的数学语言：

• 数值线性代数：QR 算法、Lanczos 方法的后向稳定性证明
• 统计学习：PCA、谱聚类、低秩矩阵恢复的理论保证
• 量子力学：能级移动、避免交叉、绝热演化的严格分析
• 随机矩阵：Wigner 半圆律、Tracy-Widom 分布的集中性质
• 控制理论：鲁棒稳定性分析，系统参数不确定性下的性能保证

来源

• raw/books/矩阵分析/09_weyl_eigenvalue_inequalities_1912.md

相关

• Weyl特征值不等式
• 赫尔曼·外尔
• 极大极小定理
• 正规矩阵
• Schur分解
• 谱半径