Expressions and Perturbations for the Moore Penrose Inverse of Bounded Linear Operators in Hilbert Spaces

Similar documents
The Expression for the Group Inverse of the Anti triangular Block Matrix

arxiv: v1 [math.fa] 31 Jan 2013

Drazin Invertibility of Product and Difference of Idempotents in a Ring

EXPLICIT SOLUTION TO MODULAR OPERATOR EQUATION T XS SX T = A

arxiv: v1 [math.ra] 28 Jan 2016

Multiplicative Perturbation Bounds of the Group Inverse and Oblique Projection

Moore-Penrose Inverse of Product Operators in Hilbert C -Modules

of a Two-Operator Product 1

The characterizations and representations for the generalized inverses with prescribed idempotents in Banach algebras

Some results on the reverse order law in rings with involution

EXPLICIT SOLUTION TO MODULAR OPERATOR EQUATION T XS SX T = A

arxiv: v1 [math.ra] 27 Jul 2013

The Residual Spectrum and the Continuous Spectrum of Upper Triangular Operator Matrices

Operators with Compatible Ranges

On the simplest expression of the perturbed Moore Penrose metric generalized inverse

On EP elements, normal elements and partial isometries in rings with involution

EP elements and Strongly Regular Rings

arxiv: v1 [math.ra] 25 Jul 2013

On the Moore-Penrose and the Drazin inverse of two projections on Hilbert space

The Moore-Penrose inverse of differences and products of projectors in a ring with involution

Inner image-kernel (p, q)-inverses in rings

arxiv: v1 [math.ra] 24 Aug 2016

On Sum and Restriction of Hypo-EP Operators

A Note on the Group Inverses of Block Matrices Over Rings

arxiv: v1 [math.ra] 15 Jul 2013

arxiv: v1 [math.ra] 14 Apr 2018

Moore-Penrose-invertible normal and Hermitian elements in rings

Dragan S. Djordjević. 1. Introduction

Representations of the (b, c)-inverses in Rings with Involution

Moore-Penrose Inverses of Operators in Hilbert C -Modules

Bulletin of the. Iranian Mathematical Society

On pairs of generalized and hypergeneralized projections on a Hilbert space

EP elements in rings

Singular Value Inequalities for Real and Imaginary Parts of Matrices

Factorization of weighted EP elements in C -algebras

The symmetric minimal rank solution of the matrix equation AX=B and the optimal approximation

MOORE-PENROSE INVERSE IN AN INDEFINITE INNER PRODUCT SPACE

Generalized left and right Weyl spectra of upper triangular operator matrices

Moore-Penrose Inverse and Operator Inequalities

Representations for the Drazin Inverse of a Modified Matrix

EXPLICIT SOLUTION OF THE OPERATOR EQUATION A X + X A = B

Representation for the generalized Drazin inverse of block matrices in Banach algebras

arxiv: v1 [math.ra] 21 Jul 2013

SPECTRAL RADIUS ALGEBRAS OF WEIGHTED CONDITIONAL EXPECTATION OPERATORS ON L 2 (F) Groups and Operators, August 2016, Chalmers University, Gothenburg.

ELA ON THE GROUP INVERSE OF LINEAR COMBINATIONS OF TWO GROUP INVERTIBLE MATRICES

Perturbation of the generalized Drazin inverse

On V-orthogonal projectors associated with a semi-norm

Normality of adjointable module maps

SOME INEQUALITIES FOR COMMUTATORS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES. S. S. Dragomir

Formulae for the generalized Drazin inverse of a block matrix in terms of Banachiewicz Schur forms

The Drazin inverses of products and differences of orthogonal projections

Formulas for the Drazin Inverse of Matrices over Skew Fields

Buzano Inequality in Inner Product C -modules via the Operator Geometric Mean

Additive results for the generalized Drazin inverse in a Banach algebra

CORACH PORTA RECHT INEQUALITY FOR CLOSED RANGE OPERATORS

Applied Mathematics Letters. Comparison theorems for a subclass of proper splittings of matrices

HYPO-EP OPERATORS 1. (Received 21 May 2013; after final revision 29 November 2014; accepted 7 October 2015)

arxiv: v1 [math.ra] 7 Aug 2017

Re-nnd solutions of the matrix equation AXB = C

On the Moore-Penrose Inverse in C -algebras

ADDITIVE RESULTS FOR THE GENERALIZED DRAZIN INVERSE

Workshop on Generalized Inverse and its Applications. Invited Speakers Program Abstract

Weighted generalized Drazin inverse in rings

RINGS IN WHICH EVERY ZERO DIVISOR IS THE SUM OR DIFFERENCE OF A NILPOTENT ELEMENT AND AN IDEMPOTENT

On the invertibility of the operator A XB

arxiv: v2 [math.oa] 21 Nov 2010

PRODUCT OF OPERATORS AND NUMERICAL RANGE

The Moore-Penrose inverse of 2 2 matrices over a certain -regular ring

Dragan S. Djordjević. 1. Introduction and preliminaries

Group inverse for the block matrix with two identical subblocks over skew fields

Dragan S. Djordjević. 1. Motivation

ON THE GENERALIZED FUGLEDE-PUTNAM THEOREM M. H. M. RASHID, M. S. M. NOORANI AND A. S. SAARI

Moore Penrose inverses and commuting elements of C -algebras

The DMP Inverse for Rectangular Matrices

Crew of25 Men Start Monday On Showboat. Many Permanent Improvements To Be Made;Project Under WPA

Nonsingularity and group invertibility of linear combinations of two k-potent matrices

Some Range-Kernel Orthogonality Results for Generalized Derivation

LINEAR PRESERVER PROBLEMS: generalized inverse

Multiplication Operators with Closed Range in Operator Algebras

arxiv: v1 [math.ra] 16 Nov 2016

ON STRONGLY REGULAR RINGS AND GENERALIZATIONS OF V -RINGS. Tikaram Subedi and Ardeline Mary Buhphang

A revisit to a reverse-order law for generalized inverses of a matrix product and its variations

The Hermitian R-symmetric Solutions of the Matrix Equation AXA = B

Generalized core inverses of matrices

The best generalised inverse of the linear operator in normed linear space

Salah Mecheri. Communicated by S. L. Troyanski

Reverse order law for the inverse along an element

Partial isometries and EP elements in rings with involution

Generalized B-Fredholm Banach algebra elements

The Singular Acyclic Matrices of Even Order with a P-Set of Maximum Size

The (2,2,0) Group Inverse Problem

Strongly Nil -Clean Rings

Moore-Penrose inverse in

Some additive results on Drazin inverse

Linear Algebra and its Applications

arxiv: v1 [math.fa] 1 Oct 2015

The reflexive and anti-reflexive solutions of the matrix equation A H XB =C

Optimization problems on the rank and inertia of the Hermitian matrix expression A BX (BX) with applications

DOUGLAS RANGE FACTORIZATION THEOREM FOR REGULAR OPERATORS ON HILBERT C -MODULES

On product of range symmetric matrices in an indefinite inner product space

Transcription:

Filomat 30:8 (016), 155 164 DOI 10.98/FIL1608155D Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Expressions and Perturbations for the Moore Penrose Inverse of Bounded Linear Operators in Hilbert Spaces Fapeng Du a,b a Department of Mathematics, Southeast University, Nanjing, 11100, Jiangsu Province, P. R. China b School of mathematical & Physical Sciences, Xuzhou Institute of Technology, Xuzhou, 1008, Jiangsu Province, P. R. China Abstract. Let A, X, Y be bounded linear operators. In this paper, we present the explicit expression for the Moore Penrose inverse of A XY. In virtue of the expression of (A + X), we get the upper bounds of (A + X) and (A + X) A. 1. Introduction Let H 1, H, K, K 1, K be Hilbert spaces. B(H 1, H ) denote the set of the bounded linear operators from H 1 to H. B(K, K) is abbreviated to B(K). Let A B(H 1, H ). We denote the rang and the kernel of A by R(A) and ker(a), respectively. The operator B B(H, H 1 ) which satisfied ABA = A is called the inner inverse of A, denoted by A. If B is an inner inverse and satisfied BAB = B, then B is called a generalized inverse of A, denoted by A +. The Moore Penrose inverse of A, denoted by A, is the unique solution to the following equations: AA A = A, A AA = A, (AA ) = AA, (A A) = A A, in which A denote the adjoint operator of A. It is well known that A has an Moore Penrose inverse iff R(A) is closed. From [17, Proposition 3.5.3], we know A = A (AA ) = (A A) A if A exists. The perturbation for the Moore Penrose inverse of bounded linear operators has been studying by many authors. G.Chen and Y.Xue introduce the notation so called the stable perturbation in [, 4]. This notation is an extension of the rank preserving perturbation of matrices. Using this notation, they give the estimation of upper bounds about the perturbation of Moore Penrose and Drazin inverse in the work of Chen and Xue et al (cf.[ 4, 17 0]). A classical results for the perturbation analysis of the Moore Penrose inverse is T T 1 T δt, T T 1 + 5 T T 1 T δt when T δt < 1 and T is a stable perturbation of T, i.e., R( T) R(T) = {0} (T B(H, K), T = T + δt B(H, K)). 010 Mathematics Subject Classification. Primary 15A09; Secondary 65F0 Keywords. Moore Penrose inverse, generalized inverse, Hilbert spaces Received: 1 May 014; Accepted: 13 September 014 Communicated by Dragana Cvetković Ilić Reasearch supported by the fund for postdoctoral of China (015M581688), supported by the Foundation of Xuzhou Institute of Technology(No.XKY01407) Email address: jsdfp@163.com (Fapeng Du)

F. Du / Filomat 30:8 (016), 155 164 156 Later this notation is generalized to the set of Banach algebras by Y.Xue in [18] and to the set of Hilbert C module by Xu et al. in [16]. Motivated by the stable perturbation, we want to investigate the general perturbation analysis for the Moore Penrose inverse of bounded linear operators. In order to do this, we must study the expression for the Moore Penrose inverse of A XY. The Moore Penrose inverse of A XY has many applications in statistics, networks, optimizations etc. (see [10, 11, 14]). For a long time, the expression of (A XY) has been studied by many authors and been obtained lots of results under certain conditions(see [1, 5 7, 9, 13, 15]). In this paper, we first investigate the Moore Penrose inverse of A XY and give the explicit expression of the Moore Penrose inverse (A XY) under the weaker conditions. Using the expression of (A XY), we estimate the upper bounds for the perturbation of the Moore Penrose inverse (A + X). Our results are new and generalize the stable perturbation to the case I + A X is not invertible.. Preliminaries In this section, we give some lemmas which will be used in the context. The first two lemmas which come from [3, 9, 17] play an important role in this paper. Lemma.1. [3, 9, 17] Let S B(K) be an idempotent, then I S S is invertible and O(S) = S(S + S I) 1 is a projection (i.e. (O(S)) = O(S) = (O(S)) ) and O(S) = SS, O(I S) = I S S. Lemma.. [3, 9, 17] Let A B(H 1, H ) with R(A) closed. Then Here, P = A + A, Q = AA +. A = [I O(I A + A)]A + O(AA + ) = (I P P ) 1 A + (I Q Q ) 1. From Lemma., we get A exists iff A + exists and have the following equations: AA = O(AA + ) = AA + (AA + + (AA + ) I) 1, A A = I O(I A + A) = (A + A + (A + A) I) 1 A + A. Remark.3. Assume that A is an inner inverse of A, then A AA is a generalized inverse of A. Thus, we have A = [I O(I A A)]A O(AA ) when there is an inner inverse A of A. (Please see [3, 9, 17] for details). Lemma.4. [1, 17] Let A B(H 1, H ), B B(H, H 1 ). Then (AB) = B A iff R(A AB) R(B) and R(BB A ) R(A ). 3. The Expression for the Moore Penrose Inverse Let A B(H 1, H ) with R(A) closed and X B(K, H ), Y B(H 1, K). Let E A = I AA, F A = I A A, U = E A X, V = YF A with R(U), R(V) closed throughout this paper. Theorem 3.1. Let A B(H 1, H ) with R(A) closed and X B(K, H ), Y B(H 1, K), Z = I YA X, S = E V ZF U. If R(S) is closed, then Λ = A V YA + (V Z + A X)[S YA (I S Z)U ] (1) is an inner inverse of A XY and (A XY) = {I (A X + V Z)F U F S Y ((A X + V Z)F U F S Y) } 1 {A V YA + (V Z + A X)[S YA (I S Z)U ]} {I XE S E V (YA + ZU ) (XE S E V (YA + ZU )) } 1 = {I ((A X + V Z)F U F S Y)((A X + V Z)F U F S Y) } {A V YA + (V Z + A X)[S YA (I S Z)U ]} {I (XE S E V (YA + ZU )) (XE S E V (YA + ZU ))}.

F. Du / Filomat 30:8 (016), 155 164 157 Proof. Let Λ = A V YA + (V Z + A X)[S YA (I S Z)U ]. Noting that we have Hence, U = U E A, V = F A V, S = F U S = S E V = F U S E V, YV = VV, AV = 0, US = 0, E V ZS = SS, U X = U U, U A = 0, S V = 0, S ZF U = S S. (A XY)Λ = AA + UU XE S E V (YA + ZU ), Λ(A XY) = A A + V V (A X + V Z)F U F S Y and (A XY)Λ(A XY) = (A XY). This indicate Λ is an inner inverse of A XY. Since (I A A V V) 1 = (I A A V V), (I AA UU ) 1 = (I AA UU ), and (I A A V V)Λ(I AA UU ) = Λ, we have, by Lemma., (A XY) = {I (A X + V Z)F U F S Y ((A X + V Z)F U F S Y) } 1 {A V YA + (V Z + A X)[S YA (I S Z)U ]} {I XE S E V (YA + ZU ) (XE S E V (YA + ZU )) } 1. Since Y(A X + V Z)F U F S = (YA X + VV Z)F U F S = (I Z + VV Z)F U F S = (I E V Z)F U F S = F U F S E S E V (YA + ZU )X = E S E V (YA X + ZU X) = E S E V (I ZF U ) = E S E V, we have (A X + V Z)F U F S Y and XE S E V (YA + ZU ) are idempotent, Thus, R((A X + V Z)F U F S Y) and R(XE S E V (YA + ZU )) are closed. So, [(A X + V Z)F U F S Y] and [XE S E V (YA + ZU )] exist. Noting that I (A X + V Z)F U F S Y and I XE S E V (YA + ZU ) are idempotent too and {I (A X + V Z)F U F S Y}Λ{I XE S E V (YA + ZU )} = {I A A V V + Λ(A XY)}Λ{I AA UU + (A XY)Λ} = Λ(A XY)Λ = Λ(I XE S E V (YA + ZU )). We get Λ = Λ(I XE S E V (YA + ZU )) is a generalized inverse of A XY and (A XY)Λ = (A XY) Λ, Λ(A XY) = Λ(A XY).

Since (AA + UU )X = AA X + UU X = X U + U = X, we have F. Du / Filomat 30:8 (016), 155 164 158 (AA + UU )XE S E V (YA + ZU ) = XE S E V (YA + ZU ) = XE S E V (YA + ZU )(AA + UU ). This indicate XE S E V (YA + ZU ) commute with I AA UU. Noting that the result of the Lemma. is independent of the choice of A +. Hence, by Lemma.1 and Lemma., we have (A XY) = [I O( Λ(A XY))] ΛO((A XY) Λ) = {I (A X + V Z)F U F S Y ((A X + V Z)F U F S Y) } 1 Λ(I XE S E V (YA + ZU )) {I XE S E V (YA + ZU ) (XE S E V (YA + ZU )) } 1 = {I (A X + V Z)F U F S Y ((A X + V Z)F U F S Y) } 1 {I (A X + V Z)F U F S Y}Λ{I XE S E V (YA + ZU )} {I XE S E V (YA + ZU ) (XE S E V (YA + ZU )) } 1 = {I O[(A X + V Z)F U F S Y]}ΛO[I (XE S E V (YA + ZU )] = {I ((A X + V Z)F U F S Y)((A X + V Z)F U F S Y) } {A V YA + (V Z + A X)[S YA (I S Z)U ]} {I (XE S E V (YA + ZU )) (XE S E V (YA + ZU ))}. Corollary 3.. Let A B(H 1, H ) with R(A) closed and X B(K, H ), Y B(H 1, K), Z = I YA X. If R(X) R(A), ker(a) ker(y) and R(Z) is closed, then A + A XZ YA is an inner inverse of A XY and (A XY) = {I (A XF Z Y) (A XF Z Y) } 1 {A + A XZ YA } {I (XE Z YA ) (XE Z YA ) } 1 = {I (A XF Z Y)(A XF Z Y) }{A + A XZ YA } {I (XE Z YA ) (XE Z YA )}. Proof. Since R(X) R(A), ker(a) ker(y), we have U = 0 = V. Hence, the results follow by Theorem 3.1. Corollary 3.3. Let A, X B(H 1, H ) with R(A) closed and Z = I + A X, S = A AZF U. If R(S) is closed, then Λ = A + (F A A X)[S A + (I S Z)U ] () is an inner inverse of A + X and (A + X) = {I (F U F S ) (F U F S ) } 1 {A + (F A A X)[S A + (I S Z)U ]} {I + (XE S (A A AZU )) + (XE S (A A AZU )) } 1. Especially, if U = 0, then S = A AZ and Λ = (I + S SS )A is an inner inverse of A + X and (A + X) = (S S I)(I + S SS )A {I + XE S A + (XE S A ) } 1. Proof. Replacing Y by I in Eq.(1), we get Eq.(). If U = 0, then S = A AZ. By Eq.(), Λ = A + (F A A X)S A = A = (I S)S A = (I + S SS )A. Thus, the results are obtained by Theorem 3.1.

F. Du / Filomat 30:8 (016), 155 164 159 Corollary 3.4. Let A, Y B(H 1, H ) with R(A) closed and Z = I + YA, T = E V ZAA. If R(T) is closed, then Λ = V + (A V Z)[T + (I T Z)AA ] (3) is an inner inverse of A + Y and (A + Y) = {I (V Z A )AA F T Y ((V Z A )AA F T Y) } 1 {V + (A V Z)[T + (I T Z)AA ]}{I E T E V (E T E V ) } 1. Especially, if V = 0, then T = ZAA and A (I + T T T) is an inner inverse of A + Y and Proof. Replacing X by I in Eq.(1), we have (A + Y) = {I + A F T Y + (A F T Y) } 1 A (I + T T T)(TT I). Λ = A V YA + (V Z A )[T YA + (I T Z)E A ] = A V (Z I) + (V Z A )[T YA T ZE A + E A ] = V + (A V Z)[I T YA + T ZE A E A ] = V + (A V Z)[T + (I T Z)AA ]. Noting that YA ZE A = ZAA I, by Theorem 3.1, the results are obtained. Corollary 3.5. Let X B(H, H 1 ), Y B(H 1, H ). Then R(I XY) is closed iff R(I YX) is closed and I+X(I YX) Y is an inner inverse of I XY. Put Z = I YX, then (I XY) = {I XF Z Y (XF Z Y) } 1 (I + XZ Y){I XE Z Y (XE Z Y) } 1. Proof. The assertion follows by Corollary 3.. In [6, 13], the expression for the Moore Penrose inverse of A XGY was obtained under some complex conditions, respectively. Now, we get this expression under simpler conditions. Proposition 3.6. Let A B(H 1, H ), X B(K, H ), Y B(H 1, K 1 ), G B(K 1, K ) with R(A), R(G) closed. R(X) R(A), ker(a) ker(y) and ker(x) R(G), R(Y) ker(g) and R(G YA X) closed, then If Λ = A + A X(G YA X) YA is an inner inverse of A XGY and (A XGY) = {I (A XF W GY) (A XF W GY) } 1 {A + A XW YA } Here, W = G YA X. {I (XGE W YA ) (XGE W YA ) } 1 = {I (A XF W GY)(A XF W GY) }{A + A XW YA } {I (XGE W YA ) (XGE W YA )}. Proof. Let W = G YA X and Λ = A + A X(G YA X) YA. Since R(X) R(A), ker(a) ker(y) and ker(x) R(G), R(Y) ker(g), we have AA X = X, YA A = Y, XGG = X, G GY = Y. Thus, (A XGY)Λ = AA XGE W YA, Λ(A XGY) = A A A XF W GY,

F. Du / Filomat 30:8 (016), 155 164 160 and (A XGY)Λ(A XGY) = (A XGY). This shows Λ is an inner inverse of A XGY. By Lemma., (A XGY) = {I (A XF W GY) (A XF W GY) } 1 {A + A XW YA } {I (XGE W YA ) (XGE W YA ) } 1. Noting that W = G YA X = G G GYA XGG, we have R(W) R(G ) and ker(g ) ker(w). Thus, G GW = W, WGG = W. Again, ker(g) ker(w ) and R(W ) R(G) by R(W) = ker(w ), R(G ) = ker(g), ker(g ) = R(G), ker(w) = R(G ). We have GG W = W, W G G = W. Thus, (A XF W GY)(A XF W GY) = A XF W G(YA X)F W GY = A XF W G(G W)F W GY = A XF W GY. Similarly, XGE W YA is an idempotent too. Thus, R(A XF W GY) and R(XGE W YA ) are closed. Since (I A A)Λ(I AA ) = Λ and (I A XF W GY)Λ(I XGE W YA ) = (I A XF W GY)(I A A)Λ(I AA )(I XGE W YA ) = (I A A + A XF W GY)Λ(I AA + XGE W YA ) = (I A A Λ(A XGY))Λ(I AA (A XGY)) = Λ(A XGY)Λ = Λ(I XGE W YA ), we have Λ = Λ(I XGE W YA ) is a generalized inverse of A XGY and (A XGY) Λ = (A XGY)Λ, Λ(A XGY) = Λ(A XGY). Noting that I XGE W YA commute with I AA and consequently, by Lemma.1 and Lemma., (A XGY) = {I (A XF W GY)(A XF W GY) }{A + A XW YA }{I (XGE W YA ) (XGE W YA )}. 4. The Perturbation Analysis of the Moore Penrose Inverse In this section, we study the perturbation of the Moore Penrose inverse and give the upper bound of (A + X) and (A + X) A on general case. Theorem 4.1. Let A, X B(H 1, H ) with R(A) closed and Z = I + A X, U = E A X, F U = I U U, S = A AZF U. If R(S) is closed, then (A + X) (1 + S )( A + Z U ) + U. (A + X) A { (I + S SS )(A A AZU ) + U + A } X.

F. Du / Filomat 30:8 (016), 155 164 161 Proof. Since R(S) is closed, we have (A + X) exists by Corollary 3.3. Noting that A AZS = SS, S A A = S, by Corollary 3.3, we have Λ = A + (F A A X)[S (A ZU ) + U ] = A + (I A AZ)[S (A ZU ) + U ] = A + S (A ZU ) + U A AZ[S (A ZU ) + U ] = A + S (A ZU ) + U A AZS (A ZU ) A AZU = A + S A S ZU + U SS (A ZU ) A AZU = A + S A S ZU + U SS A + SS ZU A AZU = (I + S SS )A + (I S Z + SS Z A AZ)U = (I + S SS )A + [I (I + S SS )A AZ]U = (I + S SS )A (I + S SS )A AZU + U = (I + S SS )(A A AZU ) + U. Since Λ is an inner inverse of A + X, we have (A + X) (A + X) = (I + S SS )(A A AZU ) + U (1 + S )( A + Z U ) + U From the identity(cf. [4, Eq.(1)]), (A + X) A = (A + X) XA + (A + X) ((A + X) ) X (I AA ) + [I (A + X) (A + X)]X (A ) A, by applying the orthogonality of the operators on the right side, we get (A + X) A = (A + X) XA + (A + X) ((A + X) ) X (I AA ) + [I (A + X) (A + X)]X (A ) A (A + X) XA + (A + X) ((A + X) ) X (I AA ) + X A 4 (A + X) X A + (A + X) 4 X + X A 4 { (A + X) A + (A + X) 4 + A 4} X { (A + X) + A } X { (I + S SS )(A A AZU ) + U + A } X. Corollary 4.. Let A, X B(H 1, H ) with R(A) closed and Z = I + A X, S = A AZ. If R(X) R(A) and R(S) are closed, then (A + X) (1 + S ) A. (A + X) A A ( + S ) X A. Proof. Since R(X) R(A), we have U = 0. By Theorem4.1, we have (A + X) (1 + S ) A

F. Du / Filomat 30:8 (016), 155 164 16 and (A + X) A { (I + S SS )A + A } X {1 + (1 + S ) } X A ( + S ) X A. Thus, (A + X) A A ( + S ) X A. Remark 4.3. The condition R(X) R(A) in Corollary 4. shows it is a perturbation of range preserving. In additon, if Z = I + A X is invertible, then (A + X) + = Z 1 A. This is a special case of stable perturbation (Please see [17] for details). Corollary 4.4. Let A, X B(H 1, H ) with R(A) closed and Z = I + XA, T = ZAA. If ker(a) ker(x) and R(T) are closed, then (A + X) (1 + T ) A. (A + X) A A ( + T ) X A. Proof. Note that T = (T ) and A (I + T T T) is an inner inverse of A + X by Corollary 3.4. Similar to the proof in Corollary 4., the results can be obtained easily. Remark 4.5. The condition ker(a) ker(x) in Corollary 4.4 shows it is a perturbation of kernel preserving. In additon, if Z = I + XA is invertible, then (A + X) + = A Z 1. This is also a special cases of stable perturbation (Please see [17] for details). Corollary 4.6. Let A, X B(H 1, H ) with R(A) closed. If R(X) R(A), ker(a) ker(x) and R(I + A X) is closed, then (A + X) (I + A X) A and (A + X) A A 1 + 5 (I + A X) A X. Proof. Since R(I + A X) is closed, we have R(I + XA ) is closed by Corollary 3.5. Since R(X) R(A), ker(a) ker(x), we have AA X = X, XA A = X. Thus, Combining with (A A) = A A, we get (I + A X)A A = A A(I + A X). R(A A(I + A X)) R(I + A X), Hence, by Lemma.4 Therefore, R((I + A X)(I + A X) (A A)) R(A A). (A A + A X) = (I + A X) A A. (I + A X) A (A + X)(I + A X) A = (I + A X) A A(A A + A X)(I + A X) A AA = (I + A X) A.

F. Du / Filomat 30:8 (016), 155 164 163 It is easy to obtain A + X = (A + X)(I + A X) A (A + X). The above indicate (I + A X) A is a generalized inverse of A + X. Similarly, we get A (I + XA ) is a generalized inverse of A + X too. Hence, (A + X) (A + X) + (I + A X) A. Noting that R(X) R(A) and ker(a) ker(x) mean R(A + X) R(A) = {0} and (ker(a + X)) ker A = {0}, respectively. Thus, from [0], we have (A + X) A A 1 + 5 (A + X) X 1 + 5 (I + A X) A X. Proposition 4.7. Let A, X B(H 1, H ) with R(A) closed. Let Z = I + A X, G = AZ. If R(G)are closed and R(A + X) R(G) = {0}, then (A + X) G and (A + X) A 1 + 5 G X + ( + (A AZ) ) X A. Proof. Put G = AZ = A(I + A X), U = E A X. Then we have A + X = G + U. For x ker G, we have G (G+U)x = 0 for G U = 0. This means (G+U)x R(A+X) R(G) = {0}. Hence, we have ker G = ker(g+u). It is easy to verify G is a generalized inverse of G + U, i.e., (A + X) + = (G + U) + = G. Thus, (A + X) (A + X) + = G. Since R(A + X) R(G) = {0} and ker(g + U) ker G = {0}, from [0], we have (G + U) G 1 + 5 (G + U) G U 1 + 5 G X. Since G = AZ = A + AA X and R(AA X) R(A), by Corollary 4., we have Thus, (A + X) A = (A + X) G + G A G A ( + (A AZ) ) X A. (A + X) G + G A 1 + 5 G X + ( + (A AZ) ) X A.

F. Du / Filomat 30:8 (016), 155 164 164 References [1] Y. Chen, X. Hu and Q. Xu, The Moore Penrose inverse of A XY, J. Shanghai Normal Univer., 38, (009), 15 19. [] G. Chen and Y. Xue, Perturbation analysis for the operator equation Tx = b in Banach spaces, J. Math. Appl., 1, (1997), 107 15. [3] G. Chen and Y. Xue, The expression of generalized inverse of the perturbed operators under type I perturbation in Hilbert spaces, Linear Algebra Appl., 85, (1998), 1 6. [4] G. Chen, M. Wei and Y. Xue, Perturbation analysis of the least square solution in Hilbert spaces, Linear Algebra Appl., 44, (1996), 68 80. [5] C. Deng, On the invertibility of the operator A XB, Num. Linear Algebra Appl., 16, (009), 817 831. [6] C. Deng, A generalization of the Sherman Morrison Woodbury formula, Appl. Math. Lett., 4, (011), 1561 1564. [7] C. Deng and Y. Wei, Some new results of the Sherman Morrison Woodbury formula, Proceeding of the sixth international conference of matrices and operators,, (011), 0 3. [8] F. Du and Y. Xue, The reverse order law for the Moore Penrose of closed operators, Chinese Quart. J. Math., 8 (1), (013), 139 146. [9] F. Du and Y. Xue, The expression of the Moore Penrose inverse of A XY, J. East China Normal Univer. (Nat. Sci.) 5, (010), 33 37. [10] H. V. Henderson and S. R. Searle, On deriving the inverse of a sum of matrices, SIAM Review, 3(1), (1981), 53 60. [11] W. W. Hager, Updating the inverse of a matrix, SIAM Review, 31, (1989), 1 39. [1] S. Izumino, The product of operators with closed range and an extension of the reverse order law, Tohoku Math. J., 34, (198), 43 5. [13] S. Jose and K. C. Sivakumar, Moore Penrose inverse of perturbed operators on Hilbert spaces, Combinatorial Matrix Theory and Generalized inverse of Matrices, (013), 119 131. [14] A. Riedel, A Sherman Morison Woodbury identity for rank augmenting matrices with application to centering, SIAM J. Math. Anal., 1 (1), (1991), 80 95. [15] T. Steerneman and F. P. Kleij, Properties of the matrix A XY, Linear Algebra Appl., 410, (005), 70 86. [16] Q. Xu, W. Wei and Y. Gu, Sharp norm estimation for the Moore Penrose inverse of stable perturbations of Hilbert C module operators, SIAM J. Numer. Anal., 47 (6), (010), 4735 4758. [17] Y. Xue, Stable Perturbations of Operators and Related Topics, World Scientific, 01. [18] Y. Xue, Stable Perturbation in Banach spaces, J. Aust. Math. Soc., 83, (007), 1 14. [19] Y. Xue and G. Chen, Perturbation analysis for the Drazin inverse under stable perturbation in Banach spaces, Missouri J. Math. Sci., 19 (), (007), 106 10. [0] Y. Xue and G. Chen, Some equivalent conditions of stable perturbation of operators in Hilbert spaces, Applied Math. Comput., 147, (004), 765 77.