Fujii, Masatoshi; Furuichi, Shigeru; Nakamoto, Ritsuo Estimations of Heron means for positive operators. (English) Zbl 1385.47009 J. Math. Inequal. 10, No. 1, 19-30 (2016). Assume that \(\mu\in[0, 1]\), \(A\) and \(B\) are positive operators on a Hilbert space, and \(r\in\mathbb{R}\). The Heron mean for positive operators \(A\) and \(B\) is defined by \[ H_r^\mu(A, B):=r(A\sharp_\mu B)+(1-r)(A\nabla_\mu B)\,, \] where \(A \sharp_\mu B=A^{1/2}\left(A^{-1/2}BA^{-1/2}\right)^\mu A^{1/2}\) and \(A\nabla_\mu B=(1-\mu)A+\mu B\) are the \(\mu\)-geometric mean and the \(\mu\)-arithmetic mean, respectively.In the paper under review, the authors estimate \(H_r^\mu(A, B)\) by the harmonic mean as follows:If \(\mu\in[\frac{1}{2}, 1)\) and \(r \geq \frac{2(2-\mu)}{3(1-\mu)}\), then \[ H_r^\mu(A, B) \leq A!_\mu B\,, \] where \(A!_\mu B=\left((1-\mu)A^{-1}+\mu B^{-1}\right)^{-1}\) is the harmonic mean.Also, the authors prove that, if \(A, B>0\), \(C:=A^{-1/2}BA^{-1/2}\), \(0 \leq \mu \leq\frac{1}{2}\) and \(B-A\geq m >0\), then \[ c_1 \leq A\nabla_mu B+B!_\mu A-2A\sharp_\mu B\,, \] where \(c_1=2m_A\{\|\left((1+m\|A\|^{-1})^{1/2}-(1+m\|A\|^{-1})^\mu\right)\|\} \geq 0\) such that \(m_X=\min\sigma(X)=\|X^{-1}\|^{-1}\) for \(X>0\) and, if \(\frac{1}{2} \leq \mu \leq 1\) and \(A-B \geq m >0\), then \[ \min\{c_2, c_3\} \leq A\nabla_\mu B+B!_\mu A-2A\sharp_\mu B\,, \] where \(c_2=2m_A\left\{(1-m\|A\|^{-1})^{1/2}-(1-m\|A\|^{-1})^\mu\right\}\geq0\) and \(c_3=2m_A\left\{(m_C)^{1/2}-(m_C)^\mu\right\}\geq0\). Reviewer: Ali Morassaei (Zanjan) Cited in 4 Documents MSC: 47A63 Linear operator inequalities Keywords:arithmetic mean; geometric mean; arithmetic-geometric mean inequality; Horen mean PDFBibTeX XMLCite \textit{M. Fujii} et al., J. Math. Inequal. 10, No. 1, 19--30 (2016; Zbl 1385.47009) Full Text: DOI