A B 0 iff (B^ rA^ pB^ r)^1/q B^(p+2r)/q for r 0, p 0, q 1 with (1+2r)q p+2r
A capital letter means a bounded linear operator on a Hilbert space. An operator T is said to be positive if (Tx,x)\(\geq 0\) for every x in a Hilbert space H. It is well known that \(A\geq B\geq 0\) does not always ensure \(A^ 2\geq B^ 2\) in general. We investigated order preserving operator inequalities, that is, we consider two operator functions f and g depending on A and B such that \(f(X)=(B^ rA^ pB^ r)^{1/q}\) and \(g(Y)=(A^ rB^ pA^ r)^{1/q}\), then \(f(A^ p)\geq f(B^ p)\) and \(g(A^ p)\geq g(B^ p)\) hold under some suitable conditions as follows. Theorem. If \(A\geq B\geq 0\), then for each \(r\geq 0\) (i) \((B^ rA^ pB^ r)^{1/q}\geq B^{(p+2r)/q}\), (ii) \(A^{(p+2)/q}\geq (A^ rB^ pA^ r)^{1/q}\) hold for each p and q such that \(p\geq 0,q\geq 1\) and \((1+2r)q\geq p+2r.\) Corollary. If \(A\geq B\geq 0\), then for each \(r\geq 0\) (i) \((B^ rA^ pB^ r)^{1/p}\geq B^{(p+2r)/p}\), (ii) \(A^{(p+2r)/p}\geq (A^ rB^ pA^ r)^{1/p}\) hold for each \(p\geq 1.\) By Theorem, we have \((BA^ 2B)^{3/4}\geq B^ 3\) and \(A^ 3\geq (AB^ 2A)^{3/4}\) for \(A\geq B\geq 0\), this fact easily implies \((BA^ 2B)^{1/2}\geq B^ 2\) and \(A^ 2\geq (AB^ 2A)^{1/2}\) for \(A\geq B\geq 0\). The latter fact is just an affirmative answer to a conjecture posed by Chan and Kwong.
- An operator inequality
- Beiträge zur Störungstheorie der Spektralzerlegung
- Hermitian Matrix Inequalities and a Conjecture
- Inequalities for the Powers of Nonnegative Hermitian Operators
- Notes on some inequalities for linear operators
- Shorter Notes: Some Operator Monotone Functions
- Shorter Notes: The Operator Equation THT = K
- Some inequalities for the rational power of a nonnegative definite matrix
- Über monotone Matrixfunktionen
- Simplified proof of an order preserving operator inequality
- A proof of an order preserving inequality
- A proof via operator means of an order preserving inequality
- Function order of positive operators based on the Mond-Pečarić method
- Relations between two inequalities \((B^{\frac r2} A^p B^{\frac r2})^{\frac r{p+r}}\geq B^r\) and \(A^p\geq(A^{\frac p2} B^r A^{\frac p2})^{\frac p{p+r}}\) and their applications
- Square inequality and strong order relation
- \(A\geqq B\geqq 0\) ensures \((A^{\frac{r}{2}}A^pA^{\frac{r}{2}})^{\frac{1}{q}}\geqq (A^{\frac{r}{2}}B^pA^{\frac{r}{2}})^{\frac{1}{q}}\) for \(p\geqq 0\), \(q\geqq 1\), \(r\geqq 0\) with \((1+r)q\geqq p+r\) and its applications
- A condition under which 𝐵=𝐴=𝑈*𝐵𝑈 follows from 𝐵≤𝐴≤𝑈*𝐵𝑈
- A ≧B ≧0 Ensures (BA 2 B) 1/2 ≧B 2 -Solution to a Conjecture on Operator Inequalities
- scientific article; zbMATH DE number 4103774 (Why is no real title available?)
- scientific article; zbMATH DE number 2157249 (Why is no real title available?)
- scientific article; zbMATH DE number 2165858 (Why is no real title available?)
- scientific article; zbMATH DE number 4122659 (Why is no real title available?)
- Subadditive inequalities for operators
- An extension of order preserving operator inequality
- $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$
This page was built for publication: A\(\geq B\geq 0\) iff \((B^ rA^ pB^ 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\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1089602)
