Some ways of constructing Furuta-type inequalities (Q2250772): Difference between revisions

The axiomatic theory for operator means of positive invertible operators was developed by \textit{F. Kubo} and \textit{T. Ando} [Math. Ann. 246, 205--224 (1980; Zbl 0412.47013)]. A continuous real valued function \(h\) defined on an interval \(J\) is called operator monotone if \(A\geq B\) implies that \(h(A)\geq h(B)\) for all self-adjoint operators \(A, B \) with spectra in \(J\). There exists an affine order isomorphism between the class of operator means \(\sigma\) and the class \(\mathcal{O}\) of positive operator monotone functions \(h_\sigma\), defined on \((0,\infty)\) with \(h_\sigma(1)=1\), via \(h_\sigma(t)I=I\sigma(tI)\,\,(t>0)\). In addition, \(A\sigma B=A^{1\over 2}h_\sigma(A^{-1\over2}BA^{-1\over2})A^{1\over2}\) for all operators \(A, B>0\). The author presents a relationship between the Ando-Hiai and the Furuta type inequalities. Among other results, he proves that, if \(h\in \mathcal{O}\) with \(h(0)=0\), then \(A, B>0\), \(A\sigma_h B \geq 1\Rightarrow A^r\sigma_h B^r \geq 1\) for all \(r \geq 1\) if and only if there exists a family \(\{\varphi_r\}_{r\geq 1}\) in \(\mathcal{O}\) such that, if \(A\geq B>0\), then \(\varphi_r(X^{r/2}h(X^r)X^{r/2})=X^{r/2}BX^{r/2}\) and \(\varphi_r(X^{r/2}A^{-r}X^{r/2})\leq X^{r/2}BX^{r/2}\) for all \(r \geq 1\), where \(X\) is the positive solution of \(h(X)=B^{-1}\).