Volume 9 (2008), Issue 4, Article 105, 4 pp. ON A GENERALIZATION OF THE HERMITE-HADAMARD INEQUALITY II MATLOOB ANWAR AND J. PEČARIĆ 1- A BDUS S ALAM S CHOOL OF M ATHEMATICAL S CIENCES GC U NIVERSITY, L AHORE , PAKISTAN matloob_t@yahoo.com U NIVERSITY O F Z AGREB FACULTY O F T EXTILE T ECHNOLOGY C ROATIA pecaric@mahazu.hazu.hr Received 01 November, 2007; accepted 12 November, 2007 Communicated by W.S. Cheung A BSTRACT. Generalized form of Hermite-Hadamard inequality for (2n)-convex Lebesgue integrable functions are obtained through generalization of Taylor’s Formula. Key words and phrases: Convex function, Hermite-Hadamard inequality, Taylor’s Formula. 2000 Mathematics Subject Classification. Primary 26A51; Secondary 26A46, 26A48. The classical Hermite-Hadamard inequality gives us an estimate, from below and from above, of the mean value of a convex function f : [a, b] → R (see [1, pp. 137]): Z b a+b 1 f (a) + f (b) (HH) f ≤ f (x) dx ≤ . 2 b−a a 2 In [2] the first author with Sabir Hussain proved the following two theorems Theorem 1. Assume that f is Lebesgue integrable and convex on (a, b). Then 1 b−a Z b f (y)dy + a for all x ∈ (a, b). 336-07 f+0 (x) a+b x− − f (x) 2 Z b 1 0 (x − a)2 + (b − x)2 ≥ |f (y) − f (x)| dy − f+ (x) b−a a 2(b − a) 2 M ATLOOB A NWAR AND J. P E ČARI Ć Theorem 2. Assume that f : [a, b] → R is a convex function. Then Z b 1 f (b)(b − x) + f (a)(x − a) 1 f (x) + − f (y)dy 2 b−a b−a a Z b Z b 1 1 1 0 ≥ |f (x) − f (y)| dy − |x − y| |f (y)| dy 2 b−a a b−a a for all x ∈ (a, b). Remark 1. For x = a+b in Theorem 1 and x = a or x = b in Theorem 2, we obtain improve2 ments of inequality (HH). In this paper we will prove further generalizations of these results. Theorem 3. Assume that f : [a, b] → R is a (2n − 1)-times differentiable and (2n)−convex function. Then 1 (b − a) Z b (b − x)k+1 − (a − x)k+1 (k) f (x) (k + 1)!(b − a) 1 2n−2 1 Z b X (y − x)k (k) ≥ f (x) dy f (y) − f (x) − (b − a) a k! 1 (2n−1) (b − x)2n − (a − x)2n − f (x) (2n)!(b − a) f (y)dy − (b − a)f (x) − a 2n−1 X for all x ∈ (a, b). Proof. It is well known that a continuous (2n)−convex function can be uniformly approximated by a (2n)−convex polynomial. So we can suppose that we have (2n)−derivatives of f . By Taylor’s formula, f (y) = f (x) + (y − x)f 0 (x) + (y − x)2 00 f (x) + · · · 2! (y − x)2n−1 (2n−1) (y − x)2n (2n) + f (x) + f (ξ), 2n − 1! 2n! for x, y ∈ [a, b], ξ ∈ (a, b). Since f is (2n)−convex, we have f (2n) (x) ≥ 0. So (y − x)2 00 (y − x)2n−1 (2n−1) f (y) ≥ f (x) + (y − x)f 0 (x) + f (x) + · · · + f (x) 2! (2n − 1)! and we can write f (y) − f (x) − (y − x)f 0 (x) − (y − x)2 00 (y − x)2n−1 (2n−1) f (x) − · · · − f (x) ≥ 0, 2! 2n − 1! i.e., (y − x)2 00 (y − x)2n−1 (2n−1) f (y) − f (x) − (y − x)f (x) − f (x) − · · · − f (x) 2! (2n − 1)! (y − x)2 00 (y − x)2n−1 (2n−1) 0 = f (y) − f (x) − (y − x)f (x) − f (x) − · · · − f (x) . 2! (2n − 1)! 0 J. Inequal. Pure and Appl. Math., 9(4) (2008), Art. 105, 4 pp. http://jipam.vu.edu.au/ H ERMITE -H ADAMARD I NEQUALITY 3 Now by using the triangle inequality (y − x)2 00 (y − x)2n−1 (2n−1) (1) f (y) − f (x) − (y − x)f (x) − f (x) − · · · − f (x) 2! 2n − 1! (y − x)2n−2 (2n−2) ≥ f (y) − f (x) − (y − x)f 0 (x) − · · · − f (x) 2n − 2! (y − x)2n−1 (2n−1) − f (x) . 2n − 1! 0 Now integrating the last inequality with respect to y and using the triangle inequality for integrals, we get b 2n−1 X (b − x)k+1 − (a − x)k+1 (k) f (x) (k + 1)! a 1 Z 2n−2 b 2n 2n X (y − x)k (b − x) − (a − x) . ≥ f (k) (x) dy − f (2n−1) (x) f (y) − f (x) − a k! (2n)! Z f (y)dy − (b − a)f (x) − 1 Theorem 4. Assume that f : [a, b] → R is a (2n − 1)−times differentiable and (2n)−convex function. Then 2n f (x) − (b − a) b 2n−1 X 2n − k [(x − b)k f (k−1) (b) − (x − a)k f (k−1) (a)] k!(b − a) a 1 2n−2 1 Z b k X (x − y) (k) f (y) dy ≥ f (x) − f (y) − b − a a k! 1 Z b (x − y)2n−1 (2n−1) 1 − f (y) dy . b − a a (2n − 1)! Z f (y)dy − Proof. Integrating (1) with respect to x and by using the triangle inequality for integrals, we get b b 2n−1 X (y − x)k (k) f (x)dx k! a a 1 Z Z b 2n−2 b k 2n−1 X (y − x) (k) (2n−1) (y − x) dx . ≥ f (x) dx − f (x) f (y) − f (x) − (2n − 1)! a k! a 1 Z (2) (b − a)f (y) − Z f (x)dx − By replacing x and y we obtain the required result. Corollary 5. Suppose that f : [a, b] → R is a (2n − 1)−times differentiable and (2n)−convex function. Then 1 (b − a) Z b f (y)dy − (b − a)f a a+b 2 J. Inequal. Pure and Appl. Math., 9(4) (2008), Art. 105, 4 pp. − 2n−1 X 1 b−a k+1 2 k+1 − a−b a+b (k) 2 f (k + 1)!(b − a) 2 http://jipam.vu.edu.au/ 4 M ATLOOB A NWAR AND J. P E ČARI Ć 2n−2 1 Z b X y − a+b k a+b a + b 2 ≥ − f (k) f (y) − f dy (b − a) a 2 k! 2 1 (2n−1) a + b (b − a)2n − (a − b)2n . − f 2 (2n)!(b − a)22n Proof. Set x = a+b 2 in Theorem 3. Corollary 6. Suppose that f : [a, b] → R is a (2n − 1)−times differentiable and (2n)−convex function. Then Z b 2n−1 X 2n − k 2n f (a) − f (y)dy − [(a − b)k f (k−1) (b)] (b − a) a k!(b − a) 1 2n−2 1 Z b X (a − y)k (k) ≥ f (y) dy f (a) − f (y) − b − a a k! 1 Z b (a − y)2n−1 (2n−1) 1 f (y) dy . − b − a a (2n − 1)! Proof. Set x = a in Theorem 4. R EFERENCES [1] J.E. PEČARIĆ, F. PROSCHAN AND Y.C. TONG, Convex Functions, Partial Orderings and Statistical Applications, Academic Press, New York, 1992. [2] S. HUSSAIN AND M. ANWAR, On generalization of the Hermite-Hadamard inequality, J. Inequal. Pure and Appl. Math., 8(2) (2007), Art. 60. [ONLINE: http://jipam.vu.edu.au/ article.php?sid=873]. J. Inequal. Pure and Appl. Math., 9(4) (2008), Art. 105, 4 pp. http://jipam.vu.edu.au/