(p, h)-Convex Functions Associated with Hadamard and Fejér-Hadamard Inequalities via k-Fractional Integral Operators
Abstract
In this article, generalized versions of the k-fractional Hadamard and Fejér-Hadamard inequalities are constructed. To obtain the generalized versions of these inequalities, k-fractional integral operators including the well-known Mittag-Leffler function are utilized. The class of (p, h)-convex functions for Hadamard-type inequalities give the generalizations of results which have been proved in literature for p-convex, h-convex, and several functions deducible from these two classes.
1. Introduction
The subject of fractional calculus which includes the study of fractional-order integrals and derivatives has become a very prominent research topic in recent years. It has got the attention of researchers working in almost all fields of science and engineering. Integral operators are a very important part of fractional calculus; they play an important role in the mathematical treatment of different kinds of real-world problems. In the theory of mathematical inequalities, fractional integral operators appeared as a tool for the generalizations of classical inequalities. In the last two decades, a lot of such generalizations have been published by several authors.
Iscan and Wu [1] have generalized Hermite-Hadamard inequalities for harmonically convex functions by applying fractional integrals. Akkurt et al. [2] have obtained inequalities for (k − h)-Riemann-Liouville fractional integrals with the aid of synchronous and monotonic functions. Mubeen and Habibullah [3] have introduced k-analogue of Riemann-Liouville fractional integrals which are used for establishing k-fractional versions of well-known inequalities. A study of k-fractional integrals has been presented by Tunç et al. in [4], and fractional inequalities have been proved. Farid et al. in [5] demonstrated some novel Fejér-Hadamard and Hadamard inequalities for harmonically convex functions by using fractional integrals containing the Mittag-Leffler function.
Kunt and Iscan [6] presented Hermite-Hadamard-Fejér-type inequalities for p-convex functions using fractional integrals. Rashid et al. [7] demonstrated the Hadamard and the Fejér-Hadamard-type inequalities for the generalized fractional integral operator involving Mittag-Leffler functions for preinvexity and m-preinvexity. Klnç et al. [8] proved Hadamard and Fejér-Hadamard inequalities for (h, m)-strongly convex functions via generalized fractional integrals with Mittag-Leffler functions. Jia et al. [9] demonstrated new types of Hadamard and Fejér-Hadamard fractional integral inequalities for Riemann-Liouville fractional integrals. Yussouf et al. [10] presented generalized types of Hadamard and Fejér-Hadamard-type fractional integral inequalities by utilizing generalized fractional integrals including Mittag-Leffler functions. Faisal et al. [11] proved new Hermite-Hadamard-Jensen-Mercer-type inequalities for convex functions by using Riemann-Liouville fractional integrals. The other recent studies in this area were presented by Zhao et al. [12–14] and Chu et al. [15].
The purpose of this article is to investigate the Hadamard and the Fejér-Hadamard-type inequalities for (p, h)-convex functions via generalized k-fractional integrals including Mittag-Leffler functions. Inequalities for several kinds of convex functions are special cases of results of this paper. Also, several new inequalities can be deduced from presented results in specific settings. First, we give definitions of integral operators and some results which will set the foundation for this article.
Definition 1 (see [16].)Let w, α, l, γ, c, ∈ℂ, and with . Also, let σ ∈ L1[ε, v] and ζ ∈ [ε, v]. In that case, the generalized fractional operators and are defined by
Definition 2 (see [16].)Let σ, ς : [ε, υ]⟶ℝ with 0 < ε < υ be the functions such that σ is positive and σ ∈ L1[ε, υ] and ς be differentiable and absolutely increasing. Also, let ϕ/ζ be an increasing function on [ε, ∞), and γ, c, w, α, l, ∈ℂ, with , and 0 < v ≤ μ + δ. In that case, for ζ ∈ [ε, υ], the fractional operators are defined by
Definition 3 (see [17].)Let σ, ς : [ε, υ]⟶ℝ with 0 < ε < υ be the functions such that σ is positive and σ ∈ L1[ε, υ] and ς be differentiable and absolutely increasing. Also, let w, γ, c, α, l, ∈ℂ and with and 0 < v ≤ μ + δ. In that case, for ζ ∈ [ε, υ], the unified integral operators are defined by
Recently, Yue et al. [18] described generalized k-fractional operators including the further extension of the Mittag-Leffler function as noted below.
Definition 4. Let σ, ς : [ε, υ]⟶ℝ with 0 < ε < υ be the functions such that σ be positive and σ ∈ L1[ε, υ] and ς be differentiable and absolutely increasing. Let α > k and γ, c, w, α, l, ∈ℝ, α, l > 0, and c > γ > 0, with and 0 < v ≤ μ + δ. In that case, for ζ ∈ [ε, υ], the left-right generalized k-fractional operators and are defined by
Next, we define convex and related functions.
Definition 5 (see [19].)A function σ : [ε, υ]⟶ℝ is said to be convex, if
Definition 6 (see [20].)Let I ⊂ (0, ∞) be a real interval and p ∈ ℝ\{0}. A function σ : I⟶ℝ is said to be a p-convex function, if
Definition 7 (see [6].)Let p ∈ ℝ\{0}. In that case, a function σ : [ε, υ] ⊂ (0, ∞)⟶ℝ is called p-symmetric in accordance with , if
Definition 8 (see [21].)Let h : J⟶ℝ be a nonnegative and nonzero function and p ∈ ℝ\{0}. We say that σ : I⟶ℝ is a (p, h)-convex function, if σ is nonnegative and
Remark 9.
- (i)
By taking h(t) = t in Definition 8, we obtain the definition of p-convex function
- (ii)
By taking h(t) = t and p = 1 in Definition 8, we obtain the definition of convex function
- (iii)
By taking h(t) = ts and p = 1 in Definition 8, we obtain the definition of s-convex function
- (iv)
By taking h(t) = t−1 and p = 1 in Definition 8, we obtain the definition of Godunova-Levin-type convex function
- (v)
By taking p = 1 in Definition 8, we obtain the definition of h-convex function
- (vi)
By taking h(t) = 1 and p = 1 in Definition 8, we obtain the definition of p-function
The following inequality is the well-known Hadamard inequality.
Theorem 10 (see [22].)Let σ : [ε, υ]⟶ℝ be a convex function for ε < υ. Then, the following inequality holds:
The Fejér-Hadamard inequality is a weighted type of the Hadamard inequality presented by Fejér in [23].
Theorem 11. Let σ : [ε, υ]⟶ℝ be a convex function and ς : [ε, υ]⟶ℝ be nonnegative, integrable, and symmetric with respect to ((ε + υ))/2. In that case, the below inequality takes:
For other classes of functions defined after motivating from convex function, the above inequalities have been studied extensively (see [1, 5, 6, 24–26]).
In the upcoming section, first, we construct the Hadamard inequality for (p, h)-convex function via generalized k-fractional integrals. Then, an identity is used to construct the Fejér-Hadamard inequality for (p, h)-convex function via generalized k-fractional integrals. After, another version of the Hadamard inequality and the Fejér-Hadamard inequality is presented. Moreover, the presented results generalize many already published results.
2. k-Fractional Integral Inequalities of Hadamard and Fejér-Hadamard Type
The generalized k-fractional Hadamard inequality is stated and proved in the following theorem.
Theorem 12. Let h : J⟶ℝ be nonnegative, nonzero, and integrable function. Also, let σ, ς : [ε, υ]⟶ℝ with 0 < ε < υ be the functions such that σ is positive and σ ∈ L1[ε, υ], and ς is differentiable and absolutely increasing. If σ is (p, h)-convex, and p ∈ R\{0}, in that case, the below inequalities for k-fractional operators (6) and (7) occur:
- (i)
If p > 0, in that case,
- (ii)
If p < 0, in that case,
Proof. We demonstrate claim (i) as noted below:
- (i)
Since σ is (p, h)-convex function on [ε, υ], for ζ, η ∈ I, we get
Taking and in the above inequality, we get
Multiplying both sides of (17) by and integrating over [0, 1], we get
By choosing ς(ζ) = tςp(ε) + (1 − t)ςp(υ) and ς(η) = tςp(υ) + (1 − t)ςp(ε) in (18), we get
By utilizing k-fractional operators (6) and (7), the first side of (14) is acquired.
Now, to demonstrate the second side of (14), once again, (p, h)-convexity of f over [ε, υ], and for t ∈ [0, 1], we get
Multiplying both sides of (20) by and integrating over [0, 1], we get
Taking ς(ζ) = tςp(ε) + (1 − t)ςp(υ) and ς(η) = tςp(υ) + (1 − t)ςp(ε) in (21), in that case, by utilizing k-fractional operators (6) and (7), the second side of (14) is acquired.
- (ii)
Proof is the same as the proof of (i)
Corollary 13. By utilizing (14) and (15), some more k-fractional inequalities are offered as noted below:
- (i)
By choosing ς = I and , we acquire
- (ii)
By choosing ς = I, , we acquire
- (iii)
By choosing p = −1 and ς = I, we acquire
- (iv)
By choosing p = −1, , and ς = I, we acquire
- (v)
By choosing p = −1, we acquire
Remark 14. The well-known k-fractional inequalities are further noted as below:
- (i)
By choosing h(t) = t and k = 1 in Corollary 13 (i), Theorem 9 of [6] is acquired
- (ii)
By choosing h(t) = t and k = 1 in Corollary 13 (ii), Theorem 2.1 of [24] is acquired
- (iii)
By choosing h(t) = t and k = 1 in Corollary 13 (iii), Theorem 2.1 of [5] is acquired
- (iv)
By choosing h(t) = t and k = 1 in Corollary 13 (iv), Theorem 4 of [1] is acquired
- (v)
By choosing h(t) = t and k = 1 in Corollary 13 (v), Theorem 2.1 of [27] is acquired
The below lemma is beneficial to offer the Fejér-Hadamard inequality for generalized k-fractional integrals.
Lemma 15 (see [18].)Let σ, ς : [ε, υ]⟶ℝ with 0 < ε < υ be the functions such that σ is positive and σ ∈ L1[ε, υ], and ς is differentiable and absolutely increasing. If p ∈ R\{0} and , in the case for generalized k-fractional operators (6) and (7), we have
- (i)
If p > 0, in that case,
- (ii)
If p < 0, in that case,
The Fejér-Hadamard inequality for generalized k-fractional integrals is stated and proved in the following theorem.
Theorem 16. Let h : J⟶ℝ be a nonnegative and nonzero function. Also, let σ, ς, r : [ε, υ]⟶ℝ, 0 < ε < υ, be the functions such that σ is positive and σ ∈ L1[ε, υ], ς is differentiable and absolutely increasing, and r is a nonnegative and integrable function. If σ is (p, h)-convex with p ∈ R\{0}, and , then the following inequalities for generalized k-fractional integral operators (6) and (7) hold:
- (i)
If p > 0, in that case,
- (ii)
If p < 0, in that case,
Proof. We demonstrate claim (i) as noted below:
- (i)
Multiplying both sides of (17) by and then integrating over [0, 1], we have
By choosing ς(x) = tςp(ε) + (1 − t)ςp(υ), that is, ςp(ε) + ςp(υ) − ς(ζ) = tςp(υ) + (1 − t)ςp(ε), in (31) and using , we have
This implies
By using Lemma 15 (i) in the above inequality, we get the first inequality of (29).
Now, to demonstrate the second side of (29), multiplying both sides of (20) with , and next integrating over [0, 1], we obtain
Setting ς(ζ) = tςp(ε) + (1 − t)ςp(υ) and using in (34), we have
By utilizing Lemma 15 (i) in the above inequality, we get the second side of (29).
- (ii)
The proof is similar to the proof of (i)
Corollary 17. By utilizing (29) and (30), some more k-fractional inequalities are offered as noted below:
- (i)
By choosing ς = I and , we acquire
- (ii)
By choosing ς = I and , we acquire
- (iii)
By choosing , r(ζ) = 1, ς = I, and p = −1, we acquire
- (iv)
By choosing ς = I, p = −1, and r(ζ) = 1, we acquire
- (v)
By choosing , r(ζ) = 1, p = −1, and ς = I, we acquire
- (vi)
By choosing p = −1, we acquire
Remark 18. The mentioned k-fractional inequalities are further connected with foreknown conclusions as noted below:
- (i)
By setting h(t) = t and k = 1 in Corollary 17 (ii), Theorem 9 of [6] is obtained
- (ii)
By setting h(t) = t and k = 1 in Corollary 17 (iii), Theorem 2.1 of [24] is obtained
- (iii)
By setting h(t) = t and k = 1 in Corollary 17 (iv), Theorem 2.1 of [5] is obtained
- (iv)
By setting h(t) = t and k = 1 in Corollary 17 (v), Theorem 4 of [1] is obtained
- (v)
By setting h(t) = t and k = 1 in Corollary 17 (vi), Theorem 2.5 of [27] is obtained
In the next theorem, we offer another type of the Hadamard inequality.
Theorem 19. Let h : J⟶ℝ is a nonnegative and nonzero function. Also, let σ, ς : [ε, υ]⟶ℝ, 0 < ε < υ, be the functions such that σ is positive and σ ∈ L1[ε, υ] and ς is differentiable and absolutely increasing. If σ is (p, h)-convex, p ∈ R\{0}, then for generalized k-fractional integral operators (6) and (7), we have the following:
- (i)
If p > 0, in that case,
- (ii)
If p < 0, in that case,
Proof. We demonstrate claim (i) as noted below:
- (i)
Choosing and in (16), we have
Multiplying both sides of (44) by and then integrating over [0, 1], we have
By choosing and in (45), then by using k-fractional integral operators (6) and (7), the first inequality of (42) is obtained.
Now, to demonstrate the second side of (42), once again (p, h)-convexity of σ over [ε, υ] and for t ∈ [0, 1], we obtain
Multiplying both sides of (46) by and then integrating over [0, 1], we have
Choosing ς(ζ) = (t/2)ςp(ε) + (2 − t/2)ςp(υ) and ς(η) = (t/2)ςp(υ) + (2 − t/2)ςp(ε) in (47) and by utilizing k-fractional operators (6) and (7), the second side of (42) is acquired.
- (ii)
Proof is the same as the proof of (i)
Corollary 20. By utilizing (42) and (43), some more k-fractional inequalities are offered as noted below:
- (i)
By choosing ς = I and , we acquire
- (ii)
By choosing p = −1 and ς = I, we acquire
- (iii)
By choosing p = −1, we acquire
Remark 21. The mentioned k-fractional inequalities are farther connected with foreknown conclusions as noted below:
The second type of the Fejér-Hadamard inequality for generalized k-fractional integrals is given as noted below.
Theorem 22. Let h : J⟶ℝ be a nonnegative and nonzero function. Also, let σ, ς, r : [ε, υ]⟶ℝ with 0 < ε < υ be the functions such that σ is positive and σ ∈ L1[ε, υ], ς is differentiable and absolutely increasing, and r is a nonnegative and integrable function. If σ is (p, h)-convex, p ∈ R\{0} and , then the following inequalities for generalized k-fractional integral operators (6) and (7) hold:
- (i)
If p > 0, in that case,
- (ii)
If p < 0, in that case,
Proof. We demonstrate the first claim as noted below:
- (i)
Multiplying (44) by and then integrating over [0, 1], we have
By choosing ς(ζ) = (t/2)ςp(ε) + (2 − t/2)ςp(υ) and ς(η) = (t/2)ςp(υ) + (2 − t/2)ςp(ε), that is, ςp(ε) + ςp(υ) − ς(ζ) = (t/2)ςp(υ) + (2 − t/2)ςp(ε), in (53), in that case, by utilizing and k-fractional integral operators (6) and (7), the first side of (51) is obtained.
Now, to demonstrate the second side of (51), multiplying both sides of (46) with and integrating over [0, 1], we obtain
By choosing ς(ζ) = (t/2)ςp(ε) + (2 − t/2)ςp(υ) and ς(η) = (t/2)ςp(υ) + (2 − t/2)ςp(ε), that is, ςp(ε) + ςp(υ) − ς(ζ) = (t/2)ςp(υ) + (2 − t/2)ςp(ε), in (54), then by using and k-fractional integral operators (6) and (7), the second inequality of (51) is acquired.
- (ii)
Proof is the same as the proof of (i)
Corollary 23. By utilizing (51) and (52), some more k-fractional inequalities are offered as noted below:
- (i)
By choosing ς = I and , we acquire
- (ii)
By choosing p = −1 and ς = I, we acquire
- (iii)
By choosing p = −1, we acquire
Remark 24. The well-known k-fractional inequalities are further noted as below:
3. Conclusion
In this article, generalized versions of k-fractional Hadamard and Fejér-Hadamard inequalities are presented. To obtain these inequalities, k-fractional integral operators including the Mittag-Leffler function have been used for (p, h)-convex functions. Many published results in the literature are directly connected with the findings of this paper. Some corollaries have been formulated as new k-fractional Hadamard and Fejér-Hadamard inequalities.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
The study was funded by the Science & Technology Bureau of Chengdu 2020-YF09-00005-SN supported by the Sichuan Science and Technology program 2021YFH0107 Erasmus+ SHYFTE Project 598649-EPP-1-2018-1-FR-EPPKA2-CBHE-JP.
Open Research
Data Availability
There is no data required for this paper.