1. 引言
矩阵在诸如微分方程，概率统计，最优化，计算数学，控制论与系统理论等数学分支都有着重要应用。1999年Fallat和Johonson引入方阵的k-子直和的概念 [1] 。由于矩阵的子直和在许多领域具有重要应用 [1] - [4] ，之后对矩阵的子直和的研究相继取得许多重要结果。2005年Pedroche和Szyld等给出两个非奇异M矩阵的子直和是非奇异M矩阵的一些充分条件 [2] ，2006年他们又给出S严格对角占优矩阵的k-子直和是S严格对角占优阵的充分条件 [5] 。2007年朱燕，黄廷祝对双对角占优矩阵的子直和进行了研究 [6] ，2010年Bru R，Cvetkovic L，Kostic V，Pedroche F对S-严格对角占优矩阵的子直和进行了研究 [7] ，2015年李朝迁，李耀堂等对Nekrasov矩阵的子直和进行了研究 [8] 。
本文我们继续研究Nekrasov矩阵的子直和，期望找到严格对角占优矩阵与Nekrasov矩阵的子直和仍为Nekrasov矩阵的条件。下面先给出本文中要用到的基本知识。
定义1.1 [1] ：设A为阶方阵，B为阶方阵，为正整数且，A和B有如下分块形式：
， (1)
其中和是阶方阵。令
。
称C为A和B的阶k-子直和，记为。
注1 [5] ：设，，，则由定义1.1易得：
其中
。 (2)
故C有可表示如下：
定义1.2 [9] - [11] ：设矩阵是阶矩阵，若对任意一个，成立，其中，则称A为严格对角占优矩阵。
定义1.3 [12] [13] ：设矩阵是阶矩阵，令
，。
若对任意一个，成立，则A称是Nekrasov矩阵。
2. 严格对角占优矩阵与Nekrasov矩阵的子直和
首先我们用一个例子说明严格对角占优矩阵与Nekrasov矩阵的子直和不一定是Nekrasov矩阵。
例2.1：设
，，
容易验证A是严格对角占优矩阵，B是Nekrasov矩阵。由定义得A与B的3-子直和为
直接计算得，，，，。显然，，因此不是Nekrasov矩阵。
注2：例2.1表明任意给出的严格对角占优矩阵与Nekrasov矩阵的子直和不一定是Nekrasov矩阵。下面我们来寻找严格对角占优矩阵与Nekrasov矩阵的子直和是Nekrasov矩阵的条件。为此先给出三个引理。
引理2.1：设是阶严格对角占优矩阵，是阶的Nekrasov矩阵，其分块如(1)所示，若，如(2)所示，其中，且，的主对角线元素全正(或全负)，则对于k-子直和有：对任意的，。
证明：该引理的结论可由注1直接得到。
引理2.2：设是阶严格对角占优矩阵，是阶的Nekrasov矩阵，其分块如(1)所示，若，分布如(2)所示，其中，，，的主对角线元素全正(或全负)，则对于k-子直和和有：
1)；
2) 当时：
；
3)。
证明：设是阶严格对角占优矩阵，是阶的Nekrasov矩阵。下面分三种情形讨论：
情形一：当时：
情形二：当时：
当时：
现假设，其中()，
成立。
则
情形三：当时：
。□
引理2.3：设是阶严格对角占优矩阵，是阶的Nekrasov矩阵，其分块如(1)所示，若，如(2)所示，其中，和的主对角线元素全正(或全负)，且
，
则在A与B的k-子直和中，对任意的，成立。
证明：我们用数学归纳法证明。设A是阶严格对角占优矩阵，B是阶的Nekrasov矩阵。任取，当时：
。 (3)
由
。 (4)
和条件
得
。 (5)
。 (6)
。 (7)
。 (8)
现假设任取，成立，下证成立，其中。
。 (9)
。(10)
及假设条件当时得
由此得中任取，成立。□
下面我们给出严格对角占优矩阵与Nekrasov矩阵的子直和是Nekrasov矩阵的一个充分条件。
定理2.4：设是阶严格对角占优矩阵，是阶的Nekrasov矩阵，其分块如(1)所示，若，如(2)所示，其中，，的主对角线元素全正(或全负)，且
则A与B的k-子直和是Nekrasov矩阵。
证明：因为A是严格对角占优矩阵，故
情形1：当时：
情形2：当时：
现假设时，成立，则当时：
。(11)
。 (12)
于是由条件，，，及(11)、(12)得
因此对任意的成立。
情形3：当时：
。 (13)
。 (14)
由条件，，，及(13)、(14)得
现设对任意，成立，则当时：
由引理2.3知对任意的，。由此得
因此对任意成立，从而是Nekrasov矩阵。
例2.2：设
容易验证A是严格对角占优矩阵，B是Nekrasov矩阵，于是
通过计算可得：
，，，
，，。
于是由定理2.4知是Nekrasov矩阵。事实上，直接计算得：
，，，，。
显然，当。时成立，因此是Nekrasov矩阵。
在定理2.4中，当k分别取1和2时得如下两个推论：
推论2.5：设是阶严格对角占优矩阵，是阶的Nekrasov矩阵，其分块如(1)所示，若，，，，其中，且，的主对角线元素全正(或全负)，，则是Nekrasov矩阵。
推论2.6：设是阶严格对角占优矩阵，是阶的Nekrasov矩阵，其分如(1)所示，，，，且，的主对角线元素全正(或全负)，
则是Nekrasov矩阵。
基金项目
本文受国家自然科学基金资助项目(11361074)资助。
*通讯作者。
参考文献