Furuta inequality
The Furuta inequality arose in the latter half of the 20th century in operator theory and is a beautiful extension of the Löwner–Heinz inequality. In the sequel, a capital letter denotes a bounded linear operator on a Hilbert space . An operator
is said to be positive (denoted by
) if
for all
. The Löwner–Heinz inequality, discovered in 1934, asserts the following:
a) ensures
for all
;
b) does not always ensure
for all
. Note that b) is an immediate consequence of a).
T. Furuta gained an insight into the striking contrast between a) and b), which appeared on the stage of operator inequalities as the following order-preserving operator inequality (Furuta inequality, 1987): If , then for each
,
,
with
:
i) ; and
ii) .
Figure: f110220a
The Furuta inequality yields a) by putting in i) or ii). It should be understood as follows: One first makes the magic boxes
![]() |
Then and
hold under the condition stated above. Consequently, the Furuta inequality is an extension of the Löwner–Heinz inequality and
and
can be considered as order-preserving operator functions related to b).
The original proof of the Furuta inequality is in [a5]; mean-theoretic alternative proofs are in [a3], [a8] and an elementary one-page proof is in [a6]. The domain drawn for ,
and
in Fig.a1 is the best possible one for the Furuta inequality, see [a10]. It turned out that the Furuta inequality can be applied in the theories of operator inequalities, norm inequalities and operator equations. Some examples are given below.
Example 1.
(Theory of operator inequalities.) T. Ando [a1] has proved that the following assertions are equivalent:
1) ;
2) for all
;
3) is a decreasing function of
.
An extension of Ando's result is the Fujii–Furuta–Kamei theorem, which states that the following assertions are equivalent:
1) ;
2) for all
and all
;
3) is a decreasing function of both
and
for any fixed
.
Example 2.
(Theory of operator inequalities.) This examples concerns the estimation of the value of the relative operator entropy, defined by for positive invertible operators
and
. One has
if and only if
for all
and all
.
Example 3.
(Theory of operator inequalities.) Ando and F. Hiai [a2] established the following useful and interesting inequality, equivalent to log majorization (the Ando–Hiai inequality): If with
, then
![]() |
for all and
. The following inequality, proved in [a7], interpolates between the Furuta inequality and the inequality stated above. The grand Furuta inequality (1995): If
with
, then for each
and
,
![]() |
![]() |
is a decreasing function of both and
for any
and
, and the following inequality holds:
![]() |
for any ,
,
.
The mean-theoretic approach has also some advantages [a4]. See [a9] for the theory of operator means, in which the correspondence between non-negative operator monotone functions on and operator means is given.
Examples in the theory of norm inequalities are given by generalizations of the Heinz–Kato inequality and a generalization of the Kosaki trace inequality and related trace inequalities. Examples in the theory of operator equations are a generalization of the Pedersen–Takesaki theorem, which is closely related to a non-commutative Radon–Nikodým theorem, and related results.
See also Löwner–Heinz inequality.
References
[a1] | T. Ando, "Some operator inequalities" Math. Ann. , 279 (1987) pp. 157–159 |
[a2] | T. Ando, F. Hiai, "Log majorization and complementary Golden–Thompson type inequality" Linear Alg. & Its Appl. , 197/198 (1994) pp. 113–131 |
[a3] | M. Fujii, "Furuta's inequality and its mean theoretic approach" J. Operator Th. , 23 (1990) pp. 67–72 |
[a4] | M. Fujii, E. Kamei, "Mean theoretic approach to the grand Furuta inequality" Proc. Amer. Math. Soc. , 124 (1996) pp. 2751–2756 |
[a5] | T. Furuta, "![]() ![]() ![]() ![]() |
[a6] | T. Furuta, "Elementary proof of an order preserving inequality" Proc. Japan Acad. , 65 (1989) pp. 126 |
[a7] | T. Furuta, "Extension of the Furuta inequality and Ando–Hiai log-majorization" Linear Alg. & Its Appl. , 219 (1995) pp. 139–155 |
[a8] | E. Kamei, "A satellite to Furuta's inequality" Math. Japon. , 33 (1988) pp. 883–886 |
[a9] | F. Kubo, T. Ando, "Means of positive linear operators" Math. Ann. , 246 (1980) pp. 205–224 |
[a10] | K. Tanahashi, "Best possibility of the Furuta inequality" Proc. Amer. Math. Soc. , 124 (1996) pp. 141–146 |
Furuta inequality. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Furuta_inequality&oldid=13534