^{1}

^{*}

^{2}

^{1}

The class of generalized α-matrices is presented by Cvetković, L. (2006), and proved to be a subclass of H-matrices. In this paper, we present a new class of matrices-generalized irreducible α-matrices, and prove that a generalized irreducible α-matrix is an H-matrix. Furthermore, using the generalized arithmetic-geometric mean inequality, we obtain two new classes of H-matrices. As applications of the obtained results, three regions including all the eigenvalues of a matrix are given.

H-matrices play a very important role in Numerical Analysis, in Optimization theory and in other Applied Sciences [

m i i = | a i i | , m i j = − | a i j | , i , j ∈ N = { 1 , 2 , ⋯ , n } , j ≠ i

is an M-matrix, i.e., ( c o m ( A ) ) − 1 ≥ 0 [

One interesting problem involving on H-matrices is to identify whether or not a matrix is an H-matrix [

Definition 1. A matrix A = ( a i j ) ∈ C n × n is called a strictly diagonally dominant matrix if for any i ∈ N ,

| a i i | > r i ( A ) = ∑ i ≠ j | a i j |

As is well known, a strictly diagonally dominant matrix is nonsingular.

This can lead to the following famous Geršgorin’s Theorem.

Theorem 1. [

σ ( A ) ⊆ Γ ( A ) = ∪ i ∈ N Γ i (A)

where Γ i ( A ) = { z ∈ C : | z − a i i | ≤ r i ( A ) } .

By considering the irreducibility of a matrix, Taussky [

Definition 2. A matrix A = ( a i j ) ∈ C n × n is called an irreducibly diagonally dominant matrix if A is irreducible, if for any i ∈ N ,

| a i i | ≥ r i ( A ) (1)

and if strict inequality holds in (1) for at least one i.

Theorem 2. ( [

Another one subclass of H-matrices is provided by Ostrowski (see [

Theorem 3. [

| a i i | > ( r i ( A ) ) α ( c i ( A ) ) 1 − α for each i ∈ N (2)

where c i ( A ) = r i ( A T ) . Then A, which is called α_{2}-matrices, is nonsingular and is an H-matrix.

By the nonsingularity of α_{2}-matrices, one can easily obtain the corresponding eigenvalue localization theorem as below.

Theorem 4. [

σ ( A ) ⊆ { z ∈ C : | z − a i i | ≤ r i ( A ) α c i ( A ) 1 − α }

For irreducible matrices, Hadjidimos in [_{2}-matrices (see Theorems 5 and 6).

Definition 3. A matrix A = ( a i j ) ∈ C n × n is called an irreducible α_{2}-matrix if A is irreducible, if for any i ∈ N ,

| a i i | ≥ r i ( A ) α c i ( A ) 1 − α (3)

hold for some α ∈ [ 0 , 1 ] , with at least one inequality being strict.

Theorem 5. ( [_{2}-matrix A, then A is nonsingular.

Theorem 6. [

σ ( A ) ⊆ Γ α 1 ( A ) ∪ Γ α 2 (A)

where

Γ α 1 ( A ) = ∪ i ∈ N { z ∈ C : | z − a i i ≤ r i ( A ) α c i ( A ) 1 − α | }

Γ α 2 ( A ) = ∪ i ∈ N \ N 1 { z ∈ C : | z − a i i < r i ( A ) α c i ( A ) 1 − α | }

and N 1 is the set of indices for which strict inequality holds in (3).

We remark here that although Hadjidimos in [_{2}-matrices is nonsingular, he didn’t give the relationship between α_{2}-matrices and H-matrices. In fact, the class of α_{2}-matrices is a subclass of H-matrices, which is showed by the following theorem.

Theorem 7. For an irreducible α_{2}-matrix A, then A is an H-matrix.

Proof. We let c o m ( A ) = D − B , where D = d i a g ( | a 11 | , | a 22 | , ⋯ , | a n n | ) , and prove that the spectral radius ρ ( D − 1 B ) of D − 1 B is less than 1. In fact, if there exists an eigenvalue λ of D − 1 B such that | λ | ≥ 1 , then D ( λ I − D − 1 B ) = λ D − B , is an irreducible α_{2}-matrix, and hence it is nonsingular. But this contradicts the fact that λ is an eigenvalue of the matrix D − 1 B . Therefore, ρ ( D − 1 B ) < 1 .

According to ( c o m ( A ) ) − 1 = ∑ j = 0 ∞ ( D − 1 B ) j D − 1 ≥ 0 , the conclusion follows.

Recently, Cvetković in [

Theorem 8. ( [

| a i i | > ( r i S ( A ) ) α ( c i S ( A ) ) 1 − α + r i S ¯ ( A ) , S ¯ = N \ S (4)

holds, where r i S ( A ) = ∑ j ∈ S , j ≠ i | a i j | and c i S ( A ) = r i S ( A T ) , then the matrix A, which is called a generalizaed α-matrices, is nonsingular, moreover it is an H-matrix.

Theorem 9. ( [

σ ( A ) ⊆ ∩ k ∈ N / S ∪ | S | = k ∪ i ∈ N Γ i α , k , S

where

Γ i α , k , S = { z ∈ C : | z − a i i | ≤ ( r i S ( A ) ) α ( c i S ( A ) ) 1 − α + r i S ¯ ( A ) }

We now present a new class of matrices?generalized irreducible α-matrix, which is different from the class of generalized α-matrices and will be proved to be an H-matrix in Section 2.

Definition 4. A matrix A = ( a i j ) ∈ C n × n is called a generalized irreducible α-matrix if A is irreducible and if there exists α ∈ [ 0,1 ] and k ∈ N such that for each subset S ⊆ N of cardinality k

| a i i | ≥ ( r i S ( A ) ) ( c i S ( A ) ) α + 1 − α r i S ¯ ( A ) (5)

holds, with at least one inequality in (5) being strict.

The outline of this paper is given as follows. In Section 2, we prove that a generalized irreducible α-matrix is nonsingular, and is an H-matrix. By using its nonsingularity, we also obtain a new eigenvalue localization set. Combining with the generalized arithmetic-geometric mean inequality, we in Section 3 obtain two other subclasses of H-matrices, consequently, two corresponding eigenvalue localization set. And then the simpliﬁcations of the obtained eigenvalue localization sets are given in Section 4.

In this section, we prove that a generalized irreducible α-matrix is nonsingular, and obtain a new eigenvalue localization set by using its nonsingularity.

Theorem 10. If a matrix A = ( a i j ) ∈ C n × n is a generalized irreducible α-matrix, then it is nonsingular, moreover it is an H-matrix.

Proof. First, Apparent we remark that the case k = 1 represents the class of irreducibly diagonally dominant matrices, while k = n represents irreducible α_{2}-matrices, so in both cases the nonsingularity has already been shown in Theorem 2 and Theorem 5, respectively. So, from now on, we suppose that 1 < k < n.

Suppose on the contrary that A is singular. Then there exists a nonzero vector x = ( x 1 , x 2 , ⋯ , x n ) T such that Ax = 0, that is,

− a i i x i = ∑ i ≠ j , j = 1 n a i j x j , for each i ∈ N

Taking absolute values in the above equation and using the triangle inequality gives

| a i i | | x i | ≤ ∑ i ≠ j , j = 1 n | a i j | | x j | = ∑ i ≠ j , j ∈ S | a i j | | x j | + ∑ i ≠ j , j ∈ S ¯ | a i j | | x j | for each i ∈ N

Note that for the nonzero vector x = ( x 1 , x 2 , ⋯ , x n ) T there always exists a subset S ⊂ N of cardinality k such that | x i | ≥ | x j | and | x i | > 0 for each i ∈ S and each j ∈ S ¯ . Hence, for each i ∈ S .

| a i i | | x i | ≤ ∑ i ≠ j , j = 1 n | a i j | | x j | ≤ ∑ i ≠ j , j ∈ S | a i j | | x j | + r i S ¯ ( A ) | x i | (6)

equivalently,

( | a i i | − r i S ¯ ( A ) ) | x i | ≤ ∑ i ≠ j , j = 1 n | a i j | | x j |

Furthermore, by (5) in Definition 4, we have

( r i S ( A ) ) α ( c i S ( A ) ) 1 − α | x i | ≤ ( | a i i | − r i S ¯ ( A ) ) | x i | ≤ ∑ j ∈ S , j ≠ i | a i j | | x j | , i ∈ S (7)

with at least one strict inequality holds above. Using Höder’s inequality (see Lemma 2.1 in [

( r i S ( A ) ) α ( c i S ( A ) ) 1 − α | x i | ≤ ( ∑ j ∈ S , j ≠ i | a i j | ) α ( ∑ j ∈ S , j ≠ i | a i j | | x j | 1 1 − α ) 1 − α , i ∈ S

that is

( r i S ( A ) ) α ( c i S ( A ) ) 1 − α | x i | ≤ ( r i S ( A ) ) α ( ∑ j ∈ S , j ≠ i | a i j | | x j | 1 1 − α ) 1 − α , i ∈ S (8)

without loss of generality, suppose that for any i ∈ S , r i S ( A ) ≠ 0 . In fact, if there exists i 0 ∈ S such that r i 0 S ( A ) = 0 , i.e., a i 0 k = 0 for each k ∈ S , k ≠ i 0 , then from (7),we have

( | a i 0 i 0 | − r i 0 S ¯ ( A ) ) | x i 0 | ≤ 0 .

Note that | x i | ≠ 0 for each i ∈ S . then

| a i 0 i 0 | ≤ r i 0 S ¯ ( A ) = r i 0 ( A ) .

Since A is a generalized irreducible α-matrix, we have

| a i 0 i 0 | ≥ ( r i 0 S ( A ) ) α ( c i 0 S ( A ) ) 1 − α + r i 0 S ¯ ( A ) = r i 0 S ¯ (A)

hence,

| a i 0 i 0 | = r i 0 S ¯ ( A ) , i 0 ∈ S (9)

Furthermore, by (6) and (9), we get that

| a i 0 i 0 | | x i 0 | = ∑ j ∈ S | a i 0 j | | x j | = r i 0 S ¯ (A)

which implies that there is j 0 ∈ S ¯ such that a i 0 j 0 ≠ 0 and | x i 0 | = | x j 0 | ≠ 0 .

Because A is irreducible. Let S 1 = ( S \ { i 1 } ) ∪ { j 0 } , for i 1 ∈ S , i 1 ≠ i 0 . Note that

r i 0 S 1 ( A ) ≥ | a i 0 j 0 | > 0

then we only consider S 1 instead of S .

For every i ∈ S , r i 0 S ( A ) > 0 , By canceling ( r i S ( A ) ) α on both sides of (8)and raising both sides of (8) to the power 1 1 − α , we have

∑ i ∈ S ( c i S ( A ) ) | x i | 1 1 − α ≤ ( ∑ j ∈ S , j ≠ i | a i j | | x j | 1 1 − α ) i ∈ S

where strict inequality holds above for at least one i ∈ S . Summing on all i in S in the above inequalities gives

∑ i ∈ S ( c i S ( A ) ) | x i | 1 1 − α < ∑ i ∈ S ( ∑ j ∈ S , j ≠ i | a i j | | x j | 1 1 − α )

equivalently

∑ i ∈ S ( c i S ( A ) ) | x i | 1 1 − α < ∑ i ∈ S ( ∑ j ∈ S , j ≠ i | a i j | | x j | 1 1 − α ) = ∑ j ∈ S ( c i S ( A ) ) | x j | 1 1 − α .

This is a contradiction. Therefore, A is nonsingular.

Moreover, similar to the proof of Theorem 7, we can easily prove that A is an H-matrix.

From Theorem 10, we easily get the corresponding eigenvalue localization set as below.

Corollary 1. For any A = ( a i j ) ∈ C n × n , and any α ∈ [ 0,1 ] , then

σ ( A ) ⊆ ∩ k ∈ N / S ∪ | S | = k ( ( ∪ i ∈ S 1 Γ i α , k , S 1 ) ∪ ( ∪ i ∈ S 2 Γ i α , k , S 2 ) )

where

Γ i α , k , S 1 = { z ∈ C : | z − a i i | ≤ ( r i S ( A ) ) α ( c i S 1 ( A ) ) 1 − α + r i S ¯ ( A ) } ;

Γ i α , k , S 2 = { z ∈ C : | z − a i i | < ( r i S ( A ) ) α ( c i S 2 ( A ) ) 1 − α + r i S ¯ ( A ) } .

and S 2 = S \ S 1 with S 1 is the set of indices for which strict inequality holds in (5).

Combining the nonsingularity of generalized (irreducible) α-matrices with the generalized arithmetic-geometric mean inequality:

α a + ( 1 − α ) b ≥ a α b 1 − α

where a , b ≥ 0 and α ∈ [ 0 , 1 ] .

We obtain two other subclasses of H-matrices, consequently, two new eigenvalue localization set.

Theorem 11. If for a matrix A = ( a i j ) ∈ C n × n , there exists α ∈ [ 0,1 ] and

k ∈ N such that for each subset S ⊆ N of cardinality k

| a i i | > α r i S ( A ) + ( 1 − α ) c i S ( A ) + r i S ¯ ( A ) (10)

holds, then A, which is called a generalized sum α-matrix, is nonsingular, moreover it is an H-matrix.

Proof. By the generalized arithmetic-geometric mean inequality, we have

| a i i | > α r i S ( A ) + ( 1 − α ) c i S ( A ) + r i S ¯ ( A ) ≥ ( r i S ( A ) ) α ( c i S ( A ) ) 1 − α + r i S ¯ (A)

This implies that A is generalized α-matrix. Hence A is nonsingular. Furthermore, similar to the proof of Theorem 7, we can obtain easily that A is an H-matrix.

From Theorem 11, we also get a corresponding eigenvalue localization set.

Corollary 2. For any A = ( a i j ) ∈ C n × n , and any α ∈ [ 0,1 ] , then

σ ( A ) ⊆ ∩ k ∈ N / S ∪ | S | = k ∪ i ∈ S γ i α , k , S

where

γ i α , k , S = { z ∈ C : | z − a i i | ≤ α r i S ( A ) + ( 1 − α ) c i S ( A ) + r i S ¯ ( A ) }

According to Theorem 10 and the generalized arithmetic-geometric mean inequality, we can obtain easily the following subclass of H-matrices and the corresponding eigenvalue localization set.

Theorem 12. If for an irreducible matrix A = ( a i j ) ∈ C n × n , there exists α ∈ [ 0,1 ] and k ∈ N such that for each subset S ⊂ N of cardinality k.

| a i i | ≥ α r i S ( A ) + ( 1 − α ) c i S ( A ) + r i S ¯ ( A ) (11)

holds, with at least one inequality in (11) being strict, then A is nonsingular, moreover it is an H-matrix.

Corollary 3. For any A = ( a i j ) ∈ C n × n , and any α ∈ [ 0,1 ] , then

σ ( A ) ⊆ ∩ k ∈ N / S ∪ | S | = k ( ( ∪ i ∈ S 1 γ i α , k , S 1 ) ∪ ( ∪ i ∈ S 2 γ i α , k , S 2 ) )

where

γ i α , k , S 1 = { z ∈ C : | z − a i i | ≤ α r i S ( A ) + ( 1 − α ) c i S ( A ) + r i S ¯ ( A ) }

γ i α , k , S 2 = { z ∈ C : | z − a i i | < α r i S ( A ) + ( 1 − α ) c i S ( A ) + r i S ¯ ( A ) }

and S 2 = S \ S 1 with S 1 is the set of indices for which strict inequality holds in (11).

The eigenvalue localization sets in Theorem 9 and Corollary 2 are not of much practical use because of the restriction of α. To solve this problem, we in this section use the method provided in [

For a matrix A = ( a i j ) ∈ C n × n with n ≥ 2 , and for S ⊆ N of cardinality k ∈ N , we partition the set of indices S into three sets:

R = { i ∈ S : r i S ( A ) > c i S ( A ) }

C = { i ∈ S : r i S ( A ) < c i S ( A ) }

L = { i ∈ S : r i S ( A ) = c i S ( A ) }

where r i S ( A ) = c i S ( A ) = 0 .

Consequently, R = C = 0 if k = 1. Obviously, S = R ∪ C ∪ L .

Lemma 13. A matrix A = ( a i j ) ∈ C n × n with n ≥ 2 , is a generalized α-matrix if and only if there exists k ∈ N , such that for each subset S ⊆ N of cardinality k the following two conditions hold:

1) | a i i | > min { r i S ( A ) , c i S ( A ) } + r i S ¯ ( A ) , i ∈ S ;

2) log r i S ( A ) c i S ( A ) | a i i | − r i S ( A ) c i S ( A ) > log r j S ( A ) c j S ( A ) c j S ( A ) | a i i | − r i S ( A ) ,

for each i ∈ R , for which c i S ( A ) ≠ 0 , and for each j ∈ C , for which r j S ( A ) ≠ 0 .

Proof. The case k = 1: The class of generalized α-matrices reduces to strictly diagonally dominant matrices. And note that the condition (1) changes to

| a i i | > r i S ¯ ( A ) = r i ( A ) , i ∈ S .

This also holds for each S ⊆ N of cardinality k = 1, that is, for any i ∈ N , | a i i | > r i ( A ) , which implies that A is strictly diagonally dominant.

The case k = n: The class of generalized α-matrices reduces to α_{2}-matrices. On the other hand, the condition (1) changes to

| a i i | > min { r i S ( A ) , c i S ( A ) } = min { r i ( A ) , c i ( A ) } .

And the condition (2) changes to

log r i S ( A ) c i S ( A ) | a i i | c i ( A ) > log c j S ( A ) r j S ( A ) c j ( A ) | a i i | , i ∈ S .

Hence by Theorem 5 in [_{2}-matrix.

The case 1 < k < n: Similar to the proof of Theorem 5 in [

Similar to the proof of Lemma 13, for generalized sum α-matrices we also obtain easily its sufficient and necessary condition by Theorem 4 in [

Lemma 14. A matrix A = ( a i j ) ∈ C n × n with n ≥ 2 , is a generalized sum α-matrix if and only if there exists k ∈ N such that for each subset S ⊆ N of cardinality k the following two conditions hold:

1) | a i i | > min { r i S ( A ) , c i S ( A ) } + r i S ¯ ( A ) , i ∈ S ;

2) | a i i | − r i S ( A ) − c i S ( A ) r i S ( A ) − c i S ( A ) > c i S ( A ) − ( | a i i | − r i S ¯ ( A ) ) c i S ( A ) − r i S (A)

for each i ∈ R and each j ∈ C .

We now establish two eigenvalue localization sets by Lemmas 13 and 14, which are the equivalent forms of the sets in Theorem 9 and Corollary 2 respectively.

Corollary 4. For any A = ( a i j ) ∈ C n × n , then

σ ( A ) ⊆ Γ ¯ k , S ( A ) ∪ Γ ^ k , S ( A ) ,

where

Γ ¯ k , S ( A ) = ∩ k ∈ N / S ∪ | S | = k ∪ i ∈ S { z ∈ C : | z − a i i | ≤ min ( r i S ( A ) , c i S ( A ) ) + r i S ¯ ( A ) } ;

Γ ^ k , S ( A ) = ∩ k ∈ N \ S ∪ | S | = k ∪ i ∈ R ⊆ S , c i S ( A ) ≠ 0 j ∈ C ⊆ S , r i S ( A ) ≠ 0 Γ ^ i j k , S ( A ) ;

and

Γ ^ i j k , S ( A ) = { z ∈ C : | z − a i i | − r i S ¯ ( A ) c i S ( A ) ( | z − a j j | − r j S ¯ ( A ) c j S ( A ) ) log c i S ( A ) r i S ( A ) r i S ( A ) c i S ( A ) ≤ 1 } .

Proof. For any λ ∈ σ ( A ) , λ I − A is singular. Note that the moduli of every off-diagonal entry of λ I − A is the same as A. Hence, for each S ⊆ N , the sets R ⊆ N and C ⊆ N for the matrix λ I − A remain the same. If λ ≠ Γ ¯ k , S ( A ) ∪ Γ ^ k , S ( A ) , then λ I − A satisfies the conditions (1) and (2) of Lemma 13, hence λ I − A is a generalized α-matrix, which implies that λ I − A is nonsingular. This is a contradiction. Hence, λ = Γ ¯ k , S ( A ) ∪ Γ ^ k , S ( A ) .

Combining with Lemma 14 and similar to the proof of Corollary 4, we have the following result.

Corollary 5. For any A = ( a i j ) ∈ C n × n , then

σ ( A ) ⊆ Γ ¯ k , S ( A ) ∪ γ ^ k , S ( A ) ,

where Γ ¯ k , S ( A ) is defined as Corollary 4,

γ ^ k , S ( A ) = ∩ k ∈ N / S ∪ | S | = k ∪ i ∈ R ⊆ S j ∈ C ⊆ S γ ^ i j k , S ( A ) .

and

γ ^ k , S ( A ) = { z ∈ C : ( | z − a i i | − r i S ¯ ( A ) ) ( c j S ( A ) − r j S ( A ) ) + ( | z − a j j | − r j S ¯ ( A ) ) ( r i S ( A ) − c i S ( A ) ) ≤ c j S ( A ) r i S ( A ) − c i S ( A ) r j S ( A ) }

Remark 1. Obviously, the forms of the sets in Corollaries 4 and 5, which are without the restriction of α, are easier to be determined than those in Theorem 9 and Corollary 2. In addition, similar to the proof of Lemma 3.5 in [

( Γ ¯ k , S ( A ) ∪ Γ ^ k , S ( A ) ) ⊆ ( Γ ¯ k , S ( A ) ∪ γ ^ k , S (A) )

However, Γ ¯ k , S ( A ) ∪ Γ ^ k , S ( A ) is determined more difficultly than Γ ¯ k , S ( A ) ∪ γ ^ k , S ( A ) . because it is difficult to compute exactly log c j S ( A ) r j S ( A ) r i S ( A ) c i S ( A ) in some cases.

In this paper, we present a new class of matrices-generalized irreducible α-matrices, and prove that a generalized irreducible α-matrix is an H-matrix. Furthermore, using the generalized arithmetic-geometric mean inequality, we obtain two new classes of H-matrices. As applications of the obtained results, three regions including all the eigenvalues of a matrix are given.

This work is supported by Applied Basic Research Project of Yunnan Province (No. 2018FB001), CAS “Light of West China” Program and Program for Excellent Young Talents, Yunnan University.

The authors declare no conflicts of interest regarding the publication of this paper.

Sun, Y., Zhang, H.B. and Li, C.Q. (2018) Generalized Irreducible α-Matrices and Its Applications. Advances in Linear Algebra & Matrix Theory, 8, 111-121. https://doi.org/10.4236/alamt.2018.83010