New progress on the operator inequalities involving improved Young’s and its reverse inequalities relating to the Kantorovich constant

The purpose of this paper is to give a survey of the progress, advantages and limitations of various operator inequalities involving improved Young’s and its reverse inequalities related to the Kittaneh-Manasrah inequality. We also present our new progress to the related research topics. New scalar versions of Young’s inequalities are promoted, the operator version and the Hilbert-Schmidt form also get a promotion.


Introduction
As is well known, the famous Young's inequality for real numbers is that which is called the u-weighted arithmetic-geometric mean inequality.
Recently, research in this area has received continuous attention. Many researches have spent lots of energy on it due to the applications in various fields. In [, ], Kittaneh and Manasrah researched Young's inequality and obtained the following results: where a, b > , u ∈ [, ] and r = min{u, u}, s = max{u, u}. The left inequality of (.) can be regarded as a refinement of Young's inequality and the right one can be regarded as a reverse of Young's inequality.
In [], Zhao and Wu deepened inequality (.) and showed another refinement of Young's inequality as follows: If  ≤ u ≤   , then where a, b ≥ , u ∈ [, ] and r = min{u,  -u}, r  = min{r,  -r}. Zhao and Wu also obtained a more precise form of the reverse Young's inequality as follows: If  ≤ u ≤   , then where r = min{u,  -u}, r  = min{r,  -r} and a, b ≥ , u ∈ [, ].
In [], Furuichi obtained Young's inequality about Specht's ratio as follows: where r = min{u, u}, h = b a , and a, b > , u ∈ [, ]. In [], Tominaga got the reverse Young inequality with the help of Specht's ratio. He gave the following inequality: Article [] pointed out that Specht's ratio and the Kantorovich constant have the relationship as follows: where t >  and  ≤ r ≤   . Based on this idea, in the article [], the authors got the refinement of Young's inequality: where r = min{u, u}, h = b a , and a, b ≥ , u ∈ [, ]. Generally, the Kantorovich constant is written as K(t, ) = (t+)  t for t > , which has properties K(t, ) = K(  t , ) ≥  (t > ), and K(t, ) is increasing on [, ∞) and is decreasing on (, ).
In [], Zhao and Wu made a further study about inequality (.) with the Kantorovich constant and gave the following results: And then Zhao and Wu made a reverse refinement of the second inequality in (.) Let us take a closer look at [] where Liao et al. made a reverse refinement for Young's inequality as follows: In [], Liao and Wu further deepened the results of inequality (.) and obtained the following results: where h = b a , r = min{u,  -u}, r  = min{r,  -r}, r  = min{r  ,  -r  }. Similarly, Liao and Wu deepened the reverse results of inequality (.) as follows: In [], Hizrallah and Kittaneh showed a square form of the refinement of the first inequality of (.) as follows: where a, b > , u ∈ [, ] and r = min{u,  -u}. In [] He and Zou presented a reverse of the second inequality of (.) as follows: where a, b > , u ∈ [, ] and s = max{u,  -u}.
For the sake of convenience, we have to introduce a set of symbols. Let A, B ∈ B(H) be two positive and invertible operators, where B(H) is regarded as the set of all bounded linear operators on a complex separable Hilbert space H. A * denotes the conjugate operator of A. Let M n be the set of n × n complex matrices. For A = (a ij ) ∈ M n , the Hilbert-Schmidt norm of A is defined by A  = n i,j= a  ij ,  has the unitarily invariant property, that is, UAV  = A  for all A ∈ M n and all unitary matrices U, V ∈ M n . We use the following notations: The operator versions A∇ u B, A# u B, A! u B are called the arithmetic mean, geometric mean and harmonic mean, respectively. When u =   , these operators can be written by simplification as A∇B, A#B, A!B.
The article [] presented the matrix version of (.). For any B, C ∈ M n , if B is a positive definite matrix and C is an invertible matrix, then and inequality (.) can be written as A∇ u B ≥ A# u B.
Next, we have to introduce the development of operator inequalities. In [], Kittaneh and Manasrah took a step further and got the matrix version of inequality (.) where u ∈ [, ], r = min{u,  -u} and s = max{u,  -u}. Based on the idea, articles [, ] and [] also got the corresponding operator forms of inequality (.)-(.).
In [], inequality (.) for the Hilbert-Schmidt norm form was obtained by Hirzallah and Kittaneh, that is, if A, B, X ∈ M n , where A, B are positive semi-definite matrices, then The reverse inequality (.) for the Hilbert-Schmidt norm form was obtained by Kittaneh and Manasrah in [] as the following result: where u ∈ [, ] and s = max{u,  -u}. We find that there are still limitations in the previous inequalities. This paper continues to research the refinement of Young's inequality. The difference is that we present Young's inequalities in four more precise intervals of [, ] other than two sections of [, ], and also the operator form and the matrix version get a promotion.
In Section , a new scalar version of Young's inequality and its reverse with the Kantorovich constant are first given. In Section , we obtain the corresponding new operator inequalities on the Hilbert space. Finally, in Section , we mainly show the matrix version of inequalities for the Hilbert-Schmidt norm.

New progress of Young's and its reverse inequalities
In this section, we mainly present the improved scalar Young and its reverse inequalities relating to the Kantorovich constant.
Proof The process of the proof of inequalities (.) and (.) is similar to that of inequalities (.) and (.), so we only need to prove inequalities (.) and (.).
We first consider the case  < u ≤   . By inequality (.) and inequality (.), we have Then we can conclude the inequality Then, considering the case   ≤ u <   , we have We conclude the inequality So the proof is completed.
It is not hard to see that the results above are superior to inequalities (.) and (.) through more precise subsections.
And the following result is superior to inequalities (.) and (.).
Proof The process of the proof of inequalities (.) and (.) is similar to that of inequalities (.) and (.), so we only need to prove inequalities (.) and (.).
We consider the first case  < u <   . By inequality (.) obtained by Liao and Wu, we have That is to say, So the proof is completed. Next we are going to deduce another form of reverse ratio Young's inequality by virtue of inequality (.).
Proof The process of the proof of the second inequality is similar to that of the first one, we only need to investigate the first one. By inequality (.), we have Then we conclude the inequality So the proof is completed.
Remark . It is worth to mention that we can obtain a new reverse Young's inequality about Specht's ratio on the basis of inequalities (.) and (.). That is: When  < u <   , it is easy to see that the right-hand side of the inequality above and the corresponding side of the inequality in Theorem . cannot be compared because the value of K(  √ h, ) R will change with R; neither of them is uniformly better than the other. The other case when   ≤ u <  has the same conclusion analysis, so we omit it here.
Remark . If we use a  , b  to take the place of a, b in inequalities (.) and (.), we can easily obtain the following results: Note that we can easily obtain the square form of reverse Young's inequality on the basis of the above inequalities (.) and (.) which are more excellent than the inequality in [].
If  < u <   , then Proof The process of proving the second inequality is similar to that of proving the first one, so we omit it and only investigate the first one. By inequalities (.) and (.), we can deduce that And then we can conclude the following inequality: At the end of the section, we are going to consider a new square form based on Theorem . which is more creative than the inequality in [].
Proof It is to mention that the process always has the similarity due to the properties of the problem. So we only need to investigate the first inequality. By inequality (.), we have Then we can conclude the inequality So the proof is completed.

New operator versions of Young-type inequalities
In the section, we will give some more excellent versions of Young-type operator inequalities and their reverse by the monotonic property of operator functions. First, we present the monotonic property of operator function, which is the basis of the following discussion.

Lemma . ([]) Let T ∈ B(H) be self-adjoint. If f and g are both continuous functions with f (t) ≥ g(t) for t ∈ Sp(T) (where the sign Sp(T) denotes the spectrum of operator T ), then f (T) ≥ g(T).
Next we present our main results on the basis of inequalities (.)-(.). By Lemma ., we have the following.

Theorem . Let A, B ∈ B(H) be positive invertible operators, I is the identity operator and u ∈ (, ). If all positive numbers m, m and M, M satisfy either of the conditions  < mI ≤
where h = M m , r = min{ -u, u}, r  = min{r,  -r}.

And these equalities hold if and only if A = B and m = M.
Proof We only need to investigate inequality (.) due to the similarity of the process of proof.
If  < u <   , by inequality (.), for any x > , we have By Lemma ., we have Since the Kantorovich constant K(t, ) = (+t)  t is an increasing function on (, ∞), then In a similar way, under the second condition, we have Since the Kantorovich constant K(t, ) = (+t)  t is a decreasing function on (, ), then Then multiplying inequalities (.) and (.) by A   on the left-hand side and on the righthand side, we can deduce the required inequality (.).

And these equalities hold if and only if A = B and m = M.
Proof The process of the proof is analogous to that of Theorem ., so we omit it here.

Theorem . Let A, B ∈ B(H) be positive invertible operators, I is the identity operator and u ∈ (, ). If all positive numbers m, m and M, M satisfy either of the conditions
where r = min{u,  -u}, R = max{r,  -r} and h = M m .
Proof We only need to investigate the first inequality due to the similarity of the process of proof.
By inequality (.), for any x > , we have Then multiplying the above inequality by A   on the left-hand side and right-hand side respectively, we can deduce the required inequality. The investigation under the other condition is similar to the above, so we omit it here.
A similar analysis can be performed in other cases, so we omit them here.

New matrix versions of Young's inequalities for the Hilbert-Schmidt norm
In the last part, we focus on the matrix version of Young's inequality for the Hilbert-Schmidt norm. As is well known, every positive semi-definite matrix can be unitarily diagonalizable. Then, for any positive semi-definite matrices A and B, there exist two unitary matrices U and V such that If  < u <   , then If   ≤ u < , then where h = b a , r = min{u,  -u}, R = max{r,  -r}.
Proof The proof of the second inequality is similar to that of the first one. Thus we only need to investigate the first one. Since So the proof is completed.