On the binary relation \(\leqslant_u\) on self-adjoint Hilbert space operators (Q424757): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Hamed Najafi / rank | |||
Property / author | |||
Property / author: Hamed Najafi / rank | |||
Normal rank | |||
Property / review text | |||
Let \(H\) be a complex Hilbert space and let \(B(H)\) be the \(C^*\)-algebra of bounded linear operators on \(H\). For two self-adjoint operators \(A,B\in B(H)\) one writes \(A\leq_u B\) if \(A\leq U^*BU\) for some unitary operator \(U\in B(H)\). A natural question is whether \(A\leq_u B\) implies \(f(A)\leq_u f(B)\) for certain functions. It was shown by \textit{H. Kosaki} that \(A\leq B\) implies \(e^A\leq_u e^B\) [Proc. Cent. Math. Appl. Aust. Natl. Univ. 29, 129--134 (1991; Zbl 0801.47012)]. In the present note, the authors use this result and several lemmas to show that when \(A, B\) are two nonnegative operators, then \(A\leq_u B\) implies \(f(g(A)^r)\leq_u f(g(B)^r)\) for every increasing operator convex function \(f\), every operator monotone function \(g\), and every \(r> 0\). | |||
Property / review text: Let \(H\) be a complex Hilbert space and let \(B(H)\) be the \(C^*\)-algebra of bounded linear operators on \(H\). For two self-adjoint operators \(A,B\in B(H)\) one writes \(A\leq_u B\) if \(A\leq U^*BU\) for some unitary operator \(U\in B(H)\). A natural question is whether \(A\leq_u B\) implies \(f(A)\leq_u f(B)\) for certain functions. It was shown by \textit{H. Kosaki} that \(A\leq B\) implies \(e^A\leq_u e^B\) [Proc. Cent. Math. Appl. Aust. Natl. Univ. 29, 129--134 (1991; Zbl 0801.47012)]. In the present note, the authors use this result and several lemmas to show that when \(A, B\) are two nonnegative operators, then \(A\leq_u B\) implies \(f(g(A)^r)\leq_u f(g(B)^r)\) for every increasing operator convex function \(f\), every operator monotone function \(g\), and every \(r> 0\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Khristo N. Boyadzhiev / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47A63 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6042972 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
operator inequality | |||
Property / zbMATH Keywords: operator inequality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
operator monotone function | |||
Property / zbMATH Keywords: operator monotone function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
operator convex function | |||
Property / zbMATH Keywords: operator convex function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positive operators | |||
Property / zbMATH Keywords: positive operators / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.crma.2012.04.004 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964349409 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5566804 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Operator Inequality P ≤A ∗ P A / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4419562 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5567395 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4283261 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some conditions implying normality of operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Around operator monotone functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A condition under which 𝐵=𝐴=𝑈*𝐵𝑈 follows from 𝐵≤𝐴≤𝑈*𝐵𝑈 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operator monotone functions which are defined implicitly and operator inequalities / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:59, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the binary relation \(\leqslant_u\) on self-adjoint Hilbert space operators |
scientific article |
Statements
On the binary relation \(\leqslant_u\) on self-adjoint Hilbert space operators (English)
0 references
4 June 2012
0 references
Let \(H\) be a complex Hilbert space and let \(B(H)\) be the \(C^*\)-algebra of bounded linear operators on \(H\). For two self-adjoint operators \(A,B\in B(H)\) one writes \(A\leq_u B\) if \(A\leq U^*BU\) for some unitary operator \(U\in B(H)\). A natural question is whether \(A\leq_u B\) implies \(f(A)\leq_u f(B)\) for certain functions. It was shown by \textit{H. Kosaki} that \(A\leq B\) implies \(e^A\leq_u e^B\) [Proc. Cent. Math. Appl. Aust. Natl. Univ. 29, 129--134 (1991; Zbl 0801.47012)]. In the present note, the authors use this result and several lemmas to show that when \(A, B\) are two nonnegative operators, then \(A\leq_u B\) implies \(f(g(A)^r)\leq_u f(g(B)^r)\) for every increasing operator convex function \(f\), every operator monotone function \(g\), and every \(r> 0\).
0 references
operator inequality
0 references
operator monotone function
0 references
operator convex function
0 references
positive operators
0 references
0 references