arxiv: v1 [math.ca] 13 Feb 2014

Transcription

1 arxiv:1.379v1 math.ca 13 Feb 1 SOME NEW INEQUALITIES OF HERMITE-HADAMARD TYPE FOR hconvex FUNCTIONS ON THE CO-ORDINATES VIA FRACTIONAL INTEGRALS. ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ Abstract. By making use o the identity obtained by Sarıkaya, some new Hermite-Hadamard type inequalities or h-convex unctions on the co-ordinates via ractional integrals are established. Our results have some relationships with the results o Sarıkaya16) 1. INTRODUCTION Let : I R R be a convex unction deined on the interval I o real numbers and a,b I with a < b, then ab ) 1 ba b a x)dx a)b). holds, the double inequality is well known in the literature as Hermite-Hadamard inequality 6: Both inequalities hold in the reversed direction i is concave. For recent results, generalizations and new inequalities related to the Hermite-Hadamard inequality see, 1,1, 18) The classical Hermite- Hadamard inequality provides estimates o the mean value o a continuous convex unction : a,b R Let us now consider a bidemensional interval := a,bc,d in R with a < b and c < d. A mapping : R is said to be convex on i the ollowing inequality: tx1t)z,ty1t)w) tx,y)1t)z,w) holds, or all x,y),z,w) and t,1. I the inequality reversed then is said to be concave on. A unction : R is said to be on the co-ordinates on i the partial mappings y : a,b R, y u) = u,y) and x : c,d R, x v) = x,v) are convex where deined or all x a,b and y c,d. see 5) A ormal deinition or co-ordinated convex unction may be stated as ollows: Deinition 1. A unction : R will be called co-ordinated convex on, or all t,k,1 and x,u),y,w),i the ollowing inequality holds: tx1t)y,ku1k)w) tk x,u)k1t) y,u)t1k) x,w)1t)1k) y,w) Mathematics Subject Classiication. 6A33, 6A51, 6D15. Key words and phrases. Riemann-Liouville ractional integrals, Hermite-Hadamard type inequality, h-convex unctions on the co-ordinates. 1

2 ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ Clearly, every convex mapping is convex on the co-ordinates, but the converse is not generally true 5). Some interesting and important inequalities or convex unctions on the co-ordinates can be ound in 9, 1, 17) In 1, Alomari and Darus established the ollowing deinition o s convex unction in the second sense on co ordinates. Deinition. Consider the bidimensional interval := a,b c,d in, ) with a < b and c < d. The mapping : R is sconvex on i λx1λ)z,λy 1λ)w) λ s x,y)1λ) s z,w) holds or all x,y),z,w) with λ,1, and or some ixed s,1. Aunction : R is s-convexon is called co-ordinateds-convexon ithe partialmappings y : a,b R, y u) = u,y) and x : c,d R, x v) = x,v) are s-convex or all x a,b and y c,d with some ixed s,1. In 11, Lati and Alamori give the notion o h-convexity o a unction on a rectangle rom the plane R and h-convexity on the co-ordinates on a rectangle rom the plane R as ollows Deinition 3. Let us consider a bidimensional interval := a,b c,d in R with a < b and c < d. Let h : J R R be a positivie unction. A mapping : := a,bc,d R is said to be h-convex on, i is non-negative and i the ollowing inequality: λx1λ)z,λy 1λ)w) hλ) x,y)h1λ) z,w) holds, or all x,y),z,w) with λ,1). Let us denote this class o unctions by SXh, ). The unction is said to be h-concave i the inequality reversed. We denot this class o unctions by SV h, ). A unction : R is said to be h-convex on the co-ordinates on i the partialmappings y : a,b R, y u) = u,y) and x : c,d R, x v) = x,v) are h-convex where deined or all x a,b and y c,d. A ormal deinition o h-convex unctions may also be stated as ollows: Deinition. 11 A unction : R is said to be h-convex on the co-ordinates on, i the ollowing inequality: 1.1) tx1t)y,ku1k)w) ht)hk) x,u)hk)h1t) y,u) ht)h1k) x,w)h1t)h1k) y,w) holds or all t,k,1 and x,u),x,w),y,u),y,w). Obviously, i hα) = α, then all the non-negative convex concave) unctions on belong to the class SXh, ) SV h, )) and i hα) = α s, where s,1), then the class o s-convex on belong to the class SXh, ). Similarly we can say that i hα) = α, then the class o non-negative convex concave) unctions on the co-ordinates on is contained in the class o h-convex concave) unctions on the co-ordinates on and i hα) = α s,where s,1), then the class o s-convex unctions on the co-ordinates on is contained in the class o h-convex unctions on the co-ordinates on.

3 HERMITE-HADAMARD TYPE INEQUALITIES FOR H-CONVEX FUNCTION 3 In the ollowing we will give some necessary deinitions which are used urther in this paper. More details, one can consult 7, 8, 13 Deinition 5. Let L 1 a,b. The Riemann-Liouville integrals Ja α and J α b order α > and a are deined by and Ja α 1 x) = Γα) Jb α 1 x) = Γα) x a b x xt) α1 t)dt, x > a tx) α1 t)dt, x < b respectively. Here Γα) is the Gamma unction and J a x) = J b x) = x). Deinition 6. Let L 1 a,bc,d). the Riemann-Liouville integrals, a,d, and o order α,β > with a,c are deined by x,y) = 1 Γα)Γβ) x y a c xt) α1 y s) β1 t,s)dsdt, x > a,y > c = a,d x,y) 1 Γα)Γβ) x d a y xt) α1 sy) β1 t,s)dsdt, x > a,y < d = b,c x,y) 1 Γα)Γβ) b y x c tx) α1 y s) β1 t,s)dsdt, x < b,y > c = b,d x,y) 1 Γα)Γβ) b d respectively. Here, Γ is the Gama unction, and x y tx) α1 sy) β1 t,s)dsdt, x < b,y < d J, x,y) = J, a,d x,y) = J, b,c x,y) = J, b,d x,y) = x,y) J 1,1 x,y) = x y a c t,s)dsdt. For some recent results connected with ractional integral inequalities see, 3, 15, 19). In 16), Sarıkaya establish the ollowing inequalities o Hadamard s type or co-ordinated convex mapping on a rectangle rom the plane R :

4 ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ Theorem 1. Let : R R be co-ordinated convex on := a,bc,d in R with a < b, c < d and L 1 ). Then one has the inequalities: 1.) ab, cd ) ba) α dc) β b,d) b,c) a,d) a,c) a,c) a,d) b,c) b,d). Theorem. Let : R R be a partial dierentiable mapping on := a,bc,d in R with a < b, c < d. I t k is a convex unction on the co-ordinates on, then one has the inequalities: 1.3) a,c) a,d) b,c) b,d) ba) α dc) β b,d) b,c) a,d) a,c) A ba)dc) α1)β 1) k t a,c) k t a,d) k t b,c) ) k t b,d) where A = Γβ 1) dc) β J β c a,d)j β c b,d)j β d a,c)j β d b,c) Γα1) ba) α Ja α b,c)jα a b,d)jα b a,c)jα b a,d). Theorem 3. Let : R R be a partial dierentiable mapping on := a,bc,d in R with a < b, c < d. I q,q > 1, is a convex unction t k

5 HERMITE-HADAMARD TYPE INEQUALITIES FOR H-CONVEX FUNCTION 5 on the co-ordinates on, then one has the inequalities: 1.) a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A )1 ba)dc) 1 q αp1)βp1) 1 p q k t a,c) k t a,d) q k t b,c) q k t b,d) q) 1 q where A = Γβ 1) dc) β J β c a,d)j β c b,d)j β d a,c)j β d b,c) Γα1) ba) α Ja α b,c)jα a b,d)jα b a,c)jα b a,d) and 1 p 1 q = 1. In order to prove our main results we need the ollowing lemma see 16). Lemma 1. Let : R R be a partial dierentiable mapping on := a,bc,d in R with a < b, c < d. I t k L ), then the ollowing equality holds: 1.5) a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) Γβ 1) dc) β J β c a,d)j β c b,d)j β d a,c)j β d b,c) Γα1) ba) α Ja α b,c)jα a b,d)jα b a,c)jα b a,d)

6 6 ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ = ba)dc) t α k β t k ta1t)b,kc1k)d)dkdt 1t) α k β t k ta1t)b,kc1k)d)dkdt t α 1k) β t k ta1t)b,kc1k)d)dkdt 1t) α 1k) β t k ta1t)b,kc1k)d)dkdt }.. MAIN RESULTS Theorem. Let : R R be h-convex unction on the co-ordinates on := a,bc,d in R and L ). The one has the inequalities:.1) ab, cd ) ) 1 h ba) α dc) β b,d) b,c) a,d) a,c) ) 1 h αβ a,c) a,d) b,c) b,d) t α1 k α1 ht)hk)ht)h1k)h1t)hk)h1t)h1k)dkdt. Proo. According to 1.1) with x = t 1 a1t 1 )b,y = 1t 1 )at 1 b,u = k 1 c 1k 1 )d,w = 1k 1 )ck 1 d and t = k = 1, we ind that.) ab, cd ) ) 1 h t 1 a1t 1 )b,k 1 c1k 1 )d) t 1 a1t 1 )b,1k 1 )ck 1 d) 1t 1 )at 1 b,k 1 c1k 1 )d) 1t 1 )at 1 b,1k 1 )ck 1 d).

7 HERMITE-HADAMARD TYPE INEQUALITIES FOR H-CONVEX FUNCTION 7 Thus, multiplying both sides o.) by t α1 1 k β1 1, then by integrating with respect to t 1,k 1 ) on,1,1, we obtain 1 ab αβ, cd ) ) 1 h tα1 1 k1 α1 t 1 a1t 1 )b,k 1 c1k 1 )d) t 1 a1t 1 )b,1k 1 )ck 1 d) 1t 1 )at 1 b,k 1 c1k 1 )d) 1t 1 )at 1 b,1k 1 )ck 1 d)dk 1 ds 1. Using the change o the varible, we get ab, cd ) ) αβ b h ba) α dc) β a b d a c b d a c b d a c d bx) α1 y c) β1 x,y)dydx xa) α1 dy) β1 x,y)dydx xa) α1 y c) β1 x,y)dydx c bx) α1 dy) β1 x,y)dydx which the irst inequality is proved. For the proo o second inequality.1), we irst note that i is a h-convex unction on, then, by using 1.1) with x = a,y = b,u = c,w = d, it yields ta1t)b,kc1k)d) ht)hk) a,c)ht)h1k) a,d) h1t)hk) b,c)h1t)h1k) b,d) } 1t)atb,kc1k)d) h1t)hk) a,c)h1t)h1k) a,d) ht)hk) b,c)ht)h1k) b,d) ta1t)b,1k)ckd) ht)h1k) a,c)ht)hk) a,d) h1t)h1k) b,c)h1t)hk) b,d)

8 8 ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ 1t)atb,1k)ckd) h1t)h1k) a,c)h1t)hk) a,d) ht)h1k) b,c)ht)hk) b,d). By adding these inequalities we have.3) ta1t)b,kc1k)d) 1t)atb,kc1k)d) ta1t)b,1k)ckd) 1t)atb,1k)ckd) a,c) b,c) a,d) b,d) ht)hk)ht)h1k)h1t)hk)h1t)h1k). Then, multiplying both sides o.3) by t α1 k β1 and integrating with respect to t,k) over,1,1, we get t α1 k β1 ta1t)b,kc1k)d) 1t)atb,kc1k)d) ta1t)b,1k)ckd) 1t)atb,1k)ckd)dkdt a,c) b,c) a,d) b,d) t α1 k β1 ht)hk)ht)h1k)h1t)hk)h1t)h1k)dkdt}. Here, using the change o the variable we have 1 h ) ba) α dc) β b,d) b,c) a,d) a,c) ) 1 h αβ a,c) a,d) b,c) b,d) t α1 k α1 ht)hk)ht)h1k)h1t)hk)h1t)h1k)dkdt. The proo is completed.

9 HERMITE-HADAMARD TYPE INEQUALITIES FOR H-CONVEX FUNCTION 9 Remark 1. I we take hα) = α in Theorem, then the inequality.1) becomes the inequality 1.) o Theorem 1. Corollary 1. I we take hα) = α s in Theorem 1, we have the ollowing inequality: ab, cd ) 1 ) s ba) α dc) β b,d) a,d b,c) b,c a,d) b,d a,c) ) s 1 αβ a,c) a,d) b,c) b,d) ) ) 1 1 αs Bα,s1) β s Bβ,s1) where B is the Beta unction, Bx,y) = t x1 1t) y1 dt. Theorem 5. Let : R R be a partial dierentiable mapping on := a,bc,d in R with a < b, c < d. I t k is a h-convex unction on the co-ordinates on, then one has the inequalities:.) a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A ba)dc) t k a,c) t k b,c) t k a,d) t k b,d) t α 1t) α ) k β 1k) β) ht)hk)dkdt t α 1t) α ) k β 1k) β) h1t)hk)dkdt t α 1t) α ) k β 1k) β) ht)h1k)dkdt t α 1t) α ) k β 1k) β) } h1t)h1k)dkdt

10 1 ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ where A = Γβ 1) dc) β J β c a,d)j β c b,d)j β d a,c)j β d b,c) Γα1) ba) α Ja α b,c)jα a b,d)jα b a,c)jα b a,d). Proo. From Lemma 1, we have a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A ba)dc) t α k β t k ta1t)b,kc1k)d) dkdt 1t) α k β t k ta1t)b,kc1k)d) dkdt t α 1k) β t k ta1t)b,kc1k)d) dkdt 1t) α 1k) β } t k ta1t)b,kc1k)d) dkdt. Since t k is h-convex unction on the co-ordinates on, then one has: a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A

11 HERMITE-HADAMARD TYPE INEQUALITIES FOR H-CONVEX FUNCTION 11 ba)dc) t k a,c) t k b,c) t k a,d) t k b,d) The proo is completed. t α 1t) α ) k β 1k) β) ht)hk)dkdt t α 1t) α ) k β 1k) β) h1t)hk)dkdt t α 1t) α ) k β 1k) β) ht)h1k)dkdt t α 1t) α ) k β 1k) β) } h1t)h1k)dkdt. Remark. I we take hα) = α in Theorem 5, then the inequality.) becomes the inequality 1.3) o Theorem. Corollary. I we take hα) = α s in Theorem 5, we have a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A where ba)dc) t k a,c) t k b,c) t k a,d) t k b,d) ) ) 1 αs1 Bs1,α1) 1 Bs1,β 1) β s1 A = Γβ 1) dc) β J β c a,d)j β c b,d)j β d a,c)j β d b,c) Γα1) ba) α Ja α b,c)jα a b,d)jα b a,c)jα b a,d) and B is the Beta unction, Bx,y) = t x1 1t) y1 dt. Theorem 6. Let : R R be a partial dierentiable mapping on := a,b c,d in R with a < b, c < d. I q,q > 1, is a h-convex t k

12 1 ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ unction on the co-ordinates on, then one has the inequalities:.5) a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A ba)dc) αp1)βp1) 1 p k t a,c) q k t a,d) q k t b,c) q k t b,d) q ht)hk)dkdt ht)h1k)dkdt h1t)hk)dkdt ) 1 q h1t)h1k)dkdt where A = Γβ 1) dc) β J β c a,d)j β c b,d)j β d a,c)j β d b,c) Γα1) ba) α Ja α b,c)jα a b,d)jα b a,c)jα b a,d) and 1 p 1 q = 1. Proo. From Lemma 1, we have a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A

13 HERMITE-HADAMARD TYPE INEQUALITIES FOR H-CONVEX FUNCTION 13 ba)dc) t α k β t k ta1t)b,kc1k)d) dkdt 1t) α k β t k ta1t)b,kc1k)d) dkdt t α 1k) β t k ta1t)b,kc1k)d) dkdt 1t) α 1k) β } t k ta1t)b,kc1k)d) dkdt. By using the well known Hölder s inequality or double integrals, we get a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A ba)dc) ) 1 t pα 1k) pβ p dkdt ) 1 t pα k pβ p dkdt t k ta1t)b,kc1k)d) ) 1 1t) pα k pβ p dkdt ) p} 1 1t) pα 1k) pβ dkdt q ) q 1 dkdt Since t k q is h-convex unction on the co-ordinates on, then one has: a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A

14 1 ERHAN SET, M. ZEKI SARIKAYA, AND HATICE ÖGÜLMÜŞ ba)dc) αp1)βp1) 1 p k t a,c) q k t a,d) q k t b,c) q k t b,d) q and the proo is completed. ht)hk)dkdt ht)h1k)dkdt h1t)hk)dkdt ) 1 q h1t)h1k)dkdt Remark 3. I we take hα) = α in Theorem 6, then the inequality.5) becomes the inequality 1.) o Theorem 3. Corollary 3. I we take hα) = α s in Theorem 5, we have a,c) a,d) b,c) b,d) ba) α dc) β } b,d) b,c) a,d) a,c) A where ba)dc) αp1)βp1) 1 p 1 s1) k t a,c) A = q k t a,d) q k t b,c) q k t b,d) Γβ 1) dc) β J β c a,d)j β c b,d)j β d a,c)j β d b,c) Γα1) ba) α Ja α b,c)jα a b,d)jα b a,c)jα b a,d). Reerences 1 M. Alomari and M. Darus, The Hadamard s inequality or s convex unction o variables on the co ordinates, Int. Journal o Math. Analysis, 13) 8), S. Belarbi and Z. Dahmani, On some new ractional integral inequalities, J. Ineq. Pure and Appl. Math., 13) 9), Art Z. Dahmani, L. Tabharit, S. Ta, Some ractional integral inequalities, Nonl. Sci. Lett. A, 1) 1), S.S. Dragomir, On some new inequalities o Hermite Hadamard type or m-convex unctions, Tamkang J. Math., 3 1) ). q )1 q

15 HERMITE-HADAMARD TYPE INEQUALITIES FOR H-CONVEX FUNCTION 15 5 S.S. Dragomir, On Hadamard s inequality or convex unctions on the co-ordinates in a rectangle rom the plane, Taiwanese J. Math. 1), S.S. Dragomir, C.E.M. Pearce, Selected topics on Hermite Hadamard inequalities and applications, RGMIA Monographs, Victoria University,. 7 R. Gorenlo, F. Mainardi, Fractional calculus: integral and dierential equations o ractional order, Springer Verlag, Wien 1997), S. Miller and B. Ross, An introduction to the ractional calculus and ractional dierential equations, John Wiley& Sons, USA, 1993, p.. 9 M.A. Lati, M. Alomari, Hadamard-type inequalities or product two convex unctions on the co-ordinetes. Int Math Forum. 7), ). 1 M.A. Lati and S. Hussain, New inequalities o Ostrowski type or co-ordinated convex unctions via ractional integrals, Journal o Fractional Calculus and Appl. 9) 1), M.A. Lati, On Hadamard-type inequalities or h-convex unctions on the co-ordinates, Int. Journal o Math. Analysis, 3 33) 9), C.E.M. Pearce, J. Pečarić, Inequalities or dierentiable mappings with application to special means and quadrature ormula, Appl. Math. Lett. 13 ), I. Podlubni, Fractional dierential equations, Academic Press, San Diego, M. Z Sarikaya., A. Saglam and H. Yıldırım, On some Hadamard type inequalities or h- convex unctions, Journal Math. Ineq. 3) 8), M.Z. Sarikaya and H. Yaldiz, On weighted Montogomery identities or Riemann- Liouville ractional integrals, Konuralp Journal o Math., 11) 13), M.Z. Sarikaya, On the Hermite-Hadamard-type inequalities or co-ordinated convex unction via ractional integrals submitted). 17 M.Z. Sarikaya, E. Set, M.E. Özdemir, S.S. Dragomir, New some Hadamard s type inequalities or co-ordinated convex unctions.tamsui Oxord Journal o Inormation and Mathematical Sciences, 8) 1), E. Set, M.E. Özdemir, S.S. Dragomir, On the Hermite Hadamard inequality and other integral inequalities involving two unctions, J. Inequal. Appl. 1), p. 9 Article ID E. Set, New inequalities o Ostrowski type or mappings whose derivatives are s-convex in the second sense via ractional integrals, Comput. Math. Appl., 63 1), Department o Mathematics, Faculty o Science and Arts, Ordu University, Ordu- TURKEY address: erhanset@yahoo.com Departmento Mathematics, Facultyo Science andarts, Düzce University, Düzce- TURKEY address: sarikayamz@gmail.com Department o Mathematics, Faculty o Science and Arts, Düzce University, Düzce-TURKEY address: hatıceogulmus@hotmail.com