Journal of Applied Mathematics

Journal of Applied Mathematics / 2013 / Article

Research Article | Open Access

Volume 2013 |Article ID 973152 | https://doi.org/10.1155/2013/973152

Jianxing Zhao, Feng Wang, Yaotang Li, "The Diagonally Dominant Degree and Disc Separation for the Schur Complement of Ostrowski Matrix", Journal of Applied Mathematics, vol. 2013, Article ID 973152, 10 pages, 2013. https://doi.org/10.1155/2013/973152

The Diagonally Dominant Degree and Disc Separation for the Schur Complement of Ostrowski Matrix

Academic Editor: Kazutake Komori
Received25 Apr 2013
Accepted31 Aug 2013
Published02 Oct 2013

Abstract

By applying the properties of Schur complement and some inequality techniques, some new estimates of diagonally and doubly diagonally dominant degree of the Schur complement of Ostrowski matrix are obtained, which improve the main results of Liu and Zhang (2005) and Liu et al. (2012). As an application, we present new inclusion regions for eigenvalues of the Schur complement of Ostrowski matrix. In addition, a new upper bound for the infinity norm on the inverse of the Schur complement of Ostrowski matrix is given. Finally, we give numerical examples to illustrate the theory results.

1. Introduction

Let denote the set of all complex matrices, , and . Denote

We know that is called a strictly diagonally dominant matrix if

is called a generalized Ostrowski matrix if is called Ostrowski matrix if all strict inequalities in (3) hold (see [1]).

and will be used to denote the sets of all strictly diagonally dominant matrices and the sets of all (generalized) Ostrowski matrices, respectively.

As shown in [2], for all , we call and the th diagonally and doubly diagonally dominant degree of , respectively.

The infinity norm of is defined as

For , denote by the cardinality of and . If , then is the submatrix of with row indices in and column indices in . In particular, is abbreviated to . Assuming that , and the elements of and are both conventionally arranged in an increasing order. For , we denote If is nonsingular, is called the Schur complement of with respect to .

The comparison matrix of , , is defined by A matrix is called an -matrix if there exist a nonnegative matrix and a number such that , where is the spectral radius of . We know that is an -matrix if and only if is an -matrix, and if is an -matrix, then the Schur complement of is also an -matrix and (see [3]). and will denote the set of all   -matrices and the set of all   -matrices, respectively.

The Schur complement has been proved to be a useful tool in many fields such as control theory, statistics, and computational mathematics. A lot of work has been done on it (see [2, 415]). It is well known that the Schur complements of and are and , respectively. These properties have been used for the derivation of matrix inequalities in matrix analysis and for the convergence of iterations in numerical analysis (see [1619]). Meanwhile, estimating the upper bound for the infinity norm of the inverse of the Schur complement is of great significance. We know that the upper bound of plays an important role in some iterations for large scale nonhomogeneous system of linear equation (see [20]).

The paper is organized as follows. In Section 2, we give several new estimates of diagonally and doubly diagonally dominant degree on the Schur complement of matrices. In Section 3, new inclusion regions for eigenvalues of the Schur complement are obtained. A new upper bound of is given in Section 4. In Section 5, we present numerical examples to illustrate the theory results.

2. The Diagonally Dominant Degree for the Schur Complement

In this section, we give several new estimates of diagonally and doubly diagonally dominant degree on the Schur complement of .

Lemma 1 (see [3]). If , then .

Lemma 2 (see [3]). If or , then ; that is, .

Lemma 3 (see [6]). If or and , then the Schur complement of is in or  , where is the complement of in and is the cardinality of .

Lemma 4 (see [12]). Let , , , and . For any , denote Then if and only if When the strict inequality in (9) holds, , and thus . If the equality in (9) occurs, then .

Lemma 5. Let and with an index satisfying , , , , and . Then, for all , where

Proof. From Lemmas 2 and 3, we know that and . Further, by Lemma 1, we have Thus, for any , Further, By Lemma 4, we can prove that . Thus, inequality (10) holds.

Remark 6. Note that This shows that Lemma 5 improves Theorem of [12].

Theorem 7. Let , , , , and .(a) If there exists an such that , then, for all ,  ,  , where and and are such as in Lemma 5.(b) If for any , then, for all ,  ,  , where and if there exists some such that , one denotes .

Proof. If there exists an such that , then, for all , By Lemma 5, for all , Thus, for all ,  ,  , From Lemma 3, is in ; that is, for all ,  ,  , Further, for all ,  ,  , Therefore, inequality (16) holds. Similarly, we can prove inequality (17).
If for any , then, from Lemmas 1 and 2, for all ,  ,  ,
Therefore, Further,
In , for all , And for all , , Hence, by (30) and (31), we have and so . Further, by (29), we obtain
By (28) and a similar method as the proof of Theorem in [2], we can prove . Therefore, by (29) and (32), we obtain inequality (19). Similarly, we can prove inequality (20).

Remark 8. Note that This shows that Theorem 7 improves Theorem of [2].

3. Eigenvalue Inclusion Regions of the Schur Complement

In this section, we present new inclusion regions for eigenvalues of the Schur complement of .

Lemma 9 (Brauer Ovals theorem). Let . Then the eigenvalues of are in the union of the following sets:

Theorem 10. Let , , , , and , and let be eigenvalue of .(a) If there exists an such that , then there exist ,  , , such that where is such as in Lemma 5 and is such as in Theorem 7.(b) If for any , then there exist ,  , , such that where is such as in Theorem 7.

Proof. By Lemma 9, we know that there exist ,  , , such that (a) If there exists satisfying , by (16), we have On the other hand, for all , Therefore, by (39), (40), and (41), we obtain inequality (35). With a Similar method, we can prove inequality (36).(b) If for any , then by (19), (32), and a similar method as the part , we obtain inequality (37). Similarly, we can prove inequality (38).

4. Upper Bound for the Infinity Norm on the Inverse of the Schur Complement

In this section, we present a new upper bound of .

Lemma 11 (see [2]). Let and . Then,

Theorem 12. Let , , , , , and . Then, where and is such as in Theorem 7.

Proof. By Lemma 11, we have Similar to (29), we obtain Thus, by Theorem 1 of [12], we have Since , then . Thus, by Theorem 7, we have Further, by (46), (47), (48), and (49), we obtain inequality (43).
Let ; we can prove inequality (44).

5. Numerical Examples

In this section, we present several numerical examples to illustrate the theory results.

Example 1 (see Example 2 in [2]). Let
By Theorem 10, the eigenvalues of are in the set From Theorem of [2], the eigenvalues of are in the set Evidently, , and we use Figure 1 to show this fact. And the eigenvalues of are denoted by “+” in Figure 1.

Example 2. Let
By Theorem 10, the eigenvalues of are in the set From Theorem of [2], the eigenvalues of are in the set Evidently, , and we use Figure 2 to show this fact. And the eigenvalues of are denoted by “+” in Figure 2.

Example 3. Let