吉首大学数学与统计学院，湖南 吉首

收稿日期：2021年3月27日；录用日期：2021年4月15日；发布日期：2021年4月29日

摘要

非奇异H-矩阵广泛应用于计算数学、控制理论、弹性力学以及神经网络系统等研究领域，但对非奇异H-矩阵的判定十分困难。本文研究了非奇异H-矩阵判定条件，通过对矩阵指标集按要求细分和构造递进的正对角矩阵元素，得到了非奇异H-矩阵的一组细分迭代实用判定方法，并给出证明，运用数值算例表明新判定条件优于已知结果。

关键词

非奇异H-矩阵，对角占优矩阵，不可约，非零元素链

A Set of Subdivision Iteration Practical Criteria for Nonsingular H-Matrix

Le Wu, Qing Tuo^*, Hui Shi

College of Mathematics and Statistics, Jishou University, Jishou Hunan

Received: Mar. 27^th, 2021; accepted: Apr. 15^th, 2021; published: Apr. 29^th, 2021

ABSTRACT

Nonsingular H-matrices have been widely used in many fields, such as computational mathematics, control theory, elastic mechanics, neural network system, etc. But it is very difficult to judge nonsingular H-matrix. In this paper, the criteria for nonsingular H-matrices are studied. By subdividing the matrix index set according to the requirements and constructing progressive diagonal matrix elements, a set of new subdividing iterative criteria for nonsingular H-matrices are obtained and proved. Finally, numerical examples show that the new decision condition is superior to the known results.

Keywords:Nonsingular H-Matrices, Diagonally Dominant Matrix, Irreducible, Nonzero Elements Chain

Copyright © 2021 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

非奇异H-矩阵作为特殊矩阵中的重要矩阵类，其数值判定方法一直是研究的热点问题，国内外学者从不同的角度进行了研究，给出了许多研究成果 [1] - [12]。其中，文献 [1] 利用不等式放缩技巧，改进放缩因子，得到一组一般的判定条件。文献 [2] 将判定不等式的放缩因子迭代，给出判定非奇异H-矩阵的迭代式新条件，文献 [3] 根据行和与对角元素的关系将非对角占优的集合进行m-级划分，从而得到判定非奇异H-矩阵更为高效的方法。文献 [4] 提出将细分指标集和迭代放缩因子结合，得到了非奇异H-矩阵的细分迭代判别条件。本文在上述基础上，对非对角占优行指标集m-级划分的同时，改进了判定条件中的递进迭代系数，构造新的正对角矩阵，推广和改进了已知的相关结果，并通过若干个数值算例对比分析，说明了新判定方法的优越性。

首先记 为 $n$ 阶复(实)矩阵的集合， $N=1,2,\cdots ,n$，设 $A=\left(a_{ij}\right)\in M_n\left(C\right)$，又记 ${\Lambda }_i\left(A\right)={\displaystyle \underset{j\ne i}{\sum }\left|a_{ij}\right|}$，文中简记 ${\Lambda }_i\left(A\right)={\Lambda }_i$。对 $\forall i\in N$，如果 $\left|a_{ii}\right|\ge {\Lambda }_i\left(A\right)$，则称A为对角占优矩阵；对 $\forall i\in N$，如果 $\left|a_{ii}\right|>{\Lambda }_i\left(A\right)$，则称A为严格对角占优矩阵，记为 $A\in D$ ；若存在正对角阵X，使得 $AX$ 为严格对角占优矩阵，则称A为非奇异H-矩阵，记为 $A\in \tilde{D}$。

定义1 [5] 设 $A=\left(a_{ij}\right)\in M_n\left(C\right)$ 为不可约矩阵，若 $\left|a_{ii}\right|\ge {\Lambda }_i\left(A\right)\left(i\in N\right)$，且其中至少有一个严格不等式成立，则A为不可约对角占优矩阵。

定义2 [6] 设 $A=\left(a_{ij}\right)\in M_n\left(C\right)$，若对满足 $\left|a_{ii}\right|\ge {\Lambda }_i\left(A\right)\left(i\in N\right)$，且其中至少有一个严格不等式成立，又对每个等式的下标i，都存在非零元素链 $a_{i{j}_1}{a}_{j_1{j}_2}\cdots a_{j_{k-1}{j}_k}\ne 0$，使得 $\left|a_{j_k{j}_k}\right|>{\Lambda }_{j_k}\left(A\right)$，则称A为具非零元素链对角占优矩阵。

引理1 [7] 设 $A=\left(a_{ij}\right)\in M_n\left(C\right)$ 为不可约对角占优矩阵，则 $A\in \tilde{D}$。

引理2 [7] 设 $A=\left(a_{ij}\right)\in M_n\left(C\right)$ 为具有非零元素链对角占优矩阵，则 $A\in \tilde{D}$。

记，

$\begin{array}{l}{N}_1=\left\{i\in N:0<\left|a_{ii}\right|<{\Lambda }_i\right\},N_2=\left\{i\in N:\left|a_{ii}\right|={\Lambda }_i\right\},\\ N_3=\left\{i\in N:\left|a_{ii}\right|>{\Lambda }_i\left(A\right)\right\},N=N_1\oplus N_2\oplus N_3.\end{array}$

显然，如果 $N_3$ 为空集，那么 $A\notin \tilde{D}$ ；如果 $N_1\cup N_2=\varnothing$，则 $A\in D$。因而我们假设集合 $N_1\cup N_2$ 是非空的，集合 $N_3$ 也是非空的。因为非奇异H-矩阵的主对角线上的元素都是非零的，所以本文中涉及的矩阵对角元均假设为非零。另外，在本文中总假定矩阵每行中的非主对角线上的元素模和为正。

将 $N_1$ 进一步划分 $N_1=N_{{}_1}^{(1)}\cup N_{{}_1}^{(2)}\cup \cdots \cup N_{{}_1}^{(m)}$，其中m是任意正整数，取 $k\in Z^{+}$，$k\le m$，且

$N_{{}_1}^{(1)}=\left\{i\in N:0<\left|a_{ii}\right|<\frac{1}{m}{\Lambda }_i\left(A\right)\right\}$,

$N_{{}_1}^{(k)}=\left\{i\in N:\frac{k-1}{m}{\Lambda }_i\left(A\right)<\left|a_{ii}\right|<\frac{k}{m}{\Lambda }_i\left(A\right)\right\}$,

这里部分可能为空集。

2. 主要结果

为了叙述方便，引入以下符号：

$x_{1i}^{\left(k\right)}=\frac{\frac{k}{m}\left({\Lambda }_i-\frac{k}{k+1}\left|a_{ii}\right|\right)}{{\Lambda }_i}\left(i\in N_1^{\left(k\right)},k=1,2,\cdots ,m\right)$,

${\delta }_{0,i}=\frac{{\Lambda }_i\left(A\right)}{\left|a_{ii}\right|}\left(\forall i\in N_3\right)$,${\delta }_{l,i}=\frac{P_{l,i}}{\left|a_{ii}\right|}\left(\forall i\in N_3,l\in Z^{\text{+}}\right)$,

$P_{l,i}\left(A\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}{\delta }_{l-1,t}\left(\forall i\in N_3,l\in Z^{\text{+}}\right)$,

$x_{2i}=\frac{{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|}+}{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}{\left|a_{ii}\right|}\left(\forall i\in N_2,l\in Z^{+}\right)$,

$Q_l=\underset{i\in N_3}{\max }\left(\frac{{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}{P_{l,i}\left(A\right)}\right)\left(l\in Z^{+}\right)$.

规定：在本文定理中，对 $\forall i\in N_3$，$l\in Z^{+}$，${\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)=0}$ 和 ${\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}{\delta }_{l-1,i}=0$ 不会同时存在。

2.1. 定理1

设 $A\in M_n\left(C\right)$，若存在 $l\in Z^{+}$，使得

$\left|a_{ii}\right|x_{1i}^{(k)}>{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)},t\ne i}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_1^{(k)},k=1,2,\cdots ,m\right)$, (1)

$\left|a_{ii}\right|x_{2i}>{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|}{x}_{2t}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_2\right)$, (2)

则 $A\in \tilde{D}$。

证明

根据 $x_{1i}^{\left(k\right)}$ 的定义可知，

$0<x_{1i}^{\left(k\right)}<1\left(\forall i\in N_1^{\left(k\right)},k=1,2,\cdots ,m\right)$,

又根据 $P_{l,i}\left(A\right)$ 的定义，对 $\forall i\in N_3$ 有

$P_{1,i}\left(A\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}{\delta }_{0,t}<{\Lambda }_i\left(A\right)$,

即

${\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}\frac{P_{1,t}}{\left|a_{tt}\right|}<{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}\frac{{\Lambda }_t(A)}{\left|a_{tt}\right|}$,

则 $P_{2,i}\left(A\right)<P_{1,i}\left(A\right)$。故对 $\forall i\in N_3$，有 $P_{2,i}\left(A\right)<P_{1,i}\left(A\right)<1$，假设当 $l=n-1$ 时， $P_{n,i}<P_{n-1,i}$，则当 $l=n$ 时，由

${\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}\frac{P_{n,t}}{\left|a_{tt}\right|}<{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}\frac{P_{n-1,t}}{\left|a_{tt}\right|}$,

可得 $P_{n+i,i}\left(A\right)<P_{n,i}\left(A\right)$，故由数学归纳法知， $P_{l,i}<P_{l-1,i}<\mathrm{...}<P_{2,i}\left(A\right)<P_{1,i}\left(A\right)<{\Lambda }_i\left(A\right)$。

因为 ${\delta }_{l,i}=\frac{P_{l,i}}{\left|a_{ii}\right|}\left(i\in N_3,l\in Z^{+}\right)$，因此对 $\forall i\in N_3$，$l\in Z^{\text{+}}$，有

$0<{\delta }_{l,i}<{\delta }_{l-1,i}<\cdots <{\delta }_{1,i}<\frac{{\Lambda }_i\left(A\right)}{\left|a_{ii}\right|}<1$.

进而由 $x_{2i}$ 的定义，对 $\forall i\in N_2$，有 $0<x_{2i}<1$。因此对 $\forall i\in N_3$，$l\in Z^{\text{+}}$，有

$\frac{{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}{P_{l,i}\left(A\right)}\le \frac{{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}{{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)}+{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l-1,t}}}\le 1$.

故由 $Q_l$ 的定义，对 $\forall i\in N_3$，$l\in Z^{\text{+}}$，有 $0<Q_l\le 1$。

利用(1)式和(2)式，存在 $l\in Z^{\text{+}}$，可适当地选择充分小的 $\epsilon >0$，使 $\epsilon$ 同时满足

$\left|a_{ii}\right|x_{1i}^{(k)}>{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)},t\ne i}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}\left(Q_l{\delta }_{l,t}+\epsilon \right)\left(\forall i\in N_{{}_1}^{(k)},k=1,2,\cdots ,m\right)$, (3)

$\left|a_{ii}\right|x_{2i}>{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|}{x}_{2t}+{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}\left(Q_l{\delta }_{l,t}+\epsilon \right)\left(\forall i\in N_2\right)$, (4)

构造正对角矩阵 $D=diag\left(d_1,d_2,\cdots ,d_n\right)$，记 $B=AD=\left(b_{ij}\right)$，其中

$d_i=\{\begin{array}{l}{x}_{1i}^{(k)},i\in N_1^{(k)}\hfill \\ x_{2i},i\in N_2\hfill \\ Q_l{\delta }_{l,i}+\epsilon ,i\in N_3\hfill \end{array}$

1) 对 $\forall i\in N_1^{(k)}\left(k=1,2,\cdots ,m\right)$，由(3)式得

$\begin{array}{c}{\Lambda }_i\left(B\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)},t\ne i}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|\left(Q_l{\delta }_{l,t}+\epsilon \right)}\\ <\left|a_{ii}\right|x_{1i}^{(k)}=\left|b_{ii}\right|；\end{array}$

2) 对 $\forall i\in N_2$，由(4)式得

$\begin{array}{c}{\Lambda }_i\left(B\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|x_{2t}}+{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|\left(Q_l{\delta }_{l,t}+\epsilon \right)}\\ <\left|a_{ii}\right|x_{2i}=\left|b_{ii}\right|；\end{array}$

3) 对 $\forall i\in N_3$，$l\in Z^{+}$，有 ${\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}<\left|a_{ii}\right|$，由

$Q_l\ge \frac{{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}{P_{l,i}\left(A\right)}$,

得

$\begin{array}{c}{Q}_l{P}_{l,i}\left(A\right)\ge {\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}\\ \ge {\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}+Q_l{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}\end{array}$ (5)

$\begin{array}{c}{\Lambda }_i\left(B\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|\left(Q_l{\delta }_{l,t}+\epsilon \right)}\\ ={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+Q_l{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}+\epsilon {\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}}\\ \le Q_l{P}_{l,i}\left(A\right)+\epsilon {\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}\\ <Q_l{\delta }_{l,i}\left|a_{ii}\right|+\epsilon \left|a_{ii}\right|=\left|b_{ii}\right|\end{array}$

综上所述， $\left|b_{ii}\right|>{\Lambda }_i\left(B\right)\left(\forall i\in N\right)$，即 $B\in D$，所以矩阵 $A$ 是非奇异H-矩阵。证毕。

注1 由于 $0<\frac{\frac{k}{m}\left({\Lambda }_i\left(A\right)-\frac{k}{k+1}\left|a_{ii}\right|\right)}{{\Lambda }_i\left(A\right)}<1\left(\forall i\in N_1^{\left(k\right)},k=1,2,\cdots ,m\right)$，$0<x_{2i}<1\left(\forall i\in N_2\right)$，则本文定理1在迭代判定时要比文 [1] 定理1的判定范围更宽，后面的数值算例可以详细说明。

在定理1中取 $m=1$，则 $x_{1i}=\frac{{\Lambda }_i\left(A\right)-\frac{1}{2}\left|a_{ii}\right|}{{\Lambda }_i\left(A\right)}\left(\forall i\in N_1\right)$，即得推论1。

2.1.1. 推论1

设 $A\in M_n\left(C\right)$，若存在 $l\in Z^{+}$，使得

$\left|a_{ii}\right|\frac{{\Lambda }_i\left(A\right)-\frac{1}{2}\left|a_{ii}\right|}{{\Lambda }_i\left(A\right)}>{\displaystyle \underset{t\in N_1,t\ne i}{\sum }\left|a_{it}\right|}\frac{{\Lambda }_t\left(A\right)-\frac{1}{2}\left|a_{tt}\right|}{{\Lambda }_t\left(A\right)}+{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_1\right)$,

$\left|a_{ii}\right|x_{2i}>{\displaystyle \underset{t\in N_1}{\sum }\left|a_{it}\right|}\frac{{\Lambda }_t\left(A\right)-\frac{1}{2}\left|a_{tt}\right|}{{\Lambda }_t\left(A\right)}+{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_2\right)$,

则 $A\in \tilde{D}$。

注2 因为 $0<\frac{{\Lambda }_i\left(A\right)-\left|a_{ii}\right|}{{\Lambda }_i\left(A\right)}<\frac{{\Lambda }_i\left(A\right)-\frac{1}{2}\left|a_{ii}\right|}{{\Lambda }_i\left(A\right)}<1\left(\forall i\in N_1\right)$，$0<x_{2i}<1\left(\forall i\in N_2\right)$，对 $\forall i\in N_3$，$l\in Z^{+}$，有 $0<Q_l\le 1$，$0<{\delta }_{l,i}<\frac{{\Lambda }_i\left(A\right)}{\left|a_{ii}\right|}<1$，此时本文推论1的迭代因子比文 [2] 和文 [4] 中定理1的迭代因子小。所以本文推论1的判定条件比文 [2] 定理1和文 [4] 定理1的条件弱，判定的矩阵范围更广。故本文推论1推广了文 [2] 的定理1和文 [4] 的定理1，后面的数值算例可以说明。

在定理1中取 $m=2$，则

$N_{{}_1}^{(1)}=\left\{i\in N:0<\left|a_{ii}\right|<\frac{1}{2}{\Lambda }_i\left(A\right)\right\}$,$N_{{}_1}^{(2)}=\left\{i\in N:\frac{1}{2}{\Lambda }_i\left(A\right)<\left|a_{ii}\right|<{\Lambda }_i\left(A\right)\right\}$,

即得推论2。

2.1.2. 推论2

设 $A\in M_n\left(C\right)$，若存在 $l\in Z^{+}$，使得

$\begin{array}{c}\left|a_{ii}\right|\frac{\frac{1}{2}\left({\Lambda }_i-\frac{1}{2}\left|a_{ii}\right|\right)}{{\Lambda }_i}>{\displaystyle \underset{t\in N_1^{(1)},t\ne i}{\sum }\left|a_{it}\right|}\frac{\frac{1}{2}\left({\Lambda }_t\left(A\right)-\frac{1}{2}\left|a_{ii}\right|\right)}{{\Lambda }_t\left(A\right)}+{\displaystyle \underset{t\in N_1^{(2)}}{\sum }\left|a_{it}\right|}\frac{{\Lambda }_t\left(A\right)-\frac{2}{3}\left|a_{ii}\right|}{{\Lambda }_t\left(A\right)}\\ +{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_1^{(1)}\right)，\end{array}$

$\begin{array}{c}\left|a_{ii}\right|\frac{{\Lambda }_i\left(A\right)-\frac{2}{3}\left|a_{ii}\right|}{{\Lambda }_i\left(A\right)}>{\displaystyle \underset{t\in N_1^{(1)}}{\sum }\left|a_{it}\right|}\frac{\frac{1}{2}\left({\Lambda }_t\left(A\right)-\frac{1}{2}\left|a_{ii}\right|\right)}{{\Lambda }_t\left(A\right)}+{\displaystyle \underset{t\in N_1^{(2)},t\ne i}{\sum }\left|a_{it}\right|}\frac{{\Lambda }_t\left(A\right)-\frac{2}{3}\left|a_{ii}\right|}{{\Lambda }_t\left(A\right)}\\ +{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_1^{(2)}\right)，\end{array}$

$\begin{array}{c}\left|a_{ii}\right|x_{2i}>{\displaystyle \underset{t\in N_1^{(1)}}{\sum }\left|a_{it}\right|}\frac{\frac{1}{2}\left({\Lambda }_t\left(A\right)-\frac{1}{2}\left|a_{ii}\right|\right)}{{\Lambda }_t\left(A\right)}+{\displaystyle \underset{t\in N_1^{(2)}}{\sum }\left|a_{it}\right|}\frac{{\Lambda }_t\left(A\right)-\frac{2}{3}\left|a_{ii}\right|}{{\Lambda }_t\left(A\right)}\\ +{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_2\right)，\end{array}$

则 $A\in \tilde{D}$。

注3 因为 $0<\frac{{\Lambda }_i\left(A\right)-\left|a_{ii}\right|}{{\Lambda }_i\left(A\right)}<\frac{{\Lambda }_i\left(A\right)-\frac{2}{3}\left|a_{ii}\right|}{{\Lambda }_i\left(A\right)}\left(\forall i\in N_1^{(2)}\right)$，$0<x_{2i}<1\left(\forall i\in N_2\right)$，又对 $\forall i\in N_3$，$l\in Z^{+}$，$0<Q_l{\delta }_{l,i}\le 1$，并且随着每次迭代 $Q_l{\delta }_{l,i}$ 的取值会逐渐变小，所以本文推论2改进了文 [3] 定理1的判定条件，后面的数值算例可以说明。

2.2. 定理2

设 $A\in M_n\left(C\right)$，$A$ 不可约，若存在 $l\in Z^{+}$，使得

$\left|a_{ii}\right|x_{1i}^{(k)}\ge {\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)},t\ne i}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_{{}_1}^{(k)},k=1,2,\cdots ,m\right)$,(6)

$\left|a_{ii}\right|x_{2i}\ge {\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|{\delta }_{l,t}}\left(\forall i\in N_2\right)$, (7)

且上式中至少有一个严格不等式成立，则 $A\in \tilde{D}$。

证明

因为A是不可约的，所以存在任一非空集， $K\subset N$，$\forall i\in K$，$j\in N/K$，有 $\left|a_{ij}\right|$ 不全为0。

构造正对角矩阵 $D_1=diag\left(d_1,d_2,\cdots ,d_n\right)$，记 $B=A{D}_1=\left(b_{ij}\right)$，其中

$d_i=\{\begin{array}{l}{x}_{1i}^{(k)},i\in N_1^{(k)}\hfill \\ x_{2i},i\in N_2\hfill \\ Q_l{\delta }_{l,i},i\in N_3\hfill \end{array}$

1) 对 $\forall i\in N_{{}_1}^{(k)}\left(k=1,2,\cdots ,m\right)$，由(6)式得

${\Lambda }_i\left(B\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)},t\ne i}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|}{x}_{2t}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\le \left|a_{ii}\right|x_{1i}^{(k)}=\left|b_{ii}\right|$ ;

2) 对 $\forall i\in N_2$，由(7)式得

${\Lambda }_i\left(B\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\le \left|a_{ii}\right|x_{2i}=\left|b_{ii}\right|$ ;

3) 对 $\forall i\in N_3$，$l\in Z^{+}$，由(5)式得

${\Lambda }_i\left(B\right)={\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}+Q_l{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|{\delta }_{l,t}}}\le Q_l{\delta }_{l,i}\left|a_{ii}\right|\text{=}\left|b_{ii}\right|$.

综上所述， $\left|b_{ii}\right|>{\Lambda }_i\left(B\right)\left(\forall i\in N\right)$，且至少有一个严格不等式成立。由矩阵A不可约的性质可知矩阵 $B=A{D}_1$ 不可约，所以B是不可约对角占优矩阵。所以由引理1可知 $B\in \tilde{D}$，即存在正对角阵D₂使得 $B{D}_2\in D$，则 $A\left(D_1{D}_2\right)=B{D}_2$ 为严格对角占优矩阵。由于 $D_1{D}_2$ 是正对角阵，所以A是非奇异H-矩阵。

2.3. 定理3

记 $J_1=U_{k=1}^m{J}_1^{\left(k\right)}$，其中

$J_1^{\left(k\right)}=\left\{i\in N_1^{\left(k\right)}:\left|a_{ii}\right|x_{1i}^{(k)}>{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)},t\ne i}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\right\}\left(k=1,2,\cdots ,m\right)$,

$J_2=\left\{i\in N_2:\left|a_{ii}\right|x_{2i}>{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\right\}$,

$J_3=\left\{i\in N_3:Q_l\left|a_{ii}\right|{\delta }_{l,i}>{\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3,t\ne i}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\right\}$.

定理3 设 $A\in M_n\left(C\right)$，A不可约，若存在 $l\in Z^{+}$，使得

$\left|a_{ii}\right|x_{1i}^{(k)}\ge {\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)},t\ne i}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_{{}_1}^{(k)},k=1,2,\cdots ,m\right)$, (8)

$\left|a_{ii}\right|x_{2i}\ge {\displaystyle \underset{k=1}{\overset{m}{\sum }}\left({\displaystyle \underset{t\in N_1^{(k)}}{\sum }\left|a_{it}\right|}{x}_{1t}^{(k)}\right)+}{\displaystyle \underset{t\in N_2,t\ne i}{\sum }\left|a_{it}\right|x_{2t}}+Q_l{\displaystyle \underset{t\in N_3}{\sum }\left|a_{it}\right|}{\delta }_{l,t}\left(\forall i\in N_2\right)$, (9)