严格对角占优矩阵特征值_盖尔金圆定理及严格对角占优矩阵（SDD）

盖尔金圆定理(Gersghorin Circle Thorem)

盖尔金圆定理(Gersghorin Circle Thorem)是线性代数中一个有趣而实用的定理，可以用它来描述矩阵的特征值。首先我们先来看一下盖尔金圆定理。

(盖尔金圆定理)对于任意的$n$阶方阵$A$，若$\lambda$是$A$的一个特征值，则存在$1\leq i\leq n$,使得$|\lambda - a_{ii}| \leq \sum\limits_{j=1,j\neq i}^{n}|a_{ij}|.$

证明：

若$\lambda$是$A$的一个特征值，设其特征向量为$x$，可以选取$i$使得$|x_i|=\max\limits_{j=1,2,...,n} |x_{j}|=1,$这总是可以做到的，因为特征向量乘上任何数(除0外)仍为特征向量。

根据特征值和特征向量的定义，有$Ax=\lambda x$,因此有：

$$\sum\limits_{j=1}^{n}a_{ij}x_{j}=\lambda x_{i}.$$

从而：

$$|(\lambda-a_{ii})x_{i}|=|\lambda-a_{ii}|\leq \sum\limits_{j=1,j\neq i}^{n}|a_{ij}x_{j}|\leq \sum\limits_{j=1,j\neq i}^{n}|a_{ij}|.$$

证明完毕

对于任意一个方阵，我们只要画出它在复平面上的盖尔金圆，就能推测出特征值的分布情况了，因为该方阵的所有特征值总是在这些圆中某一个内。

下面给出如何在复平面上画方阵的盖尔金圆的Python代码，如下：

# Plotting Gershg