引 言
广义严格对角占优矩阵是数值代数和矩阵分析研究中的重要课题之一,它是计算数学、物理学、控制论、最优化和经济数学等领域中具有广泛应用的重要矩阵类.对于线性方程组Axb,当系数矩阵A为块对角占优矩阵或广义块对角占优矩阵时,许多经典的迭代算法均是收敛的,因而,其特性,特别是其充分条件自然引起了人们的研究兴趣.同时,可以利用矩阵的对角占优性质讨论其奇异性.另外,特征值分布也是矩阵理论中重要的课题.尤为重要的是,寻求广义块严格对角占优矩阵的充分条件也是对非奇异M-矩阵判据的进一步改进与推广.
Hadamard已经给出了一个矩阵非奇异的广为人知的判定准则,即若A为严格对角占优矩阵,则A是非奇异的.Ostrowski推广了Hadamard的准则且证明了若A为严格-对角占优矩阵,则A是非奇异的.这两个矩阵非奇异性的判定准则都是提供了广义严格对角占优矩阵的经典判据.由Brauer定理中的卵形域衍生的严格双对角占优性也是广义严格对角占优矩阵的一个经典判据.
文[1—9]主要讨论了广义严格对角占优的判定条件,从不同角度和不同方面上,给出了各种形式的广义严格对角占优矩阵的判据.
文[10—12]讨论了广义块严格对角占优的判定问题.给出了广义块严格对角占优的判定准则,将矩阵的对角占优性推广到分块矩阵上.
本文引进了广义块-对角占优矩阵的概念,讨论了广义块严格-对角占优矩阵的判定问题,将文[9]的主要结果推广到分块矩阵上.
1、定义与记号
1.1定义
定义1.1 设Cnn表示n阶复矩阵集合, A(aij)Cnn,若记为AD;若aiiaij,i,jN{1,2,,n},则称A为严格对角占优矩阵,
ji
存在正对角阵X,使AXD,则称A为广义严格对角占优矩阵,记为AD*;
定义1.2 设A是nn复矩阵,分块形式如下:
A11AA21
Am1
A12A22Am2
A1mA2m (1)
Amm
其中对角子阵Aii是ni阶方阵,1im,记
1,2,m. Ri(A)A,Ci(A)A,i,kMikki
kiki
本文总假定对角子阵Aii,iM是非奇异的.
若(A1ii)1Ri(A),iM,则A为块严格对角占优矩阵,记为ABD; 若存在n阶正对角阵X,其中XBdiag(x1In1,x2In2,xmInm),使AXBD,则称A为广义块严格对角占优矩阵,记为ABD*;
若存在[0,1],ACnn分块形如(1),若Aii为非奇异的iM,且
(A1ii)1RiCi
1
,iM (2)
则A为关于分块形式(1)的块对角占优矩阵,简称块对角占优阵,记作
ABDa;
若(2)中每一个不等式都是严格的,则称A为块严格对角占优矩阵,记作ABDa;
若存在n阶正对角阵X,使AXBDa,XBdiag(x1In1,x2In2,xmInm),
则称A为广义块对角占优矩阵,记作ABDa0;
特别地,若BAXBDa则称A为广义块严格对角占优矩阵,记作
ABDa.
*
*
1.2 记号
本文引入下列记号:
1,2,m;[0,1]; 记M
J(A){iM|A1ii
1
RiCi
1
};J0(A){iM|A1ii
1
RiCi
1
};
N(A){iM|0A1ii
1
RiCi
1
1
},N0(A){iM|0A1ii
1
RiCi
1
};
(A){iM|Aii
Ri(A)Ci
Aii
1
11
RiCi},0(A){iM|
jN0(A)
Aiji
1
0,0}
(A)
11
,iM,0,(当0时,令
Ci(A)Aii
11
).
显然有
MJ(A)N(A)J0(A)N0(A)(A)J(A)0(A).
~
设(A)(Aij)为A的比较矩阵,其中
~1AijAij
~
,ij,AijAij,ij,i,jM.
1
2、广义严格块对角占优矩阵的条件
引理2.1 设ACnn分块形式如(1),则(A)D*当且仅当ABD*.
因为(A)D*,当且仅当(AT)D*. 则由引理2.1有
引理2.2 设A(Aij)Cnn,则ABD*当且仅当ATBD*.
定理2.2.1 设ACnn分块形式如(1),[0,1]且J(A),若iN(A)
有 A
1
1ii
(
iN(A)ji
Aij
jJ(A)
Aijj)Ci
1
(A), (3)
则ABD*.
证:10若0,则由(3)知(AT)D,当然有(AT)D*,进而由引理2.2
有ABD*.
20若0,由(3)得
Aii
1
1
(
jN(A)ji
Aij
jJ(A)
Aijj)Ci
1
(A),iN(A) (3')
Aii
11
(
jN(A)
ji
AijAiji
jJ(1
Aijj)Ci(A)
1
(A))
令
i
,iN(A), (4)
jJ(A)
当
jJ(A
Aiji
1
(A)=0时,记i,由(3')知i0,iM,由(4)得
Aii
1
1
jN(A)ji
Aiji
1
(A)
jJ(A
Aij(ji)Ci
1
(A),iN(A), (5)
取0mini,构造正对角矩阵
iN(A)
X1diag{xiIni|xi1,iN(A);xii;iJ(A)},
1
(Aij)则A1AX1满足当iN(A)时,若
(1)
jJ(A)
Aiji
(A)=0,
则有AijCi
1
(A)0,jJ(A),进而有
jJ(A)
Aiji
1
(A)(j)0,
因此由(3')有
(Aii)
1
(1)1
Aii
11
jN(A)ji
Aiji
1
(A)
jN(A)ji
Aij
jJ(AA
ij
(j)Ci
1
(A)
Ri(A1)Ci
1
1
(A1).
若
jJ(
Aiji
(A)0由(5)有
(Aii)
1
(1)1
Aii
11
jN(A)ji
Aij1
i
(A)
jJ(
Aij(ji)Ci
1
(A)
jN(A)ji
Aiji
1
(A)
jJ(AA
ij
(j)Ci
1
(A)
Ri(A1)Ci
1
(A1).
当iJ(A)时,
1
(1)1
1
11
11
11
1
(Aii)(i)Aii(iAiiAii)(i)
(R
i(A)Ci
1
(A)
iN(A)ji
Aiji
1
1
(A))(i)
(
jN(
Aij
jN(A)ji
1
Aij(j))(Ci(A)(j))
Ri(A1)Ci
1
(A1).
可见,A1AX1BDa,则ABDa.
*
由此知ABD*.
注1 定理2.2.1推广了文[9]的定理1. 若A为块不可约矩阵,则定理2.2.1的条件可放宽.
定理2.2.2 设ACnn分块形式如(1),为不可约矩阵,[0,1],且
J(A),若iN0(A)有
(A1ii)1(
jN(A)ji
Aij
jJ(A
Aijj)Ci
1
(A), (6)
则ABD*.
证:10 若0,由假设知A为不可约按列块对角占优矩阵,故有
(AT)D*,进而由引理2.2有ABD*.
20 若0,由于j(A)时,j1所以有
jN(A)ji
Aij
jJ(A)
Aijj
jN0(A)ji
Aij
jJ0(A)
Aijj,
因此对iN0(A),(6)式可改写为
(A1ii)1(
jN0(A)ji
Aij
jJ0(A)
Aijj)Ci
1
(A). (6')
令
Aii
11
(
jN0(A)
ji
AijAiji
jJ0(A)1
Aijj)Ci
1
(A))
i
jJ0(A)
,iN0(A).
(A)
当
jJ0(A)
Aiji
1
(A)0时,记i.
由i0,可取0mini,构造正对角矩阵
iN0(A)
X2diag{xiIni|xi1,iN0(A);xii,iJ0(A)}.
则类似定理2.2.1的证明可知A2AX2Aij
1(2)1
1
(2)
,满足i(A).
Aii)Ri(A2)Ci
(A2)
iN0(A)J(A)((A)\0(A)),
1
(2)1
1
(Aii
)
Ri(A2)Ci
(A2),由J(A),而得
N0(A)J(A)((A)\0(A))
因A为不可约矩阵,则A2AX2亦为不可约矩阵,所以A2为不可约块对角占优矩阵,因而有A2BD*.而X2为正对角矩阵;故ABD*.
注2 在A为不可约矩阵的条件下,定理2.2.2将定理2.2.1中(3)式满足的行从N(A)缩小到N0(A),从而扩大了定理的应用范围.而不可约这一条件在实际问题中是容易满足的,因而定理2.2.2更具有实用性,但二者不互相包含,因为当A为可约矩阵时定理2.2.2就不适用了.
定理2.2.2将文[9]中定理2由一般矩阵推广到分块矩阵.
由定理2.2.2的证明,我们注意到,事实上定理2.2.2中,A块不可约的条件还可进一步放宽.
定理2.2.3 设ACnn分块形式如(1),J(A),[0,1]且(6)成立,
Asti使jN2,若iN1,A存在非零元素链,Air1,Ar1r2,…… Arlj或Ajs1,As1s2,
则ABD*,这里0时,N1(A),N2N0J(A);
((A)\0(A)). 当0时,N10(A),N2N0(A)J(A)
证:10当0时,由(6)及假设知,(A)为按列具非零元素链块对角占优矩阵,即(AT)为具非零元素链块对角占优矩阵,则(AT)D*,从而由引理2.2有ABD*.
20当0时,由定理2的证明知,若取X3X2,则A3AX3,所以(A3)为具非零元素链块对角占优矩阵,则有A3BD*,进而ABD*.
下面给出一个ABD*的必要条件
定理2.2.4 设ACnn分块形式如(1), [0,1],若A满足 (i)iJ(A)时,(A1ii)1(
jJ(A)ji
Aij
jN(
Aijj)Ci
1
(A) . (7)
(ii)iN(A)时,(A1ii)1(
iN(A)ji
Aij)Ci
1
(A),则ABD*.
证:10若J(A),则必有ABD*.
11
20 若0,则iN有AiiCi(A),所以(AT)D*,再由引理2.2
有ABD*.
30当0时,由(7)有
Aii
11
(
jJ(A)ji
Aij
jN(
Aijj)Ci
1
(A). (7')
(
jJ(A)
ji
Aij
jN(
Aijj)CiAiji
1
1
(A))Aii
11
令i
jN(
,
(A)
由(7')知i0取maxi,构造正对角矩阵
iJ(A)
Xdiag{xiIni|xi1,iJ(A);xii,iN(A)},
B11B
设BAX(Bij)21
Bm1
B12B22Bm2
B1m
B2mnn
, C
Bmm
类似定理2.2.1的证明,可知B满足
Bii
1
1
Ri(B)Ci
1
(B),知BBD*,进而有ABD*.
注3 作为AD*的必要条件,定理2.2.4推广了文[9]之定理4.
第3章、数值例子
309
例1 A2
01001000
60000A0201011
A21
00300
A3100020
00004
A12A22A32
A13
. A23A33
9301000
且A11,A12,A13,A212
0000006200
,A22,
030
10100020
A23,A3100,A3200,A3304.
00
1
则A11
1301021
,A221061
021
,A33103
0. 14
3109
所以 (A)21.
2102
1
设N1{2},N2{1,3}.取,则J(A){1,3},N(A){2},易知A满足定理
2
2.2.1的条件,所以ABD.
*
401
例2 A
050
04
10
50000A1105020
A21
001000
A3100050
00006
A12A22A32
A13
. A23A33
4040101050
AAAA且A11,,,,,12132122
0500000001020500050
A23AAA,,,313233000006.
00
1
则 A11
1
4011
005511
,A22,A3311
00
510
0. 16
441则 (A)152,
505
3},N0(A){1},且 3},N2{2}.取1,则J0(A){2,设N1{1,
A11114A122A133,
又因A不可约,所以A满足定理2.2.2的条件,因此ABD*.
结 论
本文引进了-块对角占优矩阵的定义,讨论了广义块严格对角占优矩阵的若干充分条件和必要条件,从而改进和推广了一些已有的结果.
致 谢
本人在作论文期间,得到了理学院李庆春教授的悉心指导和帮助.给予了我很大的鼓舞和支持.
李庆春教授以他渊博的知识、严谨的治学态度、精益求精的科研作风给我留下了终生难忘的印象,他对本文的前期准备工作和正文的修改工作给予了悉心的指导,自始至终为本文的研究给予精心的指导和帮助,倾注了大量的心血,花费了大量的宝贵时间.
再此特表以致谢.
参考文献
[1] 逄明贤.矩阵谱论[M].长春:吉林大学出版社,1989
[2] 杜宇辉.Brauer定理与Shemesh定理的改进[J].应用数学学报,2004,
27(1):1~11
[3] 黄廷祝.非奇H矩阵的简捷判据[J].计算数学,1993,(3): 318- 328
[4] 沈光星.连对角占优矩阵的一此性质[J].计算数学1990,(2): 132- 135
[5] 高益明.矩阵广义对角占优和非奇判定[J].东北师大学报(自然科学版),
1982, 3: 23- 28
[6] Berman,A.and Plemmons, R.J..Nonnenative Matrices in the Mathematical
Sciences[M].Academic Press,New York,1979
[7] V arga, R.S..On recurrinn theorems on dianonal dominance[J].Linear
Alnebra Appl.,1976, (13): 1-9
[8] 逄明贤.广义对角占优阵的判定及应用[J].数学年刊,1985, 6A (3):323-
330
[9] 李庆春,胡文杰.广义严格对角占优阵的判定准则[J].高校应用数学学报,
1991,14A(2),229-234
[10] Feingold D. G. and Varga R. S..Block diagonally dominant matrices
and generalization of the Gershgorin circle theorem.Pac[J].J. Math,1962,(4):1240-1250
[11] Pang Mingxian,Mao Guoping.Generalizations of diagonal dominance
for matrices and its applications,[J].of Math. Res. and Exp.,1991,
(4):507-513.
[12] 李庆春,刘磊.矩阵对角占优性的推广[J].吉林师范学院学报,1996,(5)
17:4-7
引 言
广义严格对角占优矩阵是数值代数和矩阵分析研究中的重要课题之一,它是计算数学、物理学、控制论、最优化和经济数学等领域中具有广泛应用的重要矩阵类.对于线性方程组Axb,当系数矩阵A为块对角占优矩阵或广义块对角占优矩阵时,许多经典的迭代算法均是收敛的,因而,其特性,特别是其充分条件自然引起了人们的研究兴趣.同时,可以利用矩阵的对角占优性质讨论其奇异性.另外,特征值分布也是矩阵理论中重要的课题.尤为重要的是,寻求广义块严格对角占优矩阵的充分条件也是对非奇异M-矩阵判据的进一步改进与推广.
Hadamard已经给出了一个矩阵非奇异的广为人知的判定准则,即若A为严格对角占优矩阵,则A是非奇异的.Ostrowski推广了Hadamard的准则且证明了若A为严格-对角占优矩阵,则A是非奇异的.这两个矩阵非奇异性的判定准则都是提供了广义严格对角占优矩阵的经典判据.由Brauer定理中的卵形域衍生的严格双对角占优性也是广义严格对角占优矩阵的一个经典判据.
文[1—9]主要讨论了广义严格对角占优的判定条件,从不同角度和不同方面上,给出了各种形式的广义严格对角占优矩阵的判据.
文[10—12]讨论了广义块严格对角占优的判定问题.给出了广义块严格对角占优的判定准则,将矩阵的对角占优性推广到分块矩阵上.
本文引进了广义块-对角占优矩阵的概念,讨论了广义块严格-对角占优矩阵的判定问题,将文[9]的主要结果推广到分块矩阵上.
1、定义与记号
1.1定义
定义1.1 设Cnn表示n阶复矩阵集合, A(aij)Cnn,若记为AD;若aiiaij,i,jN{1,2,,n},则称A为严格对角占优矩阵,
ji
存在正对角阵X,使AXD,则称A为广义严格对角占优矩阵,记为AD*;
定义1.2 设A是nn复矩阵,分块形式如下:
A11AA21
Am1
A12A22Am2
A1mA2m (1)
Amm
其中对角子阵Aii是ni阶方阵,1im,记
1,2,m. Ri(A)A,Ci(A)A,i,kMikki
kiki
本文总假定对角子阵Aii,iM是非奇异的.
若(A1ii)1Ri(A),iM,则A为块严格对角占优矩阵,记为ABD; 若存在n阶正对角阵X,其中XBdiag(x1In1,x2In2,xmInm),使AXBD,则称A为广义块严格对角占优矩阵,记为ABD*;
若存在[0,1],ACnn分块形如(1),若Aii为非奇异的iM,且
(A1ii)1RiCi
1
,iM (2)
则A为关于分块形式(1)的块对角占优矩阵,简称块对角占优阵,记作
ABDa;
若(2)中每一个不等式都是严格的,则称A为块严格对角占优矩阵,记作ABDa;
若存在n阶正对角阵X,使AXBDa,XBdiag(x1In1,x2In2,xmInm),
则称A为广义块对角占优矩阵,记作ABDa0;
特别地,若BAXBDa则称A为广义块严格对角占优矩阵,记作
ABDa.
*
*
1.2 记号
本文引入下列记号:
1,2,m;[0,1]; 记M
J(A){iM|A1ii
1
RiCi
1
};J0(A){iM|A1ii
1
RiCi
1
};
N(A){iM|0A1ii
1
RiCi
1
1
},N0(A){iM|0A1ii
1
RiCi
1
};
(A){iM|Aii
Ri(A)Ci
Aii
1
11
RiCi},0(A){iM|
jN0(A)
Aiji
1
0,0}
(A)
11
,iM,0,(当0时,令
Ci(A)Aii
11
).
显然有
MJ(A)N(A)J0(A)N0(A)(A)J(A)0(A).
~
设(A)(Aij)为A的比较矩阵,其中
~1AijAij
~
,ij,AijAij,ij,i,jM.
1
2、广义严格块对角占优矩阵的条件
引理2.1 设ACnn分块形式如(1),则(A)D*当且仅当ABD*.
因为(A)D*,当且仅当(AT)D*. 则由引理2.1有
引理2.2 设A(Aij)Cnn,则ABD*当且仅当ATBD*.
定理2.2.1 设ACnn分块形式如(1),[0,1]且J(A),若iN(A)
有 A
1
1ii
(
iN(A)ji
Aij
jJ(A)
Aijj)Ci
1
(A), (3)
则ABD*.
证:10若0,则由(3)知(AT)D,当然有(AT)D*,进而由引理2.2
有ABD*.
20若0,由(3)得
Aii
1
1
(
jN(A)ji
Aij
jJ(A)
Aijj)Ci
1
(A),iN(A) (3')
Aii
11
(
jN(A)
ji
AijAiji
jJ(1
Aijj)Ci(A)
1
(A))
令
i
,iN(A), (4)
jJ(A)
当
jJ(A
Aiji
1
(A)=0时,记i,由(3')知i0,iM,由(4)得
Aii
1
1
jN(A)ji
Aiji
1
(A)
jJ(A
Aij(ji)Ci
1
(A),iN(A), (5)
取0mini,构造正对角矩阵
iN(A)
X1diag{xiIni|xi1,iN(A);xii;iJ(A)},
1
(Aij)则A1AX1满足当iN(A)时,若
(1)
jJ(A)
Aiji
(A)=0,
则有AijCi
1
(A)0,jJ(A),进而有
jJ(A)
Aiji
1
(A)(j)0,
因此由(3')有
(Aii)
1
(1)1
Aii
11
jN(A)ji
Aiji
1
(A)
jN(A)ji
Aij
jJ(AA
ij
(j)Ci
1
(A)
Ri(A1)Ci
1
1
(A1).
若
jJ(
Aiji
(A)0由(5)有
(Aii)
1
(1)1
Aii
11
jN(A)ji
Aij1
i
(A)
jJ(
Aij(ji)Ci
1
(A)
jN(A)ji
Aiji
1
(A)
jJ(AA
ij
(j)Ci
1
(A)
Ri(A1)Ci
1
(A1).
当iJ(A)时,
1
(1)1
1
11
11
11
1
(Aii)(i)Aii(iAiiAii)(i)
(R
i(A)Ci
1
(A)
iN(A)ji
Aiji
1
1
(A))(i)
(
jN(
Aij
jN(A)ji
1
Aij(j))(Ci(A)(j))
Ri(A1)Ci
1
(A1).
可见,A1AX1BDa,则ABDa.
*
由此知ABD*.
注1 定理2.2.1推广了文[9]的定理1. 若A为块不可约矩阵,则定理2.2.1的条件可放宽.
定理2.2.2 设ACnn分块形式如(1),为不可约矩阵,[0,1],且
J(A),若iN0(A)有
(A1ii)1(
jN(A)ji
Aij
jJ(A
Aijj)Ci
1
(A), (6)
则ABD*.
证:10 若0,由假设知A为不可约按列块对角占优矩阵,故有
(AT)D*,进而由引理2.2有ABD*.
20 若0,由于j(A)时,j1所以有
jN(A)ji
Aij
jJ(A)
Aijj
jN0(A)ji
Aij
jJ0(A)
Aijj,
因此对iN0(A),(6)式可改写为
(A1ii)1(
jN0(A)ji
Aij
jJ0(A)
Aijj)Ci
1
(A). (6')
令
Aii
11
(
jN0(A)
ji
AijAiji
jJ0(A)1
Aijj)Ci
1
(A))
i
jJ0(A)
,iN0(A).
(A)
当
jJ0(A)
Aiji
1
(A)0时,记i.
由i0,可取0mini,构造正对角矩阵
iN0(A)
X2diag{xiIni|xi1,iN0(A);xii,iJ0(A)}.
则类似定理2.2.1的证明可知A2AX2Aij
1(2)1
1
(2)
,满足i(A).
Aii)Ri(A2)Ci
(A2)
iN0(A)J(A)((A)\0(A)),
1
(2)1
1
(Aii
)
Ri(A2)Ci
(A2),由J(A),而得
N0(A)J(A)((A)\0(A))
因A为不可约矩阵,则A2AX2亦为不可约矩阵,所以A2为不可约块对角占优矩阵,因而有A2BD*.而X2为正对角矩阵;故ABD*.
注2 在A为不可约矩阵的条件下,定理2.2.2将定理2.2.1中(3)式满足的行从N(A)缩小到N0(A),从而扩大了定理的应用范围.而不可约这一条件在实际问题中是容易满足的,因而定理2.2.2更具有实用性,但二者不互相包含,因为当A为可约矩阵时定理2.2.2就不适用了.
定理2.2.2将文[9]中定理2由一般矩阵推广到分块矩阵.
由定理2.2.2的证明,我们注意到,事实上定理2.2.2中,A块不可约的条件还可进一步放宽.
定理2.2.3 设ACnn分块形式如(1),J(A),[0,1]且(6)成立,
Asti使jN2,若iN1,A存在非零元素链,Air1,Ar1r2,…… Arlj或Ajs1,As1s2,
则ABD*,这里0时,N1(A),N2N0J(A);
((A)\0(A)). 当0时,N10(A),N2N0(A)J(A)
证:10当0时,由(6)及假设知,(A)为按列具非零元素链块对角占优矩阵,即(AT)为具非零元素链块对角占优矩阵,则(AT)D*,从而由引理2.2有ABD*.
20当0时,由定理2的证明知,若取X3X2,则A3AX3,所以(A3)为具非零元素链块对角占优矩阵,则有A3BD*,进而ABD*.
下面给出一个ABD*的必要条件
定理2.2.4 设ACnn分块形式如(1), [0,1],若A满足 (i)iJ(A)时,(A1ii)1(
jJ(A)ji
Aij
jN(
Aijj)Ci
1
(A) . (7)
(ii)iN(A)时,(A1ii)1(
iN(A)ji
Aij)Ci
1
(A),则ABD*.
证:10若J(A),则必有ABD*.
11
20 若0,则iN有AiiCi(A),所以(AT)D*,再由引理2.2
有ABD*.
30当0时,由(7)有
Aii
11
(
jJ(A)ji
Aij
jN(
Aijj)Ci
1
(A). (7')
(
jJ(A)
ji
Aij
jN(
Aijj)CiAiji
1
1
(A))Aii
11
令i
jN(
,
(A)
由(7')知i0取maxi,构造正对角矩阵
iJ(A)
Xdiag{xiIni|xi1,iJ(A);xii,iN(A)},
B11B
设BAX(Bij)21
Bm1
B12B22Bm2
B1m
B2mnn
, C
Bmm
类似定理2.2.1的证明,可知B满足
Bii
1
1
Ri(B)Ci
1
(B),知BBD*,进而有ABD*.
注3 作为AD*的必要条件,定理2.2.4推广了文[9]之定理4.
第3章、数值例子
309
例1 A2
01001000
60000A0201011
A21
00300
A3100020
00004
A12A22A32
A13
. A23A33
9301000
且A11,A12,A13,A212
0000006200
,A22,
030
10100020
A23,A3100,A3200,A3304.
00
1
则A11
1301021
,A221061
021
,A33103
0. 14
3109
所以 (A)21.
2102
1
设N1{2},N2{1,3}.取,则J(A){1,3},N(A){2},易知A满足定理
2
2.2.1的条件,所以ABD.
*
401
例2 A
050
04
10
50000A1105020
A21
001000
A3100050
00006
A12A22A32
A13
. A23A33
4040101050
AAAA且A11,,,,,12132122
0500000001020500050
A23AAA,,,313233000006.
00
1
则 A11
1
4011
005511
,A22,A3311
00
510
0. 16
441则 (A)152,
505
3},N0(A){1},且 3},N2{2}.取1,则J0(A){2,设N1{1,
A11114A122A133,
又因A不可约,所以A满足定理2.2.2的条件,因此ABD*.
结 论
本文引进了-块对角占优矩阵的定义,讨论了广义块严格对角占优矩阵的若干充分条件和必要条件,从而改进和推广了一些已有的结果.
致 谢
本人在作论文期间,得到了理学院李庆春教授的悉心指导和帮助.给予了我很大的鼓舞和支持.
李庆春教授以他渊博的知识、严谨的治学态度、精益求精的科研作风给我留下了终生难忘的印象,他对本文的前期准备工作和正文的修改工作给予了悉心的指导,自始至终为本文的研究给予精心的指导和帮助,倾注了大量的心血,花费了大量的宝贵时间.
再此特表以致谢.
参考文献
[1] 逄明贤.矩阵谱论[M].长春:吉林大学出版社,1989
[2] 杜宇辉.Brauer定理与Shemesh定理的改进[J].应用数学学报,2004,
27(1):1~11
[3] 黄廷祝.非奇H矩阵的简捷判据[J].计算数学,1993,(3): 318- 328
[4] 沈光星.连对角占优矩阵的一此性质[J].计算数学1990,(2): 132- 135
[5] 高益明.矩阵广义对角占优和非奇判定[J].东北师大学报(自然科学版),
1982, 3: 23- 28
[6] Berman,A.and Plemmons, R.J..Nonnenative Matrices in the Mathematical
Sciences[M].Academic Press,New York,1979
[7] V arga, R.S..On recurrinn theorems on dianonal dominance[J].Linear
Alnebra Appl.,1976, (13): 1-9
[8] 逄明贤.广义对角占优阵的判定及应用[J].数学年刊,1985, 6A (3):323-
330
[9] 李庆春,胡文杰.广义严格对角占优阵的判定准则[J].高校应用数学学报,
1991,14A(2),229-234
[10] Feingold D. G. and Varga R. S..Block diagonally dominant matrices
and generalization of the Gershgorin circle theorem.Pac[J].J. Math,1962,(4):1240-1250
[11] Pang Mingxian,Mao Guoping.Generalizations of diagonal dominance
for matrices and its applications,[J].of Math. Res. and Exp.,1991,
(4):507-513.
[12] 李庆春,刘磊.矩阵对角占优性的推广[J].吉林师范学院学报,1996,(5)
17:4-7