Some inequalities involving operator monotone functions and operator means (Q2805357)

Let \(H\) be a Hilbert space and let \({\mathcal B}(H)\) denote the space of all bounded linear operators on \(H\). A self-adjoint operator \(A \in {\mathcal B}(H)\) is called \textit{positive} if \(\langle Ax,x \rangle \geq 0\) for all \(x \in H\). \(A\) is called \textit{positive definite} if strict inequality holds in the above inequality, for all non-zero vectors \(x\). If \(A\) is positive, it will be denoted by \(A \geq 0\). For self-adjoint \(A,B \in {\mathcal B}(H)\), we write \(A \leq B\) if \(B-A \geq 0\). A real-valued continuous function \(f\) on \((0,\infty)\) is said to be \textit{operator monotone} if \(A \leq B \Longrightarrow f(A) \leq f(B)\). Let \(A,B\) be self-adjoint positive definite operators and \(\alpha \in [0,1]\). The \textit{\(\alpha\)-geometric mean} of \(A\) and \(B\) is defined by \(A {\sharp}_{\alpha} B:=A^{\frac{1}{2}}{(A^{-\frac{1}{2}}BA^{-\frac{1}{2}})}^{\alpha}A^{\frac{1}{2}}\). For a positive real number \(t\), the Specht's ratio is defined as \(S(t):=\frac{t^{\frac{1}{t-1}}}{e\log t^{\frac{1}{t-1}}}\).NEWLINENEWLINE The main result of the work is stated next: Let \(f:[0, \infty) \rightarrow [0, \infty)\) be an operator monotone function. Suppose that \(0<pA \leq B \leq qA\). Then, for all \(\alpha \in [0,1]\), one has that \(f(A) {\sharp}_{\alpha} f(B) \leq \max \{S(p), S(q)\} f(A {\sharp}_{\alpha} B)\).