## Journal of Inequalities and Applications

Impact Factor 0.791

Open Access

# Some Reverses of the Jensen Inequality for Functions of Selfadjoint Operators in Hilbert Spaces

Journal of Inequalities and Applications20102010:496821

DOI: 10.1155/2010/496821

Accepted: 23 April 2010

Published: 26 May 2010

## Abstract

Some reverses of the Jensen inequality for functions of self-adjoint operators in Hilbert spaces under suitable assumptions for the involved operators are given. Applications for particular cases of interest are also provided.

## 1. Introduction

Let be a selfadjoint linear operator on a complex Hilbert space . The Gelfand map establishes a -isometrically isomorphism between the set of all continuous functions defined on the spectrum of denoted and the -algebra generated by and the identity operator on as follows (see e.g., [1, page 3]):

For any and any we have

(i)

(ii) and

(iii)

(iv) and where and for

With this notation we define
(1.1)

and we call it the continuous functional calculus for a selfadjoint operator

If is a selfadjoint operator and is a real valued continuous function on , then for any implies that that is, is a positive operator on Moreover, if both and are real valued functions on then the following important property holds:
(P)

in the operator order of

For a recent monograph devoted to various inequalities for functions of selfadjoint operators, see [1] and the references therein. For other results, see [24].

The following result that provides an operator version for the Jensen inequality is due to [5] (see also [1, page 5]).

Theorem 1.1 (Mond and Pečarić, 1993, [5]).

Let be a selfadjoint operator on the Hilbert space and assume that for some scalars with If is a convex function on then
(MP)

for each with

As a special case of Theorem 1.1 we have the following Hölder-McCarthy inequality.

Theorem 1.2 (Hölder-McCarthy, 1967, [6]).

Let be a selfadjoint positive operator on a Hilbert space . Then

(i) for all and with

(ii) for all and with

(iii)if is invertible, then for all and with

The following theorem is a multiple operator version of Theorem 1.1 (see e.g., [1, page 5]).

Theorem 1.3.

Let be selfadjoint operators with , for some scalars and with . If is a convex function on , then
(1.2)

The following particular case is of interest. Apparently it has not been stated before either in the monograph [1] or in the research papers cited therein.

Corollary 1.4.

Let be selfadjoint operators with , for some scalars If with then
(1.3)

for any with

Proof.

It follows from Theorem 1.3 by choosing where with

Remark 1.5.

The above inequality can be used to produce some norm inequalities for the sum of positive operators in the case when the convex function is nonnegative and monotonic nondecreasing on Namely, we have
(1.4)

The inequality (1.4) reverses if the function is concave on .

As particular cases we can state the following inequalities:
(1.5)
for and
(1.6)

for

If are positive definite for each , then (1.5) also holds for

If one uses the inequality (1.4) for the exponential function, then one obtains the inequality
(1.7)

where are positive operators for each

In Section of the monograph [1] there are numerous and interesting converses of the Jensen type inequality from which we would like to mention one of the simplest (see [4] and [1, page 61]).

Theorem 1.6.

Let be selfadjoint operators with , , for some scalars and with . If is a strictly convex function twice differentiable on , then for any positive real number one has
(1.8)
where
(1.9)

The case of equality was also analyzed but will be not stated in here.

The main aim of the present paper is to provide different reverses of the Jensen inequality where some upper bounds for the nonnegative difference
(1.10)

will be provided. Applications for some particular convex functions of interest are also given.

## 2. Reverses of the Jensen Inequality

The following result holds.

Theorem 2.1.

Let be an interval and a convex and differentiable function on (the interior of whose derivative is continuous on If is a selfadjoint operator on the Hilbert space with then
(2.1)

for any with

Proof.

Since is convex and differentiable, we have that
(2.2)

for any

Now, if we chose in this inequality for any with since then we have
(2.3)

for any any with

If we fix with in (2.3) and apply property (P), then we get
(2.4)

for each with which is clearly equivalent to the desired inequality (2.1).

Corollary 2.2.

Assume that is as in Theorem 2.1. If are selfadjoint operators with , and with , then
(2.5)

Proof.

As in [1, page 6], if we put
(2.6)
then we have
(2.7)

and so on. The details are omitted.

Applying Theorem 2.1 for and , we deduce the desired result (2.5).

Corollary 2.3.

Assume that is as in Theorem 2.1. If are selfadjoint operators with , and with then
(2.8)

for each with

Remark 2.4.

Inequality (2.8), in the scalar case, namely
(2.9)

where , has been obtained for the first time in 1994 by Dragomir and Ionescu, see [7].

The following particular cases are of interest.

Example 2.5.
1. (a)
Let be a positive definite operator on the Hilbert space Then we have the following inequality:
(2.10)

for each with
1. (b)
If is a selfadjoint operator on , then we have the inequality
(2.11)

for each with
1. (c)
If and is a positive operator on , then
(2.12)

for each with If is positive definite, then inequality (2.12) also holds for

If and is a positive definite operator then the reverse inequality also holds
(2.13)

for each with

Similar results can be stated for sequences of operators; however the details are omitted.

## 3. Further Reverses

In applications would be perhaps more useful to find upper bounds for the quantity
(3.1)

that are in terms of the spectrum margins and of the function .

The following result may be stated.

Theorem 3.1.

Let be an interval and a convex and differentiable function on (the interior of whose derivative is continuous on . If is a selfadjoint operator on the Hilbert space with then
(3.2)

for any with

One also has the inequality
(3.3)

for any with

Moreover, if and then one also has
(3.4)

for any with

Proof.

We use the following Grüss type result we obtained in [8].

Let be a selfadjoint operator on the Hilbert space and assume that for some scalars If and are continuous on and and then
(3.5)

for each with where and

Therefore, we can state that
(3.6)
(3.7)

for each with which together with (2.1) provide the desired result (3.2).

On making use of the inequality obtained in [9]:
(3.8)
for each with we can state that
(3.9)

for each with which together with (2.1) provides the desired result (3.3).

Further, in order to prove the third inequality, we make use of the following result of Grüss' type we obtained in [9].

If and are positive, then
(3.10)

for each with

Now, on making use of (3.10) we can state that
(3.11)

for each with which together with (2.1) provides the desired result (3.4).

Corollary 3.2.

Assume that is as in Theorem 3.1. If are selfadjoint operators with , , then
(3.12)

for any with

One also has the inequality
(3.13)

for any with

Moreover, if and then one also has
(3.14)

for any with

The following corollary also holds.

Corollary 3.3.

Assume that is as in Theorem 2.1. If are selfadjoint operators with , and with then
(3.15)

for any with

One also has the inequality
(3.16)

for any with

Moreover, if and then one also has
(3.17)

for any with

Remark 3.4.

Some of the inequalities in Corollary 3.3 can be used to produce reverse norm inequalities for the sum of positive operators in the case when the convex function is nonnegative and monotonic nondecreasing on

For instance, if we use inequality (3.15), then one has
(3.18)
Moreover, if we use inequality (3.17), then we obtain
(3.19)

## 4. Some Particular Inequalities of Interest

( ) Consider the convex function , On utilising inequality (3.2), then for any positive definite operator on the Hilbert space we have the inequality
(4.1)

for any with

However, if we use inequality (3.3), then we have the following result as well:
(4.2)
for any with
1. (2)
Finally, if we consider the convex function with then on applying inequalities (3.2) and (3.3) for the positive operator , we have the inequalities
(4.3)

for any with respectively.

If the operator is positive definite then, by utilising inequality (3.4), we have
(4.4)

for any with

Now, if we consider the convex function with then from the inequalities (3.2) and (3.3) and for the positive definite operator we have the inequalities
(4.5)

for any with respectively.

Similar results may be stated for the convex function with However the details are left to the interested reader.

## Declarations

### Acknowledgment

The author would like to thank anonymous referee for valuable suggestions that have been implemented in the final version of this paper.

## Authors’ Affiliations

(1)
Mathematics, School of Engineering & Science, Victoria University
(2)
School of Computational and Applied Mathematics, University of the Witwatersrand

## References

1. Furuta T, Hot JM, Pečarić J, Seo Y: Mond-Pečarić Method in Operator Inequalities. Inequalities for Bounded Selfadjoint Operators on a Hilbert Space. Element, Zagreb, Croatia; 2005.
2. Mond B, Pečarić JE: Classical inequalities for matrix functions. Utilitas Mathematica 1994, 46: 155–166.
3. Matković A, Pečarić J, Perić I: A variant of Jensen's inequality of Mercer's type for operators with applications. Linear Algebra and Its Applications 2006, 418(2–3):551–564. 10.1016/j.laa.2006.02.030
4. Mićić J, Seo Y, Takahasi S-E, Tominaga M: Inequalities of Furuta and Mond-Pečarić. Mathematical Inequalities & Applications 1999, 2(1):83–111.
5. Mond B, Pečarić JE: Convex inequalities in Hilbert space. Houston Journal of Mathematics 1993, 19(3):405–420.
6. McCarthy CA: . Israel Journal of Mathematics 1967, 5: 249–271. 10.1007/BF02771613Google Scholar
7. Dragomir SS, Ionescu NM: Some converse of Jensen's inequality and applications. Revue d'Analyse Numérique et de Théorie de l'Approximation 1994, 23(1):71–78.
8. Dragomir SS: Grüss' type inequalities for functions of selfadjoint operators in Hilbert spaces. RGMIA Research Report Collection 2008., 11, article 11: PreprintGoogle Scholar
9. Dragomir SS: Some new Grüss' type inequalities for functions of selfadjoint operators in Hilbert spaces. RGMIA Research Report Collection 2008., 11, article 12: PreprintGoogle Scholar