Generalized proportional fractional integral Hermite–Hadamard’s inequalities

The theory of fractional integral inequalities plays an intrinsic role in approximation theory also it has been a key in establishing the uniqueness of solutions for some fractional differential equations. Fractional calculus has been found to be the best for modeling physical and engineering processes. More precisely, the proportional fractional operators are one of the recent important notions of fractional calculus. Our aim in this research paper is developing some novel ways of fractional integral Hermite–Hadamard inequalities in the frame of a proportional fractional integral with respect to another strictly increasing continuous function. The considered fractional integral is applied to establish some new fractional integral Hermite–Hadamard-type inequalities. Moreover, we present some special cases throughout discussing this work.


Introduction
The theory of fractional calculus, which is interested in differential and integral operators of noninteger orders, is just about as old as the classical calculus, which deals with integer orders. Since not the totality of the real phenomena can be modeled by employing the operators in the classical calculus, scientists and authors looked for generalizations of these operators. As of now, we can say that the theory of fractional calculus is of considerable interest for a large number of researchers. There is a large amount of exploration and literature especially on the classical fractional calculus like the definitions of Riemann-Liouville (RL) and Caputo. The RL derivative is a general common concept and, in some definitions, the most uniform and natural. However, it has some disadvantages when employing in modeling physical problems in view of the fact that the requisite initial conditions are themselves fractional, which is perhaps inappropriate for physical conditions. The Caputo derivative has the advantage of being suitable for physical conditions because it requires only initial conditions of the traditional type [1].
Be that as it may, these are by no means the only methods of describing and defining fractional calculus. In fact, there are multiple definitions of fractional operators; RL, Caputo, Hilfer, Riesz, Hadamard, Erdélyi-Kober, Katugampola, Caputo-Fabrizio, Atangana-Baleanu definitions are just a few examples to make reference to [2][3][4][5][6]. Each concept has its own conditions and rules, due to which a some of these definitions are not identical to each other. In practice, the physical framework under regard decides the placement of an appropriate fractional operator. As a consequence, researchers have introduced various definitions of inequivalent fractional operators, every one of which is helpful in its own specific context. In view of the foregoing, it is natural for mathematicians to develop and explore fractional operators that are generalized categories of the current specific cases. For some applications and recent contributions of fractional calculus, we refer the readers to [7][8][9][10][11].
Our focus here is on mathematical inequalities, which are critically important in many useful applications, especially, in classical differential equations and integrals. Accordingly, in the last two centuries, several useful mathematical inequalities have been presented by mathematicians. Among mathematical inequalities, one inequality has a wellknown area along with the inequality theory. It is the well-known Hermite-Hadamard inequality. The first suggest of this inequality is attributed to Hermite (1881), but until 1893, this result was not taken into a consideration in the literature and was not vastly known as Hermite's inequality. Beckenbach [12] wrote that the inequality which holds for convex function ϕ, was proved by Hadamard in (1893) and called it the Hermite-Hadamard inequality, and since then, it had several generalizations and extensions for univariable, bivariable, and multivariable convex functions (see [13]). Significantly, this inequality has become the focus of attention of many researchers and mathematicians due to its important applications and wide uses in many fields. As a result, a lot of works have appeared that include generalizations and extensions of this inequality; see [14][15][16].
Mathematical inequalities had to take their share of the theory of fractional calculus, concerning the Hermite-Hadamard inequality. Sarikaya et al. [17] in 2013 presented an RL-type fractional integral inequality formula for convex functions.
Then for all μ > 0, we have the following inequalities: Chen [18] in 2016 proved the following Riemann-Liouville fractional integral Hermite-Hadamard type inequalities.
, then we have the following inequalities: Chen [18] also proved the fractional integral Hermite-Hadamard inequality (1.2) without using the convexity of the function ϕ.
As an application of the Hermite-Hadamard inequality, Nowicka and Witkowski [20] showed how certain its improvements can be applied to some (not necessarily convex) planar figures and three-dimensional bodies satisfying some kind of regularity. Dahmani [21] in (2010) employed concave functions to present Hermite-Hadamard-type inequalities using the Riemann-Liouville fractional integral. Set et al. in (2014) studied the Hermite-Hadamard inequality for the second sense of s-convex functions, which was proved by Dragomir et al. [22], and m-convex functions employing the fractional integrals. Noor et al. [23] in (2015) by using the q-differentiable convex functions and q-differentiable quasi-convex functions derived some quantum estimates for Hermite-Hadamard-type inequalities. Agarwal et al. [24] in (2017), employing the (k,s)-Riemann-Liouville fractional integrals, obtained some Hermite-Hadamard-type inequalities for convex functions. Khan [25] in (2018) introduced some new Hermite-Hadamard-type inequalities employing the convex functions, s-convex, and coordinate convex functions via the conformable fractional integral. Pshtiwan and Brevik [26] in (2020) introduced a new version of the Hermite-Hadamard inequality for the Riemann-Liouville fractional integrals. For n-polynomial harmonically convex functions, Awan et al. [27] in the same year proved some new Hermite-Hadamard-type inequalities. Also, Chudziak and Ołdak [28]presented a notion of coordinated (F, G)-convex functions defined on an interval in R 2 . Recently, in (2021), Khan [29] studied the Hermite-Hadamard inequality for coordinates of convex fuzzy interval-valued functions. A lot of the authors studied the Hermite-Hadamard inequalities for several different types of convexity of the functions via several different types of fractional integral and derivative operators; for more detail, we refer the readers to [30][31][32][33][34].
Motivated by the above argumentation and inspired by the appreciated works introduced by Sarikaya [17] and Chen [18], and by taking advantage of the generalized proportional fractional integral operator concerning another strictly increasing continuous function, in this work, we establish some new generalized fractional integral Hermite-Hadamard inequalities in the frame of generalized proportional fractional integral operators, which, to the best of our knowledge, have not yet been considered until the current day. With the help of the considered proportional fractional operator, we also introduce some fractional integral Hermite-Hadamard-type inequalities. Moreover, we enrich this work by discussing some particular cases related to the current research paper.
The organization of this research paper is as follows. Throughout the next section, we point some definitions, notations, and introductory acquaintance used in this work. Sections 3 and 4 are devoted to our major results on Hermite-Hadamard inequalities and Hermite-Hadamard-type inequalities, respectively.

Essential preliminaries
Here we recall some basic definitions and properties of elementary fractional integral operators.

Definition 2.2 ([2]) For an integrable function ϕ on [a, b]
and a ≥ 0, we have, for all μ > 0, and The functions I μ a + ϕ(t) and I μ b -ϕ(t) are called the left-and right-sided Riemann-Liouville fractional integrals, respectively, of the function ϕ for the order μ.

Definition 2.3 ([2, 3]) For an integrable function ϕ on the interval and for an increasing
The functions ψ I μ a + ϕ(t) and ψ I μ b -ϕ(t) are called the left-and right-sided ψ-Riemann-Liouville fractional integrals, respectively, of the function ϕ for the order μ.

Definition 2.4 ([35]) For an integrable function
are called the left-and right-sided proportional fractional derivatives, respectively, of the function ϕ for the order μ.

Definition 2.5 ([35])
For an integrable function ϕ and ω > 0, we have, for all μ ∈ C, Re(μ) ≥ 0, and The functions (I μ,ω are called the left-and right-sided proportional fractional integrals, respectively, of the function ϕ for the order μ. Definition 2.6 ( [36]) For an integrable function ϕ, a strictly increasing continuous function ψ on [a, b], and ω ∈ (0, 1], we have, for all μ ∈ C, Re(μ) ≥ 0, are called, respectively, the left-and right-sided proportional fractional derivatives of the function ϕ with respect to the function ψ for the order μ. and The functions ( ψ I μ,ω a + ϕ)(t) and ( ψ I μ,ω b -ϕ)(t) are called, respectively, the left-and right-sided proportional fractional integrals of the function ϕ with respect to the function ψ for the order μ.

Proportional fractional integral Hermite-Hadamard's inequalities concerning the function ψ
The first part of our main contributions is within this section. Here we give Hermite-Hadamard's inequalities involving a convex function for proportional fractional integral operators concerning another strictly increasing continuous function ψ.

Proportional fractional integral Hermite-Hadamard-type inequalities concerning the function ψ
This section is devoted to the second part of our contributions, which involve a generalization of some Hermite-Hadamard-type inequalities introduced by Chen via the Riemann-Liouville fractional integral. For the current generalization, we use the fractional integral [36] introduced by Jarad (2020).  ϕ is bounded in [a, b], then, we have the following inequalities: So we can write which we can rewrite as is symmetric about u = ψ -1 ( a+b 2 ), we have which yields we have for ψ(t) ∈ [a, a+b 2 ], where t ∈ , we have which leads to that is, (4.6) In view of inequality (4.6) and equality (4.4), we get the required inequality (4.1), which completes the proof.
Proof In view of Theorem 4.1, using the inequality (4.2), we can write is symmetric about u = ψ -1 ( a+b 2 ), we have we get for ψ(t) ∈ [a, a+b 2 ], where t ∈ , we have which leads to that is, In view of inequality (4.10) and equality (4.8), we get the required inequality (4.7), which completes the proof.

Conclusions
Nowadays, we need to develop and refine our capabilities to generalize some recent results directly related to the topic of fractional calculus because this topic is interesting and has many applications in modeling natural phenomena in the world. Many researchers have generalized some different fractional operators using classical tools and operators in fractional calculus. One of these operators is the generalized proportional fractional integral. In this work, we have developed some new techniques of fractional integral Hermite-Hadamard inequalities concerning the generalized proportional fractional integral with respect to another strictly increasing continuous function. The current fractional integral has been employed to establish some new fractional integral Hermite-Hadamardtype inequalities. Furthermore, through our discussion of this work, we have succeeded in presenting some special cases related to the within results. In future work, we recommend researchers study the current inequality via recent fractional operators such as the Atangana-Baleanu operator [6] or Caputo-Fabrizio operator [39].