Order preserving operator function via Furuta inequality ``A B 0 ensures (A^r2A^p A^r2)^1+rp+r(A^r2B^p A^r2)^1+rp+r for p 1 and r 0

Let \(A\), \(B\), \(S\) and \(T\) be bounded linear operators on a complex Hilbert space \(H\) and \((\cdot,\cdot)\) be the inner product in \(H\). The operator \(T\) is called positive, \(T\geq 0\), if \((Tx,x)\geq 0\) for all \(x\in H\); strictly positive, \(T>0\), if \(T\) is positive and invertible. The Furuta inequalities are as follows: If \(A\geq B\geq 0\), then for all numbers \(r\geq 0\), \(p\geq 0\) and \(q\geq 1\) with \((1+r)q\geq p+r\) we have: \((B^{r/2}A^pB^{r/2})^{1/q}\geq(B^{r/2}B^pB^{r/2})^{1/q}\) and \((A^{r/2}A^pA^{r/2})^{1/q}\geq(A^{r/2}B^pA^{r/2})^{1/q}\) [cf. \textit{T. Furuta}, Proc. Am. Math. Soc. 101, No. 1, 85-88 (1987; Zbl 0721.47023)]. The main results of the present paper are the following three theorems. Theorem 1. Let \(S>0\), \(T>0\) and \(S^{\beta_0}\geq(S^{\beta_0/2} T^{\alpha_0}S^{\beta_0/2})^{\beta_0/(\alpha_0+\beta_0)}\) for some numbers \(\alpha_0>0\) and \(\beta_0>0\). Then for any \(\delta\geq-\beta_0\), the function definded by \[ f(\alpha,\beta)=S^{-\beta/2}(S^{\beta/2}T^\alpha S^{\beta/2}) ^{(\delta+\beta)/(\alpha+\beta)}S^{-\beta/2} \] is decreasing both in \(\alpha\) and \(\beta\) for \(\alpha\geq\max\{\delta,\alpha_0\}\) and \(\beta\geq\beta_0\). Theorem 2. If \(\log A>\log B\), then there exists \(\alpha\in(0,1]\) such that for each \(t\in(0,\alpha]\), \(q\geq 0\) and \(p\geq\max\{q,t\}\) the function defined by \[ (r,s)\mapsto A^{-r/2}\{A^{r/2}(A^{-t/2}B^pA^{-t/2})^s A^{r/2}\}^{(q-t+r)/((p-t)s+r)}A^{-r/2} \] is decreasing for \(r\geq t\) and \(s\geq 1\). Theorem 3. If \(A>0\), \(B>0\) and \(\log A\geq\log B\), then for any \(\delta>0\) there exists \(\alpha\in(0,1]\) such that for each \(t\in(0,\alpha]\), \(q\geq 0\) and \(p\geq\max\{q,t\}\) the function defined by \[ (r,s)\mapsto e^{\frac{-(q-t+r)ps\delta}{(p-t)s+r}}A^{-r/2}\{A^{r/2} (A^{-t/2}B^pA^{-t/2})^s A^{r/2}\}^{\frac{q-t+r}{(p-t)s+r}}A^{-r/2} \] is decreasing for \(r\geq t\) and \(s\geq 1\). For the entire collection see [Zbl 0932.00048].

Recommendations

Cited in

(24)

This page was built for publication: Order preserving operator function via Furuta inequality ``\(A\geq B\geq 0\) ensures \((A^{\frac{r}2}A^p A^{\frac{r}2})^{\frac{1+r}{p+r}}\geq(A^{\frac{r}2}B^p A^{\frac{r}2})^{\frac{1+r}{p+r}}\) for \(p\geq 1\) and \(r\geq 0\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4945150)