- Research
- Open access
- Published:
On some new Hermite-Hadamard inequalities involving Riemann-Liouville fractional integrals
Journal of Inequalities and Applications volume 2013, Article number: 220 (2013)
Abstract
In this paper, three fundamental and important Riemann-Liouville fractional integral identities including a twice differentiable mapping are established. Secondly, some interesting Hermite-Hadamard type inequalities involving Riemann-Liouville fractional integrals for m-convexity and -convexity functions, respectively, by virtue of the established integral identities are presented.
MSC:26A33, 26A51, 26D07.
1 Introduction
In 1881, Hermite found the famous Hermite-Hadamard inequality (see Mitrinović and Lacković [1])
where is a convex function on the interval I of real numbers and with . For the contribution on the recent results which generalized, improved, and extended this classical Hermite-Hadamard inequality via convex functions, we refer the reader to [2–16] and references therein.
In addition to the classical convex functions, Toader [17], Hudzik and Maligranda [18] and Pinheiro [19] extended the concepts of classical convex functions to the concepts of m-convex function and -convex function.
Definition 1.1 The function is said to be m-convex, where and , if for every and , we have
Definition 1.2 The function is said to be -convex, where and , if for every and , we have
Recently, Ödemir et al. [5, 6] applied the following two important integral identities, including second-order derivatives, to establish some interesting Hermite-Hadamard type inequalities for m-convexity and -convexity functions, respectively.
Lemma 1.3 Let be a twice differentiable mapping on with . If , then
Lemma 1.4 Let be a twice differentiable mapping on with and . If , then
For more recent interesting integral inequalities results for m-convexity and -convexity functions, one can see [20–25].
On the other hand, fractional integrals and derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. For more recent development on fractional calculus, one can see the monographs [26–33] and the references therein.
Very recently, Sarikaya et al. [34] extended Lemma 1.3 and Lemma 1.4 to the case of Riemann-Liouville fractional integrals.
Lemma 1.5 (see Lemma 2, [34])
Let be a differentiable mapping on with . If , then the following equality for fractional integrals holds:
where the symbols and denote the left-sided and right-sided Riemann-Liouville fractional integrals of the order that are defined by
and
respectively. Here is the gamma function.
Thereafter, Wang et al. [35, 36] extended Lemma 1.5 to the case of including a twice differentiable function involving Riemann-Liouville fractional integrals and the case of including a first differentiable function involving Hadamard fractional integrals, respectively.
Lemma 1.6 (see Lemma 2.1, [35])
Let be a twice differentiable mapping on with . If , then the following equality for fractional integrals holds:
Lemma 1.7 (see Lemma 3.1, [36])
Let be a differentiable mapping on with . If , then
where the symbols and denote the left-sided and right-sided Riemann-Liouville fractional integrals of the order that are defined by
and
respectively.
Furthermore, Zhu et al. [37] established another important Riemann-Liouville fractional integral identity for a differentiable mapping.
Lemma 1.8 (see Lemma 2.1, [37])
Let be a differentiable mapping on with . If , then
where
Motivated by [5, 6, 34, 35, 37], we offer the following two basic questions:
-
(i)
Can we extend Lemma 1.8 to some possible cases of including a twice differentiable mapping? If we can, we must give the concrete form.
-
(ii)
Can we give other more interesting Hermite-Hadamard type inequalities involving Riemann-Liouville fractional integrals for m-convex or -convex functions by virtue of our established integral identities?
The first aim of this paper is to establish three fundamental and important Riemann-Liouville fractional integral identities including a twice differentiable function (see Lemmas 2.1, 2.3 and 2.3). Next, we present some interesting Hermite-Hadamard type inequalities involving Riemann-Liouville fractional integrals for m-convexity and -convexity functions, respectively, by virtue of our established integral identities.
2 Some interesting Riemann-Liouville fractional integral identities
We firstly extend Lemma 1.8 to the following integral identity including a twice differentiable mapping.
Lemma 2.1 Let be a twice differentiable mapping on with . If , then
where
Proof Denote
Integrating by parts, we have
and
Submitting (4) and (5) to (3), it follows that
Thus, by multiplying both sides of (6) by , we have
On the other hand, by (1) we obtain
Combing (7) and (8), we obtain the conclusion (2). This completes the proof. □
Next, we establish the following results.
Lemma 2.2 Let be a twice differentiable mapping on with . If , , then
where
Proof By multiplying both sides of (1) by , we have
By multiplying both sides of (2) by , we have
Hence, (11) and (12) yield
where is defined in (10). This completes the proof. □
Lemma 2.3 Let be a twice differentiable mapping on with . If , , then
where is defined in (10).
Proof This is just Lemma 2.2 on the interval . □
3 Hermite-Hadamard type inequalities for m-convex functions
We start by stating the first theorem containing a Hermite-Hadamard type inequality.
Theorem 3.1 Let be a twice differentiable mapping with . If is measurable and m-convex on for some fixed , and with , , then
Proof Case 1: We suppose that . From Lemma 2.2, we have
due to for any . Since is m-convex on , we know that for any ,
Therefore,
where
Denote
Integrating the above equalities by parts, respectively we have
and
Therefore,
which completes the proof for this case.
Case 2: We suppose that . By (9) via the power mean inequality for q, it is easy to see
Clearly,
Since is m-convex on , we know that for any ,
Thus,
and
Therefore,
The proof of this case is completed. □
Remark 3.2 With the same assumptions as in Theorem 3.1, if on , we obtain
Now, we begin by stating the second theorem in this section.
Theorem 3.3 Let be a twice differentiable mapping with . If is measurable and m-convex on for some fixed , and with , , then
where .
Proof From Lemma 2.2 and using the well-known Hölder inequality, we have
On the one hand,
and
where we use the fact
for any , which follows from for any and .
On the other hand,
Finally, submitting (21), (22) and (24) to (20), one can obtain the result immediately. □
Remark 3.4 With the same assumptions as in Theorem 3.3, if on , we obtain
where .
Another Hermite-Hadamard type inequality for powers in terms of the second derivatives is obtained as follows.
Theorem 3.5 Let be a twice differentiable mapping with . If is measurable and m-convex on for some fixed , and with , , then
Proof From Lemma 2.2 and using the well-known Hölder inequality, we have
Calculating by parts, we have
Submitting (26) and (27) to (25) via (23), one can obtain the result. The proof is completed. □
Remark 3.6 With the same assumptions as in Theorem 3.5, if on , we obtain
where .
Remark 3.7 From Theorems 3.1, 3.3 and 3.5, we have
where
From Theorem 3.3 and Theorem 3.5, we use one skill of shrinking about inequality, then we now use another skill of shrinking.
Theorem 3.8 Let be a twice differentiable mapping with . If is measurable and m-convex on for some fixed , and with , , then
where .
Proof From Lemma 2.2 and using the well-known Hölder inequality, we have
Note that for any . Calculating by parts, we find
and
Thus,
Moreover,
Now submitting (29) and (30) to (28), one can derive the desired result. □
Remark 3.9 With the same assumptions as in Theorem 3.8, if on , we obtain
where .
Another Hermite-Hadamard type inequality for powers in terms of the second derivatives is obtained as follows.
Theorem 3.10 Let be a twice differentiable mapping with . If is measurable and m-convex on for some fixed , and with , , then
Proof From Lemma 2.2 and using the well-known Hölder inequality, we have
Calculating by parts, we have
with
and
where
and
Thus,
Clearly,
Now, submitting (32) and (33) to (31), one can obtain the result. The proof is completed. □
Remark 3.11 With the same assumptions as in Theorem 3.10, if on , we obtain
where .
Remark 3.12 From Theorems 3.8 and 3.10, we have
where
4 Hermite-Hadamard type inequalities for -convex functions
Theorem 4.1 Let be a twice differentiable mapping with . If is measurable and -convex on for some fixed and , , then
where
Proof Case 1: We suppose that . From Lemma 2.3, we have
Since is -convex on , we know that for any ,
Therefore (36) turns to
where
Calculating by parts, we have
and
Therefore
because .
Note that (35), one can derive
which completes the proof for this case.
Case 2: We suppose that . Using Lemma 2.3 and the power mean inequality for q, we obtain
Since is -convex on , we know that for any ,
Hence, from (37) and (38), we obtain
Calculating by parts, we have
and
and
Therefore, using the above facts, one can obtain (34), which completes the proof. □
Remark 4.2 In Theorem 4.1, if we choose , we have
where
Theorem 4.3 Let be a twice differentiable mapping with . If is measurable and -convex on for some fixed and , , then
where .
Proof From Lemma 2.3 and using the well-known Hölder inequality, we have
Note that
where we use for any .
Moreover,
Therefore,
which completes the proof. □
Remark 4.4 In Theorem 4.3, if we choose , we obtain
Theorem 4.5 Let be a twice differentiable mapping . If is measurable and -convex on for some fixed and , , then
Proof From Lemma 2.3 and using the well-known Hölder inequality, we have
Calculating by parts, we have
and
Therefore, using the above facts via for any , one can derive (39). The proof is completed. □
Remark 4.6 In Theorem 4.5, if we choose , we obtain
Remark 4.7 From Theorems 4.1, 4.3 and 4.5, we have
where
where I is defined in (35).
From Theorem 4.3 and Theorem 4.5, we use one skill of shrinking about inequality, then we now use another skill of shrinking.
Theorem 4.8 Let be a twice differentiable mapping with . If is measurable and -convex on for some fixed and , , then
where .
Proof From Lemma 2.3 and using the well-known Hölder inequality, we have
because for any , which completes the proof. □
Remark 4.9 With the same assumptions as in Theorem 4.8, if we choose , we obtain
where .
Another Hermite-Hadamard type inequality for powers in terms of the second derivatives is obtained as follows.
Theorem 4.10 Let be a twice differentiable mapping . If is measurable and -convex on for some fixed and , , then the following inequality for fractional integrals holds:
where
Proof From Lemma 2.3 and using the well-known Hölder inequality, we have
Calculating by parts, we have
where
Thus,
Similarly,
Now using the above facts, one can obtain (40). The proof is completed. □
Remark 4.11 With the same assumptions as in Theorem 4.10, if we choose , we obtain
where , and
Remark 4.12 From Theorems 4.8 and 4.10, we have
where
where H is defined in Theorem 4.10.
References
Mitrinović DS, Lacković IB: Hermite and convexity. Aequ. Math. 1985, 28: 229–232. 10.1007/BF02189414
Noor MA: Hermite-Hadamard inequality for log-preinvex functions. J. Math. Anal. Approx. Theory 2007, 2: 126–131.
Abramovich S, Barić J, Pec̆arić J: Fejer and Hermite-Hadamard type inequalities for superquadratic functions. J. Math. Anal. Appl. 2008, 344: 1048–1056. 10.1016/j.jmaa.2008.03.051
Cal J, Carcamob J, Escauriaza L: A general multidimensional Hermite-Hadamard type inequality. J. Math. Anal. Appl. 2009, 356: 659–663. 10.1016/j.jmaa.2009.03.044
Ödemir ME, Avci M, Set E: On some inequalities of Hermite-Hadamard type via m -convexity. Appl. Math. Lett. 2010, 23: 1065–1070. 10.1016/j.aml.2010.04.037
Ödemir ME, Avci M, Kavurmaci H:Hermite-Hadamard-type inequalities via -convexity. Comput. Math. Appl. 2011, 61: 2614–2620. 10.1016/j.camwa.2011.02.053
Dragomir SS: Hermite-Hadamard’s type inequalities for operator convex functions. Appl. Math. Comput. 2011, 218: 766–772. 10.1016/j.amc.2011.01.056
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.050
Sarikaya MZ, Aktan N: On the generalization of some integral inequalities and their applications. Math. Comput. Model. 2011, 54: 2175–2182. 10.1016/j.mcm.2011.05.026
Xiao Z, Zhang Z, Wu Y: On weighted Hermite-Hadamard inequalities. Appl. Math. Comput. 2011, 218: 1147–1152. 10.1016/j.amc.2011.03.081
Barani A, Ghazanfari AG, Dragomir SS: Hermite-Hadamard inequality for functions whose derivatives absolute values are preinvex. RGMIA Research Report Collection (Online) 2011., 14: Article ID 64
Bessenyei M: The Hermite-Hadamard inequality in Beckenbach’s setting. J. Math. Anal. Appl. 2010, 364: 366–383. 10.1016/j.jmaa.2009.11.015
Tseng K, Hwang S, Hsu K: Hadamard-type and Bullen-type inequalities for Lipschitzian functions and their applications. Comput. Math. Appl. 2012, 64: 651–660. 10.1016/j.camwa.2011.12.076
Niculescu CP: The Hermite-Hadamard inequality for log-convex functions. Nonlinear Anal. TMA 2012, 75: 662–669. 10.1016/j.na.2011.08.066
Wang, J, Deng, J, Fec̆kan, M: Exploring s-e-condition and applications to some Ostrowski type inequalities via Hadamard fractional integrals. Math. Solvaca (2012, in press)
Wang, J, Deng, J, Fec̆kan, M: Hermite-Hadamard type inequalities for r-convex functions via Riemann-Liouville fractional integrals. Ukrainian Math. J. (2013, in press)
Toader GH: Some generalisations of the convexity. Proc. Colloq. Approx. Optim. 1984, 329–338.
Hudzik H, Maligranda L: Some remarks on s -convex functions. Aequ. Math. 1994, 48: 100–111. 10.1007/BF01837981
Pinheiro MR: Exploring the concept of s -convexity. Aequ. Math. 2007, 74: 201–209. 10.1007/s00010-007-2891-9
Bakula MK, Ödemir ME, Pec̆rić J: Hadamard type inequalities for m -convex and -convex functions. J. Inequal. Pure Appl. Math. 2008., 9: Article ID 96
Bakula MK, Pec̆rić J, Ribic̆ić M: Companion inequalities to Jensen’s inequality for m -convex and -convex functions. J. Inequal. Pure Appl. Math. 2006., 7: Article ID 194
Özdemir ME, Kavurmaci H, Set E:Ostrowski’s type inequalities for -convex functions. Kyungpook Math. J. 2010, 50: 371–378. 10.5666/KMJ.2010.50.3.371
Ödemir ME, Set E, Sarikaya MZ: Some new Hadamard’s type inequalities for co-ordinated m -convex and -convex functions. Hacet. J. Math. Stat. 2011, 40: 219–229.
Set E, Sardari M, Ozdemir ME, Rooin J:On generalizations of the Hadamard inequality for -convex functions. RGMIA Research Report Collection (Online) 2009., 12: Article ID 4
Xi B, Bai R, Qi F: Hermite-Hadamard type inequalities for the m - and -geometrically convex functions. Aequ. Math. 2012, 84: 261–269. 10.1007/s00010-011-0114-x
Baleanu D, Machado JAT, Luo AC-J: Fractional Dynamics and Control. Springer, Berlin; 2012.
Diethelm K Lecture Notes in Mathematics. The Analysis of Fractional Differential Equations 2010.
Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Lakshmikantham V, Leela S, Devi JV: Theory of fractional dynamic systems. Cambridge Scientific Publishers, Cambridge; 2009.
Miller KS, Ross B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York; 1993.
Michalski MW Dissertationes Mathematicae CCCXXVIII. In Derivatives of Noninteger Order and Their Applications. Inst. Math., Polish Acad. Sci., Warsaw; 1993.
Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.
Tarasov VE: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Berlin; 2011.
Sarikaya MZ, Set E, Yaldiz H, Başak N: Hermite-Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 2013, 57: 2403–2407. 10.1016/j.mcm.2011.12.048
Wang J, Li X, Fec̆kan M, Zhou Y: Hermite-Hadamard-type inequalities for Riemann-Liouville fractional integrals via two kinds of convexity. Appl. Anal. 2012. doi:10.1080/00036811.2012.727986
Wang, J, Li, X, Zhu, C: Refinements of Hermite-Hadamard type inequalities involving fractional integrals. Bull. Belg. Math. Soc. Simon Stevin 20 (2013, in press)
Zhu C, Fec̆kan M, Wang J: Fractional integral inequalities for differentiable convex mappings and applications to special means and a midpoint formula. J. Appl. Math. Stat. Inf. 2012, 8: 21–28.
Acknowledgements
Dedicated to Professor Hari M Srivastava.
The authors thank the referees for their careful reading of the manuscript and insightful comments, which helped to improve the quality of the paper. We would also like to acknowledge the valuable comments and suggestions from the editors, which vastly contributed to improving the presentation of the paper. This work was supported by the National Natural Science Foundation of China (11201091), Key Projects of Science and Technology Research in the Chinese Ministry of Education (211169).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
This work was carried out in collaboration between all authors. JRW raised these interesting problems in this research. YZ and JRW proved the theorems, interpreted the results and wrote the article. All authors defined the research theme, read and approved the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zhang, Y., Wang, J. On some new Hermite-Hadamard inequalities involving Riemann-Liouville fractional integrals. J Inequal Appl 2013, 220 (2013). https://doi.org/10.1186/1029-242X-2013-220
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-220