Eigenvalue stability of Hermitian and normal matrices

这篇论文《Hermitian 和正规矩阵的特征值稳定性》（Eigenvalue Stability of Hermitian and Normal Matrices）由 Adam Parusiński 和 Armin Rainer 撰写，主要研究了特征值映射在 Sobolev 空间上的连续性性质。文章深入探讨了当矩阵族在 Sobolev 空间 $W^{1,q}$ 或 Lipschitz 空间 $C^{0,1}$ 中收敛时，其特征值（有序或无序）的收敛行为。

以下是该论文的详细技术总结：

1. 研究问题 (Problem)

• 核心问题：特征值作为矩阵的函数，其正则性（regularity）和稳定性如何？具体而言，当矩阵族 $A_n$ 在 Sobolev 空间 $W^{1,q}(U, \text{Herm}(d))$ 或 $W^{1,q}(U, \text{Norm}(d))$ 中收敛到 $A$ 时，其特征值映射 $E(A)$（Hermitian 情形）或 $\Lambda(A)$（正规情形）是否在相应的 Sobolev 空间中收敛？
• 背景与挑战：
  • 经典的 Weyl 扰动定理指出，特征值映射在 Lipschitz 意义下是连续的（Lipschitz 常数为 1）。
  • 然而，对于更精细的拓扑结构（如 $C^{0,1}$ 拓扑或 $W^{1,q}$ 拓扑），特征值映射的连续性并不显然。
  • 对于正规矩阵（Normal matrices），特征值是复数且无法自然排序，必须处理“无序”特征值（unordered eigenvalues），这通常被解释为 Almgren 意义下的多值 Sobolev 函数。
  • 已知在 $C^{0,1}$ 拓扑下，特征值映射是不连续的（即 $A_n \to A$ 在 $C^{0,1}$ 中并不意味着 $E(A_n) \to E(A)$ 在 $C^{0,1}$ 中）。
  • 主要问题是：在 $W^{1,q}$ ($1 \le q < \infty$) 拓扑下，这种映射是否连续？在 $C^{0,1}$ 到 $W^{1,q}$ 的映射中，连续性是否成立？

2. 方法论 (Methodology)

论文采用了一系列深刻的分析工具和几何结构：

• 特征值映射的 Lipschitz 性质：利用 Weyl 扰动定理（Hermitian 情形）和 Hoffman-Wielandt 定理（正规情形），确立特征值映射在 $L^\infty$ 和 $L^2$ 范数下的 Lipschitz 连续性。
• 超位置算子 (Superposition Operator)：将特征值映射视为超位置算子 $E = \lambda^\uparrow \circ A$。利用已知结果（如 Maly 和 Malý 的工作），Lipschitz 函数诱导的超位置算子在 $W^{1,q}$ ($q<\infty$) 上是连续的，但在 $C^{0,1}$ 上通常不是。
• 均匀块对角化 (Uniform Block-Diagonalization)：
  • 这是论文的核心技术工具。作者利用 [PR20] 中的分裂引理（Splitting Lemma），证明了在特征值不完全重合的区域，Hermitian 和正规矩阵可以通过一个Nash 映射（实解析且半代数）进行局部单位变换，从而块对角化。
  • 通过紧性论证（覆盖正规矩阵单位球面），构建了均匀的块对角化覆盖。这使得可以将高维矩阵问题归纳为低维矩阵问题（归纳法）。
• 多值 Sobolev 函数理论：
  • 针对正规矩阵，利用 Almgren 的嵌入定理，将无序特征值空间 $\mathbb{A}^d(\mathbb{C})$ 嵌入到欧几里得空间 $\mathbb{R}^N$。
  • 利用 De Lellis 和 Spadaro 关于多值 Sobolev 函数的理论，定义并处理取值于 $\mathbb{A}^d(\mathbb{C})$ 的 Sobolev 映射。
• 归纳法与切片论证：
  • 对于单参数情形（$m=1$），利用零集（Zero set）和补集上的块对角化，结合归纳法证明导数的收敛性。
  • 对于多参数情形（$m>1$），利用切片论证（Sectioning arguments）和 Vitali 收敛定理，将多变量问题归约到单变量情形。
• Vitali 收敛定理与一致可积性：在证明 $W^{1,q}$ 收敛时，关键在于证明导数序列的一致可积性（Uniform Integrability），这通过 de la Vallée Poussin 准则和 Lipschitz 性质得到保证。

3. 主要贡献与结果 (Key Contributions and Results)

A. Hermitian 矩阵情形

1. $W^{1,q}$ 连续性 ($1 \le q < \infty$)：
   • 定理 1.1：特征值映射 $E: W^{1,q}(U, \text{Herm}(d)) \to W^{1,q}(U, \mathbb{R}^d)$ 是连续的。
   • 这意味着如果矩阵序列 $A_n \to A$ 在 $W^{1,q}$ 中，则其特征值序列 $E(A_n) \to E(A)$ 也在 $W^{1,q}$ 中。
2. $C^{0,1}$ 到 $W^{1,q}$ 的连续性：
   • 定理 1.5：虽然 $E: C^{0,1} \to C^{0,1}$ 不连续，但 $E: C^{0,1}(U, \text{Herm}(d)) \to W^{1,q}(U, \mathbb{R}^d)$ 是连续的（对于所有 $1 \le q < \infty$）。
   • 定理 1.7：如果 $A_n \to A$ 在 $C^{0,1}$ 中，则特征值的导数 $\partial_j E(A_n)$ 几乎处处收敛到 $\partial_j E(A)$。
3. 非一致连续性：
   • 证明了 $E$ 在 $C^{0,1}$ 到 $C^{0,1}$ 或 $W^{1,q}$ 的映射中不是一致连续的（通过构造反例，如锯齿波矩阵序列）。
   • 证明了 $E$ 在 $C^{0,1}$ 到 $C^{0,\alpha}$ ($\alpha < 1$) 是连续的，但不是 $\alpha=1$ 时。

B. 正规矩阵情形

1. 多值 Sobolev 函数的稳定性：
   • 定理 1.8：将特征值视为取值于无序复数空间 $\mathbb{A}^d(\mathbb{C})$ 的函数，映射 $E_u: W^{1,q}(U, \text{Norm}(d)) \to W^{1,q}(U, \mathbb{A}^d(\mathbb{C}))$ 是连续的。
   • 这里 $W^{1,q}(U, \mathbb{A}^d(\mathbb{C}))$ 是通过 Almgren 嵌入定义的。
2. 参数化收敛：
   • 证明了在适当条件下（如 $L^\infty$ 收敛），特征值的参数化导数在 $L^q$ 中收敛。
   • 对于 $C^{0,1}$ 收敛的矩阵序列，其特征值参数化的导数几乎处处收敛。

C. 应用 (Applications)

论文展示了这些稳定性结果在多个领域的直接应用：

1. 奇异值 (Singular Values)：奇异值映射 $\sigma$ 同样具有上述 $W^{1,q}$ 和 $C^{0,1} \to W^{1,q}$ 的连续性。
2. 条件数 (Condition Numbers)：在 $W^{1,q}$ 空间中，只要矩阵非奇异且最小奇异值有下界，条件数 $\kappa(A)$ 的映射是连续且良定义的。
3. 特征值图形的表面积：证明了特征值图形表面积的下半连续性。
4. 紧自伴算子：将有限维矩阵的结果推广到 Hilbert 空间中的紧自伴算子族，证明了其特征值序列在 $W^{1,q}$ 中的稳定性。

4. 显著性与意义 (Significance)

• 超越多项式根的理论：相比于之前关于多项式根稳定性的工作（如 [PR24a, PR24b]），矩阵特征值的结果更强。多项式根的 Sobolev 正则性依赖于多项式的次数 $d$（通常是 $W^{1,q}$ 其中 $q < d/(d-1)$），而矩阵特征值的稳定性与矩阵维度 $d$ 无关，且对所有 $1 \le q < \infty$ 成立。
• 全局性与局部性：多项式根的 Sobolev 空间通常是局部的，而矩阵特征值的结果是全局定义的。
• 解决开放问题：回答了关于特征值映射在 Lipschitz 拓扑下连续性的问题（即 $C^{0,1} \to C^{0,1}$ 不连续，但 $C^{0,1} \to W^{1,q}$ 连续）。
• 理论工具的创新：引入并系统化了“均匀块对角化”技术，结合 Almgren 的多值函数理论，为处理非光滑谱理论提供了强有力的框架。
• 物理与工程应用：结果直接关联到量子力学中的绝热定理、量子霍尔效应以及数值分析中的条件数稳定性分析。

总结

该论文确立了 Hermitian 和正规矩阵特征值映射在 Sobolev 空间 $W^{1,q}$ ($q<\infty$) 中的强稳定性。尽管在 Lipschitz 拓扑下特征值映射不连续，但在 $W^{1,q}$ 拓扑下它是连续的，且从 Lipschitz 矩阵族到 $W^{1,q}$ 特征值族的映射也是连续的。这一发现不仅深化了对谱扰动理论的理解，还为涉及矩阵谱的偏微分方程、优化问题及物理模型提供了坚实的数学基础。