On Fractional Inequalities Using Generalized Proportional Hadamard Fractional Integral Operator

The main objective of this paper is to use the generalized proportional Hadamard fractional integral operator to establish some new fractional integral inequalities for extended Chebyshev functionals. In addition, we investigate some fractional integral inequalities for positive continuous functions by employing a generalized proportional Hadamard fractional integral operator. The findings of this study are theoretical but have the potential to help solve additional practical problems in mathematical physics, statistics, and approximation theory.


Introduction
Fractional calculus has a new orientation not only with respect to mathematics but also to physics, statistics, engineering, and other applied sciences. Its birth dates back to ancient times, and its development has been rapid in recent years, gaining new momentum, especially with the definition of new fractional integral and derivative operators. New fractional operators lead to useful applications and generalizations in the field, and their kernel structures and properties give them an advantage over classical derivative and integral operators.
Recently, many mathematicians have worked with slightly different fractional integral formulas. For example, see [1][2][3][4][5][6][7] for Riemann-Liouville fractional integral operators, [8] for Hadamard fractional integral operators, [9][10][11][12] for Saigo fractional integral operators, [13][14][15] for conformable fractional integral operators, [16][17][18] for generalized Katugampola fractional operators, and [19][20][21][22] for k-generalized (in terms of hypergeometric function) fractional integral operators. In [3,20], the authors investigated fractional integral inequalities for extended Chebyshev functionals by employing Riemann-Liouville and generalized k-fractional integral fractional integrals, respectively. Recently, many mathematicians have examined several kinds of fractional integral and derivative operators with different types of kernels, such as logarithmic kernels, non-singular exponential kernels, etc. During the past few years, numerous analyses of real-world problems, mathematical models, and numerical methods have been resolved by fractional derivatives and integrals [13,15,[23][24][25][26][27][28][29][30][31][32][33]. Anber et al. [34] presented some fractional integral inequalities similar to the Minkowski fractional integral inequality, using the Riemann-Liouville fractional integral. In [35], Panchal et al. studied weighted fractional integral inequalities using a generalized Katugampola fractional integral operator. In [36], Andric et al. proposed the reverse fractional Minkowski integral inequality using the extended Mittag-Leffler function with the corresponding fractional integral operator, which was proved together with several related Minkowski-type inequalities. Rahman et al. [37][38][39] investigated the Minkowski inequality and some other fractional inequalities for convex functions by employing fractional proportional integral operators. Atangana and Baleanu proposed a new fractional derivative operator with a non-local and non-singular kernel [40]. In [41], Jarad et al. proposed fractional conformable integral and derivative operators. In [42][43][44], Jarad et al. and Rahman presented the concepts of non-local fractional proportional and generalized Hadamard proportional integrals involving exponential functions in their kernels. In [14,[45][46][47], the authors explored various integral inequalities by employing conformable and generalized conformable fractional integrals. Caputo and Fabrizio [48] introduced new fractional derivatives and integrals without singular kernels. Later, Lasada and Niteto proposed certain properties of fractional derivatives without a singular kernel [49]. Nale et al. and Rahaman et al. [44,50] investigated some Minkowskitype inequalities and other integral inequalities by considering the generalized proportional Hadamard fractional integral operator. Kukushkin [51] examined the final terms of a differential operator with a fractional integro-differential operator composition on a bounded domain of n-dimensional Euclidean space, as well as on the real axis. One of the central points was the relation connecting fractional powers of m-accretive operators and fractional derivatives in the most general sense. By virtue of such an approach, we express fractional derivatives in terms of infinitesimal generators. In this regard, operators such as the Kipriyanov operator, Riesz potential, and difference operator are considered. In addition, in [52], Yosida studied the semigroup that generates the involved fractional integro-differential operators due to the Balakrishnyan formula. We think that it would be interesting to illustrate the relevance of the topic by presenting and comparing the well-known Chebyshev inequality in L 1 . In [53], the Chebyshev functional for two integrable functions u and v on [a, b] is defined as follows: Many applications and several inequalities related to Chebyshev functionals can be found in [6,[54][55][56]. Let us now consider the following extended Chebyshev functional [3]: where u and v are two integrable functions on [a, b], and p and q are positive integrable functions on [a, b]. In order to present a famous inequality for this function, let us now introduce the concept of synchronous (asynchronous) functions.
Hence, if u an v are synchronous on [a, b], then T[u(x), v(x), p(x), q(x)] ≥ 0. Motivated by [3,19,34,38,39,43,44], our purpose in this paper is to obtain fractional integral inequalities for the extended Chebyshev functional and other fractional inequalities, using the generalized Hadamard proportional integral. The assumption of synchronous (asynchronous) functions will sometimes be made.
The paper has been organized as follows. in Section 2, we recall basic definitions, remarks, and lemmas related to generalized Hadamard proportional integrals. In Section 3, we obtain fractional integral inequalities for extended Chebyshev functionals using generalized Hadamard proportional integrals. In Section 4, we present some other fractional integral inequalities using generalized Hadamard proportional integrals. In Section 5, we give the concluding remarks.

Preliminary
Here, we present some important definitions, remarks, and lemmas of the generalized proportional Hadamard fractional integral operator, which will be used throughout this paper. Recently, Rahman et al. [43] presented the left and right-sided generalized proportional integral operators as follows: The left-and right-sided generalized proportional fractional integrals are, respectively, defined by (here, the first x between the brackets refers to the variable of the function z(x), and the second x between the brackets refers to the integral upper bound; other notations are possible), and where the proportionality index is β ∈ (0, 1], α ∈ C with R(α) > 0, and Γ(α) is the classical well-known gamma function.
On the other hand, recently, Rahman et al. [44] proposed the following generalized Hadamard proportional fractional integrals.

Definition 3. The left-sided generalized Hadamard proportional fractional integral of order
Definition 4. The right-sided generalized Hadamard proportional fractional integral of order α > 0 and proportional index β ∈ (0, 1] is defined by Remark 2. If we consider a = 1 in Equation (8), then we obtain Hereafter, to lighten the notation, we set H Remark 3. If we consider β = 1, then Equations (8)-(10) will lead to the following well known Hadamard fractional integrals, indicated as and One can easily prove the following results.
and the following semigroup property holds: Remark 4. If β = 1, then Equation (14) reduces to the result of [57] as defined by

Fractional Integral Inequalities for Extended Chebyshev Functional
In this section, we establish a fractional integral inequality involving generalized proportional Hadamard fractional integral operators. We now prove the following lemma.
We present below the major result of the paper.
Proof. To prove this theorem, we put u = p and v = q into Lemma 2, and we obtain Now, multiplying both sides of Equation (25) Again, putting u = r and v = q, into Lemma 2, we obtain Multiplying both sides of Equation (27) With the same arguments as in Equations (26) and (28), we can write Adding Inequalities (26), (28) and (29), we obtain Inequality (24).

Proof. Multiplying both sides of Equation (22) by
which remains positive (in view of the argument mentioned above in the proof of Lemma 2). Then, integrating the resulting identity with respect to σ from 1 to x, we have This completes the proof of Inequality (30). [1, ∞), and r, p, q :

Remark 5.
We assume f , g, r, p and q satisfy the following conditions: 1. the functions f and g are asynchronous on [1, ∞); 2. the functions r, p, q are negative on [1, ∞); 3. two of the functions r, p, q are positive and the third is negative on [1, ∞). (24) and (32) are reversed.

Some Other Fractional Integral Inequalities
Now, we give some other fractional integral inequalities using generalized proportional Hadamard fractional integral operators.
Then, for all x > 1, α > 0 and β ∈ (0, 1], we have Proof. Since f , g, and h are three positive and continuous functions on [1, ∞), by Equation (38) we obtain Multiplying both sides of Equation (40) by h(σ)h(τ), we have Now, multiplying Equation (41) by ψ(x, τ) defined by Equation (20), then integrating the resulting identity with respect to τ from 1 to x, we obtain It follows from Equation (42) that Again, let us multiply Equation (43) by ψ(x, σ) as defined by Equation (20), which remains positive because for all σ ∈ (1, x), (x > 1), α, β > 0. Then, integrating the resulting identity with respect to σ from 1 to x, we obtain This completes the proof of the theorem.
Then, for all x > 1, β, ϕ ∈ (0, 1], and α, φ > 0, we have Proof. Multiplying Equation (43) by which is always positive, then integrating the resulting identity with respect to σ from 1 to x, we have This gives us the following relation: From Equation (49), we obtain This yields Inequality (47). This completes the proof of the theorem.
Proof. Now, by taking g = f p−1 in Theorem 3, we obtain Since Multiplying Equation (53) by ψ(x, τ) defined by Equation (20), then integrating the resulting identity with respect to τ from 1 to x, we obtain which implies that H α,β From Equations (52) and (57), we obtain Equation (51). Proof.
Taking g = f p−1 in Theorem 4, we obtain then, by hypothesis, f ≤ h on [1, ∞), which implies that Now, multiplying both sides of Equation (60) by σ ∈ (1, x), x > 1, φ, ϕ > 0, which remains positive. Then, integrating the resulting identity with respect to σ from 1 to x, we have Integrating both sides of Equation (61) From Equations (59) and (64), we obtain Equation (58). This ends the proof of the theorem.

Concluding Remarks
In [42], the authors proposed the concept of generalized proportional fractional integral operators with exponential kernels. Following this, Rahman et al. [44] worked on these operators and established some fractional inequalities for convex functions by considering Hadamard proportional fractional integrals. In this study, we obtained some fractional integral inequalities for the extended Chebyshev function by considering the generalized proportional Hadamard fractional integral operator. The inequalities investigated in this paper represent novel contributions in the fields of fractional calculus and generalized proportional Hadamard fractional integral operators. They are also expected to lead to some applications for determining the uniqueness of fractional differential equation solutions. We also believe that the findings of this study will help to solve additional practical problems in mathematical physics, statistics, and approximation theory.