No label defined (Q4267656)

The article is devoted to the extension of the Furuta inequality, named the grand Furuta inequality: If \(A\geq B\geq 0\) and \(A\) is invertible, then for each \(p\geq 1\), \(0\leq t\leq 1\), \[ A^{-r+ t}\sharp {1-t+r\over (p-t)s+ r} (A^t\natural_s B^p)\leq A,\quad r\geq t,\;s\geq 1, \] \[ A\natural_\alpha B= A^{1/2} (A^{-1/2} BA^{-1/2})^\alpha A^{1/2},\quad \alpha\in\mathbb{R},\;\sharp_\alpha= \natural_\alpha,\;\alpha\in [0,1]. \] The main results of this article are the following theorems. Theorem A. If \(A\geq B\geq 0\), \(t\in [0,1]\), \(p\geq 1\), \[ \Biggl( A^t\natural {\beta-1\over p-t} B^p\Biggr)^{1/\beta}\leq B\leq A,\quad \beta\geq p,\;p\neq t. \] Theorem B. If \(A\geq B\geq 0\) and \(A\) is invertible, then for \(0\leq t\leq \delta\leq 1\), \(\delta\leq p\), \[ A^{-r+t} \sharp {\delta- t+r\over (p-t)s+ r} (A^t\natural_\delta B^p)\leq A^\delta,\;r\geq t,\;s\geq 1. \] Theorem C. If \(A\geq B\succ 0\), then for each \(p\geq 0\), \(u\leq 0\), \(p\neq u\), \[ A^u\sharp {\delta-u\over p-u} B^p\leq B^\delta,\quad \delta\in [0,p]. \]