Open Access

A note on norm inequalities for positive operators

Journal of Inequalities and Applications20142014:171

https://doi.org/10.1186/1029-242X-2014-171

Received: 20 March 2014

Accepted: 23 April 2014

Published: 8 May 2014

Abstract

In this short note, we present a generalization of a norm inequality due to Bhatia and Kittaneh (Lett. Math. Phys. 43:225-231, 1998), which is also a refinement and a generalization of a result obtained by Kittaneh (Commun. Math. Phys. 104:307-310, 1986).

MSC:15A42, 47A63.

Keywords

unitarily invariant normssingular valuesweak majorization

1 Introduction

Let M n be the space of n × n complex matrices. Let denote any unitarily invariant norm on M n . We shall always denote the singular values of A by s 1 ( A ) s n ( A ) 0 , that is, the eigenvalues of the positive semidefinite matrix | A | = ( A A ) 1 / 2 , arranged in decreasing order and repeated according to multiplicity. Let A , B M n be Hermitian; the order relation A B means, as usual, that A B is positive semidefinite.

Let A , B M n be positive semidefinite. Bhatia and Kittaneh [[1], Theorem 2.2] proved that for any positive integer m,
A m + B m ( A + B ) m .
(1.1)
Let A , B M n . Kittaneh [[2], Theorem 2.2] proved that
A + B F 2 1 2 ( | A | + | B | F 2 + | A | + | B | F 2 ) ,
(1.2)

where X F is the Frobenius norm of X. For more information on the Schatten p-norm and its applications, the reader is referred to [3].

In this note, we present a generalization of inequality (1.1), which is also a refinement and a generalization of (1.2).

2 Main results

Now, we show the generalization of inequality (1.1).

Theorem 2.1 Let A , B M n and suppose that p, q be real numbers with p > 1 and 1 p + 1 q = 1 . Then for any positive integer m,
A | A | m 1 + B | B | m 1 ( | A | m + | B | m ) p / 2 1 / p ( | A | m + | B | m ) q / 2 1 / q .
(2.1)
Proof Let A , B M n with polar decompositions A = U | A | and B = V | B | . It is known [[4], p.15] that
[ | A | A A | A | ] = [ I 0 0 U ] [ | A | | A | | A | | A | ] [ I 0 0 U ] 0 .
It follows that
[ | A | A A | A | ] m + [ | B | B B | B | ] m = 2 m 1 [ | A | m + | B | m | A | m U + | B | m V U | A | m + V | B | m | A | m + | B | m ] 0 .
So, by Proposition 1.3.2 of [[4], p.13], we have
U | A | m + V | B | m = ( | A | m + | B | m ) 1 / 2 K ( | A | m + | B | m ) 1 / 2
for some contraction K. For k = 1 , , n , by using Horn’s inequality [[5], p.72], we know that
j = 1 k s j ( U | A | m + V | B | m ) j = 1 k s j 1 / 2 ( | A | m + | B | m ) s j 1 / 2 ( | A | m + | B | m ) .
(2.2)
Let
X = diag ( s 1 1 / 2 ( | A | m + | B | m ) , , s n 1 / 2 ( | A | m + | B | m ) )
and
Y = diag ( s 1 1 / 2 ( | A | m + | B | m ) , , s n 1 / 2 ( | A | m + | B | m ) ) .
Then inequality (2.2) is equivalent to
j = 1 k s j ( U | A | m + V | B | m ) j = 1 k s j ( X Y ) .
Since weak log-majorization implies weak majorization, we get
j = 1 k s j ( U | A | m + V | B | m ) j = 1 k s j ( X Y ) .
(2.3)
Thanks to the Fan dominance principle [[5], p.93], we know that inequality (2.3) is equivalent to
U | A | m + V | B | m X Y .
(2.4)
By Hölder’s inequality for unitarily invariant norms [[5], p.95] (see also [[6], Theorem 2.4]), we obtain
X Y X p 1 / p Y q 1 / q .
(2.5)
It follows from (2.4) and (2.5) that
A | A | m 1 + B | B | m 1 ( | A | m + | B | m ) p / 2 1 / p ( | A | m + | B | m ) q / 2 1 / q .

This completes the proof. □

Remark 2.2 Inequality (2.1) is a norm version of the following scalar triangle inequality:
| z 1 | z 1 | m 1 + z 2 | z 2 | m 1 | | ( | z 1 | m + | z 2 | m ) p / 2 | 1 / p | ( | z 1 | m + | z 2 | m ) q / 2 | 1 / q .
Corollary 2.3 Let A , B M n . Then for any positive integer m,
A | A | m 1 + B | B | m 1 ( | A | + | B | ) m 1 / 2 ( | A | + | B | ) m 1 / 2 .
(2.6)
Proof Putting p = q = 2 in inequality (2.1), we have
A | A | m 1 + B | B | m 1 | A | m + | B | m 1 / 2 | A | m + | B | m 1 / 2 .
It follows from inequality (1.1) and this last inequality that
A | A | m 1 + B | B | m 1 ( | A | + | B | ) m 1 / 2 ( | A | + | B | ) m 1 / 2 .

This completes the proof. □

Remark 2.4 If A and B are positive semidefinite, then by inequality (2.6), we get (1.1).

Remark 2.5 For m = 1 , by inequality (2.1), we get
A + B ( | A | + | B | ) p / 2 1 / p ( | A | + | B | ) q / 2 1 / q .
In particular,
A + B | A | + | B | 1 / 2 | A | + | B | 1 / 2 ,
(2.7)
which is a generalization and a refinement of inequality (1.2). For the usual operator norm, it is known that
A + B 2 | A | + | B | ,
(2.8)
which is sharp. Since
| A | + | B | | A | + | B | 2 | A | + | B | ,

we find that inequality (2.7) is a strengthening of inequality (2.8).

Remark 2.6 Recently, Zou [[7], Theorem 2.2] and Zou and He [[8], Theorem 2.2] gave some generalizations of inequality (1.1) for normal matrices. Our result is different from the ones obtained by these authors.

Declarations

Acknowledgements

The authors wish to express their heartfelt thanks to the referees for their detailed and helpful suggestions for revising the manuscript. This research was supported by the program of Guizhou Science and technology department and Guizhou Minzu University (No. Qian Science co-J word LKM [2011] 09) and the National Natural Science Foundation of China (No. 61263034).

Authors’ Affiliations

(1)
College of Science, Guizhou Minzu University
(2)
School of Mathematics and Statistics, Chongqing Three Gorges University

References

  1. Bhatia R, Kittaneh F: Norm inequalities for positive operators. Lett. Math. Phys. 1998, 43: 225–231. 10.1023/A:1007432816893MathSciNetView ArticleMATHGoogle Scholar
  2. Kittaneh F: Inequalities for the Schatten p -norm. III. Commun. Math. Phys. 1986, 104: 307–310. 10.1007/BF01211597MathSciNetView ArticleMATHGoogle Scholar
  3. Hirzallah O, Kittaneh F, Moslehian MS: Schatten p -norm inequalities related to a characterization of inner product spaces. Math. Inequal. Appl. 2010, 13: 235–241.MathSciNetMATHGoogle Scholar
  4. Bhatia R: Positive Definite Matrices. Princeton University Press, Princeton; 2007.MATHGoogle Scholar
  5. Bhatia R: Matrix Analysis. Springer, New York; 1997.View ArticleMATHGoogle Scholar
  6. Albadawi H: Matrix inequalities related to Hölder inequality. Banach J. Math. Anal. 2013, 7: 162–171.MathSciNetView ArticleMATHGoogle Scholar
  7. Zou L: Inequalities for unitarily invariant norms and singular values. Int. J. Appl. Math. Stat. 2013, 46: 308–313.MathSciNetGoogle Scholar
  8. Zou L, He C: Weak majorization inequalities for singular values. Oper. Matrices 2013, 7: 733–737.MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Huang et al.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.