# New fractional inequalities of Hermite–Hadamard type involving the incomplete gamma functions

## Abstract

A specific type of convex functions is discussed. By examining this, we investigate new Hermite–Hadamard type integral inequalities for the Riemann–Liouville fractional operators involving the generalized incomplete gamma functions. Finally, we expose some examples of special functions to support the usefulness and effectiveness of our results.

## Introduction

In the past two decades, fractional calculus has received much attention. The fast interest in the topic is due to its extensive applications in various fields such as biochemistry, physics, viscoelasticity, fluid mechanics, computer modeling, and engineering, see  for further details. Most of the studies have been devoted to the existence and uniqueness of solutions for fractional differential or difference equations; see e.g. .

A fractional differential equation needs a certain inequality for existence and uniqueness of solution. For this reason, a huge number of mathematicians have competed to seek such inequalities; see e.g. .

As always, it is important and necessary to specify which model or definition of fractional calculus is being used because there are many different ways of defining fractional operators (integrals and derivatives). To further facilitate the discussion of this model, we present here the definition which is most commonly used for fractional operators, namely the Riemann–Liouville (RL) definition.

### Definition 1.1

([1, 2])

For any $$\mathrm{L}^{1}$$ function $$\bar{w}(x)$$ on an interval $$[{\varepsilon _{3}},{\varepsilon _{4}} ]$$ with $$x\in [{\varepsilon _{3}},{\varepsilon _{4}} ]$$, the κth left-RL fractional integral of $$\bar{w}(x)$$ is given by

$${}^{\mathrm{RL}}{\mathbf{J}}^{\kappa }_{{\varepsilon _{3}}+} \bar{w}(x) :=\frac{1}{\Gamma (\kappa )} \int _{{\varepsilon _{3}}}^{x}(x- \varsigma )^{\kappa -1} \bar{w}( \varsigma )\,\mathrm{d}\varsigma$$
(1.1)

for $$\operatorname {Re}(\kappa )>0$$. Also, the κth right-RL fractional integral of $$\bar{w}(x)$$ is given by

$${}^{\mathrm{RL}}{\mathbf{J}}^{\kappa }_{{\varepsilon _{4}}-} \bar{w}(x) :=\frac{1}{\Gamma (\kappa )} \int _{x}^{{\varepsilon _{4}}}( \varsigma -x)^{\kappa -1} \bar{w}( \varsigma )\,\mathrm{d}\varsigma .$$
(1.2)

Before starting the main findings, we review some definitions, notations, theorems which will be necessary later to proceed.

### Definition 1.2

()

We say that the function $$\bar{w}:\mathcal{J}\subseteq \mathcal{R}\to \mathcal{R}$$ is convex on $$\mathcal{J}$$ if

$$\bar{w} \bigl(\varsigma {\varepsilon _{3}}+(1- \varsigma ){\varepsilon _{4}} \bigr) \leq {\varsigma }\bar{w}({ \varepsilon _{3}})+(1-\varsigma )\bar{w}({ \varepsilon _{4}})$$
(1.3)

holds for every $${\varepsilon _{3}}, {\varepsilon _{4}}\in \mathcal{J}$$ and $$\varsigma \in [0,1]$$.

### Definition 1.3

()

We say that the function $$\bar{w}:\mathcal{J}\subseteq \mathcal{R}\to \mathcal{R}$$ is exponential type convex (or briefly exp-convex function) on $$\mathcal{J}$$ if

$${{\bar{w} \bigl(\varsigma {\varepsilon _{3}}+(1- \varsigma ){ \varepsilon _{4}} \bigr)\leq \bigl(e^{\varsigma }-1 \bigr) \bar{w}({ \varepsilon _{3}})+ \bigl(e^{{1-\varsigma }}-1 \bigr) \bar{w}({ \varepsilon _{4}})}}$$
(1.4)

holds for every $${\varepsilon _{3}}, {\varepsilon _{4}}\in \mathcal{J}$$ and $$\varsigma \in [0,1]$$.

The well-known integral inequality of Hermite–Hadamard type (HH-type) for such a convex function (1.3) is given by

$${{\bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \leq \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{{\varepsilon _{3}}}^{{ \varepsilon _{4}}}\bar{w}(x)\,\mathrm{d}x\leq \frac{\bar{w} ( {\varepsilon _{3}} ) +\bar{w} ({\varepsilon _{4}} ) }{2}}}.$$
(1.5)

On the same convex function (1.3), in 2013, Sarikaya et al.  generalized the HH-inequality (1.5) to fractional integrals of RL type, which is as follows:

$$\bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \leq \frac{\Gamma (\kappa +1)}{2({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({ \varepsilon _{4}}) +{}^{\mathrm{RL}}{ \mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \leq \frac{\bar{w}({\varepsilon _{3}})+\bar{w}({\varepsilon _{4}})}{2},$$
(1.6)

where $$\kappa >0$$ and $$\bar{w}:[\varepsilon _{3},\varepsilon _{4}]\to \mathcal{R}$$ is supposed to be an $$L^{1}$$ convex function. One year later, Sarikaya and Yildirim  found a new version of the above inequality, which is as follows:

\begin{aligned} \bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) &\leq \frac{2^{\kappa -1}\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}( \varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ &\leq \frac{\bar{w}({\varepsilon _{3}}) +\bar{w}({\varepsilon _{4}})}{2}. \end{aligned}
(1.7)

Again, one can note that this result is valid for any $$L^{1}$$ convex function $$\bar{w}:[{\varepsilon _{3}},{\varepsilon _{4}}]\to \mathcal{R}$$ and for each $$\kappa >0$$.

In 2020, Kadakal and Işcan obtained the new refinement of the classical HH-inequality (1.5) on the exp-convex function (1.4), which is as follows:

$${{\frac{1}{2 (e^{\frac{1}{2}}-1 )} \bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \leq \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{{ \varepsilon _{3}}}^{{\varepsilon _{4}}}\bar{w}(x)\,\mathrm{d}x\leq (e-2) \bigl[ \bar{w} ( {\varepsilon _{3}} ) +\bar{w} ({ \varepsilon _{4}} ) \bigr]}}.$$
(1.8)

A huge number of generalizations and modifications of classical HH-inequality (1.5) have been established by means of fractional operators (1.1) and (1.2); e.g. see [20, 26, 3044].

In this study, we follow the line of result mentioned above to investigate a new integral inequality, namely, the RL version of the new HH-type inequality (1.8). The rest of the attempt is designed as follows: in Sect. 2.1 we prove the HH inequalities of trapezoidal type by using differintegrals starting from the endpoints of the interval. In Sect. 2.2, we prove the HH inequalities of midpoint type by using differintegrals starting from the midpoint of the interval for the RL-fractional operators. Finally, some applications on special functions are exposed in Sect. 4.

## Main results

Our main results are split into two subsections. The following facts will be needed in establishing our main results.

### Remark 2.1

For $$\operatorname {Re}(\kappa )>0$$, the following identities can hold:

\begin{aligned}& \int _{0}^{1}\varsigma ^{\kappa -1}e^{\varsigma } \,\mathrm{d}\varsigma =(-1)^{ \kappa }\gamma (\kappa ,-1); \end{aligned}
(2.1)
\begin{aligned}& \int _{0}^{1}\varsigma ^{\kappa -1}e^{1-\varsigma } \,\mathrm{d}\varsigma =e\, \gamma (\kappa ,1), \end{aligned}
(2.2)

where $$\gamma (\cdot ,\cdot )$$ is the lower incomplete gamma function :

$$\gamma (\kappa ,{x})= \int _{0}^{{x}}\varsigma ^{\kappa -1}e^{- \varsigma } \,\mathrm{d}\varsigma ,\quad {x}\in \mathbb{C}.$$
(2.3)

### Proof

By making change of the variable $${u}:=-\varsigma$$ in the first integral, we get

$$\int _{0}^{1}\varsigma ^{\kappa -1}e^{\varsigma } \,\mathrm{d}\varsigma =(-1)^{ \kappa } \int _{0}^{{-1}}{u}^{\kappa -1}e^{-{u}}\,\mathrm{d}u =(-1)^{\kappa } \gamma (\kappa ,-1),$$

which ends identity (2.1).

Identity (2.2) can be directly obtained from the original definition (2.3). □

### Remark 2.2

For $$\operatorname {Re}(\kappa )>0$$, the following identities can hold:

\begin{aligned}& \int _{0}^{1}\varsigma ^{\kappa -1}e^{\frac{\varsigma }{2}}\,\mathrm{d}\varsigma =(-2)^{\kappa }\gamma \biggl(\kappa ,-\frac{1}{2} \biggr); \end{aligned}
(2.4)
\begin{aligned}& \int _{0}^{1}\varsigma ^{\kappa -1}e^{1-\frac{\varsigma }{2}}\,\mathrm{d}\varsigma =e\,2^{\kappa }\gamma \biggl(\kappa ,\frac{1}{2} \biggr). \end{aligned}
(2.5)

### Proof

We can use the same method used for Remark 2.1 to produce the results for Remark 2.2. □

### Lemma 2.1

()

If $$\bar{w}:[\varepsilon _{3},\varepsilon _{4}]\rightarrow \mathcal{R}$$ is $$L^{1}[\varepsilon _{3},\varepsilon _{4}]$$ with $$0<\varepsilon _{3}<\varepsilon _{4}$$ and $$\kappa >0$$, then we have

\begin{aligned} &\frac{\bar{w}({\varepsilon _{3}})+\bar{w}({\varepsilon _{4}})}{2}- \frac{\Gamma (\kappa +1)}{2({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{ \mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({\varepsilon _{4}}) +{}^{\mathrm{RL}}{\mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ &\quad = \frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{2} \int _{0}^{1} \bigl[(1- \varsigma )^{\kappa }- \varsigma ^{\kappa } \bigr]\bar{w}' \bigl(\varsigma { \varepsilon _{3}}+(1-\varsigma ){\varepsilon _{4}} \bigr)\,\mathrm{d} \varsigma . \end{aligned}

### Lemma 2.2

()

If $$\bar{w}:[\varepsilon _{3},\varepsilon _{4}]\rightarrow \mathcal{R}$$ is $$L^{1}[\varepsilon _{3},\varepsilon _{4}]$$ with $$0<\varepsilon _{3}<\varepsilon _{4}$$ and $$\kappa >0$$, then we have

\begin{aligned} &\frac{2^{\kappa -1}\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}(\varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] -\bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \\ &\quad =\frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{4} \biggl[ \int _{0}^{1} \varsigma ^{\kappa } \bar{w}' \biggl(\frac{\varsigma }{2}{\varepsilon _{3}}+ \frac{2-\varsigma }{2}{\varepsilon _{4}} \biggr) \,\mathrm{d}\varsigma - \int _{0}^{1} \varsigma ^{\kappa } \bar{w}' \biggl(\frac{2-\varsigma }{2}{\varepsilon _{3}}+ \frac{\varsigma }{2}{\varepsilon _{4}} \biggr) \,\mathrm{d}\varsigma \biggr]. \end{aligned}

### Proposition 2.1

Suppose that $$\bar{w}:[\varepsilon _{3},\varepsilon _{4}]\to \mathcal{R}$$ is an $$L^{1}$$ and exp-convex function. Then we have, for $$\kappa >0$$,

\begin{aligned} \bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) & \leq \frac{ (e^{\frac{1}{2}}-1 )\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({\varepsilon _{4}}) +{}^{\mathrm{RL}}{ \mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ &\leq \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl(e\,\gamma ( \kappa ,1)+(-1)^{\kappa }\gamma (\kappa ,-1)-\frac{2}{\kappa } \biggr) \bigl[ \bar{w}({\varepsilon _{3}})+\bar{w}({\varepsilon _{4}}) \bigr]. \end{aligned}
(2.6)

### Proof

By the exp-convexity of f, we have

\begin{aligned} \bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr)&= \bar{w} \biggl( \frac{[\varsigma {\varepsilon _{3}}+(1-\varsigma ){\varepsilon _{4}}]+[(1-\varsigma ){\varepsilon _{3}}+\varsigma {\varepsilon _{4}}]}{2} \biggr) \\ &\leq \bigl(e^{\frac{1}{2}}-1 \bigr)\bar{w} \bigl(\varsigma {\varepsilon _{3}}+(1- \varsigma ){\varepsilon _{4}} \bigr) + \bigl(e^{\frac{1}{2}}-1 \bigr) \bar{w} \bigl((1-\varsigma ){\varepsilon _{3}}+\varsigma {\varepsilon _{4}} \bigr). \end{aligned}

Multiplying by $$\varsigma ^{\kappa -1}$$ on both sides and then integrating over $$[0,1]$$, we get

\begin{aligned} \frac{1}{\kappa }\bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \leq{}& \bigl(e^{ \frac{1}{2}}-1 \bigr) \int _{0}^{1}\varsigma ^{\kappa -1}\bar{w} \bigl( \varsigma {\varepsilon _{3}}+(1-\varsigma ){\varepsilon _{4}} \bigr)\,\mathrm{d}\varsigma \\ &{}+ \bigl(e^{\frac{1}{2}}-1 \bigr) \int _{0}^{1}\varsigma ^{ \kappa -1}\bar{w} \bigl((1-\varsigma ){\varepsilon _{3}}+\varsigma { \varepsilon _{4}} \bigr)\,\mathrm{d}\varsigma . \end{aligned}

Multiplying by $$\kappa >0$$ on both sides and making the change of variables in the last inequality, we obtain

\begin{aligned} &\bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \\ &\quad \leq \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl[ \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{\varepsilon _{4}}^{ \varepsilon _{3}} \biggl( \frac{{\varepsilon _{4}}-{u}}{{\varepsilon _{4}}-{\varepsilon _{3}}} \biggr)^{\kappa -1}\bar{w}({u})\,\mathrm{d}u + \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{{\varepsilon _{3}}}^{{ \varepsilon _{4}}} \biggl( \frac{{v}-{\varepsilon _{3}}}{{\varepsilon _{4}}-{\varepsilon _{3}}} \biggr)^{\kappa -1}\bar{w}({v})\,\mathrm{d}v \biggr] \\ &\quad = \frac{\Gamma (\kappa +1) (e^{\frac{1}{2}}-1 )}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({\varepsilon _{4}}) +{}^{\mathrm{RL}}{ \mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr]. \end{aligned}
(2.7)

On the other hand, we have by exp-convexity

\begin{aligned}& \bar{w} \bigl(\varsigma {\varepsilon _{3}}+(1-\varsigma ){ \varepsilon _{4}} \bigr) \leq \bigl(e^{\varsigma }-1 \bigr) \bar{w}({\varepsilon _{3}})+ \bigl(e^{1-\varsigma }-1 \bigr) \bar{w}({\varepsilon _{4}}); \\& \bar{w} \bigl((1-\varsigma ){\varepsilon _{3}}+\varsigma { \varepsilon _{4}} \bigr) \leq \bigl(e^{1-\varsigma }-1 \bigr) \bar{w}({\varepsilon _{3}})+ \bigl(e^{\varsigma }-1 \bigr) \bar{w}({\varepsilon _{4}}). \end{aligned}

$$\bar{w} \bigl(\varsigma {\varepsilon _{3}}+(1-\varsigma ){ \varepsilon _{4}} \bigr)+ \bar{w} \bigl((1-\varsigma ){\varepsilon _{3}}+ \varsigma {\varepsilon _{4}} \bigr) \leq \bigl(e^{\varsigma }+e^{1-\varsigma }-2 \bigr) \bigl[\bar{w}({ \varepsilon _{3}})+\bar{w}({\varepsilon _{4}}) \bigr].$$

Multiplying by $$\varsigma ^{\kappa -1}$$ on both sides and then integrating over $$[0,1]$$, we get

\begin{aligned} &\int _{0}^{1}\varsigma ^{\kappa -1}\bar{w} \bigl( \varsigma {\varepsilon _{3}}+(1- \varsigma ){\varepsilon _{4}} \bigr)\,\mathrm{d}\varsigma + \int _{0}^{1}\varsigma ^{ \kappa -1}\bar{w} \bigl((1-\varsigma ){\varepsilon _{3}}+\varsigma { \varepsilon _{4}} \bigr)\,\mathrm{d}\varsigma \\ &\quad \leq \bigl[\bar{w}({\varepsilon _{3}})+ \bar{w}({\varepsilon _{4}}) \bigr] \int _{0}^{1}\varsigma ^{\kappa -1} \bigl(e^{\varsigma }+e^{1-\varsigma }-2 \bigr)\,\mathrm{d}\varsigma . \end{aligned}

By making the change of variables and Remark 2.1, we get

\begin{aligned} &\frac{\Gamma (\kappa )}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({\varepsilon _{4}}) +{}^{\mathrm{RL}}{ \mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ &\quad \leq \biggl(e\,\gamma (\kappa ,1)+(-1)^{\kappa } \gamma (\kappa ,-1)- \frac{2}{\kappa } \biggr) \bigl[ \bar{w}({\varepsilon _{3}})+\bar{w}({ \varepsilon _{4}}) \bigr]. \end{aligned}

Multiplying by positive constants $$\kappa >0$$ and $$(e^{\frac{1}{2}}-1)>0$$ on both sides, we get

\begin{aligned} &\frac{ (e^{\frac{1}{2}}-1 )\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{ \mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({\varepsilon _{4}}) +{}^{\mathrm{RL}}{\mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ &\quad \leq \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl(e\,\gamma ( \kappa ,1)+(-1)^{\kappa }\gamma (\kappa ,-1)-\frac{2}{\kappa } \biggr) \bigl[ \bar{w}({\varepsilon _{3}})+\bar{w}({\varepsilon _{4}}) \bigr]. \end{aligned}
(2.8)

Both of inequalities (2.7) and (2.8) rearrange to the required result. □

### Remark 2.3

The expression $$(-1)^{\kappa }\gamma (\kappa ,-1)$$ occurring in inequality (2.6) may not be clear for the readers, and they will imagine that this value is complex, or does it make sense? Actually, the complex part coming from $$(-1)^{\kappa }$$ cancels out the complex part coming from the incomplete gamma $$\gamma (\kappa ,-1)$$. Furthermore, this value came from the integral formula (2.1): from looking at the integral we can clearly see that it is real (and positive). Therefore, the answer is yes, it does make sense; the overall expression is real and positive.

On the other hand, we can clarify the above expression by using the Taylor expansion for the integral formula (2.1):

\begin{aligned} (-1)^{\kappa }\gamma (\kappa ,-1)&= \int _{0}^{1}\varsigma ^{\kappa -1}e^{ \varsigma } \,\mathrm{d}\varsigma = \int _{0}^{1}\varsigma ^{\kappa -1} \biggl(1+ \varsigma +\frac{\varsigma ^{2}}{2!}+\cdots \biggr)\,\mathrm{d}\varsigma \\ &=\frac{1}{\kappa }+\frac{1}{\kappa +1}+\frac{1}{2!(\kappa +2)!}+ \frac{1}{3!(\kappa +3)}+ \cdots \\ &=\sum_{\iota =0}^{\infty }\frac{1}{\iota !(\kappa +\iota )}. \end{aligned}

This formula confirms that $$(-1)^{\kappa }\gamma (\kappa ,-1)>0$$ for $$\kappa >0$$.

### Remark 2.4

Inequality (2.6) with $$\kappa =1$$ becomes inequality (1.8).

### Theorem 2.1

Let $$\bar{w}:[\varepsilon _{3},\varepsilon _{4}]\rightarrow \mathcal{R}$$ be $$L^{1}[{\varepsilon _{3}},{\varepsilon _{4}}]$$ with $$0<\varepsilon _{3}<\varepsilon _{4}$$ and $$\kappa >0$$. If $$|\bar{w}'|$$ is an exp-convex function, then we have

\begin{aligned}& \biggl\vert \frac{\bar{w}({\varepsilon _{3}})+\bar{w}({\varepsilon _{4}})}{2} - \frac{\Gamma (\kappa +1)}{2({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({ \varepsilon _{4}}) +{}^{\mathrm{RL}}{\mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \biggr\vert \\& \quad \leq \frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{2} \bigl( \bigl[ \delta _{0}(\kappa ,\hbar _{0})+\delta _{1}(\kappa ,\hbar _{1}) \bigr] \bigl\vert \bar{w}'({\varepsilon _{3}}) \bigr\vert + \bigl[ \delta _{0}(\kappa ,\hbar _{1})+ \delta _{1}(\kappa ,\hbar _{0}) \bigr] \bigl\vert \bar{w}'({\varepsilon _{4}}) \bigr\vert \\& \qquad {}+ \bigl[\delta _{1}(\kappa ,\hbar _{0})+\delta _{0}(\kappa ,\hbar _{1}) \bigr] \bigl\vert \bar{w}'({\varepsilon _{3}}) \bigr\vert + \bigl[ \delta _{1}(\kappa , \hbar _{1})+\delta _{0}( \kappa , \hbar _{0}) \bigr] \bigl\vert \bar{w}'({ \varepsilon _{4}}) \bigr\vert \bigr) \\& \quad =({\varepsilon _{4}}-{\varepsilon _{3}}) \frac{ \vert \bar{w}'({\varepsilon _{3}}) \vert + \vert \bar{w}'({\varepsilon _{4}}) \vert }{2} \sum_{i=0}^{1}\sum _{j=0}^{1}\delta _{i}(\kappa , \hbar _{j}), \end{aligned}
(2.9)

where

\begin{aligned}& \delta _{0}(\kappa ,\hbar _{j}) =(-1)^{j} \hbar _{j} \biggl[\gamma \bigl(\kappa +1,(-1)^{j} \bigr) -\gamma \biggl(\kappa +1, \frac{(-1)^{j}}{2} \biggr) \biggr] +(-1)^{j+1} \frac{1}{\kappa +1} \biggl[1- \biggl( \frac{1}{2} \biggr)^{\kappa +1} \biggr]; \\& \delta _{1}(\kappa ,\hbar _{j}) =\frac{1}{\kappa +1} \biggl( \frac{1}{2} \biggr)^{\kappa +1} +(-1)^{j+1}\hbar _{j}\gamma \biggl( \kappa +1,\frac{(-1)^{j}}{2} \biggr), \end{aligned}

and

\begin{aligned} \hbar _{j}= \textstyle\begin{cases} e, & \textit{if } j=0, \\ (-1)^{\kappa }, & \textit{if } j=1. \end{cases}\displaystyle \end{aligned}

### Proof

From Lemma 2.1, we have

\begin{aligned} & \biggl\vert \frac{\bar{w}({\varepsilon _{3}})+\bar{w}({\varepsilon _{4}})}{2} - \frac{\Gamma (\kappa +1)}{2({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{ \mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({ \varepsilon _{4}}) +{}^{\mathrm{RL}}{\mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \biggr\vert \\ &\quad \leq \frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{2} \int _{0}^{1} \bigl\vert (1-\varsigma )^{\kappa }-\varsigma ^{\kappa } \bigr\vert \bigl\vert \bar{w}' \bigl( \varsigma {\varepsilon _{3}}+(1- \varsigma ){\varepsilon _{4}} \bigr) \bigr\vert \,\mathrm{d}\varsigma \\ &\quad =\frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{2} \biggl[ \int _{0}^{ \frac{1}{2}} \bigl[(1-\varsigma )^{\kappa }- \varsigma ^{\kappa } \bigr] \bigl\vert \bar{w}' \bigl(\varsigma {\varepsilon _{3}}+(1- \varsigma ){ \varepsilon _{4}} \bigr) \bigr\vert \,\mathrm{d} \varsigma \\ &\qquad {}+ \int _{\frac{1}{2}}^{1} \bigl[ \varsigma ^{\kappa }-(1- \varsigma )^{\kappa } \bigr] \bigl\vert \bar{w}' \bigl( \varsigma {\varepsilon _{3}}+(1- \varsigma ){\varepsilon _{4}} \bigr) \bigr\vert \,\mathrm{d}\varsigma \biggr]. \end{aligned}

By using the exp-convexity of $$|\bar{w}'|$$, it follows that

\begin{aligned} & \biggl\vert \frac{\bar{w}({\varepsilon _{3}})+\bar{w}({\varepsilon _{4}})}{2} - \frac{\Gamma (\kappa +1)}{2({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{ \mathbf{J}}_{{\varepsilon _{3}}+}^{\kappa } \bar{w}({ \varepsilon _{4}}) +{}^{\mathrm{RL}}{\mathbf{J}}_{{ \varepsilon _{4}}-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \biggr\vert \\ &\quad \leq \frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{2} \biggl[ \int _{0}^{ \frac{1}{2}} \bigl[(1-\varsigma )^{\kappa }- \varsigma ^{\kappa } \bigr] \bigl[ \bigl(e^{\varsigma }-1 \bigr) \bigl\vert \bar{w}'({\varepsilon _{3}}) \bigr\vert + \bigl(e^{1-\varsigma }-1 \bigr) \bigl\vert \bar{w}'({\varepsilon _{4}}) \bigr\vert \bigr] \, \mathrm{d}\varsigma \\ &\qquad {}+ \int _{\frac{1}{2}}^{1} \bigl[\varsigma ^{\kappa }-(1- \varsigma )^{ \kappa } \bigr] \bigl[ \bigl(e^{\varsigma }-1 \bigr) \bigl\vert \bar{w}'({ \varepsilon _{3}}) \bigr\vert + \bigl(e^{1-\varsigma }-1 \bigr) \bigl\vert \bar{w}'({ \varepsilon _{4}}) \bigr\vert \bigr] \,\mathrm{d}\varsigma \biggr] \\ &\quad =\frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{2} \bigl( \bigl[\delta _{0}( \kappa ,\hbar _{0})+\delta _{1}(\kappa ,\hbar _{1}) \bigr] \bigl\vert \bar{w}'({ \varepsilon _{3}}) \bigr\vert + \bigl[\delta _{0}(\kappa ,\hbar _{1})+\delta _{1}( \kappa ,\hbar _{0}) \bigr] \bigl\vert \bar{w}'({ \varepsilon _{4}}) \bigr\vert \\ &\qquad {}+ \bigl[\delta _{1}(\kappa ,\hbar _{0})+\delta _{0}(\kappa ,\hbar _{1}) \bigr] \bigl\vert \bar{w}'({\varepsilon _{3}}) \bigr\vert + \bigl[ \delta _{1}(\kappa , \hbar _{1})+\delta _{0}( \kappa , \hbar _{0}) \bigr] \bigl\vert \bar{w}'({ \varepsilon _{4}}) \bigr\vert \bigr) \\ &\quad =\frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{2} \bigl[\delta _{0}( \kappa ,\hbar _{0})+\delta _{1}(\kappa ,\hbar _{1}) + \delta _{0}( \kappa ,\hbar _{1})+\delta _{1}( \kappa , \hbar _{0}) \bigr] \bigl( \bigl\vert \bar{w}'({ \varepsilon _{3}}) \bigr\vert + \bigl\vert \bar{w}'({ \varepsilon _{4}}) \bigr\vert \bigr), \end{aligned}

where the following identities are used:

\begin{aligned}& \delta _{0}(\kappa ,\hbar _{0}) = \int _{0}^{\frac{1}{2}}(1- \varsigma )^{\kappa } \bigl(e^{\varsigma }-1 \bigr)\,\mathrm{d}\varsigma = \int _{ \frac{1}{2}}^{1} \varsigma ^{\kappa } \bigl(e^{1-\varsigma }-1 \bigr)\,\mathrm{d}\varsigma ; \\& \delta _{0}(\kappa ,\hbar _{1}) = \int _{0}^{\frac{1}{2}}(1- \varsigma )^{\kappa } \bigl(e^{1-\varsigma }-1 \bigr)\,\mathrm{d}\varsigma = \int _{\frac{1}{2}}^{1} \varsigma ^{\kappa } \bigl(e^{\varsigma }-1 \bigr)\,\mathrm{d}\varsigma ; \\& \delta _{1}(\kappa ,\hbar _{0}) =- \int _{0}^{\frac{1}{2}} \varsigma ^{ \kappa } \bigl(e^{1-\varsigma }-1 \bigr)\,\mathrm{d}\varsigma =- \int _{ \frac{1}{2}}^{1} (1-\varsigma )^{\kappa } \bigl(e^{\varsigma }-1 \bigr)\,\mathrm{d}\varsigma ; \\& \delta _{1}(\kappa ,\hbar _{1}) =- \int _{0}^{\frac{1}{2}} \varsigma ^{ \kappa } \bigl(e^{\varsigma }-1 \bigr)\,\mathrm{d}\varsigma =- \int _{ \frac{1}{2}}^{1} (1-\varsigma )^{\kappa } \bigl(e^{1-\varsigma }-1 \bigr)\,\mathrm{d}\varsigma . \end{aligned}

Thus, our proof is completed. □

### Remark 2.5

Inequality (2.9) with $$\kappa =1$$ becomes the following inequality:

\begin{aligned}& \biggl\vert \frac{\bar{w}({\varepsilon _{3}}) +\bar{w}({\varepsilon _{4}})}{2}- \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{{\varepsilon _{3}}}^{{ \varepsilon _{4}}}\bar{w}(x)\,\mathrm{d}x \biggr\vert \\& \quad \leq ({ \varepsilon _{4}}-{ \varepsilon _{3}}) \biggl(4e^{\frac{1}{2}}-e- \frac{7}{2} \biggr) \frac{ \vert \bar{w}'({\varepsilon _{3}}) \vert + \vert \bar{w}'({\varepsilon _{4}}) \vert }{2}, \end{aligned}
(2.10)

which was obtained by Kadakal and Işcan .

### Proposition 2.2

If $$\bar{w}:[\varepsilon _{3},\varepsilon _{4}]\rightarrow \mathcal{R}$$ is an $$L^{1}$$ and exp-convex function and $$\kappa >0$$, then we have

\begin{aligned} \bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \leq& \frac{ (e^{\frac{1}{2}}-1 )2^{\kappa }\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}( \varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ \leq& \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl[e\,2^{\kappa } \gamma \biggl(\kappa ,\frac{1}{2} \biggr)+(-2)^{\kappa }\gamma \biggl( \kappa ,-\frac{1}{2} \biggr) -\frac{2}{\kappa } \biggr] \bigl[\bar{w}({ \varepsilon _{3}})+\bar{w}({\varepsilon _{4}}) \bigr]. \end{aligned}
(2.11)

### Proof

By the exp-convexity of f, we have

\begin{aligned} \bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) &= \bar{w} \biggl( \frac{ [\frac{\varsigma }{2}{\varepsilon _{3}}+\frac{2-\varsigma }{2}{\varepsilon _{4}} ] + [\frac{2-\varsigma }{2}{\varepsilon _{3}}+\frac{\varsigma }{2}{\varepsilon _{4}} ]}{2} \biggr) \\ &\leq \bigl(e^{\frac{1}{2}}-1 \bigr)\bar{w} \biggl( \frac{\varsigma }{2}{ \varepsilon _{3}}+\frac{2-\varsigma }{2}{ \varepsilon _{4}} \biggr) + \bigl(e^{\frac{1}{2}}-1 \bigr)\bar{w} \biggl( \frac{2-\varsigma }{2}{ \varepsilon _{3}}+\frac{\varsigma }{2}{ \varepsilon _{4}} \biggr). \end{aligned}

Multiplying by $$\varsigma ^{\kappa -1}$$ on both sides and then integrating over $$[0,1]$$, we get

\begin{aligned} \frac{1}{\kappa }\bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \leq& \bigl(e^{ \frac{1}{2}}-1 \bigr) \int _{0}^{1}\varsigma ^{\kappa -1} \bar{w} \biggl(\frac{\varsigma }{2}{\varepsilon _{3}}+\frac{2-\varsigma }{2}{ \varepsilon _{4}} \biggr)\,\mathrm{d}\varsigma \\ &{}+ \bigl(e^{\frac{1}{2}}-1 \bigr) \int _{0}^{1}\varsigma ^{\kappa -1} \bar{w} \biggl( \frac{2-\varsigma }{2}{\varepsilon _{3}}+\frac{\varsigma }{2}{ \varepsilon _{4}} \biggr)\,\mathrm{d}\varsigma . \end{aligned}

Multiplying by $$\kappa >0$$ on both sides and making the change of variables, we get

\begin{aligned} \bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \leq& \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl[ \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{\varepsilon _{4}}^{ \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2}} \biggl( \frac{{\varepsilon _{4}}-{u}}{{\varepsilon _{4}}-{\varepsilon _{3}}} \biggr)^{\kappa -1}\bar{w}({u})\,\mathrm{d}u \\ &{}+ \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{{\varepsilon _{3}}}^{ \frac{{\varepsilon _{3}} +{\varepsilon _{4}}}{2}} \biggl( \frac{{v}-{\varepsilon _{3}}}{{\varepsilon _{4}}-{\varepsilon _{3}}} \biggr)^{\kappa -1}\bar{w}({v})\,\mathrm{d}v \biggr] \\ =& \frac{ (e^{\frac{1}{2}}-1 )2^{\kappa }\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}(\varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr]. \end{aligned}
(2.12)

On the other hand, we have by exp-convexity

\begin{aligned}& \bar{w} \biggl(\frac{\varsigma }{2}{\varepsilon _{3}}+ \frac{2-\varsigma }{2}{\varepsilon _{4}} \biggr) \leq \bigl(e^{ \frac{\varsigma }{2}}-1 \bigr)\bar{w}({\varepsilon _{3}})+ \bigl(e^{1- \frac{\varsigma }{2}}-1 \bigr)\bar{w}({\varepsilon _{4}}); \\& \bar{w} \biggl(\frac{2-\varsigma }{2}{\varepsilon _{3}}+ \frac{\varsigma }{2}{\varepsilon _{4}} \biggr) \leq \bigl(e^{1- \frac{\varsigma }{2}}-1 \bigr)\bar{w}({\varepsilon _{3}})+ \bigl(e^{ \frac{\varsigma }{2}}-1 \bigr)\bar{w}({\varepsilon _{4}}). \end{aligned}

$$\bar{w} \biggl(\frac{\varsigma }{2}{\varepsilon _{3}}+ \frac{2-\varsigma }{2}{\varepsilon _{4}} \biggr) +\bar{w} \biggl( \frac{2-\varsigma }{2}{\varepsilon _{3}}+\frac{\varsigma }{2}{ \varepsilon _{4}} \biggr) \leq \bigl(e^{\frac{\varsigma }{2}}+e^{1- \frac{\varsigma }{2}}-2 \bigr) \bigl[\bar{w}({\varepsilon _{3}})+ \bar{w}({\varepsilon _{4}}) \bigr].$$

Multiplying by $$\varsigma ^{\kappa -1}$$ on both sides and then integrating over $$[0,1]$$, we get

\begin{aligned} &\int _{0}^{1}\varsigma ^{\kappa -1}\bar{w} \biggl( \frac{\varsigma }{2}{ \varepsilon _{3}}+ \frac{2-\varsigma }{2}{\varepsilon _{4}} \biggr)\,\mathrm{d}\varsigma + \int _{0}^{1}\varsigma ^{\kappa -1}\bar{w} \biggl( \frac{2-\varsigma }{2}{\varepsilon _{3}}+\frac{\varsigma }{2}{ \varepsilon _{4}} \biggr)\,\mathrm{d}\varsigma \\ &\quad \leq \bigl[\bar{w}({ \varepsilon _{3}})+ \bar{w}({\varepsilon _{4}}) \bigr] \int _{0}^{1}\varsigma ^{\kappa -1} \bigl(e^{\frac{\varsigma }{2}}+e^{1-\frac{\varsigma }{2}}-2 \bigr)\,\mathrm{d}\varsigma . \end{aligned}

By making the change of variables and Remark 2.2, we get

\begin{aligned} &\frac{2^{\kappa }\Gamma (\kappa )}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}(\varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ &\quad \leq \biggl[e\,2^{\kappa } \gamma \biggl(\kappa ,\frac{1}{2} \biggr)+(-2)^{\kappa }\gamma \biggl( \kappa ,- \frac{1}{2} \biggr) -\frac{2}{\kappa } \biggr] \bigl[\bar{w}({ \varepsilon _{3}})+\bar{w}({\varepsilon _{4}}) \bigr]. \end{aligned}

Multiplying by positive constants $$\kappa >0$$ and $$(e^{\frac{1}{2}}-1)>0$$ on both sides, we get

\begin{aligned} &\frac{ (e^{\frac{1}{2}}-1 )2^{\kappa }\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{ \mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}(\varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] \\ &\quad \leq \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl[e\,2^{\kappa } \gamma \biggl(\kappa ,\frac{1}{2} \biggr)+(-2)^{\kappa }\gamma \biggl( \kappa ,-\frac{1}{2} \biggr) -\frac{2}{\kappa } \biggr] \bigl[\bar{w}({ \varepsilon _{3}})+\bar{w}({\varepsilon _{4}}) \bigr]. \end{aligned}
(2.13)

Both of inequalities (2.12) and (2.13) rearrange to the required result. □

### Theorem 2.2

Let $$\bar{w}:[\varepsilon _{3},\varepsilon _{4}]\rightarrow \mathcal{R}$$ be $$L^{1}[{\varepsilon _{3}},{\varepsilon _{4}}]$$ with $$0<\varepsilon _{3}<\varepsilon _{4}$$ and $$\kappa >0$$. If $$|\bar{w}'|$$ is an exp-convex function, then we have

\begin{aligned}& \biggl\vert \frac{2^{\kappa -1}\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{ \mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}(\varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] -\bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \biggr\vert \\& \quad \leq ({\varepsilon _{4}}-{\varepsilon _{3}}) \frac{ \vert \bar{w}'({\varepsilon _{3}}) \vert + \vert \bar{w}'({\varepsilon _{4}}) \vert }{4} \sum_{j=0}^{1}\bar{ \delta }(\kappa ,\hbar _{j}), \end{aligned}
(2.14)

where $$\hbar _{j}$$ is as before, and

$$\bar{\delta }(\kappa ,\hbar _{j}) =(-1)^{j}\hbar _{j}2^{\kappa +1} \gamma \biggl(\kappa +1,\frac{(-1)^{j}}{2} \biggr)- \frac{1}{\kappa +1}.$$

### Proof

With the help of Lemma 2.2 and the exp-convexity of $$|\bar{w}'|$$, we have

\begin{aligned} & \biggl\vert \frac{2^{\kappa -1}\Gamma (\kappa +1)}{({\varepsilon _{4}}-{\varepsilon _{3}})^{\kappa }} \bigl[{}^{\mathrm{RL}}{ \mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )+}^{\kappa } \bar{w}(\varepsilon _{4}) +{}^{\mathrm{RL}}{\mathbf{J}}_{ ( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} )-}^{\kappa } \bar{w}({\varepsilon _{3}}) \bigr] -\bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \biggr\vert \\ &\quad \leq \frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{4} \int _{0}^{1} \varsigma ^{\kappa } \biggl[ \biggl\vert \bar{w}' \biggl( \frac{\varsigma }{2}{\varepsilon _{3}}+\frac{2-\varsigma }{2}{ \varepsilon _{4}} \biggr) \biggr\vert + \biggl\vert \bar{w}' \biggl( \frac{2-\varsigma }{2}{ \varepsilon _{3}}+\frac{\varsigma }{2}{ \varepsilon _{4}} \biggr) \biggr\vert \biggr]\,\mathrm{d}\varsigma \\ &\quad \leq \frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{4} \biggl\{ \int _{0}^{1} \varsigma ^{\kappa } \bigl[ \bigl(e^{\frac{\varsigma }{2}}-1 \bigr) \bigl\vert \bar{w}'({ \varepsilon _{3}}) \bigr\vert + \bigl(e^{\frac{2-\varsigma }{2}}-1 \bigr) \bigl\vert \bar{w}'({\varepsilon _{4}}) \bigr\vert \bigr]\, \mathrm{d}\varsigma \\ &\qquad {}+ \int _{0}^{1}\varsigma ^{\kappa } \bigl[ \bigl(e^{ \frac{2-\varsigma }{2}}-1 \bigr) \bigl\vert \bar{w}'({ \varepsilon _{3}}) \bigr\vert + \bigl(e^{\frac{\varsigma }{2}}-1 \bigr) \bigl\vert \bar{w}'({\varepsilon _{4}}) \bigr\vert \bigr]\, \mathrm{d}\varsigma \biggr\} \\ &\quad =\frac{{\varepsilon _{4}}-{\varepsilon _{3}}}{4} \bigl\{ \bar{\delta }(\kappa ,\hbar _{1}) \bigl\vert \bar{w}'({\varepsilon _{3}}) \bigr\vert + \bar{ \delta }(\kappa ,\hbar _{0}) \bigl\vert \bar{w}'({ \varepsilon _{4}}) \bigr\vert + \bar{ \delta }(\kappa ,\hbar _{0}) \bigl\vert \bar{w}'({ \varepsilon _{3}}) \bigr\vert + \bar{\delta }(\kappa ,\hbar _{1}) \bigl\vert \bar{w}'({\varepsilon _{4}}) \bigr\vert \bigr\} , \end{aligned}

where the following identities are used:

\begin{aligned}& \bar{\delta }(\kappa ,\hbar _{0}) = \int _{0}^{1}\varsigma ^{\kappa } \bigl(e^{\frac{\varsigma }{2}}-1 \bigr)\,\mathrm{d}\varsigma ; \\& \bar{\delta }(\kappa ,\hbar _{1}) = \int _{0}^{1}\varsigma ^{\kappa } \bigl(e^{\frac{2-\varsigma }{2}}-1 \bigr)\,\mathrm{d}\varsigma . \end{aligned}

Thus, our proof is completed. □

### Remark 2.6

Inequality (2.14) with $$\kappa =1$$ becomes the following inequality:

$$\biggl\vert \frac{1}{{\varepsilon _{4}}-{\varepsilon _{3}}} \int _{{ \varepsilon _{3}}}^{{\varepsilon _{4}}}\bar{w}(x)\,\mathrm{d}x-\bar{w} \biggl( \frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) \biggr\vert \leq ({ \varepsilon _{4}}-{ \varepsilon _{3}}) \bigl(3+4e-8e^{\frac{1}{2}} \bigr) \frac{ \vert \bar{w}'({\varepsilon _{3}}) \vert + \vert \bar{w}'({\varepsilon _{4}}) \vert }{4}.$$
(2.15)

## He’s inequality

This section deals with the HH-inequality in the sense of He’s fractional derivatives as introduced in Definition 3.1. As we discussed before, there are many definitions on fractional derivatives in the literature. Herewith we recall the fractional derivatives by the variational iteration method [46, 47]. A complete review on variational iteration method and its application and development are available in references [48, 49].

Let us recall the following fractional derivative introduced by He .

### Definition 3.1

For any $$\mathrm{L}^{1}$$ function on an interval $$[0,s ]$$, the κth He’s fractional derivative of $$\bar{w}(s)$$ is defined by

$$D_{s}^{\kappa }\bar{w}(s) =\frac{1}{\Gamma (n-\kappa )} \frac{d^{n}}{ds^{n}} \int _{0}^{s}(\varsigma -s)^{n-\kappa -1} \bar{w}( \varsigma )\,\mathrm{d}\varsigma .$$

Now, by making use of exp-convexity of , we have

\begin{aligned} \bar{w} \biggl(\frac{{\varepsilon _{3}}+{\varepsilon _{4}}}{2} \biggr) &=\bar{w} \biggl( \frac{[\varsigma {\varepsilon _{3}}+(1-\varsigma ){\varepsilon _{4}}]+[(1-\varsigma ){\varepsilon _{3}}+\varsigma {\varepsilon _{4}}]}{2} \biggr) \\ &\leq \bigl(e^{\frac{1}{2}}-1 \bigr) \bigl[\bar{w} \bigl(\varsigma { \varepsilon _{3}}+(1-\varsigma ){\varepsilon _{4}} \bigr) +\bar{w} \bigl((1- \varsigma ){\varepsilon _{3}}+\varsigma { \varepsilon _{4}} \bigr) \bigr]. \end{aligned}
(3.1)

Taking $${\varepsilon _{3}}=0$$ and $${\varepsilon _{4}}>0$$ for all $$s\in (0,1)$$, multiplying by $${ \frac{{(\varsigma -s)}^{n-\kappa -1}}{\Gamma (n-\kappa )}}$$ on both sides of (3.1), and integrating with respect to t over $$[0,1]$$, we get

\begin{aligned} &\frac{1}{\Gamma (n-\kappa )}\bar{w} \biggl( \frac{{\varepsilon _{4}}}{2} \biggr) \int _{0}^{s}(\varsigma -s)^{n- \kappa -1}\, \mathrm{d}\varsigma \\ &\quad \leq \frac{ (e^{\frac{1}{2}}-1 )}{\Gamma (n-\kappa )} \biggl[ \int _{0}^{s}(t-s)^{n-\kappa -1}\bar{w} \bigl((1- \varsigma ){\varepsilon _{4}} \bigr)\,\mathrm{d}\varsigma + \int _{0}^{s}{(\varsigma -s)}^{n-\kappa -1} \bar{w}(\varsigma { \varepsilon _{4}})\,\mathrm{d}\varsigma \biggr]. \end{aligned}

Hence

\begin{aligned}& \frac{(-1)^{n-\kappa -1}s^{n-\kappa }}{\Gamma (n-\kappa )}\bar{w} \biggl(\frac{{\varepsilon _{4}}}{2} \biggr) \\& \quad \leq \frac{ (e^{\frac{1}{2}}-1 )}{\Gamma (n-\kappa )} \biggl[ \int _{0}^{s}(\varsigma -s)^{n-\kappa -1} \bar{w}( \varsigma { \varepsilon _{4}})\,\mathrm{d}\varsigma + \int _{0}^{s}{(\varsigma -s)}^{n- \kappa -1} \bar{w} \bigl((1-\varsigma ){\varepsilon _{4}} \bigr)\,\mathrm{d} \varsigma \biggr]. \end{aligned}
(3.2)

After getting the $$n^{-th}$$ derivatives on both sides of (3.2) with respect to s and using Definition 3.1, we obtain

$$(-1)^{n-\kappa -1}\bar{w} \biggl(\frac{{\varepsilon _{4}}}{2} \biggr) \leq \frac{ (e^{\frac{1}{2}}-1 )s^{\kappa }}{{\varepsilon _{4}}^{n-\kappa }} \bigl[D_{sb}^{\kappa } \bar{w}(sb)+ (-1)^{n-\kappa -1}D_{(1-s)b}^{ \kappa } \bar{w} \bigl((1-s)b \bigr) \bigr].$$
(3.3)

## Examples

In this section, some examples in the frame of special functions, matrices, and fractional Zakharov–Kuznetsov functions are selected to fulfil the applicability of obtained results.

### Example 4.1

Let the function $$\mathcal{J}_{\bar{\rho }}:\mathcal{R}\to [1,\infty )$$ be defined by 

$$\mathcal{J}_{\bar{\rho }}(z)=2^{\bar{\rho }}\Gamma (\bar{\rho }+1)z^{-v}I_{ \bar{\rho }}(z), \quad z\in \mathcal{R}.$$

In our attempt, we consider the first kind modified Bessel function $$I_{\bar{\rho }}$$, given by 

$$I_{\bar{\rho }}(z) =\sum_{n=0}^{\infty } \frac{ (\frac{z}{2} )^{\bar{\rho }+2n}}{n!\Gamma (\bar{\rho }+n+1)}.$$

Then, the first and second order derivatives of $$\mathcal{J}_{\bar{\rho }}(z)$$ are given as follows:

\begin{aligned} \begin{aligned} &\mathcal{J}'_{\bar{\rho }}(z) = \frac{z}{2(\bar{\rho }+1)}\mathcal{J}_{ \bar{\rho }+1}(z), \\ &\mathcal{J}''_{\bar{\rho }}(z) = \frac{1}{4(\bar{\rho }+1)} \biggl[ \frac{z^{2}}{\bar{\rho }+2} \mathcal{J}_{\bar{\rho }+2}(z)+2 \mathcal{J}_{ \bar{\rho }+1}(z) \biggr]. \end{aligned} \end{aligned}
(4.1)

Let $$\bar{w}(z):=\mathcal{J}'_{\bar{\rho }}(z)$$. Then, with the help of Remark 2.5 and the two identities in (4.1), we can deduce

\begin{aligned}& \biggl\vert \frac{\varepsilon _{3}\mathcal{J}_{\bar{\rho }+1}(\varepsilon _{3}) +\varepsilon _{4}\mathcal{J}_{\bar{\rho }+1}(\varepsilon _{4})}{4(\bar{\rho }+1)} - \frac{\mathcal{J}_{\bar{\rho }}(\varepsilon _{4}) -\mathcal{J}_{\bar{\rho }}(\varepsilon _{3})}{\varepsilon _{4}-\varepsilon _{3}} \biggr\vert \\& \quad \leq ( \varepsilon _{4}-\varepsilon _{3}) \biggl(4e^{ \frac{1}{2}}-e- \frac{7}{2} \biggr) \biggl\{ \frac{\varepsilon _{3}^{2}\,\mathcal{J}_{\bar{\rho }+2}(\varepsilon _{3}) +\varepsilon _{4}^{2}\,\mathcal{J}_{\bar{\rho }+2}(\varepsilon _{4})}{8(\bar{\rho }+1)(\bar{\rho }+2)} + \frac{\mathcal{J}_{\bar{\rho }+1}(\varepsilon _{3}) +\mathcal{J}_{\bar{\rho }+1}(\varepsilon _{4})}{4(\bar{\rho }+1)} \biggr\} . \end{aligned}

Also, from Remark 2.6 and the two identities in (4.1), we can deduce

\begin{aligned}& \biggl\vert \frac{\mathcal{J}_{\bar{\rho }}(\varepsilon _{4}) -\mathcal{J}_{\bar{\rho }}(\varepsilon _{3})}{\varepsilon _{4}-\varepsilon _{3}} -\mathcal{J}_{\bar{\rho }+1} \biggl( \frac{\varepsilon _{3}+\varepsilon _{4}}{2} \biggr) \biggr\vert \\& \quad \leq ( \varepsilon _{4}- \varepsilon _{3}) \bigl(3+4e-8e^{\frac{1}{2}} \bigr) \biggl\{ \frac{\varepsilon _{3}^{2}\,\mathcal{J}_{\bar{\rho }+2}(\varepsilon _{3}) +\varepsilon _{4}^{2}\,\mathcal{J}_{\bar{\rho }+2}(\varepsilon _{4})}{16(\bar{\rho }+1)(\bar{\rho }+2)} + \frac{\mathcal{J}_{\bar{\rho }+1}(\varepsilon _{3}) +\mathcal{J}_{\bar{\rho }+1}(\varepsilon _{4})}{8(\bar{\rho }+1)} \biggr\} \end{aligned}

for $$\bar{\rho }>-1$$, $$\varepsilon _{3}, \varepsilon _{4}\in \mathcal{R}$$ with $$0<\varepsilon _{3}<\varepsilon _{4}$$.

### Example 4.2

In this example, we deal with the second kind modified Bessel function $$\mathcal{K}_{\bar{\rho }}$$, given by 

$$\mathcal{K}_{\bar{\rho }}(z) =\frac{\pi }{2} \frac{\mathcal{J}_{-\bar{\rho }}(z)+\mathcal{J}_{\bar{\rho }}(z)}{\sin (\bar{\rho }\pi )}.$$

Let $$\bar{w}(z):=- ( \frac{\mathcal{K}_{\bar{\rho }}(z)}{z^{\bar{\rho }}} )'$$ with $$\bar{\rho }\in \mathcal{R}$$. Following , we have the following integral representation:

$$\mathcal{K}_{\bar{\rho }}(z)= \int _{0}^{\infty }e^{-z\,\cosh t}\cosh ( \bar{ \rho }t)\,\mathrm{d}t,\quad z>0.$$

One can easily observe that the function $$z\mapsto \mathcal{K}_{\bar{\rho }}(z)$$ is completely monotonic on $$(0,\infty )$$ for each $$\bar{\rho }\in \mathcal{R}$$. Also, we know that the product of two completely monotonic functions is also completely monotonic, then $$z\mapsto \bar{w}(z)$$ is a strictly completely monotonic function on $$(0,\infty )$$ for each $$\bar{\rho }>1$$. Thus, the function

\begin{aligned} &\bar{w}(z) =- \biggl( \frac{\mathcal{K}_{\bar{\rho }}(z)}{z^{\bar{\rho }}} \biggr)' = \frac{\mathcal{K}_{\bar{\rho }+1}(z)}{z^{\bar{\rho }}}; \\ &\bar{w}'(z) =\frac{\mathcal{K}_{\bar{\rho }+2}(z)}{z^{\bar{\rho }}} - \frac{\mathcal{K}_{\bar{\rho }+1}(z)}{z^{\bar{\rho }+1}} \end{aligned}
(4.2)

becomes strictly completely monotonic on $$(0,\infty )$$ for each $$\bar{\rho }>1$$. Hence $$\bar{w}(z)$$ becomes a convex function. Then, with the help of identities (4.2), and Remark 2.5 and Remark 2.6, respectively, we can deduce

\begin{aligned}& \biggl\vert \frac{{\varepsilon _{3}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }+1}(\varepsilon _{4}) +{\varepsilon _{4}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }+1}(\varepsilon _{3})}{2} + \frac{{\varepsilon _{3}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }}(\varepsilon _{4})-{\varepsilon _{4}^{\bar{\rho }}} \mathcal{K}_{\bar{\rho }}(\varepsilon _{3})}{\varepsilon _{4}-\varepsilon _{3}} \biggr\vert \\& \quad \leq (\varepsilon _{4}-\varepsilon _{3}) \biggl(4e^{\frac{1}{2}}-e- \frac{7}{2} \biggr) \\& \qquad {}\times\biggl\{ \frac{{\varepsilon _{4}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }+1}(\varepsilon _{3}) +{\varepsilon _{3}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }+1}(\varepsilon _{4})}{2} + \frac{{\varepsilon _{4}^{\bar{\rho }+1}}\mathcal{K}_{\bar{\rho }+2}(\varepsilon _{3}) +{\varepsilon _{3}^{\bar{\rho }+1}}\mathcal{K}_{\bar{\rho }+2}(\varepsilon _{4})}{2\varepsilon _{3}\, \varepsilon _{4}} \biggr\} \end{aligned}

and

\begin{aligned}& \biggl\vert \frac{{\varepsilon _{3}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }}(\varepsilon _{4}) -{\varepsilon _{4}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }}(\varepsilon _{3})}{\varepsilon _{4}-\varepsilon _{3}} + \biggl( \frac{2\varepsilon _{3}\varepsilon _{4}}{\varepsilon _{3}+\varepsilon _{4}} \biggr)^{\bar{\rho }} \mathcal{K}_{\bar{\rho }+1} \biggl( \frac{\varepsilon _{3}+\varepsilon _{4}}{2} \biggr) \biggr\vert \\& \quad \leq (\varepsilon _{4}-\varepsilon _{3}) \bigl(3+4e-8e^{\frac{1}{2}} \bigr) \\& \qquad {}\times \biggl\{ \frac{{\varepsilon _{4}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }+1}(\varepsilon _{3}) +{\varepsilon _{3}^{\bar{\rho }}}\mathcal{K}_{\bar{\rho }+1}(\varepsilon _{4})}{4} + \frac{{\varepsilon _{4}^{\bar{\rho }+1}}\mathcal{K}_{\bar{\rho }+2}(\varepsilon _{3}) +{\varepsilon _{3}^{\bar{\rho }+1}}\mathcal{K}_{\bar{\rho }+2}(\varepsilon _{4})}{4\varepsilon _{3}\,\varepsilon _{4}} \biggr\} \end{aligned}

for each $$\bar{\rho }>1$$ and $$\varepsilon _{3}, \varepsilon _{4}\in \mathcal{R}$$ with $$0<\varepsilon _{3}<\varepsilon _{4}$$.

### Example 4.3

In this example, we deal with the q-digamma function $$\Psi _{\rho }$$, given by 

\begin{aligned} \Psi _{\rho }(z)&=-\ln (1-\rho )+\ln (\rho )\sum _{\iota =0}^{\infty } \frac{\rho ^{\iota +z}}{1-\rho ^{\iota +z}} \\ &=-\ln (1-\rho )+\ln (\rho )\sum_{\iota =1}^{\infty } \frac{\rho ^{\iota \,z}}{1-\rho ^{\iota \,z}} \quad \text{for } 0< \rho < 1, \end{aligned}

or equivalently,

\begin{aligned} \Psi _{\rho }(z)&=-\ln (\rho -1)+\ln (\rho ) \Biggl(z- \frac{1}{2}- \sum_{ \iota =0}^{\infty } \frac{\rho ^{-(\iota +z)}}{1-\rho ^{-(\iota +z)}} \Biggr) \\ &=-\ln (\rho -1)+\ln (\rho ) \Biggl(z-\frac{1}{2}-\sum _{\iota =1}^{ \infty } \frac{\rho ^{-\iota \,z}}{1-\rho ^{-\iota \,z}} \Biggr)\quad \text{for \rho >1 and z>0}. \end{aligned}

From the above definitions, we can observe that the function $$z\mapsto \Psi _{\rho }'(z)$$ is completely monotonic on $$(0,\infty )$$ for each $$\rho >0$$. Consequently, we see that $$z\mapsto \Psi _{\rho }'(z)$$ is a convex function on $$(0,\infty )$$.

Set $$\bar{w}(z):=\Psi _{\rho }'(z)$$ with $$\rho >0$$, then we see that $$\bar{w}'(z):=\Psi _{\rho }''(z)$$ is completely monotonic on $$(0,\infty )$$. Then, with the help of Remark 2.5, we can obtain

$$\Psi _{\rho }' \biggl( \frac{\varepsilon _{3}+\varepsilon _{4}}{2} \biggr)\leq \biggl\vert \frac{\Psi _{\rho }(\varepsilon _{4}) -\Psi _{\rho }(\varepsilon _{3})}{\varepsilon _{4}-\varepsilon _{3}} \biggr\vert \leq \frac{\Psi _{\rho }'(\varepsilon _{3})+\Psi _{\rho }'(\varepsilon _{4})}{2}.$$
(4.3)

Combining inequalities (1.5) and (2.10), we obtain

$$\biggl\vert \frac{\Psi _{\rho }'(\varepsilon _{3})+\Psi _{\rho }'(\varepsilon _{4})}{2} - \frac{\Psi _{\rho }(\varepsilon _{4})-\Psi _{\rho }(\varepsilon _{3})}{\varepsilon _{4}-\varepsilon _{3}} \biggr\vert \leq \frac{\varepsilon _{4}-\varepsilon _{3}}{2} \biggl(4e^{ \frac{1}{2}}-e-\frac{7}{2} \biggr) \bigl( \bigl\vert \Psi _{\rho }''( \varepsilon _{3}) \bigr\vert + \bigl\vert \Psi _{\rho }''( \varepsilon _{4}) \bigr\vert \bigr).$$

Also, combining inequalities (1.5) and (2.15), we obtain

$$\biggl\vert \frac{\Psi _{\rho }(\varepsilon _{4})-\Psi _{\rho }(\varepsilon _{3})}{\varepsilon _{4}-\varepsilon _{3}} -\Psi _{\rho }' \biggl( \frac{\varepsilon _{3}+\varepsilon _{4}}{2} \biggr) \biggr\vert \leq \frac{\varepsilon _{4}-\varepsilon _{3}}{4} \bigl(3+4e-8e^{\frac{1}{2}} \bigr) \bigl( \bigl\vert \Psi _{\rho }''( \varepsilon _{3}) \bigr\vert + \bigl\vert \Psi _{\rho }''( \varepsilon _{4}) \bigr\vert \bigr).$$

### Example 4.4

We denote by $$\mathbb{C}^{n}$$ the set of $$n \times n$$ complex matrices, by $$\mathbb{M}_{n}$$ the algebra of $$n \times n$$ complex matrices, and by $$\mathbb{M}_{n}^{+}$$ the strictly positive matrices in $$\mathbb{M}_{n}$$. That is, $$A\in \mathbb{M}_{n}^{+}$$ if $$\langle Ax,x \rangle >0$$ for all nonzero $$x\in \mathbb{C}^{n}$$.

In , Sababheh proved that the function

$$f(\nu )= \bigl\Vert A^{\nu }XB^{1-\nu }+A^{1-\nu }XB^{\nu } \bigr\Vert ,\quad A, B \in \mathbb{M}_{n}^{+},\, X \in \mathbb{M}_{n}$$

is convex for all $$\nu \in [0,1]$$. Then, from , this nonnegative function is exp-convex on $$[0,1]$$.

Then, by using Propositions 2.1 and 2.2 with $$A, B \in M_{n}^{+}$$, $$X \in M_{n}$$, respectively, we have

\begin{aligned}& \bigl\Vert A^{\frac{\varepsilon _{3}+\varepsilon _{4}}{2}}XB^{1- \frac{\varepsilon _{3}+\varepsilon _{4}}{2}} +A^{1- \frac{\varepsilon _{3}+\varepsilon _{4}}{2}}XB^{ \frac{\varepsilon _{3}+\varepsilon _{4}}{2}} \bigr\Vert \\& \quad \leq \frac{ (e^{\frac{1}{2}}-1 )\Gamma (\kappa +1)}{(\varepsilon _{4}-\varepsilon _{3})^{\kappa }} \bigl[{\mathbf{J}}_{{\varepsilon _{3}}^{+}}^{\kappa } \bigl\Vert A^{ \varepsilon _{4}}XB^{1-\varepsilon _{4}}+A^{1-\varepsilon _{4}}XB^{ \varepsilon _{4}} \bigr\Vert +{\mathbf{J}}_{{\varepsilon _{4}}^{-}}^{ \kappa } \bigl\Vert A^{\varepsilon _{3}}XB^{1-\varepsilon _{3}} +A^{1- \varepsilon _{3}}XB^{\varepsilon _{3}} \bigr\Vert \bigr] \\& \quad \leq \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl(e\,\gamma ( \kappa ,1)+(-1)^{\kappa }\gamma (\kappa ,-1)-\frac{2}{\kappa } \biggr) \\& \qquad {}\times \bigl[ \bigl\Vert A^{\varepsilon _{3}}XB^{1-\varepsilon _{3}} +A^{1- \varepsilon _{3}}XB^{\varepsilon _{3}} \bigr\Vert + \bigl\Vert A^{ \varepsilon _{4}}XB^{1-\varepsilon _{4}} +A^{1-\varepsilon _{4}}XB^{ \varepsilon _{4}} \bigr\Vert \bigr] \end{aligned}
(4.4)

and

\begin{aligned}& \bigl\Vert A^{\frac{\varepsilon _{3}+\varepsilon _{4}}{2}}XB^{1- \frac{\varepsilon _{3}+\varepsilon _{4}}{2}}+A^{1- \frac{\varepsilon _{3}+\varepsilon _{4}}{2}}XB^{ \frac{\varepsilon _{3}+\varepsilon _{4}}{2}} \bigr\Vert \\& \quad \leq \frac{ (e^{\frac{1}{2}}-1 )2^{\kappa }\Gamma (\kappa +1)}{(\varepsilon _{4}-\varepsilon _{3})^{\kappa }} \\& \qquad {}\times \bigl[{\mathbf{J}}_{ ( \frac{\varepsilon _{3}+\varepsilon _{4}}{2} )^{+}}^{\kappa } \bigl\Vert A^{\varepsilon _{4}}XB^{1-\varepsilon _{4}}+A^{1-\varepsilon _{4}}XB^{ \varepsilon _{4}} \bigr\Vert +{\mathbf{J}}_{ ( \frac{\varepsilon _{3}+\varepsilon _{4}}{2} )^{-}}^{\kappa } \bigl\Vert A^{\varepsilon _{3}}XB^{1-\varepsilon _{3}}+A^{1-\varepsilon _{3}}XB^{ \varepsilon _{3}} \bigr\Vert \bigr] \\& \quad \leq \kappa \bigl(e^{\frac{1}{2}}-1 \bigr) \biggl(e\,2^{\kappa } \gamma \biggl(\kappa ,\frac{1}{2} \biggr)+(-2)^{\kappa } \gamma \biggl( \kappa ,-\frac{1}{2} \biggr)-\frac{2}{\kappa } \biggr) \\& \qquad {}\times \bigl[ \bigl\Vert A^{\varepsilon _{3}}XB^{1-\varepsilon _{3}} +A^{1- \varepsilon _{3}}XB^{\varepsilon _{3}} \bigr\Vert + \bigl\Vert A^{ \varepsilon _{4}}XB^{1-\varepsilon _{4}} +A^{1-\varepsilon _{4}}XB^{ \varepsilon _{4}} \bigr\Vert \bigr] \end{aligned}
(4.5)

for all $$\varepsilon _{3}, \varepsilon _{4}\in [0,1]$$, where $$\varepsilon _{3}<\varepsilon _{4}$$ and $$\kappa >0$$.

The following two examples are dedicated to Sect. 3.

### Example 4.5

Consider the fractional Zakharov–Kuznetsov $$\operatorname{ZK} (2,2,2)$$ equation :

$$D_{\varsigma }^{\kappa }u+ \bigl(u^{2} \bigr)_{x}+\frac{1}{8} \bigl(u^{2} \bigr)_{xxx}+ \frac{1}{8} \bigl(u^{2} \bigr)_{yyx}=0.$$
(4.6)

Denote $$f=u(x,y,T)$$, where $${T=\frac{t^{\kappa }}{\Gamma (1+\kappa )}}$$. Also, suppose that $$\varepsilon _{4}>0$$ for all $$s\in (0,1)$$. From equation (4.6), we have

$$D_{\varsigma }^{\kappa }u=- \biggl[ \bigl(u^{2} \bigr)_{x}+\frac{1}{8} \bigl(u^{2} \bigr)_{xxx}+ \frac{1}{8} \bigl(u^{2} \bigr)_{yyx} \biggr].$$
(4.7)

Applying inequality (3.3), we get

\begin{aligned}& (-1)^{n-\kappa -1}{u} \biggl(x,y,\frac{{\varepsilon _{4}}}{2} \biggr) \\& \quad \leq \frac{ (e^{\frac{1}{2}}-1 )s^{\kappa }}{{\varepsilon _{4}}^{n-\kappa }} \bigl[D_{s\varepsilon _{4}}^{\kappa } {u} (x,y,s\varepsilon _{4} ) +(-1)^{n-\kappa -1}D_{(1-s)\varepsilon _{4}}^{\kappa } {u} \bigl(x,y,(1-s)\varepsilon _{4} \bigr) \bigr], \end{aligned}
(4.8)

where $$D_{\varsigma }^{\kappa }u$$ is defined by (4.7).

### Example 4.6

Consider the fractional Zakharov–Kuznetsov $$\operatorname{ZK} (3,3,3)$$ equation 

$$D_{\varsigma }^{\kappa }w+ \bigl(w^{3} \bigr)_{x}+2 \bigl(w^{3} \bigr)_{xxx}+2 \bigl(w^{3} \bigr)_{yyx}=0.$$
(4.9)

Let us denote $$f=w(x,y,T)$$, where $${T=\frac{t^{\kappa }}{\Gamma (1+\kappa )}}$$. Also, suppose that $$\varepsilon _{4}>0$$ for all $$s\in (0,1)$$. From equation (4.9), we have

$$D_{\varsigma }^{\kappa }w=- \bigl[ \bigl(w^{3} \bigr)_{x}+2 \bigl(w^{3} \bigr)_{xxx}+2 \bigl(w^{3} \bigr)_{yyx} \bigr].$$
(4.10)

Applying inequality (3.3), we obtain

\begin{aligned}& (-1)^{n-\kappa -1}{w} \biggl(x,y,\frac{{\varepsilon _{4}}}{2} \biggr) \\& \quad \leq \frac{ (e^{\frac{1}{2}}-1 )s^{\kappa }}{{\varepsilon _{4}}^{n-\kappa }} \bigl[D_{s\varepsilon _{4}}^{\kappa } {w} (x,y,s\varepsilon _{4} ) + (-1)^{n-\kappa -1}D_{(1-s)\varepsilon _{4}}^{\kappa } {w} \bigl(x,y,(1-s)\varepsilon _{4} \bigr) \bigr], \end{aligned}
(4.11)

where $$D_{\varsigma }^{\kappa }w$$ is defined by (4.10).

## Conclusion

The study dealt with investigating new inequalities of HH-type for the new type of convex functions, namely the exp-convex function. The new results are established via the Riemann–Liouville fractional operators. Finally, we have applied our findings on special functions. By examining this, we can see the usefulness and efficiency of our results.

Not applicable.

## References

1. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

2. Atangana, A.: Fractional Operators with Constant and Variable Order with Application to Geo-Hydrology. Academic Press, New York (2017)

3. Martinez, M., Mohammed, P.O., Valdes, J.E.N.: Non-conformable fractional Laplace transform. Kragujev. J. Math. 46(3), 341–354 (2022)

4. Li, Z.B., He, J.-H.: Fractional complex transform for fractional differential equations. Math. Comput. Appl. 15, 970–973 (2010)

5. He, J.-H., Elagan, S.K., Li, Z.B.: Geometrical explanation of the fractional complex transform and derivative chain rule for fractional calculus. Phys. Lett. A 15, 257–259 (2012)

6. Wang, Q.L., He, J.-H., Li, Z.B.: Fractional model for heat conduction in polar bear hairs. Therm. Sci. 15, 1–5 (2011)

7. Li, Z.B., He, J.-H.: Fractional complex transform for fractional differential equations. Math. Comput. Appl. 15, 970–973 (2010)

8. Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)

9. Abdeljawad, T., Baleanu, D.: Integration by parts and its applications of a new nonlocal fractional derivative with Mittag-Leffler nonsingular kernel. J. Nonlinear Sci. Appl. 10(3), 1098–1107 (2017)

10. Mohammed, P.O., Abdeljawad, T., Jarad, F., Chu, Y.-M.: Existence and uniqueness of uncertain fractional backward difference equations of Riemann–Liouville type. Math. Probl. Eng. 2020, Article ID 6598682 (2020)

11. Alqudah, M.A., Mohammed, P.O., Abdeljawad, T.: Solution of singular integral equations via Riemann–Liouville fractional integrals. Math. Probl. Eng. 2020, Article ID 1250970 (2020)

12. Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the frame of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2018)

13. Yasemin, B., Baleanu, D.: Ostrowski type inequalities involving psi-Hilfer fractional integrals. Mathematics 7, 770 (2019)

14. Yasemin, B., Baleanu, D.: New aspects of Opial-type integral inequalities. Adv. Differ. Equ. 2018, 452 (2018)

15. Yasemin, B., Baleanu, D.: Hardy-type inequalities within fractional derivatives without singular kernel. J. Inequal. Appl. 2018, 304 (2018)

16. Basci, Y., Baleanu, D.: Certain Hermite–Hadamard inequalities for logarithmically convex functions with applications. Mathematics 7, 163 (2019)

17. Saker, S.H., Rezk, H.M., Abohela, I., Baleanu, D.: Refinement multidimensional dynamic inequalities with general kernels and measures. J. Inequal. Appl. 2019, 306 (2019)

18. Denton, Z., Vatsala, A.S.: Fractional integral inequalities and applications. Comput. Math. Appl. 59(3), 1087–1094 (2010)

19. Anastassiou, G.A.: Opial type inequalities involving Riemann–Liouville fractional derivatives of two functions with applications. Math. Comput. Model. 48, 344–374 (2008)

20. Baleanu, D., Mohammed, P.O., Zeng, S.: Inequalities of trapezoidal type involving generalized fractional integrals. Alex. Eng. J. 59, 2975–2984 (2020)

21. Mohammed, P.O.: New integral inequalities for preinvex functions via generalized beta function. J. Interdiscip. Math. 22(4), 539–549 (2019)

22. Mohammed, P.O.: Some new Hermite–Hadamard type inequalities for MT-convex functions on differentiable coordinates. J. King Saud Univ., Sci. 30, 258–262 (2018)

23. Baleanu, D., Mohammed, P.O., Vivas-Cortez, M., Rangel-Oliveros, Y.: Some modifications in conformable fractional integral inequalities. Adv. Differ. Equ. 2020, 374 (2020)

24. Mohammed, P.O., Abdeljawad, T.: Integral inequalities for a fractional operator of a function with respect to another function with nonsingular kernel. Adv. Differ. Equ. 2020, 363 (2020)

25. Vivas-Cortez, M., Abdeljawad, T., Mohammed, P.O., Rangel-Oliveros, Y.: Simpson’s integral inequalities for twice differentiable convex functions. Math. Probl. Eng. 2020, Article ID 1936461 (2020)

26. Abdeljawad, T., Ali, M.A., Mohammed, P.O., Kashuri, A.: On inequalities of Hermite–Hadamard–Mercer type involving Riemann–Liouville fractional integrals. AIMS Math. 5, 7316–7331 (2020)

27. Kadakal, M., Işcan, I.: Exponential type convexity and some related inequalities. J. Inequal. Appl. 2020, 82 (2020)

28. Sarikaya, M.Z., Set, E., Yaldiz, H., Başak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013)

29. Sarikaya, M.Z., Yildirim, H.: On Hermite–Hadamard type inequalities for Riemann–Liouville fractional integrals. Miskolc Math. Notes 17(2), 1049–1059 (2017)

30. Mohammed, P.O.: Hermite–Hadamard inequalities for Riemann–Liouville fractional integrals of a convex function with respect to a monotone function. Math. Methods Appl. Sci., 1–11 (2019). https://doi.org/10.1002/mma.5784

31. Mohammed, P.O., Abdeljawad, T.: Modification of certain fractional integral inequalities for convex functions. Adv. Differ. Equ. 2020, 69 (2020)

32. Mohammed, P.O., Brevik, I.: A new version of the Hermite–Hadamard inequality for Riemann–Liouville fractional integrals. Symmetry 12, 610 (2020). https://doi.org/10.3390/sym12040610

33. Mohammed, P.O., Sarikaya, M.Z.: Hermite–Hadamard type inequalities for F-convex function involving fractional integrals. J. Inequal. Appl. 2018, 359 (2018)

34. Mohammed, P.O., Sarikaya, M.Z.: On generalized fractional integral inequalities for twice differentiable convex functions. J. Comput. Appl. Math. 372, 112740 (2020)

35. Mohammed, P.O., Sarikaya, M.Z., Baleanu, D.: On the generalized Hermite–Hadamard inequalities via the tempered fractional integrals. Symmetry 12, 595 (2020). https://doi.org/10.3390/sym12040595

36. Han, J., Mohammed, P.O., Zeng, H.: Generalized fractional integral inequalities of Hermite–Hadamard-type for a convex function. Open Math. 18(1), 794–806 (2020)

37. Abdeljawad, T., Mohammed, P.O., Kashuri, A.: New modified conformable fractional integral inequalities of Hermite–Hadamard type with applications. J. Funct. Spaces 2020, Article ID 4352357 (2020)

38. Chu, H.-H., Rashid, S., Hammouch, Z., Chu, Y.-M.: New fractional estimates for Hermite–Hadamard–Mercer’s type inequalities. Alex. Eng. J. 59, 3079–3089 (2020)

39. Abdeljawad, T., Rashid, S., Hammouch, Z., et al.: Some new local fractional inequalities associated with generalized $$(s,m)$$-convex functions and applications. Adv. Differ. Equ. 2020, 406 (2020)

40. Rashid, S., Latif, M.A., Hammouch, Z., Chu, Y.-M.: Fractional integral inequalities for strongly h-preinvex functions for a kth order differentiable functions. Symmetry 11, 1448 (2020)

41. Rashid, S., Kalsoom, H., Hammouch, Z., Ashraf, R., Baleanu, D., Chu, Y.-M.: New multi-parametrized estimates having pth-order differentiability in fractional calculus for predominating h-convex functions in Hilbert space. Symmetry 12, 222 (2020)

42. Mohammed, P.O., Vivas-Cortez, M., Abdeljawad, T., Rangel-Oliveros, Y.: Integral inequalities of Hermite–Hadamard type for quasi-convex functions with applications. AIMS Math. 5, 7316–7331 (2020)

43. Mohammed, P.O., Abdeljawad, T., Kashuri, A.: Fractional Hermite–Hadamard–Fejér inequalities for a convex function with respect to an increasing function involving a positive weighted symmetric function. Symmetry 12, 1503 (2020)

44. Mohammed, P.O., Abdeljawad, T., Zeng, S., Kashuri, A.: Fractional Hermite–Hadamard integral inequalities for a new class of convex functions. Symmetry 12, 1485 (2020)

45. Magnasco, V.: Elementary Molecular Quantum Mechanics: Mathematical Methods and Applications, 2nd edn. Elsevier, New York (2013)

46. He, J.-H.: A short remark on fractional variational iteration method. Phys. Lett. A 375, 3362–3364 (2011)

47. He, J.-H.: A tutorial review on fractal spacetime and fractional calculus. Int. J. Theor. Phys. 53, 3698–3718 (2014)

48. He, J.-H.: Asymptotic methods for solitary solutions and compactons. Abstr. Appl. Anal. 2012, Article ID 916793 (2012)

49. He, J.-H.: Some asymptotic methods for strongly nonlinear equations. Int. J. Mod. Phys. B 20(10), 1141–1199 (2006)

50. Watson, G.N.: A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cambridge (1944)

51. Sababheh, M.: Convex functions and means of matrices (2016). arXiv:1606.08099v1 [math.FA]

52. Wang, K.-L.: Numerical method for fractional Zakharov–Kuznetsov equations with He’s fractional derivative. Therm. Sci. 23(4), 2163–2170 (2019)

## Acknowledgements

The second author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.

Not applicable.

## Author information

Authors

### Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

### Corresponding authors

Correspondence to Pshtiwan Othman Mohammed or Thabet Abdeljawad.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

Not applicable.

## Rights and permissions 