Journal of Applied Mathematics

Volume 2013, Article ID 247028, 10 pages

http://dx.doi.org/10.1155/2013/247028

## New Representations of the Group Inverse of Block Matrices

College of Science, Guangxi University for Nationalities, Nanning 530006, China

Received 13 March 2013; Accepted 25 June 2013

Academic Editor: Mehmet Sezer

Copyright © 2013 Xiaoji Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

This paper presents a full rank factorization of a block matrix without any restriction concerning the group inverse. Applying this factorization, we obtain an explicit representation of the group inverse in terms of four individual blocks of the partitioned matrix without certain restriction. We also derive some important coincidence theorems, including the expressions of the group inverse with Banachiewicz-Schur forms.

#### 1. Introduction

Let denote the set of all complex matrices. We use , , and to denote the range, the null space, and the rank of a matrix , respectively. The Moore-Penrose inverse of a matrix is a matrix which satisfies The Moore-Penrose inverse of is unique, and it is denoted by .

Recall that the group inverse of is the unique matrix satisfying The matrix is called the group inverse of and it is denoted by .

Partitioned matrices are very useful in investigating various properties of generalized inverses and hence can be widely used in the matrix theory and have many other applications (see [1–4]). There are various useful ways to write a matrix as the product of two or three other matrices that have special properties. For example, linear algebra texts relate Gaussian elimination to the LU factorization and the Gram-Schmidt process to the QR factorization. In this paper, we consider a factorization based on the full rank factorization of a matrix. Our purpose is to provide an integrated theoretical development of and setting for understanding a number of topics in linear algebra, such as the Moore-Penrose inverse and the group inverse.

A full rank factorization of is in the form where is of full column rank and is of full row rank. Any choice in (3) is acceptable throughout the paper, although this factorization is not unique.

For a complex matrix of the form in the case when and is invertible, the Schur complement of in is defined by . Sometimes, we denote the Schur complement of in by . Similarly, if and is invertible, then the Schur complement of in is defined by .

In the case when is not invertible, the generalized Schur complement of in is defined by Similarly, the generalized Schur complement of in is defined by

The Schur complement and generalized Schur complement have quite important applications in the matrix theory, statistics, numerical analysis, applied mathematics, and so forth.

There are a great deal of works [5–8] for the representations of the generalized inverse of . Various other generalized inverses have also been researched by a lot of researchers, for example, Burns et al. [6], Marsaglia and Styan [8], Benítez and Thome [9], Cvetković-Ilić et al. [10], Miao [11], Chen et al., and so forth [12] and the references therein. The concept of a group inverse has numerous applications in matrix theory, from convergence to Markov chains and from generalized inverses to matrix equations. Furthermore, the group inverse of block matrix has many applications in singular differential equations, Markov chains iterative methods, and so forth [13–17]. Some results for the group inverse of a block matrix (operator) can be found in [18–30]. Most works in the literature concerning representations for the group inverses of partitioned matrices were carried out under certain restrictions on their blocks. Very recently, Yan [31] obtained an explicit representation of the Moore-Penrose inverse in terms of four individual blocks of the partitioned matrix by using the full rank factorization without any restriction. This motivates us to investigate the representations of the group inverse without certain restrictions.

In this paper, we aimed at a new method in giving the representation of the group inverse for the fact that there is no known representation for , with , , , and arbitrarily. The outline of our paper is as follows. In Section 2, we first present a full rank factorization of using previous results by Marsaglia and Styan [8]. Inspired by this factorization, we extend the analysis to obtain an explicit representation of the group inverse of without any restriction. Furthermore, we discuss variants special forms with the corresponding consequences, including Banachiewicz-Schur forms and some other extensions as well.

#### 2. Representation of the Group Inverse: General Case

Yan [31] initially considered the representation of the Moore-Penrose inverse of the partitioned matrix by using the full rank factorization technique. The following result is borrowed from [31, Theorem 2.2].

For convenience, we first state some notations which will be helpful throughout the paper: Let , , , have the full rank factorizations respectively; then there is a full rank factorization of the block matrix : Now, the Moore-Penrose inverse of can be expressed as . In particular, when is group inverse, let ; then the full rank factorization of is This motivates us to obtain some new results concerning the group inverse by using the full rank factorization related to the group inverse.

Recall that if a matrix is group inverse (which is true when ), then can be expressed in terms of ; that is, Particularly, we have

The following result follows by using [31, Theorem 3.6] and (13).

Theorem 1. *Let be defined by (4); then the group inverse of can be expressed as
**
where
**
with
*

If the -element of is group inverse, we immediately have Theorem 2 by using the full rank factorization of (11).

Theorem 2. *Let be defined by (4). Suppose is group inverse; then the group inverse of can be expressed as
**
where , , and , , , , , , , , , , , , , , , , , , , are the same as those in Theorem 1. *

The two representations of , (which can be found in [31, Theorem 3.1]), will be helpful in the proofs of the following results.

Theorem 3. *Let be defined by (4); then the following statements are true. *(a)* If is of full column rank and is of full row rank, then
*(b)* If , , then
**where and . *

*Proof. *(a) If is full row rank, then , and hence , , , , and . Thus, , , , , defined in Theorem 1 can be simplified to
which imply
So, (19) is reduced to
When is full row rank, one gets which implies , , , , and . Thus,
Simple computations show that
Now, possesses the following form according to (18):
Since
one gets the expression of by using (13):

(b) If , then , , and such that and . Letting , then
By short computations, one gets
Hence,
If , then , , and such that and . Letting , then
which imply
So, (19) is reduced to
Then,
Therefore, we have

Theorem 4. *Let be defined by (4), then the following statements are true. * * If , , and , then
**where .* * If , , and , then
**where .* * If , , and , , , , then
*

*Proof. *(a) Since and , by Theorem 3(b), one gets
Since , that is, , then , then the equality previously mentioned is simplified to
By using , we have

(b) Similarly to the proof of (a).

(c) Since and , by Theorem 2(b), one gets
Since , , , , that is, , , , , then the previous equality is simplified to
Moreover,
Therefore,

Theorem 5. *Let be defined by (4); let be the Schur complement of in ; then the following statements are true. * * If and are group inverse, , , and , then
* * If and are group inverse, , , , then
* * Let and be group inverse; then , , , and if and only if
*

*Proof. *(i) If and , then , , defined in (8) can be simplified to , ; and then there is a full rank factorization
according to (11). Thus,
where and . Denote by the Schur complement of in the partitioned matrix . Then,
Applying the Banachiewicz-Schur formula, we have

Simple computations give
Then,

(b) Since and , similar as (a), there is a full rank factorization of such that
We also have
By using , one gets the Schur complement of in :
Hence,
Short computations show that
Therefore,

(c) Since , , , and , according to the proof of (a) and (b), we have
Hence,

By [9, Theorem 2].

Analogous to Theorem 5, if define the Schur complement of in , one can obtain the following results.

Theorem 6. *Let be defined by (4); let be the Schur complement of in ; then the following statements are true. * * If and are group inverse, , , , then
* * If and are group inverse, , , and , then
* * Let and be group inverse; then , , , and if and only if
*

*Proof. *The proof is similar to the proof of Theorem 5.

Combining Theorems 5 and 6, we have the following results.

Theorem 7. *Let be defined by (4); let , be the Schur complement of and in , respectively. Then the following statements are true. * * If are group inverse, , , and , then
* * If , , , are group inverse, , , , , , and , then
* * If , , , are group inverse, , , , , , and , then
* * If , , , are group inverse, , , , , , and , then
*

Theorem 8. *Let be defined by (4); let , be the Schur complement of and in , respectively. Then
**
if and only if one of the following conditions holds
*

*Proof. *(a) Using Theorem 6(c) and Theorem 7(c), we conclude that
if and only if
Now, we only need to prove (73) is equivalent to (75). Denote . Then
Moreover, we have
Thus, . Hence, and . Now, we get and , which means (73) implying (75). Obviously, (75) implies (73). So, (73) is equivalent to (75).

(b) The proof is similar to (a).

#### 3. Applications to the Solution of a Linear System

In this section, we will give an application of the previous results above to the solution of a linear system. Using generalized Schur complement, we can split a larger system into two small linear systems by the following steps.

Let be a linear system. Applying the block Gaussian elimination to the system, we have Hence, we get That is,

Now, the solution of system (79) can be obtained by the two small linear systems previously mentioned. In that case, the operation can be significantly simplified. We will also notice that the Moore-Penrose inverse of can be replaced by other generalized inverses, such as the group inverse, the Drazin inverse and generalized inverse of or even the ordinary inverse .

In the following, we will give the group inverse solutions of the linear system.

Theorem 9. *Let
**
be a linear system. Suppose satisfies all the conditions of Theorem 5 (c), partitioning and as
**
which have appropriate sizes with . If , then the solution of linear system (79) can be expressed as
**
where . *

*Proof. *Since , we conclude that is the solution of linear system (79). By Theorem 5 (c), we can get the following:
Now, it is easy to see that the solution can be expressed as
which are also the group inverse solutions of the two small linear systems of (82), respectively.

#### Acknowledgments

This work was supported by the National Natural Science Foundation of China (11061005) and the Ministry of Education, Science, and Grants (HCIC201103) of Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis Open Fund.

#### References

- F. J. Hall, “Generalized inverses of a bordered matrix of operators,”
*SIAM Journal on Applied Mathematics*, vol. 29, pp. 152–163, 1975. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. J. Hall, “The Moore-Penrose inverse of particular bordered matrices,”
*Australian Mathematical Society Journal A*, vol. 27, no. 4, pp. 467–478, 1979. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. J. Hall and R. E. Hartwig, “Further results on generalized inverses of partitioned matrices,”
*SIAM Journal on Applied Mathematics*, vol. 30, no. 4, pp. 617–624, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. K. Mitra, “Properties of the fundamental bordered matrix used in linear estimation,” in
*Statistics and Probability, Essays in Honor of C.R. Rao*, G. Kallianpur, Ed., pp. 504–509, North Holland, New York, NY, USA, 1982. View at Google Scholar - J. K. Baksalary and G. P. H. Styan, “Generalized inverses of partitioned matrices in Banachiewicz-Schur form,”
*Linear Algebra and its Applications*, vol. 354, pp. 41–47, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Burns, D. Carlson, E. Haynsworth, and T. Markham, “Generalized inverse formulas using the Schur complement,”
*SIAM Journal on Applied Mathematics*, vol. 26, pp. 254–259, 1974. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. S. Cvetković-Ilić, “A note on the representation for the Drazin inverse of $2\times 2$ block matrices,”
*Linear Algebra and its Applications*, vol. 429, no. 1, pp. 242–248, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Marsaglia and G. P. H. Styan, “Rank conditions for generalized inverses of partitioned matrices,”
*Sankhyā A*, vol. 36, no. 4, pp. 437–442, 1974. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Benítez and N. Thome, “The generalized Schur complement in group inverses and $(k+1)$-potent matrices,”
*Linear and Multilinear Algebra*, vol. 54, no. 6, pp. 405–413, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - D. S. Cvetković-Ilić, J. Chen, and Z. Xu, “Explicit representations of the Drazin inverse of block matrix and modified matrix,”
*Linear and Multilinear Algebra*, vol. 57, no. 4, pp. 355–364, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. M. Miao, “General expressions for the Moore-Penrose inverse of a $2\times 2$ block matrix,”
*Linear Algebra and its Applications*, vol. 151, pp. 1–15, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Chen, Z. Xu, and Y. Wei, “Representations for the Drazin inverse of the sum $P+Q+R+S$ and its applications,”
*Linear Algebra and its Applications*, vol. 430, no. 1, pp. 438–454, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. L. Campbell, C. D. Meyer, Jr., and N. J. Rose, “Applications of the Drazin inverse to linear systems of differential equations with singular constant coefficients,”
*SIAM Journal on Applied Mathematics*, vol. 31, no. 3, pp. 411–425, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Hartwig, X. Li, and Y. Wei, “Representations for the Drazin inverse of a $2\times 2$ block matrix,”
*SIAM Journal on Matrix Analysis and Applications*, vol. 27, no. 3, pp. 757–771, 2005. View at Publisher · View at Google Scholar · View at MathSciNet - A. da Silva Soares and G. Latouche, “The group inverse of finite homogeneous QBD processes,”
*Stochastic Models*, vol. 18, no. 1, pp. 159–171, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Wei and H. Diao, “On group inverse of singular Toeplitz matrices,”
*Linear Algebra and its Applications*, vol. 399, pp. 109–123, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Wei, “On the perturbation of the group inverse and oblique projection,”
*Applied Mathematics and Computation*, vol. 98, no. 1, pp. 29–42, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Benítez, X. Liu, and T. Zhu, “Additive results for the group inverse in an algebra with applications to block operators,”
*Linear and Multilinear Algebra*, vol. 59, no. 3, pp. 279–289, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Bu, M. Li, K. Zhang, and L. Zheng, “Group inverse for the block matrices with an invertible subblock,”
*Applied Mathematics and Computation*, vol. 215, no. 1, pp. 132–139, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Bu, K. Zhang, and J. Zhao, “Some results on the group inverse of the block matrix with a sub-block of linear combination or product combination of matrices over skew fields,”
*Linear and Multilinear Algebra*, vol. 58, no. 7-8, pp. 957–966, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Bu, J. Zhao, and K. Zhang, “Some results on group inverses of block matrices over skew fields,”
*Electronic Journal of Linear Algebra*, vol. 18, pp. 117–125, 2009. View at Google Scholar · View at MathSciNet - C. Bu, J. Zhao, and J. Zheng, “Group inverse for a class $2\times 2$ block matrices over skew fields,”
*Applied Mathematics and Computation*, vol. 204, no. 1, pp. 45–49, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. G. Cao, “Some results of group inverses for partitioned matrices over skew fields,”
*Journal of Natural Science of Heilongjiang University*, vol. 18, no. 3, pp. 5–7, 2001 (Chinese). View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Chen and R. E. Hartwig, “The group inverse of a triangular matrix,”
*Linear Algebra and its Applications*, vol. 237/238, pp. 97–108, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Cao and J. Li, “Group inverses for matrices over a Bezout domain,”
*Electronic Journal of Linear Algebra*, vol. 18, pp. 600–612, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Cao and J. Li, “A note on the group inverse of some $2\times 2$ block matrices over skew fields,”
*Applied Mathematics and Computation*, vol. 217, no. 24, pp. 10271–10277, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Cao and X. Tang, “Representations of the group inverse of some $2\times 2$ block matrices,”
*International Mathematical Forum*, vol. 31, pp. 1511–1517, 2006. View at Google Scholar - M. Catral, D. D. Olesky, and P. van den Driessche, “Graphical description of group inverses of certain bipartite matrices,”
*Linear Algebra and its Applications*, vol. 432, no. 1, pp. 36–52, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. Patrício and R. E. Hartwig, “The $(2,2,0)$ group inverse problem,”
*Applied Mathematics and Computation*, vol. 217, no. 2, pp. 516–520, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Zhou, C. Bu, and Y. Wei, “Group inverse for block matrices and some related sign analysis,”
*Linear and Multilinear Algebra*, vol. 60, no. 6, pp. 669–681, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Yan, “New representations of the Moore-Penrose inverse of $2\times 2$ block matrices,”
*Linear Algebra and its Applications*, 2013. View at Publisher · View at Google Scholar