• Research
• Open Access

# Reverses of Young and Heinz inequalities for positive linear operators

Journal of Inequalities and Applications20162016:35

https://doi.org/10.1186/s13660-016-0967-6

• Received: 10 November 2015
• Accepted: 14 January 2016
• Published:

## Abstract

Let A, B be invertible positive operators on a Hilbert space H. We present some improved reverses of Young type inequalities, in particular,
$$(1-\nu)^{2\nu}(A\nabla B)+(1-\nu)^{2(1-\nu)}H_{2\nu}(A,B) \geq2(1-\nu ) (A\sharp B)$$
and
$$(1-\nu)^{2\nu}H_{2\nu}(A,B)+(1-\nu)^{2(1-\nu)}(A\nabla B) \geq2(1-\nu ) (A\sharp B),$$
where $$0\leq\upsilon\leq\frac{1}{2}$$.

We also give some new inequalities involving the Heinz mean for the Hilbert-Schmidt norm.

## Keywords

• Hilbert Space
• Positive Operator
• Operator Monotone
• Operator Version
• Matrix Version

## 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 .

An operator mean is a binary operation σ defined on the set of strictly positive operators, if the following conditions hold:
\begin{aligned}& (1)\quad A\leq C,B\leq D \quad\Rightarrow\quad A\sigma B\leq C\sigma D. \\& (2)\quad A_{n}\downarrow A,B_{n} \downarrow B \quad \Rightarrow\quad A_{n}\sigma B_{n}\downarrow A\sigma B. \\& (3)\quad T^{*}(A\sigma B) T\leq\bigl(T^{*}AT\bigr)\sigma\bigl(T^{*}BT\bigr)\quad \text{for } T\in B(H). \\& (4)\quad I\sigma I=I. \end{aligned}
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 . 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
$$H_{\nu}(A,B)=\frac{A\sharp_{\nu} B+A\sharp_{1-\nu} B}{2},$$
where $$A,B\in B(H)^{++}$$, and $$\nu\in[0,1]$$. The operator version of the Heron means is denoted by
$$F_{\alpha}(A,B)=(1-\alpha) (A\sharp B)+\alpha( A\nabla B)$$
for $$0\leq\alpha\leq1$$. It is well known that if A and B are positive invertible operators, then
$$A\nabla_{\nu} B\geq A\sharp_{\nu} B\geq A!_{\nu} B$$
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
$$f(t)\geq g(t),\quad t\in \operatorname {Sp}(X)\quad \Rightarrow\quad f(X)\geq g(X).$$
(1.1)
For more details as regards this property, the reader is referred to .
The classical Young inequality says that if $$a,b\geq0$$ and $$\nu\in [0,1]$$, then
$$a^{\nu}b^{1-\nu}\leq\nu a+(1-\nu) b$$
(1.2)
with the equality if and only if $$a=b$$.

Zhao et al.  gave an inequality for the Heinz and Heron means as follows:

If A and B are two positive and invertible operators, then
$$H_{\nu}(A,B)\leq F_{\alpha(\nu)}(A,B)$$
(1.3)
for $$\nu\in[0,1]$$, where $$\alpha(\nu)=1-4(\nu-\nu^{2})$$.
Kai in  gave the following Young type inequalities:
$$\nu^{2}a+(1-\nu)^{2}b\geq\nu^{2}( \sqrt{a}-\sqrt{b})^{2}+\nu^{2\nu}a^{\nu}b^{1-\nu}$$
(1.4)
for $$\nu\in[0, \frac{1}{2}]$$. Recently, Burqan and Khandaqji  gave the following reverse of the scalar Young type inequality:
$$\nu^{2}a+(1-\nu)^{2}b\leq(1-\nu)^{2}( \sqrt{a}-\sqrt{b})^{2}+a^{\nu}\bigl[(1-\nu)^{2} b \bigr]^{1-\nu}$$
(1.5)
for $$\nu\in[0,\frac{1}{2}]$$. Also we have
$$\nu^{2}a+(1-\nu)^{2}b\leq\nu^{2}( \sqrt{a}-\sqrt{b})^{2}+\nu^{2\nu}a^{\nu}b^{1-\nu}$$
(1.6)
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
$$(1-\nu)^{2\nu}\bigl[(1-2\nu)a+2\nu b\bigr]+a^{2\nu}(1- \nu)^{2(1-\nu)}b^{1-2\nu }\geq2(1-\nu)\sqrt{ab}$$
(2.1)
and
$$(1-\nu)^{2(1-\nu)}\bigl[(2\nu)a+(1-2\nu) b\bigr]+a^{1-2\nu}(1- \nu)^{2\nu}b^{2\nu }\geq2(1-\nu)\sqrt{ab}.$$
(2.2)

### Proof

If $$0\leq\nu\leq\frac{1}{2}$$, then by inequality (1.2), we have
\begin{aligned} &(1-\nu)^{2\nu}\bigl[(1-2\nu)a+2\nu b\bigr]+a^{2\nu}(1- \nu)^{2(1-\nu)}b^{1-2\nu }-2(1-\nu)\sqrt{ab} \\ &\quad \geq(1-\nu)^{2\nu}\bigl[a^{1-2\nu}b^{2\nu} \bigr]+a^{2\nu}(1-\nu)^{2(1-\nu )}b^{1-2\nu}-2(1-\nu)\sqrt{ab} \\ &\quad =a^{1-2\nu}(1-\nu)^{2\nu}b^{2\nu}+a^{2\nu}(1- \nu)^{2(1-\nu)}b^{1-2\nu }-2(1-\nu)\sqrt{ab} \\ &\quad = \bigl(a^{\frac{1-2\nu}{2}}(1-\nu)^{\nu}b^{\nu}-a^{\nu}(1- \nu)^{(1-\nu )}b^{\frac{1-2\nu}{2}} \bigr)^{2}\geq0 \end{aligned}
and similarly
\begin{aligned} &(1-\nu)^{2(1-\nu)}\bigl[(2\nu)a+(1-2\nu) b\bigr]+a^{1-2\nu}(1- \nu)^{2\nu}b^{2\nu }-2(1-\nu)\sqrt{ab} \\ &\quad \geq(1-\nu)^{2\nu}\bigl[a^{1-2\nu}b^{2\nu} \bigr]+a^{2\nu}(1-\nu)^{2(1-\nu )}b^{1-2\nu}-2(1-\nu)\sqrt{ab} \\ &\quad = \bigl(a^{\frac{1-2\nu}{2}}(1-\nu)^{\nu}b^{\nu}-a^{\nu}(1- \nu)^{(1-\nu )}b^{\frac{1-2\nu}{2}} \bigr)^{2}\geq0. \end{aligned}
□

### Theorem 2

Let $$a,b>0$$ and $$\nu\in[0,\frac{1}{2}]$$. Then
\begin{aligned}& (1-\nu)^{2\nu}a^{1-\nu}b^{\nu}+(1- \nu)^{2(1-\nu)}\bigl[\nu a+(1-\nu)b\bigr]\geq 2(1-\nu)\sqrt{ab}, \end{aligned}
(2.3)
\begin{aligned}& (1-\nu)^{2\nu}\bigl[(1-\nu) a+\nu b\bigr]+a^{\nu}b^{1-\nu}(1- \nu)^{2(1-\nu)}\geq 2(1-\nu)\sqrt{ab}. \end{aligned}
(2.4)

### Proof

If $$0\leq\nu\leq\frac{1}{2}$$, then by inequality (1.2), we have
\begin{aligned} &(1-\nu)^{2\nu}a^{1-\nu}b^{\nu}+(1-\nu)^{2(1-\nu)} \bigl[\nu a+(1-\nu)b\bigr]- 2(1-\nu)\sqrt{ab} \\ &\quad \geq(1-\nu)^{2\nu}a^{1-\nu}b^{\nu}+(1- \nu)^{2(1-\nu)} a^{\nu}b^{1-\nu }- 2(1-\nu)\sqrt{ab} \\ &\quad =(1-\nu)^{2\nu}a^{1-\nu}b^{\nu}+a^{\nu} \bigl[(1-\nu)^{2}b\bigr]^{(1-\nu)}- 2(1-\nu )\sqrt{ab} \\ &\quad = \bigl(a^{\frac{1-\nu}{2}}(1-\nu)^{\nu}b^{\frac{\nu}{2}}-a^{\frac{\nu }{2}}(1- \nu)^{(1-\nu)}b^{\frac{1-\nu}{2}} \bigr)^{2}\geq0 \end{aligned}
and similarly
\begin{aligned} &(1-\nu)^{2\nu}\bigl[(1-\nu) a+\nu b\bigr]+a^{\nu}b^{1-\nu}(1- \nu)^{2(1-\nu)}- 2(1-\nu)\sqrt{ab} \\ &\quad \geq(1-\nu)^{2\nu}a^{1-\nu}b^{\nu}+a^{\nu} \bigl[(1-\nu)^{2}b\bigr]^{(1-\nu)}- 2(1-\nu)\sqrt{ab} \\ &\quad = \bigl(a^{\frac{1-\nu}{2}}(1-\nu)^{\nu}b^{\frac{\nu}{2}}-a^{\frac{\nu }{2}}(1- \nu)^{(1-\nu)}b^{\frac{1-\nu}{2}} \bigr)^{2}\geq0. \end{aligned}
□

### Corollary 1

Let $$a,b>0$$ and $$\nu\in[0,\frac{1}{2}]$$. Then
\begin{aligned}& (1-\nu)^{2\nu} \biggl(\frac{a+b}{2} \biggr)+(1-\nu)^{2(1-\nu)} \biggl(\frac {a^{2\nu}b^{1-2\nu}+a^{1-2\nu}b^{2\nu}}{2} \biggr) \\& \quad \geq2(1-\nu) (\sqrt{ab} ), \end{aligned}
(2.5)
\begin{aligned}& (1-\nu)^{2(1-\nu)} \biggl(\frac{a+b}{2} \biggr)+(1-\nu)^{2\nu} \biggl(\frac {a^{2\nu}b^{1-2\nu}+a^{1-2\nu}b^{2\nu}}{2} \biggr) \\& \quad \geq2(1-\nu) (\sqrt{ab} ), \end{aligned}
(2.6)
\begin{aligned}& (1-\nu)^{2\nu} \biggl(\frac{a+b}{2} \biggr)+(1-\nu)^{2(1-\nu)} \biggl(\frac {a^{\nu}b^{1-\nu}+a^{1-\nu}b^{\nu}}{2} \biggr) \\& \quad \geq2(1-\nu) (\sqrt{ab} ). \end{aligned}
(2.7)

### 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
$$(1-\nu)^{2\nu}(A\nabla B)+(1-\nu)^{2(1-\nu)}H_{2\nu}(A,B) \geq2(1-\nu ) (A\sharp B)$$
and
$$(1-\nu)^{2\nu}H_{2\nu}(A,B)+(1-\nu)^{2(1-\nu)}(A\nabla B) \geq2(1-\nu ) (A\sharp B).$$

### Proof

If $$\nu\in[0,\frac{1}{2}]$$, the inequality (2.1), for $$a=1$$, $$b>0$$, becomes
$$(1-\nu)^{2\nu}\bigl[(1-2\nu)+2\nu b\bigr]+(1- \nu)^{2(1-\nu)}b^{1-2\nu}\geq2(1-\nu )\sqrt{b}.$$
(2.8)
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
\begin{aligned}[b] &(1-\nu)^{2\nu}\bigl[(1-2\nu)+2\nu A^{-\frac{1}{2}} B A^{-\frac{1}{2}} \bigr]+(1-\nu )^{2(1-\nu)}\bigl(A^{-\frac{1}{2}} B A^{-\frac{1}{2}} \bigr)^{1-2\nu} \\ &\quad \geq2(1-\nu) \bigl(A^{-\frac{1}{2}} B A^{-\frac{1}{2}} \bigr)^{\frac{1}{2}}. \end{aligned}
(2.9)
Finally, if we multiply inequality (2.9) by $$A^{\frac{1}{2}}$$ on the left and right, we get
$$(1-\nu)^{2\nu}\bigl[(1-2\nu)A+2\nu B\bigr]+(1- \nu)^{2(1-\nu)}(A\sharp_{1-2\nu }B)\geq2(1-\nu) (A\sharp B).$$
(2.10)
By replacing A by B and B by A, we have
$$(1-\nu)^{2\nu}\bigl[(1-2\nu)B+2\nu A\bigr]+(1- \nu)^{2(1-\nu)}(A\sharp_{2\nu}B)\geq 2(1-\nu) (A\sharp B),$$
(2.11)
and by the sum of (2.10) and (2.11), we have
$$(1-\nu)^{2\nu}(A\nabla B)+(1-\nu)^{2(1-\nu)}H_{2\nu}(A,B) \geq2(1-\nu ) (A\sharp B).$$
Similarly, the inequality (2.2) implies that
$$(1-\nu)^{2\nu}H_{2\nu}(A,B)+(1-\nu)^{2(1-\nu)}(A\nabla B) \geq2(1-\nu ) (A\sharp B).$$
□

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
$$(1-\nu)^{2\nu}H_{\nu}(A,B)+(1-\nu)^{2(1-\nu)}(A\nabla B) \geq2(1-\nu ) (A\sharp B).$$

### Theorem 5

Let $$A,B\in B(H)^{++}$$ and $$\nu\in[0,\frac{1}{2}]$$ Then
$$(1-\nu)^{2(1-\nu)}H_{\nu}(A,B)+(1-\nu)^{2\nu}(A\nabla B) \geq2(1-\nu ) (A\sharp B).$$

### 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 . In this section, we will discuss the reverse Heinz mean inequality for unitarily invariant norms.

A matrix version of the inequality (1.3) is
$$\biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert \leq\biggl\Vert \bigl(1-\alpha( \nu)\bigr)A^{\frac{1}{2}}XB^{\frac{1}{2}}+\alpha(\nu) \biggl(\frac { AX+X B}{2} \biggr)\biggr\Vert ,$$
which was introduced by Bhatia .
The matrix version of the inequality
$$a\sharp b\leq H_{\nu}(a,b)\leq a\nabla b,$$
was proved by Bhatia and Davis , saying that if $$0\leq\nu\leq 1$$, then
$$\bigl\Vert A^{\frac{1}{2}}XB^{\frac{1}{2}}\bigr\Vert \leq \biggl\Vert \frac{A^{\nu }X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert \leq\biggl\Vert \frac{ AX+X B}{2} \biggr\Vert .$$
(2.12)
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  gave a refinement of the Heinz inequality as follows:
$$\biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert \leq 2r_{0}\bigl\Vert A^{\frac{1}{2}}XB^{\frac{1}{2}}\bigr\Vert +(1-2r_{0})\biggl\Vert \frac{ AX+X B}{2}\biggr\Vert .$$
(2.13)
Meanwhile, Kittaneh and Manasarah  also obtained two refinements of the Heinz inequality for the Hilbert-Schmidt norm as follows:
\begin{aligned}& \biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert _{2}^{2} \leq \biggl\Vert \frac{ AX+X B}{2}\biggr\Vert _{2}^{2}-2r_{0} \biggl\Vert \frac{ AX-X B}{2}\biggr\Vert _{2}^{2}, \end{aligned}
(2.14)
\begin{aligned}& \biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert _{2}\leq \biggl\Vert \frac{ AX+X B}{2}\biggr\Vert _{2}-r_{0} \bigl(\sqrt{\Vert AX\Vert _{2}}- \sqrt{\Vert XB\Vert _{2}} \bigr)^{2}. \end{aligned}
(2.15)
He et al.  proved that
$$\biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert ^{2}\leq 2r_{0}\bigl\Vert A^{\frac{1}{2}}XB^{\frac{1}{2}}\bigr\Vert ^{2}+(1-2r_{0})\biggl\Vert \frac{ AX+X B}{2}\biggr\Vert ^{2}.$$
It is weaker than the inequality (2.13) and it is equivalent to the inequality (2.14) for the Hilbert-Schmidt norm . Zhan  proved that if $$\frac{1}{4}\leq\nu\leq\frac{3}{4}$$ and $$-2< t\leq 2$$, then
$$\biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert \leq \frac {1}{t+2}\bigl\Vert t A^{\frac{1}{2}}XB^{\frac{1}{2}}+AX+XB\bigr\Vert .$$
(2.16)
It is also a refinement of the Heinz inequality for matrices. Zou  proved that if $$0\leq\nu\leq1$$, then
$$\biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert _{2}^{2} \leq \biggl\Vert \frac{ AX+X B}{2}\biggr\Vert _{2}^{2}-a \nu(1-\nu)\biggl\Vert \frac{ AX-X B}{2}\biggr\Vert _{2}^{2},$$
which is an improvement of (2.14). Zou also, in , 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
$$\biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert _{2}\leq \biggl\Vert \bigl(1-\alpha(\nu)\bigr)A^{\frac{1}{2}}XB^{\frac{1}{2}}+\alpha(\nu) \frac{ AX+X B}{2}\biggr\Vert _{2}.$$
Kittaneh and Manasarah in  have showed that if A and B are positive definite matrices, $$X\in M_{n}$$ and $$\nu\in[0,1]$$, then
\begin{aligned}& \bigl\Vert (1-\nu)AX+\nu X B\bigr\Vert _{2}^{2}\leq\bigl\Vert A^{1-\nu}XB^{\nu}\bigr\Vert _{2}^{2}+R^{2} \Vert AX-XB\Vert _{2}^{2}, \\& \Vert AX+XB\Vert _{2}^{2}\leq\bigl\Vert A^{1-\nu}XB^{\nu}+A^{\nu}XB^{1-\nu }\bigr\Vert _{2}^{2}+2R\Vert AX-XB\Vert _{2}^{2}, \end{aligned}
where $$R=\max\{\upsilon,1-\upsilon\}$$.
Bakherad and Moslehian  improved the Young inequality and obtained the following inequalities:
$$\Vert AX+XB\Vert _{2}^{2}+2(\nu-1)\Vert AX-XB\Vert _{2}^{2}\leq\bigl\Vert A^{\nu}XB^{1-\nu}+A^{1-\nu}XB^{\nu} \bigr\Vert _{2}^{2},$$
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
\begin{aligned} &\biggl\Vert (1-\nu)^{2(1-\nu)}\frac{A^{2\nu}X B^{1-2\nu}+A^{1-2\nu}XB^{2\nu }}{2}+(1-\nu)^{2\nu} \frac{AX+XB}{2}\biggr\Vert _{2} \\ &\quad \geq2(1-\nu)\bigl\Vert A^{\frac{1}{2}}X B^{\frac{1}{2}}\bigr\Vert _{2}. \end{aligned}

### 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
$$A=U\Gamma_{1} U^{*}\quad \mbox{and} \quad B=V\Gamma_{2}V^{*},$$
where
$$\Gamma_{1}=\operatorname {diag}(\lambda_{1},\ldots,\lambda_{n}), \qquad \Gamma_{2}=\operatorname {diag}(\mu_{1},\ldots,\mu _{n}), \quad \lambda_{i},\mu_{i}\geq0, i=1,\ldots,n.$$
Let
$$Y=U^{*}XV=[y_{ij}],$$
then
\begin{aligned} &\frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2} \\ &\quad =\frac{(U\Gamma _{1}U^{*})^{\nu}X(V\Gamma_{2}V^{*})^{1-\nu}+(U\Gamma_{1}U^{*})^{1-\nu}X(V\Gamma _{2}V^{*})^{\nu}}{2} \\ &\quad =\frac{(U\Gamma_{1}^{\nu}U^{*})X(V\Gamma_{2}^{1-\nu}V^{*})+(U\Gamma_{1}^{1-\nu }U^{*})X(V\Gamma_{2}^{\nu}V^{*})}{2} \\ &\quad =\frac{U\Gamma_{1}^{\nu}(U^{*}XV)\Gamma_{2}^{1-\nu}V^{*}+U\Gamma_{1}^{1-\nu }(U^{*}XV)\Gamma_{2}^{\nu}V^{*}}{2} \\ &\quad =U \biggl(\frac{\Gamma_{1}^{\nu}Y\Gamma_{2}^{1-\nu}+\Gamma_{1}^{1-\nu}Y\Gamma _{2}^{\nu}}{2} \biggr)V^{*}. \end{aligned}
Therefore,
\begin{aligned} \biggl\Vert \frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu}}{2}\biggr\Vert ^{2}_{2}&= \biggl\Vert \frac{\Gamma_{1}^{\nu}Y\Gamma_{2}^{1-\nu}+\Gamma_{1}^{1-\nu}Y\Gamma _{2}^{\nu}}{2}\biggr\Vert _{2}^{2} \\ &=\sum_{i,j=1}^{n} \biggl(\frac{\lambda_{i}^{\nu}\mu_{j}^{1-\nu}+\lambda _{i}^{1-\nu}\mu_{j}^{\nu}}{2} \biggr)^{2}\vert y_{ij}\vert ^{2}. \end{aligned}
Similarly, we have
\begin{aligned} &\sum_{i,j=1}^{n} (\sqrt{ \lambda_{i}\mu_{j}} )^{2}\vert y_{ij} \vert ^{2}=\bigl\Vert A^{\frac{1}{2}}XB^{\frac{1}{2}}\bigr\Vert ^{2}_{2}, \\ &\sum_{i,j=1}^{n} \biggl(\frac{\lambda_{i}+\mu_{j}}{2} \biggr)^{2}\vert y_{ij}\vert ^{2}=\biggl\Vert \frac{ AX+X B}{2}\biggr\Vert ^{2}_{2}. \end{aligned}
It follows from the inequality (2.5) that
\begin{aligned} &\biggl\Vert (1-\nu)^{2(1-\nu)}\frac{A^{2\nu}X B^{1-2\nu}+A^{1-2\nu}XB^{2\nu }}{2}+(1-\nu)^{2\nu} \frac{AX+XB}{2}\biggr\Vert ^{2}_{2} \\ &\quad =\sum_{i,j=1}^{n}\biggl((1- \nu)^{2(1-\nu)}\frac{\lambda_{i}^{2\nu}\mu_{j}^{1-2\nu }+\lambda_{i}^{1-2\nu}\mu_{j}^{2\nu}}{2}+(1-\nu)^{2\nu}\frac{\lambda_{i}+\mu _{j}}{2} \biggr)^{2}\vert y_{ij}\vert ^{2} \\ &\quad \geq\sum_{i,j=1}^{n} \bigl(2(1-\nu) \sqrt{\lambda_{i}\mu_{j}} \bigr)^{2}\vert y_{ij}\vert ^{2}= \bigl(2(1-\nu) \bigr)^{2}\bigl\Vert A^{\frac{1}{2}}XB^{\frac {1}{2}}\bigr\Vert ^{2}_{2}. \end{aligned}
□

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
\begin{aligned} &\biggl\Vert (1-\nu)^{2\nu}\frac{A^{2\nu}X B^{1-2\nu}+A^{1-2\nu}XB^{2\nu }}{2}+(1-\nu)^{2(1-\nu)} \frac{AX+XB}{2}\biggr\Vert _{2} \\ &\quad \geq\bigl\Vert 2(1-\nu) A^{\frac{1}{2}}X B^{\frac{1}{2}}\bigr\Vert _{2}. \end{aligned}

### 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
\begin{aligned} &\biggl\Vert (1-\nu)^{2(1-\nu)}\frac{A^{\nu}X B^{1-\nu}+A^{1-\nu}XB^{\nu }}{2}+(1-2\nu)^{2\nu} \frac{AX+XB}{2}\biggr\Vert _{2} \\ &\quad \geq\bigl\Vert 2(1-\nu) A^{\frac{1}{2}}X B^{\frac{1}{2}}\bigr\Vert _{2}. \end{aligned}

## 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:
\begin{aligned} &\biggl\Vert (1-\nu)^{2(1-\nu)}\frac{A^{2\nu}X B^{1-2\nu}+A^{1-2\nu}XB^{2\nu }}{2}+(1-\nu)^{2\nu} \frac{AX+XB}{2}\biggr\Vert _{2} \\ &\quad \geq2(1-\nu)\bigl\Vert A^{\frac{1}{2}}X B^{\frac{1}{2}}\bigr\Vert _{2}, \end{aligned}
where $$A,B,X \in M_{n}$$ such that A and B are positive definite and $$\nu\in[0,\frac{1}{2}]$$.

## Declarations

### Acknowledgements

The authors wish to express their hearty thanks to the referees for their valuable comments, detailed corrections, and suggestions for revising the manuscript.

## Authors’ Affiliations

(1)
Department of Mathematics, Payame Noor University, P.O. Box 19395-3697, Tehran, Iran
(2)
Department of Mathematics, Payame Noor University, P.O. Box 91735-433, Mashhad, Iran
(3)
Department of Mathematics, Lorestan University, P.O. Box 465, Khoramabad, Iran

## References 