- Open Access
On the range of the parameters for the grand Furuta inequality to be valid
© Watanabe; licensee Springer. 2014
- Received: 3 March 2014
- Accepted: 8 July 2014
- Published: 19 August 2014
In order to investigate the precise range D of the parameters p, s, t, and r for which the grand Furuta inequality is valid. We use the method of reductio ad absurdum. We find the following results: The area , , , and is contained in the complement of the range D. The condition seems essential for the grand Furuta inequality.
- Löwner-Heinz inequality
- Furuta inequality
- matrix inequality
A bounded linear operator T on a Hilbert space is said to be positive semidefinite (denoted by ) if for all vectors h. We write if T is positive semidefinite and invertible.
Theorem 1.1 
It is well known that Theorem 1.1 is equivalent to the next theorem, which is often called the essential case of the Furuta inequality.
as far as all parameters are positive. We would like to emphasize that the theorem can be divided into two cases.
Theorem 1.3 
The next proposition is corresponding to the case of the previous theorem by putting .
On the other hand, the following ‘α-free’ proposition corresponds to the case of Theorem 1.3 by putting .
Since the condition is the essential case for the Furuta inequality, our interest in Proposition 1.5 is not at all less than Proposition 1.4.
Furuta gave a unifying extension of both Theorem 1.1 and the Ando-Hiai inequality , which is often called the grand Furuta inequality.
Theorem 1.6 
Again, Tanahashi showed that the outside powers in this theorem are the best possible.
Theorem 1.7 
Remark 1.8 In , Theorem 1.7 is originally stated as follows:
Although it would be a nice theorem if one could precisely determine the range (2) all at once, it seems difficult to the author. Therefore, we should treat several main cases of the problem.
It is quite natural to expect an ‘α-free’ version which can be regarded as corresponding to Proposition 1.5. The following result obtained by Koizumi and the author is such an attempt.
Theorem 1.9 
Then there exist matrices A, B with that do not satisfy the inequality (1).
If , , , and , then .
If , , , and , then .
Remark 1.11 The case (ii) of [, Theorem 2.1] by Koizumi and the author treats the case , , . However, we have by the notations in  and the proof for (i) is not applicable to (ii). It seems still open.
The main purpose of this article is to show that the area , , , and is contained in the complement of the range (2).
where k is a positive scalar to be specified later.
We begin with an elementary inequality for real numbers.
As Theorem 1.7 is regarded as an extension of Proposition 1.4, our main theorem can be considered as an extension of Proposition 1.5, which shows one of the largest pieces of the complement of the range (2). The advantage is that the assumptions on the parameters other than are very mild. Note that, if we change to , then the inequality holds for .
Yamazaki’s simplified proof of Theorem 1.7 in  is not applicable in our context. The method of our proof is the same as Tanahashi’s argument, whose outline is explained in the previous section. We would like to emphasize there are several branching points such that the conditions about parameters in the assumption are to be reflected to powers or coefficients in calculations. Moreover, we have to estimate all terms up to the order of in the sequel. On the other hand, in the existing literature, such as [7, 8] and , it is sufficient to estimate only main and second terms.
by the notation of the previous section. It is easy to see that , , , and as . Therefore, for sufficiently large x, we have . Further, we shall see later , as . Since , we have for sufficiently large x.
where k is the nonnegative integer determined by .
This is a contradiction and completes the proof of Theorem 3.2. □
Proof It is obvious that and . □
The author was supported in part by Grants-in-Aid for Scientific Research, Japan Society for the Promotion of Science.
- Löwner K: Über monotone Matrixfunktionen. Math. Z. 1934, 38: 177-216. 10.1007/BF01170633MathSciNetView ArticleMATHGoogle Scholar
- Heinz E: Beiträge zur Störungstheorie der Spektralzerlegung. Math. Ann. 1951, 123: 415-438. 10.1007/BF02054965MathSciNetView ArticleMATHGoogle Scholar
- Furuta T: assures for , , with . Proc. Am. Math. Soc. 1987, 101: 85-88.MathSciNetMATHGoogle Scholar
- Tanahashi K: Best possibility of the Furuta inequality. Proc. Am. Math. Soc. 1996, 124: 141-146. 10.1090/S0002-9939-96-03055-9MathSciNetView ArticleMATHGoogle Scholar
- Ando T, Hiai H: Log majorization and complementary Golden-Thompson type inequalities. Linear Algebra Appl. 1994, 197/198: 113-131.MathSciNetView ArticleMATHGoogle Scholar
- Furuta T: Extension of the Furuta inequality and Ando-Hiai log-majorization. Linear Algebra Appl. 1995, 219: 139-155.MathSciNetView ArticleMATHGoogle Scholar
- Tanahashi K: The best possibility of the grand Furuta inequality. Proc. Am. Math. Soc. 2000, 128: 511-519. 10.1090/S0002-9939-99-05261-2MathSciNetView ArticleMATHGoogle Scholar
- Koizumi T, Watanabe K: Another consequence of Tanahashi’s argument on best possibility of the grand Furuta inequality. Cent. Eur. J. Math. 2013,11(2):368-375. 10.2478/s11533-012-0061-3MathSciNetMATHGoogle Scholar
- Watanabe K: A certain functional inequality derived from an operator inequality. J. Math. Inequal. 2014 http://files.ele-math.com/articles/jmi-08-03.pdf, 8(1):69-81. http://files.ele-math.com/articles/jmi-08-03.pdfMathSciNetView ArticleMATHGoogle Scholar
- Yamazaki T: Simplified proof of Tanahashi’s result on the best possibility of generalized Furuta inequality. Math. Inequal. Appl. 1999, 2: 473-477.MathSciNetMATHGoogle Scholar
- Watanabe, K: On the range of the parameters for the grand Furuta inequality to be valid II. J. Math. Inequal. (2014, in press). http://files.ele-math.com/preprints/jmi-1330-pre.pdfGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.