A proof via operator means of an order preserving inequality (Q1813210): Difference between revisions

In [Proc. Am. Math. Soc. 101, 85-88 (1987; Zbl 0721.47023)]\ the author of the paper under review proved that, if \(A\) and \(B\) are operators such that \(A\geq B\geq 0\), then \((B^ r A^ p B^ r)^{1/q}\geq B^{(p+2r)/q}\) whenever \(r\geq 0\), \(p\geq 0\), \(q\geq 1\), and \((1+2r)q\geq p+2r\). Subsequently, \textit{D. Wang} [Am. Math. Mon. 96, No. 6, 517-519 (1989; Zbl 0687.15014)] proved this result in the special case \(p=q=2\), \(r=1\) using the polar decomposition as the main tool while E. Kamei used the concept of the mean of two linear operators to provide proofs for the cases \(p=q=2\), \(r=1\) and \(p=2\), \(q=4/3\), \(r=1\). In the paper under review, the author uses the concept of operator means to prove his original result in its full generality.