Liao and Wu Journal of Inequalities and Applications (2015) 2015:215 DOI 10.1186/s13660-015-0735-z
RESEARCH
Open Access
Reverse arithmetic-harmonic mean and mixed mean operator inequalities Wenshi Liao* and Junliang Wu *
Correspondence:
[email protected] College of Mathematics and Statistics, Chongqing University, Chongqing, 401331, P.R. China
Abstract This note aims to present some scalar inequalities and operator inequalities on a Hilbert space. Firstly, the direct reverse weighted arithmetic-harmonic mean inequalities for scalars are obtained. Secondly, based on these scalar inequalities, the corresponding operator inequalities are established. Finally, we present the mixed arithmetic-geometric and geometric-harmonic means inequalities for two positive operators. MSC: 47A63; 47A64; 47C15 Keywords: arithmetic-harmonic mean; mixed mean; Kantorovich constant; operator inequalities
1 Introduction Let B (H) be the C ∗ -algebra of all bounded linear operators on a complex separable Hilbert space H. I stands for the identity operator. B ++ (H) denotes the cone of all positive invertible operators on H. As a matter of convenience, we use the following notations to define the μ-weighted arithmetic mean (AM), geometric mean (GM), and harmonic mean (HM) for scalars and operators: a∇μ b = ( – μ)a + μb,
– a!μ b = ( – μ)a– + μb– , μ A#μ B = A A– BA– A ,
A∇μ B = ( – μ)A + μB, – A!μ B = ( – μ)A– + μB– ,
where a, b > , A, B ∈ B ++ (H), and μ ∈ [, ]. When μ = , we write a∇b, a!b, A∇B, A#B and A!B for brevity, respectively. It is well known that the famous μ-weighted A-G-H mean inequalities hold, a∇μ b ≥ a–μ bμ ≥ a!μ b
(.)
for a, b > and μ ∈ [, ] with equalities if and only if a = b. The first inequality of (.) is the classical Young inequality. An operator version of (.) proved in [] says that if A, B ∈ B ++ (H) and μ ∈ [, ], then A∇μ B ≥ A#μ B ≥ A!μ B. © 2015 Liao and Wu. 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.
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 2 of 13
In recent years, the study of the A-G-H mean inequalities has received increasing attention in the literature (see [–]). Zuo et al. (see []) refined the Young inequality with the Kantorovich constant and obtained the following results: a∇μ b ≥ K(h, )r a–μ bμ ,
(.)
where a, b > , μ ∈ [, ], r = min{μ, – μ}, and h = ab . In addition, they also refined the μ-weighted arithmetic-harmonic mean inequality and extended it to an operator version as follows: a∇μ b ≥ a!μ b + r(a∇b – a!b),
(.)
A∇μ B ≥ A!μ B + r(A∇B – A!B),
(.)
where a, b > , A, B ∈ B ++ (H), μ ∈ [, ], and r = min{μ, – μ}. By (.) and (.), we are encouraged to investigate whether there exist reverse forms of the μ-weighted arithmeticharmonic mean inequality, so we give an affirmative answer to this question in our paper. Moreover, mixed mean inequalities are also extremely attractive. Sagae and Tanabe [] establish a mixed A-G mean inequality for a finite number of strictly positive operators. Mond and Pečarić [] establish a mixed A-G and G-H mean inequalities for two noncommutative strictly positive operators as follows: Let A and B be positive invertible operators. The mixed arithmetic-geometric and geometric-harmonic mean inequalities are valid: A#(A∇B) ≥ A∇(A#B),
(.)
A#(A!B) ≤ A!(A#B).
(.)
In this paper, we are concerned with the weighted arithmetic-harmonic, mixed arithmetic-geometric and mixed geometric-harmonic mean inequalities. In Section , we present direct reverse weighted arithmetic-harmonic mean inequalities by the Kantorovich constant and deduce some auxiliary results. In Section , we extend inequalities proved in Section from the scalars setting to a Hilbert space operator setting. In Section , we establish mixed weighted arithmetic-geometric and geometric-harmonic means inequalities for two positive operators which are the refinements of (.) and (.).
2 Reverse arithmetic-harmonic mean inequalities In this section, we mainly present the direct reverse forms of the μ-weighted arithmeticharmonic mean inequality for two positive numbers a, b. First of all, we recall the classical Kantorovich inequality in []. Lemma . Let < a = x < x < · · · < xn = b be given positive numbers, λ , λ , . . . , λn ≥ and ni= λi = . Then
n i=
λi x i
n
λi x– i
≤ A G– ,
i=
where A = (a + b), G =
√
ab are the arithmetic and geometric means, respectively.
(.)
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 3 of 13
The inequality (.) is the Kantorovich inequality and the number (a+b) is called the ab Kantorovich constant. For convenience, we write the Kantorovich constant as K(t, ) = (t+) (t = ab ), which has the properties K(, ) = , K(t, ) = K( t , ) ≥ (t > ), and K(t, ) is t monotone increasing on [, ∞), and monotone decreasing on (, ]. When n = , we can get a special form for the inequality (.) as follows. Proposition . Let a, b > and μ ∈ [, ]. Then a∇μ b ≤ K(h, )a!μ b,
(.)
where h = ab . Equality holds if and only if a = b. Remark . The inequality (.) is a direct reverse of the μ-weighted arithmeticharmonic mean inequality. It is very interesting that by the inequality (.) and (.) we can get a reverse of Young inequality (it is also a reverse of the inequality (.)): a∇μ b ≤ K(h, )a!μ b ≤ K(h, )–r a–μ bμ = K(h, )R a–μ bμ ,
(.)
where a, b > , μ ∈ [, ], r = min{μ, – μ}, and R = max{ – μ, μ}. Replacing a, b by a– , b– in the above inequalities, respectively, we have a–μ bμ ≤ K(h, )R a!μ b.
(.)
Next, we deduce a direct reverse of the inequality (.) by the following lemma. Lemma . [] Let xi (i = , , . . . , n) belong to a fixed closed interval I, pi ≥ with and p¯ = max{p , p , . . . , pn }. If f is a convex function on I, then n
pi f (xi ) – f
n
i=
pi xi
i=
n
n n ≤ n¯p f (xi ) – f xi . n n i= i=
i= pi
=
(.)
It is easy to see that if we take f (x) = x– in the inequality (.), then we have the following. Proposition . If x , x , . . . , xn > and pi ≥ (i = , , . . . , n) with n i=
pi x– i
–
n i=
– pi xi
n
i= pi
= , then
– n n – x – xi , ≤ n¯p n i n i= i=
(.)
where p¯ = max{p , p , . . . , pn }. In particular, when n = in the inequality (.), we can get a∇μ b ≤ a!μ b + R(a∇b – a!b),
(.)
where a, b > , μ ∈ [, ], R = max{ – μ, μ}. Equality holds if and only if a = b. Note that (.) is a reverse of the inequality (.) with a similar form. The following three theorems are our main reverse forms of the μ-weighted arithmeticharmonic mean inequality for scalars.
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 4 of 13
Theorem . Let a, b > , and μ ∈ [, ]. Then the inequality √ a∇μ b ≤ r(a∇b – a!b) + K( h, )R K(h, )R a!μ b
(.)
holds, where h = ab , r = min{μ, – μ}, R = max{μ, – μ}, and R = max{r, – r}. Equality holds if and only if a = b. Proof By the inequalities (.) and (.), firstly, we consider the case μ ∈ [, ], √ a∇μ b – μ(a∇b – a!b) ≤ a∇μ b – μ(a∇b – ab) √ = ( – μ)a + μ ab √ ≤ K( h, )R a–μ bμ √ ≤ K( h, )R K(h, )R a!μ b. If μ ∈ ( , ], then we have √ a∇μ b – ( – μ)(a∇b – a!b) ≤ a∇μ b – ( – μ)(a∇b – ab) √ = (μ – )b + ( – μ) ab √ ≤ K( h, )R a–μ bμ √ ≤ K( h, )R K(h, )R a!μ b. By the above discussion, for any μ ∈ [, ], the inequality (.) always holds. Note that (.) can also be considered as a reverse ratio inequality of (.): √ < a!μ b ≤ a∇μ b – r(a∇b – a!b) ≤ K( h, )R K(h, )R a!μ b. Theorem . Let a, b > , μ ∈ [, ], and h = ab . (I) If ≤ μ ≤ , then √ √ a∇μ b – μ(a∇b – a!b) ≤ K( h, )a!μ ab. Equality holds if and only if a = b. (II) If < μ ≤ , then √ √ a∇μ b – ( – μ)(a∇b – a!b) ≤ K( h, )b!–μ ab. Equality holds if and only if a = b. Proof By the inequality (.), firstly, we consider the case μ ∈ [, ], then we have √ a∇μ b – μ(a∇b – a!b) ≤ a∇μ b – μ(a∇b – ab) √ = ( – μ)a + μ ab √ √ ≤ K( h, )a!μ ab.
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 5 of 13
If μ ∈ ( , ], then we have √ a∇μ b – ( – μ)(a∇b – a!b) ≤ a∇μ b – ( – μ)(a∇b – ab) √ = (μ – )b + ( – μ) ab √ √ ≤ K( h, )b!–μ ab. The proof is completed.
Theorem . Let a, b > and μ ∈ [, ]. (I) If ≤ μ ≤ , then √ √ √ a∇μ b – μ(a∇b – a!b) ≤ a!μ ab + R (a∇ ab – a! ab). Equality holds if and only if a = b. (II) If < μ ≤ , then √ √ √ a∇μ b – ( – μ)(a∇b – a!b) ≤ b!–μ ab + R (b∇ ab – b! ab). Equality holds if and only if a = b. Proof Firstly, we consider the case μ ∈ [, ], by the inequality (.), then we have √ a∇μ b – μ(a∇b – a!b) ≤ ( – μ)a + μ ab √ √ √ ≤ a!μ ab + max{ – μ, μ}(a∇ ab – a! ab). If μ ∈ ( , ], by the inequality (.), then we have a∇μ b – ( – μ)(a∇b – a!b) √ ≤ (μ – )b + ( – μ) ab √ √ √ ≤ b!–μ ab + max{ – μ, μ – }(b∇ ab – b! ab). The proof is completed.
Note that the inequalities proved in Theorem .-. are all the reverses of the inequality (.).
3 Reverse arithmetic-harmonic mean operator inequalities In this section, we present the operator versions of these reverse arithmetic-harmonic mean inequalities proved in Section . The techniques are based on the monotonicity property of operator functions described in the following lemma (for more details, see [, ]). Lemma . Let X ∈ B (H) be self-adjoint operator and if f and g are both continuous functions with f (t) ≥ g(t) for t ∈ Sp(X) (the spectrum of X), then f (X) ≥ g(X) with equality if and only if f (t) = g(t) for all t ∈ Sp(X).
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 6 of 13
Based on Proposition ., we can deduce the operator inequality which is also the noncommutative Kantorovich inequality proved by Furuta et al. [], but our method is different. Proposition . Let A, B ∈ B ++ (H) and positive real numbers m, M satisfy < mI ≤ A, B ≤ MI. Then A∇μ B ≤ K(h, )A!μ B, where μ ∈ [, ] and h =
M . m
(.) Equality holds if and only if A = B and m = M.
Proof By the inequality (.), we have – ( – μ) + μx ≤ K(x, ) ( – μ) + μx– for any x > , and hence – ( – μ)I + μX ≤ max K(x, ) ( – μ)I + μX – h ≤x≤h
for the positive operator X such that < h I ≤ X ≤ hI. Since < h I ≤ A– BA– ≤ hI and the Kantorovich constant K(t, ) is an increasing function for t > and K( h , ) = K(h, ), substituting A– BA– for X in the above inequality, we have – – ( – μ)I + μA– BA– ≤ K(h, ) ( – μ)I + μ A– BA– .
Multiplying both sides of the above inequality by A , we can deduce the required inequality (.). We prove an operator inequality obtained by Krnić et al. in [] by a different method. But our method is more transparent and simpler than the one given in []. Proposition . Let A, B ∈ B ++ (H) and μ ∈ [, ]. Then A∇μ B ≤ A!μ B + R(A∇B – A!B), where R = max{ – μ, μ}. Equality holds if and only if A = B. Proof By the inequality (.), for x > and μ ∈ [, ], we have
– + x– + x – – . ( – μ) + μx– ≤ ( – μ) + μx + R For a positive invertible operator T and μ ∈ [, ], it follows that
– I + T – I + T – ( – μ)I + μT – ≤ ( – μ)I + μT + R – .
(.)
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 7 of 13
Putting T = A– BA– in the above inequality and multiplying both sides by A , we deduce the inequality (.). Note that, by (.) and (.), we have < A!μ B ≤ A!μ B + r(A∇B – A!B) ≤ A∇μ B ≤ A!μ B + R(A∇B – A!B). Based on Theorem ., we have the following. Theorem . Let A, B ∈ B ++ (H) and positive real numbers m, M satisfy < mI ≤ A, B ≤ MI. Then for μ ∈ [, ], √ A∇μ B – r(A∇B – A!B) ≤ K( h, )R K(h, )R A!μ B,
(.)
where h = M , r = min{μ, – μ}, R = max{μ, – μ}, and R = max{r, – r}. Equality holds m if and only if A = B and m = M. Proof By the inequality (.), we have
+x – – ( – μ) + μx – r – + x – √ ≤ K( x, )R K(x, )R ( – μ) + μx– for any x > , and hence
– I +X – I + X – √ – ≤ K( h, )R K(h, )R ( – μ)I + μX –
( – μ)I + μX – r
for the positive operator X such that < h I ≤ X ≤ hI. By a similar process to Proposition ., we can deduce the required inequality (.). Note that (.) is a reverse of (.): √ < A!μ B ≤ A∇μ B – r(A∇B – A!B) ≤ K( h, )R K(h, )R A!μ B. Now, we exhibit the operator inequalities based on Theorem . and Theorem .. Theorem . Let A, B ∈ B ++ (H) and μ ∈ [, ]. The positive real numbers m, M satisfy . < mI ≤ A, B ≤ MI and h = M m
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 8 of 13
(I) If ≤ μ ≤ , then √ A∇μ B – μ(A∇B – A!B) ≤ K( h, )A!μ (A#B).
(.)
Equality holds if and only if A = B and m = M. (II) If < μ ≤ , then √ A∇μ B – ( – μ)(A∇B – A!B) ≤ K( h, )B!(–μ) (A#B).
(.)
Equality holds if and only if A = B and m = M. Proof If ≤ μ ≤ , by (I) of Theorem ., we have
+a – – ( – μ) + μa – μ – + a √ – ≤ K( a, ) ( – μ) + μa– for any a > , and hence
– – I +X – I+ X ( – μ)I + μX – μ √ – ≤ K( h, ) ( – μ)I + μX – for the positive invertible operator X such that < h I ≤ X ≤ hI. Substituting A– BA– for X in the above inequality, we have
( – μ)I + μA– BA–
– – I + A– BA– – – – I + A BA – μ √ – – ≤ K( h, ) ( – μ)I + μ A– BA– .
Multiplying both sides of (.) by A , we can deduce the required inequality (.). Likewise, if < μ ≤ , by (II) of Theorem ., we have
+b – – ( – μ)b + μ – ( – μ) – + b √ – ≤ K( b, ) (μ – )b– + ( – μ) for any b > , and hence – I +Y – I + Y – √ – ≤ K( h, ) (μ – )Y – + ( – μ)I
( – μ)Y + μI – ( – μ)
for the positive invertible operator Y such that < h I ≤ Y ≤ hI.
(.)
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 9 of 13
Substituting B– AB– for Y in the above inequality, we have
μI + ( – μ)B– AB–
– – – – I + B– AB– – I + I B AB – ( – μ) √ – – ≤ K( h, ) (μ – ) B– AB– + ( – μ)I .
Multiplying both sides of (.) by B , we can deduce the required inequality (.).
(.)
Note that, by (.), (.), and (.), we have < A!μ B ≤ A∇μ B – r(A∇B – A!B) √ ≤ μ ≤ , K( h, )A!μ (A#B), √ ≤ K( h, )B!(–μ) (A#B), < μ ≤ . Theorem . Let A, B ∈ B ++ (H) and μ ∈ [, ]. (I) If ≤ μ ≤ , then A∇μ B – μ(A∇B – A!B) ≤ A!μ (A#B) + R A∇(A#B) – A!(A#B) .
(.)
Equality holds if and only if A = B. (II) If < μ ≤ , then A∇μ B – ( – μ)(A∇B – A!B) ≤ B!–μ (A#B) + R B∇(A#B) – B!(A#B) . (.) Equality holds if and only if A = B. Proof If ≤ μ ≤ , by (I) of Theorem ., we have
– – +b – – ( – μ) + μb– – + b ( – μ) + μb – μ
– – + b ≤ max{ – μ, μ} + b – for any b > , and hence –
I +X – – ( – μ)I + μX – ( – μ)I + μX – μ – I + X –
– I + X– ≤ max{ – μ, μ} I + X – for the positive invertible operator X. Substituting A– BA– for X in the above inequality and then multiplying both sides by A , we can deduce the required inequality (.).
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Likewise, if
Page 10 of 13
< μ ≤ , by (II) of Theorem ., we have
( – μ)a + μ – ( – μ)
a+ – – – a +
– – – ≤ (μ – ) + ( – μ)a– + a + max{ – μ, μ – } + a – for any a > , and hence – – Y +I – Y + I – ≤ (μ – )I + ( – μ)Y –
– – + max{ – μ, μ – } I + Y – I+ Y
( – μ)Y + μI – ( – μ)
for the positive invertible operator Y . Substituting B– AB– for Y in the above inequality and then multiplying both sides by B , we can deduce the required inequality (.). Note that, by (.), (.), and (.), we have < A!μ B ≤ A∇μ B – r(A∇B – A!B) ≤ μ ≤ , A!μ (A#B) + R (A∇(A#B) – A!(A#B)), ≤ B!–μ (A#B) + R (B∇(A#B) – B!(A#B)), < μ ≤ . Remark . These inequalities proved in Theorem .-. are all the reverse forms of the inequality (.). It is easy to see that the right-hand side of these inequalities can not be compared with each other, but they are indeed new versions of reverse ratio arithmeticharmonic mean inequality.
4 The mixed mean inequalities In this section, we obtain refinements of the inequalities (.) and (.) and deduce some mixed weighted arithmetic-geometric and geometric-harmonic means inequalities. First, we need the following lemma. Lemma . (Hermite-Hadamard’s inequality []) If f : I → R is a convex function on the interval I ⊂ R, then for any x, y ∈ I with x = y, we have f
x+y
≤
y–x
x
y
f (t) dt ≤
f (x) + f (y) .
(.)
Theorem . Let A, B ∈ B ++ (H). Then – A∇(A#B) – (A#B) A∇(A#B) A ≥ A∇(A#B), – – A#(A!B) ≤ A!(A#B) – (A#B)– A!(A#B) A– ≤ A!(A#B).
A#(A∇B) ≥
(.) (.)
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 11 of 13
Proof Applying the Hermite-Hadamard’s inequalities (.) to the convex function f (t) = –t , t > , we have
x+y
≥
/ / –
/ / x +y (x/ + y/ ) x +y ≥ – (xy)/ ,
≥
I + C / I + C / – (I + C / ) – (C)/ ≥
/
and hence
I +C
/
for a positive invertible operator C. Putting C = A– BA– in the above inequality and multiplying both sides by A , we can obtain (.). Substituting A– for A and B– for B and then taking the inverse in (.), we get (.). Note that the inequalities (.) and (.) are the refinements of (.) and (.), respectively. If f is convex on a segment [a, b] of a linear space, one can easily observe that (.) is equivalent to the following double inequality:
a+b f
f (a) + f (b) . f ( – t)a + tb dt ≤
≤
(.)
A natural generalization of the classical Hermite-Hadamard inequality to Hermitian matrices could be the double inequality f
A+B
≤
f (A) + f (B) . f ( – t)A + tB dt ≤
However, Moslehian [] pointed out that this was not true. We will show that the following result is valid. Theorem . Let A, B ∈ B ++ (H). Then
A#(A∇B) ≥
A#(A∇t B) dt ≥ A∇(A#B).
(.)
Proof Taking f (t) = –t , t > in (.), then
a+b
/
≥
( – t)a + tb
/
dt ≥
(a/ + b/ ) ,
and by a method resembling Theorem ., we obtain (.).
In the next theorems, mixed weighted arithmetic-geometric and geometric-harmonic mean inequalities are established. First, we show the definition of operator convex (see [], p.).
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 12 of 13
Definition . A continuous function f : I → R on the interval I ⊂ R is said to be operator convex if for every pair of self-adjoint operators X, Y on a Hilbert space H with spectrum in I and each v ∈ [, ], f ( – v)X + vY ≤ ( – v)f (X) + vf (Y ).
(.)
A function f is called operator concave if the function –f is operator convex. The function f (X) = X s is operator convex on a self-adjoint operator space for – ≤ s ≤ or ≤ s ≤ and is operator concave for ≤ s ≤ . For an operator convex function f : I → R on the interval I ⊂ R, we have the following property (see [], p.): For each v ∈/ [, ], self-adjoint operators X, Y and ( – v)X + vY with spectra in I, f ( – v)X + vY ≥ ( – v)f (X) + vf (Y ).
(.)
In the next theorems, we still use the notations A∇v B, v ∈/ [, ], and A#s B, s ∈ [–, ] ∪ [, ]. Theorem . Let A, B ∈ B ++ (H), and v ∈ [, ]. If s ∈ [–, ] ∪ [, ], then A#s (A∇v B) ≤ A∇v (A#s B),
(.)
A#s (A!v B) ≥ A!v (A#s B).
(.)
Proof By the inequality (.), for every pair of self-adjoint operators X, Y and the operator convex function f (x) = xs (x > ), s ∈ [–, ] ∪ [, ], we have
( – v)X + vY
s
≤ ( – v)X s + vY s .
Putting X = I and Y = A– BA– in the above inequality and multiplying both sides by A , we can get (.). Substituting A– for A and B– for B in (.) and then taking the inverse of both sides, we get (.). Theorem . Let A, B ∈ B ++ (H) and ( – v)A + vB ∈ B ++ (H) for v ∈/ [, ]. (I) If s ∈ [, ], then A#s (A∇v B) ≤ A∇v (A#s B), A#s (A!v B) ≥ A!v (A#s B). (II) If s ∈ [–, ] ∪ [, ], then A#s (A∇v B) ≥ A∇v (A#s B), A#s (A!v B) ≤ A!v (A#s B). Proof By the inequality (.) and using the same ideas as in the proof of Theorem ., we can deduce this theorem.
Liao and Wu Journal of Inequalities and Applications (2015) 2015:215
Page 13 of 13
Competing interests The authors declare that they have no competing interests. Authors’ contributions All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript. Acknowledgements The authors wish to express their heartfelt thanks to the referees for their detailed and helpful suggestions for revising the manuscript. The authors are grateful to Dr. Pujun Long for fruitful discussion and revising the manuscript. Received: 30 March 2015 Accepted: 15 June 2015 References 1. Furuta, T, Mi´ci´c Hot, J, Peˇcari´c, J, Seo, Y: Mond-Peˇcari´c Method in Operator Inequalities. Element, Zagreb (2005) 2. Furuichi, S: On refined Young inequalities and reverse inequalities. J. Math. Inequal. 5, 21-31 (2011) 3. Kittaneh, F, Manasrah, Y: Reverse Young and Heinz inequalities for matrices. Linear Multilinear Algebra 59, 1031-1037 (2011) 4. Wu, J, Zhao, J: Operator inequalities involving improved Young and its reverse inequalities. J. Math. Anal. Appl. 421, 1779-1789 (2015) 5. Zuo, H, Shi, G, Fujii, M: Refined Young inequality with Kantorovich constant. J. Math. Inequal. 5(4), 551-556 (2011) 6. Sagae, M, Tanabe, K: Upper and lower bounds for the arithmetic-geometric-harmonic means of positive definite matrices. Linear Multilinear Algebra 37, 279-282 (1994) 7. Mond, B, Peˇcari´c, JE: A mixed arithmetic-mean-harmonic-mean matrix inequality. Linear Algebra Appl. 237/238, 449-454 (1996) 8. Newman, M: Kantorovich’s inequality. J. Res. Natl. Bur. Stand. 64B, 33-34 (1960) 9. Mitroi, FC: About the precision in Jensen-Steffensen inequality. An. Univ. Craiova, Ser. Mat. Inform. 37(4), 73-84 (2010) 10. Bhatia, R: Matrix Analysis. Springer, New York (1997) 11. Krni´c, M, Lovriˇcevi´c, N, Peˇcari´c, J: Jensen’s operator and applications to mean inequalities for operators in Hilbert space. Bull. Malays. Math. Soc. 35, 1-14 (2012) 12. Mitrinovi´c, DS, Lackovi´c, I: Hermite and convexity. Aequ. Math. 28, 229-232 (1985) 13. Moslehian, MS: Matrix Hermite-Hadamard type inequalities. Houst. J. Math. 39(1), 177-189 (2013) 14. Shi, S: Convex Analysis. Shanghai Science Technique Publisher, Shanghai (1990) (in Chinese)