Some New Fractional Inequalities Involving Convex Functions and Generalized Fractional Integral Operator
Abstract
In this manuscript, we are getting some novel inequalities for convex functions by a new generalized fractional integral operator setting. Our results are established by merging the (k, s)-Riemann-Liouville fractional integral operator with the generalized Katugampola fractional integral operator. Certain special instances of our main results are considered. The detailed results extend and generalize some of the present results by applying some special values to the parameters.
1. Introduction
The relation (1) has stood out for some researchers because of the different applications in numerical quadrature, statistical problems, probability, and transform theory. Among those applications, the relation (1) was utilized to yield various integral inequalities (see, e.g., [2–6], for extremely late work, see additionally [7–10]).
Since one of the primary inspiration points of fractional analysis is getting more general and valuable fundamental integral operators, the generalized fractional integral operator is a decent tool to sum up numerous past investigations and results, see [15–18]. Essentially, in inequality theory, scientists utilize such broad operators to generalize and extend their inequalities.
Lately, these fractional integral operators have been considered and used to broaden particularly Grüss, Chebychev-Grüss, Pólya-Szegö, Gronwall, Minkowski, and Hermite-Hadamard type inequalities. For additional subtleties, Agarwal [19] proved some fractional integral inequalities with Hadamard’s fractional integral operators. Ntouyas et al. [20] established certain Chebyshev type inequalities involving Hadamard’s fractional integral operators. Some Grüss type inequalities under k-Riemann-Liouville fractional integral operators have been investigated by Set et al. [21]. In [22], the authors introduced some Pólya-Szegö type inequalities by Hadamard k-fractional integral operators. A new version for the Gronwall type inequality involving generalized proportional fractional integral operators was presented by Alzabut et al. [23]. Rahman et al. [24] established reverse Minkowski inequalities with generalized proportional fractional integral operators. Many Chebyshev type inequalities with generalized conformable fractional integral operators have been discussed by Nisar et al. [25].
In this regard, Dahmani [26] established some new inequalities for convex functions involving Riemann-Liouville fractional integral operator. Jleli et al. [27] obtained new Hermite-Hadamard type inequalities for convex functions via generalized fractional integral operators. Some Hermite-Hadamard type inequalities for (k, s)-Riemann-Liouville fractional integral operators were obtained by Agarwal et al. [28]. The authors in [29] established certain Polya-Szego type inequalities involving generalized Katugampola fractional integral operator.
Motivated by the above works and discussions, in this manuscript, we establish certain novel inequalities for convex functions under a new generalized fractional integral operator which integrates the two proposed fractional integral operators in [30, 31]. Moreover, we consider certain special cases of our main results. The results obtained extend and generalize some of the existing results by substituting some parameters.
The manuscript is marshaled as follows: Section 2 presents some main definitions and results. The acquired results are presented in Section 3. The last section concludes the manuscript.
2. Preliminaries
Let us first present the essential definitions and properties of fractional analysis that will be frequently used in this study.
Definition 1 (see [15].)The right and left-sided Riemann-Liouville fractional integral operators of order α > 0 of u ∈ L1[a, b] are defined by
Definition 2 (see [30].)For >0, k > 0, and s ∈ ℝ\{−1}, the left-sided (k, s)-Riemann-Liouville fractional integral operator is defined as
Definition 3 (see [31].)For α, ρ > 0, and β, η, r ∈ ℝ, the left-sided generalized Katugampola fractional integral operator is defined as
The subsequent important results have been established by Liu et al. [32].
Theorem 4 (see [32].)Let u and v be two positive continuous functions with u ≤ v on . Assume that the functions u/v and u are decreasing and increasing, respectively. If the function Ω is a convex with Ω(0) = 0, then
Theorem 5 (see [32].)Let u, z, and v be positive continuous functions with u ≤ v on Let also u, z are increasing functions and u/v is a decreasing function. If the function Ω is a convex with Ω(0) = 0, then
3. Main Results
In this section, we will establish some new tolerances for the convex functions under a new fractional integral operator which combine together the two operators proposed in [30, 31].
Definition 6. Let α > 0, k > 0, s > −1, and β, η, r ∈ ℝ. Then, the generalized fractional integral operator of order α for a continuous function u is defined as
Remark 7.
- (1)
Setting k = 1, s = ρ − 1 in Eq. (16), the fractional integral operator Eq. (16) reduces to the generalized Katugampola fractional integral operator defined by Eq. (13)
- (2)
Setting α = β, r = 0, and η = 0 in Eq. (16), the fractional integral operator Eq. (16) reduces to the generalized fractional integral operator defined by Eq. (12)
- (3)
Setting k = 1, α = β, r = 0, η = 0, and s⟶−1 in Eq. (16), with L’Hôpital’s rule, the fractional integral operator Eq. (16) reduces to the Hadamard fractional integral operator, namely,
- (4)
Setting k = 1, β = 0, s = ρ − 1, and r = −ρ(η + α), in Eq. (16), the fractional integral operator Eq. (16) reduces to the Erdélyi-Kober fractional integral operator (see [15])
- (5)
Setting α = β, r = 0, η = 0, and s = 0 in Eq. (16), the fractional integral operator Eq. (16) reduces to the k-Riemann-Liouville fractional integral operator, i.e.,
- (6)
Setting k = 1, α = β, r = 0, η = 0, and s = 0 in Eq. (16), the fractional integral operator Eq. (16) reduces to the Riemann-Liouville fractional integral operator defined by
Now, we are ready to provide the inequalities for convex functions by using the considered fractional integral operator defined by Eq. (16).
Theorem 8. Let u and v be positive continuous functions with u ≤ v on . If u and u/v are increasing and decreasing on , respectively, then for any convex function Ω with Ω(0) = 0, we have
Proof. By the hypotheses of theorem, Ω is convex with Ω(0) = 0. Then the function Ω(x)/x is increasing. Since u is an increasing function, thus, Ω(u(x))/u(x) is an increasing function too.
Obviously, u(x)/v(x) is a decreasing function. Therefore, for each , we have
It follows that
Multiplying Eq. (22) by v(ζ)v(ξ), we obtain
Multiplying Eq. (23) by ζ(s + 1)η+s and integrating Eq. (23) with respect to ζ over [a, x], a < x ≤ b, we get
Hence
Again, multiplying Eq. (25) by ξ(s + 1)η+s and integrating Eq. (25) with respect to ξ over [a, x], a < x ≤ b, we obtain
Consequently, we have
Since u(x) ≤ v(x) for all and the function Ω(x)/x is an increasing, thus, for ζ ∈ a, x], a < x ≤ b, we have
Multiplying both sides of Eq. (28) by then integrating with respect to ζ over [a, x], a < x ≤ b, we get
As per Eq. (16) can be written Eq. (29) as follows
Hence, from Eq. (27) and Eq. (30), we obtain the desired result Eq. (20).
Remark 9.
- (i)
When = 1, α = β, r = 0, η = 0, and s = 0 in Theorem 8, we get the result (Theorem 3.1) proved by Dahmani [26].
- (ii)
When α = β = 1, k = 1, r = η = s = 0, and x = b in Theorem 8, we recapture Theorem 4
- (iii)
In Theorem 8, if we replace the operator with the generalized proportional fractional integral operator, then, we obtain the result (Theorem 3.1) proved by Neamah and Ibrahim [33].
Theorem 10. Let u and v be positive continuous functions with u ≤ v on . If u is increasing and u/v is decreasing on , then for any convex function Ω with Ω(0) = 0, we have
Proof. Thanks to the hypotheses of theorem, Ω is convex with Ω(0) = 0. Thus, Ω(x)/x is an increasing function. Furthermore, since u is increasing function, the function Ωu(x)/u(x) is increasing. Distinctly, u(x)/v(x) is decreasing function. Thus, by multiplying Eq. (25) by and integrating the nascent identity with respect to ξ over [a, x], a < x ≤ b, we obtain
Consequently, the inequalities Eq. (30) and Eq. (32) give the inequality Eq. (31).
Remark 11.
Theorem 12. Let u, z, and v be three positive continuous functions and u ≤ v on If u/v is decreasing, u and z are increasing, and Ω is convex function with Ω(0) = 0. Then
Proof. In view of conditions of theorem, Ω is convex with Ω(0) = 0. Thus, Ω(x)/x is increasing. Besides, from the increasing of u, Ω(u(x))/u(x) is increasing. Obviously, the function u(x)/v(x) is decreasing. So, for all ζ, ξ ∈ a, x] and a < x ≤ b, we have
Then,
Multiplying Eq. (35) by then integrating the resulting inequality with respect to ζ over [a, x], a < x ≤ b, we get
Hence,
With the same arguments as above for Eq. (37), we obtain
It follows that
Further, since u ≤ v on then using fact that the function Ω(x)/x is increasing, we can write
By some previously repeated procedure, the inequality Eq. (40) leads to
Given Eq. (16), the inequality Eq. (41) can be written as
Therefore, from Eq. (42) and Eq. (39), we get Eq. (33), which completes the proof.
Remark 13.
Theorem 14. Let u, z, and v be three positive continuous functions and u ≤ v on . If u/v is decreasing, u and z are increasing on , and Ω is convex function such that Ω(0) = 0. Then, we have
Proof. Applying ξ(s + 1)η+s on both sides of Eq. (37), then integrating the resulting inequality with respect to ξ over [a, x], a < x ≤ b, we get
Since u ≤ v on then using fact that the function Ω(x)/x is increasing, we have
Multiplying Eq. (45) by
Following similar arguments as mentioned earlier, we conclude that
Hence, by virtue of Eq. (44), Eq. (47), and Eq. (48), we obtain Eq. (43). Thus, the proof is completed.
4. Conclusions
In this work, we have established certain Pólya-Szegö inequalities by using convex functions under a new generalized fractional integral operator. More precisely, some new results have been established by merging the (k, s)-Riemann-Liouville fractional integral operator with the generalized Katugampola fractional integral operator. Moreover, we have introduced several new special results that cover many classical fractional integral operators.
In future work, it will be very interesting to study the inequalities considered in this work under a more general fractional integral operator in terms of another function ψ, precisely, we hint to ψ(x) = xs+1, and this is what we will think about in the next work.
Conflicts of Interest
No conflicts of interest are related to this work.
Open Research
Data Availability
Data are available upon request.