On some operator inequalities (Q5916410): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4405419 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: $A \geq B \geq 0$ Assures $(B^r A^p B^r)^{1/q} \geq B^{(p+2r)/q$ for $r \geq 0$, $p \geq 0$, $q \geq 1$ with $(1 + 2r)q \geq p + 2r$ / rank | |||
Normal rank | |||
Revision as of 17:50, 17 June 2024
scientific article; zbMATH DE number 3992229
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On some operator inequalities |
scientific article; zbMATH DE number 3992229 |
Statements
On some operator inequalities (English)
0 references
1987
0 references
The increasing function \(e^{\lambda}\) is not operator monotone on the real line, that is, for bounded selfadjoint operators A, B the order relation \(A\geq B\) does not necessarily imply \(e^ A\geq e^ B\). On the other hand, \(e^ A\geq e^ B\) always implies \(I\geq e^{-A}\#e^ B\), the geometric mean. We show that this last inequality is valid whenever \(A\geq B\). More generally we prove that \(A\geq B\) implies that \(t\mapsto e^{-tA}\#e^{tB}\) is a decreasing map on the non-negative real line.
0 references
operator monotone
0 references
bounded selfadjoint operators
0 references
geometric mean
0 references
operator inequality
0 references
