HERMITE HADAMARD TYPE INEQUALITIES FOR FRACTIONAL INTEGRALS MARIAN MATŁOKA Abstract: In the present note, we have established an integral identity some Hermite-Hadamard type integral ineualities for the fractional integrals. Keywords: Hermite-Hadamard s ineualities, Riemann-Liouville fractional integral, integral ineualities, h - preinvex function. Mathematics Subject Classification: 6A5; 6D; 6A5.
. Introduction The f: I R R be a convex function defined on the interval I of real numbers a < b. The following double ineuality: ) fx) dx a b is well known in the literature as Hermite Hadamard s ineuality. Recently, many others [ 3 developed discussed Hermite Hadamard s ineuality in terms of refinements, counterparts, generalizations new Hermite - Hadamard s type ineualities. In 7, Varošanec [ introduced a large class of non-negative functions, the socalled h - convex functions. This class contains several well-known classes of functions such as non-negative convex functions if ht) = t) s - convex functions in the second sense if ht) = t s ). This class is defined in the following way: a non-negative function f: I R, I R, is an interval, is called h convex if ftx + t)y) ht) fx) + h t)fy) holds for all x, y I t [,, where h: J R is a non-negative function, h J is an interval,, ) J. In the following, we will give some necessary definitions mathematical preliminaries of fractional calculus theory which are used further in this paper. For more details, one can consult [4, 5, 6. Let f L[a, b). The Riemann-Liouville integrals Ι a + f Ι b f of order > with a are defined by Ι a + fx) = Γ) x t) ft)dt a x x > a),
b Ι b fx) = Γ) t x) ft)dt x x < b) respectively. Here Γ) is the Gamma function Ι a + fx) = Ι b fx) = fx). For some recent results connected with fractional integral ineualities, see [5, 9, 9,. The aim of this paper is to establish Hermite-Hadamard s type ineualities involving Riemann-Liouville fractional integral for functions whose derivatives are h convex using the identity is obtained for fractional integrals.. Main results In order to prove our main theorems, we need the following lemma: Lemma.. Let f: I R R be differentiable on I a, b I, with a < b. If f L[a, b), then ) Γ + ) b, a) = 4 [t f t)a + t [Ι a+b ) Γ + ) ) [Ι a + = 4 [t f t) fa) + Ι a+b + fb) ) ) t) f t) ) + Ι b ) + t b) dt + tb) t) f t)a + t ) Proof. Integrating by part changing variables of integration yields dt 3
[t f t)a + t = [t t)a + t ) ) t) f t) + t b) dt t t)a + t ) dt [ t) t) + t b) = 4 [t f t) + b a ) + Γ + ) ) + = [t t) + t b) [Ι a+b ) + t) t) fa) + Ι a+b + fb) ) + t b) t) f t)a + t ) t t) dt + t b) dt + t b) dt [ t) t)a + t ) ) + [Ι a + = [ + Γ + ) This completes the proof. of Lemma.. + t) t)a + t ) dt ) + Ι b ). Using the Lemma., we can obtain the following fractional integral ineualities. Theorem.. Let f: I R R be differentiable on I a, b I, with a < b, f L[a, b). If f is h convex on [a, b, then ) Γ + ) ) [Ι a+b ) fa) + Ι a+b + fb) ) 4
4 [ f ) t ht)dt Γ + ) ) [Ι a + + f a) + f b) ) t h t)dt ) + Ι b ) 4 [ f ) t h t)dt + f a) + f b) ) t ht)dt. Proof. By Lemma. since f is h convex, then we have ) Γ + ) ) [Ι a+b ) ) 4 [ t f t)a + t ) dt + t) f t) + tb) dt 4 [ t h t) f a) + ht) f ) ) dt + t) h t) f ) + ht) f b) ) dt = 4 [ f ) t ht)dt analogously Γ + ) ) [Ι a + + f a) + f b) ) t h t)dt ) + Ι b ) 5
4 [ t f t) + tb) dt + t) f t)a + t ) dt 4 [ t h t) f ) + ht) f b) ) dt + t) h t) f a) + ht) f ) ) dt = 4 [ f ) t h t)dt This completes the reuired proof. + f a) + f b) ) t ht)dt. Corollary. In Theorem, if f is convex, then we get the following ineualities ) Γ + ) ) [Ι a+b ) ) 4 + ) [ f ) + f a) + f b) + ) Γ + ) ) [I a + ) + I + b b a ) 4 + ) [ + f ) + [ f a) + f b). Corollary. In Theorem, if f is s-convex, then we get the following ineualities ) Γ + ) ) [Ι a+b ) ) 6
4 [ f ) + s + + Γ + )Γs + ) Γ + s + ) + f a) + f b) ) 4 [ f Γ + ) ) [I a + ) + I + b b a ) ) + Γ + )Γs + ) Γ + s + ) + f a) + f b) + s + Theorem.. Let f: I R R be differentiable on I, a, b I, with a < b, f L[a, b). If f is h convex on [a, b; p, > ; + =, then following p ineualities hold ) Γ + ) ) [Ι a+b 4 p + ) ht)dt) p ) ) [ f a) + f ) Γ + ) ) [I a + ) + I b ) ) + f b) + f ) ) 4 p + ) ht)dt) p [ f a) + f ) ) + f b) + f ) ). Proof. From Lemma. using the Hőlder s integrals ineuality, we have 7
) Γ + ) ) [Ι a+b t 4 [ p p + t) dt) dt) p p ) f t)a + t f t) ) ) + t b) dt) dt) 4 p + ) ht)dt) p [ f a) + f ) In the analogous way, we can prove the second ineuality. ) + f b) + f ) ). Theorem.3. Let f: I R R be differentiable on I, a, b I, with a < b, f L[a, b). If f,, is h - convex on [a, b, then the following ineualities hold: ) Γ + ) ) [Ι a+b 4 + ) ) [ f a) t h t)dt ) + f ) t ht)dt) + f b) t h t)dt Γ + ) ) [I a + + f ) t ht)dt) ) + I b ) 8
4 + ) [ f a) t ht)dt + f ) t h t)dt) + f b) t ht)dt + f ) t h t)dt). Proof. From Lemma. using the well known power mean ineuality, we have ) Γ + ) ) [Ι a+b 4 [ t 4 t dt) + t) 4 + ) ) ) f t)a + t ) dt + t) f t) [ t f t)a + t ) dt) f t) + t b) dt) [ f a) t h t)dt + f ) t ht)dt) + t b) dt + f b) t h t)dt + f ) t ht)dt) In analogous way we can prove the second ineuality.. 9
REFERENCES [ M. Alomari, M. Darus, U. S. Kirmaci, Refinements of Hadamard type ineualities for uasi - convex functions with applications to trapezoidal formula to special means, Comp. Math. Appl. 59 ) 5-3. [ M. Alomari, M. Darus, On the Hadamard s ineuality for log convex functions on the coordinates, J. Ine. App. Volume 9, Article ID 8347, 3 pp. doi: http://dx.doi.org /.55/9/8347. [3 M. Bombardelli, S. Varošanec, Properties of h convex functions related to the Hermite - Hadamard - Fejér ineualities, Comput. Math. Appl. 58, 9) 869-877. [4 L. Chun, F. Qi, Integral ineualities for Hermite Hadamard type for functions whose 3 rd. derivatives are s convex,appl. Math. 3 ) 68-885. [5 Z. Dahmani, On Minkowski Hermite Hadamard integral ineualities via fractional integration, Ann. Funct. Anal. ) ) 5-58. [6 S. S. Dragomir, On Hadamard s ineuality on a disk, J. Ineual. Pure &Appl. Math. ) ), pp. [7 S. S Dragomir, S. Fitzpatrick, The Hadamard s ineuality for s - convex function in the second sense. Demonstration Math. 3 4)999) 687-696. [8 I. Iscan, A new generalization for some integral ineualities for, m) convex functions, Math. Sc. 7 3). [9 I. Iscan, Hermite - Hadamrd s ineualities for preinvex function via fractional integral related fractional ineualities, Americ. J. Math. Anal. 3) 3) 33-38. [ U. S. Kirmaci, M. K. Bakula, M. E. Özdemir, J. Pećarić, Hadamard - type ineualities for s - convex functions, Appl. Math. Comput. 93 7) 6-35. [ U. S. Kirmaci, Ineualities for differentiable mappings applications to special means of real numbers to midpoint formula, Appl. Math. Comput. 47 4) 37-46. [ M. Matłoka, On Hadamard s ineuality for h - convex function on a disk, Appl. Math. Comput. 35 4) 8-3. [3 M. Matłoka, Ineualities for h - preinvex functions,appl. Math. Comput. 34 4) 5-57. [4 M. Matłoka, On some Hadamard type ineualities for h, h ) - preinvex functions on the co-ordinates, J. Ineual. Appl. 3), 3: 7.
[5 M. Matłoka, On some new ineualities for differentiable h, h ) - preinvex functions on the co-ordinates, Mathematics Statistic ) 4) 6-4. [6 M. A. Noor, Hadamard integral ineualities for product of two preinvex functions, Nonlinear Anal. Forum 4 9) 67-73. [7 S. Quaisar, S. Hussain, Ch. He, On new ineualities of Hermite-Hadamard type for functions whose third derivative absolute values are uasi-convex with applications, J. Egyptian Math. Soc. 4) 9-. [8 M. Z. Sarikaya, E. Set, H. Yaldiz, N. Basak, Hermite-Hadamard s ineualities for fractional integrals related fractional ineualities, Math. Comput. Modelling 57, 3) 43-47. [9 M. Z. Sarikaya, H. Ogunmez, On new ineualities via Riemann-Liouville fractional integration, Abstract Applied Analysis ) Article ID 48983, pp. [ M. Z. Sarikaya, A. Saglam, H. Yildirim, On some Hadamard-type ineualities for h-convex functions, J. Math. Ineual., 8) 335-34. [ E. Set, New ineualities of Ostrowski type for mappings whose derivatives are s- convex in the second sense via fractional integrals, Comput. Math. Appl. 63 ) 47-54. [ S. Varošanec, On h-convexity, J. Math. Anal. Appl. 36, 7) 33-3. [3 Y. Zh, J. R. Wang, On some new Hermite-Hadamard ineualities involving Riemann-Liouville fractional integrals, J. Ineual. Appl. 3) 3:. [4 R. Gorenflo, F. Mainardi, Fractional calculus; integral differential euations of fractional order, Springer Verlag, Wien 997) 3-76. [5 S. Miller, B. Ross, An introduction to the fractional calculus fractional differential euations, John Wiley & Sons, USA 993). [6 J. Podlubni, Fractional differential euations, Academic Press, San Diego 999).