Nekrasov矩阵与Nekrasov矩阵的子直和
Subdirect Sums of Nekrasov Matrices and Nekrasov Matrices
DOI: 10.12677/AAM.2016.54092, PDF, HTML, XML,  被引量   
作者: 赵晶, 刘丹, 胡汭炎:云南大学数学与统计学院,云南 昆明
关键词: Nekrasov矩阵子直和严格对角占优Nekrasov Matrix Subdirect Sum Strictly Diagonally Dominant
摘要: 本文给出了Nekrasov矩阵与Nekrasov矩阵的子直和为Nekrasov矩阵的充分条件,并用数值例子对所给结论进行了说明。
Abstract: A sufficient condition ensuring that the subdirect sum of Nekrasov matrix and Nekrasov matrix is in the class of Nekrasov matrices is given. And the conclusion is illustrated by a numerical example.
文章引用:赵晶, 刘丹, 胡汭炎. Nekrasov矩阵与Nekrasov矩阵的子直和[J]. 应用数学进展, 2016, 5(4): 798-812. http://dx.doi.org/10.12677/AAM.2016.54092

1. 引言

矩阵在诸如概率统计,微分方程,最优化,控制论与系统理论,计算数学等数学分支都有着重要应用。1999年Fallat和Johonson引入方阵的k-子直和的概念 [1] 。由于矩阵的子直和在很多领域具有重要应用 [1] [2] [3] [4] ,之后对矩阵的子直和的研究相继取得许多重要结果。2005年Pedroche和Szyld等给出两个非奇异M矩阵的子直和是非奇异M矩阵的一些充分条件 [2] ,2006年他们再次给出S严格对角占优矩阵的k-子直和是S严格对角占优阵的充分条件 [5] 。2007年朱燕,黄廷祝研究了双对角占优矩阵的子直和 [6] ,2010年Bru,Cvetkovic,Kostic,Pedroche对S-严格对角占优矩阵的子直和进行了研究 [7] ,2015年李朝迁,李耀堂等对Nekrasov矩阵的子直和进行了研究 [8] 。2016年赵晶,李耀堂等对严格对角占优矩阵与Nekrasov矩阵的子直和进行了研究 [9] 。

本文我们继续研究Nekrasov矩阵的子直和,期望找到Nekrasov矩阵与Nekrasov矩阵的子直和仍为Nekrasov矩阵的条件。下面先给出本文中要用到的基本知识。

定义1.1 [1] :设A为阶方阵,B为阶方阵,为正整数且,A和B有如下分块形式:

(1)

其中阶方阵。令

称C为A和B的()阶k-子直和,记为

注1 [5] :设,则由定义1.1易得:

其中

。(2)

故C有可表示如下:

定义1.2 [10] [11] [12] :设矩阵阶矩阵,若对任意一个成立,其中,则称A为严格对角占优矩阵。

定义 1.3 [13] [14] :设矩阵阶矩阵,令

若对任意一个成立,则A称是Nekrasov矩阵。

注2 [13] :由严格对角占优矩阵与Nekrasov矩阵的定义得严格对角占优矩阵是Nekrasov矩阵的一个子类。

2. Nekrasov矩阵与Nekrasov矩阵的子直和

首先我们用一个例子说明Nekrasov矩阵与Nekrasov矩阵的子直和不一定是Nekrasov矩阵。

例2.1:设

容易验证A是Nekrasov矩阵,B是Nekrasov矩阵。由定义得A与B的3-子直和

直接计算得。显然,,因此不是Nekrasov矩阵。

注3:例2.1表明任意给出的Nekrasov矩阵与Nekrasov矩阵的子直和不一定是Nekrasov矩阵。下面我们来寻找Nekrasov矩阵与Nekrasov矩阵的子直和是Nekrasov矩阵的条件。为此先给出下面引理。

引理2.1:设阶Nekrasov矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若如(2)所示,其中,且的主对角线元素全正(或全负),则对于k-子直和有:对任意的

证明:该引理的结论可由注1直接得到。

引理2.2 [9] :设阶严格对角占优矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若分布如(2)所示,其中的主对角线元素全正(或全负),则对于k-子直和有:

1)

2) 当时:

3)

引理2.3 [9] :设阶严格对角占优矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若如(2)所示,其中的主对角线元素全正(或全负),且

则在A与B的k-子直和中,对任意的成立。

首先说明文献 [9] 中引理2.2,即本文引理2.2 [9] 不完整。在此,我们先将结论进行更正。其证明方法同本文引理2.4。

引理2.2 [9] 更正:设阶严格对角占优矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若分布如(2)所示,其中,的主对角线元素全正(或全负),则对于k-子直和分三种情形讨论:

1) 当时:

2) 当时:分下面2种情形讨论:

3) 当时:分下面3种情形讨论:

时:

引理2.4:设阶Nekrasov矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若分布如(2)所示,其中的主对角线元素全正(或全负),则对于k-子直和分三种情形讨论:

1) 当时:

2) 当时:分下面2种情形讨论:

3) 当时:分下面3种情形讨论:

时:

证明:设阶Nekrasov矩阵,阶的Nekrasov矩阵。下面分三种情形讨论:

情形一:当时:

情形二:当时:

情形三:当时:分下面3种情形讨论:

情形1:当时:

情形2:当时:

时:

现假设,其中(),

成立。

情形3:当时:

类似引理2.3 [9] 证明下证引理2.5。

引理2.5:设阶Nekrasov矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若如(2)所示,其中的主对角线元素全正(或全负),且

则在A与B的k-子直和中,对任意的成立。

证明:我们用数学归纳法证明。设A是阶Nekrasov矩阵,B是阶的Nekrasov矩阵。任取,当时:

。 (3)

。 (4)

和条件

。 (5)

时:

。 (6)

。 (7)

和条件

及(5)得

。 (8)

现假设任取成立,下证成立,其中

时:

。 (9)

。 (10)

和条件

及假设条件当

由此得中任取成立。

下面我们给出Nekrasov矩阵与Nekrasov矩阵的子直和是Nekrasov矩阵的一个充分条件。

定理2.6:设阶Nekrasov矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若如(2)所示,其中的主对角线元素全正(或全负),且

则A与B的k-子直和是Nekrasov矩阵。

证明:设阶Nekrasov矩阵,阶的Nekrasov矩阵,下面分三种情形讨论。

情形1:当时:

情形2:当时:分2种情形讨论:

(1) 当时,

(2) 当时,时:

现假设时,成立,则当时:

由条件

。 (11)

。 (12)

于是由条件

及(11)、(12)得

因此对任意的成立。

情形3:当时:

。 (13)

。 (14)

由条件

及(13)、(14)得

现设对任意成立,则当时:

由引理2.5知对任意的。由此得

因此对任意成立,从而是Nekrasov矩阵。

例2.2:设

容易验证A是Nekrasov矩阵,B是Nekrasov矩阵,于是

通过计算可得:

于是由定理2.6知是Nekrasov矩阵。事实上,直接计算得:

显然,当时成立,因此是Nekrasov矩阵。

在定理2.6中,当k分别取1和2时得如下两个推论。

推论2.7:设阶Nekrasov矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若,其中,且的主对角线元素全正(或全负),,则是Nekrasov矩阵。

推论2.8:设阶Nekrasov矩阵,阶的Nekrasov矩阵,其分块如(1)所示,若,其中,且的主对角线元素全正(或全负),

是Nekrasov矩阵。

3. 结论

本文给出的定理能够判定在满足定理的条件下Nekrasov矩阵与Nekrasov矩阵的子直和仍为Nekrasov矩阵,且只用到矩阵自身元素,便于计算。

参考文献

[1] Fallat, S.M. and Johnson, C.R. (1999) Sub-Direct Sums and Positivity Classes of Matrices. Linear Algebra and Its Applications, 288, 149-173.
https://doi.org/10.1016/S0024-3795(98)10194-5
[2] Bru, R., Pedroche, F. and Szyld, D.B. (2005) Subdirect Sums of Nonsingular M-Matrices and of Their Inverse. Electronic Journal of Linear Algebra, 13, 162-174.
https://doi.org/10.13001/1081-3810.1159
[3] Frommer, A. and Szyld, D.B. (1999) Weighted Max Norms, Splittings, and Overlapping Additive Schwarz Iterations. Numerische Mathematik, 83, 259-278.
https://doi.org/10.1007/s002110050449
[4] Bru, R., Pedroche, F. and Szyld, D.B. (2005) Additive Schwarz Iterations for Markov Chains. SIAM Journal on Matrix Analysis and Applications, 27, 445-458.
https://doi.org/10.1137/040616541
[5] Bru, R., Pedroche, F. and Szyld, D.B. (2006) Subdirect Sums of S-Strictly Diagonally Dominant Matrices. Electronic Journal of Linear Algebra, 15, 201-209.
https://doi.org/10.13001/1081-3810.1230
[6] Zhu, Y. and Huang, T.Z. (2007) Subdirect Sum of Doubly Diagonally Dominant Matrices. Electronic Journal of Linear Algebra, 16, 171-182.
https://doi.org/10.13001/1081-3810.1192
[7] Bru, R., Cvetkovic, L., Kostic, V. and Pedroche, F. (2010) Sums of Strictly Diagonally Dominant Matrices. Linear and Multilinear Algebra, 58, 75-78.
https://doi.org/10.1080/03081080802379725
[8] Li, C.Q., Liu, Q.L., Gao, L. and Li, Y.T. (2016) Subdirect Sums of Nekrasov Matrices. Linear and Multilinear Algebra, 64, 208-218.
https://doi.org/10.1080/03081087.2015.1032198
[9] 赵晶, 胡汭炎, 李耀堂. 严格对角占优矩阵与Nekrasov矩阵的子直和[J]. 应用数学进展. 2016;5(3):505-515.
[10] Cvetkovic, L. (2006) H-Matrix Theory vs. Eigenvalue Location. Numerical Algorithms, 42, 229-245.
https://doi.org/10.1007/s11075-006-9029-3
[11] Horn, R.A. and Johnson, C.R. (1985) Matrix Analysis. Cambridge University Press, Cambridge.
https://doi.org/10.1017/CBO9780511810817
[12] Berman, A. and Plemmons, R.J. (1979) Nonnegative Matrices in the Mathematical Sciences. Academic Press, New York.
[13] Li, W. (1998) On Nekrasov Matrices. Linear Algebra and Its Applications, 281, 87-96.
https://doi.org/10.1016/S0024-3795(98)10031-9
[14] Cvetkovic, L., Dai, P.F., Doroslovackic, K. and Li, Y.T. (2013) Infinity Norm Bounds for the Inverse of Nekrasov Matrices. Applied Mathematics and Computation, 219, 5020-5024.
https://doi.org/10.1016/j.amc.2012.11.056