sign in sign up
<<
Home , Trace inequality

arXiv:1409.6295v1 [math.FA] 20 Sep 2014 B (1.3) define cmd operators: Schmidt n that and for cmd and Schmidt fteotoomlbasis. orthonormal the of ibr-cmd norm Hilbert-Schmidt (1.2) B ibr-cmd prtriff operator Hilbert-Schmidt a hwn httedfiiin(.)i needn fteorthonormal the of independent is (1.1) definition the that showing ti elko ht if that, know well is It esythat say We (1.1) nqaiy rc nqaiisfrmtie,Pwrseries Power matrices, for inequalities inequality, OETAEIEULTE O PRTR NHILBERT IN OPERATORS FOR INEQUALITIES TRACE SOME 2 ( h olwn hoe olcssm ftems motn propertie important most the of some collects theorem following The sn h rageieult in inequality triangle the Using Denote Because Let e ( Let 1991 e od n phrases. and words Key H ( { H e then ) i and ) } B ahmtc ujc Classification. Subject Mathematics i H, ∈ xoeta n te iia ucin r rsne swe as presented are functions similar Exam other o derived. and such also exponential are of matrices series for inequalities power trace for Some applications and ass investigated some of are monotonicity and superadditivity The provided. Abstract. 2 I k·k ( h modulus the h· H notoomlbssof basis orthonormal an k| k , 2 A h e fHletShitoeaosin operators Hilbert-Schmidt of set the ) A ·i A k sanr on norm a is eacmlxHletsaeand space Hilbert complex a be ) A k | B ∈ 2 x k k = 2 oenwtaeieulte o prtr nHletspaces Hilbert in operators for inequalities trace new Some ( = = k H A . X i k k| sa is ) ∈ ∗ Ax fa operator an of { I A k e rc ls prtr,HletShitoeaos Trace, operators, Hilbert-Schmidt operators, class Trace 2 k |k i k } . Ae 2 i B ibr-cmd operator Hilbert-Schmidt ∈ o all for k . 2 i I A k rm(.)w aeta if that have we (1.2) From ( A 2 and k H 1. .S DRAGOMIR S. S. ∗ 2 = X i ) ∈ := saHletShitoperator. Hilbert-Schmidt a is H. , Introduction l x I X j { 2 SPACES ∈ hc suulycle nteltrtr sthe as literature the in called usually is which k f

( ∈ I hsdfiiinde o eedo h choice the on depend not does definition This Ae j I A 76;47A99. 47A63; k X } i ) ,A H, ∈ Af j , 1 i B ∈ ∈ I k n hcsthat checks one J 2 k j Ae k < r rhnra ae for bases orthonormal are ( 2 H sHletShitiff Hilbert-Schmidt is i ∞ = foperators. of k by ) 1 { 2 , . e X 2 j ! ∈ i } 1 I i / | ∈ k 2 A if I A | B an ∗ =( := f ( lsfrteoperator the for ples j H eaosaegiven. are perators A cae functionals ociated B rhnra basis orthonormal k ll. 2 2 ) A B ∈ . ( ∗ H For A sa is ) 2 ) 1 ( / H A 2 | ai and basis A . ) B ∈ , etrspace vector | fHilbert- of s H are then sHilbert- is 2 and ( Schwarz H A of we ) A A ∗ H. ∈ is ∈ 1 2 2 S. S. DRAGOMIR ,

Theorem 1. We have (i) ( (H) , ) is a with inner product B2 k·k2 (1.4) A, B := Ae ,Be = B∗Ae ,e h i2 h i ii h i ii Xi∈I Xi∈I and the definition does not depend on the choice of the orthonormal basis ei i∈I ; (ii) We have the inequalities { } (1.5) A A k k≤k k2 for any A (H) and ∈B2 (1.6) AT , T A T A k k2 k k2 ≤k kk k2 for any A 2 (H) and T (H); (iii) ∈B(H) is an operator∈B ideal in (H) , i.e. B2 B (H) (H) (H) (H); B B2 B ⊆B2 (iv) (H) , the space of operators of finite rank, is a dense subspace of (H); Bfin B2 (v) 2 (H) (H) , where (H) denotes the algebra of compact operators on H. B ⊆ K K If e an orthonormal basis of H, we say that A (H) is if { i}i∈I ∈B (1.7) A := A e ,e < . k k1 h| | i ii ∞ Xi∈I The definition of A does not depend on the choice of the orthonormal basis k k1 ei i∈I . We denote by 1 (H) the set of trace class operators in (H) . { The} following propositionB holds: B Proposition 1. If A (H) , then the following are equivalent: ∈B (i) A 1 (H); ∈B1/2 (ii) A 2 (H); (ii) |A |(or ∈BA ) is the product of two elements of (H) . | | B2 The following properties are also well known: Theorem 2. With the above notations: (i) We have (1.8) A = A∗ and A A k k1 k k1 k k2 ≤k k1 for any A 1 (H); (ii) (∈BH) is an operator ideal in (H) , i.e. B1 B (H) (H) (H) (H); B B1 B ⊆B1 (iii) We have (H) (H)= (H); B2 B2 B1 (iv) We have A = sup A, B B (H) , B 1 ; k k1 {h i2 | ∈B2 k k≤ } (v) ( 1 (H) , 1) is a Banach space. (iv) WeB havek·k the following isometric isomorphisms (H) = K (H)∗ and (H)∗ = (H) , B1 ∼ B1 ∼ B where K (H)∗ is the dual space of K (H) and (H)∗ is the dual space of (H) . B1 B1 SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 3

We define the trace of a trace class operator A (H) to be ∈B1 (1.9) tr (A) := Ae ,e h i ii Xi∈I where ei i∈I an orthonormal basis of H. Note that this coincides with the usual definition{ } of the trace if H is finite-dimensional. We observe that the series (1.9) converges absolutely and it is independent from the choice of basis. The following result collects some properties of the trace: Theorem 3. We have (i) If A (H) then A∗ (H) and ∈B1 ∈B1 (1.10) tr (A∗)= tr (A); (ii) If A (H) and T (H) , then AT, T A (H) and ∈B1 ∈B ∈B1 (1.11) tr (AT ) = tr (T A) and tr (AT ) A T ; | |≤k k1 k k (iii) tr ( ) is a bounded linear functional on (H) with tr = 1; · B1 k k (iv) If A, B 2 (H) then AB, BA 1 (H) and tr (AB) = tr (BA); (v) (H)∈Bis a dense subspace of ∈B(H) . Bfin B1 Utilising the trace notation we obviously have that A, B = tr (B∗A) = tr (AB∗) and A 2 = tr (A∗A)=tr A 2 h i2 k k2 | |   for any A, B 2 (H) . Now, for the∈B finite dimensional case, it is well known that the trace functional is submultiplicative, that is, for positive semidefinite matrices A and B in Mn(C), 0 tr(AB) tr (A) tr (B) . ≤ ≤ Therefore 0 tr(Ak) [tr (A)]k , ≤ ≤ where k is any positive integer. In 2000, Yang [17] proved a trace inequality (1.12) tr (AB)k (tr A)k(tr B)k, ≤ where A and B are positive semidefinite  matrices over C of the same order n and k is any positive integer. For related works the reader can refer to [5], [7], [12] and [19], which are continuations of the work of Bellman [2]. If (H, , ) is a separable infinite-dimensional Hilbert space then the inequality h· ·i (1.12) is also valid for any positive operators A, B 1 (H) . This result was obtained by L. Liu in 2007, see [10]. ∈ B In 2001, Yang et al. [18] improved (1.12) as follows: 1/2 (1.13) tr [(AB)m] tr A2m tr B2m , ≤ where A and B are positive semidefinite matrices overC of the same order and m is any positive integer. In [14] the authors have proved many trace inequalities for sums and products of matrices. For instance, if A and B are positive semidefinite matrices in Mn (C) then (1.14) tr (AB)k min A k tr Bk , B k tr Ak ≤ k k k k   n  o 1 2 4 S. S. DRAGOMIR , for any positive integer k. Also, if A, B Mn (C) then for r 1 and p,q > 1 with 1 1 ∈ ≥ p + q = 1 we have the following Young type inequality A p B q r (1.15) tr ( AB∗ r) tr | | + | | . | | ≤ p q    Ando [1] proved a very strong form of Young’s inequality - it was shown that if A and B are in Mn(C), then there is a unitary matrix U such that 1 1 AB∗ U A p + B q U ∗, | |≤ p | | q | |   1 1 where p, q> 1 with p + q = 1, which immediately gives the trace inequality 1 1 (1.16) tr ( AB∗ ) tr ( A p)+ tr ( B q) . | | ≤ p | | q | | This inequality can also be obtained from (1.15) by taking r =1. Another H¨older type inequality has been proved by Manjegani in [11] and can be stated as follows: (1.17) tr(AB) [tr(Ap)]1/p [tr(Bq)]1/q , ≤ 1 1 where p, q> 1 with p + q = 1 and A and B are positive semidefinite matrices. For the theory of trace functionals and their applications the reader is referred to [15]. For other trace inequalities see [3], [5], [8], [9], [13] and [16]. In this paper, motivated by the above results, some new inequalities for Hilbert- Schmidt operators in (H) are provided. The superadditivity and monotonicity of some associated functionalsB are investigated and applications for power series of such operators are given. Some trace inequalities for matrices are also derived. Examples for the operator exponential and other similar functions are presented as well.

2. Some Trace Inequalities Via Hermitian Forms

Let P a selfadjoint operator with P 0. For A 2 (H) and ei i∈I an or- thonormal basis of H we have ≥ ∈ B { } A 2 := tr (A∗P A)= P Ae , Ae P Ae 2 = P A 2 , k k2,P h i ii≤k k k ik k kk k2 Xi∈I Xi∈I which shows that , defined by h· ·i2,P A, B := tr (B∗P A)= P Ae ,Be = B∗P Ae ,e h i2,P h i ii h i ii Xi∈I Xi∈I is a nonnegative Hermitian form on (H) , i.e. , satisfies the properties: B2 h· ·i2,P (h) A, A 0 for any A (H); h i2,P ≥ ∈B2 (hh) , is linear in the first variable; h· ·i2,P (hhh) B, A = A, B for any A, B (H) . h i2,P h i2,P ∈B2 Using the properties of the trace we also have the following representations A 2 := tr P A∗ 2 = tr A∗ 2 P k k2,P | | | | and     A, B := tr (P AB∗) = tr (AB∗P ) = tr (B∗P A) h i2,P SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 5 for any A, B 2 (H) . We start with∈B the following result: Theorem 4. Let P a selfadjoint operator with P 0, i.e. P x, x 0 for any x H. ≥ h i ≥ ∈(i) For any A, B (H) we have ∈B2 (2.1) tr (P AB∗) 2 tr P A∗ 2 tr P B∗ 2 | | ≤ | | | |     and 1/2 (2.2) tr P A∗ 2 + 2 Re tr (P AB∗)+tr P B∗ 2 | | | | h   1/2 1/2 i tr P A∗ 2 + tr P B∗ 2 ; ≤ | | | | h  i h  i (ii) For any A, B, C (H) we have ∈B2 2 (2.3) tr (P AB∗) tr P C∗ 2 tr (P AC∗) tr (PCB∗) | | −   tr P A∗ 2 tr P C∗ 2 tr (P AC∗) 2 ≤ | | | | − | | h     i tr P B∗ 2 tr P C∗ 2 tr (P BC∗) 2 , × | | | | − | | h     i (2.4) tr (P AB∗) tr P C∗ 2 | | | |   tr (P AB∗) tr P C∗ 2 tr (P AC∗) tr (PCB∗) ≤ | | − + tr (P AC∗) tr (PCB∗)  | | 1/2 1/2 tr P A∗ 2 tr P B∗ 2 tr P C∗ 2 ≤ | | | | | | h  i h  i   and (2.5) tr (P AC∗) tr (PCB∗) | | 1 1/2 1/2 tr P A∗ 2 tr P B∗ 2 + tr (P AB∗) tr P C∗ 2 . ≤ 2 | | | | | | | | h  i h  i    Proof. (i) Making use of the Schwarz inequality for the nonnegative hermitian form , we have h· ·i2,P 2 A, B A, A B,B h i2,P ≤ h i2,P h i2,P for any A, B 2 (H) and the inequality (2.1) is proved. We observe∈B that is a seminorm on (H) and by the triangle inequality k·k2,P B2 we have A + B A + B k k2,P ≤k k2,P k k2,P for any A, B 2 (H) and the inequality (2.2) is proved. (ii) Let C ∈B (H) , C =0. Define the mapping [ , ] : (H) (H) C ∈B2 6 · · 2,P,C B2 ×B2 → by [A, B] := A, B C 2 A, C C,B . 2,P,C h i2,P k k2,P − h i2,P h i2,P 1 2 6 S. S. DRAGOMIR ,

Observe that [ , ] is a nonnegative Hermitian form on (H) and by Schwarz · · 2,P,C B2 inequality we have 2 (2.6) A, B C 2 A, C C,B h i2,P k k2,P − h i2,P h i2,P 2 2 A 2 C 2 A, C B 2 C 2 B, C ≤ k k2,P k k2,P − h i2,P k k 2,P k k2,P − h i2,P    for any A, B 2 (H) , which proves (2.3). The case C∈B= 0 is obvious. Utilising the elementary inequality for real numbers m,n,p,q m2 n2 p2 q2 (mp nq)2 , − − ≤ − we can easily see that   2 2 (2.7a) A 2 C 2 A, C B 2 C 2 B, C k k2,P k k2,P − h i2,P k k2,P k k2,P − h i2,P    2 2 A B C A, C B, C ≤ k k2,P k k2,P k k2,P − h i2,P h i2,P   for any A, B, C 2 (H) . Since, by Schwarz’s∈B inequality we have A C A, C k k2,P k k2,P ≥ h i2,P and

B C B, C , k k2,P k k2,P ≥ h i2,P then by multiplying these inequalities we have

A B C 2 A, C B, C k k2,P k k2,P k k2,P ≥ h i2,P h i2,P for any A, B, C 2 (H) . Utilizing the inequalities∈B (2.6) and (2.7a) and taking the square root we get

(2.8) A, B C 2 A, C C,B h i2,P k k2,P − h i2,P h i2,P

A B C 2 A, C B, C ≤k k2,P k k2,P k k2,P − h i2,P h i2,P for any A, B, C 2 (H) , which proves the second inequality in (2.4). The first inequality∈B is obvious by the modulus properties. By the triangle inequality for modulus we also have (2.9) A, C C,B A, B C 2 h i2,P h i2,P − h i2,P k k2,P

A, B C 2 A, C C,B ≤ h i2,P k k2,P − h i2,P h i2,P for any A, B, C 2 (H ) . On making use∈B of (2.8) and (2.9) we have

A, C C,B A, B C 2 h i2,P h i2,P − h i2,P k k2,P

A B C 2 A, C B, C , ≤k k2,P k k2,P k k2,P − h i2,P h i2,P which is equivalent to the desired inequality (2.5). 

SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 7

Remark 1. By the triangle inequality for the hermitian form [ , ] : (H) · · 2,P,C B2 × (H) C, B2 → [A, B] := A, B C 2 A, C C,B 2,P,C h i2,P k k2,P − h i2,P h i2,P we have 2 1/2 A + B 2 C 2 A + B, C k k2,P k k2,P − h i2,P   2 1/2 2 1/2 A 2 C 2 A, C + B 2 C 2 B, C , ≤ k k2,P k k2,P − h i2,P k k2,P k k2,P − h i2,P     which can be written as

2 1/2 (2.10) tr P (A + B)∗ tr P C∗ 2 tr [P (A + B) C∗] 2 | | − | |  h i   1/2  tr P A∗ 2 tr P C∗ 2 tr (P AC∗) 2 ≤ | | | | − | |      1/2 + tr P B∗ 2 tr P C∗ 2 tr (P BC∗) 2 | | | | − | | for any A, B, C  (H) .    ∈B2 Remark 2. If we take B = λC in (2.10), then we get 2 (2.11) 0 tr P (A + λC)∗ tr P C∗ 2 tr [P (A + λC) C∗] 2 ≤ | | − | | h i   tr P A∗ 2 tr P C∗ 2 tr (C∗P A) 2 ≤ | | | | − | |     for any λ C and A, C 2 (H) . Therefore,∈ we have the∈B bound 2 (2.12) sup tr P (A + λC)∗ tr P C∗ 2 tr [P (A + λC) C∗] 2 λ∈C | | − | | n h i   o = tr P A∗ 2 tr P C ∗ 2 tr (P AC∗) 2 . | | | | − | | We also have the inequalities    2 (2.13) 0 tr P (A C)∗ tr P C∗ 2 tr [P (A C) C∗] 2 ≤ ± | | − | ± | h i   tr P A∗ 2 tr P C∗ 2 tr (P AC∗) 2 ≤ | | | | − | | for any A, C (H) .    ∈B2 Remark 3. We observe that, by replacing A∗ with A, B∗ with B etc...above, we can get the dual inequalities, like, for instance (2.14) tr (P A∗C) tr (P C∗B) | | 1 1/2 1/2 tr P A 2 tr P B 2 + tr (P A∗B) tr P C 2 , ≤ 2 | | | | | | | | h  i h  i    that holds for any A, B, C 2 (H) . Since ∈B tr (P A∗C) = tr (P A∗C) = tr (P A∗C)∗ = tr (C∗AP ) = tr (P C∗A) , | | | | | |

tr (P C∗B ) = tr (PB ∗C) | | | | 1 2 8 S. S. DRAGOMIR , and tr (P A∗B) = tr (PB∗A) | | | | then the inequality (2.14) can be also written as (2.15) tr (P C∗A) tr (PB∗C) | | 1 1/2 1/2 tr P A 2 tr P B 2 + tr (PB∗A) tr P C 2 , ≤ 2 | | | | | | | | h  i h  i    that holds for any A, B, C 2 (H) . If we take in (2.15) B =∈BA∗ then we get the following inequality (2.16) tr (P C∗A) tr (P AC) | | 1 1/2 1/2 tr P A 2 tr P A∗ 2 + tr P A2 tr P C 2 , ≤ 2 | | | | | | h  i h  i    for any A, B, C (H) .  ∈B2 If A is a normal operator, i.e. A 2 = A∗ 2 then we have from (2.16) that | | | | 1 (2.17) tr (P C∗A) tr (P AC) tr P A 2 + tr P A2 tr P C 2 , | |≤ 2 | | | | In particular, if C is selfadjoint andh C (H) , then  i   ∈B2 1 (2.18) tr (P AC) 2 tr P A 2 + tr P A2 tr P C2 , | | ≤ 2 | | A H h    i  for any 2 ( ) a normal operator. We notice∈B that (2.18) is a trace operator version of de Bruijn inequality obtained in 1960 in [4], which gives the following refinement of the Cauchy-Bunyakovsky- Schwarz inequality: n 2 n n n 1 2 2 2 (2.19) aizi ai zi + zi , ≤ 2 " | | # i=1 i=1 i=1 i=1 X X X X provided that ai are real numbers while zi are complex for each i 1, ..., n . ∈{ } We notice that, if P (H) , P 0 and A, B (H) , then ∈B1 ≥ ∈B A, B := tr (P AB∗) = tr (AB∗P ) = tr (B∗P A) h i2,P is a nonnegative Hermitian form on (H) and all the inequalities above will hold for A, B, C (H) . The details areB left to the reader. ∈B 3. Some Functional Properties We consider now the convex cone (H) of nonnegative operators on the com- B+ plex Hilbert space H and, for A, B 2 (H) define the functional σA,B : + (H) [0, ) by ∈B B → ∞ 1/2 1/2 (3.1) σ (P ) := tr P A 2 tr P B 2 tr (P A∗B) ( 0) . A,B | | | | − | | ≥ The following theoremh collects somei fundamentalh  propertiesi of this functional.

Theorem 5. Let A, B 2 (H) . (i) For any P,Q ∈B(H) we have ∈B+ (3.2) σ (P + Q) σ (P )+ σ (Q) ( 0) , A,B ≥ A,B A,B ≥ namely, σ is a superadditive functional on (H); A,B B+ SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 9

(ii) For any P,Q (H) with P Q we have ∈B+ ≥ (3.3) σ (P ) σ (Q) ( 0) , A,B ≥ A,B ≥ namely, σ is a monotonic nondecreasing functional on (H); A,B B+ (iii) If P,Q + (H) and there exist the constants M>m> 0 such that MQ P mQ then ∈B ≥ ≥ (3.4) Mσ (Q) σ (P ) mσ (Q) ( 0) . A,B ≥ A,B ≥ A,B ≥ Proof. (i) Let P,Q (H). On utilizing the elementary inequality ∈B+ 1/2 1/2 a2 + b2 c2 + d2 ac + bd, a,b,c,d 0 ≥ ≥ and the triangle inequality  for the modulus, we have

σA,B (P + Q) 1/2 1/2 = tr (P + Q) A 2 tr (P + Q) B 2 tr ((P + Q) A∗B) | | | | − | | h  i 1h/2  i 1/2 = tr P A 2 + Q A 2 tr P B 2 + Q B 2 | | | | | | | | htr (P A∗B + QA∗B)i h  i − | | 1/2 1/2 = tr P A 2 + tr Q A 2 tr P B 2 + tr Q B 2 | | | | | | | | htr (P A∗B) + tr (QA ∗B) i h    i − | | 1/2 1/2 1/2 1/2 tr P A 2 tr P B 2 + tr Q A 2 tr Q B 2 ≥ | | | | | | | | htr (P A∗B)i trh (QA ∗B) i h  i h  i − | | − | | = σA,B (P )+ σA,B (Q) and the inequality (3.2) is proved. (ii) Let P,Q + (H) with P Q. Utilising the superadditivity property we have ∈ B ≥ σ (P ) = σ ((P Q)+ Q) σ (P Q)+ σ (Q) A,B A,B − ≥ A,B − A,B σ (Q) ≥ A,B and the inequality (3.3) is obtained. (iii) From the monotonicity property we have σ (P ) σ (mQ)= mσ (Q) A,B ≥ A,B A,B and a similar inequality for M, which prove the desired result (3.4). 

Corollary 1. Let A, B 2 (H) and P (H) such that there exist the constants M>m> 0 with M1 ∈BP m1 . Then∈B we have H ≥ ≥ H 1/2 1/2 (3.5) M tr A 2 tr B 2 tr (A∗B) | | | | − | |   h  i 1/2h  i 1/2 tr P A 2 tr P B 2 tr (P A∗B) ≥ | | | | − | | h  i 1/h2  i1/2 m tr A 2 tr B 2 tr (A∗B) . ≥ | | | | − | | h  i h  i  1 2 10 S. S. DRAGOMIR ,

Let P = V 2 with V (H) . If A, B (H) then | | ∈B ∈B2 1/2 1/2 σ V 2 = tr V 2 A 2 tr V 2 B 2 tr V 2 A∗B A,B | | | | | | | | | | − | |   h  ∗ ∗ i1/2 h ∗ ∗ i1/2 ∗ ∗  = [tr (V V A A)] [tr (V VB B)] tr (V V A B) − | | = [tr (V A∗AV ∗)]1/2 [tr (VB∗BV ∗)]1/2 tr (V A∗BV ∗) − | | 1/2 1/2 = tr (AV ∗)∗ AV ∗ tr (BV ∗)∗ BV ∗ tr (AV ∗)∗ BV ∗ − 1/2 1/2 = tr AV ∗ 2 tr BV∗ 2 tr(AV ∗ )∗ BV ∗ .  | | | | − h  i h  i  On utilizing the property (3.2) for P = V 2 ,Q = U 2 with V,U (H) , then we have for any A, B (H) the following| | trace inequality| | ∈B ∈B2 1/2 1/2 (3.6) tr AV ∗ 2 + AU ∗ 2 tr BV ∗ 2 + BU ∗ 2 | | | | | | | | h tr (AV ∗)∗ BV ∗ +i (AU ∗h)∗ BU ∗ i − 1/2 1/2 tr AV ∗ 2 tr BV ∗ 2  tr (AV ∗)∗ BV ∗ ≥ | | | | − h  i1/2 h  i1/2  + tr AU ∗ 2 tr BU ∗ 2 tr (AU ∗)∗ BU ∗ ( 0) . | | | | − ≥ h  i h  i 2 2  Also, if V U with V,U (H) , then we have for any A, B 2 (H) that | | ≥ | | ∈ B ∈ B 1/2 1/2 (3.7) tr AV ∗ 2 tr BV ∗ 2 tr (AV ∗)∗ BV ∗ | | | | − h  i 1h/2  i 1/2  tr AU ∗ 2 tr BU ∗ 2 tr (AU ∗)∗ BU ∗ ( 0) . ≥ | | | | − ≥ h  i h  i  If U (H) is invertible, then ∈B 1 x Ux U x for any x H, U −1 k k≤k k≤k kk k ∈ k k which implies that

1 2 2 1H U U 1H . U −1 2 ≤ | | ≤k k k k By making use of (3.5) we have the following trace inequality

1/2 1/2 (3.8) U 2 tr A 2 tr B 2 tr (A∗B) k k | | | | − | |   h  i1/2 h  i 1/2 tr AU ∗ 2 tr BU ∗ 2 tr (AU ∗)∗ BU ∗ ≥ | | | | − h 1 i h 1/2 i 1/ 2  tr A 2 tr B 2 tr (A∗B) ≥ U −1 2 | | | | − | | k k h  i h  i  for any A, B (H) . ∈B2 Similar results may be stated for P 1 (H) , P 0 and A, B (H) . The details are omitted. ∈ B ≥ ∈ B SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 11

4. Inequalities for Sequences of Operators For n 2, define the Cartesian products (n) (H) := (H) ... (H) , ≥ B B × × B (n) (H) := (H) ... (H) and (n) (H) := (H) ... (H) where B2 B2 × ×B2 B+ B+ × ×B+ + (H) denotes the convex cone of nonnegative selfadjoint operators on H, i.e. BP (H) if P x, x 0 for any x H. ∈B+ h i≥ ∈ Proposition 2. Let P = (P , ..., P ) (n) (H) and A = (A , ..., A ) , B = 1 n ∈ B+ 1 n (B , ..., B ) (n) (H) and z = (z , ..., z ) Cn with n 2. Then 1 n ∈B2 1 n ∈ ≥ n 2 n n ∗ 2 2 (4.1) tr zkPkAkBk tr zk Pk Ak tr zk Pk Bk . ! ≤ | | | | ! | | | | ! k=1 k=1 k=1 X X X Proof. Using the properties of modulus and the inequality (2.1) we have

n n ∗ ∗ tr zkPkAkBk = zk tr (PkAkBk) ! k=1 k=1 X Xn

z tr (P A∗B ) ≤ | k| | k k k | Xk=1 n 1/2 1/2 z tr P A 2 tr P B 2 . ≤ | k| k | k| k | k| Xk=1 h  i h  i Utilizing the weighted discrete Cauchy-Bunyakovsky-Schwarz inequality we also have n 1/2 1/2 z tr P A 2 tr P B 2 | k| k | k| k | k| Xk=1 h  i h  i 1/2 1/2 n 1/2 2 n 1/2 2 2 2 zk tr Pk Ak zk tr Pk Bk ≤ | | | | ! | | | | ! kX=1 h  i  Xk=1 h  i  n 1/2 n 1/2 2 2 = zk tr Pk Ak zk tr Pk Bk | | | | ! | | | | ! kX=1   kX=1   n 1/2 n 1/2 2 2 = tr zk Pk Ak tr zk Pk Bk , | | | | !! | | | | !! Xk=1 Xk=1 which is equivalent to the desired result (4.1). 

We consider the functional for n-tuples of nonnegative operators as follows:

n 1/2 n 1/2 2 2 (4.2) σA,B (P) := tr Pk Ak tr Pk Bk " | | !# " | | !# Xk=1 Xk=1 n ∗ tr PkAkBk . − ! k=1 X Utilising a similar argument to the one in Theorem 5 we can state:

Proposition 3. Let A = (A , ..., A ) , B = (B , ..., B ) (n) (H) . 1 n 1 n ∈B2 1 2 12 S. S. DRAGOMIR ,

(i) For any P, Q (n) (H) we have ∈B+ (4.3) σA B (P + Q) σA B (P)+ σA B (Q) ( 0) , , ≥ , , ≥ (n) namely, σA,B is a superadditive functional on + (H); (n) B (ii) For any P, Q + (H) with P Q, namely Pk Qk for all k 1, ..., n we have ∈B ≥ ≥ ∈{ }

(4.4) σA B (P) σA B (Q) ( 0) , , ≥ , ≥ (n) namely, σA,B is a monotonic nondecreasing functional on + (H); (n) B (iii) If P, Q + (H) and there exist the constants M >m> 0 such that MQ P mQ∈then B ≥ ≥ (4.5) MσA B (Q) σA B (P) mσA B (Q) ( 0) . , ≥ , ≥ , ≥ If P = (p 1 , ..., p 1 ) with p 0, k 1, ..., n then the functional of non- 1 H n H k ≥ ∈ { } negative weights p = (p1, ..., pn) defined by

n 1/2 n 1/2 2 2 (4.6) σA,B (p) := tr pk Ak tr pk Bk " | | !# " | | !# kX=1 Xk=1 n ∗ tr pkAkBk . − ! k=1 X has the same properties as in (4.3)-(4.5). Moreover, we have the simple bounds:

n 1/2 n 1/2 2 2 (4.7) max pk tr Ak tr Bk k∈{1,...,n} { } " | | !# " | | !#  kX=1 kX=1 n ∗  tr AkBk − ! ) Xk=1 1/2 1/2 n n n 2 2 ∗ tr pk Ak tr pk Bk tr pkAkBk ≥ " | | !# " | | !# − ! k=1 k=1 k=1 X X X n 1/2 n 1/2 2 2 min pk tr Ak tr Bk ≥ k∈{1,...,n} { } " | | !# " | | !#  kX=1 kX=1 n ∗  tr AkBk . − ! ) k=1 X

5. Inequalities for Power Series of Operators Denote by: z C : z < R , if R< D(0, R)= {C, ∈ | | } if R = ∞,  ∞ and consider the functions: ∞ λ f(λ): D(0, R) C, f(λ) := α λn 7→ → n n=0 X SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 13 and ∞ λ f (λ): D(0, R) C, f (λ) := α λn. 7→ a → a | n| n=0 X As some natural examples that are useful for applications, we can point out that, if ∞ ( 1)n 1 (5.1) f (λ)= − λn = ln , λ D (0, 1) ; n 1+ λ ∈ n=1 X∞ ( 1)n g (λ)= − λ2n = cos λ, λ C; (2n)! ∈ n=0 X∞ ( 1)n h (λ)= − λ2n+1 = sin λ, λ C; (2n + 1)! ∈ n=0 X∞ 1 l (λ)= ( 1)n λn = , λ D (0, 1) ; − 1+ λ ∈ n=0 X then the corresponding functions constructed by the use of the absolute values of the coefficients are ∞ 1 1 (5.2) f (λ)= λn = ln , λ D (0, 1) ; a n 1 λ ∈ n=1 X − ∞ 1 g (λ)= λ2n = cosh λ, λ C; a (2n)! ∈ n=0 X∞ 1 h (λ)= λ2n+1 = sinh λ, λ C; a (2n + 1)! ∈ n=0 X ∞ 1 l (λ)= λn = , λ D (0, 1) . a 1 λ ∈ n=0 X − Other important examples of functions as power series representations with non- negative coefficients are: ∞ 1 (5.3) exp(λ)= λn λ C, n! ∈ n=0 X∞ 1 1+ λ 1 ln = λ2n−1, λ D (0, 1) ; 2 1 λ 2n 1 ∈ n=1  −  X − ∞ Γ n + 1 sin−1 (λ)= 2 λ2n+1, λ D (0, 1) ; √π (2n + 1) n! ∈ n=0  X ∞ 1 tanh−1 (λ)= λ2n−1, λ D (0, 1) 2n 1 ∈ n=1 − X∞ Γ (n + α) Γ (n + β) Γ (γ) F (α,β,γ,λ)= λn,α,β,γ > 0, 2 1 n!Γ (α) Γ (β) Γ (n + γ) n=0 X λ D (0, 1) ; ∈ where Γ is Gamma function. 1 2 14 S. S. DRAGOMIR ,

∞ n Proposition 4. Let f(λ) := n=0 αnλ be a power series with complex coefficients and convergent on the open disk D (0, R) ,R> 0. If (H, , ) is a separable infinite- dimensional Hilbert space andPA, B (H) are positiveh· ·i operators with tr (A) , ∈ B1 tr (B) < R1/2, then (5.4) tr (f (AB)) 2 f 2 (tr A tr B) f (tr A)2 f (tr B)2 . | | ≤ a ≤ a a Proof. By the inequality (1.12) for the positive operators  A, B (H) we have ∈B1 n n k k (5.5) tr αk(AB) = αk tr (AB) " # k=0 k=0 X Xn   n

α tr (AB)k = α tr (AB)k ≤ | k| | k| k=0 k=0 X   X   n n α (tr A)k(tr B)k = α (tr A tr B)k. ≤ | k| | k| Xk=0 Xk=0 Utilising the weighted Cauchy-Bunyakovsky-Schwarz inequality for sums we have

n n 1/2 n 1/2 k k 2k 2k (5.6) αk (tr A) (tr B) αk (tr A) αk (tr B) . | | ≤ | | ! | | ! Xk=0 Xk=0 Xk=0 Then by (5.5) and (5.6) we have

n 2 n 2 k k (5.7) tr αk(AB) αk (tr A tr B) " # ≤ " | | # k=0 k=0 X nX n k k α (tr A)2 α (tr B)2 ≤ | k| | k| k=0 k=0 X   X   for n 1. Since≥ 0 tr (A) , tr (B) < R1/2, the numerical series ≤ ∞ ∞ ∞ k k α (tr A tr B)k, α (tr A)2 and α (tr B)2 | k| | k| | k| k=0 k=0 k=0 X X   X   are convergent. Also, since 0 tr(AB) tr (A) tr (B) < R, the operator series ∞ α (AB)k ≤ ≤ k=0 k is convergent in 1 (H) . B P Letting n in (5.7) and utilizing the continuity property of tr ( ) on 1 (H) we get the desired→ ∞ result (5.4). · B 

Example 1. a) If we take in (5.4) f(λ) = (1 λ)−1, λ < 1 then we get the inequality ± | | 2 −1 −1 (5.8) tr (1 AB)−1 1 (tr A)2 1 (tr B)2 H ± ≤ − −       for any A, B 1 (H) positive operators with tr (A) , tr (B) < 1. ∈B −1 b) If we take in (5.4) f(λ) = ln (1 λ) , λ < 1, then we get the inequality ± | | 2 −1 −1 (5.9) tr ln (1 AB)−1 ln 1 (tr A)2 ln 1 (tr B)2 H ± ≤ − −       for any A, B 1 (H) positive operators with tr (A) , tr (B) < 1. ∈B SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 15

We have the following result as well: ∞ n Theorem 6. Let f(λ) := n=0 αnλ be a power series with complex coefficients and convergent on the open disk D (0, R) ,R> 0. If A, B 2 (H) are normal op- P ∈B erators with A∗B = BA∗ and tr A 2 , tr B 2 < R then we have the inequality | | | |     (5.10) tr (f (A∗B)) 2 tr f A 2 tr f B 2 . | | ≤ a | | a | | Proof. From the inequality (4.1) we have      n 2 n n ∗ k k k 2 k 2 (5.11) tr αk (A ) B tr αk A tr αk B . ! ≤ | | ! | | ! Xk=0 Xk=0 kX=0 2 2 A, B A k A 2k B k B 2k Since are normal operators, then we have = and = ∗ ∗ | | ∗ k k ∗ |k | for any k 0. Also, since A B = BA then we also have (A ) B = ( A B) for any k 0.≥ ≥ Due to the fact that A, B (H) and tr A 2 , tr B 2 < R, it follows that ∈B2 | | | | tr (A∗B) R and the operator series     ≤ ∞ ∞ ∞ α (A∗B)k , α A 2k and α B 2k k | k| | | | k| | | Xk=0 Xk=0 Xk=0 are convergent in the Banach space 1 (H) . Taking the limit over n in (5.11)B and using the continuity of the tr ( ) on (H) we deduce the desired→ ∞ result (5.10). ·  B1 Example 2. a) If we take in (5.10) f(λ) = (1 λ)−1, λ < 1 then we get the inequality ± | | 2 −1 −1 (5.12) tr (1 A∗B)−1 tr 1 A 2 tr 1 B 2 H ± ≤ − | | − | |         ∗ ∗ 2 2 for any A, B 2 (H) normal operators with A B = BA and tr A , tr B < ∈B | | | | 1.     b) If we take in (5.10) f(λ) = exp(λ), λ C then we get the inequality ∈ (5.13) tr (exp (A∗B)) 2 tr exp A 2 tr exp B 2 | | ≤ | | | | for any A, B (H) normal operators with A∗B =BA∗.  ∈B2 ∞ j ∞ j Theorem 7. Let f (z) := j=0 pj z and g (z) := j=0 qj z be two power series with nonnegative coefficients and convergent on the open disk D (0, R) ,R> 0. If P P T and V are two normal and commuting operators from (H) with tr T 2 , B2 | | tr V 2 < R, then   | |   1/2 1/2 (5.14) tr f T 2 + g T 2 tr f V 2 + g V 2 | | | | | | | | h tr (f(T ∗V)+ g(T ∗Vi)) h     i − | | 1/2 1/2 tr f T 2 tr f V 2 tr (f (T ∗V )) ≥ | | | | − | | h   i1/2 h   i1/2 + tr g T 2 tr g V 2 tr (g (T ∗V )) ( 0) . | | | | − | | ≥ h   i h   i 1 2 16 S. S. DRAGOMIR ,

Moreover, if pj qj for any j N, then, with the above assumptions on T and V, we have ≥ ∈ 1/2 1/2 (5.15) tr f T 2 tr f V 2 tr (f (T ∗V )) | | | | − | | h   i 1h/2   i 1/2 tr g T 2 tr g V 2 tr (g (T ∗V )) ( 0) . ≥ | | | | − | | ≥ h   i h   i Proof. Utilising the superadditivity property of the functional σA,B ( ) above as a function of weights p and the fact that T and V are two normal and· commuting operators we can state that

n 1/2 n 1/2 2k 2k (5.16) tr (pk + qk) T tr (pk + qk) V " | | !# " | | !# kX=0 Xk=0 n ∗ k tr (pk + qk) (T V ) − ! kX=0 1/2 1/2 n n n 2k 2k ∗ k tr pk T tr pk V tr pk (T V ) ≥ " | | !# " | | !# − ! kX=0 kX=0 Xk=0 1/2 1/2 n n n 2k 2k ∗ k + tr qk T tr qk V tr qk (T V ) " | | !# " | | !# − ! k=0 k=0 k=0 X X X for any n 1. Since all≥ the series whose partial sums are involved in (5.16) are convergent in (H) , by letting n in (5.16) we get (5.14). B1 → ∞ The inequality (5.15) follows by the monotonicity property of σA,B ( ) and the details are omitted. ·  Example 3. Now, observe that if we take ∞ 1 f (λ) = sinh λ = λ2n+1 (2n + 1)! n=0 X and ∞ 1 g (λ) = cosh λ = λ2n (2n)! n=0 X then ∞ 1 f (λ)+ g (λ) = exp λ = λn n! n=0 X for any λ C. ∈ If T and V are two normal and commuting operators from 2 (H), then by (2.11) we have B 1/2 1/2 (5.17) tr exp T 2 tr exp V 2 tr (exp (T ∗V )) | | | | − | | h   i 1h/2   i 1/2 tr sinh T 2 tr sinh V 2 tr (sinh (T ∗V )) ≥ | | | | − | | h   i1/2 h   i 1/2 + tr cosh T 2 tr cosh V 2 tr (cosh (T ∗V )) ( 0) . | | | | − | | ≥ h   i h   i SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 17

Now, consider the series 1 = ∞ λn, λ D (0, 1) and ln 1 = ∞ 1 λn, 1−λ n=0 ∈ 1−λ n=1 n λ D (0, 1) and define p =1, n 0, q =0, q = 1 , n 1, then we observe that n P 0 n n P for∈ any n 0 we have p q . ≥ ≥ ≥ n ≥ n If T and V are two normal and commuting operators from (H) with tr T 2 , B2 | | tr V 2 < 1, then by (2.12) we have   | |   (5.18) −1 1/2 −1 1/2 tr 1 T 2 tr 1 V 2 tr (1 T ∗V )−1 H − | | H − | | − H −           −1 1/2 −1 1/2 tr ln 1 T 2 tr ln 1 V 2 ≥ H − | | H − | |           tr ln (1 T ∗V )−1 ( 0) . − H − ≥  

6. Inequalities for Matrices We have the following result for matrices.

∞ n Proposition 5. Let f(λ) := n=0 αnλ be a power series with complex coefficients and convergent on the open disk D (0, R) ,R> 0. If A and B are positive semidef- P 2 2 inite matrices in Mn (C) with tr A , tr B < R, then we have the inequality   (6.1) tr [f(AB)] 2 tr f A2 tr f B2 . | | ≤ a a     If tr (A) , tr (B) < √R, then also

(6.2) tr [f(AB)] min tr (f ( A B)) , tr (f ( B A)) . | |≤ { a k k a k k } Proof. We observe that (1.13) holds for m = 0 with equality. By utilizing the generalized triangle inequality for the modulus and the inequality (1.13) we have

m n (6.3) tr αn(AB) "n=0 # X m m n n = αn tr [(AB) ] αn tr [(AB) ] ≤ | | | | n=0 n=0 Xm Xm 1/2 1/2 = α tr [(AB)n] α tr A2n tr B2n , | n| ≤ | n| n=0 n=0 X X     for any m 1. ≥ 1 2 18 S. S. DRAGOMIR ,

Applying the weighted Cauchy-Bunyakowsky-Schwarz discrete inequality we also have m 1/2 1/2 (6.4) α tr A2n tr B2n | n| n=0 X     m 1/2 m 1/2 1/2 2 1/2 2 α tr A2n α tr B2n ≤ | n| | n| n=0 ! n=0 ! X    X    m 1/2 m 1/2 = α tr A2n α tr B2n | n| | n| n=0 ! n=0 ! X   X   m 1/2 m 1/2 = tr α A2n tr α B2n | n| | n| " n=0 !# " n=0 !# X X for any m 1. Therefore,≥ by (6.3) and (6.4) we get

m 2 m m n 2n 2n (6.5) tr αn(AB) tr αn A tr αn B " # ≤ | | ! | | ! n=0 n=0 n=0 X X X for any m 1. ≥ Since tr A2 , tr B2 < R, then tr (AB) tr (A2) tr (B2) < R and the series ≤  ∞  ∞ p ∞ α (AB)n, α A2n and α B2n n | n| | n| n=0 n=0 n=0 X X X are convergent in Mn (C) . Taking the limit over m in (6.5) and utilizing the continuity property of → ∞ tr ( ) on Mn (C) we get (6.1). The· inequality (6.2) follows from (1.14) in a similar way and the details are omitted. 

Example 4. a) If we take f(λ)=(1 λ)−1, λ < 1 then we get the inequality ± | | 2 −1 −1 (6.6) tr (I AB)−1 tr I A2 tr I B2 n ± ≤ n − n −   h  i Ch  2 i 2 for any A and B positive semidefinite matrices in Mn ( ) with tr A , tr B < 1. Here In is the identity matrix in Mn (C) . We also have the inequality  

(6.7) tr (I AB)−1 min tr (I A B)−1 , tr (I B A)−1 n ± ≤ n −k k n −k k   n  C  o for any A and B positive semidefinite matrices in Mn ( ) with tr (A) , tr (B) < 1. b) If we take f(λ) = exp λ, then we have the inequalities (6.8) (tr [exp(AB)])2 tr exp A2 tr exp B2 ≤ and     (6.9) tr [exp(AB)] min tr (exp ( A B)) , tr (exp ( B A)) ≤ { k k k k } for any A and B positive semidefinite matrices in Mn (C) . SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 19

∞ n Proposition 6. Let f(λ) := n=0 αnλ be a power series with complex coefficients and convergent on the open disk D (0, R) ,R> 0. If A and B are matrices in Mn (C) with tr ( A p) , tr ( B q) < R, Pwhere p, q> 1 with 1 + 1 =1, then | | | | p q A p B q (6.10) tr (f ( AB∗ )) tr f | | + | | | | | | ≤ a p q    1 1 tr f ( A p)+ f ( B q) . ≤ p a | | q a | |   Proof. The inequality (1.15) holds with equality for r =0. By utilizing the generalized triangle inequality for the modulus and the inequality (1.15) we have m m ∗ n ∗ n (6.11) tr αn AB = αn tr ( AB ) | | ! | | n=0 n=0 X Xm m n n α tr ( AB∗ ) = α tr ( AB∗ ) ≤ | n| | | | | | n| | | n=0 n=0 X X m A p B q n α tr | | + | | ≤ | n| p q n=0 X    m A p B q n = tr α | | + | | | n| p q "n=0 # X   for any m 1 and p,q > 1 with 1 + 1 =1. ≥ p q It is know that if f : [0, ) R is a , then tr f ( ) is convex on + C ∞ → C · the cone Mn ( ) of positive semidefinite matrices in Mn ( ). Therefore, for n 1 we have ≥ A p B q n 1 1 (6.12) tr | | + | | tr ( A pn)+ tr ( B qn) p q ≤ p | | q | |    1 1 where p,q > 1 with p + q =1. The inequality reduces to equality if n =0. Then we have m A p B q n m 1 1 (6.13) α tr | | + | | α tr ( A pn)+ tr ( B qn) | n| p q ≤ | n| p | | q | | n=0    n=0   X X m m 1 1 = tr α A pn + α B qn p | n| | | q | n| | | " n=0 n=0 # X X for any m 1 and p,q > 1 with 1 + 1 =1. ≥ p q From (6.11) and (6.13) we get m m A p B q n (6.14) tr α AB∗ r tr α | | + | | n | | ≤ | n| p q n=0 ! "n=0 # X X   m m 1 1 tr α A pn + α B qn ≤ p | n| | | q | n| | | " n=0 n=0 # X X for any m 1 and p,q > 1 with 1 + 1 =1. ≥ p q 1 2 20 S. S. DRAGOMIR ,

Since tr ( A p) , tr ( B q) < R, then all the series whose partial sums are involved in (6.14) are| convergent,| | | then by letting m in (6.14) we deduce the desired inequality (6.10). → ∞ 

Example 5. a) If we take f(λ)=(1 λ)−1, λ < 1 then we get the inequalities ± | |

p q −1 ∗ −1 A B (6.15) tr (In AB ) tr In | | + | | ± | | ≤ − p q !      1 1 tr (I A p)−1 + (I B q)−1 , ≤ p n − | | q n − | |  

p q where A and B are matrices in Mn (C) with tr ( A ) , tr ( B ) < 1 and p,q > 1 1 1 | | | | with p + q =1. b) If we take f(λ) = exp λ, then we have the inequalities

A p B q (6.16) tr (exp ( AB∗ )) tr exp | | + | | | | ≤ p q    1 1 tr exp( A p)+ exp( B q) , ≤ p | | q | |  

C 1 1 where A and B are matrices in Mn ( ) and p,q > 1 with p + q =1.

Finally, we can state the following result:

∞ n Proposition 7. Let f(λ) := n=0 αnλ be a power series with complex coefficients and convergent on the open disk D (0, R) ,R > 0. If A and B are commuting P p q positive semidefinite matrices in Mn (C) with tr (A ) , tr (B ) < R, where p,q > 1 1 1 with p + q =1, then we have the inequality

(6.17) tr (f (AB)) [tr(f (Ap))]1/p [tr(f (Bq))]1/q . | |≤ a a

Proof. Since A and B are commuting positive semidefinite matrices in Mn (C) , then by (1.17) we have for any natural number n including n = 0 that

(6.18) tr((AB)n) = tr(AnBn) [tr(Anp)]1/p [tr(Bnq)]1/q , ≤

1 1 where p,q > 1 with p + q =1. SOME TRACE INEQUALITIES FOR OPERATORS IN HILBERT SPACES 21

By (6.18) and the weighted H¨older discrete inequality we have m m m n n n n n tr αn (AB) = αn tr(A B ) αn tr(A B ) ! ≤ | | | | n=0 n=0 n=0 X Xm X 1 /p 1/q α [tr(Anp)] [tr(Bnq)] ≤ | n| n=0 X 1/p m p α [tr(Anp)]1/p ≤ | n| n=0 ! X   1/q m q α [tr(Bnq)]1/q × | n| n=0 ! X   m 1/p m 1/q = α tr(Anp) α tr(Bnq) | n| | n| n=0 ! n=0 ! X X m 1/p m 1/q = tr( α Anp) tr( α Bnq) | n| | n| n=0 ! n=0 ! X X 1 1 where p,q > 1 with p + q =1. The proof follows now in a similar way with the ones from above and the details are omitted.  Example 6. a) If we take f(λ)=(1 λ)−1, λ < 1 then we get the inequality ± | | 1/p 1/q (6.19) tr (I AB)−1 tr((I Ap)−1) tr((I Bq)−1) , n ± ≤ n − n −   h i h i p for any A and B commuting positive semidefinite matrices in Mn (C) with tr (A ) , q 1 1 tr (B ) < 1, where p,q > 1 with p + q =1. b) If we take f(λ) = exp λ, then we have the inequality (6.20) tr(exp(AB)) [tr(exp (Ap))]1/p [tr(exp (Bq))]1/q , ≤ for any A and B commuting positive semidefinite matrices in Mn (C) and p,q > 1 1 1 with p + q =1.

References

[1] T. Ando, Matrix Young inequalities, Oper. Theory Adv. Appl. 75 (1995), 33–38. [2] R. Bellman, Some inequalities for positive definite matrices, in: E.F. Beckenbach (Ed.), Gen- eral Inequalities 2, Proceedings of the 2nd International Conference on General Inequalities, Birkh¨auser, Basel, 1980, pp. 89–90. [3] E. V. Belmega, M. Jungers and S. Lasaulce, A generalization of a trace inequality for positive definite matrices. Aust. J. Math. Anal. Appl. 7 (2010), no. 2, Art. 26, 5 pp. [4] N. G. de Bruijn, Problem 12, Wisk. Opgaven, 21 (1960), 12-14. [5] D. Chang, A matrix trace inequality for products of Hermitian matrices, J. Math. Anal. Appl. 237 (1999) 721–725. [6] L. Chen and C. Wong, Inequalities for singular values and traces, Linear Algebra Appl. 171 (1992), 109–120. [7] I. D. Coop, On matrix trace inequalities and related topics for products of , J. Math. Anal. Appl. 188 (1994) 999–1001. [8] S. Furuichi and M. Lin, Refinements of the trace inequality of Belmega, Lasaulce and Debbah. Aust. J. Math. Anal. Appl. 7 (2010), no. 2, Art. 23, 4 pp. 1 2 22 S. S. DRAGOMIR ,

[9] H. D. Lee, On some matrix inequalities, Korean J. Math. 16 (2008), No. 4, pp. 565-571. [10] L. Liu, A trace class operator inequality, J. Math. Anal. Appl. 328 (2007) 1484–1486. [11] S. Manjegani, H¨older and Young inequalities for the trace of operators, Positivity 11 (2007), 239–250. [12] H. Neudecker, A matrix trace inequality, J. Math. Anal. Appl. 166 (1992) 302–303. [13] K. Shebrawi and H. Albadawi, Operator norm inequalities of Minkowski type, J. Inequal. Pure Appl. Math. 9(1) (2008), 1–10, article 26. [14] K. Shebrawi and H. Albadawi, Trace inequalities for matrices, Bull. Aust. Math. Soc. 87 (2013), 139–148. [15] B. Simon, Trace Ideals and Their Applications, Cambridge University Press, Cambridge, 1979. [16] Z. Uluk¨ok and R. T¨urkmen, On some matrix trace inequalities. J. Inequal. Appl. 2010, Art. ID 201486, 8 pp. [17] X. Yang, A matrix trace inequality, J. Math. Anal. Appl. 250 (2000) 372–374. [18] X. M. Yang, X. Q. Yang and K. L. Teo, A matrix trace inequality, J. Math. Anal. Appl. 263 (2001), 327–331. [19] Y. Yang, A matrix trace inequality, J. Math. Anal. Appl. 133 (1988) 573–574.

1Mathematics, School of Engineering & Science, Victoria University, PO Box 14428, Melbourne City, MC 8001, Australia. E-mail address: [email protected] URL: http://rgmia.org/dragomir

2School of Computational & Applied Mathematics, University of the Witwater- srand, Private Bag 3, Johannesburg 2050, South Africa