International Journal of Mathematics and Mathematical Sciences
VolumeΒ 2012Β (2012), Article IDΒ 809689, 12 pages
doi:10.1155/2012/809689
Research Article

Hermite-Hadamard and Simpson-Like Type Inequalities for Differentiable ( 𝛼 , π‘š )-Convex Mappings

Department of Mathematics, Hanseo University, Chungnam-do, Seosan-si 356-706, Republic of Korea

Received 13 July 2011; Revised 13 November 2011; Accepted 28 November 2011

Academic Editor: JewgeniΒ Dshalalow

Copyright Β© 2012 Jaekeun Park. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

The author establish several Hermite-Hadamard and Simpson-like type inequalities for mappings whose first derivative in absolute value aroused to the π‘ž th ( π‘ž β‰₯ 1 ) power are ( 𝛼 , π‘š )-convex. Some applications to special means of positive real numbers are also given.

1. Introduction

Recall that, for some fixed 𝛼 ∈ ( 0 , 1 ] and π‘š ∈ [ 0 , 1 ] , a mapping 𝑓 ∢ 𝕀 βŠ† [ 0 , ∞ ) β†’ ℝ is said to be ( 𝛼 , π‘š ) -convex on an interval 𝕀 if the inequality 𝑓 ( 𝑑 π‘₯ + π‘š ( 1 βˆ’ 𝑑 ) 𝑦 ) ≀ 𝑑 𝛼 𝑓 ( π‘₯ ) + π‘š ( 1 βˆ’ 𝑑 𝛼 ) 𝑓 ( 𝑦 ) ( 1 . 1 ) holds for π‘₯ , 𝑦 ∈ 𝕀 , and 𝑑 ∈ [ 0 , 1 ] .

Denote by 𝐾 𝛼 π‘š ( 𝕀 ) the set of all ( 𝛼 , π‘š ) -convex mappings on 𝕀 . For recent results and generalizations concerning π‘š -convex and ( 𝛼 , π‘š ) -convex mappings, see [14].

For the simplicities of notations, for 𝑓 ∈ 𝐾 𝛼 π‘š ( 𝕀 ) , let us denote ( π‘Ž βˆ’ π‘š 𝑏 ) 𝑆 𝑏 π‘Ž 1 ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) = π‘Ÿ  ξ‚€ 𝑓 ( π‘Ž ) + ( π‘Ÿ βˆ’ 2 ) 𝑓 π‘Ž + π‘š 𝑏 2   βˆ’ 1 + 𝑓 ( π‘š 𝑏 ) ξ€œ π‘š 𝑏 βˆ’ π‘Ž π‘Ž π‘š 𝑏 𝑓 ( π‘₯ ) 𝑑 π‘₯ . ( 1 . 2 )

In [1, 3], Klaričić Bakula and Özdemir et al., proved the following Hadamard’s inequalities for mappings whose second derivative in absolute value aroused to the π‘ž -th ( π‘ž β‰₯ 1 ) power are ( 𝛼 , π‘š ) -convex.

Theorem 1.1. Let 𝑓 ∢ 𝕀 βŠ† [ 0 , 𝑏 βˆ— ] β†’ ℝ be a twice differentiable mapping on the interior 𝕀 0 of an interval 𝕀 such that 𝑓 ξ…ž ξ…ž ∈ 𝐿 1 ( [ π‘Ž , 𝑏 ] ) , where π‘Ž , 𝑏 ∈ 𝕀 with π‘Ž < 𝑏 and 𝑏 βˆ— > 0 . If | 𝑓 ξ…ž ξ…ž | π‘ž is ( 𝛼 , π‘š ) -convex on [ π‘Ž , 𝑏 ] for ( 𝛼 , π‘š ) ∈ [ 0 , 1 ] 2 and π‘ž β‰₯ 1 with 1 / 𝑝 + 1 / π‘ž = 1 , then the following inequality holds: | | 𝑆 ( π‘Ž ) 𝑏 π‘Ž | | ≀ ( 𝑓 ) ( 𝛼 , π‘š , 2 ) π‘š 𝑏 βˆ’ π‘Ž 2 ξ‚€ 1 6  1 / 𝑝 ξ€½ πœ‡ | | 𝑓 ξ…ž ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + π‘š 𝜈 ξ…ž ξ…ž | | ( 𝑏 ) π‘ž ξ€Ύ 1 / π‘ž , ( 1 . 3 ) where 1 πœ‡ = 𝛼 ( 𝛼 + 2 ) ( 𝛼 + 3 ) , 𝜈 = 2 + 5 𝛼 , 6 ( 𝛼 + 2 ) ( 𝛼 + 3 ) ( 1 . 4 ) | | 𝑆 ( 𝑏 ) 𝑏 π‘Ž | | ≀ ( 𝑓 ) ( 𝛼 , π‘š , 6 ) π‘š 𝑏 βˆ’ π‘Ž 2 ξ‚€ 1 2  1 / 𝑝 ξ€½ πœ‡ 0 | | 𝑓 ξ…ž ξ…ž | | ( π‘Ž ) π‘ž + π‘š 𝜈 0 | | 𝑓 ξ…ž ξ…ž | | ( 𝑏 ) π‘ž ξ€Ύ 1 / π‘ž , ( 1 . 5 ) where πœ‡ 0 = ξ‚΅ π‘ž ξ‚Ά π‘ž + 𝛼 + 2 Ξ“ ( 𝛼 + 2 ) Ξ“ ( π‘ž ) , 𝜈 Ξ“ ( π‘ž + 𝛼 + 1 ) 0 = 1 ( βˆ’ ξ‚΅ π‘ž π‘ž + 1 ) ( π‘ž + 2 ) ξ‚Ά π‘ž + 𝛼 + 2 Ξ“ ( 𝛼 + 2 ) Ξ“ ( π‘ž ) , Ξ“ ( π‘ž + 𝛼 + 1 ) ( 1 . 6 ) where ξ€œ Ξ“ ( π‘₯ ) = ∞ 0 𝑒 βˆ’ 𝑑 𝑑 π‘₯ βˆ’ 1 𝑑 𝑑 , π‘₯ > 0 . ( 1 . 7 )

Theorem 1.2. Under the same notations in Theorem 2.2, if | 𝑓 ξ…ž ξ…ž | π‘ž is ( 𝛼 , π‘š ) -convex on [ π‘Ž , 𝑏 ] for ( 𝛼 , π‘š ) ∈ [ 0 , 1 ] 2 and π‘ž > 1 with 1 / 𝑝 + 1 / π‘ž = 1 , then the following inequality holds: | | 𝑆 𝑏 π‘Ž | | ≀ ( 𝑓 ) ( 𝛼 , π‘š , 2 ) π‘š 𝑏 βˆ’ π‘Ž 8 ξ‚» Ξ“ ( 𝑝 + 1 ) ξ‚Ό Ξ“ ( 𝑝 + 3 / 2 ) 1 / 𝑝  | | 𝑓 ξ…ž ξ…ž | | ( π‘Ž ) π‘ž 1 | | 𝑓 𝛼 + 1 + π‘š ξ…ž ξ…ž | | ( 𝑏 ) π‘ž ξ‚€ 𝛼 𝛼 + 1   1 / π‘ž . ( 1 . 8 )

Note that for ( 𝛼 , π‘š ) ∈ { ( 0 , 0 ) , ( 𝛼 , 0 ) , ( 1 , 0 ) , ( 1 , π‘š ) , ( 1 , 1 ) , ( 𝛼 , 1 ) } one obtains the following classes of functions: increasing, 𝛼 -starshaped, starshaped, π‘š -convex, convex, and 𝛼 -convex. For the definitions and elementary properties of these classes, see [48].

For recent years, many authors present some new results about Simpson’s inequality for ( 𝛼 , π‘š ) -convex mappings and have established error estimations for the Simpson’s inequality: for refinements, counterparts, generalizations, and new Simpson’s type inequalities, see [13, 6].

In [9], Dragomir et al. proved the following theorem.

Theorem 1.3. Let 𝑓 ∢ 𝕀 βŠ‚ [ 0 , ∞ ) β†’ ℝ be an absolutely continuous mapping on [ π‘Ž , 𝑏 ] such that 𝑓 β€² ∈ 𝐿 𝑝 ( [ π‘Ž , 𝑏 ] ) , where π‘Ž , 𝑏 ∈ 𝕀 with π‘Ž < 𝑏 . Then the following inequality holds: | | 𝑆 𝑏 π‘Ž | | ≀ ( 𝑓 ) ( 1 , 1 , 6 ) ( 𝑏 βˆ’ π‘Ž ) βˆ’ 1 / 𝑝 6 ξ‚» 2 π‘ž + 1 + 1 ξ‚Ό 3 ( π‘ž + 1 ) 1 / π‘ž β€– β€– 𝑓 ξ…ž β€– β€– 𝑝 . ( 1 . 9 )

The readers can estimate the 𝑒 π‘Ÿ π‘Ÿ π‘œ π‘Ÿ ( 𝑓 ) in the generalized Simpson’s formula without going through its higher derivatives which may not exist, not be bounded, or may be hard to find.

In this paper, the author establishes some generalizations of Hermite-Hadamard and Simpson-like type inequalities based on differentiable ( 𝛼 , π‘š ) -convex mappings by using the following new identity in Lemma 2.1 and by using these results, obtain some applications to special means of positive real numbers.

2. Generalizations of Simpson-Like Type Inequalities on 𝐾 𝛼 π‘š ( 𝕀 )

In order to generalize the classical Simpson-like type inequalities and prove them, we need the following lemma [6].

Lemma 2.1. Let 𝑓 ∢ 𝕀 βŠ† [ 0 , 𝑏 βˆ— ] β†’ ℝ be a differentiable mapping on the interior 𝕀 0 of an interval 𝕀 , where π‘Ž , 𝑏 ∈ 𝕀 with 0 ≀ π‘Ž < 𝑏 and 𝑏 βˆ— > 0 . If 𝑓 ξ…ž ∈ 𝐿 1 ( [ π‘Ž , 𝑏 ] ) , then, for π‘Ÿ β‰₯ 2 and β„Ž ∈ ( 0 , 1 ) with 1 / π‘Ÿ ≀ β„Ž ≀ ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ , the following equality holds: 𝑆 𝑏 π‘Ž ξ€œ ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) = 1 0 𝑝 ( π‘Ÿ , 𝑑 ) 𝑓 ξ…ž ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 ( 2 . 1 ) for 𝑓 ∈ 𝐾 𝛼 π‘š ( [ π‘Ž , 𝑏 ] ) and each 𝑑 ∈ [ 0 , 1 ] , where ⎧ βŽͺ ⎨ βŽͺ ⎩ 1 𝑝 ( π‘Ÿ , 𝑑 ) = 𝑑 βˆ’ π‘Ÿ  1 𝑑 ∈ 0 , 2 ξ‚„ , 𝑑 βˆ’ π‘Ÿ βˆ’ 1 π‘Ÿ ξ‚€ 1 𝑑 ∈ 2 ξ‚„ . , 1 ( 2 . 2 )

By the similar way as Theorems 1.11.3, we obtain the following theorems.

Theorem 2.2. Let 𝑓 ∢ 𝕀 βŠ‚ [ 0 , 𝑏 βˆ— ] β†’ ℝ be a differentiable mapping on 𝕀 0 such that 𝑓 ξ…ž ∈ 𝐿 ( [ π‘Ž , 𝑏 ] ) , where π‘Ž , 𝑏 ∈ 𝕀 with 0 ≀ π‘Ž < 𝑏 < ∞ and 𝑏 βˆ— > 0 . If | 𝑓 β€² | ∈ 𝐾 𝛼 π‘š ( [ π‘Ž , 𝑏 ] ) , for some ( 𝛼 , π‘š ) ∈ ( 0 , 1 ] 2 and π‘š 𝑏 > π‘Ž , then, for any π‘Ÿ β‰₯ 2 , the following inequality holds: | | 𝑆 𝑏 π‘Ž | | ≀ ξ€½ πœ‡ ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) 1 1 + πœ‡ 2 1 + πœ‡ 3 1 + πœ‡ 4 1 ξ€Ύ | | 𝑓 ξ…ž | | + ξ€½ 𝜈 ( π‘Ž ) 1 1 + 𝜈 2 1 + 𝜈 3 1 + 𝜈 4 1 ξ€Ύ π‘š | | 𝑓 ξ…ž | | , ( 𝑏 ) ( 2 . 3 ) where πœ‡ 1 1 = 1 ( 𝛼 + 1 ) ( 𝛼 + 2 ) π‘Ÿ 𝛼 + 2 , πœ‡ 2 1 = 1 ( 𝛼 + 1 ) ( 𝛼 + 2 ) π‘Ÿ 𝛼 + 2 + ( 𝛼 + 1 ) π‘Ÿ βˆ’ 2 ( 𝛼 + 2 ) 2 𝛼 + 2 , πœ‡ ( 𝛼 + 1 ) ( 𝛼 + 2 ) π‘Ÿ 3 1 = ( π‘Ÿ βˆ’ 1 ) 𝛼 + 2 ( 𝛼 + 1 ) ( 𝛼 + 2 ) π‘Ÿ 𝛼 + 2 + 2 ( 𝛼 + 2 ) βˆ’ 3 π‘Ÿ 2 𝛼 + 2 , πœ‡ ( 𝛼 + 1 ) ( 𝛼 + 2 ) π‘Ÿ 4 1 = ( π‘Ÿ βˆ’ 1 ) 𝛼 + 2 ( 𝛼 + 1 ) ( 𝛼 + 2 ) π‘Ÿ 𝛼 + 2 + ( 𝛼 + 2 ) βˆ’ π‘Ÿ , 𝜈 ( 𝛼 + 1 ) ( 𝛼 + 2 ) π‘Ÿ 1 1 = 1 2 π‘Ÿ 2 βˆ’ πœ‡ 1 1 , 𝜈 2 1 = ( π‘Ÿ βˆ’ 2 ) 2 8 π‘Ÿ 2 βˆ’ πœ‡ 2 1 , 𝜈 3 1 = ( π‘Ÿ βˆ’ 2 ) 2 8 π‘Ÿ 2 βˆ’ πœ‡ 3 1 , 𝜈 4 1 = 1 2 π‘Ÿ 2 βˆ’ πœ‡ 4 1 . ( 2 . 4 )

Proof. From Lemma 2.1 and using the properties of the modulus, we have the following: | | 𝑆 𝑏 π‘Ž | | ≀ ξ€œ ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) 0 1 / π‘Ÿ ξ‚€ 1 π‘Ÿ  | | 𝑓 βˆ’ 𝑑 ξ…ž | | + ξ€œ ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 1 / 2 1 / π‘Ÿ ξ‚€ 1 𝑑 βˆ’ π‘Ÿ  | | 𝑓 ξ…ž | | + ξ€œ ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 ξ‚€ π‘Ÿ βˆ’ 1 π‘Ÿ  | | 𝑓 βˆ’ 𝑑 ξ…ž | | + ξ€œ ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ ξ‚€ 𝑑 βˆ’ π‘Ÿ βˆ’ 1 π‘Ÿ  | | 𝑓 ξ…ž | | ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 . ( 2 . 5 )
Since | 𝑓 β€² | is ( 𝛼 , π‘š ) -convex on [ π‘Ž , 𝑏 ] , we know that for any 𝑑 ∈ [ 0 , 1 ] | | 𝑓 ξ…ž | | ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) ≀ 𝑑 𝛼 | | 𝑓 ξ…ž | | ( π‘Ž ) + π‘š ( 1 βˆ’ 𝑑 𝛼 ) | | 𝑓 ξ…ž | | . ( 𝑏 ) ( 2 . 6 )
By (2.5) and (2.6), we get the following: | | 𝑆 𝑏 π‘Ž | | ≀ ξ€œ ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) 0 1 / π‘Ÿ ξ‚€ 1 π‘Ÿ  ξ€½ 𝑑 βˆ’ 𝑑 𝛼 | | 𝑓 ξ…ž | | ( π‘Ž ) + π‘š ( 1 βˆ’ 𝑑 𝛼 ) | | 𝑓 ξ…ž | | ξ€Ύ + ξ€œ ( 𝑏 ) 𝑑 𝑑 1 / 2 1 / π‘Ÿ ξ‚€ 1 𝑑 βˆ’ π‘Ÿ  ξ€½ 𝑑 𝛼 | | 𝑓 ξ…ž | | ( π‘Ž ) + π‘š ( 1 βˆ’ 𝑑 𝛼 ) | | 𝑓 ξ…ž | | ξ€Ύ + ξ€œ ( 𝑏 ) 𝑑 𝑑 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 ξ‚€ π‘Ÿ βˆ’ 1 π‘Ÿ  ξ€½ 𝑑 βˆ’ 𝑑 𝛼 | | 𝑓 ξ…ž | | ( π‘Ž ) + π‘š ( 1 βˆ’ 𝑑 𝛼 ) | | 𝑓 ξ…ž | | ξ€Ύ + ξ€œ ( 𝑏 ) 𝑑 𝑑 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ ξ‚€ 𝑑 βˆ’ π‘Ÿ βˆ’ 1 π‘Ÿ  ξ€½ 𝑑 𝛼 | | 𝑓 ξ…ž | | ( π‘Ž ) + π‘š ( 1 βˆ’ 𝑑 𝛼 ) | | 𝑓 ξ…ž | | ξ€Ύ ≀ ξ‚» ξ€œ ( 𝑏 ) 𝑑 𝑑 0 1 / 2 | | | 1 π‘Ÿ | | | 𝑑 βˆ’ 𝑑 𝛼 ξ€œ 𝑑 𝑑 + 1 1 / 2 | | | π‘Ÿ βˆ’ 1 π‘Ÿ | | | 𝑑 βˆ’ 𝑑 𝛼 ξ‚Ό | | 𝑓 𝑑 𝑑 ξ…ž | | + ξ‚» ξ€œ ( π‘Ž ) 0 1 / 2 | | | 1 π‘Ÿ | | | βˆ’ 𝑑 ( 1 βˆ’ 𝑑 𝛼 ξ€œ ) 𝑑 𝑑 + 1 1 / 2 | | | π‘Ÿ βˆ’ 1 π‘Ÿ | | | βˆ’ 𝑑 ( 1 βˆ’ 𝑑 𝛼 ξ‚Ό π‘š | | 𝑓 ) 𝑑 𝑑 ξ…ž | | = ξ€½ πœ‡ ( 𝑏 ) 1 1 + πœ‡ 2 1 + πœ‡ 3 1 + πœ‡ 4 1 ξ€Ύ | | 𝑓 ξ…ž | | + ξ€½ 𝜈 ( π‘Ž ) 1 1 + 𝜈 2 1 + 𝜈 3 1 + 𝜈 4 1 ξ€Ύ π‘š | | 𝑓 ξ…ž | | , ( 𝑏 ) ( 2 . 7 ) which completes the proof.

Corollary 2.3. In Theorem 2.2, (i) if we choose 𝛼 = 1 and π‘Ÿ = 2 , then we have the following: | | ( π‘š 𝑏 βˆ’ π‘Ž ) 𝑆 𝑏 π‘Ž | | = | | | | ( 𝑓 ) ( 1 , π‘š , 2 ) 𝑓 ( π‘Ž ) + 𝑓 ( π‘š 𝑏 ) 2 βˆ’ 1 ξ€œ π‘š 𝑏 βˆ’ π‘Ž π‘Ž π‘š 𝑏 𝑓 | | | | ≀ ( π‘₯ ) 𝑑 π‘₯ π‘š 𝑏 βˆ’ π‘Ž 8 ξ€½ | | 𝑓 ξ…ž | | | | 𝑓 ( π‘Ž ) + π‘š ξ…ž | | ξ€Ύ , ( 𝑏 ) ( 2 . 8 ) and (ii) if we choose 𝛼 = 1 and π‘Ÿ = 6 , then we have the following | | ( π‘š 𝑏 βˆ’ π‘Ž ) 𝑆 𝑏 π‘Ž | | = | | | | 1 ( 𝑓 ) ( 1 , π‘š , 6 ) 6  𝑓 ξ‚€ ( π‘Ž ) + 4 𝑓 π‘Ž + π‘š 𝑏 2   βˆ’ 1 + 𝑓 ( π‘š 𝑏 ) ξ€œ π‘š 𝑏 βˆ’ π‘Ž π‘Ž π‘š 𝑏 𝑓 | | | | ≀ 5 ( π‘₯ ) 𝑑 π‘₯ ξ€½ | | 𝑓 7 2 ( π‘š 𝑏 βˆ’ π‘Ž ) ξ…ž | | | | 𝑓 ( π‘Ž ) + π‘š ξ…ž | | ξ€Ύ . ( 𝑏 ) ( 2 . 9 )

Theorem 2.4. Under the same notations in Theorem 2.2, if | 𝑓 β€² | π‘ž ∈ 𝐾 𝛼 π‘š ( [ π‘Ž , 𝑏 ] ) , for some ( 𝛼 , π‘š ) ∈ ( 0 , 1 ] 2 , π‘š 𝑏 > π‘Ž and π‘ž > 1 with 1 / 𝑝 + 1 / π‘ž = 1 , then, for any π‘Ÿ β‰₯ 2 , the following inequality holds: | | 𝑆 𝑏 π‘Ž | | ≀  1 ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) 2 π‘Ÿ 2  1 / 𝑝  ξ€· πœ‡ 1 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 1 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· πœ‡ 4 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 4 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  + ξ‚» 1 8 ξ‚€ π‘Ÿ βˆ’ 2 π‘Ÿ  2 ξ‚Ό 1 / 𝑝  ξ€· πœ‡ 2 1 | | 𝑓 ξ…ž ( | | π‘Ž ) π‘ž + 𝜈 2 1 π‘š | | 𝑓 ξ…ž ( | | 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· πœ‡ 3 1 | | 𝑓 ξ…ž ( | | π‘Ž ) π‘ž + 𝜈 3 1 π‘š | | 𝑓 ξ…ž ( | | 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  . ( 2 . 1 0 )

Proof. From Lemma 2.1 and using the properties of modulus, we have the following: | | 𝑆 𝑏 π‘Ž | | ≀ ξ€œ ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) 0 1 / π‘Ÿ ξ‚€ 1 π‘Ÿ  | | 𝑓 βˆ’ 𝑑 ξ…ž | | + ξ€œ ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 1 / 2 1 / π‘Ÿ ξ‚€ 1 𝑑 βˆ’ π‘Ÿ  | | 𝑓 ξ…ž | | + ξ€œ ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 ξ‚€ π‘Ÿ βˆ’ 1 π‘Ÿ  | | 𝑓 βˆ’ 𝑑 ξ…ž | | + ξ€œ ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ ξ‚€ 𝑑 βˆ’ π‘Ÿ βˆ’ 1 π‘Ÿ  | | 𝑓 ξ…ž | | ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 . ( 2 . 1 1 )
Using the power-mean integral inequality and ( 𝛼 , π‘š ) -convexity of | 𝑓 β€² | π‘ž for any 𝑑 ∈ [ 0 , 1 ] , we have the following(a) ξ€œ 0 1 / π‘Ÿ ξ‚€ 1 π‘Ÿ  | | 𝑓 βˆ’ 𝑑 ξ…ž | | ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) π‘ž 𝑑 𝑑 ≀ πœ‡ 1 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 1 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž , ( 2 . 1 2 ) (b) ξ€œ 1 / 2 1 / π‘Ÿ ξ‚€ 1 𝑑 βˆ’ π‘Ÿ  | | | | 𝑓 ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) π‘ž 𝑑 𝑑 ≀ πœ‡ 2 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 2 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž , ( 2 . 1 3 ) (c) ξ€œ ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 ξ‚€ π‘Ÿ βˆ’ 1 π‘Ÿ  | | | | βˆ’ 𝑑 𝑓 ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) π‘ž 𝑑 𝑑 ≀ πœ‡ 3 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 3 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž , ( 2 . 1 4 ) (d) ξ€œ 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ ξ‚€ 𝑑 βˆ’ π‘Ÿ βˆ’ 1 π‘Ÿ  | | | | 𝑓 ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) π‘ž 𝑑 𝑑 ≀ πœ‡ 4 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 4 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž . ( 2 . 1 5 )
By the similar way as the above inequalities (a)–(d), we have the following:(a′) ξ€œ 0 1 / π‘Ÿ ξ‚€ 1 π‘Ÿ  | | 𝑓 βˆ’ 𝑑 ξ…ž | |  1 ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 ≀ 2 π‘Ÿ 2  1 / 𝑝 ξ€½ πœ‡ 1 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 1 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Ύ 1 / π‘ž , ( 2 . 1 6 ) (b′) ξ€œ 1 / 2 1 / π‘Ÿ ξ‚€ 1 𝑑 βˆ’ π‘Ÿ  | | 𝑓 ξ…ž | | ξ‚» 1 ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 ≀ 8 ξ‚€ π‘Ÿ βˆ’ 2 π‘Ÿ  2 ξ‚Ό 1 / 𝑝 ξ€½ πœ‡ 2 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 2 1 π‘š | | 𝑓 ξ…ž | | ξ€Ύ ( 𝑏 ) 1 / π‘ž , ( 2 . 1 7 ) (c′) ξ€œ ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 ξ‚€ π‘Ÿ βˆ’ 1 π‘Ÿ  | | 𝑓 βˆ’ 𝑑 ξ…ž | | ξ‚» 1 ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 ≀ 8 ξ‚€ π‘Ÿ βˆ’ 2 π‘Ÿ  2 ξ‚Ό 1 / 𝑝 ξ€½ πœ‡ 3 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 3 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Ύ 1 / π‘ž , ( 2 . 1 8 ) (d′) ξ€œ 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ ξ‚€ 𝑑 βˆ’ π‘Ÿ βˆ’ 1 π‘Ÿ  | | 𝑓 ξ…ž | |  1 ( 𝑑 π‘Ž + π‘š ( 1 βˆ’ 𝑑 ) 𝑏 ) 𝑑 𝑑 ≀ 2 π‘Ÿ 2  1 / 𝑝 ξ€½ πœ‡ 4 1 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 4 1 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Ύ 1 / π‘ž . ( 2 . 1 9 )
By (2.11) and (2.16)–(2.19) the assertion (2.10) holds.

Corollary 2.5. In Theorem 2.4, (i) if we choose 𝛼 = 1 and π‘Ÿ = 2 , then we have that | | | | 𝑓 ( π‘Ž ) + 𝑓 ( π‘š 𝑏 ) 2 βˆ’ 1 ξ€œ π‘š 𝑏 βˆ’ π‘Ž π‘Ž π‘š 𝑏 𝑓 | | | | ≀ 6 ( π‘₯ ) 𝑑 π‘₯ βˆ’ 1 / π‘ž 8  ξ€½ | | 𝑓 ( π‘š 𝑏 βˆ’ π‘Ž ) ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + 5 π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Ύ 1 / π‘ž + ξ€½ 5 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Ύ 1 / π‘ž ξ‚„ , ( 2 . 2 0 ) and (ii) if we choose 𝛼 = 1 and π‘Ÿ = 6 , then we have that | | | | 1 6  𝑓 ξ‚€ ( π‘Ž ) + 4 𝑓 π‘Ž + π‘š 𝑏 2   βˆ’ 1 + 𝑓 ( π‘š 𝑏 ) ξ€œ π‘š 𝑏 βˆ’ π‘Ž π‘Ž π‘š 𝑏 𝑓 | | | | ξ‚Έ ξ‚€ 1 ( π‘₯ ) 𝑑 π‘₯ ≀ ( π‘š 𝑏 βˆ’ π‘Ž ) 1 7 2  ξ‚€  1 8 1 / π‘ž  ξ€· | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + 1 7 π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· | | 𝑓 1 7 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  + ξ‚€ 2 5 2 2 8 8  ξ‚€ 5  2 / π‘ž Γ—  ξ€· 7 | | 𝑓 ξ…ž ( | | π‘Ž ) π‘ž | | 𝑓 + 1 1 π‘š ξ…ž ( | | 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· | | 𝑓 1 1 ξ…ž ( | | π‘Ž ) π‘ž | | 𝑓 + 7 π‘š ξ…ž ( | | 𝑏 ) π‘ž ξ€Έ 1 / π‘ž .  ξ‚„ ( 2 . 2 1 )

Theorem 2.6. Under the same notations in Theorem 2.2, if | 𝑓 β€² | π‘ž ∈ 𝐾 𝛼 π‘š ( [ π‘Ž , 𝑏 ] ) , for some ( 𝛼 , π‘š ) ∈ ( 0 , 1 ] 2 , π‘š 𝑏 > π‘Ž and π‘ž > 1 with 1 / 𝑝 + 1 / π‘ž = 1 , then, for any π‘Ÿ β‰₯ 2 , the following inequality holds: | | 𝑆 𝑏 π‘Ž | | ≀  1 ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) π‘Ÿ 𝑝 + 1  1 / 𝑝  ξ€· πœ‡ 1 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 1 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· πœ‡ 4 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 4 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  + ξ‚» ( π‘Ÿ βˆ’ 2 ) 𝑝 + 1 2 𝑝 + 1 π‘Ÿ 𝑝 + 1 ξ‚Ό 1 / 𝑝  ξ€· πœ‡ 2 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 2 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· πœ‡ 3 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 3 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  , ( 2 . 2 2 ) where πœ‡ 1 2 = 1 π‘Ÿ 𝛼 + 1 ( , πœ‡ 𝛼 + 1 ) 2 2 = π‘Ÿ 𝛼 + 1 βˆ’ 2 𝛼 + 1 2 𝛼 + 1 π‘Ÿ 𝛼 + 1 , πœ‡ ( 𝛼 + 1 ) 3 2 = 2 𝛼 + 1 ( π‘Ÿ βˆ’ 1 ) 𝛼 + 1 βˆ’ π‘Ÿ 𝛼 + 1 2 𝛼 + 1 π‘Ÿ 𝛼 + 1 , πœ‡ ( 𝛼 + 1 ) 4 2 = π‘Ÿ 𝛼 + 1 βˆ’ ( π‘Ÿ βˆ’ 1 ) 𝛼 + 1 π‘Ÿ 𝛼 + 1 ( , 𝜈 𝛼 + 1 ) 1 2 = 1 π‘Ÿ βˆ’ πœ‡ 1 2 , 𝜈 2 2 = π‘Ÿ βˆ’ 2 2 π‘Ÿ + πœ‡ 2 2 , 𝜈 3 2 = π‘Ÿ βˆ’ 2 2 π‘Ÿ + πœ‡ 3 2 , 𝜈 4 2 = 1 π‘Ÿ βˆ’ πœ‡ 4 2 . ( 2 . 2 3 )

Proof. Suppose that π‘ž > 1 . From Lemma 2.1, using the Hölder integral inequality, we get the following: | | 𝑆 𝑏 π‘Ž | | ≀ ξ‚» ξ€œ ( 𝑓 ) ( 𝛼 , π‘š , π‘Ÿ ) 0 1 / π‘Ÿ ξ‚€ 1 π‘Ÿ  βˆ’ 𝑑 𝑝 ξ‚Ό 𝑑 𝑑 1 / 𝑝 ξ‚» ξ€œ 0 1 / π‘Ÿ | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž + ξ‚» ξ€œ 1 / 2 1 / π‘Ÿ ξ‚€ 1 𝑑 βˆ’ π‘Ÿ  𝑝 ξ‚Ό 𝑑 𝑑 1 / 𝑝 ξ‚» ξ€œ 1 / 2 1 / π‘Ÿ | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž + ξ‚» ξ€œ ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 ξ‚€ π‘Ÿ βˆ’ 1 π‘Ÿ  βˆ’ 𝑑 𝑝 ξ‚Ό 𝑑 𝑑 1 / 𝑝 ξ‚» ξ€œ ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž + ξ‚» ξ€œ 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ ξ‚€ 𝑑 βˆ’ π‘Ÿ βˆ’ 1 π‘Ÿ  𝑝 ξ‚Ό 𝑑 𝑑 1 / 𝑝 ξ‚» ξ€œ 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž ≀  1 π‘Ÿ 𝑝 + 1  1 / 𝑝 ξ‚» ξ€œ 0 1 / π‘Ÿ | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž + ξ‚» 1 2 𝑝 + 1 ξ‚€ π‘Ÿ βˆ’ 2 π‘Ÿ  𝑝 + 1 ξ‚Ό 1 / 𝑝 ξ‚» ξ€œ 1 / 2 1 / π‘Ÿ | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž + ξ‚» 1 2 𝑝 + 1 ξ‚€ π‘Ÿ βˆ’ 2 π‘Ÿ  𝑝 + 1 ξ‚Ό 1 / 𝑝 ξ‚» ξ€œ ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž +  1 π‘Ÿ 𝑝 + 1  1 / 𝑝 ξ‚» ξ€œ 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + π‘š ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž ξ‚Ό 𝑑 𝑑 1 / π‘ž , ( 2 . 2 4 ) where we have used the fact that 1 / 2 < ( 1 / ( 𝑝 + 1 ) ) 1 / 𝑝 < 1 .
Since | 𝑓 β€² | π‘ž ∈ 𝐾 π‘š 𝛼 ( [ π‘Ž , 𝑏 ] ) for some fixed 𝛼 ∈ ( 0 , 1 ] and π‘š ∈ [ 0 , 1 ] , we have the followings: ξ€œ 0 1 / π‘Ÿ | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž 𝑑 𝑑 ≀ πœ‡ 1 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 1 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž , ξ€œ 1 / 2 1 / π‘Ÿ | | 𝑓 | | ( 𝑑 𝑏 + ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž 𝑑 𝑑 ≀ πœ‡ 2 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 2 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž , ξ€œ ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ 1 / 2 | | 𝑓 ξ…ž | | ( 𝑑 𝑏 + ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž 𝑑 𝑑 ≀ πœ‡ 3 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 3 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž , ξ€œ 1 ( π‘Ÿ βˆ’ 1 ) / π‘Ÿ | | 𝑓 | | ( 𝑑 𝑏 + ( 1 βˆ’ 𝑑 ) π‘Ž ) π‘ž 𝑑 𝑑 ≀ πœ‡ 4 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž + 𝜈 4 2 π‘š | | 𝑓 ξ…ž | | ( 𝑏 ) π‘ž . ( 2 . 2 5 )
Hence, if we combine the inequalities in (2.24)-(2.25), we get the desired result.

Corollary 2.7. In Theorem 2.6, (i) if we choose 𝛼 = 1 and π‘Ÿ = 2 , then we have that | | | | 𝑓 ( π‘Ž ) + 𝑓 ( π‘š 𝑏 ) 2 βˆ’ 1 ξ€œ π‘š 𝑏 βˆ’ π‘Ž π‘Ž π‘š 𝑏 𝑓 | | | | ≀ ξ‚€ 1 ( π‘₯ ) 𝑑 π‘₯ 4  1 + 1 / π‘ž  ξ€· | | 𝑓 ( π‘š 𝑏 βˆ’ π‘Ž ) ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + 3 π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· 3 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  , ( 2 . 2 6 ) and (ii) if we choose 𝛼 = 1 and π‘Ÿ = 6 , then we have | | | | 1 6  ξ‚€ 𝑓 ( π‘Ž ) + 4 𝑓 π‘Ž + π‘š 𝑏 2   βˆ’ 1 + 𝑓 ( π‘š 𝑏 ) ξ€œ π‘š 𝑏 βˆ’ π‘Ž π‘Ž π‘š 𝑏 | | | | ξ‚Έ ξ‚€ 1 𝑓 ( π‘₯ ) 𝑑 π‘₯ ≀ ( π‘š 𝑏 βˆ’ π‘Ž ) 6  1 + 2 / π‘ž  ξ€· | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + 1 1 π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· | | 𝑓 1 1 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  + ξ‚€ 1 3  2 + 1 / π‘ž  ξ€· | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + 2 π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž + ξ€· 2 | | 𝑓 ξ…ž | | ( π‘Ž ) π‘ž | | 𝑓 + π‘š ξ…ž | | ( 𝑏 ) π‘ž ξ€Έ 1 / π‘ž  ξ‚Ή , ( 2 . 2 7 ) where we have used the fact that ( 1 / 2 ) 1 / π‘ž < 1 .

3. Applications to Special Means

Now using the results of Section 2, we give some applications to the following special means of positive real numbers π‘Ž , 𝑏 ∈ ℝ + with 𝑏 β‰₯ π‘Ž .(1) The arithmetic mean: 𝐴 ( π‘Ž , 𝑏 ) = ( π‘Ž + 𝑏 ) / 2 .(2)The geometric mean: √ 𝐺 ( π‘Ž , 𝑏 ) = π‘Ž 𝑏 .(3)The logarithmic mean: 𝐿 ( π‘Ž , 𝑏 ) = ( 𝑏 βˆ’ π‘Ž ) / ( l n 𝑏 βˆ’ l n π‘Ž ) for π‘Ž β‰  𝑏 .(4)The harmonic mean: 𝐻 ( π‘Ž , 𝑏 ) = 2 π‘Ž 𝑏 / ( π‘Ž + 𝑏 ) .(5)The power mean: 𝑀 π‘Ÿ ( π‘Ž , 𝑏 ) = ( ( π‘Ž π‘Ÿ + 𝑏 π‘Ÿ ) / 2 ) 1 / π‘Ÿ , π‘Ÿ β‰₯ 1 , π‘Ž , 𝑏 ∈ ℝ .(6)The generalized logarithmic mean: 𝐿 𝑛 ξ‚Έ 𝑏 ( π‘Ž , 𝑏 ) = 𝑛 + 1 βˆ’ π‘Ž 𝑛 + 1 ξ‚Ή ( 𝑏 βˆ’ π‘Ž ) ( 𝑛 + 1 ) 1 / 𝑛 , π‘Ž β‰  𝑏 . ( 3 . 1 ) (7)The identric mean: ⎧ βŽͺ ⎨ βŽͺ ⎩ 1 𝐼 ( π‘Ž , 𝑏 ) = π‘Ž π‘Ž = 𝑏 𝑒 ξ‚΅ 𝑏 𝑏 π‘Ž π‘Ž ξ‚Ά 1 / ( 𝑏 βˆ’ π‘Ž ) π‘Ž β‰  𝑏 . ( 3 . 2 )

Proposition 3.1. For 𝑛 ∈ ( βˆ’ ∞ , 0 ) βˆͺ [ 1 , ∞ ) β§΅ { βˆ’ 1 } and [ π‘Ž , 𝑏 ] ∈ [ 0 , 𝑏 βˆ— ] with 𝑏 βˆ— > 0 , we have the following inequalities: | | ( π‘Ž ) 𝐴 ( π‘Ž 𝑛 , π‘š 𝑛 𝑏 𝑛 ) βˆ’ 𝐿 𝑛 𝑛 | | ≀ ( π‘Ž , π‘š 𝑏 ) π‘š 𝑏 βˆ’ π‘Ž 8 | 𝑛 | 𝑀 𝑛 βˆ’ 1 𝑛 βˆ’ 1 ξ€· π‘Ž , π‘š 1 / ( 𝑛 βˆ’ 1 ) 𝑏 ξ€Έ . | | | 1 ( 𝑏 ) 3 𝐴 ( π‘Ž 𝑛 , π‘š 𝑛 𝑏 𝑛 2 ) + 3 𝐴 𝑛 ( π‘Ž , π‘š 𝑏 ) βˆ’ 𝐿 𝑛 𝑛 | | | ≀ ξ‚€ 5 ( π‘Ž , π‘š 𝑏 )  7 2 ( π‘š 𝑏 βˆ’ π‘Ž ) | 𝑛 | 𝑀 𝑛 βˆ’ 1 𝑛 βˆ’ 1 ξ€· π‘Ž , π‘š 1 / ( 𝑛 βˆ’ 1 ) 𝑏 ξ€Έ . ( 3 . 3 )

Proof. The assertions follow from Corollary 2.3 for 𝑓 ( π‘₯ ) = π‘₯ 𝑛 .

Proposition 3.2. For [ π‘Ž , 𝑏 ] ∈ [ 0 , 𝑏 βˆ— ] , we have the following inequalities: | | 𝐻 ( π‘Ž ) βˆ’ 1 ( π‘Ž , π‘š 𝑏 ) βˆ’ 𝐿 βˆ’ 1 | | ≀ ξ‚΅ ( π‘Ž , π‘š 𝑏 ) π‘š 𝑏 βˆ’ π‘Ž 8 π‘Ž 2 𝑏 2 ξ‚Ά 𝑀 2 2 ξ€· π‘š 1 / 2 ξ€Έ , | | | 1 π‘Ž , 𝑏 ( 𝑏 ) 3 𝐻 βˆ’ 1 2 ( π‘Ž , π‘š 𝑏 ) + 3 𝐴 βˆ’ 1 ( π‘Ž , π‘š 𝑏 ) βˆ’ 𝐿 βˆ’ 1 | | | ≀ ξ‚΅ ( π‘Ž , π‘š 𝑏 ) 5 ( π‘š 𝑏 βˆ’ π‘Ž ) 7 2 π‘Ž 2 𝑏 2 ξ‚Ά 𝑀 2 2 ξ€· π‘š 1 / 2 ξ€Έ . π‘Ž , 𝑏 ( 3 . 4 )

Proof. The assertions follow from Corollary 2.3 for 𝑓 ( π‘₯ ) = 1 / π‘₯ .

Proposition 3.3. For 𝑛 ∈ ( βˆ’ ∞ , 0 ) βˆͺ [ 1 , ∞ ) β§΅ { βˆ’ 1 } and [ π‘Ž , 𝑏 ] ∈ [ 0 , 𝑏 βˆ— ] , we have the following inequalities: | | ( π‘Ž ) 𝐴 ( π‘Ž 𝑛 , π‘š 𝑛 𝑏 𝑛 ) βˆ’ 𝐿 𝑛 𝑛 | | ≀ ξ‚΅ 3 ( π‘Ž , π‘š 𝑏 ) βˆ’ 1 / π‘ž 8 ξ‚Ά  𝐴 ( π‘š 𝑏 βˆ’ π‘Ž ) | 𝑛 | Γ— 1 / π‘ž ξ€· π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , 5 π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž ξ€Έ 1 / π‘ž + 𝐴 1 / π‘ž ξ€· 5 π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž ξ€Έ 1 / π‘ž  , | | | 1 ( 𝑏 ) 3 𝐴 ( π‘Ž 𝑛 , π‘š 𝑛 𝑏 𝑛 2 ) + 3 𝐴 𝑛 ( π‘Ž , π‘š 𝑏 ) βˆ’ 𝐿 𝑛 𝑛 | | | ≀ ξ‚€ 1 ( π‘Ž , π‘š 𝑏 ) 1 7 2  ξ‚€ 9  1 / π‘ž ξ€½ 𝐴 ( π‘š 𝑏 βˆ’ π‘Ž ) | 𝑛 | Γ— 1 / π‘ž ξ€· π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , 1 7 π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž ξ€Έ + 𝐴 1 / π‘ž ξ€· 1 7 π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž + ξ‚€ ξ€Έ ξ€Ύ 2 5 2 2 8 8  ξ‚€  2 5 1 / π‘ž ( Γ— ξ€½ 𝐴 π‘š 𝑏 βˆ’ π‘Ž ) | 𝑛 | 1 / π‘ž ξ€· 7 π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , 1 1 π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž ξ€Έ + 𝐴 1 / π‘ž ξ€· 1 1 π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , 7 π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž . ξ€Έ ξ€Ύ ( 3 . 5 )

Proof. The assertions follow from Corollary 2.5 for 𝑓 ( π‘₯ ) = π‘₯ 𝑛 .

Proposition 3.4. For 𝑛 ∈ ( βˆ’ ∞ , 0 ) βˆͺ [ 1 , ∞ ) β§΅ { βˆ’ 1 } and [ π‘Ž , 𝑏 ] ∈ [ 0 , 𝑏 βˆ— ] , we have the following inequalities: | | ( π‘Ž ) 𝐴 ( π‘Ž 𝑛 , π‘š 𝑛 𝑏 𝑛 ) βˆ’ 𝐿 𝑛 𝑛 | | ≀ ξ‚΅ 1 ( π‘Ž , 𝑏 ) 2 2 + 1 / π‘ž ξ‚Ά Γ— ξ€½ 𝐴 | 𝑛 | ( π‘š 𝑏 βˆ’ π‘Ž ) 1 / π‘ž ξ€· π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , 3 π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž ξ€Έ + 𝐴 1 / π‘ž ξ€· 3 π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž , | | | 1 ξ€Έ ξ€Ύ ( 𝑏 ) 3 𝐴 ( π‘Ž 𝑛 , π‘š 𝑛 𝑏 𝑛 2 ) + 3 𝐴 𝑛 ( π‘Ž , π‘š 𝑏 ) βˆ’ 𝐿 𝑛 𝑛 | | | ≀ ξ‚€ 1 ( π‘Ž , π‘š 𝑏 ) 6  1 + 1 / π‘ž ξ‚€ 1 3  1 / π‘ž | ξ€½ 𝐴 𝑛 | ( π‘š 𝑏 βˆ’ π‘Ž ) Γ— 1 / π‘ž ξ€· π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , 1 1 π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž ξ€Έ + 𝐴 1 / π‘ž ξ€· 1 1 π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž + ξ‚€ 1 ξ€Έ ξ€Ύ 3  2 + 1 / π‘ž ξ€· 2 1 / π‘ž ξ€Έ ξ€½ 𝐴 | 𝑛 | ( π‘š 𝑏 βˆ’ π‘Ž ) Γ— 1 / π‘ž ξ€· π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , 2 π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž ξ€Έ + 𝐴 1 / π‘ž ξ€· 2 π‘Ž ( 𝑛 βˆ’ 1 ) π‘ž , π‘š 𝑏 ( 𝑛 βˆ’ 1 ) π‘ž . ξ€Έ ξ€Ύ ( 3 . 6 )

Proof. The assertions follow from Corollary 2.7 for 𝑓 ( π‘₯ ) = π‘₯ 𝑛 .

Proposition 3.5. For [ π‘Ž , 𝑏 ] ∈ [ 0 , 𝑏 βˆ— ] , we have the following inequalities: | | | | ( π‘Ž ) l n 𝐼 ( π‘Ž , 𝑏 ) | | | | ≀ 𝐺 ( π‘Ž , 𝑏 ) 𝑏 βˆ’ π‘Ž ξ‚΅ 1 π‘Ž 𝑏 4 1 + 1 / π‘ž ξ‚Ά ξ€½ ( π‘Ž π‘ž + 3 𝑏 π‘ž ) 1 / π‘ž + ( 3 π‘Ž π‘ž + 𝑏 π‘ž ) 1 / π‘ž ξ€Ύ , ( | | | | 𝑏 ) l n 𝐼 ( π‘Ž , 𝑏 ) 𝐺 1 / 3 ( π‘Ž , 𝑏 ) 𝐴 2 / 3 | | | | ≀ ( π‘Ž , 𝑏 ) 𝑏 βˆ’ π‘Ž ξ‚Έ ξ‚€ 1 π‘Ž 𝑏 6  1 + 2 / π‘ž ξ€½ ( π‘Ž π‘ž + 1 1 𝑏 π‘ž ) 1 / π‘ž + ( 1 1 π‘Ž π‘ž + 𝑏 π‘ž ) 1 / π‘ž ξ€Ύ + ξ‚€ 1 3  2 + 1 / π‘ž ξ€½ ( π‘Ž π‘ž + 2 𝑏 π‘ž ) 1 / π‘ž + ( 2 π‘Ž π‘ž + 𝑏 π‘ž ) 1 / π‘ž ξ€Ύ ξ‚Ή . ( 3 . 7 )

Proof. The assertions follow from Corollary 2.7 for 𝑓 ( π‘₯ ) = βˆ’ l n π‘₯ and π‘š = 1 .

Acknowledgment

The author is so indebted to the referee who read carefully through the paper very well and mentioned many scientifically and expressional mistakes.

References

  1. M. Klaričić Bakula, M. E. Özdemir, and J. Pečarić, β€œHadamard type inequalities for m and (α,m)-convex functions,” Journal of Inequalities in Pure and Applied Mathematics, vol. 9, no. 4, article 96, p. 12, 2008.
  2. M. E. Özdemir, E. Set, and M. Z. Sarikaya, β€œSome new Hadamard’s type inequalities for co-ordinated m-convex and (α,m)-convex functions,” rgmia.org/papers/v13e/oss5.pdf.
  3. M. E. Özdemir, M. Avci, and H. Kavurmaci, β€œHermite-Hadamard-type inequalities via α,m-convexity,” Computers & Mathematics with Applications, vol. 61, no. 9, pp. 2614–2620, 2011. View at Publisher Β· View at Google Scholar
  4. E. Set, M. E. Özdemir, and M. Z. Sarikaya, β€œInequalities of Hermite-Hadamard’s type for functions whose derivatives absolute values are m-convex,” in Proceedings of the AIP Conference, vol. 1309, pp. 861–873, 2010, rgmia.org/papers/v13e/sos6.pdf.
  5. M. Alomari and M. Darus, β€œOn some inequalities of Simpson-type via quasi-convex functions and applications,” Transylvanian Journal of Mathematics and Mechanics, vol. 2, no. 1, pp. 15–24, 2010.
  6. J. Park, β€œGeneralizations of simpson-like type inequalities for differentiable m-convex and (α,m) -convex mappings,” Far East Journal of Mathematical Sciences, vol. 55, no. 1, pp. 97–109, 2011.
  7. M. Z. Sarikaya, E. Set, and M. E. Özdemir, β€œOn new inequalities of Simpson’s type for functions whose second derivatives absolute values are convex,” RGMIA Research Report Collection, vol. 13, no. 1, article 1, 2010.
  8. G. Toader, β€œThe hierarchy of convexity and some classic inequalities,” Journal of Mathematical Inequalities, vol. 3, no. 3, pp. 305–313, 2009. View at Zentralblatt MATH
  9. S. S. Dragomir, R. P. Agarwal, and P. Cerone, β€œOn Simpson's inequality and applications,” Journal of Inequalities and Applications, vol. 5, no. 6, pp. 533–579, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet