Nonlinear Analysis: Algorithm, Convergence, and Applications 2014View this Special Issue
Some Properties of Furuta Type Inequalities and Applications
This work is to consider Furuta type inequalities and their applications. Firstly, some Furuta type inequalities under are obtained via Loewner-Heinz inequality; as an application, a proof of Furuta inequality is given without using the invertibility of operators. Secondly, we show a unified satellite theorem of grand Furuta inequality which is an extension of the results by Fujii et al. At the end, a kind of Riccati type operator equation is discussed via Furuta type inequalities.
Throughout this paper, an operator means a bounded linear operator on a Hilbert space. and mean a positive operator and an invertible positive operator, respectively, (see [1, page 103]). The classical Loewner-Heinz inequality (L-H) is stated below (see [2, page 127]).
Theorem 1 (Loewner-Heinz inequality (L-H)). Let ; then ensures
In general, (L-H) is not true for . As a celebrated development of (L-H), Furuta provided a kind of order preserving operator inequality [2, page 129], the so-called Furuta inequality (FI).
Theorem 2 (Furuta inequality (FI), ). Let , ; then ensures
Tanahashi proved that the outer exponent above is optimal; see  for related topics. In order to establish the order structure on Aluthge transform of nonnormal operators, the complete form of Furuta inequality was showed in .
Theorem 3 (Complete form ). Let , , and . Then and such that ensures
We call the theorem above the complete form of Furuta inequality because the case of it implies the essential part () of Furuta inequality by the Loewner-Heinz inequality for . For convenience, we call Furuta inequality (Theorem 2) the original form of Furuta inequality.
Theorem 4 (see ). Let , , and .(1)If , then, for each , , and , the following inequalities are equivalent to each other: In particular, (4) implies (5) without condition .(2)For each , , and , the following inequalities are equivalent to each other:
In Section 2, some Furuta type inequalities under are proved via Loewner-Heinz inequality; as applications, we show alternate proofs of some well-known Furuta type inequalities (proofs of Theorems 10 and 2).
Theorem 5 (grand Furuta inequality ). Let , , and . If with ; then
Fujii et al. proved some satellite theorems of grand Furuta inequality.
Theorem 6 (see ). Let , , and . If with ; then
Theorem 7 (see ). Let , , and . If with ; then
Lastly, it is known that Riccati type operator equations relate to control theory closely and have been studied extensively . Pedersen and Takesaki  developed the special kind of Riccati equation as a useful tool for the noncommutative Radon-Nikodym theorem.
Yuan and Gao  discussed the Riccati type equation:
2. Furuta Type Inequalities under the Order
In this section, we consider some Furuta type inequalities under the order . As applications, alternate proofs of some Furuta type inequalities are given (proofs of Theorems 10 and 2). Especially, we prove (FI) without using the invertibility of operators.
Theorem 9. Let , . (1)For each and with , the following inequalities hold and they are equivalent to each other: (2)For each and with , the following inequalities hold: (3)If , then
Proof. (1) Since , follows. By and (L-H) for and , we have
Hence, (14) holds. Since , follows. So, the equivalency follows by Theorem 8.
(2) Similar to the proof of (14), we have Hence, (16) holds. Since (12) implies (13) without kernel condition, (17) follows by (16).
(3) By (15), there exists the function defined on satisfying [18, Lemma 2.6(1)]. Hence, case of [18, Lemma 2.6(2)] implies So (18) holds by and (L-H) for . It is easy to prove (19) in a similar way.
As prompt applications, we show alternate proofs of some Furuta type inequalities.
Theorem 10 (see ). Let , , , . For such that , if then where . Moreover, for each , the function is decreasing (resp., increasing) for .
Proof. It is enough to prove the case because the case can be proved in a similar manner. Denote (23) by ; that is,
For , , by (19) of Theorem 9, we have
By putting , the inequality above becomes
This implies that (24) holds for . Denote and ; repeating this process, (24) holds for .
For each , , by (24) and (L-H), where . This together with Theorem 8 and (L-H) deduce that where . So, the monotonicity of the function holds.
Theorem 11 (see ). Given any positive numbers , , , and with , there exist invertible positive operators and such that where is an arbitrary positive number.
Alternate Proof of Theorem 2. The case and of Theorem 2 follows by (L-H) directly. Theorem 9(3) means the case and of Theorem 2; this together with Theorem 10 implies the case and of Theorem 2. So, the proof is complete.
3. A Unified Satellite Theorem of Grand Furuta Inequalities
Denote , where .
Theorem 12. Let , , , with .(1)If , , and , then (2)If and , then
Corollary 13. Let , , , with . If and , then
It is obvious that the special case of Corollary 13 is a unified result of Theorems 6 and 7; that is, it is an extension of Theorems 6 and 7. So, we call Theorem 12 a unified satellite theorem of grand Furuta inequality (Theorem 5).
In order to give a proof, we prepare some results in advance.
Lemma 14 (see ). Let , and . Then with ensures that the function is decreasing for . In particular,
Lemma 15 (see ). Let , , , and . Then with ensures
Lemma 16. Let , and . Then the following assertion (1) implies (2).(1)There exists an increasing function such that, for each , if , then (2)The function in (1) satisfies that, for each , if , then
Proof. It is sufficient to prove the case for the case can be proved in a similar manner. For each and , if , then (2) follows by (1) immediately. Suppose that for some positive integer and . By , for , we have Noting that and , these together with (L-H) deduce that Therefore, the function in satisfies .
Lemma 17. Let , and ; then with ensures
Proof. Firstly, we prove the case of Lemma 17. By [10, Lemma 1], (42) is equivalent to
On the other hand, holds by Loewner-Heinz inequality for . So (42) holds for .
Now, it is proved that (42) holds when . Meanwhile, it is easy to see that the increasing function satisfies of Lemma 16, so (42) holds for .
Proof of Theorem 12. By the case of Lemma 15 and (L-H) for , (1)For , Theorem 3 and (L-H) deduce that Meanwhile, for and , Lemma 17 and (L-H) imply Hence, follows by the case of (44), (45), and (46).(2)By (L-H), (44), , Theorem 3 and Lemma 17 ensure The above is the same as the function in Lemma 14.
4. Riccati Type Operator Equations
Yuan and Gao  discussed the Riccati type equation:
Theorem 18 (see ). Let , and assume that .(1)The following statements are equivalent for each , and .(a) for some .(b)There exists a unique operator that satisfies and (48). If in additional is invertible, (1) holds for .(2)If there exists satisfying (48) for fixed , and , then, for and , there exists satisfying
One of the applications of Riccati equation (48) is to show that the inclusion relations among class operators are strict [15, Theorem 3.1]. Recently, there are some developments on operator equations including the following equation (see [16, 20]):
Theorem 19 (see ). Let , and assume that . The following statements are equivalent for each , , and .(1) for some .(2)There exists a unique operator which satisfies and (50).
If in additional is invertible, the condition can be replaced with where means the set of all real numbers, and if and are both invertible, the conditions and can be replaced with and .
Lemma 20. Let , , , , , . For and such that and , if then, for , where .
Proof. It is enough to prove the case because the case can be proved in a similar manner. Denote (51) by ; that is, For , , by (FI) (Theorem 2), we have By putting , the inequality above becomes Denote and ; then and , so that (52) holds by the inequality above.
Theorem 21. Let , and assume that . For each , and , if there exists satisfying the equation where , and . Then, for and , there exists satisfying If is invertible, the condition can be replaced with .
The result below is the case and of Theorem 21.
Corollary 22. Let , and assume that . For each , and , if there exists satisfying the equation where and . Then, for , there exists satisfying If is invertible, the condition can be replaced with .
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work was supported in part by the National Natural Science Foundation of China (11301155) and Project of Education Department of Henan Province of China (2012GGJS-061), and Project of Science and Technology Department of Henan Province of China (142300410143).
R. V. Kadison and J. R. Ringrose, Fundamentals of the Theory of Operator Algebras, American Mathematical Society, Providence, RI, USA, 1997.
T. Furuta, Invitation to Linear Operators, Taylor & Francis, London, UK, 2001.View at: MathSciNet
P. Lancaster and L. Rodman, The Algebraic Riccati Equation, Academic Press, Oxford, UK, 1995.
J. T. Yuan and C. H. Wang, “Riccati type operator equation and Furuta's question,” Mathematical Inequalities & Application. In press.View at: Google Scholar