Open Access

Refinements of Hermite-Hadamard type inequalities for operator convex functions

Journal of Inequalities and Applications20132013:262

https://doi.org/10.1186/1029-242X-2013-262

Received: 6 August 2012

Accepted: 9 May 2013

Published: 24 May 2013

Abstract

The purpose of this paper is to present some new versions of Hermite-Hadamard type inequalities for operator convex functions. We give refinements of Hermite-Hadamard type inequalities for convex functions of self-adjoint operators in a Hilbert space analogous to well-known inequalities of the same type. The results presented in this paper are more general than known results given by several authors.

MSC:26D15, 47A63.

Keywords

Hermite-Hadamard inequalityoperator convex functionsself-adjoint operators

1 Introduction

Let f be a real-valued function defined on I R . The function f is called convex if
f ( λ a + ( 1 λ ) b ) λ f ( a ) + ( 1 λ ) f ( b )
for all λ [ 0 , 1 ] and a , b I . The function f is called concave if
f ( λ a + ( 1 λ ) b ) λ f ( a ) + ( 1 λ ) f ( b )
for all λ [ 0 , 1 ] and a , b I . Let f : [ a , b ] R be a convex function and a , b R , with a < b , then the inequality
f ( a + b 2 ) 1 b a a b f ( x ) d x f ( a ) + f ( b ) 2 , a , b R ,
(1.1)

is known in the literature as the Hermite-Hadamard inequality for convex functions, see [1]. Such inequality is very useful in many mathematical contexts and contributes as a tool for establishing some interesting estimations. Both inequalities in (1.1) hold in the reversed direction if f is concave.

Let X be a vector space, x , y X , x y and [ x , y ] = { ( 1 t ) x + t y , t [ 0 , 1 ] } . We consider the function f : [ x , y ] R and the associated function
g ( x , y ) : [ 0 , 1 ] R , g ( x , y ) ( t ) : = f [ ( 1 t ) x + t y ] , t [ 0 , 1 ] .

Note that f is convex on [ x , y ] if and only if g ( x , y ) is convex on [ 0 , 1 ] .

For any convex function f defined on a segment [ x , y ] X , we have the Hermite-Hadamard integral inequality
f ( x + y 2 ) 0 1 f [ ( 1 t ) x + t y ] d t f ( x ) + f ( y ) 2 ,
(1.2)

which can be derived from the classical Hermite-Hadamard inequality (1.1) for the convex function g ( x , y ) : [ 0 , 1 ] R .

On a finite-dimensional inner product space, a self-adjoint operator is an operator that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.

A real-valued continuous function f on an interval I is said to be operator convex (operator concave) if
f ( ( 1 λ ) A + λ B ) ( ) ( 1 λ ) f ( A ) + λ f ( B )

in the operator order for all λ [ 0 , 1 ] and for every self-adjoint operator A and B on a Hilbert space H whose spectra are contained in I. Notice that a function f is operator concave if −f is operator convex.

In recent years many authors have been interested in giving some refinements and extensions of the Hermite-Hadamard inequality (1.1). For more about convex functions and the Hermite-Hadamard inequality, see [26].

The author in [7] presents the Hermite-Hadamard type inequality for convex functions by sequences. But the inequality therein is established on 2 n . In this paper, a new refinement of the Hermite-Hadamard type inequality is presented. Our inequality is an improved version of the inequality given in [7]. Namely, this inequality includes not only 2 n , but also all positive real numbers as the number of partition.

The author in [8] shows some new integral inequalities analogous to the well-known Hermite-Hadamard inequality. We give a general form of the first of these inequalities and show that the inequalities therein are satisfied for operator convex functions.

View more results about operator convex functions and Hermite-Hadamard type inequalities in [9]. The authors in [9] show further results analogous to the results in this paper.

Dragomir proved the following theorem in [3].

Theorem 1 Let f : I R be an operator convex function on some interval I. Then, for any self-adjoint operators A and B with spectra in I, we have the inequality
( f ( A + B 2 ) ) 1 2 [ f ( 3 A + B 4 ) + f ( A + 3 B 4 ) ] 0 1 f ( ( 1 t ) A + t B ) d t 1 2 [ f ( A + B 2 ) + f ( A ) + f ( B ) 2 ] ( f ( A ) + f ( B ) 2 ) .
(1.3)

Zabandan gave a refinement of the Hermite-Hadamard inequality for convex functions in [7].

Theorem 2 Let f be a convex function on [ a , b ] . Then we have
f ( a + b 2 ) = x 0 1 2 [ f ( 3 a + b 4 ) + f ( a + 3 b 4 ) ] = x 1 x n 1 b a a b f ( x ) d x y n y 1 = 1 4 [ f ( a ) + 2 f ( a + b 2 ) + f ( b ) ] y 0 = f ( a ) + f ( b ) 2 ,
(1.4)
where
x n = 1 2 n i = 1 2 n f ( a + i b a 2 n b a 2 n + 1 ) = 1 2 n i = 1 2 n f ( a + ( i 1 2 ) b a 2 n )
and
y n = 1 2 n + 1 i = 1 2 n f ( ( 1 i 2 n ) a + i 2 n b ) + f ( ( 1 i 1 2 n ) a + i 1 2 n b ) = 1 2 n + 1 [ f ( a ) + f ( b ) + 2 i = 1 2 n 1 f ( ( 1 i 2 n ) a + i 2 n b ) ] .

Pachpatte gave some integral inequalities analogous to the well-known Hermite-Hadamard inequality by using a fairly elementary analysis in [8] as follows.

Theorem 3 Let f and g be real-valued, nonnegative and convex functions on [ a , b ] . Then
(1.5)
(1.6)

where M ( a , b ) = f ( a ) g ( a ) + f ( b ) g ( b ) , N ( a , b ) = f ( a ) g ( b ) + f ( b ) g ( a ) .

2 Main results

Theorem 4 Let f : I R be an operator convex function on some interval I. Then for any self-adjoint operators A and B with spectra in I, we have the inequality
( f ( A + B 2 ) ) 1 k i = 0 k 1 f ( ( 2 k 2 i 1 ) A + ( 2 i + 1 ) B 2 k ) 0 1 f ( ( 1 t ) A + t B ) d t 1 k [ i = 1 k 1 f ( ( k i ) A + i B k ) + f ( A ) + f ( B ) 2 ] ( f ( A ) + f ( B ) 2 ) ,
(2.1)

where k is the number of steps.

Proof The function f is continuous, 0 1 f ( ( 1 t ) A + t B ) d t exists for any self-adjoint operators A and B with spectra in I.

We can give two proofs of the theorem. The first using the definition of operator convex functions and the second using the Hermite-Hadamard inequality for real-valued functions.
  1. 1.
    From the definition of operator convex functions, we have the inequalities
    f ( X + Y 2 ) = f ( ( 1 t ) X + t Y 2 + ( 1 t ) Y + t X 2 ) f ( ( 1 t ) X + t Y ) + f ( ( 1 t ) Y + t X ) 2 f ( X ) + f ( Y ) 2
    (2.2)
     
for any t [ 0 , 1 ] and self-adjoint operators X and Y with spectra in I. If we integrate the inequality (2.2) over t and take into account that
0 1 f ( ( 1 t ) X + t Y ) d t = 0 1 f ( t X + ( 1 t ) Y ) d t ,
then we conclude the Hermite-Hadamard inequality for operator convex functions
f ( X + Y 2 ) 0 1 f ( ( 1 t ) X + t Y ) d t f ( X ) + f ( Y ) 2
(2.3)
that holds for any self-adjoint operators X and Y with spectra in I. Utilizing the change of variable u = k t , we have
0 1 k f ( ( 1 t ) A + t B ) d t = 1 k 0 1 f ( ( 1 u k ) A + u k B ) d u = 1 k 0 1 f ( A A u k + B u k ) d u = 1 k 0 1 f ( ( 1 u ) A + u ( k 1 ) A + B k ) d u
and by the change of variable u = k t 1 , we have
1 k 2 k f ( ( 1 t ) A + t B ) d t = 1 k 0 1 f ( ( 1 u + 1 k ) A + u + 1 k B ) d u = 1 k 0 1 f ( A A u k A k + B u k + B k ) d u = 1 k 0 1 f ( ( 1 u ) ( k 1 ) A + B k + u ( k 2 ) A + 2 B k ) d u .
We can change the variables until the variable u = k t ( k 1 ) by using the same procedure above. By the change of variable u = k t ( k 1 ) , we get
k 1 k 1 f ( ( 1 t ) A + t B ) d t = 1 k 0 1 f ( ( 1 u + k 1 k ) A + u + k 1 k B ) d u = 1 k 0 1 f ( A A u k A + A k + B u k + B B k ) d u = 1 k 0 1 f ( ( 1 u ) A + ( k 1 ) B k + u B ) d u .
Using the Hermite-Hadamard inequality in (2.3), we have
(2.4)
(2.5)
(2.6)
By induction we have
f ( A + ( k 1 ) B k + B 2 ) = f ( A + ( 2 k 1 ) B 2 k ) 0 1 f ( ( 1 u ) A + ( k 1 ) B k + u B ) d u 1 2 [ f ( A + ( k 1 ) B k ) + f ( B ) ] .
(2.7)
By summing (2.4), (2.5), (2.6), (2.7) and the other inequalities between (2.6) and (2.7), we have
(2.8)
When regulating the inequality (2.8), we get the desired inequality in (2.1). It is obvious from the left-hand side of the inequality (2.1) for k = 1 , we get f ( A + B 2 ) , and it is obvious the right-hand side of the inequality (2.1) is provided for k = 2 .
  1. 2.
    Let x H , x = 1 and let A and B be two self-adjoint operators with spectra in I. Define the real-valued function φ x , A , B : [ 0 , 1 ] R by φ x , A , B ( t ) = f ( ( 1 t ) A + t B ) x , x . Since f is operator convex, then for any t 1 , t 2 [ 0 , 1 ] and α , β 0 with α + β = 1 , we have
    φ x , A , B ( α t 1 + β t 2 ) = f ( ( 1 ( α t 1 + β t 2 ) ) A + ( α t 1 + β t 2 ) B ) x , x = f ( α [ ( 1 t 1 ) A + t 1 B ] + β [ ( 1 t 2 ) A + t 2 B ] ) x , x α f ( [ ( 1 t 1 ) A + t 1 B ] ) x , x + β f ( β [ ( 1 t 2 ) A + t 2 B ] ) x , x = α φ x , A , B ( t 1 ) + β φ x , A , B ( t 2 )
     
showing that φ x , A , B is a convex function on [ 0 , 1 ] . Now we can use the Hermite-Hadamard inequality for real-valued functions
g ( a + b 2 ) 1 b a a b g ( s ) d s g ( a ) + g ( b ) 2
to get that
φ x , A , B ( 1 2 k ) k 0 1 k φ x , A , B ( t ) d t φ x , A , B ( 0 ) + φ x , A , B ( 1 / k ) 2 , φ x , A , B ( 3 2 k ) k 1 k 2 k φ x , A , B ( t ) d t φ x , A , B ( 1 k ) + φ x , A , B ( 2 k ) 2 , φ x , A , B ( 2 k 1 2 k ) k k 1 k 1 φ x , A , B ( t ) d t φ x , A , B ( k 1 k ) + φ x , A , B ( 1 ) 2 .
By summing the inequalities above and multiplying with 1 k , we get
1 k [ φ x , A , B ( 1 2 k ) + φ x , A , B ( 3 2 k ) + + φ x , A , B ( 2 k 1 2 k ) ] 0 1 φ x , A , B ( t ) d t 1 k [ φ x , A , B ( 0 ) + φ x , A , B ( 1 ) 2 + φ x , A , B ( 1 k ) + φ x , A , B ( 2 k ) + + φ x , A , B ( k 1 k ) ] .
Thus, we can write
1 k [ f ( ( 1 2 k ) A + 1 2 k B ) + f ( ( 1 3 2 k ) A + 3 2 k B ) + + f ( ( 1 2 k 1 2 k ) A + 2 k 1 2 k B ) ] x , x 0 1 f ( ( 1 t ) A + t B ) x , x d t 1 k [ f ( A ) + f ( B ) 2 + f ( ( 1 1 k ) A + 1 k B ) + f ( ( 1 2 k ) A + 2 k B ) + + f ( ( 1 k 1 k ) A + k 1 k B ) ] x , x .
By regulating these inequalities above, we get
1 k [ i = 0 k 1 f ( ( 2 k 2 i 1 ) A + ( 2 i + 1 ) B 2 k ) ] x , x 0 1 f ( ( 1 t ) A + t B ) x , x d t 1 k [ f ( A ) + f ( B ) 2 + i = 0 k 1 f ( ( k i ) A + i B k ) ] x , x .
(2.9)
Finally, since by the continuity of the function f, we have
0 1 f ( ( 1 t ) A + t B ) x , x d t = 0 1 f ( ( 1 t ) A + t B ) d t x , x

for any x H , and any two self-adjoint operators A and B with spectra in I, from (2.9) we get the desired result in (2.1). □

Remark 5 Our result for operator convex functions in Theorem 4 is more general than the inequality in Theorem 1. In the inequality (2.1) if we take k = 2 , we get the inequality in (1.3).

Remark 6 Our result for operator convex functions in Theorem 4 is more general than the inequality in Theorem 2. In the inequality (2.1), if we take k = 2 n , we get the inequality in (1.4). In Theorem 2, there are no cases of k N { 2 n , n = 0 , 1 , 2 , } . But our result involves these statements.

Theorem 7 Let f , g : I R be an operator convex function on some interval I. Then for any self-adjoint operators A and B with spectra in I, we have the inequality
0 1 f ( ( 1 t ) A + t B ) x , x g ( ( 1 t ) A + t B ) x , x d t 1 3 M ( A , B ) + 1 6 N ( A , B ) ,
(2.10)
where
M ( A , B ) = f ( A ) x , x g ( A ) x , x + f ( B ) x , x g ( B ) x , x , N ( A , B ) = f ( A ) x , x g ( B ) x , x + f ( B ) x , x g ( A ) x , x .
Proof Let x H , x = 1 and let A and B be two self-adjoint operators with spectra in I. Define the real-valued functions φ x , A , B : [ 0 , 1 ] R by φ x , A , B ( t ) = f ( ( 1 t ) A + t B ) x , x and ψ x , A , B : [ 0 , 1 ] R by ψ x , A , B ( t ) = g ( ( 1 t ) A + t B ) x , x . Since f and g are operator convex functions, then for every t [ 0 , 1 ] , we have
(2.11)
(2.12)
From (2.11) and (2.12), we obtain
f ( ( 1 t ) A + t B ) x , x g ( ( 1 t ) A + t B ) x , x ( 1 t ) 2 f ( A ) x , x g ( A ) x , x + t 2 f ( B ) x , x g ( B ) x , x + t ( 1 t ) ( f ( A ) x , x g ( B ) x , x + f ( B ) x , x g ( A ) x , x ) .
(2.13)
Since φ x , A , B ( t ) and ψ x , A , B ( t ) are operator convex on [ 0 , 1 ] , they are integrable on [ 0 , 1 ] and consequently φ x , A , B ( t ) ψ x , A , B ( t ) is also integrable on [ 0 , 1 ] . Integrating both sides of the inequality (2.13) over [ 0 , 1 ] , we get
0 1 f ( ( 1 t ) A + t B ) x , x g ( ( 1 t ) A + t B ) x , x d t f ( A ) x , x g ( A ) x , x 0 1 ( 1 t ) 2 d t + f ( B ) x , x g ( B ) x , x 0 1 t 2 d t + ( f ( A ) x , x g ( B ) x , x + f ( B ) x , x g ( A ) x , x ) 0 1 t ( 1 t ) d t .
It can be easily controlled that
0 1 ( 1 t ) 2 d t = 0 1 t 2 d t = 1 3 , 0 1 t ( 1 t ) d t = 1 6 .

When above equalities are taken into account, the proof is complete. □

Remark 8 In the inequality (2.10), if we take x = ( 1 t ) A + t B , a = 0 and b = 1 , we get the inequality (1.5).

Theorem 9 Let f , g : I R be an operator convex function on some interval I. Then, for any self-adjoint operators A and B with spectra in I, we have the inequality
(2.14)

where k is the number of steps.

Proof The proof is obvious from the proof of Theorem 4 and Theorem 7. □

Remark 10 The inequality (2.14) is a general form of the inequality (2.10). When k = 1 in the inequality (2.14), we get the inequality (2.10).

Authors’ information

This study is a part of corresponding author’s MSc thesis.

Declarations

Acknowledgements

This study was supported by The Coordinatorship of Selçuk University’s Scientific Research Project (BAP) and The Scientific and Technical Research Council of Turkey (TÜBİTAK). The authors wish to express their heartfelt thanks to the referees for their detailed and helpful suggestions for revising the manuscript.

Authors’ Affiliations

(1)
Department of Mathematics, Science Faculty, Selçuk University

References

  1. Pečarić JE, Proschan F, Tong YL: Convex Functions, Partial Orderings and Statistical Applications. Academic Press, New York; 1991.Google Scholar
  2. Dragomir SS: Hermite-Hadamard’s type inequalities for convex functions of selfadjoint operators in Hilbert spaces. Linear Algebra Appl. 2012, 436: 1503–1515. 10.1016/j.laa.2011.08.050MathSciNetView ArticleGoogle Scholar
  3. Dragomir SS: Hermite-Hadamard’s type inequalities for operator convex functions. Appl. Math. Comput. 2011, 218: 766–772. 10.1016/j.amc.2011.01.056MathSciNetView ArticleGoogle Scholar
  4. Dragomir SS: New Hermite-Hadamard-type inequalities for convex functions (II). Comput. Math. Appl. 2011, 62: 401–418. 10.1016/j.camwa.2011.05.023MathSciNetView ArticleGoogle Scholar
  5. Dragomir SS: New refinements of the Hermite-Hadamard integral inequality for convex functions and applications. Soochow J. Math. 2002, 28(4):357–374.MathSciNetGoogle Scholar
  6. Dragomir SS Springer Briefs in Mathematics. Operator Inequalities of the Jensen, Cebysev and Grüss Type 2012.View ArticleGoogle Scholar
  7. Zabandan G: A new refinement of the Hermite-Hadamard inequality for convex functions. JIPAM. J. Inequal. Pure Appl. Math. 2009., 10(2): Article ID 45Google Scholar
  8. Pachpatte, BG: On some inequalities for convex functions. RGMIA Res. Rep. Coll. 6(E) (2003)Google Scholar
  9. Bacak V, Türkmen R: New inequalities for operator convex functions. J. Inequal. Appl. 2013., 2013: Article ID 190Google Scholar

Copyright

© Bacak and Türkmen; licensee Springer 2013

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/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.