Abstract
Let A, B be invertible positive operators on a Hilbert space H. We present some improved reverses of Young type inequalities, in particular,
and
where \(0\leq\upsilon\leq\frac{1}{2}\).
We also give some new inequalities involving the Heinz mean for the Hilbert-Schmidt norm.
Similar content being viewed by others
1 Introduction
Let H be a Hilbert space and let \(B_{h}(H)\) be the semi-space of all bounded linear self-adjoint operators on H. Further, let \(B(H)\) and \(B(H)^{+}\), respectively, denote the set of all bounded linear operators on a complex Hilbert space H and set of all positive operators in \(B_{h}(H)\). The set of all positive invertible operators is denoted by \(B(H)^{++}\). For \(A,B\in B(H)\), \(A^{*}\) denotes the conjugate operator of A. An operator \(A\in B(H)\) is positive, and we write \(A\geq0\), if \((Ax,x)\geq0\) for every vector \(x\in H\). If A and B are self-adjoint operators, the order relation \(A\geq B\) means, as usual, that \(A-B\) is a positive operator. The theory of operator means for positive (bounded linear) operators on a Hilbert space was initiated by Ando and established by him and Kubo in connection with Lowners theory for the operator monotone functions [1].
An operator mean is a binary operation σ defined on the set of strictly positive operators, if the following conditions hold:
In addition, \(A\sigma B=A^{\frac{1}{2}}f(A^{\frac{-1}{2}}BA^{\frac {-1}{2}})A^{\frac{1}{2}}\) for all strictly positive operators A and B. The monotone function f is called the representing function of σ. Let \(A,B\in B(H)\) be two positive operators and \(\nu\in[0,1]\), then the ν-weighted arithmetic mean of A and B, denoted by \(A\nabla _{\nu} B\), is defined as \(A\nabla_{\nu} B=(1-\nu)A+\nu B\). If A is invertible, the ν-geometric mean of A and B, denoted by \(A\sharp _{\nu} B\), is defined as \(A\sharp_{\nu} B=A^{\frac{1}{2}}(A^{\frac {-1}{2}}BA^{\frac{-1}{2}})^{\nu} A^{\frac{1}{2}}\). In addition, if both A and B are invertible, the ν-harmonic mean of A and B, denoted by \(A!_{\nu} B\) is defined as \(A!_{\nu} B=((1-v)A^{-1}+vB^{-1})^{-1}\). For more details, see Kubo and Ando [1]. When \(v=\frac{1}{2}\), we write \(A\nabla B\), \(A\sharp B\), \(A!B\) for brevity, respectively. The operator version of the Heinz means is denoted by
where \(A,B\in B(H)^{++}\), and \(\nu\in[0,1]\). The operator version of the Heron means is denoted by
for \(0\leq\alpha\leq1\). It is well known that if A and B are positive invertible operators, then
for \(0<\nu<1\).
To obtain inequalities for bounded self-adjoint operators on Hilbert space, we shall use the following monotonicity property for operator functions:
If \(X\in B_{h}(H)\) with a spectrum \(\operatorname {Sp}(X)\) and f, g are continuous real-valued functions on \(\operatorname {Sp}(X)\), then
For more details as regards this property, the reader is referred to [2].
The classical Young inequality says that if \(a,b\geq0\) and \(\nu\in [0,1]\), then
with the equality if and only if \(a=b\).
Zhao et al. [3] gave an inequality for the Heinz and Heron means as follows:
If A and B are two positive and invertible operators, then
for \(\nu\in[0,1]\), where \(\alpha(\nu)=1-4(\nu-\nu^{2})\).
Kai in [4] gave the following Young type inequalities:
for \(\nu\in[0, \frac{1}{2}]\). Recently, Burqan and Khandaqji [5] gave the following reverse of the scalar Young type inequality:
for \(\nu\in[0,\frac{1}{2}]\). Also we have
for \(\nu\in[\frac{1}{2},1]\).
2 The results and discussion
In this section, we present some converses of the Young inequality and give several refinements for matrices and operators.
2.1 Reverses of scalar Young type inequalities
First, we get reverses of the inequalities (1.4), (1.5), and (1.6).
Theorem 1
Let \(a,b>0\) and \(\nu\in[0,\frac{1}{2}]\). Then
and
Proof
If \(0\leq\nu\leq\frac{1}{2}\), then by inequality (1.2), we have
and similarly
□
Theorem 2
Let \(a,b>0\) and \(\nu\in[0,\frac{1}{2}]\). Then
Proof
If \(0\leq\nu\leq\frac{1}{2}\), then by inequality (1.2), we have
and similarly
□
Corollary 1
Let \(a,b>0\) and \(\nu\in[0,\frac{1}{2}]\). Then
2.2 Reverses of operator Young type inequalities
We begin this section with the reverses of Young type inequalities for operators.
Theorem 3
Let \(A,B\in B(H)^{++}\) and \(\nu\in[0,\frac{1}{2}]\). Then
and
Proof
If \(\nu\in[0,\frac{1}{2}]\), the inequality (2.1), for \(a=1\), \(b>0\), becomes
The operator \(X=A^{-\frac{1}{2}} B A^{-\frac{1}{2}}\) has a positive spectrum. According to rule (1.1), we can insert \(A^{-\frac{1}{2}} B A^{-\frac{1}{2}}\) in the above inequality, i.e., we have
Finally, if we multiply inequality (2.9) by \(A^{\frac{1}{2}}\) on the left and right, we get
By replacing A by B and B by A, we have
and by the sum of (2.10) and (2.11), we have
Similarly, the inequality (2.2) implies that
□
Using the same strategy as in the proof of Theorem 3 and inequalities (2.3) and (2.4), we get the following theorems.
Theorem 4
Let \(A,B\in B(H)^{++}\) and \(\nu\in[0,\frac{1}{2}]\). Then
Theorem 5
Let \(A,B\in B(H)^{++}\) and \(\nu\in[0,\frac{1}{2}]\) Then
2.3 Reverses of Young type inequalities for matrices
In the following, let \(M_{n}(C)\) be the space of all \(n\times n\) complex matrices. For Hermitian matrices \(A,B\in M_{n}(C)\), we write \(A\geqslant 0\) if A is positive semidefinite, \(A>0\) if A is positive definite, and \(A\geqslant B\) if \(A-B\geqslant0\).
The Hilbert-Schmidt (or Frobenius) norm of \(A=[a_{ij}]\in M_{n}(C)\) is denoted by \(\Vert A\Vert _{2}=(\sum_{j=1}^{n} s_{j}^{2}(A))^{\frac{1}{2}}\), where \(s_{1}(A)\geq s_{2}(A)\geq\cdots\geq s_{n}(A)\) are the singular values of A, which are the eigenvalues of the positive semidefinite matrix \(\vert A\vert =(AA^{*})^{\frac{1}{2}}\), arranged in decreasing order and repeated according to multiplicity. It is well known that the Hilbert-Schmidt norm is unitarily invariant.
For more information on matrix versions of the Young inequality (1.2) the reader is referred to [6]. In this section, we will discuss the reverse Heinz mean inequality for unitarily invariant norms.
A matrix version of the inequality (1.3) is
which was introduced by Bhatia [7].
The matrix version of the inequality
was proved by Bhatia and Davis [8], saying that if \(0\leq\nu\leq 1\), then
The second part of the inequality (2.12) is known as the Heinz inequality. Let \(0\leq\nu\leq1\), \(r_{0}=\min\{\nu,1-\nu\}\), Kittaneh [9] gave a refinement of the Heinz inequality as follows:
Meanwhile, Kittaneh and Manasarah [10] also obtained two refinements of the Heinz inequality for the Hilbert-Schmidt norm as follows:
He et al. [11] proved that
It is weaker than the inequality (2.13) and it is equivalent to the inequality (2.14) for the Hilbert-Schmidt norm [11]. Zhan [12] proved that if \(\frac{1}{4}\leq\nu\leq\frac{3}{4}\) and \(-2< t\leq 2\), then
It is also a refinement of the Heinz inequality for matrices. Zou [13] proved that if \(0\leq\nu\leq1\), then
which is an improvement of (2.14). Zou also, in [14], has proved another Heinz inequality for the Hilbert-Schmidt norm as follows.
Theorem 6
Let \(\alpha(\nu)=1-4(\nu-\nu^{2})\) and \(0\leq\nu\leq1\). Then
Kittaneh and Manasarah in [6] have showed that if A and B are positive definite matrices, \(X\in M_{n}\) and \(\nu\in[0,1]\), then
where \(R=\max\{\upsilon,1-\upsilon\}\).
Bakherad and Moslehian [15] improved the Young inequality and obtained the following inequalities:
where A and B are positive definite matrices, \(X\in M_{n}(C)\) and \(\nu>1\).
Theorem 7
Let \(A,B,X \in M_{n}\) such that A and B are positive definite; if \(\nu \in[0,\frac{1}{2}]\), then
Proof
Since A and B are positive semidefinite, it follows by the spectral theorem that there exist unitary matrices \(U,V\in M_{n}\) such that
where
Let
then
Therefore,
Similarly, we have
It follows from the inequality (2.5) that
□
Using the same strategy as in the proof of Theorem 7 and inequalities (2.6) and (2.7), we get the following theorems.
Theorem 8
Let \(A,B,X \in M_{n}\) such that A and B are positive definite if \(\nu \in[0,\frac{1}{2}]\), then
Theorem 9
Let \(A,B,X \in M_{n}\) such that A and B are positive definite if \(\nu \in[0,\frac{1}{2}]\), then
3 Conclusions
In the present paper we got reverses of the scalar Young type inequality and using them we obtained the reverses of Young type inequalities for operators. Then we considered the reverse Heinz mean inequality for unitarily invariant norms and established the following inequality and several related results:
where \(A,B,X \in M_{n}\) such that A and B are positive definite and \(\nu\in[0,\frac{1}{2}]\).
References
Kubo, F, Ando, T: Means of positive linear operators. Math. Ann. 246, 205-224 (1980)
Pečarić, JE, Furuta, T, Mićić Hot, J, Seo, Y: Mond-Pečarić Method in Operator Inequalities. Element, Zagreb (2005)
Zhao, J, Wu, J, Cao, H, Liao, W: Operator inequalities involving the arithmetic, geometric, Heinz and Heron means. J. Math. Inequal. 8(4), 747-756 (2014)
Kai, H: Young type inequalities for matrices. J. East China Norm. Univ. Natur. Sci. Ed. 4, 12-17 (2012)
Burqan, A, Khandaqji, M: Reverses of Young type inequalities. J. Math. Inequal. 9(1), 113-120 (2015)
Kittaneh, F, Manasarah, Y: Reverse Young and Heinz inequalities for matrices. Linear Multilinear Algebra 59, 1031-1037 (2011)
Bhatia, R: Interpolating the arithmetic-geometric mean inequality and its operator version. Linear Algebra Appl. 413, 355-363 (2006)
Bhatia, R, Davis, C: More matrix forms of the arithmetic-geometric mean inequality. SIAM J. Matrix Anal. Appl. 14, 132-136 (1993)
Kittaneh, F: On the convexity of the Heinz means. Integral Equ. Oper. Theory 68, 519-527 (2010)
Kittaneh, F, Manasarah, Y: Improved Young and Heinz inequalities for matrices. J. Math. Anal. Appl. 361, 262-269 (2010)
He, C, Zou, L, Qaisar, S: On improved arithmetic-geometric mean and Heinz inequalities for matrices. J. Math. Inequal. 6, 453-459 (2012)
Zhan, X: Inequalities for unitarily invariant norms. SIAM J. Matrix Anal. Appl. 20, 466-470 (1998)
Zou, L: On some matrix inequalities. Acta Math. Sin. Chin. Ser. 55, 715-720 (2012)
Zou, L: Inequalities related to Heinz and Heron means. J. Math. Inequal. 7(3), 389-397 (2013)
Bakherad, M, Moslehian, MS: Reverses and variations of Heinz inequality. Linear Multilinear Algebra (2014). doi:10.1080/03081087.2014.880433
Acknowledgements
The authors wish to express their hearty thanks to the referees for their valuable comments, detailed corrections, and suggestions for revising the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors conceived of the study, and participated in the design and coordination. All authors read and approved the final manuscript.
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
Malekinejad, S., Talebi, S. & Ghazanfari, A. Reverses of Young and Heinz inequalities for positive linear operators. J Inequal Appl 2016, 35 (2016). https://doi.org/10.1186/s13660-016-0967-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-0967-6