Abstract
This research investigates bounds of the sum of left-sided and right-sided fractional integrals in a compact form. These bounds are established by using \((\alpha ,m)\)-convex functions. The results of this paper also have connection with some known and already published results (Dragomir and Agarwal in Appl. Math. Lett. 11(5):91–95, 1998; Farid in J. Anal. 2018, https://doi.org/10.1007/s41478-0079-4; Farid et al. in Mathematics 2018(6):248, 2018). Moreover, the investigated results are applied to the end points as well as the mid point of the domain and some interesting consequences have been obtained.
Similar content being viewed by others
1 Introduction
A function \(f:I\rightarrow \mathbb{R}\) is said to be convex if
holds for all \(x, y\in I\) and \(t\in [0, 1 ]\). If inequality (1.1) is reversed, then the function f will be the concave on \([a,b]\).
Convex functions have been generalized theoretically extensively; these generalizations include the m-convex function, n-convex function, r-convex function, h-convex function, \((h,m)\)-convex function, s-convex function and many others. Here the authors are interested in the \((\alpha ,m)\)-convex functions defined by Mihesan [16]:
Definition 1
A function \(f:[0,b]\subset \mathbb{R}\rightarrow \mathbb{R}\), \(b>0\) is said to be \((\alpha ,m)\)-convex, where \((\alpha ,m)\in [0,1]^{2}\) if
holds for all \(x, y\in [0,b]\) and \(t\in [0, 1 ]\).
For suitable choices of α and m, class of \((\alpha ,m)\)-convex functions reduces to different known classes of functions defined on \([0,b]\) given in the following remark.
Remark 1
-
(i)
If \((\alpha ,m)=(1,m)\), then (1.2) produces the definition of m-convex function.
-
(ii)
If \((\alpha ,m)=(1,1)\), then (1.2) produces the definition of a convex function.
-
(iii)
If \((\alpha ,m)=(1,0)\), then (1.2) produces the definition of a star-shaped function: A function \(f:[0,b]\to \mathbb{R}\) is called star-shaped if \(f(tx)\leq tf(x)\) holds for all \(t\in [0,1]\) and \(x\in [0,b]\).
For some recent citations and utilizations of \((\alpha ,m)\)-convex functions one can see [2, 10, 19, 20] and the references therein.
Next we give the definition of the well-known Riemann–Liouville fractional integrals.
Definition 2
Let \(f \in L_{1}[a,b]\). Then the Riemann–Liouville fractional integrals of order \(\mu \in \mathbb{C}\), \(\Re (\mu )>0\) are defined by
and
The left-sided and right-sided Riemann–Liouville k-fractional integrals are given in [17].
Definition 3
Let \(f \in L_{1}[a,b]\). Then the Riemann–Liouville k-fractional integrals of order \(\mu \in \mathbb{C}\), \(\Re (\mu )>0\), \(k>0\), are defined by
and
A more general definition of the Riemann–Liouville fractional integrals is given in [14].
Definition 4
Let \(f:[a,b]\rightarrow \mathbb{R}\) be an integrable function. Also let g be an increasing and positive function on \((a, b]\), having a continuous derivative \(g^{\prime }\) on \((a,b)\). The left-sided and right-sided fractional integrals of a function f with respect to another function g on \([a, b]\) of order \(\mu \in \mathbb{C}\), \(\Re (\mu )>0\) are defined by
and
where \(\varGamma (\cdot)\) is the Gamma function.
A k-fractional analogue of the above definition is given in [15] (see also [1]).
Definition 5
Let \(f:[a,b]\rightarrow \mathbb{R}\) be an integrable function. Also let g be an increasing and positive function on \((a, b]\), having a continuous derivative \(g^{\prime }\) on \((a,b)\). The left-sided and right-sided fractional integrals of a function f with respect to another function g on \([a, b]\) of order \(\mu \in \mathbb{C}\), \(\Re (\mu )>0\), \(k>0\) are defined by
and
where \(\varGamma _{k}(\cdot)\) is the k-Gamma function.
These are compact forms of fractional integrals; which contain several fractional integrals defined by different authors in recent years.
Remark 2
In the above Definition 5:
-
(i)
By setting \(k=1\), Definition 4 can be obtained.
-
(ii)
By setting \(g(x)=x\), Definition 3 can be obtained.
-
(iii)
By setting \(g(x)=x\) and \(k=1\), Definition 2 can be obtained.
-
(iv)
By setting \(g(x)=\frac{x^{\rho }}{\rho }\), \(\rho >0\) and \(k=1\), the definition of the Katugampola fractional integrals given in [3] can be obtained.
-
(v)
By setting \(g(x)=\frac{(x)^{\tau +s}}{\tau +s}\) and \(k=1\), the definition of the generalized conformable fractional integrals defined by Khan et al. in [13], can be obtained.
-
(vi)
By setting \(g(x)=\frac{(x-a)^{s}}{s}\), \(s>0\) in (1.9) and \(g(x)=-\frac{(b-x)^{s}}{s}\), \(s>0\) in (1.10), the definition of the conformable \((k,s)\)-fractional integrals defined by Sidra et al. in [9] can be obtained.
-
(vii)
By setting \(g(x)=\frac{x^{1+s}}{1+s}\), the definition of the conformable fractional integrals defined by Sarikaya et al. in [18], can be obtained.
-
(viii)
By setting \(g(x)=\frac{(x-a)^{s}}{s}\), \(s>0\) in (1.9) and \(g(x)=-\frac{(b-x)^{s}}{s}\), \(s>0\) in (1.10) with \(k=1\), the definition of the conformable fractional integrals defined by Jarad et al. in [11], can be obtained.
Recently many authors have been working on the applications of fractional integral operators for inequalities point of view see the references [1, 3, 5,6,7,8, 12, 15, 21].
The aim of this paper is the study of fractional integral operators which have been analyzed by the researchers of this age, in the form of a compact fractional integral operator. This general and compact form of fractional integrals has been investigated via \((\alpha ,m)\)-convex function. In Sect. 2, the bounds of the sum of the left-sided and right-sided generalized k-fractional integrals defined in (1.9) and (1.10) are established by using \((\alpha ,m)\)-convex functions. These results provide all analogue results for fractional integrals which have been deduced in Remark 2. Furthermore, some of the results published in [4, 5, 7] have been obtained in particular. In Sect. 3, results of Sect. 2 are applied at end as well as mid points of the interval \([a,b]\) and in consequent some interesting implications have been obtained.
2 Main results
The first result of this section is stated in the following theorem.
Theorem 1
Let \(f,g:[a,b]\subset [0,\infty )\longrightarrow \mathbb{R}\), \(a< b\), be two functions such that g be differentiable and \(f\in L[a,b]\). Also let f be \((\alpha ,m)\)-convex and g be strictly increasing function on \([a,b]\) with \(g'\in L[a,b]\). Then, for \((\alpha ,m)\in [0,1]\times (0,1]\), the following estimation is valid:
for all \(x\in [a,b]\) and \(\mu ,\nu \geq k\).
Proof
Under given assumptions for the function g: for \(x \in [a,b]\); and \(t \in [a,x]\), \(\mu \geq k\), the following inequality holds true:
Since the identity
exists, by using \((\alpha ,m)\)-convexity of f, we have the following inequality:
From the inequalities in (2.2) and (2.3), one can get the following inequality:
By using (1.9) of Definition 5, and (1.3) of Definition 2, we get the estimation of the left sided fractional integral operator defined in (1.9),
Now for \(x\in [a,b]\), \(t\in [x,b]\) and \(\nu \geq 1\), the following inequality holds true:
By using \((\alpha ,m)\)-convexity of f, we have
By adopting the same way as we have done for (2.2) and (2.3), one can get from (2.6) and (2.7), the estimation of the right-sided fractional integral operator defined in (1.10),
Adding (2.5) and (2.8), the estimation of sum of left-sided and right-sided fractional integrals formulated in (2.1) can be obtained. □
Some implications of the above result are elaborated in the following.
Corollary 1
By setting \(\mu =\nu \) in (2.1), the following fractional integral inequality can be obtained:
Remark 3
-
(i)
If we put \((\alpha ,m)=(1,1)\) and \(k=1\) in (2.1), then [7, Theorem 1] can be obtained.
-
(ii)
If we put \(g(x)=x\), \((\alpha ,m)=(1,1)\) and \(k=1\) in (2.1), then [5, Theorem 1] can be obtained.
The next result is the modulus fractional integral inequality which is a generalization of some known results.
Theorem 2
Let \(f,g: [a,b]\subset [0,\infty ) \longrightarrow \mathbb{R}\), \(a< b\), be differentiable functions. Also let \(|f'|\) be \((\alpha ,m)\)-convex, and g be strictly increasing on \([a,b]\) with \(g'\in L[a,b]\). Then, for \((\alpha ,m)\in [0,1]\times (0,1]\), the following modulus inequality is valid:
for all \(x\in [a,b]\) and \(\mu ,\nu ,k>0\).
Proof
By using \((\alpha ,m)\)-convexity of \(|f'|\), we have
From (2.11), we have
Under given assumptions for the function g, the following inequality holds true:
for \(x\in [a,b]\); \(t\in [a,x]\) and \(\mu ,k>0\).
From inequalities in (2.12) and (2.13), one can has the following integral inequality:
The left hand side of inequality (2.14) is evaluated as follows:
Therefore inequality (2.14) takes the following form:
Also from (2.11), one can has
Adopting the same procedure as we did for (2.12), the following inequality holds:
From (2.15) and (2.17), the following modulus inequality can be obtained:
By using \((\alpha ,m)\)-convexity of \(|f'|\), we also have
Now for \(x\in [a,b]\); \(t\in [x,b]\) and \(\nu ,k>0\), the following inequality holds true:
By adopting the same way as we have done for (2.12), (2.13) and (2.16) one can get from (2.19) and (2.20) the following inequality:
From inequalities (2.18) and (2.21) via triangular inequality, the inequality in (2.10) can be obtained. □
Some implications of the above theorem are discussed in the following.
Corollary 2
By setting \(\mu =\nu \) in (2.10), the following fractional integral inequality can be obtained:
Remark 4
-
(i)
If we put \((\alpha ,m)=(1,1)\) and \(k=1\) in (2.10), then [7, Theorem 2] can be obtained.
-
(ii)
If we put \(g(x)=x\), \((\alpha ,m)=(1,1)\) and \(k=1\) in (2.10), then [5, Theorem 2] can be obtained.
We use the following lemma in the proof of the next result.
Lemma 1
Let \(f:[a,b]\subset [0,\infty )\rightarrow \mathbb{R}\) be an \((\alpha ,m)\)-convex function. If \(f(x)=f (\frac{a+b-x}{m} )\), then the following inequality is valid:
for all \(x\in [a,b]\) and \(m\in (0,1]\).
Proof
We have
It is given that f is \((\alpha ,m)\)-convex, therefore we have
Using the given condition \(f(x)=f (\frac{a+b-x}{m} )\) in the above inequality, the inequality in (2.22) can be obtained. □
Theorem 3
Let \(f,g:[a,b]\subset [0,\infty )\longrightarrow \mathbb{R}\), \(a< b\), be two functions such that g be differentiable and \(f\in L[a,b]\). Also let f be \((\alpha ,m)\)-convex, \(f(x)=f (\frac{a+b-x}{m} )\) and g be strictly increasing on \([a,b]\) with \(g'\in L[a,b]\). Then, for \((\alpha ,m)\in [0,1]\times (0,1]\), the following estimation of Hadamard type is valid:
for all \(x\in [a,b]\) and \(\mu ,\nu ,k>0\).
Proof
Under given assumptions for the function g, the following inequality holds true:
for \(x \in [a,b]\) and \(\nu ,k>0\). Since the identity
exists therefore, by using \((\alpha ,m)\)-convexity of f, we have
From inequalities in (2.26) and (2.27), one has the following inequality:
By using (1.10) of Definition 5, and (1.4) of Definition 2, we get
Now for \(x\in [a,b]\); \(t\in [x,b]\) and \(\mu ,k>0\), the following inequality holds true:
By adopting the same way as we have done for (2.26) and (2.27), one can get from (2.27) and (2.29), the following inequality:
Adding inequalities in (2.28) and (2.30), we get the following inequality:
On the other hand multiplying (2.22) with \((g(x)-g(a))^{\frac{ \nu }{k}}g'(x)\), then integrating over \([a,b]\), we have
By using (1.10) of Definition 5, we get
Similarly, multiplying (2.22) with \((g(b)-g(x))^{\frac{\mu }{k}}g'(x)\), then integrating over \([a,b]\), we have
From inequalities in (2.33) and (2.34), we get the following inequality:
Combining inequalities (2.31) and (2.35), we get inequalities in (2.25). □
Corollary 3
By setting \(\mu =\nu \) in (2.25), the following fractional integral inequality can be obtained:
Remark 5
3 Applications
In this section we give applications of the results proved in the previous section. First we apply Theorem 1 and get the following result.
Theorem 4
Under the assumptions of Theorem 1, we have
Proof
Setting \(x=a\) and \(x=b\) in (2.1), respectively, then adding the resulting inequalities, (3.1) can be obtained. □
Corollary 4
By setting \({\mu }={\nu }\) in (3.1), the following fractional integral inequality can be obtained:
Corollary 5
By setting \(\mu =1\), \((\alpha ,m)=(1,1)\) and \(g(x)=x\) in (3.2), the following integral inequality can be obtained:
Remark 6
By setting \((\alpha ,m)=(1,1)\) and \(k=1\) in (3.1), [7, Theorem 4] can be obtained.
Next we apply Theorem 2 and obtain the following modulus inequalities.
Theorem 5
Under the assumptions of Theorem 2, we have
Proof
If we put \(x=\frac{a+b}{2}\) in (2.10), then the resulting inequality (3.4) can be obtained. □
Corollary 6
By setting \({\mu }={\nu }\) in (3.4), the following fractional integral inequality can be obtained:
Corollary 7
By setting \(\mu =1\), \((\alpha ,m)=(1,1)\) and \(g(x)=x\) in (3.5), the following integral inequality can be obtained:
Remark 7
-
(i)
By setting \((\alpha ,m)=(1,1)\) and \(k=1\) in (3.4), [7, Theorem 5] can be obtained.
-
(ii)
If \(f'\) passes through \(x=\frac{a+b}{2}\), then from (3.6) we get [4, Theorem 2.2]. If \(f'(x)\leq 0\), then (3.6) gives the refinement of [4, Theorem 2.2].
Remark 8
By applying Theorem 3 similar relations can be established; we leave these for the reader.
3.1 Concluding remarks
This research investigates fractional integral inequalities, which provide the bounds of a compact form of classical fractional integral. A modulus fractional integral inequality for this compact fractional integral operator is studied. Moreover, bounds of Hadamard type of this classical fractional integral operator are obtained. It is interesting that all results of this paper are obtainable at once in particular for present-day fractional integral operators which are comprised in Remark 2. In the future the authors are interested in further estimations of generalized integral operators for other related classes of functions.
References
Akkurt, A., Yildirim, M.E., Yildirim, H.: On some integral inequalities for \((k,h)\)-Riemann–Liouville fractional integral. New Trends Math. Sci. 4(1), 138–146 (2016)
Bakula, M.K., Özdemir, M.E., Pečarić, J.: Hadamard-type inequalities for m-convex and \((\alpha ,m)\)-convex functions. J. Inequal. Pure Appl. Math. 9(4), Article ID 96 (2007)
Chen, H., Katugampola, U.N.: Hermite–Hadamard and Hermite–Hadamard–Fejér type inequalities for generalized fractional integrals. J. Math. Anal. Appl. 446, 1274–1291 (2017)
Dragomir, S.S., Agarwal, R.P.: Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett. 11(5), 91–95 (1998)
Farid, G.: Some Riemann–Liouville fractional integral inequalities for convex functions. J. Anal. (2018). https://doi.org/10.1007/s41478-0079-4
Farid, G., Khan, K.A., Latif, N., Rehman, A.U., Mehmood, S.: General fractional integral inequalities for convex and m-convex functions via an extended generalized Mittag-Leffler function. J. Inequal. Appl. 2018, 243 (2018)
Farid, G., Nazeer, W., Saleem, M.S., Mehmood, S., Kang, S.M.: Bounds of Riemann–Liouville fractional integrals in general form via convex functions and their applications. Mathematics 2018(6), 248 (2018)
Farid, G., Rehman, A.Ur., Mehmood, S.: Hadamard and Fejér–Hadamard type integral inequalities for harmonically convex functions via an extended generalized Mittag-Leffler function. J. Math. Comput. Sci. 8(5), 630–643 (2018)
Habib, S., Mubeen, S., Naeem, M.N.: Chebyshev type integral inequalities for generalized k-fractional conformable integrals. J. Inequal. Spec. Funct. 9(4), 53–65 (2018)
Iscan, I., Kadakal, H., Kadakal, M.: Some new integral inequalities for functions whose nth derivatives in absolute value are \((\alpha ,m)\)-convex functions. New Trends Math. Sci. 5(2), 180–185 (2017)
Jarad, F., Ugurlu, E., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017, 247 (2017)
Kang, S.M., Farid, G., Nazeer, W., Mehmood, S.: \((h,m)\)-convex functions and associated fractional Hadamard and Fejér–Hadamard inequalities via an extended generalized Mittag-Leffler function. J. Inequal. Appl. 2019, 78 (2019)
Khan, T.U., Khan, M.A.: Generalized conformable fractional operators. J. Comput. Appl. Math. 346, 378–389 (2019)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, New York (2006)
Kwun, Y.C., Farid, G., Nazeer, W., Ullah, S., Kang, S.M.: Generalized Riemann–Liouville k-fractional integrals associated with Ostrowski type inequalities and error bounds of Hadamard inequalities. IEEE Access 6, 64946–64953 (2018)
Mihesan, V.G.: A Generalization of the Convexity. Seminar on Functional Equations, Approx. and Convex. Cluj-Napoca, Romania (1993)
Mubeen, S., Habibullah, G.M.: k-fractional integrals and applications. Int. J. Contemp. Math. Sci. 7, 89–94 (2012)
Sarikaya, M.Z., Dahmani, M., Kiris, M.E., Ahmad, F.: \((k, s)\)-Riemann–Liouville fractional integral and applications. Hacet. J. Math. Stat. 45(1), 77–89 (2016)
Set, E., Sardari, M., Özdemir, M.E., Rooin, J.: On generalizations of the Hadamard inequality for \((\alpha ,m)\)-convex functions. RGMIA Res. Rep. Collect. 12(4), Article ID 4 (2009)
Sun, W., Liu, Q.: New Hermite–Hadamard type inequalities for \((\alpha ,m)\)-convex functions and applications to special means. J. Math. Inequal. 11(2), 383–397 (2017)
Ullah, S., Farid, G., Khan, K.A., Waheed, A., Mehmood, S.: Generalized fractional inequalities for quasi-convex functions. Adv. Differ. Equ. 2019, 15 (2019)
Acknowledgements
We thank the editor and referees for their careful reading and valuable suggestions to make the article friendly readable. The research work of Ghulam Farid is supported by Higher Education Commission of Pakistan under NRPU 2016, Project.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors have equally made contributions in this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
It is declared that the authors have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kang, S.M., Farid, G., Waseem, M. et al. Generalized k-fractional integral inequalities associated with \((\alpha ,m)\)-convex functions. J Inequal Appl 2019, 255 (2019). https://doi.org/10.1186/s13660-019-2206-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2206-4