Volume 2022, Issue 1 2350193
Research Article
Open Access

Some New Fractional Inequalities Involving Convex Functions and Generalized Fractional Integral Operator

Majid K. Neamah

Corresponding Author

Majid K. Neamah

Department of Mathematics, College of Sciences, University of Baghdad, Baghdad, Iraq uobaghdad.edu.iq

Department of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 Bangi, Selangor, Malaysia ukm.my

Search for more papers by this author
Alawiah Ibrahim

Alawiah Ibrahim

Department of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 Bangi, Selangor, Malaysia ukm.my

Search for more papers by this author
Hala Shaker Mehdy

Hala Shaker Mehdy

College of Education, Computer Science, Al-Mustansiriya University, Baghdad, Iraq uomustansiriyah.edu.iq

Search for more papers by this author
Saleh S. Redhwan

Saleh S. Redhwan

Department of Mathematics, Dr. Babasaheb Ambedkar Marathwada University, M.S, 431001, Aurangabad, India bamu.ac.in

Search for more papers by this author
Mohammed S. Abdo

Corresponding Author

Mohammed S. Abdo

Department of Mathematics, Hodeidah University, Al-Hudaydah, Yemen hoduniv.edu.ye

Search for more papers by this author
First published: 21 March 2022
Citations: 1
Academic Editor: Humberto Rafeiro

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

Chebyshev [1] presented the celebrated functional described by
(1)
where the functions f and g are integrable on [a, b]. If f and g are synchronous, i.e.,
(2)
for x1, x2 ∈ [a, b], then,  T(f, g) ≥ 0.

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., [26], for extremely late work, see additionally [710]).

There is one more appealing and useful inequality, namely, the Pólya-Szegö inequality [11], which establishes the essential key of motivation in our study, which we can indicate as follows
(3)
where mf(x) ≤ M and ng(x) ≤ N, for some m, M, n, N and for each
In [12], Dragomir and Diamond introduced the following Grüss type integral inequality
(4)
by the Pólya-Szegö result, here, 0 < mf(x) ≤ M < ∞ and 0 < ng(x) ≤ N < ∞, for
The next integral inequalities
(5)
(6)
have been proved by Ngo [13], where x > 0 and v are a positive continuous on [0, 1] such that
(7)
In this regard, Liu et al. [14] introduced the subsequent inequality
(8)
with
(9)
where μ, ν > 0 and v are a positive continuous on and ς = min(1, ν), for

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 [1518]. 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 uL1[a, b] are defined by

(10)
(11)

Definition 2 (see [30].)For >0, k > 0, and s\{−1}, the left-sided (k, s)-Riemann-Liouville fractional integral operator is defined as

(12)

Definition 3 (see [31].)For α, ρ > 0, and β, η, r, the left-sided generalized Katugampola fractional integral operator is defined as

(13)

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 uv on . Assume that the functions u/v and u are decreasing and increasing, respectively. If the function Ω is a convex with Ω(0) = 0, then

(14)

Theorem 5 (see [32].)Let u, z, and v be positive continuous functions with uv 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

(15)

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

(16)

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,

(17)
  • (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.,

(18)
  • (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

(19)

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 uv on . If u and u/v are increasing and decreasing on , respectively, then for any convex function Ω with Ω(0) = 0, we have

(20)
where α, β, a, η, r, s, k are as in Definition 6.

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

(21)

It follows that

(22)

Multiplying Eq. (22) by v(ζ)v(ξ), we obtain

(23)

Multiplying Eq. (23) by ζ(s + 1)η+s and integrating Eq. (23) with respect to ζ over [a, x], a < xb, we get

(24)

Hence

(25)

Again, multiplying Eq. (25) by ξ(s + 1)η+s and integrating Eq. (25) with respect to ξ over [a, x], a < xb, we obtain

(26)

Consequently, we have

(27)

Since u(x) ≤ v(x) for all and the function Ω(x)/x is an increasing, thus, for ζa, x], a < xb, we have

(28)

Multiplying both sides of Eq. (28) by then integrating with respect to ζ over [a, x], a < xb, we get

(29)

As per Eq. (16) can be written Eq. (29) as follows

(30)

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 uv on . If u is increasing and u/v is decreasing on , then for any convex function Ω with Ω(0) = 0, we have

(31)
where γ > 0 and α, β, a, η, r, s, k are as in Definition 6.

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 < xb, we obtain

(32)

Consequently, the inequalities Eq. (30) and Eq. (32) give the inequality Eq. (31).

Remark 11.

  • (i)

    Applying Theorem 10 for α = γ, we get Theorem 8

  • (ii)

    Applying Theorem 10 for = 1, α = β, r = 0, η = 0, and s = 0, we get the result (Theorem 8) proved by Dahmani [26].

  • (iii)

    Applying Theorem 10 for α = β = γ = 1, k = 1, r = η = s = 0, and x = b, we get Theorem 4

Theorem 12. Let u, z, and v be three positive continuous functions and uv on If u/v is decreasing, u and z are increasing, and Ω is convex function with Ω(0) = 0. Then

(33)

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 < xb, we have

(34)

Then,

(35)

Multiplying Eq. (35) by then integrating the resulting inequality with respect to ζ over [a, x], a < xb, we get

(36)

Hence,

(37)

With the same arguments as above for Eq. (37), we obtain

(38)

It follows that

(39)

Further, since uv on then using fact that the function Ω(x)/x is increasing, we can write

(40)

By some previously repeated procedure, the inequality Eq. (40) leads to

(41)

Given Eq. (16), the inequality Eq. (41) can be written as

(42)

Therefore, from Eq. (42) and Eq. (39), we get Eq. (33), which completes the proof.

Remark 13.

  • (1)

    Applying Theorem 12 for k = 1, α = β, and r = η = s = 0, we get the result (Theorem 10) proved by Dahmani [26]

  • (2)

    It is noteworthy that Theorem 5 is a special case of Theorem 12 when α = β = 1, k = 1, r = η = s = 0, and x = b

Theorem 14. Let u, z, and v be three positive continuous functions and uv on . If u/v is decreasing, u and z are increasing on , and Ω is convex function such that Ω(0) = 0. Then, we have

(43)

Proof. Applying ξ(s + 1)η+s on both sides of Eq. (37), then integrating the resulting inequality with respect to ξ over [a, x], a < xb, we get

(44)

Since uv on then using fact that the function Ω(x)/x is increasing, we have

(45)

Multiplying Eq. (45) by

(46)
then integration with respect to ζ over [a, x], a < xb, we obtain
(47)

Following similar arguments as mentioned earlier, we conclude that

(48)

Hence, by virtue of Eq. (44), Eq. (47), and Eq. (48), we obtain Eq. (43). Thus, the proof is completed.

Remark 15.

  • (i)

    Applying Theorem 14 for α = γ, we obtain Theorem 12

  • (ii)

    Applying Theorem 14 for k = 1, α = β = γ, and r = η = s = 0, we obtain Theorem 12 proved by Dahmani [26]

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.

Data Availability

Data are available upon request.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.