Mixed matrix (operator) inequalities (Q5957197): Difference between revisions

In this paper, firstly, the author shows the following operator inequality: Let \(f(x)\geq 0\) be an operator monotone function on \([0,\infty)\) and define the operator monotone function \(\varphi_{r,t}\) for \(r\geq 0\), \(t>0\) by \[ \varphi_{r,t}(x)=x^{\frac{r}{r+t}}f(x^{\frac{t}{r+t}}). \] Then \(\log A\leq \log B \) implies \[ \varphi_{r,t}(A^{\frac{r}{2}}B^{t}A^{\frac{r}{2}}) \geq A^{\frac{r}{2}}f(B^{t})A^{\frac{r}{2}}\quad\text{and}\quad \varphi_{r,t}(B^{\frac{r}{2}}A^{t}B^{\frac{r}{2}}) \leq B^{\frac{r}{2}}f(A^{t})B^{\frac{r}{2}}. \] This is an extension of the satellite inequality of \textit{T. Furuta} [Proc. Am. Math. Soc. 111, 511-516 (1991; Zbl 0755.47015)]. Next, by using the above result, the author shows the following mixed inequality: If \(S^{*}S+T^{*}T\leq I\) and \(A, B, C\geq 0\), then \(A\leq S^{*}BS+T^{*}CT\) implies the following inequalities: \[ A^{\frac{r}{2}}(S^{*}B^{s}S+T^{*}C^{s}T)A^{\frac{r}{2}} \leq \left\{ A^{\frac{r}{2}}(S^{*}B^{t}S+T^{*}C^{t}T)A^{\frac{r}{2}} \right\}^{\frac{s+r}{t+r}} \] for \(t\geq 1\), \(t\geq s\geq 0\), \(r>0\), and \[ A^{1+r}\leq \left\{ A^{\frac{r}{2}}(S^{*}B^{t}S+T^{*}C^{t}T)A^{\frac{r}{2}} \right\}^{\frac{1+r}{t+r}} \quad \text{\textit{for \(t\geq 1\), \(r>0\)}.} \] This is an extension of \textit{M. Uchiyama}'s result [Proc. Am. Math. Soc. 129, 3339-3344 (2001; Zbl 0976.47012)].