Function order of positive operators based on the Mond-Pečarić method (Q1863519)

In this paper, the authors show the following order preserving operator inequality: Let \(A\) and \(B\) be positive operators on a Hilbert space satisfying \(MI\geq B\geq mI>0\). Let \(f(t)\) be a continuous convex function on \([m,M]\). If \(g(t)\) is a continuous increasing convex function on \([m,M]\cup\text{Sp}(A)\), then for a given \(\alpha>0\), \[ A\geq B\geq 0\quad \text{implies}\quad \alpha g(A)+\beta I\geq f(B), \] where \(\beta=\max_{t\in [m,M]} \{f(m)+(f(M)-f(m))(t-m)/ (M-m)-\alpha g(t)\}\). Especially, the authors obtain the following Kantorovich type inequality: Let \(A\geq B>0\) and \(MI\geq B\geq mI>0\), then \[ \frac{M^{p-1}}{m^{q-1}}A^{q}\geq \frac{(q-1)^{q-1}}{q^{q}} \frac{(M^{p}-m^{p})^{q}} {(M-m)(mM^{p}-Mm^{p})^{q-1}} A^{q}\geq B^{p} \] holds for all \(p>1\) and \(q>1\) such that \( qm^{p-1}\leq \frac{M^{p}-m^{p}}{M-m}\leq qM^{p-1}\). This is an extension of \textit{T. Furuta}'s result [J. Inequal. Appl. 2, 137-148 (1998; Zbl 0910.47014)]. Moreover, the authors discuss the case \(\log A\geq \log B\) for positive invertible operators \(A\) and \(B\) instead of \(A\geq B\geq 0\), and also complementary inequalities of \(\alpha g(A)+\beta I\geq f(B)\).