We shall give a norm inequality equivalent to the grand Furuta inequality, and moreover show its reverse as follows: Let $A$ and $B$ be positive operators such that $m \leq B \leq M$ for some positive scalars $m \leq M, m \neq M$ and $h:=\frac{M}{m}$. Then \begin{eqnarray*} \|A^{\frac12}\{A^{-\frac{t}2}(A^{\frac{r}2}B^{\frac{(r-t)\{(p-t)s+r\}}{1-t+r}}A^{\frac{r}2})^{\frac1s}A^{-\frac{t}2}\}^{\frac1p}A^{\frac12}\| \\ \leq K(h^{r-t},\frac{(p-t)s+r}{1-t+r})^{\frac1{ps}} \|A^{\frac{1-t+r}2}B^{r-t}A^{\frac{1-t+r}2}\|^{\frac{(p-t)s+r}{ps(1-t+r)}} \end{eqnarray*} for $0 \leq t \leq 1$, $p \geq 1$, $s \geq 1$ and $r \geq t \geq 0$, where $K(h,p)$ is the generalized Kantorovich constant. As applications, we consider reverses related to the Ando-Hiai inequality.
Banach J. Math. Anal.
2(2):
23-30
(2008).
DOI: 10.15352/bjma/1240336289
T. Ando and F. Hiai, Log majorization and complementary Golden-Thompson type inequality, Linear Algebra Appl. 197 (1994), 113–131. MR1275611 10.1016/0024-3795(94)90484-7 0793.15011T. Ando and F. Hiai, Log majorization and complementary Golden-Thompson type inequality, Linear Algebra Appl. 197 (1994), 113–131. MR1275611 10.1016/0024-3795(94)90484-7 0793.15011
H. Araki, On an inequality of Lieb and Thirring, Lett. Math. Phys., 19 (1990), 167–170. MR1039525 10.1007/BF01045887 0705.47020H. Araki, On an inequality of Lieb and Thirring, Lett. Math. Phys., 19 (1990), 167–170. MR1039525 10.1007/BF01045887 0705.47020
N. Bebiano, R. Lemos and J. Providência, Inequalities for quantum relative entropy, Linear Algebra Appl. 401 (2005), 159–172. MR2133280 10.1016/j.laa.2004.03.023 1076.15019N. Bebiano, R. Lemos and J. Providência, Inequalities for quantum relative entropy, Linear Algebra Appl. 401 (2005), 159–172. MR2133280 10.1016/j.laa.2004.03.023 1076.15019
H.O. Cordes, Spectral Theory of Linear Differential Operators and Comparison Algebras, Cambridge University Press, 1987. MR890743 0727.35092H.O. Cordes, Spectral Theory of Linear Differential Operators and Comparison Algebras, Cambridge University Press, 1987. MR890743 0727.35092
J.I. Fujii, M. Fujii, Y. Seo and M. Tominaga, On generalized Kantorovich inequalities, Banach and Function Spaces (2004), 205–213, Yokohama Publisher. MR2147607 1125.47012J.I. Fujii, M. Fujii, Y. Seo and M. Tominaga, On generalized Kantorovich inequalities, Banach and Function Spaces (2004), 205–213, Yokohama Publisher. MR2147607 1125.47012
M. Fujii and E. Kamei, Ando-Hiai inequality and Furuta inequality, Linear Algebra Appl. 416 (2006), 541–545. MR2242743 10.1016/j.laa.2005.12.001 1110.47011M. Fujii and E. Kamei, Ando-Hiai inequality and Furuta inequality, Linear Algebra Appl. 416 (2006), 541–545. MR2242743 10.1016/j.laa.2005.12.001 1110.47011
M. Fujii, R. Nakamoto and M. Tominaga, Generalized Bebiano-Lemos-Providência inequalities and their reverses, Linear Algebra Appl. 426 (2007), 33-39. MR2344557 10.1016/j.laa.2007.03.033M. Fujii, R. Nakamoto and M. Tominaga, Generalized Bebiano-Lemos-Providência inequalities and their reverses, Linear Algebra Appl. 426 (2007), 33-39. MR2344557 10.1016/j.laa.2007.03.033
T. Furuta, $A \ge B \ge 0$ assures $(B^rA^pB^r)^1/q \ge B^(p+2r)/q$ for $r \ge 0, p \ge 0, q \ge 1$ with $(1+2r)q \ge p+2r$, Proc. Amer. Math. Soc., 101 (1987), 85–88. MR897075 10.2307/2046555 0721.47023T. Furuta, $A \ge B \ge 0$ assures $(B^rA^pB^r)^1/q \ge B^(p+2r)/q$ for $r \ge 0, p \ge 0, q \ge 1$ with $(1+2r)q \ge p+2r$, Proc. Amer. Math. Soc., 101 (1987), 85–88. MR897075 10.2307/2046555 0721.47023
T. Furuta, Extension of the Furuta inequality and Ando-Hiai log majorization, Linear Algebra Appl. 219 (1995), 139–155. MR1327396 10.1016/0024-3795(93)00203-C 0822.15008T. Furuta, Extension of the Furuta inequality and Ando-Hiai log majorization, Linear Algebra Appl. 219 (1995), 139–155. MR1327396 10.1016/0024-3795(93)00203-C 0822.15008
T. Furuta, Operator inequalities associated with Hölder-McCarthy and Kantorovich inequalities, J. Inequal. Appl., 2 (1998), 137–148. MR1671992 10.1155/S1025583498000083T. Furuta, Operator inequalities associated with Hölder-McCarthy and Kantorovich inequalities, J. Inequal. Appl., 2 (1998), 137–148. MR1671992 10.1155/S1025583498000083
T. Furuta, Operator inequality implying generalized Bebiano-Lemos-Providência one, Linear Algebra Appl. 426 (2007), 342–348. MR2350661 10.1016/j.laa.2007.05.005T. Furuta, Operator inequality implying generalized Bebiano-Lemos-Providência one, Linear Algebra Appl. 426 (2007), 342–348. MR2350661 10.1016/j.laa.2007.05.005
G.K. Pedersen, Some operator monotone functions, Proc. Amer. Math. Soc., 36 (1972), 309–310. MR306957 10.2307/2039083 0256.47019G.K. Pedersen, Some operator monotone functions, Proc. Amer. Math. Soc., 36 (1972), 309–310. MR306957 10.2307/2039083 0256.47019