Mixed matrix (operator) inequalities (Q5957197)

From MaRDI portal
Revision as of 22:32, 3 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 1716579
Language Label Description Also known as
English
Mixed matrix (operator) inequalities
scientific article; zbMATH DE number 1716579

    Statements

    Mixed matrix (operator) inequalities (English)
    0 references
    0 references
    18 February 2004
    0 references
    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)].
    0 references
    Positive definite matrix
    0 references
    Matrix monotone function
    0 references
    operator inequality
    0 references
    operator monotone function
    0 references
    mixed inequality
    0 references

    Identifiers