Abstract
The Hermite-Hadamard inequalities for -Riemann-Liouville fractional integrals (R-LFI) are presented in this study using a relatively novel approach based on Abel-Gontscharoff Green’s function. In this new technique, we first established some integral identities. Such identities are used to obtain new results for monotonic functions whose second derivative is convex (concave) in absolute value. Some previously published inequalities are obtained as special cases of our main results. Various applications of our main consequences are also explored to special means and trapezoid-type formulae.
Keywords:
Mittag-Leffler; Abel-Gontscharoff Green’s function; Hermite-Hadamard inequalities; convex function; κ-Riemann-Liouville fractional integral MSC:
26D15; 26D10; 26A33; 34B27
1. Introduction
Fractional calculus is a branch of mathematics that investigates the possibility of using a real or even a complex number as a differential and integral operator order. This theory has gained significant prominence in recent decades due to its wide applications in mathematical sciences. Samraiz et al. [,] explored some new fractional operators and their applications in mathematical physics. Tarasov [] and Mainardi [] explained, in detail, the history and applications of fractional calculus in mathematical economics and finance. The reader might also explore the literature [,,,,,] for further information on fractional calculus.
Convexity theory has a long history and has been the subject of significant research for more than a century. Many researchers have been interested in the various speculations, variants, and augmentations of convexity theory see, e.g., the books [,] and the articles [,]. This idea has aided the advancement of the concept of inequality prominently. Wu et al. [] presented the Hermite-Hadamard inequalities for R-LFI, and Khan et al. [] explored the inequalities by involving Green’s function. This theory has been widely studied by various researchers [,,,].
Hermite (1822–1901) sent a letter to the journal Mathesis. An extract from that letter was published in Mathesis (1883, p. 82). This inequality asserts that for a convex (concave) function , we can write
Definition 1
([]). A function is said to be convex (concave) on I convex subset of if the inequality
holds for all and .
Definition 2
([]). The left-sided and right-sided RL fractional integrals and of order on a finite interval are defined by
and
respectively. The symbol represents the usual Euler’s gamma function of ϱ defined by
Definition 3
([]). The κ-fractional integrals of order ϱ with and are defined as
and
where represents the κ-gamma function of ϱ defined by Diaz et al. in [] with the following integral representation
It is to be noted that gives the classical gamma function given in (1).
The Abel-Gontscharoff polynomial and theorem for the ‘two-point right focal’ problem are referenced in []. The Abel-Gontscharoff interpolating polynomial for the ‘two-point’ problem can be stated as
where is Green’s function for the two-point right focal problem.
Mehmood et al. in [] introduced the following four functions by keeping Abel-Gontscharoff Green’s function for the two-point right focal problem
Sarikaya et al. established in [] the right and left R-LFI of the following Hermite-Hadamard type inequality.
Theorem 1.
Let be a positive function with and . If ϝ is convex function on , then the following inequalities for fractional integrals hold:
with .
The motivation behind this study is to explore the Hermite-Hadamard inequalities using Green’s functions presented above together with Abel-Gontscharoff interpolating polynomial corresponding to the choice .
2. Main Results
In this section, we establish Hermite-Hadamard inequalities for left generalized fractional integral via Abel-Gontscharoff Green’s function for the two-point right focal problem (3).
Theorem 2.
Let ϝ be a twice differentiable and convex function on that satisfying the relation given in (2). Then, the double inequality
holds, where .
Proof.
By making a substitution in an Abel-Gontscharoff polynomial for the two-point right focal problem interpolating the polynomial presented by (2), we obtain
This can also be written as
Clearly,
where
Now, let
This proved that g is a decreasing function; therefore, we can write
Since is convex, therefore and by using (14) and (15) in (11), we obtain
which is the left half inequality of (8).
Next, we prove the right half inequality of (8). For this purpose, we choose in Equation (2), and we obtain
Adding on both sides and then dividing by , we obtain
Using the value of Green’s function for and Equation (12), we can write
The following remark proved the generalization of Theorem 2.
Remark 1.
Substituting in inequality (8), we find the following results presented in ([], Theorem 2.2).
In next result, we consider the absolute value of difference presented in (18) and utilizing (19) along with additional conditions on .
Theorem 3.
Let ϝ be a twice differentiable function on and. Then, we have the following inequalities
- (i)
- If is an increasing function, then
- (ii)
- If is decreasing function, then
- (iii)
- If is a convex function, then
Proof.
- (i)
- Since and is an increasing function, this implieswhich is inequality (21).
- (ii)
- (iii)
The following remark relates the above theorem with the published results in [].
Remark 2.
Using Green’s function from (13) and some additional features on , we obtain the following theorem.
Theorem 4.
Let ϝ be a twice differentiable function on and . Then, the following statements holds.
- (i)
- If is an increasing function, then
- (ii)
- If is a decreasing function, then
- (iii)
- If is a convex function, then
Proof.
This can also be written as
Part (ii) can be proved by the same procedure as above.
(iii) Since
Since every convex function defined on an interval is bounded above by . Therefore, we have
which is the desired inequality. □
Remark 3.
Let , and we obtain the following results presented in ([], Theorem 2.5).
The following theorem involves the change of variables in Theorem 4.
Theorem 5.
Let ϝ be a twice differentiable and be a convex function on . Then, the inequality
holds for any .
Proof.
Equation (25) can be written as
Let and , then
Taking the absolute on both sides and using the convexity of , we obtain
Hence, the proof is done. □
Remark 4.
By setting , we obtain the following result presented in ([], Theorem 2.7).
Theorem 6.
Let ϝ be a twice differentiable and be a convex function on . Then, the inequality
holds for any .
Proof.
From Equation (18), we can write
For , substituting , we obtain
By using the convexity of , we obtain
This completes the proof. □
Remark 5.
Corresponding to the choice , in Theorem 6, we obtain the following result explored in ([], Theorem 2.9)
The next theorem is a combination of Equation (26) given in Theorem 5 and the well-known Jensen’s inequality.
Theorem 7.
Let ϝ be a twice differentiable and be a concave function on . Then, the inequality
holds for any .
Proof.
Equation (26) can be rewritten in the following way
By using the condition of absolute value and then Jensen’s integral inequality, we find
□
Remark 6.
Letting in Theorem 7 gives the following result presented in ([], Theorem 2.11).
Theorem 8.
Let ϝ be a twice differentiable and be a concave function on . Then, for any , we have the inequality
Proof.
Equation (27) can also be expressed by the following relation.
By using the condition of absolute value and then Jensen’s integral inequality, we find
Hence, the desired result is proven. □
Remark 7.
If we choose in Theorem 8, we obtain the following result presented in ([], Theorem 2.13).
3. Some Applications to Special Means
- (i)
- The arithmetic mean:
- (ii)
- The logarithmic mean:
- (iii)
- The generalized logarithmic mean:
Proposition 1.
Let , , then we have the following inequalities.
and
Proof.
Using Theorem 3 and making some simplification, we can write
By substituting and using simple calculation, we obtain
This can also be written as
By using the same procedure in part and part of Theorem 3 and Theorem 6, we find the remaining inequalities. □
Proposition 2.
Let , , then the inequalities
and
are true for with
4. Conclusions
The bounds of various functions are studied in optimization theory—a branch of mathematics. The innovative fractional Hermite-Hadamard type inequalities established in this research are based on functions whose second order derivatives with absolute values are convex (concave). A new technique is used to explore the main results by involving Green’s function and Abel-Gontscharoff interpolating polynomials for two-point problems with a combination of -R-LFI. Jensen’s inequality is capably utilized with wide applications in optimization theory. Some applications of our main findings are presented to special means. This study motivates the researchers to establish the various Hermite-Hadamard inequalities by using the other Green’s functions , , and with more general fractional operators.
Author Contributions
Conceptualization, Y.L., M.S. and A.G.; methodology, M.S. and A.G.; software, M.S., G.R. and M.V.-C.; validation, Y.L., M.V.-C. and G.R.; formal analysis, M.S. and A.G.; investigation, Y.L., M.S. and A.G.; resources, M.S., G.R. and M.V.-C.; data curation, Y.L., M.S. and G.R.; writing—original draft preparation, Y.L., M.S. and A.G.; writing—review and editing, M.V.-C. and G.R.; visualization, Y.L. and M.V.-C.; supervision, M.S., M.V.-C. and G.R.; project administration, Y.L. and M.S.; funding acquisition, M.V.-C. All authors have read and agreed to the published version of the manuscript.
Funding
The work was supported by the key Scientific Research Projects of Hunan Provincial Department of Education in 2021 (grant number: 21A0526).
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Acknowledgments
The first author thank to the key Scientific Research Projects of Hunan Provincial Department of Education.
Conflicts of Interest
The authors declare that they have no conflict of interest.
References
- Samraiz, M.; Perveen, Z.; Abdeljawad, T.; Iqbal, S.; Naheed, S. On Certain Fractional Calculus Operators and Their Applications in Mathematical Physics. Phys. Scr. 2020, 95, 115210. [Google Scholar] [CrossRef]
- Samraiz, M.; Perveen, Z.; Rahman, G.; Nisar, K.S.; Kumar, D. On (k,s)-Hilfer Prabhakar Fractional Derivative with Applications in Mathematical Physics. Front. Phys. 2020, 8, 309. [Google Scholar] [CrossRef]
- Tarasov, V.E. On History of Mathematical Economics, Application of Fractional Calculus. Mathematics 2019, 7, 509. [Google Scholar] [CrossRef] [Green Version]
- Mainardi, F. On the Advent of Fractional Calculus in Econophysics via Continuous-Time Random Walk. Mathematics 2020, 8, 641. [Google Scholar] [CrossRef] [Green Version]
- Samraiz, M.; Umer, M.; Kashuri, A.; Abdeljawad, T.; Iqbal, S.; Mlaiki, N. On Weighted (k,s)-Riemann-Liouville Fractional Operators and Solution of Fractional Kinetic Equation. Fractal. Frac. 2021, 5, 118. [Google Scholar] [CrossRef]
- Johansyah, M.D.; Supriatna, A.K.; Rusyaman, E.; Saputra, J. Application of fractional differential equation in economic growth model: A systematic review approach. AIMS Math. 2021, 6, 10266–10280. [Google Scholar] [CrossRef]
- Baleanu, D.; Agarwal, R.P. Fractional calculus in the sky. Adv. Differ. Equ. 2021, 2021, 117. [Google Scholar] [CrossRef]
- Sweilam, N.H.; Al-Mekhlafi, S.M.; Assiri, T.; Atangana, A. Optimal control for cancer treatment mathematical model using Atangana–Baleanu–Caputo fractional derivative. Adv. Differ. Equ. 2020, 2020, 334. [Google Scholar] [CrossRef]
- Khan, T.U.; Khan, M.A. Generalized conformable fractional operator. J. Comput. Appl. Math. 2019, 346, 378–389. [Google Scholar] [CrossRef]
- Jarad, F.; Ugurlu, E.; Abdeljawad, T.; Baleanu, D. On a new class of fractional operators. Adv. Differ. Equ. 2017, 2017, 247. [Google Scholar] [CrossRef]
- Niculescu, C.P.; Persson, L.E. Convex Functions and Their Applications: A Contemporary Approach; CMC Books in Mathematics; Springer: New York, NY, USA, 2004. [Google Scholar]
- Pečarić, J.; Proschan, F.; Tong, Y.L. Convex Functions, Partial Orderings and Statistical Application; Acadmic Press: New York, NY, USA, 1992. [Google Scholar]
- Varosanec, S. On h-convexity. J. Math. Anal. Appl. 2007, 326, 303–311. [Google Scholar] [CrossRef] [Green Version]
- Hudzik, H.; Maligranda, L. Some remarks on s-convex functions. Aequationes Math. 1994, 48, 100–111. [Google Scholar] [CrossRef]
- Wu, S.; Iqbal, S.; Aamir, M.; Samraiz, M. On some Hermite-Hadamard inequalities involving k-fractional operators. J. Inequal. Appl. 2021, 2021, 32. [Google Scholar] [CrossRef]
- Khan, M.A.; Iqbal, A.; Suleman, M.; Chu, Y.-M. The right Riemann-Liouville fractional Hermite-Hadamard type inequalities derived from Green’s function. AIP Adv. 2020, 10, 045032. [Google Scholar]
- Sharma, N.; Singh, S.K.; Mishra, S.K.; Hamdi, A. Hermite–Hadamard-type inequalities for interval-valued preinvex functions via Riemann–Liouville fractional integrals. J. Inequal. Appl. 2020, 2020, 591. [Google Scholar] [CrossRef]
- Chen, H.; Katugampola, U.N. Hermite-Hadamard and Hermite-Hadamard-Fejer type inequalities for generalized fractional integrals. J. Math. Anal. Appl. 2017, 446, 1274–1291. [Google Scholar] [CrossRef] [Green Version]
- Set, E.; Ozdemir, M.O.; Dragomir, S.S. On the Hadamard-type of inequalities involving several kinds of convexity. J. Inequal. Appl. 2010, 2010, 286845. [Google Scholar] [CrossRef] [Green Version]
- Sarikaya, M.Z.; Set, E.; Yaldiz, H.; Basak, N. Hermite-Hadamard inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 2013, 57, 2403–2407. [Google Scholar] [CrossRef]
- Diaz, R.; Pariguan, E. On hypergeometric functions and Pochhammer k-symbol. Divulg Math. 2007, 15, 179–192. [Google Scholar]
- Mehmood, N.; Agarwal, R.P.; Butt, S.I.; Pecaric, J.E. New generalizations of Popoviciu-type inequalities via new Green’s functions and Montgomery identity. J. Inequal. Appl. 2017, 2017, 1353. [Google Scholar] [CrossRef] [PubMed] [Green Version]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).