对角占优矩阵的判定条件

田素霞

（商丘师范学院计算机与信息技术学院，河南 商丘476000）

对角占优矩阵及M-矩阵是计算数学和矩阵理论研究的重要课题之一。本文利用α-对角占优矩阵给出了广义对角占优矩阵和分块对角占优矩阵的判定条件，改进和推广了文1-3的结果。

定义1 设A=（aij）∈Cn×n，若则称A为严格对角占优矩阵；若存在正对角矩阵X使得AX为严格对角占优矩阵，则称A为广义严格对角占优矩阵.

定义2 设A=（aij）∈Cn×n，若存在α∈（0,1]使则称A为严格α-对角占优矩阵；若存在正对角矩阵X使得AX为严格α-对角占优矩阵，则称A为广义严格α-对角占优矩阵.

设A=（aij）∈Cn×n，把A分块为：

这里Aii（1≤i≤k）为ni阶方阵

定义4 设A=（aij）∈Cn×n，分块如（1），若Aii（1≤i≤k）均非奇异，且：

则称A为块对角占优矩阵；如果（2）的所有不等号为严格不等式，则称A为块严格对角占优矩阵；若存在正对角矩阵X使得AX为块严格对角占优矩阵，则称A为广义块对角占优矩阵.

设A=（aij）∈Cn×n，分块如（1），且Aii（1≤i≤k）均非奇异，构造B如下：

引理1[1]设A=（aij）∈Cn×n,若A为严格α-对角占优矩阵,则A为广义严格对角占优矩阵.

引理2[1]设A=（aij）∈Cn×n，分块如（1），且Aii（1≤i≤k）均非奇异，构造B如（3），则A为广义块对角占优矩阵当且仅当B是非奇异M-矩阵.

定理1 设A=（aij）∈Cn×n，若N1∪N2=N，N1∩N2=Ø及α∈（0,1]存在使得满足：

则A为广义严格对角占优矩阵.

证明：令：

当i∈N1时，

所以B为严格α-对角占优矩阵，由引理1知B为广义严格对角占优矩阵,又因为X为正对角矩阵，所以A也是广义严格对角占优矩阵。

定理2 设A=（aij）∈Cn×n，分块如式（1），且Aii（1≤i≤k均非奇异，构造B如式（3），若若存在M1∪M2={1，2，…∈，k}，M1∩M2=Ø及α∈（0,1]使得满足：则A为块广义对角占优矩阵.

证明：由定理1知，如果满足定理2的条件，则B是非奇异M-矩阵，由引理2知，A为块广义对角占优矩阵.

［1］孙玉祥.广义对角占优矩阵的充分条件[J].高等学校计算数学学报,1997(3):216-223.

［2］高益明.矩阵广义对角占优和非奇的判定（Ⅱ）[J].工程数学学报，1998（1）：12-17.

［3］陈神灿.奇异M矩阵和广义对角占优矩阵的实用判定准则[J].高等学校计算数学学报，2000（1）：36-40.

［4］蒋正新，施国梁.矩阵理论及其应用[M].北京：北京航空学院出版社，1998.