高等代数复习：特征值的估计

本篇文章适合个人复习翻阅，不建议新手入门使用

特征值的估计

戈氏圆盘第一定理（Gerschgorin（戈尔斯格里）圆盘定理）
令 $R_i$ 表示 $A$ 的第 $i$ 行元素去掉 $a_{ii}$ 后的模长之和，即
$$R_i=\sum _{j=1,j\ne i}^n|a_{ij}|$$

设 $A=(a_{ij}{)}_{n\times n}$ 是 $n$ 阶复矩阵，则 $A$ 的特征值在复平面上的下列圆盘（戈氏圆盘）中：
$$|z-a_{ii}|\le R_i,i=1,2,\dots ,n$$

证明
即证任取特征值 $\lambda$，存在一个戈氏圆盘包含它

设 $Ax=\lambda x$，$x$ 的分量中 $x_r$ 模最大，则
$$({\lambda }_0-a_{rr})x_r=a_{r1}{x}_1+\cdots +a_{r,r-1}{x}_{r-1}+a_{r,r+1}{x}_{r+1}+\cdots +a_{rn}{x}_n$$

两端取绝对值，由三角不等式即得
$$|{\lambda }_0-a_{rr}||x_r|\le R_r|x_r|$$

戈氏圆盘第二定理
设矩阵 $A=(a_{ij}{)}_{n\times n}$ 的 $n$ 个戈氏圆盘分成若干个连通区域，若其中一个连通区域含有 $k$ 个戈氏圆盘，则有且只有 $k$ 个特征值落在这个连通区域内（计重数）

证明上述定理之前，先不加证明地给出如下两个结论
定理 1
设 $n$ 次首一复系数多项式
$$f(x)=x^n+a_1{x}^{n-1}+\cdots +a_{n-1}x+a_n$$

则 $f(x)$ 的 $n$ 个根 ${\lambda }_1,\dots ,{\lambda }_n$ 作为整体是 $a_1,a_2,\dots ,a_n$ 的连续函数，即对任意 $\epsilon >0$，存在 $\delta >0$，使得对任意满足 $|{\tilde{a}}_i-a_i|<\delta$ 的任意多项式
$$\tilde{f}(x)=x^n+{\tilde{a}}_1{x}^{n-1}+\cdots +{\tilde{a}}_{n-1}x+{\tilde{a}}_n$$

$\tilde{f}(x)$ 的 $n$ 个根存在一个排列 ${\tilde{\lambda }}_1,\dots ,{\tilde{\lambda }}_n$，成立
$$|{\tilde{\lambda }}_i-{\lambda }_i|<\epsilon$$

定理2
设实轴上的区间 $D$，$A:D\to M_n(\mathbb{C})$ 是一个取值为复矩阵的连续函数，则 $A(t)$ 的 $n$ 个特征值 ${\lambda }_1(t),\dots ,{\lambda }_n(t)$ 都是关于 $t$ 的连续函数

戈氏定理的证明
考虑如下矩阵
$$A(t)=\left(\begin{array}{cccc}{a}_{11}& t{a}_{12}& \cdots & t{a}_{1n}\\ t{a}_{21}& a_{22}& \cdots & t{a}_{2n}\\ ⋮& ⋮& & ⋮\\ t{a}_{n1}& t{a}_{n2}& \cdots & a_{nn}\end{array}\right)$$

显然 $A(1)=A$， A ( 0 ) = diag ⁡ { a 11 , … , a n n } A(0)=\operatorname{diag}\{a_{11},\dots,a_{nn}\} A(0)=diag{a11​,…,ann​}

这说明 $t$ 从 $0$ 到 $1$，$A(t)$ 的特征值不会超出圆盘
$$|z-a_{ii}|\le R_i$$

由上述定理2， $A$ 在这 $k$ 个圆盘内至少有 $k$ 个特征值，又该结论对所有连通区域成立，则 $k$ 个圆盘内只含有 $k$ 个特征值

参考书：《高等代数学》谢启鸿 姚慕生 吴泉水 编著