Concrete examples of operator monotone functions obtained by an elementary method without appealing to Löwner integral representation (Q935371)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Concrete examples of operator monotone functions obtained by an elementary method without appealing to Löwner integral representation
scientific article

    Statements

    Concrete examples of operator monotone functions obtained by an elementary method without appealing to Löwner integral representation (English)
    0 references
    0 references
    6 August 2008
    0 references
    The author gives some examples of operator monotone functions by an elementary method making use of the Löwner-Heinz inequality: \(A\geq B\geq 0\) ensures that \(A^{\alpha}\geq B^{\alpha} \) for \(\alpha \in [0,1]\) without appealing to Löwner's integral representation. The author uses the following nice variations of the Löwner-Heinz inequality: Let \(\alpha_{j}, \beta_{j},\gamma_{j},\dots\in [0,1]\) for \(j=1,2,\dots,n\). Then both (LH--1) and (LH--2), defined below, are operator monotone functions: \[ \left(\frac{1}{t^{\alpha_{1}} +\dots+ t^{\alpha_{n}}} +\frac{1}{t^{\beta_{1}} +\dots+ t^{\beta_{n}}}+ \frac{1}{t^{\gamma_{1}} +\dots+ t^{\gamma_{n}}}+\dots\right)^{-1} \tag{LH--1} \] and \[ (1+t^{-1})^{-\alpha_{1}}+(1+t^{-1})^{-\alpha_{2}}+\dots+(1+t^{-1})^{-\alpha_{n}}. \tag{LH--2} \] In particular, \((t^{-\alpha_{1}}+t^{-\alpha_{2}}+\dots+t^{-\alpha_{n}})^{-1}\) is operator monotone by (LH--1). As examples, the author states the following operator monotone functions: \(f(t)=\frac{1}{(1+t) \log (1+\frac{1}{t})} \), \( f(t)=\frac{t-1-\log t}{\log^2 t}\), and \(f(t)=\frac{t(t+2)}{(t+1)^2} \log (t+2)\), etc. Finally, the author gives an elementary proof of the known result that \(f_{p}(t)=\frac{p-1}{p} (\frac{t^p-1}{t^{p-1} -1})\) is an operator monotone function for \(-1\leq p\leq 2\).
    0 references
    operator monotone function
    0 references
    Löwner-Heinz inequality
    0 references

    Identifiers