Mean theoretic approach to the grand Furuta inequality
HTML articles powered by AMS MathViewer
- by Masatoshi Fujii and Eizaburo Kamei
- Proc. Amer. Math. Soc. 124 (1996), 2751-2756
- DOI: https://doi.org/10.1090/S0002-9939-96-03342-4
- PDF | Request permission
Abstract:
Very recently, Furuta obtained the grand Furuta inequality which is a parameteric formula interpolating the Furuta inequality and the Ando-Hiai inequality as follows : If $A \ge B \ge 0$ and $A$ is invertible, then for each $t \in [0,1]$, \begin{equation*}F_{p,t}(A,B,r,s) = A^{-r/2}\{A^{r/2}(A^{-t/2}B^{p}A^{-t/2})^{s}A ^{r/2}\}^{\frac {1-t+r}{(p-t)s+r}}A^{-r/2} \end{equation*} is a decreasing function of both $r$ and $s$ for all $r \ge t, ~p \ge 1$ and $s \ge 1$. In this note, we employ a mean theoretic approach to the grand Furuta inequality. Consequently we propose a basic inequality, by which we present a simple proof of the grand Furuta inequality.References
- T. Ando, On some operator inequalities, Math. Ann. 279 (1987), no. 1, 157–159. MR 912844, DOI 10.1007/BF01456197
- Tsuyoshi Ando and Fumio Hiai, Log majorization and complementary Golden-Thompson type inequalities, Linear Algebra Appl. 197/198 (1994), 113–131. Second Conference of the International Linear Algebra Society (ILAS) (Lisbon, 1992). MR 1275611, DOI 10.1016/0024-3795(94)90484-7
- Masatoshi Fujii, Furuta’s inequality and its mean theoretic approach, J. Operator Theory 23 (1990), no. 1, 67–72. MR 1054816
- Masatoshi Fujii, Takayuki Furuta, and Eizaburo Kamei, Operator functions associated with Furuta’s inequality, Linear Algebra Appl. 149 (1991), 91–96. MR 1092871, DOI 10.1016/0024-3795(91)90327-S
- Masatoshi Fujii, Takayuki Furuta, and Eizaburo Kamei, Furuta’s inequality and its application to Ando’s theorem, Linear Algebra Appl. 179 (1993), 161–169. MR 1200149, DOI 10.1016/0024-3795(93)90327-K
- W. J. Trjitzinsky, General theory of singular integral equations with real kernels, Trans. Amer. Math. Soc. 46 (1939), 202–279. MR 92, DOI 10.1090/S0002-9947-1939-0000092-6
- Takayuki Furuta, $A\geq B\geq 0$ assures $(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$, Proc. Amer. Math. Soc. 101 (1987), no. 1, 85–88. MR 897075, DOI 10.1090/S0002-9939-1987-0897075-6
- Takayuki Furuta, An elementary proof of an order preserving inequality, Proc. Japan Acad. Ser. A Math. Sci. 65 (1989), no. 5, 126. MR 1011850
- Takayuki Furuta, A proof via operator means of an order preserving inequality, Linear Algebra Appl. 113 (1989), 129–130. MR 978587, DOI 10.1016/0024-3795(89)90291-7
- Takayuki Furuta, Two operator functions with monotone property, Proc. Amer. Math. Soc. 111 (1991), no. 2, 511–516. MR 1045135, DOI 10.1090/S0002-9939-1991-1045135-2
- Takayuki Furuta, Applications of order preserving operator inequalities, Operator theory and complex analysis (Sapporo, 1991) Oper. Theory Adv. Appl., vol. 59, Birkhäuser, Basel, 1992, pp. 180–190. MR 1246815
- T.Furuta, Extension of the Furuta inequality and Ando-Hiai log-majorization, Linear Alg. and its Appl., 219 (1995), 139–155.
- C. J. Everett Jr., Annihilator ideals and representation iteration for abstract rings, Duke Math. J. 5 (1939), 623–627. MR 13
- Eizaburo Kamei, Furuta’s inequality via operator mean, Math. Japon. 33 (1988), no. 5, 737–739. MR 972385
- Eizaburo Kamei, A satellite to Furuta’s inequality, Math. Japon. 33 (1988), no. 6, 883–886. MR 975867
- Fumio Kubo and Tsuyoshi Ando, Means of positive linear operators, Math. Ann. 246 (1979/80), no. 3, 205–224. MR 563399, DOI 10.1007/BF01371042
- K.Löwner, Über monotone Matrixfunktionen, Math. Z., 38 (1934), 177–216.
Bibliographic Information
- Masatoshi Fujii
- Affiliation: Department of Mathematics, Osaka Kyoiku University, Asahigaoka, Kashiwara, Osaka 582, Japan
- Email: mfujii@cc.osaka-kyoiku.ac.jp
- Eizaburo Kamei
- Affiliation: Momodani Senior Highschool, Ikuno, Osaka 544, Japan
- Received by editor(s): November 28, 1994
- Received by editor(s) in revised form: March 6, 1995
- Communicated by: Palle E. T. Jorgensen
- © Copyright 1996 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 124 (1996), 2751-2756
- MSC (1991): Primary 47A63, 47B15
- DOI: https://doi.org/10.1090/S0002-9939-96-03342-4
- MathSciNet review: 1327013
Dedicated: Dedicated to Professor Tsuyoshi Ando, the originator of the theory of operator means, on his retirement from Hokkaido University