Hermite–Hadamard-Type Inequalities for Convex Functions via the Fractional Integrals with Exponential Kernel

In this paper, we establish three fundamental integral identities by the firstand second-order derivatives for a given function via the fractional integrals with exponential kernel. With the help of these new fractional integral identities, we introduce a few interesting Hermite–Hadamard-type inequalities involving left-sided and right-sided fractional integrals with exponential kernels for convex functions. Finally, some applications to special means of real number are presented.


Introduction
Let h : [a, b] ⊂ → be a convex function. Then, h meets the following classic Hermite-Hadamard inequality (see [1]) If h is a concave function, the inequalities in (1) are presented in the negative direction. The Hermite-Hadamard inequality provides us the estimates for the integral average of a continuous convex function on a compact interval.
In [10], Dragomir and Agarwal proved the following result connected with the right part of (1). In [11], Alomart also elicited the similar result for functions whose second derivatives absolute values are convex.
Lemma 1 (see [10], Theorem 2.2). Assuming h : [a, b] ⊆ → is a differentiable function, h ∈ L[a, b] and |h | is convex on [a, b]. Then, the bellow inequality holds: Lemma 2 (see [11], Theorem 3). Assuming h : [a, b] ⊆ → is a twice differentiable function, h ∈ L[a, b] and |h | is convex on [a, b]. Then, the following inequality holds Now, fractional calculus has turned into an enchanting field of mathematics. Many extensive investigations have been carried out in this area. Due to the wide applications of Hermite-Hadamard inequalities and fractional integrals, many researchers have extended their research to Hermite-Hadamard inequalities involving fractional integrals rather than integer integrals, see [12][13][14][15][16][17][18][19][20][21][22]. Sarikaya et al. [12] have deduced an amusing inequality of Hermite-Hadamard-type involving fractional integrals in the place of ordinary integrals. This research fascinates many researchers to consider this respect. As a result, some new integral inequalities by the approach of fractional calculus have been obtained in the literature until now. In addition, Ahmad et al. [16] gave the new fractional integral operators with an exponential kernel and proved similar inequalities.
Definition 1 (see [16], Definition 2). Let h ∈ L[a, b]. The fractional left-side integral J α a + h and right-side and Lemma 3 (see [16], Theorem 1). Let h : [a, b] → be a positive convex function with 0 ≤ a < b and h ∈ L[a, b]. The following inequality for fractional integrals (4) and (5) holds: Remark 1. In (6), note that In addition, Ahmad et al. [16] derived the bound estimate of the difference between the mean value of the endpoints and the average of the fractional integrals.
Lemma 4 (see [16], Theorem 3). Assuming h : [a, b] ⊆ → is differentiable, h ∈ L[a, b] and |h | are convex on [a, b]. Then, the following inequality holds: denotes the bound estimate of the difference between the mean value of the endpoints and the average of the fractional integrals.
However, the bound for the left of the Hermite-Hadamard inequality (6) has not been studied. It will be interesting to find Here, denotes the bound estimate of the difference between the value of the midpoint and the average of the fractional integrals. Furthermore, if |h | is convex, it is natural to study the right-and left-type Hermite-Hadamard inequality via the fractional integral with an exponential kernel similar to Lemma 2, i.e., we want to find the constants ρ 1 and ρ 2 satisfying the following inequities: Motivated by [12,15,16], we will demonstrate three new fractional-type integral identities and set up their corresponding Hermite-Hadamard-type inequalities involving left-sided and right-sided fractional integrals for convex functions, respectively.

New Fractional Integral Identity and Hermite-Hadamard-Type Inequality for First Order Derivative
We firstly prove the following lemma in order to attest the following result.

Lemma 5.
Assuming h : [a, b] ⊆ → is a differentiable mapping and h ∈ L[a, b]. Then, the following equality for the fractional integrals (4) and (5) holds: where

Proof. Define
where Integrating by parts, one has and Substituting (9) and (10) into (8), we get that Substituting (12) and (11) into the right-side of (7), we obtain the left of (7). This testifies the proof.
Then, we can declare the first theorem including Hermite-Hadmard-type inequality.

New Fractional Integral Identity and Hermite-Hadamard-Type Inequality for Second Order Derivative
In [16] Lemma 4, Ahmad et al. gave the equality By (14), we will prove the Hermite-Hadamard-type inequality of the order derivatives via the fractional integrals with an exponential kernel for convex functions. Before we prove our main results in this section, we give the following lemmas.

Lemma 6.
Assuming h : [a, b] → is a twice differentiable function. If h ∈ L[a, b], then the following equality for fractional integrals holds: Proof. By using equality (14), we note and Inserting the values of K 1 and K 2 in (14), we obtain This completes the proof.
Proof. By using the proof of the Lemma 5, we can get Thus, Submitting (16), (17), and (21) to (20), we get (19). This completes the proof. Now, we can prove our Hermite-Hadamard-type inequalities by the second order derivatives.
Proof. Note that According to (15), (23), (24), and the convex of |h |, we can get The proof is finished. and This result coincides the conclusion in [11], Theorem 3.

Theorem 3.
Assuming h : [a, b] → is a twice differentiable function. If h ∈ L[a, b] and |h | is convex on [a, b], then the following inequality for fractional integrals with exponential kernel holds: Proof. According to Lemma 7 and the convex of |h |, we can get This completes the proof.
Next, making use of the acquired results in Section 3, we give some applications to particular means of real number. Proposition 1. Let p, q ∈ , p < q, pq > 0 and m ∈ Z, |m| ≥ 2. Then, Proof. Applying Remark 3 for h(x) = x m , we can get the conclusion immediately.
Proposition 3. Let p, q ∈ , p < q, pq > 0 and m ∈ Z, |m| ≥ 2. Then, we have and Proof. Doing he replacement q −1 → p, p −1 → q in the inequalities (28) and (29), we can obtain the required inequalities (30) and (31), respectively. Here, we have observed At last, we will present an application to a midpoint formula. In [23], let w be a division p = s 0 < s 1 · · · < s m−1 < s m = q of the interval [p, q] and inspect the quadrature formula where is the midpoint version and E(h, w) refers to the approximation error. Here, we deduce the error estimate for the midpoint formula.
Proof. Applying Remark 3 on subinterval [s i , s i+1 ](i = 0, 1, · · · , m − 1) of the division w, we derive Summing over from 0 to m − 1 and making use of the convexity of |h |, we infer that The proof is completed.

Conclusions
Based on the above interpretation, we acquire the bound estimates of the difference between the average of the fractional integrals with an exponential kernel and the mean values of the endpoints and the midpoint.
By comparing these bound estimates, we have obtained the following conclusions: (i) With the first and second order derivatives of a given function, the Hermite-Hadamard-type inequalities involving left-sided and right-sided, the fractional integrals are different. The Hermite-Hadamard-type inequalities with the second order derivatives of a given function are more accurate. (ii) With the same order derivatives of a given function, the Hermite-Hadamard-type inequalities involving different fractional integrals finally tend to be same when α → 1.