New estimates considering the generalized proportional Hadamard fractional integral operators

In the article, we describe the Grüss type inequality, provide some related inequalities by use of suitable fractional integral operators, address several variants by utilizing the generalized proportional Hadamard fractional (GPHF) integral operator. It is pointed out that our introduced new integral operators with nonlocal kernel have diversified applications. Our obtained results show the computed outcomes for an exceptional choice to the GPHF integral operator with parameter and the proportionality index. Additionally, we illustrate two examples that can numerically approximate these operators.


Introduction
A revolution inside the discipline of differentiation and integration has been witnessed: classical differentiation has become extended by the use of nonlocal operators. The classical derivative was combined with a strength regulation sort of kernel and ultimately this provided the upward thrust to new calculus referred to as the fractional calculus. The newly proposed calculus permits one to depict progressively complex problems with various properties, for example, in thermal conduction where the heat is streaming inside a medium with two distinct properties and a new mathematical model of heat conduction, one considered isotropic generalized thermoelasticity, with a three-phase lag, this model being considered in terms of the methodology of fractional calculus. Several significant results have been obtained [1][2][3][4][5][6][7][8][9][10].
Fractional calculus in continuous and discrete operators has also been comprehensively utilized in numerous fields [11][12][13][14][15][16][17][18][19][20][21][22][23][24][25][26][27][28][29][30]. But the concept has been propagated and implemented in applied mathematics, physics and porous media as a mathematical model. Various recognized generalized fractional operators comprise the Hadamard operator, the Erdélyi-Kober operator, the Saigo operator, the Gaussian hypergeometric operator, the Marichev-Saigo-Maeda fractional integral operator and so on. Out of these operators, the Riemann-Liouville fractional integral operator has been broadly applied by scientists in research just from an application viewpoint. For more details concerning fractional calculus operators, one may also refer to the expositions by Miller and Ross [31], Mathai [32], Kiryakova [33] and Baleanu et al. [34]. A captivating feature of this study is that there are numerous fractional operators that have fertile utilities in numerous areas of pure and applied mathematics. There are ideas with various qualities, and this grants the users an opportunity to select the suitable operator for exhibiting the issue under consideration. Moreover, as a consequence of its smoothness in the real world, experts have provided much contemplation to currently resolve fractional operators without singular kernels [35][36][37][38][39][40], and presently, a while later, various articles dealing with these sorts of fractional operators have been published.
Recently, the generalized proportional fractional integral operator contemplated by Jarad et al. [41] has potential application in statistical theory and also there have been enthralling presentations in the theory of fractional Schrödinger equations [42,43]. These kinds of speculations elevate future studies to establish novel ideas to modify the fractional operators and help us to attain integral inequalities via such generalized fractional operators. Integral inequalities and their utilities perform-a crucial job in the theory of differential and difference equations. An assortment of distinct kinds of classical variants and their modifications have been built up by employing the classical fractional integral, derivative operators and their speculative ideas in the matter [44][45][46]. Recently, the Gronwall and the Minkowski inequalities concerning to the generalized proportional fractional derivative and fractional integral were explored by Alzabut et al. [3] and Rahman et al. [43]. Approving this predilection, we present an adjusted form for many recognized Grüss type inequalities [47] in the sense of the generalized proportional Hadamard fractional integral that could be more proficient and much more pertinent than the current ones. The well-known Grüss inequality can be stated as follows. Let holds with the best possible constant 1/4. Inequality (1.1) is a marvelous instrument for exploring various systematic areas of science comprising chaos, porous media, biotechnology, heat transfer, time scale analysis and so on. There has been a continuous growth of eagerness for such a field of research to address the problems of various usages of these generalizations. Such discoveries had been analyzed by various investigators who in this way used assorted techniques for exploring and proposing these variations [48][49][50][51][52][53].
In this paper a new concept of integration that takes into account the fractional operator and also several generalizations will be introduced. Another important problem that could be handled by the new operators is the Grüss type and several other generalizations. We present, in general, three numerical schemes (Young, weighted arithmetic and geometric mean) that can be used to find solutions via the generalized proportional Hadamard fractional integral. Interestingly, several existing results recaptured by the results presented are Hadamard fractional integral inequalities. Therefore, the concept is rather novel and appears to make it possible to explore new directions of research as regards distinct scientific areas in pure and applied mathematics. We observe that the GPHF integral is able to show some kind of self-similarities.

Prelude
Now, we demonstrate concisely some essential preliminaries on fractional calculus for the convenience of the reader. The basic information is given in the monograph [37].
The left and right sides generalized proportional integral operators were introduced by Jarad et al. [41], they are defined by Remark 2.4 Letting ρ = 1. Then (2.5)-(2.7) become the Hadamard fractional integrals (2.10) For convenience, we give the semigroup property which implies the commutative property, Remark 2.5 If we choose ρ = 1, then (2.11) becomes the result of [32].

Main results
In the section, we will provide the refinements for some classical variants by utilizing the GPHF integral operator defined in (2.7).
Corollary 3.2 is a special case of Theorem 3.1.

Corollary 3.2 Letting ρ = 1. Then Theorem 3.1 leads to the Hadamard fractional integrals inequality
which was proved by Sudsutad et al. in [48].
Then, for all x, γ , > 0, we have the following inequalities:  Proof We first prove (N 1 ). Let l ∈ [1, ∞). Then it follows from (I) and (II) that that is, Multiplying both sides of (3.11) by 1 and integrating the obtained inequality from 1 to l lead to Inequality (3.12) can be rewritten as Multiplying both sides of (3.13) by 1 and integrating the obtained inequality from 1 to l we get which leads to the desired inequality (N 1 ) Inequalities (N 2 )-(N 4 ) can be proved by using the similar arguments as in the proof of inequality (N 1 ) and the facts that As a special case of Theorem 3.3, we have Corollary 3.4. Theorem 3.5 Let ρ ∈ (0, 1], γ , > 0, p, q > 0 with 1/p + 1/q = 1, and F and G be two positive real-valued functions defined on [1, ∞). Then the following inequalities hold for l > 1:

Corollary 3.8 Let ρ = 1. Then Theorem 3.7 leads to the Hadamard fractional integrals inequalities
Then we have the following three inequalities: and integrating the obtained inequality from 1 to l lead to Therefore inequality (1) follows easily from inequalities (3.30) and (3.32). Similarly, we also can prove inequalities (2) and (3).