马静

陕西师范大学，数学与信息科学学院，陕西 西安

收稿日期：2020年1月24日；录用日期：2020年2月12日；发布日期：2020年2月19日

在研究一类特殊的矩阵时，通常会关注其子矩阵或者其相关矩阵是否具有类似性质。当矩阵A是广义严格双对角占优矩阵时，对广义严格双对角占优矩阵的三角Schur补进行分析。利用严格对角占优矩阵的性质、矩阵无穷范数与谱半径之间的关系，通过不等式的放缩技巧，得到广义养个双对角占优矩阵的三角Schur补是严格对角占优矩阵的结论。

关键词 :广义严格双对角占优矩阵，三角Schur补，严格对角占优矩阵

Copyright © 2020 by author(s) and beplay安卓登录

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

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

对于某一类特殊的矩阵，很多学者和专家都会关注其子矩阵或者其他相关矩阵是否具有类似的性质或者其他特殊的性质。自Schur补的概念提出之后，对于一些特殊矩阵的Schur补的研究与分析从未间断过。文献 [ 1 ] - [ 6 ] 中证明了M-矩阵、H-矩阵、严格对角占优矩阵、严格双对角占优矩阵、块对角占优矩阵、严格 对角占优矩阵的Schur补以及diagonal-Schur补都有与原矩阵类似的性质。文献 [ 7 ] [ 8 ] 给出了矩阵的三角Schur的定义，并证明了严格对角占优矩阵和严格双对角占优矩阵的三角Schur补依然能够保持原局长的特殊性质。本文将参考以上文献的思路以及方法，对广义严格双对角占优矩阵的三角Schur补的一些特殊性质进行分析与讨论，并得到广义严格双对角占优矩阵的三角Schur补是严格对角占优矩阵的结论。

为方便描述与讨论，用n表示大于1的整数，N表示集合 { 1 , 2 , ⋅ ⋅ ⋅ , n } ， 表示 阶实矩阵。

设 A = ( a i j ) ∈ C n × n 为n阶复方阵， n ≥ 2 。记 ， ，其中

α i j = { | a i j | , i = j − | a i j | , i ≠ j

记 R i ( A ) = ∑ j = 1 , i ≠ j n | a i j | ， g = { i | | a i i | > R i ( A ) } 。

定义1 [ 9 ] 设 ，如果对所有 ，有 。则称A是一个严格对角占优矩阵。记作 D n 。

定义2 [ 4 ] 设 A = ( a i j ) ∈ C n × n ，如果对所有的 i , j ∈ N ，有 ，则称A是一个严格双对角占优矩阵。记作 。

定义3 [ 10 ] 设 A = ( a i j ) ∈ C n × n ，如果存在 n 1 , n 2 ∈ N ，使得 ， n 1 ∪ n 2 = N ，且

( | a i i | − α i ) ( | a j j | − β j ) > β i α j , i ∈ n 1 , j ∈ n 2

其中 ， β s = ∑ t ∈ n 2 , t ≠ s | a s t | ， s = i , j 。

则称A是一个广义严格双对角占优矩阵。记作 。

定义4 [ 11 ] 设 ，如果 A = s I − B ，其中 s ≥ 0 , B ≥ 0 ，且 s > ρ ( B ) ， ρ ( B ) 为矩阵B的谱半径，则称A为M阵。如果 μ ( A ) 为M阵，则矩阵A称为H阵。

对于 ， α 表示N的一个非空子集， α ′ 表示 α 相对于N的补集 N − α ， | α | 表示 α 的势。对N的非空子集 ， 表示一个以 α 为行指标，以 β 为列指标的子矩阵； 简记为 。

设 A = ( a i j ) ∈ C n × n ， B = ( b i j ) ∈ C n × n ， 称为A和B的Hadmard积。

定义5 [ 4 ] 设 A = ( a i j ) ， α 是N的一个子集且 A ( α ) 是一个非奇异矩阵，称

A ( α ′ ) − A ( α ′ , α ) [ A ( α ) ] − 1 A ( α , α ′ )

为矩阵A对应于 A ( α ) 的Schur补，记为 A / A ( α ) 或 A / α 。

定义6 [ 6 ]设 A = ( a i j ) ， 是N的一个子集且 A ( α ) 是一个非奇异矩阵，称

A ( α ′ ) − { A ( α ′ , α ) [ A ( α ) ] − 1 A ( α , α ′ ) } ∘ I

为矩阵A对应于 A ( α ) 的对角-Schur补，记为 或 A / ∘ α 。

定义7 [ 12 ] 设 A = ( a i j ) ， a 是N的一个子集且 A ( α ) 是一个非奇异矩阵，称

为矩阵A对应于 的三角-Schur补，记为 或 A / ∘ α θ 。

显然，当 θ = π 2 时，矩阵A对应于 A ( α ) 的三角-Schur补即为矩阵A对应于 A ( α ) 的diagonal-Schur补；当 θ ≠ π 2 时，我们给 θ 取其定义域内的一些固定值，就可以得到一些不同的三角-Schur补。

在证明广义严格双对角占优矩阵的三角-Schur补之前，首先给出一些证明过程中将会运用到的基本引理：

引理1 [ 10 ] 如果A是一个广义严格双对角占优矩阵，则 A ( n 1 ) , A ( n 2 ) 是严格对角占优矩阵。其中， A ( n k ) ( k = 1 , 2 ) 表示位于矩阵A中标号 n k 的诸行与标号 n k 的诸列的主子阵。

引理2 [ 13 ] 如果 A ∈ C n × n 是一个H-矩阵，那么

| A − 1 | ≤ μ ( A ) − 1 (1)

引理3 [ 9 ] 如果A是一个严格对角占优矩阵，则A是一个非奇异H阵。

引理4 [ 14 ] 如果A是一个广义严格双对角占优矩阵，则有 n 1 ⊆ g 或 n 2 ⊆ g 。

定理1 若 A = ( a i j ) ∈ C n × n 是广义严格双对角占优矩阵，如果 n 1 = α 或 n 2 = α ，那么A的三角-Schur补 A / ∘ A ( α ) θ 是严格对角占优矩阵。

证明：令 n 1 = { i 1 , i 2 , ⋯ , i k } , n 2 = { j 1 , j 2 , ⋯ , j l } , k + l = n

1) 若 n 1 = α , α ′ = n 2 ，则有

A / ∘ α θ = A ( α ′ ) − sin θ { A ( α ′ , α ) [ A ( α ) ] − 1 A ( α , α ′ ) } ∘ I = ( a j 1 j 1 ⋯ a j 1 j l a j 2 j 1 ⋯ a j 2 j l ⋮ ⋱ ⋮ a j l j 1 ⋯ a j l j l ) − ( sin θ ( a j 1 i 1 , ⋯ , a j 1 i k ) [ A ( α ) ] − 1 ( a i 1 j 1 ⋮ a i k j 1 ) 0 ⋱ 0 sin θ ( a j l i 1 , ⋯ , a j l i k ) [ A ( α ) ] − 1 ( a i 1 j l ⋮ a i k j l ) )

因为A是广义严格双对角占优矩阵，由引理1可知 A ( α ) 是严格对角占优矩阵，故 为H阵。

对于 t = 1 , 2 , ⋯ , l ，由式(1)可得

| a j t j t − sin θ ( a j t i 1 , ⋯ , a j t i k ) [ A ( α ) ] − 1 ( a i 1 j t ⋮ a i k j t ) | − ∑ u = 1 , u ≠ t l | a j t j u | ≥ | a j t j t | − | sin θ | | ( a j t i 1 , ⋯ , a j t i k ) [ A ( α ) ] − 1 ( a i 1 j t ⋮ a i k j t ) | − ∑ u = 1 , u ≠ t l | a j t j u | ≥ | a j t j t | − ∑ u = 1 , u ≠ t l | a j t j u | − | sin θ | ( | a j t i 1 | , ⋯ , | a j t i k | ) | [ A ( α ) ] − 1 | ( | a i 1 j t | ⋮ | a i k j t | ) ≥ | a j t j t | − ∑ u = 1 , u ≠ t l | a j t j u | − | sin θ | ( | a j t i 1 | , ⋯ , | a j t i k | ) | { μ [ A ( α ) ] } − 1 | ( | a i 1 j t | ⋮ | a i k j t | ) = 1 det μ [ A ( α ) ] det B t (2)

可知

其中， θ ∈ [ − π 2 , π 2 ] ， | sin θ | ≤ 1 ，由于A是广义严格双对角占优矩阵，由定义有

( | a i v i v | − ∑ u = 1 , u ≠ v k | a i v j u | ) ( | a j t j t | − ∑ u = 1 , u ≠ t l | a j t j u | ) ≥ ∑ u = 1 k | a j t j u | ∑ u = 1 l | a i v j u |

由引理4可知，当 n 1 ⊆ g 时，有：

| a j t j t | > ∑ u = 1 , u ≠ v k | a i v j u | + ∑ u = 1 l | a i v j u | > ∑ u = 1 , u ≠ v k | a i v j u | + | a i v j u | > ∑ u = 1 , u ≠ v k | a i v j u | + | sin θ | | a i v j u |

或当 n 2 ⊆ g 时，有

| a j t j t | > ∑ u = 1 , u ≠ t l | a j t j u | + ∑ u = 1 k | a j t j u | (4)

由式(3)与(4)有： 为 | α | + 1 阶严格对角占优矩阵， μ [ A ( α ) ] 为 | α | 阶严格对角占优矩阵。且

| a j t j t | − ∑ u = 1 , u ≠ t l | a j t j u | > 0 ,       | a i v i v | > 0

进一步由引理5可得：

det B t > 0 ,     det μ [ A ( α ) ] > 0 (5)

结合式(2)与(5)，对 t = 1 , 2 , ⋯ , l ，有

| a j t j t − sin θ ( a j t i 1 , ⋯ , a j t i k ) [ A ( α ) ] − 1 ( a i 1 j t ⋮ a i k j t ) | > 0

因此 A / ∘ α θ 是严格对角占优矩阵。

2) 当 时，可以类似得证。

马 静. 广义严格双对角占优矩阵的三角-Schur补Triangular Schur Complement of Generalized Strictly Doubly Diagonally Dominant Matrices[J]. 理论数学, 2020, 10(02): 100-105. https://doi.org/10.12677/PM.2020.102016