An operator monotone function \(\frac{t\log t-t+1}{\log^2 t}\) and strictly chaotic order (Q5957185)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An operator monotone function \(\frac{t\log t-t+1}{\log^2 t}\) and strictly chaotic order |
scientific article; zbMATH DE number 1716567
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An operator monotone function \(\frac{t\log t-t+1}{\log^2 t}\) and strictly chaotic order |
scientific article; zbMATH DE number 1716567 |
Statements
An operator monotone function \(\frac{t\log t-t+1}{\log^2 t}\) and strictly chaotic order (English)
0 references
18 February 2004
0 references
Operator monotonicity
0 references
Löwner-Heinz inequality
0 references
positive invertible operators
0 references
0 references
0.89596295
0 references
0.88463396
0 references
0.8812656
0 references
0.8342216
0 references
0.8298864
0 references
0.8219224
0 references
0 references
In this paper, firstly, the author obtains two simplified proofs of operator monotonicity of NEWLINE\[NEWLINE f(t)=\frac{t\log t-t+1}{\log^{2}t}NEWLINE\]NEWLINE and its dual function NEWLINE\[NEWLINE f^{*}(t)=\frac{t\log^{2}t}{t\log t-t+1}NEWLINE\]NEWLINE by using the Löwner-Heinz inequality.NEWLINENEWLINENEWLINESecondly, the author shows that for positive invertible operators \(A\) and \(B\) satisfying \(1\not\in \sigma(A)\cup\sigma(B)\), (i) \(\log A>\log B\) implies that there exists \(\beta\in ]0,1]\) such that \(f(A^{\alpha})>f(B^{\alpha})\) holds for all \(\alpha\in ]0,\beta[\), (ii) \( A> B\) implies that there exists \(\beta\in ]0,1]\) such that \(f(A^{\alpha})>f(B^{\alpha})\) holds for all \(\alpha\in ]0,\beta[\), and (iii) \( A\geq B\) implies that \(f(A^{\alpha})\geq f(B^{\alpha})\) holds for all \(\alpha\in ]0,1]\).NEWLINENEWLINENEWLINELastly, in contrast to the above results, the author points out that there exist positive invertible operators \(A\) and \(B\) such that \(\log A\geq \log B\) and \(f(A^{\alpha})\not\geq f(B^{\alpha})\) for any \(\alpha>0\).
0 references