Some operator inequalities involving operator monotone functions (Q2220336)

Let \(\mathcal H\) denote a complex Hilbert space and \({\mathcal B}(\mathcal H)\) denote the space of all bounded linear opeartors on \(\mathcal H\). For positive invertible operators \(A,B \in {\mathcal B}(\mathcal H)\) and for \(\nu \in [0,1]\), the weighted operator arithmetic (\(\triangledown_{\nu}\)), geometric (\(\sharp_{\nu}\)) and harmonic (\(!_{\nu}\)) means are defined respectively, by \[A\triangledown_{\nu}B:=(1-\nu)A+\nu B,\] \[A\sharp_{\nu}B:=A^{\frac{1}{2}}(A^{-\frac{1}{2}}BA^{-\frac{1}{2}})^{\nu}A^{\frac{1}{2}}\] and \[A!_{\nu}B:=((1-\nu)A^{-1}+\nu B^{-1})^{-1}.\] Then the arithmetic-geometric-harmonic means inequalities state that \[A!_{\nu}B \leq A{\sharp}_{\nu}B \leq A\triangledown_{\nu}B.\] The authors generalize the Klamkin-McLenaghan inequality for every operator mean \(\sigma_{\nu}\), where \(!_{\nu} \leq \sigma_{\nu} \leq \triangledown_{\nu}\).