1. 引言
M-矩阵在数值代数、计算几何、生物数学、经济数学等许多方面都具有广泛的应用价值,特别是其逆矩阵的无穷范数在上述领域的应用中尤其普遍。如将非奇异M-矩阵逆的无穷范数上界应用到一些特殊矩阵线性互补问题解的误差界的估计中,可以获得B-矩阵、BS-矩阵、弱链对角占优B-矩阵等特殊矩阵线性互补问题解的误差界估计式 [1] [2] 。近年来,众多学者对严格对角占优M-矩阵逆的无穷范数上界估计进行了研究,给出了一系列的估计式 [3] - [9] 。本文在上述工作的基础上,继续对严格对角占优M-矩阵逆的无穷范数上界估计展开研究,并给出一个改进的新估计式。
本文第2部分主要介绍相关符号、定义及引理;第3部分主要基于严格对角占优M-矩阵和它的逆矩阵元素的关系,定义一组新的参数,结合不等式性质,得到严格对角占优M-矩阵逆矩阵无穷范数上界的一个新估计式,并和文 [3] 中的结论作理论上的对比分析;第4部分主要通过数值算例验证新估计式的可行性和有效性。
2. 预备知识
为方便起见,先给出在本文中所用到的符号。设
,
,
。记
,
,
,
,
.
对
,记
,
,
,
,
.
定义1 [5] :设矩阵
,如果满足以下条件:
1) 任意
,
;
2) 任意
,
,均存在非零元素链
,这里
,
,
,
,则称A为弱链对角占优矩阵。
定义2 [5] :设矩阵
,如果
,则称矩阵A为严格对角占优矩阵。
定义3 [6] :设
,若对任意的
,且
,都有
,
,则称矩阵A为非奇异M-矩阵。
引理1 [5] :设
为弱链对角占优M-矩阵,
,
,
,则
,
,
,
,
其中
.
引理2 [5] :设
是弱链对角占优M-矩阵,
,令
表示A的最小特征值,则
,
,
,
其中
,
.
引理3 [5] :设
为严格对角占优M-矩阵,那么
. (1)
引理4 [3] :设
为严格对角占优M-矩阵,
,那么
, (2)
特别地,当
时,有
.
引理5 [3] :设
为严格对角占优M-矩阵,
,那么
. (3)
3. 主要结论
2016年,在文 [7] 中给出了严格对角占优M-矩阵逆的无穷范数的一个上界估计式:设
为严格对角占优M-矩阵,有
. (4)
2021年,文 [3] 得到了一个优于(4)的上界新估计式
(5)
本文将对严格对角占优M-矩阵逆的无穷范数上界估计继续展开研究,得到严格对角占优M-矩阵逆的无穷范数上界的一个新估计式,并在理论上证明新的估计式改进了现有文献的有关结果,数值实例亦表明新估计式是可行的和有效的。
定理1:设
为严格对角占优M-矩阵,
,
,
,那么
, (6)
其中
,
。
证明:设
,则
,
,由引理1及(3)式可得
(7)
当
时,由引理1和(2)式可得
.
故对
,由引理1、(2)式和(7)式可得
. (8)
如果
,由(7)式和(8)式可得
(9)
如果
,由(7)式可得
. (10)
再由(8)式和(9)式可得
.
对定理1的结论使用迭代法,可以得到下面定理2。
定理2:设
为严格对角占优M-矩阵,
,
,
,那么
(11)
证明:对(6)式的
应用关于k的诱导,可以得到上述结果。
定理3:设
为严格对角占优M-矩阵,有
证明:由于
为一个严格对角占优M-矩阵,根据符号的定义不难得到
,
,
于是有
.
由引理5可得,
综上定理3得证。
推论1:设
为一个严格对角占优M-矩阵,那么A的最小特征值
证明:由引理2可得。
4. 数值算例
例1:设
.
易知A是严格对角占优M-矩阵。
由(4)式计算得
.
由(5)式计算得
.
应用本文(11)式计算得
.
实际上,
。可见(11)式计算结果优于(4)和(5)式计算结果。
例2:设
.
易知A是严格对角占优M-矩阵。
应用(4)式计算得
.
由(5)式计算得
.
应用本文(11)式得
.
实际上,
。应用(11)式计算结果要优于(4)和(5)式计算结果。
5. 总结
本文理论证明新估计式是优于文 [3] 和文 [7] 中的有关结论的,数值例子亦表明新估计式具有可行性和有效性。这是M-矩阵对于逆的无穷范数的上界估计式的进一步拓展。
致谢
本篇论文在莫宏敏老师的细心指导和耐心帮忙下完成,在此对老师表示由衷的感激!
基金项目
吉首大学研究生科研项目(JDY21012)。