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\)
type: Item
instance of: scholarly article
title: 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\)
zbMATH Open document ID: 0619.47021
author: Takayuki Furuta
published in: Proceedings of the Japan Academy. Series A
publication date: 1987-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 47B15
zbMATH DE Number: 4004981
zbMATH Keywords: positive operator
zbMATH Keywords: operator monotone function
zbMATH Keywords: order preserving operator inequalities
MaRDI profile type: Publication
full work available at URL: pjaa.63.4
OpenAlex ID: W2035958560
cites work: Some inequalities for the rational power of a nonnegative definite matrix
cites work: Hermitian Matrix Inequalities and a Conjecture
cites work: An operator inequality
cites work: Beiträge zur Störungstheorie der Spektralzerlegung
cites work: Notes on some inequalities for linear operators
cites work: Inequalities for the Powers of Nonnegative Hermitian Operators
cites work: Über monotone Matrixfunktionen
cites work: Shorter Notes: Some Operator Monotone Functions
cites work: Shorter Notes: The Operator Equation THT = K
DOI: 10.3792/PJAA.63.4
description: scientific article; zbMATH DE number 4004981