A complement of the Ando-Hiai inequality and norm inequalities for the geometric mean

Norms (inequalities, more than one norm, etc.) of linear operators (47A30) Linear operator inequalities (47A63) Operator means involving linear operators, shorted linear operators, etc. (47A64)

Review text

Let \(A\) and \(B\) be two positive Hilbert space operators such that, for some positive numbers \(m, M\), we have \(0< m\leq A\) and \(B\leq M\). Let \(A\#_\alpha B= A^{{1\over 2}}(A^{{-1\over 2}} BA^{{-1\over 2}})^\alpha A^{{1\over 2}}\) be the \(\alpha\)-geometric operator mean, where \(0<\alpha< 1\) is arbitrary. The authors prove a Kantorovich type inequality, complementary to the well-known Ando--Hiai inequality. Namely, it is shown that, for every \(0<r<1\), one has \[ K(h^2, \alpha)^r\| A^r\#_\alpha B^r\|\leq\| A\#_\alpha B\|^r\leq\| A^r\#_\alpha B^r\|, \] where \(K(h,\alpha)\) is a generalized Kantorovich constant and \(h= M/m\).

Recommendations

Cited in

(13)

This page was built for publication: A complement of the Ando-Hiai inequality and norm inequalities for the geometric mean

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2479745)