Some ways of constructing Furuta-type inequalities
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}\).
- Operator means deformed by a fixed point method
- New characterizations of operator monotone functions
- A converse of Loewner-Heinz inequality and applications to operator means
- Estimates of operator convex and operator monotone functions on bounded intervals
- A characterization of the harmonic operator mean as an extension of Ando's theorem
- Furuta's inequality and its application to Ando's theorem
- New inequalities for interpolational operator means
- scientific article; zbMATH DE number 3919141
- scientific article; zbMATH DE number 4214754
- scientific article; zbMATH DE number 6874514
- $A \geq B \geq 0$ Assures $(B^r A^p B^r)^{1/q} \geq B^{(p+2r)/q$ for $r \geq 0$, $p \geq 0$, $q \geq 1$ with $(1 + 2r)q \geq p + 2r$
- A new majorization between functions, polynomials, and operator inequalities. II
- Ando-Hiai inequality and Furuta inequality
- Beiträge zur Störungstheorie der Spektralzerlegung
- Comparison of norms \(|||f(A)-f(B)|||\) and \(|||f(|A-B|)|||\)
- scientific article; zbMATH DE number 1022658 (Why is no real title available?)
- scientific article; zbMATH DE number 4122661 (Why is no real title available?)
- Log majorization and complementary Golden-Thompson type inequalities
- Means of positive linear operators
- The best possibility of the grand Furuta inequality
- When does Ando-Hiai inequality hold?
- Indefinite matrix inequalities via matrix means
- Furuta type inequalities via operator means and applications to Kadison's type inequalities
- Characterizations of Jordan \(^*\)-isomorphisms of \(C^*\)-algebras by weighted geometric mean related operations and quantities
- Geometric convexity of an operator mean
- Operator functions associated with Furuta's inequality
- Operator means of probability measures
- The Ando-Hiai inequalities for the solution of the generalized Karcher equation and related results
- A generalization of Araki's log-majorization
- VARIANTS OF ANDO–HIAI TYPE INEQUALITIES FOR DEFORMED MEANS AND APPLICATIONS
- Ando-Hiai-type inequalities for operator means and operator perspectives
- Ando-Hiai type inequalities for multivariate operator means
- Ando-Hiai Inequality: Extensions and Applications
- Perspectives, Means and their Inequalities
- Operator means deformed by a fixed point method
This page was built for publication: Some ways of constructing Furuta-type inequalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2250772)
