Formulas for the Drazin Inverse of Matrices over Skew Fields

Transcription

1 Filomat 30: DOI /FIL S Published by Faculty of Sciences and Mathematics University of Niš Serbia Available at: Formulas for the Drazin Inverse of Matrices over Skew Fields Lizhu Sun ab Baodong Zheng a Shuyan Bai c Changjiang Bu cd a School of Science Harbin Institute of Technology Harbin PR China b College of Science and Engineering City university of Hong Kong Kowloon Hong Kong c College of Science Harbin Engineering University Harbin PR China d College of Automation Harbin Engineering University Harbin PR China Abstract For two square matrices P and Q over skew fields the explicit formulas for the Drazin inverse of P Q are given in the cases of i PQ 2 = 0 P 2 QP = 0 QP 2 = 0; ii P 2 QP = 0 P 3 Q = 0 Q 2 = 0 which extend the results in [MF Martínez-Serrano et al On the Drazin inverse of block matrices and generalized Schur complement Appl Math Comput] and [C Deng et al New additive results for the generalized Drazin inverse J Math Anal Appl] By using these formulas the representations for the Drazin inverse of 2 2 block matrices over skew fields are obtained which also extend some existing results 1 Introduction Let K m n and C m n be the sets of all the m n matrices over the skew field K and the complex field C respectively For A K n n the index of A is the smallest nonnegative integer k such that ranka k = ranka k1 denoted by IndA The matrix X K n n is called the Drazin inverse of A K n n if the following equations hold A k1 X = A k XAX = X AX = XA X is denoted by A D It is well-known that A D exists and is unique [1] When IndA = 1 A D is called the group inverse of A denoted by A # If A is invertible then A D = A 1 Throughout this paper denote the identity matrix by I and A π = I AA D The Drazin inverse has many applications in singular differential equations and singular difference equations [2 3] Markov chains [4 5] and iterative methods [6] For P Q C n n Drazin gave the explicit formula of P Q D in the case of PQ = QP = 0 [7] which spurred the interest in additive formula of the Drazin inverse And after that there emerged many results on it In 2001 the formula of P Q D was obtained when PQ = 0 in [8] In 2009 the representation of P Q D was establshed in the case of P 2 Q = 0 Q 2 = 0 see[9] Mathematics Subject Classification 15A09 Keywords Skew field Drazin inverse Block matrix Received: 21 September 2014; Accepted: 02 May 2016 Communicated by Dijana Mosić This work is supported by the National Natural Science Foundation of China No the Natural Science Foundation of the Heilongjiang Province NoQC2014C001 and the Research Grants Council RGC of Hong Kong Project C G address: zbd@hiteducn Baodong Zheng

2 L Sun B Zheng S Bai C Bu / Filomat 30: In 2010 Deng and Wei derived a result under the condition PQ = QP see [10] and the results were extended to the case of P 3 Q = QP Q 3 P = PQ see [11] In 2011 the additive formula was given under the new conditions PQ 2 = 0 PQP = 0 see[12] In 2012 and 2013 Bu et al gave the formulas of P Q D under the conditions i P 2 Q = 0 Q 2 P = 0; ii P 3 Q = 0 QPQ = 0 QP 2 Q = 0 see [13]; iiis 2i 1 PS 2i 1 P = 0 S 2i 1 PS 2i 1 QS 2i 1 = 0 QS 2i 1 PQS 2i 1 Q 2 = 0 where S i = P Q i i 1 see [14] respectively And there are some other papers on the additive results for the Drazin inverse of matrices and operators in [15 16] In 1979 Campbell and Meyer proposed an open problem to find an explicit representation for the A B Drazin inverse of M = C C D n n A and D are square see [2] In 1989 Miao gave an expression for the Drazin inverse of M with the conditions A π B = 0 CA π = 0 and the generalized Schur complement S = D CA D B = 0 see [17] In 2006 the above result was extended to the case of AA π B = 0 CA π B = 0 S = 0 see [18] And there are some results on the representations for the Drazin group inverse of M see [9] [12] [19]-[23] [28] Here we list some cases: A 2 A π B = 0 CA π AB = 0 BCA π B = 0 S = 0 see [9]; 3 AA π BC = 0 CA π BC = 0 S = 0 see [12]; 4 ABC = 0 S = 0 see [9] For the representations for the Drazin group inverse of block matrices over skew fields there are some papers showed by Cao et al see [24]-[26] and Bu et al see [27] This paper is also devoted to the formulas for the Drazin inverse of block matrices over skew fields We organize this paper as follows In section 2 we present some lemmas which are used in the proof of the main results In section 3 for the matrices P Q K n n we give the explicit formulas of P Q D under the following conditions respectively: i PQ 2 = 0 P 2 QP = 0 QP 2 = 0; ii P 2 QP = 0 P 3 Q = 0 Q 2 = 0 Clearly the above results generalize Equ2 and Equ1 respectively In section 4 we apply the formulas A B obtained in section 3 to establish the representations for the Drazin inverse of M = K C D n n A and D are square under the following conditions respectively: i A 2 A π BC = 0 BCA π BC = 0 CAA π BC = 0 S = 0; ii A 2 BC = 0 ABCA = 0 ABCB = 0 S = 0 Obviously the above statement i generalizes Equ3 and Equ4 the above statement ii generalizes Equ5 2 Some Lemmas In order to prove our main results we first present some lemmas as follows Lemma 21 [25] Let A K m n and B K n m Then AB D = ABA 2 D B and AB D A = A BA D A B Lemma 22 [26] Let M = K 0 C n n where A and C are square Then A M D D X = 0 C D where X = l 1 i2 A D BC i C π A π s 1 A i B C D i2 A D BC D s = Ind A and l = Ind C 2 5

3 Lemma 23 Let P Q K n n If PQ = 0 then L Sun B Zheng S Bai C Bu / Filomat 30: P Q D = l 1 I QQ D Q i P D i1 i1 Q D P i I PP D where l = Ind Q s = Ind P The above result over complex fields was given in [8] Similarly it can be extended to skew fields Here we omit the proof 3 Some Formulas of P Q D over Skew Fields For P Q C n n the formula of P Q D with the conditions PQ 2 = 0 and PQP = 0 was given in [12] Next we establish a theorem which extends the above result Theorem 31 Let P Q K n n If PQ 2 = 0 P 2 QP = 0 and QP 2 = 0 then P Q D = [ Q π Q D P PQP D 2 P D 2 Q D 3 P QP π] P Q Q 2i1 Q π P Q P D 2i4 P Q m 2 1 Q D 2i5 P Q P 2i2 P π P Q m 1 1 where m 1 = IndP 2 and m 2 = IndQ 2 Proof It is easy to see that P Q D = P QP Q 2 D = P QP 2 PQ QP Q 2 D 6 = P QM N D where M = P 2 PQ and N = Q 2 QP Since PQ 2 = 0 and P 2 QP = 0 we have MN = 0 It follows from Lemma 23 that l 1 M N D = N D i1 M i I MM D I NN D N i M D i1 7 where l = IndM s = IndN Lemma 23 shows that l 1 N D = I Q 2 Q 2 D Q 2i QP D i1 Q D 2i1 QP i I QPQP D where l = IndQ 2 s = IndQP Note that QP 2 = 0 then QP D = 0 Hence N D = Q D 2i1 QP i = Q 2 D Q D 3 P It follows from PQ 2 D = PQ 2 Q 4 D = 0 that N D 2 = Q D 4 Q D 5 P Similarly N D i = Q D 2i Q D 2i1 P 8

4 L Sun B Zheng S Bai C Bu / Filomat 30: for i 1 From P 2 QP = 0 QP 2 = 0 and Lemma 21 we get M D = [PP Q] D = P[P 2 QP 2 ] D P Q = PP 4 QP 3 D P Q By applying Lemma 23 to P 4 QP 3 we have hence P 4 QP 3 D = P D 4 QP D 5 M D = P D 2 P D 3 Q PQP D 4 PQP D 5 Q It follows from P D PQP D = P 2 D P 2 QPP 2 D = 0 that M D 2 = P D 4 P D 5 QPQP D 6 PQP D 7 Q Similarly M D i = P D 2i P D 2i1 Q PQP D 2i2 PQP D 2i3 Q 9 for i 1 By substituting Equ8 and Equ9 into Equ7 and substituting Equ7 into Equ6 it yields that P Q D = [ Q π Q D P PQP D 2 P D 2 Q D 3 P QP π] P Q Q 2i1 Q π P Q P D 2i4 P Q 10 l 1 Q D 2i5 P Q P 2i2 P π P Q Let m 1 = IndP 2 and m 2 = IndQ 2 For i m 1 j m 2 we have P 2i2 P π = 0 and Q 2j1 Q π = 0 In Equ10 replace l and s with m 1 and m 2 respectively Thus the proof is complete Similarly we give the following theorem which generalizes Theorem 31 in [12] Theorem 32 Let P Q K n n If P 2 Q = 0 QPQ 2 = 0 and QP 2 = 0 then P Q D = P Q [ Q π P QP D 3 Q D 2 P π QP D Q D 2 PQ ] P Q Q 2i2 Q π P Q P D 2i5 m 1 1 P Q Q D 2i4 P Q P 2i1 P π m 2 1 where m 1 = IndQ 2 m 2 = IndP 2 Next we give an example which doesn t satisfy the conditions of Theorem 21 in [12] to demonstrate Theorem 31

5 L Sun B Zheng S Bai C Bu / Filomat 30: Example 31 Let H= {a bi cj dk} be the real quaternion skew fields where a b c and d are real numbers Consider the following two matrices P Q H 7 7 P = i j k k j 0 0 j i 0 0 Computation gives that P D = Q D = Q = i/ j/2 0 0 j/2 0 0 j/2 i/ k i 0 0 i 0 0 j 0 0 k IndP 2 = 2 IndQ 2 = 1 Q π = P π = / k/ Since PQ 2 = 0 P 2 QP = 0 QP 2 = 0 and applying Theorem 31 we get P Q D = i/ j/2 j/4 0 1/ /4 j/4 i/2 k/4 i/4 k/ j/4 i/2 i/4 0 j/2 0 0 j/2 i/2 i/4 0 0 k When P 2 Q = 0 and Q 2 = 0 the formula of P Q D was given in [9] The following theorem generalizes the above result Theorem 33 Let P Q K n n If P 2 QP = 0 P 3 Q = 0 and Q 2 = 0 then 2 1 P Q D = PQP i QP π QP i QP π P P D 2i2 1 1 P QP D i1 QP D i1 P P 2i P π QP D Q PQP D 2 PQ P D where n 1 = IndP 2 n 2 = IndQP

6 Proof It is easy to see that L Sun B Zheng S Bai C Bu / Filomat 30: P Q D = P QP Q 2 D = P QP 2 PQ QP Q 2 D = P QM N D 11 where M = P 2 Q 2 N = PQ QP Since P 2 QP = 0 P 3 Q = 0 and Q 2 = 0 we have l 1 M N D = N D i1 M i I MM D I NN D N i M D i1 12 where l = IndM s = IndN Clearly M D i = P D 2i 13 for i 1 Note that the matrix N satisfies the condition of Lemma 23 then N D = I QP D QP l 1 QP i PQ D i1 i1 QP D PQ i I PQPQ D where l = Ind QP and s = Ind PQ It follows from P 2 QP = 0 that PPQ D = P 2 QPQPQ 3 D = 0 and QP D PQ 2 = QP 2 D QP 2 QPQ = 0 Hence N D = I QP D QP PQ D 1 i1 QP D PQ i I PQPQ D = PQ D QP D QP D 2 PQ It follows from Q 2 = 0 and P 2 QP = 0 that N D 2 = PQ D 2 QP D 2 QP D 3 PQ Similarly N D i = PQ D i QP D i QP D i1 PQ 14 for i 1 By substituting Equ13 and Equ14 into Equ12 and substituting Equ12 into Equ11 it yields that l 1 P Q D = P QP D i1 QP D i1 P P 2i P π P QP i QP π QP i QP π P P D 2i2 QP D Q PQP D 2 PQ P D 15 Let n 1 = IndP 2 and n 2 = IndQP For i n 1 j n 2 we have P 2i P π = 0 QP j QP π = 0 In Equ15 replace l and s with n 1 and n 2 respectively Thus the proof is complete Similarly we give the following theorem which generalizes Corollary 23 in [9]

7 L Sun B Zheng S Bai C Bu / Filomat 30: Theorem 34 Let P Q K n n If PQP 2 = 0 QP 3 = 0 and Q 2 = 0 then 1 1 P Q D = P 2i P π [P PQ D i1 PQ D i1 P] 2 1 2i2 P D [P PQ i PQ π PQ i PQ π P] Q PQ D QPPQ D 2 P P D where n 1 = IndP 2 n 2 = IndPQ The following is an example which doesn t satisfy the conditions of Theorem 22 in [9] to demonstrate Theorem 33 Example 32 Let H= {a bi cj dk} be the real quaternion skew fields where a b c and d are real numbers Consider the following two matrices P Q H 5 5 P = i 0 0 j k Computation gives that Q = Ind P 2 = 2 Ind QP = 1 P D = QP D = i 0 i P π = j 0 i QP π = Since P 2 QP = 0 P 3 Q = 0 and Q 2 = 0 applying Theorem 33 we get P Q D = i 0 0 k k 0 0 j The Formulas of the Drazin Inverse for some 2 2 Block Matrices over Skew Fields In this section we consider a class of block matrices with generalized Schur complement being zero that is A B M = K C D n n A K r r and D = CA D B 16 We give the expression of M D which generalizes Theorem 31 in [9] and Theorem 33 in [12]

8 L Sun B Zheng S Bai C Bu / Filomat 30: Theorem 41 Let M be the form as in 16 If A 2 A π BC = 0 BCA π BC = 0 and CAA π BC = 0 then M D = M 2 P D 1 A 4 I P D i1 A π 0 1 i1 CA i A π 0 M where s = IndA and t P D I 1 = CA D [AW D ] t1 A I A D B W = AA D A D BCA D t 1 A AA Proof Note that M = D B 0 A C CA D π B := P Q Obviously Q B = 0 The conditions A 2 A π BC = 0 BCA π BC = 0 and CAA π BC = 0 imply that P 2 QP = 0 and QP 2 = 0 Applying Theorem 31 it yields that M D = P 2 QP PQ P D 4 P Q 17 A We consider P = 2 A D AA D B AA π 0 CAA D CA D B CA π := P 0 1 P 2 Obviously P 2 P 1 = 0 and P s1 = 0 where 2 s = IndA It follows from Lemma 23 that s P D = P D 1 i1 P i 2 18 Decompose P D into the following form 1 A P D 1 = 2 A D AA D D B I 0 CAA D CA D = B CA D I AW AA D B 0 0 where W = AA D A D BCA D It follows from Lemma 22 that AW AA D D B AW = D AW D 2 AA D B I = AW 0 D AW D 2 AA D B Since AW D A 2 A D = AW D A we have P D 1 = I CA D [AW D ] 2 A I A D B D I 0 CA D I Computation shows that t P D I 1 = CA D [AW D ] t1 A I A D B 19 for t 1 By substituting Equ19 into Equ18 we obtain the expression of P D substituting P D into Equ17 the expression of M D is obtained By using Theorem 32 we have the following theorem which generalizes Corollary 32 in [9] and Theorem 34 in [12] Theorem 42 Let M be the form as in 16 If BCA 2 A π = 0 BCAA π B = 0 and BCA π BC = 0 then A M D = M i1 A π 0 CA i A π P 0 D 1 i1 I PD 1 4 M 2 where s = IndA and P D 1 t = I CA D [AW D ] t1 A I A D B W = AA D A D BCA D t 1

9 L Sun B Zheng S Bai C Bu / Filomat 30: Next we give an example which does not satisfy the conditions of Theorem 33 in [12] to demonstrate Theorem 41 Example 41 Let H= {a bi cj dk} be the real quaternion skew fields where a b c and d are real A B numbers Consider a 2 2 block matrix M = over H where C D A = C = Computation shows that Ind A = 3 A D = A π = B = D = P 1 D = / / / /4 0 0 Since A 2 A π BC = 0 BCA π BC = 0 CAA π BC = 0 D = CA D B by Theorem 41 we obtain M D = 1/ /8 1/4 1/16 0 3/ /32 3/16 3/64 0 1/ /16 1/8 1/32 0 1/ /8 1/4 1/16 0 1/ /32 1/16 1/64 0 Next we give a theorem which generalizes Theorem 36 in [9] Theorem 43 Let M be the form as in 16 If A 2 BC = 0 ABCA = 0 and ABCB = 0 then M D = BΨA A D BCB D 3 [CB 2 CA D CABC] ΨA 2 CB D CA π BΨB I BCB D CA D 2 B ΨAB CB D CA D B where Ψ = w 1 1 CB D i2 CA 2i A π w 2 1 CB π CB i CA D 2i4 w 1 = Ind A 2 and w 2 = Ind CB

10 L Sun B Zheng S Bai C Bu / Filomat 30: A B 0 0 Proof Note that M = 0 CA D := P Q Obviously Q B C 0 2 = 0 The conditions A 2 BC = 0 ABCA = 0 and ABCB = 0 imply that P 2 QP = 0 P 3 Q = 0 It follows from Theorem 33 that 1 1 M D = P QP D i1 QP D i1 P P 2i P π 2 1 P QP i QP π QP i QP π P P D 2i2 QP D Q PQP D 2 PQ P D where n 1 = IndP 2 n 2 = IndQP Lemma 22 gives that A P D 2i2 = 2i2 A D 2i3 B QP D i1 0 0 = CB D i2 CA CB D i1 22 for i 0 By substituting Equ21 and Equ22 into Equ20 it yields that M D BΨA Γ BΨB I BCB = D CA D 2 B ΨA 2 CB D CA π ΨAB CB D CA D B where Ψ = CB D i2 CA 2i A π CB π CB i CA D 2i4 23 Γ = A D BCB D 3 [CB 2 CA D CABC] Let w 1 = Ind A 2 and w 2 = Ind CB For i w 1 j w 2 we have A 2i A π = 0 CB j CB π = 0 In Equ23 replace n 1 and n 2 with w 1 and w 2 respectively Thus we complete the proof of the theorem Applying the Theorem 34 we get the following theorem it generalizes Corollary 37 in [9] Theorem 44 Let M be the form as in 16 If BCA 2 = 0 ABCA = 0 and CBCA = 0 then AΨC A M D = D I BCB D C BCABCB D 3 C A 2 Ψ A π BCB D CΨC CA D 2 I BCB D C CAΨ CA D BCB D where Ψ = w 1 1 A D 2i4 BCB π CB i w 2 1 A 2i A π BCB D i2 w 1 = Ind CB and w 2 = Ind A 2 The following is an example which does not satisfy the conditions of Theorem 36 in [9] to demonstrate Theorem 43 Example 42 Let H= {a bi cj dk} be the real quaternion skew fields where a b c and d are real A B numbers Consider a 2 2 block matrix M = over H where C D A = B =

11 C = Computation gives that Ind A 2 = 1 IndCB = 2 A D = L Sun B Zheng S Bai C Bu / Filomat 30: D = A π = CB D = 0 CB π = I Since A 2 BC = 0 ABCA = 0 ABCB = 0 D = CA D B by Theorem 43 we obtain M D = Acknowledgement Authors would like to show the gratitude to the reviewer for the valuable suggestions References [1] W Zhuang Involuntary functions and generalized inverses of matrices on skew fields Northeast Math in Chinese [2] SL Campbell CD Meyer Generalized Inverse of Linear Transformations Pitman London 1979 Dover NewYork 1991 [3] SL Campbell The Drazin inverse and systems of second order linear differential equations Linear Multilinear Algebra [4] CD Meyer JM Shoaf Upadating finite Markov chains by using techniques of group inversion Statist Comput Simulation [5] JJ Hunter Generalized inverses of Markovian kernels in terms of properties of the Markov chain Linear Algebra Appl [6] JJ Climent M Neumann A Sidi A semi-iterative method for real spectrum singular linear systems with an arbitrary index J Comput Appl Math [7] MP Drzain Pseudo-inverses in associative rings and semigroups Amer Math Monthly [8] RE Hartwig G Wang Y Wei Some additive results on Drazin inverse Linear Algebra Appl [9] MF Martínez-Serrano N Castro-González On the Drazin inverse of block matrices and generalized Schur complement Appl Math Comput [10] C Deng Y Wei New additive results for the generalized Drazin inverse J Math Anal Appl [11] X Liu L Xu Y Yu The representations of the Drazin inverse of differences of two matrices Appl Math Comput [12] H Yang X Liu The Drazin inverse of the sum of two matrices and its applications J Comput Appl Math [13] C Bu C Feng S Bai Representations for the Drazin inverse of the sum of two matrices and some block matrices Appl Math Comput [14] C Bu C Zhang A note on the formulas for the Drazin inverse of the sum of two matrices Linear Algebra Appl [15] J Huang Y Shi A Chen The representation of the Drazin inverse of anti-triangular operator matrices based on resolvent expansions Appl Math Comput [16] C Bu Y Wei Sign Pattern of the Generalized Inverse Science Press Beijing 2014 in Chinese [17] J Miao Results of the Drazin inverse of block matrices J Shanghai Normal Univ in Chinese [18] RE Hartwig X Li Y Wei Representations for the Drazin inverse of a 2 2 block matrix SIAM J Matrix Anal Appl

12 L Sun B Zheng S Bai C Bu / Filomat 30: [19] C Deng A comment on some recent results concerning the Drazin inverse of an anti-triangular block matrix Filomat [20] C Bu L Sun J Zhou Y Wei A note on the block representations of the group inverse of Laplacian Matrices Electron J Linear Algebra [21] C Bu L Sun J Zhou Y Wei Some results on the Drazin inverse of anti-triangular matrices Linear Multilinear Algebra [22] X Liu M Zhang J Benłtez Further results on the reverse order law for the group inverse in rings Appl Math Comput [23] Q Xu C Song L He Representations for the group inverse of anti-triangular block operator matrices Linear Algebra Appl [24] C Cao J Li A note on the group inverse of some 2 2 block matrices over skew fields Appl Math Comput [25] Y Liu C Cao Drazin inverses for some partitioned matrices over skew fields J Natural Sci Heilongjiang Univ in Chinese [26] D Gu C Cao The index and the Drazin inverse of partitioned matrices over skew fields J Natural Sci Heilongjiang Univ in Chinese [27] C Bu K Zhang 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 Multilinear Algebra [28] L Sun W Wang J Zhou C Bu Some results on resistance distances and resistance matrices Linear and Multilinear Algebra