# Properties for the Perron complement of three known subclasses of H-matrices

## Abstract

In this paper, we analyze the diagonally dominant degree for the Perron complement upon several diagonally dominant cases by using the entries and spectral radius of the original matrix. At the same time, we obtain closure properties for the Perron complement of several diagonally dominant matrices.

## 1 Introduction

The Perron complement plays an important role in statistics, matrix theory, control theory, and so on (see [1â€“4]). It was said in [2, 5] that the Perron vector (or the stationary distribution vector) for a corresponding transition matrix of a certain Markov chain provides the long term probabilities of the chain being in a particular state. Meyer [1] introduced the concept of the Perron complement, obtained the Perron complement of a nonnegative irreducible matrix is nonnegative irreducible, and first used the closure property of a nonnegative irreducible matrix to construct a divided and conquer algorithm to compute the Perron vector for a Markov chain. Since then, a lot of work has been done on this topic. The authors in [6â€“8] showed closure properties of the Perron complement for some special matrices. When the Perron complement is primitive, we can design a related iterative algorithm to compute the Perron vector (see [1]). So far as we know, if the given matrix has a sharper diagonally dominant degree, then the designed iterative algorithms has faster convergent rate than the ordinary ones (see [9]). At the same time, if a given matrix has a sharper diagonally dominant degree, then we may discuss more properties about generalized nonlinear diagonal dominance in [10]. Motivated by the useful applications, we will study the diagonal dominant degree for the Perron complement of several cases based on the nonnegative and irreducible nature, which may belong to inherent properties of the Perron complement. Meanwhile, some closure properties for the Perron complement of three known subclasses of H-matrices are provided by the entries and spectral radius of the original matrix.

Let $$\mathbb{C}^{n\times n} (\mathbb{R}^{n\times n})$$ denote the set of all $$n\times n$$ complex (real) matrices, $$\mathbb{N}=\{1,2,\ldots,n\}$$, and $$\mathbb{G}=\{(i,j):i,j\in\mathbb{N}, i\neq j\}$$. For $$A=(a_{ij})\in\mathbb{C}^{n\times n}$$, denote

$$R_{i}(A)=\sum_{j\in\mathbb{N},j\neq i}|a_{ij}|, \qquad S_{i}(A)=\sum_{j\in\mathbb{N},j\neq i}|a_{ji}|, \quad i \in\mathbb{N}.$$

Choose

$$\mathbb{N}_{r}(A)= \bigl\{ i:|a_{ii}|>R_{i}(A), i \in N \bigr\} , \qquad\mathbb{N}_{c}(A)= \bigl\{ j:|a_{jj}|>S_{j}(A), j\in N \bigr\} .$$

The comparison matrix $$\mu(A)=(\mu_{ij})$$ of $$A=(a_{ij})\in\mathbb {C}^{n\times n}$$, defined by

$$\mu_{ij}=\left \{ \begin{array}{@{}l@{\quad}l} |a_{ii}|, & i=j,\\ -|a_{ij}|, & i\neq j. \end{array} \right .$$

If $$A=\mu(A)$$ and the eigenvalues of A have positive real parts, then we call A a (nonsingular) M-matrix. We say that A is an H-matrix if $$\mu(A)$$ is an M-matrix. For details and numerous conditions of M-matrices, please refer to [11]. We denote by $$\mathbb {H}_{n}$$ and $$\mathbb{M}_{n}$$ the sets of all $$n\times n$$ H- and M-matrices, respectively.

Recall that $$A=(a_{ij})\in\mathbb{C}^{n\times n}$$ is (row) diagonally dominant and denoted by $$A\in D_{n}$$ if

$$|a_{ii}|\geq R_{i}(A)$$
(1.1)

for all $$i\in\mathbb{N}$$ holds. A is said to be a strictly diagonally dominant matrix and denoted by $$A\in SD_{n}$$ if the representative inequality (1.1) is strict.

$$A=(a_{ij})\in\mathbb{C}^{n\times n}$$ is doubly diagonally dominant and denoted by $$A\in DD_{n}$$ if

$$|a_{ii}||a_{jj}|\geq R_{i}(A)R_{j}(A)$$
(1.2)

for all $$(i,j)\in\mathbb{G}$$ valid. Moreover, A is said to be a strictly doubly diagonally dominant matrix and denoted by $$A\in SDD_{n}$$ if the representative inequality (1.2) is strict for all $$(i,j)\in\mathbb{G}$$. If $$A\in SDD_{n}$$, then there exists at most one index $$i_{0}\in\mathbb{N}$$ such that

$$|a_{i_{0}i_{0}}|\leq R_{i_{0}}(A).$$
(1.3)

$$A=(a_{ij})\in\mathbb{C}^{n\times n}$$ is Î³-diagonally dominant and denoted by $$A\in D_{n}^{\gamma}$$ if there exists $$\gamma\in[0,1]$$ such that

$$|a_{ii}|\geq\gamma R_{i}(A)+(1-\gamma)S_{i}(A), \quad\mbox{for all } i\in\mathbb {N}.$$
(1.4)

If all the inequalities in (1.4) are strict, then A is called strict Î³-diagonally dominant.

$$A=(a_{ij})\in\mathbb{C}^{n\times n}$$ is product Î³-diagonally dominant and denoted by $$A\in PD_{n}^{\gamma}$$ if there exists $$\gamma \in[0,1]$$ such that

$$|a_{ii}|\geq \bigl[R_{i}(A) \bigr]^{\gamma} \bigl[S_{i}(A) \bigr]^{1-\gamma}, \quad\mbox{for all }i\in\mathbb {N}.$$
(1.5)

If all the inequalities in (1.5) are strict, then A is said to be a strictly product Î³-diagonally dominant matrix.

For $$A\in\mathbb{C}^{n\times n}$$, nonempty index sets $$\alpha, \beta \subseteq\mathbb{N}$$, we denote by $$|\alpha|$$ the cardinality of Î±. Let $$A(\alpha, \beta)$$ denote the sub-matrix of A lying in the rows indexed by Î± and the columns indexed by Î². $$A(\alpha, \alpha)$$ is abbreviated to $$A(\alpha)$$. If $$A(\alpha)$$ is nonsingular, then the Schur complement of $$A(\alpha)$$ in A is given by

$$S \bigl(A/A(\alpha) \bigr)=A(\beta)-A(\beta, \alpha) \bigl[A(\alpha) \bigr]^{-1}A(\alpha, \beta ).$$
(1.6)

Let A be a nonnegative irreducible matrix of order n with spectral radius $$\rho(A)$$, $$\emptyset\neq\alpha$$, and $$\beta=\mathbb{N}-\alpha$$. Then the Perron complement of A with respect to $$A(\alpha)$$, which is denoted by $$P(A/A(\alpha))$$ or simply $$P(A/\alpha)$$, is defined as

$$A(\beta)+A(\beta, \alpha) \bigl[\rho(A)I-A(\alpha) \bigr]^{-1}A(\alpha, \beta ).$$
(1.7)

In addition, the extended Perron complement $$P_{t}(A/A(\alpha))$$ or simply $$P_{t}(A/\alpha)$$ at t is defined as

$$A(\beta)+A(\beta, \alpha) \bigl[tI-A(\alpha) \bigr]^{-1}A(\alpha, \beta).$$
(1.8)

## 2 Properties for the Perron complement of diagonally dominant matrices

In this section, we offer some properties for the Perron complement of diagonally dominant matrices by using the entries and spectral radius of the original matrix.

### Lemma 1

(see [11])

If A is an H-matrix, then $$[\mu (A)]^{-1}\geq|A|^{-1}$$.

### Lemma 2

(see [11])

If $$A=(a_{ij})\in SD_{n}$$, or $$A\in SDD_{n}$$, then $$\mu(A)\in\mathbb{M}_{n}$$, i.e., $$A\in\mathbb {H}_{n}$$.

### Proposition 1

Let $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ is nonnegative irreducible with spectral radius $$\rho(A)$$, $$\alpha=\{ i_{1},i_{2},\ldots,i_{k}\}\subseteq\mathbb{N}_{r}(A)$$, $$\beta=\mathbb {N}-\alpha=\{j_{1},j_{2},\ldots,j_{l}\}$$, $$|\alpha|< n$$, and denote

$$B_{j_{t}}\equiv \left ( \begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{}} x & -|a_{j_{t} i_{1}}| & \cdots & -|a_{j_{t} i_{k}}| \\ -\sum_{u=1}^{l} |a_{i_{1} j_{u}}| & & & \\ \vdots & & \mu[\rho(A)I-A(\alpha)] & \\ -\sum_{u=1}^{l} |a_{i_{k} j_{u}}| & & & \\ \end{array} \right ),\quad x>0.$$

Then for $$\rho(A)\geq2|a_{ii}|$$ ($$i\in\alpha$$) and any $$j_{t}\in\beta$$, $$B_{j_{t}}$$ is an M-matrix of order $$k+1$$ and $$\det B_{j_{t}}>0$$ if

$$x>\sum_{\omega=1}^{k}|a_{j_{t}i_{\omega}}| \frac{R_{i_{\omega }}(A)}{\rho(A)-|a_{i_{\omega}i_{\omega}}|}.$$
(2.1)

### Proof

Denote $$B_{j_{t}}\equiv B\equiv(b_{pq})$$. Equation (2.1) means that there exists $$\varepsilon>0$$ such that

$$x>\sum_{\omega=1}^{k}|a_{j_{t}i_{\omega}}| \biggl( \frac {R_{i_{\omega}}(A)}{\rho(A)-|a_{i_{\omega}i_{\omega}}|}+\varepsilon \biggr).$$
(2.2)

By $$\rho(A)\geq2|a_{ii}|$$ ($$i\in\alpha$$) and $$\alpha\subseteq\mathbb {N}_{r}(A)$$, we have $$0\leq\frac{R_{i_{\omega}}(A)}{\rho(A)-|a_{i_{\omega }i_{\omega}}|}<1$$ ($$1\leq\omega\leq k$$). Choose a positive matrix $$D=\operatorname{diag}(d_{1},d_{2},\ldots,d_{k+1})$$ and $$K=BD=(k_{sv})$$, where

$$d_{v}=\left \{ \begin{array}{@{}l@{\quad}l} 1, & v=1;\\ \frac{R_{i_{v-1}}(A)}{\rho(A)-|a_{i_{v-1}i_{v-1}}|}+\varepsilon,& 2\leq v\leq k+1. \end{array} \right .$$

(i) For $$s=1$$, (2.2) follows from

$$|k_{ss}|-\sum_{v\neq s}|k_{sv}|=|k_{11}|- \sum_{v=2}^{k+1}|k_{1v}| =x-\sum _{v=2}^{k+1}|a_{j_{t}i_{v-1}}| \biggl( \frac{R_{i_{\omega }}(A)}{\rho(A)-|a_{i_{\omega}i_{\omega}}|}+\varepsilon \biggr)>0.$$

(ii) For $$s=2,3,\ldots,k+1$$, we obtain

\begin{aligned} &|k_{ss}|-\sum_{v\neq s}|k_{sv}| \\ &\quad = \bigl[\rho(A)-|a_{i_{s-1}i_{s-1}}| \bigr] \biggl(\frac {R_{i_{s-1}}(A)}{\rho(A)-|a_{i_{s-1}i_{s-1}}|}+ \varepsilon \biggr) \\ &\qquad{}-\sum_{u=1}^{l}|a_{i_{s-1}j_{u}}|- \sum_{v=2,v\neq s}^{k+1}|a_{i_{s-1}i_{v-1}}| \biggl( \frac{R_{i_{v-1}}(A)}{\rho (A)-|a_{i_{v-1}i_{v-1}}|}+\varepsilon \biggr) \\ &\quad = R_{i_{s-1}}(A)-\sum_{u=1}^{l}|a_{i_{s-1}j_{u}}|- \sum_{v=1,v\neq s-1}^{k}|a_{i_{s-1}i_{v}}| \frac{R_{i_{v}}(A)}{\rho (A)-|a_{i_{v}i_{v}}|} \\ &\qquad{}+\varepsilon \Biggl[\rho(A)-|a_{i_{s-1}i_{s-1}}|-\sum _{v=2,v\neq s}^{k+1}|a_{i_{s-1}i_{v-1}}| \Biggr]>0. \end{aligned}

Thus, $$K\in SD_{k+1}$$. Further, $$B_{j_{t}}\in\mathbb{H}_{k+1}$$. Besides, observing that $$B_{j_{t}}=\mu(B_{j_{t}})$$, we have $$B_{j_{t}}\in\mathbb{M}_{k+1}$$ and $$\det B_{j_{t}}>0$$.â€ƒâ–¡

### Proposition 2

Let $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ be nonnegative irreducible with spectral radius $$\rho(A)$$, $$\alpha=\{ i_{1},i_{2},\ldots,i_{k}\}\subseteq\mathbb{N}$$, $$\beta=\mathbb{N}-\alpha =\{j_{1},j_{2},\ldots,j_{l}\}$$, $$|\alpha|< n$$, $$P(A/\alpha)=(a_{ts}')$$, and $$\rho(A)\geq2|a_{ii}|$$ ($$i\in\alpha$$).

(i) If $$\alpha\subseteq\mathbb{N}_{r}(A)$$, then for all $$1\leq t\leq l$$,

\begin{aligned} &\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{@{}c@{}} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ &\quad{}+ \left \vert (a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[ \rho(A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{@{}c@{}} a_{i_{1}j_{t}}\\ \vdots \\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \le R_{j_{t}}(A)-\omega_{j_{t}}. \end{aligned}
(2.3)

(ii) If $$\alpha\subseteq\mathbb{N}_{c}(A)$$, then for all $$1\leq t\leq l$$,

\begin{aligned} &\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{s}j_{t}}+(a_{j_{s}i_{1}},\ldots ,a_{j_{s}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{@{}c@{}} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\quad{}+ \left \vert (a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[ \rho(A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots \\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \le S_{j_{t}}(A)-\omega_{j_{t}}^{T}. \end{aligned}
(2.4)

Here

$$\omega_{j_{t}}=\sum_{u=1}^{k}|a_{j_{t}i_{u}}| \frac{\rho (A)-|a_{i_{u}i_{u}}|-R_{i_{u}}(A)}{\rho(A)-|a_{i_{u}i_{u}}|}, \qquad \omega _{j_{t}}^{T}=\sum _{u=1}^{k}|a_{i_{u}j_{t}}|\frac{\rho (A)-|a_{i_{u}i_{u}}|-S_{i_{u}}(A)}{\rho(A)-|a_{i_{u}i_{u}}|}.$$

### Proof

By $$\alpha\subseteq\mathbb{N}_{r}(A)$$, we have $$A(\alpha )\in SD_{k}$$. Further, $$\rho(A)\geq2|a_{ii}|$$ ($$i\in\alpha$$) yields $$(\rho(A)I-A(\alpha) )\in SD_{k}$$. By LemmaÂ 1 and LemmaÂ 2, we have

$$\bigl\{ \mu \bigl[\rho(A)I-A(\alpha) \bigr] \bigr\} ^{-1}\geq \bigl[ \rho(A)I-A(\alpha) \bigr]^{-1}.$$

Thus, by the definition of the Perron complement, we obtain

\begin{aligned} & \left \vert (a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{@{}c@{}} a_{i_{1}j_{t}}\\ \vdots \\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\qquad{}+\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{@{}c@{}} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ &\quad\leq\sum_{s=1,s\neq t}^{l} |a_{j_{t}j_{s}}|+ \sum_{s=1}^{l} \left \vert (a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{@{}c@{}} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ &\quad\leq\sum_{s=1,s\neq t}^{l} |a_{j_{t}j_{s}}|+ \sum_{s=1}^{l} \left \vert \bigl(|a_{j_{t}i_{1}}|,\ldots,|a_{j_{t}i_{k}}|\bigr) \bigl\{ \mu \bigl[ \rho(A)I-A(\alpha) \bigr] \bigr\} ^{-1}\left ( \begin{array}{@{}c@{}} |a_{i_{1}j_{s}}|\\ \vdots\\ |a_{i_{k}j_{s}}| \end{array} \right ) \right \vert \\ &\quad=R_{j_{t}}(A)-\sum_{u=1}^{k}|a_{j_{t}i_{u}}|+\bigl(|a_{j_{t}i_{1}}|, \ldots,|a_{j_{t}i_{k}}|\bigr) \bigl\{ \mu \bigl[\rho (A)I-A(\alpha) \bigr] \bigr\} ^{-1} \left ( \begin{array}{@{}c@{}} \sum_{s=1}^{l}|a_{i_{1}j_{s}}|\\ \vdots\\ \sum_{s=1}^{l}|a_{i_{k}j_{s}}| \end{array} \right ) \\ &\quad=R_{j_{t}}(A)-\omega_{j_{t}}-\frac{1}{\det\{\mu[\rho(A)I-A(\alpha)]\}} \\ &\qquad{}\times\det \left ( \begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{}} \sum_{u=1}^{k}|a_{j_{t}i_{u}}|-\omega_{j_{t}} & -|a_{j_{t}i_{1}}| & \cdots & -|a_{j_{t}i_{k}}| \\ -\sum_{s=1}^{l}|a_{i_{1}j_{s}}| & & & \\ \vdots & &\mu[\rho(A)I-A(\alpha)] & \\ -\sum_{s=1}^{l}|a_{i_{k}j_{s}}| & & & \end{array} \right ) \\ &\quad\equiv R_{j_{t}}(A)-\omega_{j_{t}}-\frac{\det B_{1}}{\det\{\mu[\rho (A)I-A(\alpha)]\}}. \end{aligned}

On the basis of PropositionÂ 1, we have $$\det B_{1}>0$$, which implies (2.3). Moreover, (2.4) can be proved with a similar method to the above techniques.â€ƒâ–¡

### Theorem 1

If $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ is nonnegative irreducible with spectral radius $$\rho(A)$$, $$\alpha=\{ i_{1},i_{2},\ldots,i_{k}\}\subseteq\mathbb{N}_{r}(A)$$, $$\beta=\mathbb {N}-\alpha=\{j_{1},j_{2},\ldots,j_{l}\}$$, $$|\alpha|< n$$, $$P(A/\alpha )=(a_{ts}')$$, then for $$\rho(A)\geq2|a_{ii}|$$ ($$i\in\alpha$$) and $$1\leq t\leq l$$,

$$\bigl|a_{tt}'\bigr|-R_{t} \bigl(P(A/\alpha) \bigr) \geq|a_{j_{t} j_{t}}|-R_{j_{t}}(A)+\omega_{j_{t}}\geq |a_{j_{t} j_{t}}|-R_{j_{t}}(A)$$
(2.5)

and

$$\bigl|a_{tt}'\bigr|+R_{t} \bigl(P(A/\alpha) \bigr) \leq|a_{j_{t} j_{t}}|+R_{j_{t}}(A)-\omega_{j_{t}}\leq |a_{j_{t} j_{t}}|+R_{j_{t}}(A).$$
(2.6)

### Proof

By $$\alpha\subseteq\mathbb{N}_{r}(A)$$ and PropositionÂ 2, we have

\begin{aligned} \bigl|a_{tt}'\bigr|-R_{t} \bigl(P(A/\alpha) \bigr)={}&\bigl|a_{tt}'\bigr|-\sum_{s=1,s\neq t}^{l}\bigl|a_{ts}'\bigr| \\ ={}& \left \vert a_{j_{t}j_{t}}+(a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A(\alpha ) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &{}-\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ \geq{}&|a_{j_{t}j_{t}}|- \left \vert (a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[\rho (A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &{}-\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ \geq{}&|a_{j_{t}j_{t}}|- \bigl(R_{j_{t}}(A)-\omega_{j_{t}} \bigr), \end{aligned}

which implies (2.5).

Similarly, we can also verify (2.6) immediately.â€ƒâ–¡

When $$A\in SD_{n}$$, (2.5) and TheoremÂ 2.1 of [1] show the following fact.

### Corollary 1

If $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ is nonnegative irreducible and strictly diagonally dominant with spectral radius $$\rho(A)$$, $$\emptyset\neq\alpha\subseteq\mathbb{N}$$, $$|\alpha |< n$$, $$\beta=\mathbb{N}-\alpha$$, then for $$\rho(A)\geq2|a_{ii}|$$ ($$i\in \alpha$$),

$$P(A/\alpha)=A(\beta)+A(\beta, \alpha) \bigl[\rho(A)I-A(\alpha) \bigr]^{-1}A(\alpha, \beta)$$

is nonnegative irreducible and strictly diagonally dominant.

## 3 Properties for the Perron complement of strictly Î³- and product Î³-diagonally dominant matrices

In this section, we obtain several properties for the Perron complement of strictly Î³- and product Î³-diagonally dominant matrices through using the entries and spectral radius of the original matrix.

### Lemma 3

(see [12])

If $$a>b$$, $$c>b$$, $$b>0$$, and $$0\leq r\leq 1$$, then

$$a^{r}c^{1-r}\geq(a-b)^{r}(c-b)^{1-r}+b.$$

### Theorem 2

If $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ is nonnegative irreducible and with spectral radius $$\rho(A)$$, $$\mathbb {N}_{r}(A)\cap\mathbb{N}_{c}(A)\neq\emptyset$$, $$\alpha=\{ i_{1},i_{2},\ldots,i_{k}\}\subseteq (\mathbb{N}_{r}(A)\cap\mathbb {N}_{c}(A) )$$, $$|\alpha|< n$$, $$\beta=\mathbb{N}-\alpha=\{ j_{1},j_{2},\ldots,j_{l}\}$$, and $$P(A/\alpha)=(a_{ts}')$$, then for $$\rho (A)\geq2|a_{ii}|$$ ($$i\in\alpha$$), $$1\leq t\leq l$$, and $$0\leq\gamma \leq1$$,

\begin{aligned} &\bigl|a_{tt}'\bigr|-\gamma R_{t} \bigl(P(A/\alpha) \bigr)-(1-\gamma)S_{t} \bigl(P(A/\alpha) \bigr) \\ &\quad \geq |a_{j_{t}j_{t}}|-\gamma R_{j_{t}}(A)-(1- \gamma)S_{j_{t}}(A)+ \gamma \omega_{j_{t}}+(1-\gamma) \omega_{j_{t}}^{T} \\ &\quad \geq |a_{j_{t}j_{t}}|-\gamma R_{j_{t}}(A)-(1- \gamma)S_{j_{t}}(A) \end{aligned}

and

\begin{aligned} &\bigl|a_{tt}'\bigr|+\gamma R_{t} \bigl(P(A/\alpha) \bigr)+(1-\gamma)S_{t} \bigl(P(A/\alpha) \bigr) \\ &\quad \leq |a_{j_{t}j_{t}}|+\gamma R_{j_{t}}(A)+(1- \gamma)S_{j_{t}}(A)- \gamma \omega_{j_{t}}-(1-\gamma) \omega_{j_{t}}^{T} \\ & \quad\leq |a_{j_{t}j_{t}}|+\gamma R_{j_{t}}(A)+(1- \gamma)S_{j_{t}}(A). \end{aligned}

### Proof

In light of $$\alpha\subseteq (\mathbb{N}_{r}(A)\cap \mathbb{N}_{c}(A) )$$ and PropositionÂ 2, we have

\begin{aligned} & \bigl|a_{tt}'\bigr|-\gamma R_{t} \bigl(P(A/\alpha) \bigr)-(1-\gamma)S_{t} \bigl(P(A/\alpha) \bigr) \\ &\quad=\bigl|a_{tt}'\bigr|-\gamma\sum _{s=1,s\neq t}^{l}\bigl|a_{ts}'\bigr|-(1- \gamma)\sum_{s=1,s\neq t}^{l}\bigl|a_{st}'\bigr| \\ &\quad= \left \vert a_{j_{t}j_{t}}+(a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A(\alpha ) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\qquad{}-\gamma\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ &\qquad{}-(1-\gamma)\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{s}j_{t}}+(a_{j_{s}i_{1}},\ldots,a_{j_{s}i_{k}}) \bigl[ \rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\quad\geq|a_{j_{t}j_{t}}|- \left \vert (a_{j_{t}i_{1}}, \ldots,a_{j_{t}i_{k}}) \bigl[\rho (A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\qquad{}-\gamma\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ &\qquad{}-(1-\gamma)\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{s}j_{t}}+(a_{j_{s}i_{1}},\ldots,a_{j_{s}i_{k}}) \bigl[ \rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\quad=|a_{j_{t}j_{t}}|-\gamma \left \vert (a_{j_{t}i_{1}}, \ldots,a_{j_{t}i_{k}}) \bigl[\rho (A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}} \\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\qquad{} -\gamma\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[ \rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \\ &\qquad{}-(1-\gamma) \left \vert (a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[ \rho(A)I-A(\alpha ) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}} \\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\qquad{} -(1-\gamma)\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{s}j_{t}}+(a_{j_{s}i_{1}},\ldots,a_{j_{s}i_{k}}) \bigl[ \rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\quad\geq|a_{j_{t}j_{t}}|-\gamma \bigl(R_{j_{t}}(A)- \omega_{j_{t}} \bigr)-(1-\gamma ) \bigl(S_{j_{t}}(A)- \omega_{j_{t}}^{T} \bigr) \\ &\quad=|a_{j_{t}j_{t}}|-\gamma R_{j_{t}}(A)-(1-\gamma)S_{j_{t}}(A)+ \gamma\omega _{j_{t}}+(1-\gamma) \omega_{j_{t}}^{T}, \end{aligned}

which yields the first type of inequalities. Similarly, the rest of the inequalities of TheoremÂ 2 can be verified.â€ƒâ–¡

By TheoremÂ 2 and TheoremÂ 2.1 of [1], we get the following corollary.

### Corollary 2

If $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ is nonnegative irreducible and strictly Î³-diagonally dominant with spectral radius $$\rho(A)$$, $$\mathbb{N}_{r}(A)\cap\mathbb{N}_{c}(A)\neq \emptyset$$, $$\alpha\subseteq\mathbb{N}_{r}(A)\cap\mathbb{N}_{c}(A)$$, $$|\alpha|< n$$, $$\beta=\mathbb{N}-\alpha$$, then for $$\rho(A)\geq 2|a_{ii}|$$ ($$i\in\alpha$$),

$$P(A/\alpha)=A(\beta)+A(\beta, \alpha) \bigl[\rho(A)I-A(\alpha) \bigr]^{-1}A(\alpha, \beta)$$

is nonnegative irreducible and strictly Î³-diagonally dominant, and so is $$P_{t}(A/\alpha)$$.

### Theorem 3

If $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ is nonnegative irreducible with spectral radius $$\rho(A)$$, $$\mathbb {N}_{r}(A)\cap\mathbb{N}_{c}(A)\neq\emptyset$$, $$\alpha=\{ i_{1},i_{2},\ldots,i_{k}\}\subseteq\mathbb{N}_{r}(A)\cap\mathbb {N}_{c}(A)$$, $$|\alpha|< n$$, $$\beta=\mathbb{N}-\alpha=\{j_{1},j_{2},\ldots ,j_{l}\}$$, $$P(A/\alpha)=(a_{ts}')$$, then for $$\rho(A)\geq2|a_{ii}|$$ ($$i\in\alpha$$), $$1\leq t\leq l$$, and $$0\leq\gamma\leq1$$,

\begin{aligned} &\bigl|a_{tt}'\bigr|- R_{t}^{\gamma} \bigl(P(A/ \alpha) \bigr)S_{t}^{1-\gamma} \bigl(P(A/\alpha) \bigr) \\ &\quad \geq |a_{j_{t}j_{t}}|- \bigl[R_{j_{t}}(A)-\omega_{j_{t}} \bigr]^{\gamma } \bigl[S_{j_{t}}(A)-\omega_{j_{t}}^{T} \bigr]^{1-\gamma} \geq |a_{j_{t}j_{t}}|- R_{j_{t}}^{\gamma}(A)S_{j_{t}}^{1-\gamma}(A) \end{aligned}

and

\begin{aligned} &\bigl|a_{tt}'\bigr|+R_{t}^{\gamma} \bigl(P(A/ \alpha) \bigr)S_{t}^{1-\gamma} \bigl(P(A/\alpha) \bigr) \\ &\quad \leq |a_{j_{t}j_{t}}|+ \bigl[R_{j_{t}}(A)-\omega_{j_{t}} \bigr]^{\gamma } \bigl[S_{j_{t}}(A)-\omega_{j_{t}}^{T} \bigr]^{1-\gamma} \leq |a_{j_{t}j_{t}}|+R_{j_{t}}^{\gamma}(A)S_{j_{t}}^{1-\gamma}(A). \end{aligned}

### Proof

By the definition of the Perron complement, we obtain

\begin{aligned} & \bigl|a_{tt}'\bigr|- \bigl[R_{t} \bigl(P(A/\alpha) \bigr) \bigr]^{\gamma} \bigl[S_{t} \bigl(P(A/\alpha ) \bigr) \bigr]^{1-\gamma} \\ &\quad=\bigl|a_{tt}'\bigr|- \Biggl[\sum _{s=1,s\neq t}^{l}\bigl|a_{ts}'\bigr| \Biggr]^{\gamma } \Biggl[\sum_{s=1,s\neq t}^{l}\bigl|a_{st}'\bigr| \Biggr]^{1-\gamma} \\ &\quad= \left \vert a_{j_{t}j_{t}}+(a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A(\alpha ) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\qquad{}-\left [\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[ \rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \right ]^{\gamma} \\ &\qquad{}\times \left [\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{s}j_{t}}+(a_{j_{s}i_{1}},\ldots,a_{j_{s}i_{k}}) \bigl[ \rho(A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \right ]^{1-\gamma} \\ &\quad\geq |a_{j_{t}j_{t}}|- \left \vert (a_{j_{t}i_{1}}, \ldots,a_{j_{t}i_{k}}) \bigl[\rho (A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \\ &\qquad{}-\left [\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{t}j_{s}}+(a_{j_{t}i_{1}},\ldots ,a_{j_{t}i_{k}}) \bigl[ \rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{s}}\\ \vdots\\ a_{i_{k}j_{s}} \end{array} \right ) \right \vert \right ]^{\gamma} \\ &\qquad{}\times \left [\sum_{s=1,s\neq t}^{l} \left \vert a_{j_{s}j_{t}}+(a_{j_{s}i_{1}},\ldots,a_{j_{s}i_{k}}) \bigl[ \rho(A)I-A(\alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert \right ]^{1-\gamma}. \end{aligned}

Denote

$$h= \left \vert (a_{j_{t}i_{1}},\ldots,a_{j_{t}i_{k}}) \bigl[\rho(A)I-A( \alpha) \bigr]^{-1}\left ( \begin{array}{c} a_{i_{1}j_{t}}\\ \vdots\\ a_{i_{k}j_{t}} \end{array} \right ) \right \vert .$$

In light of LemmaÂ 3, we get

\begin{aligned} & \bigl|a_{tt}'\bigr|- \bigl[R_{t} \bigl(P(A/\alpha) \bigr) \bigr]^{\gamma} \bigl[S_{t} \bigl(P(A/\alpha ) \bigr) \bigr]^{1-\gamma} \\ &\quad \geq|a_{j_{t}j_{t}}|-h- \bigl[R_{j_{t}}(A)-\omega_{j_{t}}-h \bigr]^{\gamma } \bigl[S_{j_{t}}(A)-\omega_{j_{t}}^{T}-h \bigr]^{1-\gamma} \\ &\quad \geq|a_{j_{t}j_{t}}|-h- \bigl[ \bigl(R_{j_{t}}(A)- \omega_{j_{t}} \bigr)^{\gamma } \bigl(S_{j_{t}}(A)- \omega_{j_{t}}^{T} \bigr)-h \bigr] \\ &\quad =|a_{j_{t}j_{t}}|- \bigl[R_{j_{t}}(A)-\omega_{j_{t}} \bigr]^{\gamma} \bigl[S_{j_{t}}(A)-\omega _{j_{t}}^{T} \bigr]^{1-\gamma}. \end{aligned}

Hence, we can get the first type of inequalities of TheoremÂ 3. Similarly, we can immediately verify the other one.â€ƒâ–¡

By TheoremÂ 3 and TheoremÂ 2.1 of [1], we have the following corollary.

### Corollary 3

If $$A=(a_{ij})\in\mathbb{R}^{n\times n}$$ is nonnegative irreducible and strictly product Î³-diagonally dominant with spectral radius $$\rho(A)$$, $$\mathbb{N}_{r}(A)\cap\mathbb {N}_{c}(A)\neq\emptyset$$, $$\alpha\subseteq\mathbb{N}_{r}(A)\cap\mathbb {N}_{c}(A)$$, $$|\alpha|< n$$, and $$\beta=\mathbb{N}-\alpha$$, then for $$\rho (A)\geq2|a_{ii}|$$ ($$i\in\alpha$$),

$$P(A/\alpha)=A(\beta)+A(\beta, \alpha) \bigl[\rho(A)I-A(\alpha) \bigr]^{-1}A(\alpha, \beta)$$

is nonnegative irreducible and strictly product Î³-diagonally dominant, and so is $$P_{t}(A/\alpha)$$.

## References

1. Meyer, CD: Uncoupling the Perron eigenvector problem. Linear Algebra Appl. 114/115, 69-94 (1989)

2. Kirkland, SJ, Neumann, M, Xu, JH: A divide and conquer approach to computing the mean first passage matrix for Markov chains via Perron complement reductions. Numer. Linear Algebra Appl. 8, 287-295 (2001)

3. Lu, LZ: Perron complement and Perron root. Linear Algebra Appl. 341, 239-248 (2002)

4. Yang, ZM: Some closer bounds of Perron root basing on generalized Perron complement. J. Comput. Appl. Math. 235, 315-324 (2010)

5. Neumann, M, Xu, JH: On the stability of the computation of the stationary probabilities of Markov chains using Perron complements. Numer. Linear Algebra Appl. 10, 603-618 (2003)

6. Neumann, M: Inverses of Perron complements of inverse M-matrices. Linear Algebra Appl. 313, 163-171 (2000)

7. Fallat, SM, Neumann, M: On Perron complements of totally nonnegative matrices. Linear Algebra Appl. 327, 85-94 (2001)

8. Zhou, SW, Huang, TZ: On Perron complements of inverse $$N_{0}$$-matrices. Linear Algebra Appl. 434, 2081-2088 (2011)

9. Liu, JZ, Huang, ZH, Zhu, L, Huang, ZJ: Theorems on Schur complement of block diagonally dominant matrices and their application in reducing the order for the solution of large scale linear systems. Linear Algebra Appl. 435, 3085-3100 (2011)

10. Gan, TB, Huang, TZ, Gao, J: A note on generalized nonlinear diagonal dominance. J. Math. Anal. Appl. 313, 581-586 (2006)

11. Horn, RA, Johnson, CR: Topics in Matrix Analysis. Cambridge University Press, New York (1991)

12. Liu, JZ, Huang, ZJ: The Schur complements of Î³-diagonally and product Î³-diagonally dominant matrix and their disc separation. Linear Algebra Appl. 432, 1090-1104 (2010)

## Acknowledgements

The author thanks the referee for the very helpful comments and suggestions. This work was supported in part by National Natural Science Foundation of China (91430213), National Natural Science Foundation of China (11471279), National Natural Science Foundation for Youths of China (11401505), the Key Project of Hunan Provincial Natural Science Foundation of China (2015JJ2134), the Key Project of Hunan Provincial Education Department of China (12A137) and the Hunan Provincial Innovation Foundation for Postgraduate (CX2014B254).

## Author information

Authors

### Corresponding author

Correspondence to Jianzhou Liu.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and Permissions

Wang, L., Liu, J. & Chu, S. Properties for the Perron complement of three known subclasses of H-matrices. J Inequal Appl 2015, 9 (2015). https://doi.org/10.1186/s13660-014-0531-1

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13660-014-0531-1

• 15A47
• 15A48
• 65U05
• 65J10

### Keywords

• diagonally dominant matrix
• H-matrix
• the Perron complement
• nonnegative irreducible matrix