Singular Value Inequalities for Hilbert Space Operators
Total Page:16
File Type:pdf, Size:1020Kb
Filomat 32:8 (2018), 2861–2866 Published by Faculty of Sciences and Mathematics, https://doi.org/10.2298/FIL1808861T University of Nis,ˇ Serbia Available at: http://www.pmf.ni.ac.rs/filomat Singular Value inequalities for Hilbert space Operators Mahdi Taleb Alfakhra, Mohsen Erfanian Omidvara aDepartment of Mathematics, Mashhad Branch, Islamic Azad University, Mashhad, Iran. Abstract. In this paper we show that if Ai; Bi; Xi are Hilbert space operators such that Xi is compact i = 1; 2;:::; n and f , 1 are non-negative continuous functions on [0; ) with f (t)1(t) = t for all t [0; ), also 1 2 1 h is non-negative increasing operator convex function on [0; ), then 1 0 0 11 0 1 Xn Xn Xn B B CC B 2 2 C h Bsj B !iAi∗Xi∗BiCC sj B !ih(Ai∗ f ( Xi∗ ) Ai) !ih(Bi∗1( Xi ) Bi)C @ @ AA ≤ @ j j ⊕ j j A i=1 i=1 i=1 Pn for j = 1; 2;::: and i=1 !i = 1. Also, applications of some inequalities are given. 1. Introduction Let be a complex Hilbert space with inner product ; and let ( ) denote the C∗-algebra of all boundedH linear operators on a complex separable Hilbert spaceh· ·i . ForB a compactH operator X ( ), let H 1 2 B H s (X) > s (X) > denote the singular values of X; i.e., the eigenvalues of X = (X∗X) 2 (The absolute value 1 2 ··· j j of X), arranged in decreasing order are repeated according to multiplicity. Note that sj(X) = sj(X∗) = sj( X ) for j = 1; 2;:::. For A; B ( ), we utilize the direct sum notation A B for the block-diagonal operatorj j " # 2 B H ⊕ A 0 defined on . It has been shown in [8] that if X and Y are compact operators, then 0 B H ⊕ H sj(X + Y) 6 2sj(X Y) ⊕ for j = 1; 2;:::. The usual operator norm of an operator A ( ) is denote by A = sup Ax : x = 1 . As an immediate consequence of the min-max principle2 (see B H e.g.,[2, p. 75]), ifjjA;jjB; and Xfjjarejj in jj( jj ) suchg that X is compact, then B H sj(AXB) 6 A B sj(X) (1) jj jj jj jj 1 p p for j = 1; 2;:::. For 1 6 p < , the Schatten p-norm of compact operator A is defined by A p = (tr A ) , where tr is the usual trace functional.1 One can show that jj jj j j A B = max( A ; B ) jj ⊕ jj jj jj jj jj 2010 Mathematics Subject Classification. Primary 47A30; Secondary 15A18, 47A63, 47TB10. Keywords. singular value, unitarily Invariant norm, positive operator Received: 21 June 2017; Accepted: 26 December 2017 Communicated by Fuad Kittaneh Email addresses: [email protected] (Mahdi Taleb Alfakhr), [email protected] (Mohsen Erfanian Omidvar) M. Taleb Alfakhr, M. E. Omidvar / Filomat 32:8 (2018), 2861–2866 2862 and p p 1 A B = ( A + B ) p : jj ⊕ jjp jj jjp jj jjp In addition to the usual operator norm, which is defined on all of ( ), we consider unitarily invariant norms . Each of these norms is defined on a norm ideal containedB inH the ideal of compact operators, and for thejjj sake·jjj of brevity, we will make no explicit mention of this ideal. Thus, when we consider X , we are assuming that the operator X belongs to the norm ideal associated with . Moreover, eachjjj unitarilyjjj invariant norm is symmetric gauge function of the singular values, andjjj· isjjj characterized by equality X = UXV forjjj·jjj all operator X and for all unitary operators U and V ( ). For the general theory of unitarilyjjj jjj jjj invariantjjj norms, we refer to [2] or [7]. It has been shown by Bhatia2 B andH Kittaneh in [4] that if A; B are compact operators in ( ), then B H 2 A∗B 6 AA∗ + BB∗ (2) jjj jjj jjj jjj and A∗B + B∗A 6 AA∗ + BB∗ (3) jjj jjj jjj jjj for every unitarily invariant norm. The inequality (2) has attracted the attention of several mathematicians, and different proof of a stronger version of it have been given. See [3], [8], [9] and [11]. It has been shown by Kittaneh [10] the generalized from of the mixed Schwarz inequality, that if A is an operator in ( ) and f and 1 are non-negative functions on [0; ) which are continuous and satisfy the relation f (t)1B(t)H= t for all t [0; ), then 1 2 1 Ax; y f ( A∗ )x 1( A )y jh ij ≤ j j j j for all x and y in . In this paper, weH generalize inequalities (2) and (3) and present a bound that involves operator A and B. 2. Main Results In this section, we establish generalized singular value inequalities for Hilbert space operator. The following Lemmas are essential role in our analysis. The first one on the Mixed schwarz inequality has been proven by Kittaneh [10]. " # AC Lemma 2.1. Let A; B; C ( ), such that A and B are positive, then T = ∗ is a positive in B( ) if 2 B H CB H ⊕ H and only if Cx; y 2 6 Ax; x By; y for all x; y in . jh ij h ih i H We prove the second one by Lemma 2.1. Lemma 2.2. Let A; B and X be operators in ( ) and let f and 1 be non-negative continuous functions on [0; ) that satisfy the relation f (t)1(t) = t for all t B[0;H ), then 1 2 1 2 2 3 6 A∗ f ( X∗ ) AA∗X∗B 7 6 j j 7 6 7 46 2 57 B∗XA B∗1( X ) B j j is positive. Proof. For any x; y in H 2 1 2 1 B∗XAx; y = XAx; By 6 f ( X∗ ) Ax; Ax 2 1( X ) By; By 2 : jh ij jh ij h j j i h j j i By Lemma 2.1 2 2 3 6 A∗ f ( X∗ ) AA∗X∗B 7 6 j j 7 6 7 > 0: 46 2 57 B∗XA B∗1( X ) B j j M. Taleb Alfakhr, M. E. Omidvar / Filomat 32:8 (2018), 2861–2866 2863 The third Lemma is Theorem 2.1 in [1]. " # AC∗ Lemma 2.3. Let A, B and C be compact operators in ( ) and is positive. Then sj(C) 6 sj(A B) for B H CB ⊕ j = 1; 2;:::. Now we establish a general singular value inequality,from which singular value inequalities for products of operators follow as special cases. Theorem 2.4. Let Ai,Bi and Xi be operators in ( ), where Xi is compact operator i = 1; 2;:::; n and let f and 1 be non-negative functions on [0; ), which are continuousB H and satisfy the relation f (t)1(t) = t for all t [0; ), also let h be a non-negative increasing1 operator convex function on [0; ). Then 2 1 0 0 11 0 1 1 Xn Xn Xn B B CC B 2 2 C h Bsj B !iA∗X∗BiCC sj B !ih(A∗ f ( X∗ ) Ai) !ih(B∗1( Xi ) Bi)C @B @B i i ACAC ≤ @B i j i j ⊕ i j j AC i=1 i=1 i=1 Pn for j = 1; 2;::: and positive real numbers !i such that i=1 !i = 1. Proof. The matrix for i = 1; 2;:::; n 2 2 3 6 Ai∗ f ( Xi∗ ) Ai Ai∗Xi∗Bi 7 6 j j 7 6 7 > 0 (by Lemma 2.2). 46 2 57 B∗XiAi B∗1( Xi ) Bi i i j j So, by Lemma 2.3 and some property of singular values, we have 0 1 0 1 Xn Xn Xn B C B 2 2 C sj B A∗X∗BiC 6 sj B A∗ f ( X∗ ) Ai B∗1( Xi ) BiC : (4) @B i i AC @B i j i j ⊕ i j j AC i=1 i=1 i=1 for j = 1; 2;:::. Now consider the non-negative increasing operator convex function h on [0; ) and in the 1 inequality (4), put p!iAi, p!iBi instead of Ai, Bi respectively . It follows that 0 0 11 0 0 11 Xn Xn Xn B B CC B B 2 2 CC h Bsj B !iA∗X∗BiCC 6 h Bsj B !iA∗ f ( X∗ ) Ai !iB∗1( Xi ) BiCC @B @B i i ACAC @B @B i j i j ⊕ i j j ACAC i=1 i=1 i=1 0 0 11 Xn B B 2 2 CC = h Bsj B !i(A∗ f ( X∗ ) Ai B∗1( Xi ) Bi)CC @B @B i j i j ⊕ i j j ACAC i=1 0 0 11 Xn B B 2 2 CC = sj Bh B !i(A∗ f ( X∗ ) Ai B∗1( Xi ) Bi)CC @B @B i j i j ⊕ i j j ACAC i=1 (by elementary functional calculus) 0 1 Xn B 2 2 C 6 sj B !ih(A∗ f ( X∗ ) Ai B∗1( Xi ) Bi)C @B i j i j ⊕ i j j AC i=1 (h is operator convex) 0 1 Xn Xn B 2 2 C = sj B !ih(A∗ f ( X∗ ) Ai) !ih(B∗1( Xi ) Bi)C @B i j i j ⊕ i j j AC i=1 i=1 for j = 1; 2;:::. Corollary 2.5. Let Ai; Bi; Xi ( ) such that Xi is compact for i = 1; 2;:::; n.