• No results found

The disc separation and the eigenvalue distribution of the Schur complement of nonstrictly diagonally dominant matrices

N/A
N/A
Protected

Academic year: 2020

Share "The disc separation and the eigenvalue distribution of the Schur complement of nonstrictly diagonally dominant matrices"

Copied!
12
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

The disc separation and the eigenvalue

distribution of the Schur complement of

nonstrictly diagonally dominant matrices

Cheng-yi Zhang

1*

, Weiwei Wang

1

, Shuanghua Luo

1

and Jianxing Zhao

2*

*Correspondence: [email protected]; [email protected] 1School of Science, Xi’an Polytechnic University, Xi’an, Shaanxi 710048, China

2College of Science, Guizhou Minzu University, Guiyang, Guizhou 550025, China

Abstract

The result on the Geršgorin disc separation from the origin for strictly diagonally dominant matrices and their Schur complements in (Liu and Zhang in SIAM J. Matrix Anal. Appl. 27(3):665-674, 2005) is extended to nonstrictly diagonally dominant matrices and their Schur complements, showing that under some conditions the separation of the Schur complement of a nonstrictly diagonally dominant matrix is greater than that of the original grand matrix. As an application, the eigenvalue distribution of the Schur complement is discussed for nonstrictly diagonally

dominant matrices to derive some significant conclusions. Finally, some examples are provided to show the effectiveness of theoretical results.

MSC: 15A06; 15A15; 15A48

Keywords: Geršgorin disc separation; Schur complement; nonstrictly diagonally dominant matrices; eigenvalue distribution

1 Introduction

LetA= (aij)∈Cn×nwithRi(A) = n

j=,j=i|aij|for allindefine the disc separation ofA by the quantities|aii|–Ri(A) that measure the separations of the discs

|zaii| ≤Ri(A), i= , , . . . ,n,

from the origin and give estimatemin≤in|aii|–Ri(A) of the absolute value of the shortest eigenvalue (the eigenvalue with the smallest absolute value, see []) of the strictly diago-nally dominant matrixA∈Cn×n.

In , Liu and Zhang [] firstly studied the disc separation of the Schur complements of strictly diagonally dominant matrices. More precisely, they compared a disc separation of the Schur complement to that of the original matrix and showed that each Geršgorin disc of the Schur complement is paired with a particular Geršgorin disc of the original matrix; the latter is further from the origin than the former. Their result is as follows.

Theorem (see []) Given an n×n strictly diagonally dominant matrix A= (aij)and

two setsα={i,i, . . . ,im} ⊂ n={, , . . . ,n} andα=nα={j,j, . . . ,jl} ⊂ nwith

(2)

m+l=n,let

ωjt= min

≤vm

|aiviv|–Riv

|aiviv|

m

u=

|ajtiu| ()

for all jtα,and define A/α= (ajt,js),then

|ajt,jt|–Rjt(A/α)≥ |ajt,jt|–Rjt(A) +ωjt≥ |ajt,jt|–Rjt(A) >  ()

and

|ajt,jt|+Rjt(A/α)≤ |ajt,jt|+Rjt(A) –ωjt≤ |ajt,jt|+Rjt(A). ()

On the other hand, Liu and Zhang [] also improved the result of Theorem  in [] when

ASDnHnSand established the new result on the eigenvalue distribution for the Schur complements of strictly diagonally dominant matrices with real diagonal entries.

Theorem (see []) Let A= (aij)be an n×n strictly diagonally dominant matrix with real

diagonal entries,andαn.Then A/αand A(α)have the same number of eigenvalues

whose real parts are greater(less)than w(resp. –w),whereα=nαand

w=min

jα

|ajj|–Rj(A) +min iα

|aii|–Ri(A) |aii|

iα |aji|

. ()

In this paper, we will generalize the result on the Geršgorin disc separation from the origin for strictly diagonally dominant matrices and their Schur complements in [] to nonstrictly diagonally dominant matrices and their Schur complements, showing that un-der some conditions the separation of the Schur complement of a nonstrictly diagonally dominant matrix is greater than that of the original grand matrix. As an application, we continue discussing the eigenvalue distribution of the Schur complements for nonstrictly diagonally dominant matrices to derive some significant conclusions.

The paper is organized as follows. Some notations and preliminary results about non-strictly diagonally dominant matrices are given in Section . Some results on the Gerš-gorin disc separation from the origin are established in Section  for nonstrictly diago-nally dominant matrices and their Schur complements. The eigenvalue distribution of the Schur complements is discussed in Section  for nonstrictly diagonally dominant matrices to derive some significant conclusions. Some examples are provided in Section  to show the effectiveness of theoretical results. Conclusions are given in Section .

2 Preliminaries

In this section we give some notions and preliminary results about special matrices that are used in this paper.

Cm×n(Rm×n) will be used to denote the set of allm×ncomplex (real) matrices.

(3)

Let A∈Cn×n,αnandα=nα. If A(α)is nonsingular, the matrix

A/α=,α A(α)–,α ()

is called the Schur complement with respect to A(α), indices in bothαandαare arranged

with increasing order.We shall confine ourselves to the nonsingularA(α) as far asA/αis

concerned.

A matrixA= (aij)∈Rn×nis callednonnegativeifaij≥ for alli,jn.A matrix A=

(aij)∈Rn×nis called a Z-matrix if aij≤for all i=j.We will useZnto denote the set of

alln×n Z-matrices.A matrix A= (aij)∈Znis called an M-matrix if A can be expressed

in the form A=sIB, where B≥, and sρ(B), the spectral radius of B. If s>ρ(B), A

is called a nonsingular M-matrix MnandMnwill be used to denote the set of alln×n

M-matrices and the set of alln×nnonsingularM-matrices, respectively (see []).

The comparison matrix of a given matrix A= (aij)∈Cn×n, denoted byμ(A) = (μij), is

defined by

μij= ⎧ ⎨ ⎩

|aii|, ifi=j, –|aij|, ifi=j.

()

It is clear thatμ(A)∈Znfor a matrixA∈Cn×n.A matrix A= (aij)∈Cn×nis called a general

H-matrix ifμ(A)∈Mn. Ifμ(A)∈Mn, A is called an invertible H-matrix. HnandHnI will

denote the set of alln×ngeneralH-matrices and the set of alln×ninvertibleH-matrices, respectively (see []).

Lemma (see []) If AHI n,then

μ(A)–≥A–≥. ()

For n≥,an n×n complex matrix A is reducible if there exists an n×n permutation

matrix P such that

PAPT=

A A

A

, ()

where Ais an r×r submatrix and Ais an(nr)×(nr)submatrix,where≤r<n.

If no such permutation matrix exists,then A is called irreducible.If A is a×complex

matrix,then A is irreducible if its single entry is nonzero,and reducible otherwise.

A matrixA∈Cn×nis called diagonally dominant by row if

|aii| ≥ n

j=,j=i

|aij| ()

(4)

Dn(SDn,IDn) andDEnwill be used to denote the sets of alln×n(strictly, irreducibly) diagonally dominant matrices and the set of alln×ndiagonally equipotent matrices, re-spectively.

Lemma (see []) Let ADn.Then A is singular if and only if there exists a singular

principal submatrix in A.

Lemma (see []) Let ADn.Then AHnI if and only if A has either one zero principal

submatrix or one irreducibly diagonally equipotent principal submatrix.Furthermore,if

ADnZn,then AMnif and only if A has either one zero principal submatrix or one

irreducibly diagonally equipotent principal submatrix.

Lemma (see Lemma . in []) Given a matrix ADnand a setα=nαn,if

A(γ)is the largest diagonally equipotent principal submatrix of A(α)forγ =αγα,

then A/α=A(αγ)/γ,where

γ=

A(γ) A(γ,α)

A(α,γ) A(α)

. ()

Lemma (see []) Let ACn×nbe partitioned as

A=

a A

A A

,

where A= (a,a, . . . ,an)Tand A= (a,a, . . . ,an).If Ais nonsingular,then

detA detA

=a– (a,a, . . . ,an)[A]– ⎛ ⎜ ⎜ ⎝

a .. .

an ⎞ ⎟ ⎟ ⎠.

3 The disc separation of the Schur complement of nonstrictly diagonally dominant matrices

In this section, we will establish some results on the Geršgorin disc separation from the origin for nonstrictly diagonally dominant matrices and their Schur complements such that under some conditions the separation of the Schur complement of a nonstrictly di-agonally dominant matrix is greater than that of the original grand matrix. Firstly, the following lemma will be used in the rest of this subsection.

Lemma  Let A= (aij)∈Dnbe nonsingular,and two setsα={i,i, . . . ,im} ⊂ nandα= nα={j,j, . . . ,jl} ⊂ nwith m+l=n.For any jtα,denote

Bjt= ⎡ ⎢ ⎢ ⎢ ⎢ ⎣

x –|ajti| · · · –|ajtim|

li=|ai,ji|

..

. μ[A(α)] |aim,ji|

⎤ ⎥ ⎥ ⎥ ⎥

⎦. ()

Then Bjtis doubly diagonally dominant[]if and only if

x≥ max

≤ωm

Riω(A)

|aiωiω|

(5)

When inequality()holds,Bjtis an M-matrix of order m+ ,and thus,detBjt≥.

Fur-thermore,if the strict inequality()holds and|aisis|>Ris(A)for all isα,then Bjt is a

nonsingular M-matrix of order m+ ,and thus,detBjt> .

Proof Similar to the proof of Lemma  in [], we can easily derive the conclusion of this

lemma.

Theorem  Let A= (aij)∈Dnbe nonsingular,and two setsα={i,i, . . . ,im} ⊂ nand

α=nα={j,j, . . . ,jl} ⊂ nwith m+l=n,define A/α= (ajt,js)andωjt as in(),if

|ajt,jt|>Rjt(A) ()

for all jtα,then both()and()hold.

Proof SinceADnand is nonsingular, Lemma  indicates thatA(α) is nonsingular. As

a result,A/α= (ajt,js) exists. According to definition () of the Schur complement matrix A/α, we have the off-diagonal entries

ajl,jt=ajl,jt

⎡ ⎢ ⎢ ⎢ ⎢

⎣(ajl,i,ajl,i, . . . ,ajl,ik) A(α) – ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

ai,jt ai,jt

.. .

aik,jt

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦,

l,t= , , . . . ,m, ()

and the diagonal entries

ajl,jl=ajl,jl

⎡ ⎢ ⎢ ⎢ ⎢

⎣(ajl,i,ajl,i, . . . ,ajl,ik) A(α)

– ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

ai,jl ai,jl

.. .

aik,jl

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦,

l= , , . . . ,m, ()

ofA/α. The conclusion of this theorem will be proved by proving the following two cases: (i) IfA(α)∈H||, Lemma  gives

μ A(α) –≥ A(α)–≥. ()

Then from (), (), () and Lemma , we have

|ajt,jt|–Rjt(A/α) =|ajt,jt|–

l

i=,i=t |ajt,ji|

= ⎡ ⎢ ⎢ ⎢ ⎢

ajt,jt– (ajt,i, . . . ,ajt,ik) A(α)

– ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

ai,jt ai,jt

.. .

aik,jt

(6)

l

i=,i=t ⎡ ⎢ ⎢ ⎢ ⎢

ajl,ji– (ajl,i, . . . ,ajl,im)A(α)

– ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

ai,ji ai,ji

.. .

aik,ji

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦

≥ |ajl,jl|–

l

i=,i=t |ajl,ji|

l i= ⎡ ⎢ ⎢ ⎢ ⎢

⎣(ajt,i,ajt,i, . . . ,ajt,im)A(α) – ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

ai,ji ai,ji

.. .

aim,ji

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦

≥ |ajt,jt|–

l

i=,i=t |ajt,ji|

l i= ⎡ ⎢ ⎢ ⎢ ⎢ ⎣

|ajt,i|,|ajt,i|, . . . ,|ajt,im| A(α)

– ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

|ai,ji|

|ai,ji|

.. . |aim,ji|

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦

≥ |ajt,jt|–

l

i=,i=t |ajt,ji|

l i= ⎡ ⎢ ⎢ ⎢ ⎢ ⎣

|ajt,i|,|ajt,i|, . . . ,|ajt,im|

μ A(α) – ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

|ai,ji|

|ai,ji|

.. . |aim,ji|

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦ ()

=|ajt,jt|–Rjt(A) +

l

u=

|ajtiu|+ωjtωjt

l i= ⎡ ⎢ ⎢ ⎢ ⎢ ⎣

|ajt,i|,|ajt,i|, . . . ,|ajt,im|

μ A(α) – ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

|ai,ji|

|ai,ji|

.. . |aim,ji|

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦

=|ajt,jt|–Rjt(A) +ωjt+

m

u=

|ajtiu|–ωjt

l i= ⎡ ⎢ ⎢ ⎢ ⎢ ⎣

|ajt,i|,|ajt,i|, . . . ,|ajt,im|

μ A(α) – ⎛ ⎜ ⎜ ⎜ ⎜ ⎝

|ai,ji|

|ai,ji|

.. . |aim,ji|

⎞ ⎟ ⎟ ⎟ ⎟ ⎠ ⎤ ⎥ ⎥ ⎥ ⎥ ⎦

=|ajt,jt|–Rjt(A) +ωjt+

detBjt detμ[A(α)],

where

Bjt=

m

u=|ajtiu|–ωjt hT

g μ[A(α)]

(7)

g=

l

i=

|ai,ji|, . . . , –

l

i= |aim,ji|

T ,

h=–|ajl,i|, . . . , –|ajl,im|

T .

It is clear thatBjtZm+. In Lemma , we set

x=

m

u=

|ajtiu|–ωjt≥ max

≤m Riω(A)

|aiωiω|

. ()

According to Lemma ,detBjt=detμ(Bjt)≥. Continuing (),

|ajt,jt|–Rjt(A/α)≥ |ajt,jt|–Rjt(A) +ωjt+

detBjt detμ[A(α)]

≥ |ajt,jt|–Rjt(A) +ωjt≥ |ajt,jt|–Rjt(A) > . ()

Similarly,

|ajt,jt|+Rjt(A/α)≤ |ajt,jt|+Rjt(A) –ωjt

detBjt detμ[A(α)]

≤ |ajt,jt|+Rjt(A) –ωjt≤ |ajt,jt|–Rjt(A). ()

This completes the proof of case (i). Next, we prove case (ii). AssumeA(α) /∈HI

|α|, it then follows from Lemma  thatA(α) has at least one diagonally equipotent principal submatrix. LetA(γ) be the largest diagonally equipotent principal submatrix of the matrixA(α) forγ=αγα. ThenA(γ) has no diagonally equipotent principal submatrix and henceA(γ)∈H|Iγ|from Lemma . Since ADnandA(γ) is the largest diagonally equipotent principal submatrix of the matrix

A(α), it follows from Lemma  thatA/α=A(αγ)/γ, whereα=nαnand

A(αγ) is given in (). Since A(γ)∈HI

|γ|∩D|γ|, it follows from the proof of case (i) that both () and () hold, which shows that the proof of case (ii) is completed. This

completes the proof.

Theorem  Given a matrix A= (aij)∈Dnand two setsα={i,i, . . . ,im} ⊂ nandα= nα={j,j, . . . ,jl} ⊂ nwith m+l=n,defineωjt as in()and A/α= (ajt,js),ifωjt>  for all jtα,then

|ajt,jt|–Rjt(A/α)≥ |ajt,jt|–Rjt(A) +ωjt>|ajt,jt|–Rjt(A)≥ ()

and

|ajt,jt|+Rjt(A/α)≤ |ajt,jt|+Rjt(A) –ωjt<|ajt,jt|+Rjt(A). ()

Proof Using the same proof method as the one of Theorem , the conclusion of this

(8)

Theorem  Given a matrix A= (aij)∈Dnand two setsα={i,i, . . . ,im} ⊂ nandα= nα={j,j, . . . ,jl} ⊂ nwith m+l=n,defineωjtas in(),if A(α)is nonsingular,then A/α= (ajt,js)satisfies

|ajt,jt|–Rjt(A/α)≥ |ajt,jt|–Rjt(A) +ωjt≥ |ajt,jt|–Rjt(A)≥ ()

and

|ajt,jt|+Rjt(A/α)≤ |ajt,jt|+Rjt(A) –ωjt≤ |ajt,jt|+Rjt(A). ()

Proof Similar to the proof of Theorem , one may derive the conclusion of this theorem.

4 The eigenvalue distribution of the Schur complement of nonstrictly diagonally dominant matrices

In this section, the result of Theorem  will be generalized to nonstrictly diagonally dom-inant matrices.

Theorem  Let A= (aij)∈Dnbe nonsingular with real diagonal entries,andαnsuch

that for all jα=nαn,|ajj|>Rj(A) = n

k=,k=j|ajk|.Then A/αand A(α)have the

same number of eigenvalues whose real parts are greater(less)than w(resp. –w),where w

is defined in().

Proof SinceADnand is nonsingular, it follows from Lemma  thatA(α) is nonsingular.

Thus,A/αexists. Similar to the proof of Theorem  in [],μ[A/α] –wIis diagonally dom-inant coming from () in Theorem , so isA/αwI. Further, () indicates thatajt,jtw> 

if and only ifajt,jt> . This implies that|J+(A/α)|=|J+(A/αwI)|. Thus, by the Ger˘sgorin theorem,A/αwIhas|J+(A/α)|eigenvalues with positive real part (on the open right-half complex plane). On the other hand, the eigenvalues ofA/αwIare the eigenvalues ofA/α

minusw, soA/α has|J+(A/α)|eigenvalues with positive real part greater thanw. Again, since [A(α)]–= [A/α]–(see, e.g., p. in []) and further thatA/αand [A/α]–have the same number of eigenvalues with positive real part. It follows from Corollary  of [] that

A/αandA(α) have the same number of eigenvalues whose positive real parts are greater thanw. For the number of negative parts of eigenvalues, the argument above still works

with –A/αin place ofA/α.

Theorem  Given a matrix A= (aij)∈Dnwith real diagonal entries,and two setsαn

andα=nαn,if

ϑ= min

iα,jα |

aii|–Ri(A) |aii|

kα |ajk|

> , ()

then A/αand A(α)have the same number of eigenvalues whose real parts are greater(less)

thanϑ(resp. –ϑ).

Proof SinceADnandϑ=miniα,jα[|aii||aRi(A)

ii|

(9)

5 Numerical examples

In this section, some numerical examples are given to demonstrate the effectiveness of the results obtained in this paper.

Example  Consider the following × matrix:

A=

⎡ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣

 –       – –       – –       –         –       – –

      

⎤ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦

. ()

Letα={, , }. Thenα={, , , }. It is verified thatAandA(α) are both nonsingu-lar and () holds. Thus, Asatisfies the conditions of Theorems  and . According to Theorems  and , both () and () hold.

In what follows we will verify the conclusions of Theorems  and . Direct computations yield the following results:

A/α=

⎡ ⎢ ⎢ ⎢ ⎣

–      –    – –    

⎤ ⎥ ⎥ ⎥ ⎦,

ω=ω=ω=ω= ,

|a,|–R(A/α) = , |a,|–R(A) = , |a,|–R(A/α) = , |a,|–R(A) = , |a,|–R(A/α) = , |a,|–R(A) = , |a,|–R(A/α) = , |a,|–R(A) = , |a,|+R(A/α) = , |a,|+R(A) = , |a,|+R(A/α) = , |a,|+R(A) = , |a,|+R(A/α) = , |a,|+R(A) = , |a,|+R(A/α) = , |a,|+R(A) = .

()

Thus,

|a,|–R(A/α)≥ |a,|–R(A) +ω≥ |a,|–R(A)≥, |a,|–R(A/α)≥ |a,|–R(A) +ω≥ |a,|–R(A)≥, |a,|–R(A/α)≥ |a,|–R(A) +ω≥ |a,|–R(A)≥, |a,|–R(A/α)≥ |a,|–R(A) +ω≥ |a,|–R(A)≥

(10)

and

|a,|+R(A/α)≤ |a,|+R(A) –ω≤ |a,|+R(A), |a,|+R(A/α)≤ |a,|+R(A) –ω≤ |a,|+R(A), |a,|+R(A/α)≤ |a,|+R(A) –ω≤ |a,|+R(A), |a,|+R(A/α)≤ |a,|+R(A) –ω≤ |a,|+R(A).

()

() and () show that the conclusions of Theorems  and  are true.

Let us investigate Theorem . Sinceα={, , }andα={, , , }such thatAsatisfies the condition of Theorem ,A/αandA(α) have the same number of eigenvalues whose real parts are greater (less) thanw(resp. –w).

Now, we verify the effectiveness of the conclusion by direct computations. We getw= ; further, we have that the eigenvalues ofA/α andA(α) are –., –., ., . and –., –., ., ., respectively. Thus,A/αandA(α) have two eigenvalues whose real parts are greater (less) than  (resp. –). This shows that the conclusion of Theorem  is true.

Example  Consider the following × matrix:

A=

⎡ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣

– –    –

  –   

   –  

–   – –   – –   –

–     

⎤ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦

. ()

Assumeα={, , }. Thenα={, , }. By direct computations, we getω=ω= . andω= .. Sinceωjt>  for alljtα, it follows from Theorem  that both () and ()

hold.

The following will show the effectiveness of Theorem  by direct computations. Since

A/α=

⎡ ⎢ ⎣

–. –. . . . –. . . .

⎤ ⎥ ⎦,

|a,|–R(A/α) = , |a,|–R(A) = , |a,|–R(A/α) = ., |a,|–R(A) = , |a,|–R(A/α) = ., |a,|–R(A) = , |a,|+R(A/α) = , |a,|+R(A) = , |a,|+R(A/α) = ., |a,|+R(A) = , |a,|+R(A/α) = ., |a,|+R(A) = .

()

Thus,

(11)

|a,|–R(A/α)≥ |a,|–R(A) +ω≥ |a,|–R(A)≥, () |a,|–R(A/α)≥ |a,|–R(A) +ω≥ |a,|–R(A)≥

and

|a,|+R(A/α)≤ |a,|+R(A) –ω≤ |a,|+R(A),

|a,|+R(A/α)≤ |a,|+R(A) –ω≤ |a,|+R(A), () |a,|+R(A/α)≤ |a,|+R(A) –ω≤ |a,|+R(A).

() and () show that the conclusions of Theorem  are true.

It follows that we will verify the effectiveness of Theorem . Direct computations give

ϑ= . > . According to Theorem ,A/αandA(α) have the same number of eigenval-ues whose real parts are greater (less) thanϑ(resp. –ϑ).

By direct computations, eigenvalues ofA/αandA(α) are –., . + .i, . – .iand –., . + .i, . – .i, respectively. As a result,A/αandA(α) have two eigenvalues whose real parts are greater than . and have an eigenvalue whose real part is less than –., respectively. This shows that the conclusion of Theorem  is true.

6 Conclusions

This mainly studies the disc separation and the eigenvalue location of some special ma-trices. Firstly, the result on the Geršgorin disc separation from the origin for strictly diag-onally dominant matrices and their Schur complements in [] is extended to nonstrictly diagonally dominant matrices and their Schur complements to reveal that under some conditions the separation of the Schur complement of a nonstrictly diagonally dominant matrix is greater than that of the original grand matrix. Secondly, some significant con-clusions are derived to establish the eigenvalue distribution of the Schur complements for nonstrictly diagonally dominant matrices. Finally, some examples are provided to demon-strate the effectiveness of some theoretical results obtained in this paper.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

Acknowledgements

The work was supported by the National Natural Science Foundations of China (11501141, 11601409 and 11201362), the Natural Science Foundations of Shaanxi Province of China (2016JM1009), the Foundation of Guizhou Science and Technology Department (Grant No.[2015]2073) and the Natural Science Programs of Education Department of Guizhou Province (Grant No.[2016]066).

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Received: 7 January 2017 Accepted: 22 March 2017

References

1. Liu, JZ, Zhang, FZ: Disc separation of the Schur complement of diagonally dominant matrices and determinantal bounds. SIAM J. Matrix Anal. Appl.27(3), 665-674 (2005)

(12)

3. Berman, A, Plemmons, RJ: Nonnegative Matrices in the Mathematical Sciences. Academic Press, New York (1979) 4. Bru, R, Corral, C, Gimenez, I, Mas, J: Classes of general H-matrices. Linear Algebra Appl.429, 2358-2366 (2008) 5. Zhang, CY, Luo, SH, Xu, CX: Schur complements of generally diagonally dominant matrices and criterion for

irreducibility of matrices. Electron. J. Linear Algebra18, 69-87 (2009)

6. Zhang, CY, Luo, SH, Xu, FM, Xu, CX: The eigenvalue distribution on Schur complement of nonstrictly diagonally dominant matrices and general H-matrices. Electron. J. Linear Algebra18, 801-820 (2009)

7. Liu, JZ, Zhang, FZ: The Schur complements of generalized doubly diagonally dominant matrices. Linear Algebra Appl.

378, 231-244 (2004)

References

Related documents

A new upper bound for the infinity norm of inverse matrix of a strictly diagonally dominant M -matrix is given, and the lower bound for the minimum eigenvalue of the matrix is

Example 6.3 illustrates the key feature of Theorem 6.2, i.e., that tiny eigenvalues of row diagonally dominant nonsymmetric matrices with small or moderate standard eigenvalue