Abstract
Recently, Kittaneh and Manasrah (J. Math. Anal. Appl. 361:262–269, 2010) showed a refinement of the arithmetic–geometric mean inequality for the Frobenius norm. In this paper, we shall present a generalization of Kittaneh and Manasrah’s result. Meanwhile, we will also give an application of Kittaneh and Manasrah’s result. That is, we obtain an improvement of Jocić and Kittaneh’s inequality which was presented in (Jocić and Kittaneh in J. Oper. Theory 31:3–10, 1994).
Similar content being viewed by others
1 Introduction
Let \(M_{n} ( C )\) be the space of \(n\times n\) complex matrices. Let \(\Vert \cdot \Vert \) denote any unitarily invariant norm on \(M_{n} ( C )\). For \(A \in M_{n} ( C ) \), the Frobenius norm of A is defined by \(\Vert A \Vert _{F} = \sqrt {\operatorname{tr} ( {A^{*} A} )}\), where \(\operatorname{tr} ( X )\) is the trace of X. It is known that the Frobenius norm is unitarily invariant.
Let \(A,B \in M_{n} ( C )\) be positive semidefinite. Bhatia and Kittaneh proved in [1] that
which is known as the arithmetic–geometric mean inequality for unitarily invariant norms.
Let \(A,X,B\in M_{n} ( C ) \) and suppose that A and B are positive semidefinite. Bhatia and Davis proved in [2] that
which is a generalization of inequality (1.1).
Recently, Kittaneh and Manasrah [3] showed a refinement of inequality (1.2) for the Frobenius norm, which can be stated as follows:
The authors of [4] and [5] gave some generalizations of inequality (1.3).
Let \(A,X,B\in M_{n} ( C )\) such that A and B are self-adjoint. Jocić and Kittaneh proved in [6] that for \(n \in N\) and \(j = 1, \ldots,n\),
Bhatia gave a simple proof of inequality (1.4) in [7]. For more information on inequalities of unitarily invariant norms, the reader is referred to [8–12] and the references therein.
In this short note, we first present a new generalization of inequality (1.3). After that, as an application of inequality (1.3), we show a refinement of inequality (1.4) for the Frobenius norm.
2 Main results
In this section, we show the main results of this paper. To do this, we need the following lemmas.
Lemma 2.1
([11])
Let \(A,X,B\in M_{n} ( C )\). If \(\alpha \in [ {0,1} ]\), then
Lemma 2.2
Let \(A,X,B\in M_{n} ( C )\). Then
Proof
By the polar decomposition of matrices and the properties of unitary invariant norms, we know that inequality (1.3) is equivalent to Lemma 2.2. This completes the proof. □
Theorem 2.1
Let \(A,X,B\in M_{n} ( C )\), \(\alpha \in [ {0,1} ]\) such that A, B are positive semidefinite. Then
where
Proof
By definition of the Frobenius norm, we have
and so
It follows from (2.1) and (2.3) that
That is,
which implies inequality (2.2). This completes the proof. □
Remark 2.1
Putting \(\alpha = 0\) or \(\alpha = 1\) in inequality (2.2), we can obtain inequality (1.3). So, inequality (2.2) is a generalization of inequality (1.3).
Next, we will show a refinement of inequality (1.4).
Theorem 2.2
Let \(A,X,B\in M_{n} ( C )\) such that A and B are self-adjoint. If \(n \in N\) and \(j = 1, \ldots,n\), then we have
where
Proof
We prove it by induction. For \(j=1\) and any positive integer n, by Lemma 2.2 and the triangle inequality for unitary invariant norms, we have
which is equivalent to
Now, suppose that Theorem 2.2 has been proved for \(j-1\). By Lemma 2.2, the triangle inequality for unitary invariant norms, and induction hypothesis, we have
which is equivalent to
This completes the proof. □
References
Bhatia, R., Kittaneh, F.: On the singular values of a product of operators. SIAM J. Matrix Anal. Appl. 11, 272–277 (1990)
Bhatia, R., Davis, C.: More matrix forms of the arithmetic–geometric mean inequality. SIAM J. Matrix Anal. Appl. 14, 132–136 (1993)
Kittaneh, F., Manasrah, Y.: Improved Young and Heinz inequalities for matrices. J. Math. Anal. Appl. 361, 262–269 (2010)
Wang, S., Zou, L., Jiang, Y.: Some inequalities for unitarily invariant norms of matrices. J. Inequal. Appl. 2011, 10 (2011)
He, C., Zou, L., Qaisar, S.: On improved arithmetic–geometric mean and Heinz inequalities for matrices. J. Math. Inequal. 6, 453–459 (2012)
Jocić, D., Kittaneh, F.: Some perturbation inequalities for self-adjoint operators. J. Oper. Theory 31, 3–10 (1994)
Bhatia, R.: A simple proof of an operator inequality of Jocić and Kittaneh. J. Oper. Theory 31, 21–22 (1994)
Hu, X., Xue, J.: A note on reverses of Young type inequalities. J. Inequal. Appl. 2015, 98 (2015)
Hu, X.: Young type inequalities for matrices. J. East China Norm. Univ. Natur. Sci. Ed. 4, 12–17 (2012)
Hu, X.: Some inequalities for unitarily invariant norms. J. Math. Inequal. 6, 615–623 (2012)
Zou, L., Jiang, Y.: A note on interpolation between the arithmetic–geometric mean and Cauchy–Schwarz matrix norm inequalities. J. Math. Inequal. 10, 1119–1122 (2016)
Zou, L.: An arithmetic–geometric mean inequality for singular values and its applications. Linear Algebra Appl. 528, 25–32 (2017)
Acknowledgements
The author wishes to express her heartfelt thanks to the referees for their detailed and helpful suggestions for revising the manuscript.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wu, X. A generalization and an application of the arithmetic–geometric mean inequality for the Frobenius norm. J Inequal Appl 2018, 142 (2018). https://doi.org/10.1186/s13660-018-1732-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1732-9