# Integral inequalities for a fractional operator of a function with respect to another function with nonsingular kernel

## Abstract

At first, we construct a connection between the Atangana–Baleanu and the Riemann–Liouville fractional integrals of a function with respect to a monotone function with nonsingular kernel. By examining this relationship and the iterated form of Prabhakar fractional model, we are able to find some new Hermite–Hadamard inequalities and related results on integral inequalities for the two models of fractional calculus which are defined using monotone functions with nonsingular kernels.

## Introduction

As we know, the fractional calculus is a fundamental model considered as a powerful tool in many fields, for example, rheology, dynamic systems, biophysics, electrical networks, blood flow phenomena; see for details [6, 32, 43, 52]. On September 1695 the fractional calculus was considered by Leibniz as a new model of mathematical analysis which involves derivatives and integrals taken to fractional orders or orders outside of the integer numbers. After Leibniz, many famous mathematicians and physicians have studied theory and application of this model for fractional derivatives and integrals and fractional differential equations; see for detail [12, 13, 35, 55]. Some of them were Grunwald, Liouville, Riemann–Letnikov, Caputo, and Atangana–Baleanu which we will consider in more detail in the next section. The inequality is a modern model of mathematical analysis that describes the growth rate of competing mathematical analysis. This model is also used in various fields such as integral equations, ordinary and partial differential equations [29, 59]. In particular, they have been successfully used in the study of fractional differential equations and sometimes called fractional integral inequalities. They have been vital in proving the uniqueness or existence of solutions for some well-known fractional differential equations and in providing boundedness to solve certain fractional boundary and initial value problems, see for detail [1, 7, 19, 24, 26, 33, 34, 41, 4851]. The rest of the article is organized as follows: In Sect. 2, we recall some basic definitions and tools about fractional derivatives with Mittag-Leffler and power law kernels of a function with respect to another function in the sense of Caputo and Riemann and their corresponding integrals. The existence of the strictly increasing function in the kernel allows us to include a large class of fractional operators, and hence our results will generalize and unify many existing results in the literature treating Hermite–Hadamard inequalities. We start Sect. 3 by introducing the corresponding fractional integral of the fractional operators with Mittag-Leffler kernels depending on a function and proving it for the first time. Then, we proceed to proving the Hermite–Hadamard fractional inequalities in the setting of these generalized fractional integrals. An example with supporting figures is presented in this section as well to clarify the proved main result. We devote Sect. 4 to presenting a related trapezoidal equality for such a class of fractional integrals. Finally, in Sect. 5, we outline our conclusions about the novel results we have proved in this short interesting study.

## Definitions and preliminaries

Always, it is important and necessary to specify which model or definition is being used because there are many different ways of defining fractional integrals and derivatives. The most frequent definition of fractional integrals and derivatives is the Riemann-Liouville one, in which fractional integrals and derivatives are defined as follows.

### Definition 2.1

([32, 43, 52])

For any $$\mathrm{L}^{1}$$ function $$f(x)$$ on an interval $$[\nu _{1},\nu_{2} ]$$ with $$x\in [\nu_{1},\nu_{2} ]$$, the $$\eta_{1}$$th left-RL fractional integral of $$f(x)$$ is defined by

$${}^{RL}{\mathtt{J}}^{\eta_{1}}_{\nu_{1}+}f(x):= \frac{1}{\varGamma(\eta_{1})} \int_{\nu_{1}}^{x}(x-\xi)^{\eta_{1}-1}f(\xi) \, \mathrm{d}\xi$$
(1)

for $$\operatorname {Re}(\eta_{1})>0$$. Also, for any $$C^{n}$$ function $$f(x)$$ on an interval $$[\nu_{1},\nu_{2} ]$$ with $$x\in [\nu _{1},\nu_{2} ]$$, the $$\eta_{1}$$th left-RL fractional derivative of $$f(x)$$ is defined by

$${}^{RL}{\mathtt{D}}^{\eta_{1}}_{\nu_{1}+}f(x):= \frac{\mathrm{d}^{n}}{\mathrm{d}x^{n}} {}^{RL}{\mathtt{J}}^{n-\eta_{1}}_{\nu_{1}+}f(x)$$
(2)

for $$n-1\leq \operatorname {Re}(\eta_{1})< n$$.

Observe that since $${}^{RL}{\mathtt{D}}^{-\eta_{1}}_{\nu_{1}+}f(x) ={}^{RL}{\mathtt{J}}^{\eta_{1}}_{\nu_{1}+}f(x)$$ and the derivative formula (2) is the analytic continuation of the integral formula (1) in $$\eta_{1}$$, thus differentiation and integration can be unified in a single operator that we call differintegration.

### Definition 2.2

()

For any $$\mathrm{L}^{1}$$ function $$f(x)$$ on an interval $$[\nu _{1},\nu_{2} ]$$ with $$x\in [\nu_{1},\nu_{2} ]$$, the $$\eta_{1}$$th right-RL fractional integral of $$f(x)$$ is defined by

$${}^{RL}{\mathtt{J}}^{\eta_{1}}_{\nu_{2}-}f(x):= \frac{1}{\varGamma(\eta_{1})} \int_{x}^{\nu_{2}}(\xi-x)^{\eta_{1}-1}f(\xi) \, \mathrm{d}\xi$$
(3)

for $$\operatorname {Re}(\eta_{1})>0$$. Also, for any $$C^{n}$$ function $$f(x)$$ on an interval $$[\nu_{1},\nu_{2} ]$$ with $$x\in [\nu _{1},\nu_{2} ]$$, the $$\eta_{1}$$th right-RL fractional derivative of $$f(x)$$ is defined by

$${}^{RL}{\mathtt{D}}^{\eta_{1}}_{\nu_{2}-}f(x):= (-1)^{n}\frac{\mathrm{d}^{n}}{\mathrm{d}x^{n}} {}^{RL}{ \mathtt{J}}^{n-\eta_{1}}_{\nu_{2}-}f(x)$$
(4)

for $$n-1\leq \operatorname {Re}(\eta_{1})< n$$.

In the recent decades, a strong modern direction of research in fractional calculus has brought the attention of interested researchers in various disciplines to investigate various possible ways to define fractional integrals and derivatives, often with different properties from the classical RL definition. Some of them are more effective than the RL model that can be used to model real-life data [8, 23]. One of the most recent models of fractional calculus discussed in this paper is the fractional calculus of a function with respect to another function (which is often called ψ-RL fractional calculus) that was firstly defined in the classical RL model by Osler  and the concept has been extended by many authors; e.g. [17, 56]. As shown in many papers cited below, it has been especially useful in real-world modeling.

### Definition 2.3

([17, 44, 56])

Suppose that $$(\nu_{1},\nu_{2} )\subseteq\mathfrak{R}$$ is a finite or infinite interval of the real numbers $$\mathfrak{R}$$ and $$\psi(x)$$ is an increasing positive monotone function on the interval $$[\nu_{1},\nu_{2} ]$$ with $$\psi'(x)\in\mathrm{L}^{1} (\nu_{1},\nu_{2} )$$. Then the ψ-RL fractional integrals of a function f with respect to another function $$\psi(x)$$ on $$[\nu_{1},\nu _{2} ]$$ is defined by

\begin{aligned} {\mathtt{J}}^{\eta_{1}}_{\nu_{1}+}f(x) = \frac{1}{\varGamma(\eta_{1})} \int_{\nu_{1}}^{x} \psi'(\xi) \bigl( \psi (x)-\psi(\xi) \bigr)^{\eta_{1}-1}f(\xi)\,\mathrm{d}\xi \end{aligned}
(5)

for $$\eta_{1}\in\mathbb{C}$$ and $$\operatorname {Re}(\eta_{1})>0$$. Furthermore, the ψ-R fractional derivatives of a function f with respect to another function $$\psi(x)$$ is defined by

\begin{aligned} {}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{{\nu_{1}}^{+}}f(x) = \biggl(\frac{1}{\psi'(x)}\frac{\mathrm{d}}{\mathrm{d}x} \biggr)^{n} \bigl({}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{n-\eta_{1}}_{{\nu _{1}}^{+}}f(x) \bigr) \end{aligned}
(6)

for $$\eta_{1}\in\mathbb{C}$$ with $$\operatorname {Re}(\eta_{1})\geq0$$ and $$n-1\leq \operatorname {Re}(\eta_{1})< n$$.

Special functions have a strong relationship with fractional calculus [28, 32], and the Mittag-Leffler function is a particular important one in this area, see e.g. [21, 22, 31]. There are two important models of fractional calculus which have been defined by integrals similar to (1) but with Mittag-Leffler (ML) functions in the kernel, namely the Atangana–Baleanu and Prabhakar models [9, 10].

### Definition 2.4

()

For any function $$f(x)$$ which is differentiable with $$f'\in\mathrm {L}^{1} [\nu_{1},\nu_{2} ]$$ and $$x\in [\nu_{1},\nu _{2} ]$$, the $$\eta_{1}$$th Atangana–Baleanu (AB) fractional derivative of $$f(x)$$ with respect to another function $$\psi(x)$$ in the RL sense is defined by

\begin{aligned} &{}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu _{1}+}f(x):= \frac{B(\eta_{1})}{(1-\eta_{1})\psi'(x)} \cdot\frac{\mathrm{d}}{\mathrm{d}x} \int_{\nu_{1}}^{x} \psi'( \xi)E_{\eta_{1}} \biggl(\frac{-\eta _{1}}{1-\eta_{1}} \bigl(\psi(x)-\psi(\xi) \bigr)^{\eta_{1}} \biggr)f(\xi) \,\mathrm{d}\xi, \end{aligned}
(7)

and in the Caputo sense it is defined by

\begin{aligned} &\nu {}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu _{1}+}f(x):= \frac{B(\eta_{1})}{1-\eta_{1}} \int_{\nu_{1}}^{x} E_{\eta_{1}} \biggl( \frac{-\eta_{1}}{1-\eta _{1}} \bigl(\psi(x)-\psi(\xi) \bigr)^{\eta_{1}} \biggr) f'(\xi) \,\mathrm{d}\xi \end{aligned}
(8)

for $$0<\eta_{1}<1$$, where $$\psi(x)$$ is as before, $$E_{\eta_{1}}(z)$$ is the standard one-parameter ML function, and $$B(\eta_{1})>0$$ is a normalization function that satisfies $$B(0)=B(1)=1$$.

It is clear that the above definitions are for left AB integrals and derivatives. In a natural way similar to Definition 2.2, we can define right AB integrals and derivatives possibly.

### Definition 2.5

([27, 46])

For any $$\mathrm{L}^{1}$$ function $$f(x)$$ on an interval $$[\nu _{1},\nu_{2} ]$$ with $$x\in [\nu_{1},\nu_{2} ]$$, the Prabhakar fractional integral operator is defined by

$${}^{P}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega }_{\nu_{1}+}f(x):= \int_{\nu_{1}}^{x}(x-\xi)^{\eta_{2}-1} E_{\eta_{1},\eta_{2}}^{\gamma} \bigl(\omega(x-\xi)^{\eta _{1}} \bigr)f( \xi) \,\mathrm{d}\xi$$
(9)

for $$\operatorname {Re}(\eta_{1})>0$$, $$\operatorname {Re}(\eta_{2})>0$$, and $$\gamma,\omega \in\mathbb{C}$$, where $$E_{\eta_{1},\eta_{2}}^{\gamma}(z)$$ is the three-parameter ML function.

Also, for any $$C^{n}$$ function $$f(x)$$ on an interval $$[\nu_{1},\nu _{2} ]$$ with $$x\in [\nu_{1},\nu_{2} ]$$, the Prabhakar fractional derivative operator is defined as follows:

$${}^{P}{\mathtt{D}}^{\eta_{1},\eta_{2},\gamma,\omega }_{\nu_{1}+}f(x):= \frac{\mathrm{d}^{n}}{\mathrm{d}x^{n}} \bigl({}^{P}{\mathtt{J}}^{\eta_{1},n-\eta_{2},-\gamma,\omega}_{\nu_{1}+}f(x) \bigr)$$
(10)

for $$\operatorname {Re}(\eta_{1})>0$$, $$n-1\leq \operatorname {Re}(\eta_{2})< n$$, and $$\gamma,\omega\in\mathbb{C}$$.

Again, the above definitions are for left Prabhakar integrals and derivatives. In a natural way similar to Definition 2.2, we can define right Prabhakar integrals and derivatives possibly.

### Remark 2.1

Observe that Definition 2.5 can be seen as a special case of the generalized Prabhakar model defined in .

### Definition 2.6

()

For any $$\mathrm{L}^{1}$$ function $$f(x)$$ on an interval $$[\nu _{1},\nu_{2} ]$$ with $$x\in [\nu_{1},\nu_{2} ]$$, the generalized Prabhakar fractional integral operator of a function $$f(x)$$ with respect to another function $$\psi(x)$$ is defined by

$${}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\nu_{1}+}f(x) := \int_{\nu_{1}}^{x} \bigl(\psi(x)-\psi(\xi) \bigr)^{\eta_{2}-1} E_{\eta_{1},\eta_{2}}^{\gamma,\kappa} \bigl(\omega \bigl( \psi(x)-\psi (\xi) \bigr)^{\eta_{1}} \bigr)f(\xi) \,\mathrm{d}\xi$$
(11)

for $$\operatorname {Re}(\eta_{1})>0$$, $$\operatorname {Re}(\eta_{2})>0$$, $$\operatorname {Re}(\kappa)>0$$, $$\operatorname {Re}(\kappa-\eta_{1})<1$$, and $$\gamma,\omega\in\mathbb{C}$$, where $$\psi(x)$$ is as before and $$E_{\eta_{1},\eta_{2}}^{\gamma,\kappa}(z)$$ is the generalized ML function defined by

$$E_{\eta_{1},\eta_{2}}^{\gamma,\kappa}(z):=\sum _{n=0}^{\infty} \frac{\varGamma(\gamma+\kappa n)z^{n}}{\varGamma(\gamma)\varGamma(\eta _{1} n+\eta_{2})}.$$
(12)

Also, for any $$C^{n}$$ function $$f(x)$$ on an interval $$[\nu_{1},\nu _{2} ]$$ with $$x\in [\nu_{1},\nu_{2} ]$$, the generalized Prabhakar fractional derivative operator of a function $$f(x)$$ with respect to another function $$\psi(x)$$ is defined by

$${}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{D}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\nu_{1}+}f(x) :=\frac{\mathrm{d}^{n}}{\mathrm{d}x^{n}} \bigl({}^{\hspace{9pt}P}_{\psi(x)}{ \mathtt{J}}^{\eta_{1},n-\eta _{2},-\gamma,\omega}_{\nu_{1}+}f(x) \bigr)$$
(13)

for $$\operatorname {Re}(\eta_{1})>0$$ and $$n-1\leq \operatorname {Re}(\eta_{2})< n$$ and $$\gamma,\omega\in\mathbb{C}$$.

It is important to see Definitions 2.4 and 2.6 as interesting analogues of the basic Definition 2.1 from a pure mathematical point of view. Also, they have their own properties consistent with those of the ML functions [5, 15, 18, 27]. On the other hand, if we look carefully from an applied science point of view, we can deduce that these models of fractional calculus can be matched with real data where power law behavior disappears [14, 20, 58].

In the current study, we point out the uniting topic of integral inequalities involving the aforementioned novel models of fractional calculus. Particularly, we consider the well-known Hermite–Hadamard (HH) inequality, which has been successfully studied for RL fractional integrals. Also, we prove some new results analogous to the classical results which are valid in the generalized AB and Prabhakar models of fractional calculus. Finally, a related inequality of trapezoidal type is pointed out.

## The new fractional HH-inequality

Our next findings are based on the following lemma.

### Lemma 3.1

For any$$\mathrm{L}^{1}$$function$$f(x)$$on an interval$$[\nu _{1},\nu_{2} ]$$with$$x\in [\nu_{1},\nu_{2} ]$$, the$$\eta_{1}$$th Atangana–Baleanu (AB) fractional integral of a function$$f(x)$$with respect to another function can be represented as follows:

$${}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\nu _{1}+}f(x):= \frac{\eta_{1}}{B(\eta_{1})} {}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\nu _{1}+}f(x)+ \frac{1-\eta_{1}}{B(\eta_{1})}f(x),\quad 0< \eta_{1}< 1,$$
(14)

where$$B(\eta_{1})$$and$$\psi(x)$$are as before.

### Proof

The expression (14) is well defined iff the ψ-RL integral $${}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\nu_{1}+}f(x)$$ is well defined, which matches our assumptions on f for the $$\eta_{1}$$th ψ-ABR fractional derivative to be well defined. Following  where the AB fractional derivatives of a function $$f(x)$$ with respect to another function $$\psi(x)$$ can be represented in the series form

\begin{aligned} {}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu _{1}+}f(x)&= \frac{B(\eta_{1})}{1-\eta_{1}} \sum_{n=0}^{\infty} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{n} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}}_{\nu_{1}+}f(x). \end{aligned}
(15)

It is sufficient if we show that

\begin{aligned} {}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu_{1}+} \bigl({}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\nu _{1}+}f(x) \bigr)=f(x) \end{aligned}

and

\begin{aligned} {}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\nu_{1}+} \bigl({}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu _{1}+}f(x) \bigr)=f(x) \end{aligned}

for each a, $$\eta_{1}$$, f, ψ as stated. By using (15), we deduce that

\begin{aligned} &{}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu_{1}+} \bigl({}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\nu _{1}+}f(x) \bigr) \\ &\quad ={}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu_{1}+} \biggl(\frac{\eta_{1}}{B(\eta_{1})} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\nu _{1}+}f(x)+\frac{1-\eta_{1}}{B(\eta_{1})}f(x) \biggr) \\ &\quad =\frac{\eta_{1}}{B(\eta_{1})}{}^{ABR}_{\psi(x)}{\mathtt {D}}^{\eta_{1}}_{\nu_{1}+} \bigl({}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\nu _{1}+}f(x) \bigr) +\frac{1-\eta_{1}}{B(\eta_{1})}{}^{ABR}_{\psi(x)}{ \mathtt {D}}^{\eta_{1}}_{\nu_{1}+}f(x) \\ &\quad =\frac{\eta_{1}}{1-\eta_{1}}\sum_{n=0}^{\infty} \biggl(\frac {-\eta_{1}}{1-\eta_{1}} \biggr)^{n} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}}_{\nu_{1}+} \bigl({}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\nu _{1}+}f(x) \bigr) \\ &\qquad {}+\sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{n} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}}_{\nu_{1}+}f(x) \\ &\quad =\sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{n} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}}_{\nu_{1}+}f(x) -\sum _{n=0}^{\infty} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{n+1} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}+\eta_{1}}_{\nu_{1}+}f(x) \\ &\quad =f(x); \\ &{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\nu_{1}+} \bigl({}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\nu _{1}+}f(x) \bigr) \\ &\quad =\frac{\eta_{1}}{B(\eta_{1})}{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt {J}}^{\eta_{1}}_{\nu_{1}+} \bigl({}^{ABR}_{\psi(x)}{ \mathtt{D}}^{\eta_{1}}_{\nu _{1}+}f(x) \bigr) +\frac{1-\eta_{1}}{B(\eta_{1})}{}^{ABR}_{\psi(x)}{ \mathtt {D}}^{\eta_{1}}_{\nu_{1}+}f(x) \\ &\quad =\frac{\eta_{1}}{1-\eta_{1}}{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt {J}}^{\eta_{1}}_{\nu_{1}+} \Biggl(\sum_{n=0}^{\infty} \biggl(\frac{-\eta_{1}}{1-\eta _{1}} \biggr)^{n} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}}_{\nu _{1}+}f(x) \Biggr) \\ &\qquad {}+\sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{n} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}}_{\nu_{1}+}f(x) \\ &\quad =\sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{n} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}}_{\nu_{1}+}f(x) -\sum _{n=0}^{\infty} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{n+1} {}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{n\eta_{1}+\eta_{1}}_{\nu_{1}+}f(x) \\ &\quad =f(x); \end{aligned}

which completes the proof. □

### Remark 3.1

The discrete version of (15) was obtained in  and its generalization to the case of generalized ML function case together with its discrete counterpart can be found in  and , respectively.

Now, we recall the standard Hermite–Hadamard (HH) inequality for an $$\mathrm{L}^{1}$$ convex function $$f: [\nu_{1},\nu_{2} ]\to \mathfrak{R}$$ as follows:

$$f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)\leq\frac{1}{\nu_{2}-\nu _{1}} \int_{\nu_{1}}^{\nu_{2}}f(x) \,\mathrm{d}x\leq \frac{f(\nu _{1})+f(\nu_{2})}{2}.$$
(16)

In 2013, HH-inequality (16) was generalized to fractional integrals of RL type by Sarikaya et al. , which is as follows:

$$f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)\leq\frac{\varGamma(\eta _{1}+1)}{2(\nu_{2}-\nu_{1})^{\eta_{1}}} \bigl[{}^{RL}{\mathtt{J}}_{\nu_{1}+}^{\eta_{1}}f(\nu _{2})+{}^{RL}{\mathtt{J}}_{\nu_{2}-}^{\eta_{1}}f( \nu _{1}) \bigr] \leq\frac{f(\nu_{1})+f(\nu_{2})}{2},$$
(17)

where f is as before and $$\eta_{1}>0$$.

Most recently, in 2019, HH-inequality (16) was generalized to fractional integrals of ψ-RL type by Liu et al.  for an $$\mathrm{L}^{1}$$ convex and positive function $$f: [\nu_{1},\nu _{2} ]\rightarrow\mathfrak{R}$$ and for an increasing positive monotone function ψ on $$(\nu_{1},\nu_{2} ]$$ with $$\psi'(x)\in\mathrm{L}^{1} (\nu_{1},\nu_{2} )$$:

\begin{aligned} &f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\ &\quad \leq\frac{\varGamma(\eta _{1}+1)}{2(\nu_{2}-\nu_{1})^{\eta_{1}}} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\ &\quad \leq\frac{f(\nu_{1})+f(\nu_{2})}{2},\quad \eta_{1}>0. \end{aligned}
(18)

Many further results have been derived from inequality (17); for details, see [16, 25, 34, 38, 47]. But so far such inequalities have not been investigated for other models of fractional calculus involving Mittag-Leffler kernels. We do so here, presenting the main results in the following three theorems.

### Theorem 3.1

If$$f: [\nu_{1},\nu_{2} ]\rightarrow\mathfrak{R}$$is an$$\mathrm{L}^{1}$$convex function, ψis an increasing positive function on$$(\nu_{1},\nu_{2} ]$$with$$\psi'(x)\in\mathrm{L}^{1} (\nu_{1},\nu_{2} )$$, and$$\eta _{1}\in(0,1)$$, then we have

\begin{aligned} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)\leq{}& \frac{B(\eta _{1})\varGamma(\eta_{1})}{2 [(\nu_{2}-\nu_{1})^{\eta _{1}}+(1-\eta_{1}) \varGamma(\eta_{1}) ]} \bigl[{}^{\hspace{4pt}AB}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) \\ &{}+{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \bigr] \\ \leq{}& \frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}
(19)

### Proof

From (14), we see that the AB fractional integral of a function $$f(x)$$ is clearly a linear combination of $$f(x)$$ itself with its ψ-RL fractional integral. Then we have

\begin{aligned} &{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{1})+}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \\ &\quad = \biggl[\frac{\eta_{1}}{B(\eta_{1})}{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu_{1})+} (f\circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr)+\frac{1-\eta _{1}}{B(\eta_{1})}(f\circ \psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) \biggr] \\ &\qquad {}+ \biggl[\frac{\eta_{1}}{B(\eta_{1})}{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu_{2})-} (f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr)+\frac{1-\eta _{1}}{B(\eta_{1})}(f\circ \psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \biggr] \\ &\quad =\frac{\eta_{1}}{B(\eta_{1})} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu_{1})+} (f\circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu _{2})-}(f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\ &\qquad {}+\frac{1-\eta_{1}}{B(\eta_{1})} \bigl[f(\nu_{1})+f( \nu_{2}) \bigr]. \end{aligned}

Since the quantities $$\varGamma(\eta_{1}+1)$$ and $$2(\nu_{2}-\nu _{1})^{\eta_{1}}$$ are positive, then by using inequality (18), we get

\begin{aligned} &\frac{2(\nu_{2}-\nu_{1})^{\eta_{1}}}{\varGamma(\eta_{1}+1)}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\ &\quad \leq{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \\ &\quad \leq\frac{2(\nu_{2}-\nu_{1})^{\eta_{1}}}{\varGamma(\eta _{1}+1)}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

By multiplying by $$\frac{\eta_{1}}{B(\eta_{1})}$$ and adding $$\frac {1-\eta_{1}}{B(\eta_{1})}[f(\nu_{1})+f(\nu_{2})]$$, we get AB integrals in the middle:

\begin{aligned} &\frac{2(\nu_{2}-\nu_{1})^{\eta_{1}}}{\varGamma(\eta_{1})B(\eta _{1})}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) + \frac{1-\eta_{1}}{B(\eta_{1})} \bigl[f(\nu_{1})+f(\nu_{2}) \bigr] \\ &\quad \leq{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \\ &\quad \leq\frac{2(\nu_{2}-\nu_{1})^{\eta_{1}}}{\varGamma(\eta_{1})B(\eta _{1})}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2}+\frac{1-\eta _{1}}{B(\eta_{1})} \bigl[f(\nu_{1})+f(\nu_{2}) \bigr]. \end{aligned}
(20)

By convexity of f, we have $$f (\frac{\nu_{1}+\nu _{2}}{2} )\leq\frac{f(\nu_{1})+f(\nu_{2})}{2}$$, so we can deduce

\begin{aligned} & \biggl[\frac{2(\nu_{2}-\nu_{1})^{\eta_{1}}}{\varGamma(\eta _{1})B(\eta_{1})}+\frac{2(1-\eta_{1})}{B(\eta_{1})} \biggr] f \biggl( \frac{\nu_{1}+\nu_{2}}{2} \biggr) \\ &\quad \leq{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \\ &\quad \leq \biggl[\frac{2(\nu_{2}-\nu_{1})^{\eta_{1}}}{\varGamma(\eta _{1})B(\eta_{1})}+\frac{2(1-\eta_{1})}{B(\eta_{1})} \biggr] \frac{f(\nu_{1})+f(\nu_{2})}{2}, \end{aligned}

which rearranges to the required result. □

### Corollary 3.1

Theorem 3.1with$$\psi(x)=x$$becomes

\begin{aligned} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)&\leq\frac{B(\eta _{1})\varGamma(\eta_{1})}{2 [(\nu_{2}-\nu_{1})^{\eta _{1}}+(1-\eta_{1}) \varGamma(\eta_{1}) ]} \bigl[{}^{AB}{\mathtt{J}}_{\nu _{1}+}^{\eta_{1}}f( \nu_{2}) +{}^{AB}{\mathtt{J}}_{\nu_{2}-}^{\eta_{1}}f( \nu_{1}) \bigr] \\ &\leq\frac{f(\nu_{1})+f(\nu_{2})}{2}, \end{aligned}

which is proved by Fernandez and Mohammed in [19, Proposition 2.1].

### Theorem 3.2

If$$f: [\nu_{1},\nu_{2} ]\rightarrow\mathfrak{R}$$is an$$\mathrm{L}^{1}$$convex function, ψis an increasing positive function on$$(\nu_{1},\nu_{2} ]$$with$$\psi'(x)\in\mathrm{L}^{1} (\nu_{1},\nu_{2} )$$, and$$\eta _{1}\in(0,1)$$, then we have

\begin{aligned}& \mathcal{Q}_{1}(\eta_{1}, \nu_{2}-\nu_{1})f \biggl(\frac{\nu_{1}+\nu _{2}}{2} \biggr)+ \mathcal{Q}_{2}(\eta_{1},\nu_{2}- \nu_{1})\frac {f(\nu_{1})+f(\nu_{2})}{2} \\& \quad \leq\frac{1-\eta_{1}}{2B(\eta_{1})E_{\eta_{1}} (\frac{-\eta _{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}} )} \\& \qquad {}\times \bigl[{}^{ABR}_{\psi(x)}{\mathtt{D}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{ABR}_{\psi(x)}{\mathtt{D}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq\mathcal{Q}_{2}(\eta_{1}, \nu_{2}- \nu_{1})f \biggl(\frac{\nu _{1}+\nu_{2}}{2} \biggr)+ \mathcal{Q}_{1}( \eta_{1},\nu_{2}-\nu _{1}) \frac{f(\nu_{1})+f(\nu_{2})}{2}, \end{aligned}
(21)

where the multipliers$$\mathcal{Q}_{1}(\eta_{1},\nu_{2}-\nu_{1})$$and$$\mathcal{Q}_{2}(\eta_{1},\nu_{2}-\nu_{1})$$sum to 1, therefore organizing weighted averages on both ends of the inequality, and these are defined as follows:

\begin{aligned} &\mathcal{Q}_{1}(\eta_{1},\nu_{2}- \nu_{1})=\frac{E_{2\eta_{1}} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu _{1})^{2\eta_{1}} )}{ E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu _{1})^{\eta_{1}} )}; \\ &\mathcal{Q}_{2}(\eta_{1},\nu_{2}- \nu_{1})=\frac{\frac{-\eta _{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}}E_{2\eta_{1},\eta_{1}+1} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu _{1})^{2\eta_{1}} )}{E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta _{1}} )}. \end{aligned}

### Proof

Following , we have the following key result:

$${}^{ABR}_{\psi(x)}{\mathtt{D}}^{\eta_{1}}_{\psi^{-1}(\nu _{1})+}f(x)= \frac{B(\eta_{1})}{1-\eta_{1}}\sum_{k=0}^{\infty} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{k\eta_{1}}_{\psi^{-1}(\nu_{1})+}f(x).$$
(22)

The series being locally uniformly convergent (see ). From this formula, we see that the AB derivatives can be written purely in terms of RL integrals. In view of this result, many results can be proved in the AB model directly from the corresponding results in the RL model.

Here, we apply the HH-inequality for fractional ψ-RL integrals (18) with $$\eta_{1}$$ replaced by $$k\eta_{1}$$:

\begin{aligned} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)\leq{}&\frac{\varGamma(k\eta _{1}+1)}{2(\nu_{2}-\nu_{1})^{k\eta_{1}}} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{k\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) \\ &{}+{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{k\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \bigr] \\ \leq{}& \frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

Multiplying on all sides of the inequality by positive constants, we get

\begin{aligned}& \frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\& \quad \leq{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{k\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{k\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \\& \quad \leq\frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta _{1}+1)}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

The constant $$\frac{-\eta_{1}}{1-\eta_{1}}$$ is negative since $$0<\eta_{1}<1$$. So, we need to split the above inequality into two cases according to the parity of k.

If k is even, then we have

\begin{aligned}& \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}\frac{2(\nu_{2}-\nu _{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\& \quad \leq \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{k\eta_{1}}(f \circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{k\eta _{1}}(f \circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k} \frac{2(\nu _{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} \cdot\frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

If k is odd, then we have

\begin{aligned}& \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}\frac{2(\nu_{2}-\nu _{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} \cdot \frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \quad \leq \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{k\eta_{1}}(f \circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr)+{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt {J}}_{\psi^{-1}(\nu_{2})-}^{k\eta_{1}}(f \circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k} \frac{2(\nu _{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr). \end{aligned}

Summing over all k and making use of the series formula (22), we deduce

\begin{aligned}& \sum_{k\text{ even}} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}\frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\& \qquad {}+\sum_{k\text{ odd}} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k} \frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)}\cdot \frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \quad \leq\frac{1-\eta_{1}}{B(\eta_{1})} \bigl[{}^{ABR}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{1})+}^{\eta_{1}} (f\circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{ABR}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq\sum_{k\text{ even}} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}\frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} \cdot\frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \qquad {}+\sum_{k\text{ odd}} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k} \frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr). \end{aligned}

The sums over even and odd k can be rewritten more precisely as follows:

\begin{aligned}& \sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2n}\frac{2(\nu_{2}-\nu_{1})^{2n\eta_{1}}}{\varGamma(2n\eta_{1}+1)} f \biggl( \frac{\nu_{1}+\nu_{2}}{2} \biggr) \\& \qquad {}+\sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2n+1} \frac{2(\nu_{2}-\nu_{1})^{(2n+1)\eta_{1}}}{\varGamma((2n+1)\eta _{1}+1)}\cdot \frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \quad \leq\frac{1-\eta_{1}}{B(\eta_{1})} \bigl[{}^{ABR}_{\psi(x)} I_{\psi^{-1}(\nu_{1})+}^{\eta_{1}}(f\circ\psi) \bigl(\psi ^{-1}( \nu_{2}) \bigr) +{}^{ABR}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq\sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2n} \frac{2(\nu_{2}-\nu_{1})^{2n\eta_{1}}}{\varGamma(2n\eta_{1}+1)}\cdot \frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \qquad {}+\sum_{n=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2n+1}\frac{2(\nu_{2}-\nu_{1})^{(2n+1)\eta_{1}}}{ \varGamma((2n+1)\eta_{1}+1)}f \biggl( \frac{\nu_{1}+\nu_{2}}{2} \biggr). \end{aligned}

The infinite series appearing here can be re-explained as the power series for ML functions:

\begin{aligned}& 2E_{2\eta_{1}} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}(\nu_{2}-\nu_{1})^{2\eta_{1}} \biggr)f \biggl(\frac{\nu_{1}+\nu _{2}}{2} \biggr) \\& \qquad {}+2 \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr) (\nu_{2}-\nu _{1})^{\eta_{1}} E_{2\eta_{1},\eta_{1}+1} \biggl( \biggl( \frac{-\eta_{1}}{1-\eta _{1}} \biggr)^{2}(\nu_{2}- \nu_{1})^{2\eta_{1}} \biggr)\frac{f(\nu _{1})+f(\nu_{2})}{2} \\& \quad \leq\frac{1-\eta_{1}}{B(\eta_{1})} \bigl[{}^{ABR}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{1})+}^{\eta_{1}} (f\circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{ABR}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq2E_{2\eta_{1}} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}( \nu_{2}-\nu_{1})^{2\eta_{1}} \biggr) \frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \qquad {}+2 \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr) (\nu_{2}-\nu _{1})^{\eta_{1}}E_{2\eta_{1},\eta_{1}+1} \biggl( \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}(\nu_{2}-\nu _{1})^{2\eta_{1}} \biggr)f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr). \end{aligned}
(23)

We observe that the two functions $$E_{2\eta_{1}} ( (\frac {-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu_{1})^{2\eta_{1}} )$$ and $$(\frac{-\eta_{1}}{1-\eta_{1}} )(\nu_{2}-\nu _{1})^{\eta_{1}} E_{2\eta_{1},\eta_{1}+1} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu _{1})^{2\eta_{1}} )$$ that appear as multipliers, since they arise from the even and odd parts of a single infinite series, become a simpler ML function when they are added together:

\begin{aligned} &E_{2\eta_{1}} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}( \nu_{2}-\nu_{1})^{2\eta_{1}} \biggr) + \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr) (\nu_{2}-\nu _{1})^{\eta_{1}}E_{2\eta_{1},\eta_{1}+1} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}( \nu_{2}-\nu _{1})^{2\eta_{1}} \biggr) \\ &\quad =\sum_{k\text{ even}} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}\frac{(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} +\sum_{k\text{ odd}} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}\frac{(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} \\ &\quad =\sum_{k=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}\frac{(\nu_{2}-\nu_{1})^{k\eta_{1}}}{\varGamma(k\eta_{1}+1)} \\ &\quad =E_{\eta_{1}} \biggl(\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu _{1})^{\eta_{1}} \biggr). \end{aligned}

Also, the sum function $$E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta _{1}}(\nu_{2}-\nu_{1})^{\eta_{1}} )$$ is strictly positive , so it allows us to divide by it in inequality (23) to get

\begin{aligned}& \frac{E_{2\eta_{1}} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu_{1})^{2\eta_{1}} )}{ E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu _{1})^{\eta_{1}} )}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\& \qquad {}+\frac{\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta _{1}}E_{2\eta_{1},\eta_{1}+1} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu _{1})^{2\eta_{1}} )}{ E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu _{1})^{\eta_{1}} )}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \quad \leq\frac{1-\eta_{1}}{2B(\eta_{1})E_{\eta_{1}} (\frac{-\eta _{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}} )} \\& \qquad {}\times \bigl[{}^{ABR}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{ABR}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq\frac{E_{2\eta_{1}} ( (\frac{-\eta_{1}}{1-\eta _{1}} )^{2}(\nu_{2}-\nu_{1})^{2\eta_{1}} )}{ E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu _{1})^{\eta_{1}} )}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2} \\& \qquad {}+\frac{\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta _{1}}E_{2\eta_{1},\eta_{1}+1} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu _{1})^{2\eta_{1}} )}{ E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu _{1})^{\eta_{1}} )}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr), \end{aligned}

which is the required result. □

### Corollary 3.2

Theorem 3.2with$$\psi(x)=x$$becomes

\begin{aligned}& \mathcal{Q}_{1}(\eta_{1},\nu_{2}- \nu_{1})f \biggl(\frac{\nu_{1}+\nu _{2}}{2} \biggr)+\mathcal{Q}_{2}( \eta_{1},\nu_{2}-\nu_{1}) \frac {f(\nu_{1})+f(\nu_{2})}{2} \\& \quad \leq\frac{1-\eta_{1}}{2B(\eta_{1})E_{\eta_{1}} (\frac{-\eta _{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}} )} \bigl[{}^{ABR}{\mathtt{D}}_{\nu_{1}+}^{\eta_{1}}f( \nu _{2})+{}^{ABR}{\mathtt{D}}_{\nu_{2}-}^{\eta_{1}}f( \nu _{1}) \bigr] \\& \quad \leq\mathcal{Q}_{2}(\eta_{1}, \nu_{2}- \nu_{1})f \biggl(\frac{\nu _{1}+\nu_{2}}{2} \biggr)+ \mathcal{Q}_{1}( \eta_{1},\nu_{2}-\nu _{1}) \frac{f(\nu_{1})+f(\nu_{2})}{2}, \end{aligned}

where the multipliers$$\mathcal{Q}_{1}(\eta_{1},\nu_{2}-\nu_{1})$$and$$\mathcal{Q}_{2}(\eta_{1},\nu_{2}-\nu_{1})$$are defined as follows:

\begin{aligned} &\mathcal{Q}_{1}(\eta_{1},\nu_{2}- \nu_{1})=\frac{E_{2\eta_{1}} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2} (\nu_{2}-\nu_{1})^{2\eta_{1}} )}{E_{\eta_{1}} (\frac {-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}} )}; \\ &\mathcal{Q}_{2}(\eta_{1},\nu_{2}- \nu_{1})=\frac{\frac{-\eta _{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}}E_{2\eta_{1},\eta_{1}+1} ( (\frac{-\eta_{1}}{1-\eta_{1}} )^{2}(\nu_{2}-\nu _{1})^{2\eta_{1}} )}{E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta _{1}} )}, \end{aligned}

which is proved by Fernandez and Mohammed in [19, Theorem 2.1].

### Example 3.1

We verify the result of Theorem 3.2 for $$\psi(x)=x$$ and the convex function $$f(x)=e^{3x}$$. Due to , we have

$${}^{RL}{\mathtt{J}}^{\eta_{1}}_{c+}e^{3x}=e^{3x}3^{-\eta _{1}} \frac{\gamma(\eta_{1},3(x-c))}{\varGamma(\eta_{1})}, \qquad {}^{RL}{\mathtt{J}}^{\eta _{1}}_{c-}e^{3x}=e^{3x}(-3)^{-\eta_{1}} \frac{\gamma(\eta _{1},3(x-c))}{\varGamma(\eta_{1})}.$$
(24)

By making use of the series formula (22), we have

\begin{aligned} &{}^{ABR}{\mathtt{D}}^{\eta_{1}}_{c+}e^{3x}= \frac{B(\eta _{1})}{1-\eta_{1}}e^{3x}\sum_{k=0}^{\infty} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}3^{-k\eta_{1}} \frac {\gamma(k\eta_{1},3(x-c))}{\varGamma(k\eta_{1})}, \\ &{}^{ABR}{\mathtt{D}}^{\eta_{1}}_{c-}e^{3x}= \frac{B(\eta _{1})}{1-\eta_{1}}e^{3x} \sum_{k=0}^{\infty} \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}(-3)^{-k\eta_{1}} \frac{\gamma(k\eta_{1},3(x-c))}{\varGamma(k\eta_{1})}. \end{aligned}

Substituting the above expressions into HH-inequality (21), we get

\begin{aligned}& \mathcal{Q}_{1}(\eta_{1},\nu_{2}- \nu_{1})e^{3(\nu_{1}+\nu _{2})/2}+\mathcal{Q}_{2}( \eta_{1},\nu_{2}-\nu_{1}) \frac{e^{3\nu _{1}}+e^{3\nu_{2}}}{2} \\& \quad \leq\frac{1-\eta_{1}}{2B(\eta_{1})E_{\eta_{1}} (\frac{-\eta _{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}} )} \Biggl[\frac{B(\eta_{1})}{1-\eta_{1}}e^{3\nu_{2}} \sum_{k=0}^{\infty} \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k} 3^{-k\eta_{1}} \frac{\gamma(k\eta_{1},3(\nu_{2}-\nu_{1}))}{\varGamma(k\eta_{1})} \\& \qquad {}+\frac{B(\eta_{1})}{1-\eta_{1}}e^{3\nu_{1}}\sum _{k=0}^{\infty } \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{k}(-3)^{-k\eta_{1}} \frac{\gamma(k\eta_{1},3(\nu_{1}-b))}{\varGamma(k\eta_{1})} \Biggr] \\& \quad \leq\mathcal{Q}_{2}(\eta_{1}, \nu_{2}- \nu_{1})e^{3(\nu_{1}+\nu _{2})/2}+ \mathcal{Q}_{1}( \eta_{1},\nu_{2}- \nu_{1}) \frac{e^{3\nu _{1}}+e^{3\nu_{2}}}{2}. \end{aligned}

\begin{aligned}& \mathcal{Q}_{1}(\eta_{1},\nu_{2}- \nu_{1})e^{3(\nu_{1}+\nu _{2})/2}+\mathcal{Q}_{2}( \eta_{1},\nu_{2}-\nu_{1}) \frac{e^{3\nu _{1}}+e^{3\nu_{2}}}{2} \\& \quad \leq\frac{1}{2E_{\eta_{1}} (\frac{-\eta_{1}}{1-\eta_{1}}(\nu _{2}-\nu_{1})^{\eta_{1}} )} \\& \qquad {}\times \sum_{k=0}^{\infty} \frac{(\frac{-\eta_{1}}{1-\eta_{1}})^{k}}{\varGamma(k\eta_{1})} \bigl[3^{-k\eta_{1}}e^{3\nu_{2}} \gamma \bigl(k \eta_{1},3(\nu_{2}-\nu_{1}) \bigr)+(-3)^{-k\eta_{1}}e^{3\nu _{1}}\gamma \bigl(k\eta_{1},3( \nu_{1}-b) \bigr) \bigr] \\& \quad \leq\mathcal{Q}_{2}(\eta_{1}, \nu_{2}- \nu_{1})e^{3(\nu_{1}+\nu _{2})/2}+ \mathcal{Q}_{1}( \eta_{1},\nu_{2}- \nu_{1}) \frac{e^{3\nu _{1}}+e^{3\nu_{2}}}{2}, \end{aligned}

or dropping the multiplier $$\mathcal{Q}$$ leads to

\begin{aligned}& 2E_{2\eta_{1}} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}( \nu_{2}-\nu_{1})^{2\eta_{1}} \biggr)e^{3(\nu_{1}+\nu_{2})/2} \\& \qquad {}+\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta_{1}}E_{2\eta _{1},\eta_{1}+1} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}( \nu_{2}-\nu _{1})^{2\eta_{1}} \biggr) \bigl(e^{3\nu_{1}}+e^{3\nu_{2}} \bigr) \\& \quad \leq\sum_{k=0}^{\infty} \frac{(\frac{-\eta_{1}}{1-\eta _{1}})^{k}}{\varGamma(k\eta_{1})} \bigl[3^{-k\eta_{1}}e^{3\nu_{2}} \gamma \bigl(k \eta_{1},3(\nu_{2}-\nu_{1}) \bigr)+(-3)^{-k\eta_{1}}e^{3\nu _{1}}\gamma \bigl(k\eta_{1},3( \nu_{1}-b) \bigr) \bigr] \\& \quad \leq2\frac{-\eta_{1}}{1-\eta_{1}}(\nu_{2}-\nu_{1})^{\eta _{1}}E_{2\eta_{1},\eta_{1}+1} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}( \nu_{2}-\nu _{1})^{2\eta_{1}} \biggr)e^{3(\nu_{1}+\nu_{2})/2} \\& \qquad {}+E_{2\eta_{1}} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2}(\nu_{2}- \nu_{1})^{2\eta_{1}} \biggr) \bigl(e^{3\nu_{1}}+e^{3\nu_{2}} \bigr). \end{aligned}

For a specific value of $$\eta_{1}\in (0,\frac{1}{2} )$$ and $$\nu_{1}=0$$, $$\nu_{2}=1$$, this inequality becomes

\begin{aligned}& 2E_{2\eta_{1}} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2} \biggr)e^{3/2} +\frac{-\eta_{1}}{1-\eta_{1}}E_{2\eta_{1},\eta_{1}+1} \biggl( \biggl(\frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2} \biggr) \bigl(1+e^{3} \bigr) \\& \quad \leq\sum_{k=0}^{\infty} \frac{(\frac{-\eta_{1}}{1-\eta _{1}})^{k}}{\varGamma(k\eta_{1})} \bigl[3^{-k\eta_{1}}e^{3} \gamma(k \eta_{1},3)+(-3)^{-k\eta_{1}}\gamma(k\eta_{1},-3) \bigr] \\& \quad \leq2\frac{-\eta_{1}}{1-\eta_{1}}E_{2\eta_{1},\eta_{1}+1} \biggl( \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2} \biggr) e^{3/2}+E_{2\eta_{1}} \biggl( \biggl( \frac{-\eta_{1}}{1-\eta_{1}} \biggr)^{2} \biggr) \bigl(1+e^{3} \bigr). \end{aligned}
(25)

The three functions given by the left-, middle-, and right-hand sides of the double inequality (25) are plotted in Fig. 1 against $$\eta_{1}\in (0,\frac {1}{2} )$$ to demonstrate clearly that both inequalities are valid.

### Theorem 3.3

If$$f: [\nu_{1},\nu_{2} ]\rightarrow\mathfrak{R}$$is an$$\mathrm{L}^{1}$$convex function, ψis an increasing positive function on$$(\nu_{1},\nu_{2} ]$$with$$\psi'(x)\in\mathrm{L}^{1} (\nu_{1},\nu_{2} )$$, and$$\eta _{1},\eta_{2},\gamma,\omega>0$$, then we have

\begin{aligned} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)&\leq \frac{{}^{\hspace{9pt}P}_{\psi(x)} {\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\psi^{-1}(\nu _{1})+}(f\circ\psi) (\psi^{-1}(\nu_{2}) ) +{}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\psi^{-1}(\nu_{2})-} (f\circ\psi) (\psi^{-1}(\nu_{1}) )}{ 2(\nu_{2}-\nu_{1})^{\eta_{2}}E_{\eta_{1},\eta_{2}+1}^{\gamma } (\omega(\nu_{2}-\nu_{1})^{\eta_{1}} )} \\ & \leq\frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}
(26)

### Proof

As in the theorem proof, analogous to (22), we have the following key result due to :

$${}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\psi^{-1}(\nu_{1})+}f(x)= \sum_{k=0}^{\infty} \frac{\varGamma(\gamma+k)\omega^{k} }{\varGamma(\gamma)k!} {}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{k\eta_{1}+\eta_{2}}_{\psi ^{-1}(\nu_{1})+}f(x).$$
(27)

Again, this series is locally uniformly convergent (see ).

By making use of HH-inequality (18) and replacing $$\eta _{1}$$ by $$k\eta_{1}+\eta_{2}$$, we get

\begin{aligned} f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)\leq{}&\frac{\varGamma(k\eta _{1}+\eta_{2}+1)}{2(\nu_{2}-\nu_{1})^{k\eta_{1}+\eta_{2}}} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{k\eta_{1}+\eta_{2}}(f \circ\psi) \bigl(\psi^{-1}(\nu _{2}) \bigr) \\ &{}+{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{k\eta _{1}+\eta_{2}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \bigr] \leq \frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

Since the multiplier in the central term is positive and $$\gamma, \omega>0$$ in series (27), so we can proceed as follows:

\begin{aligned}& \frac{\varGamma(\gamma+k)\omega +}{\varGamma(\gamma)k!}\cdot \frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}+\eta_{2}}}{\varGamma(k\eta _{1}+\eta_{2}+1)}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\& \quad \leq\frac{\varGamma(\gamma+k)\omega +}{\varGamma(\gamma)k!} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{k\eta_{1}+\eta_{2}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{k\eta _{1}+\eta_{2}} (f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad \leq\frac{\varGamma(\gamma+k)\omega +}{\varGamma(\gamma)k!} \cdot\frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}+\eta_{2}}}{\varGamma(k\eta _{1}+\eta_{2}+1)}\cdot \frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

Summing over all k to get

\begin{aligned}& \sum_{k=0}^{\infty}\frac{\varGamma(\gamma+k)\omega +}{\varGamma (\gamma)k!} \cdot\frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}+\eta_{2}}}{\varGamma(k\eta _{1}+\eta_{2}+1)}f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr) \\& \quad \leq{}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\psi^{-1}(\nu_{1})+} (f\circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\psi^{-1}(\nu_{2})-} (f\circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \\& \quad \leq\sum_{k=0}^{\infty} \frac{\varGamma(\gamma+k)\omega +}{\varGamma (\gamma)k!}\cdot\frac{2(\nu_{2}-\nu_{1})^{k\eta_{1}+\eta_{2}}}{ \varGamma(k\eta_{1}+\eta_{2}+1)}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

The left- and right-hand sides series in this inequality can be rewritten as the power series for the three-parameter ML function:

\begin{aligned}& 2(\nu_{2}-\nu_{1})^{\eta_{2}}E_{\eta_{1},\eta_{2}+1}^{\gamma } \bigl(\omega(\nu_{2}-\nu_{1})^{\eta_{1}} \bigr)f \biggl(\frac {\nu_{1}+\nu_{2}}{2} \biggr) \\& \quad \leq{}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\psi^{-1}(\nu_{1})+} (f\circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{9pt}P}_{\psi(x)}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\psi^{-1}(\nu_{2})-} (f\circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \\& \quad \leq2(\nu_{2}-\nu_{1})^{\eta_{2}}E_{\eta_{1},\eta_{2}+1}^{\gamma } \bigl(\omega(\nu_{2}-\nu_{1})^{\eta_{1}} \bigr) \frac{f(\nu _{1})+f(\nu_{2})}{2}. \end{aligned}

The result follows by a simple rearrangement. □

### Corollary 3.3

Theorem 3.3with$$\psi(x)=x$$becomes

$$f \biggl(\frac{\nu_{1}+\nu_{2}}{2} \biggr)\leq\frac{{}^{P}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{\nu _{1}+}f(\nu_{2}) +{}^{P}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega }_{\nu_{2}-}f(\nu_{1})}{2(\nu_{2}-\nu_{1})^{\eta_{2}} E_{\eta_{1},\eta_{2}+1}^{\gamma} (\omega(\nu_{2}-\nu_{1})^{\eta_{1}} )}\leq \frac{f(\nu _{1})+f(\nu_{2})}{2},$$

which is proved by Fernandez and Mohammed in [19, Theorem 2.2].

### Example 3.2

We verify our result in Theorem 3.3 for $$\psi(x)=x$$ and the convex function $$f(x)=e^{2x}$$ on the interval $$[0,1]$$. By making use of (24) and (27), it follows that

\begin{aligned} &{}^{P}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega}_{d+}e^{2x} =e^{2x}\sum_{k=0}^{\infty} \frac{\varGamma(\gamma+k)\omega +}{\varGamma(\gamma)k!}2^{-k\eta_{1}-\eta_{2}} \frac{\gamma(k\eta_{1}+\eta_{2},2(x-d))}{\varGamma(k\eta_{1}+\eta_{2})}, \\ &{}^{P}{\mathtt{J}}^{\eta_{1},\eta_{2},\gamma,\omega }_{d-}e^{2x}=e^{2x} \sum_{k=0}^{\infty} \frac{\varGamma(\gamma+k)\omega +}{\varGamma(\gamma)k!}(-2)^{-k\eta _{1}-\eta_{2}} \frac{\gamma(k\eta_{1}+\eta_{2},2(x-d))}{\varGamma(k\eta_{1}+\eta_{2})}. \end{aligned}

Substituting the above expressions into HH-inequality (26), we get

\begin{aligned} e&\leq\frac{e^{2}\sum_{k=0}^{\infty}\frac{\varGamma(\gamma+k)\omega +}{\varGamma(\gamma)k!}2^{-k\eta_{1}-\eta_{2}} \frac{\gamma(k\eta_{1}+\eta_{2},2)}{\varGamma(k\eta_{1}+\eta _{2})}+\sum_{k=0}^{\infty} \frac{\varGamma(\gamma+k)\omega +}{\varGamma(\gamma)k!}(-2)^{-k\eta _{1}-\eta_{2}} \frac{\gamma(k\eta_{1}+\eta_{2},-2)}{\varGamma(k\eta_{1}+\eta _{2})}}{2E_{\eta_{1},\eta_{2}+1}^{\gamma}(\omega)} \\ & \leq\frac{1+e^{2}}{2}, \end{aligned}

which may be simplified to

\begin{aligned} 2e\leq{}&\frac{1}{\varGamma(\gamma)E_{\eta_{1},\eta_{2}+1}^{\gamma }(\omega)}\sum _{k=0}^{\infty} \frac{\varGamma(\gamma+k)\omega +}{k!\varGamma(k\eta_{1}+\eta _{2})} \bigl[e^{2} 2^{-k\eta_{1}-\eta_{2}} \gamma(k \eta_{1}+ \eta_{2},2) \\ &{}+(-2)^{-k\eta_{1}-\eta_{2}}\gamma(k\eta_{1}+\eta_{2},-2) \bigr]\leq1+e^{2}. \end{aligned}
(28)

For further illustration of this result, we set $$\omega=1$$ and allow $$\eta_{2}$$ to vary between 0 and 1. Also, for several choices of $$\eta_{1}$$ and γ, the results are shown in Fig. 2. In each situation, the middle inequality of (28) is between the constant values of the left- and right-hand sides.

## A related integral equality

Hermite–Hadamard (HH) inequalities are strongly connected with further well-known integral inequalities which are said to be of trapezoidal type in the literature, see e.g. [11, 3642, 47, 53, 54]. In the coming theorem, we prepare an equality of trapezoidal type for the new integral operator. Also, we believe this result will be vital information for the future studies of these models of fractional calculus.

### Theorem 4.1

Suppose that$$f: [\nu_{1},\nu_{2} ]\rightarrow\mathfrak {R}$$is an$$\mathrm{L}^{1}$$function with$$\eta_{1}\in(0,1)$$. Also, suppose that$$f'\in\mathrm{L}^{1}( [\nu_{1},\nu_{2} )]$$, andψis an increasing positive function on$$(\nu_{1},\nu_{2} ]$$with$$\psi'(x)\in\mathrm{L}^{1} (\nu_{1},\nu_{2} )$$, then we have

\begin{aligned}& \frac{f(\nu_{1})+f(\nu_{2})}{2}-\frac{B(\eta_{1})\varGamma(\eta _{1})}{2 [(\nu_{2}-\nu_{1})^{\eta_{1}}+(1-\eta_{1})\varGamma (\eta_{1}) ]} \bigl[{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) \\& \qquad {}+{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad = \frac{(\nu_{2}-\nu_{1})^{\eta_{1}-1}}{2 [(\nu_{2}-\nu _{1})^{\eta_{1}}+(1-\eta_{1})\varGamma(\eta_{1}) ]} \\& \qquad {}\times \int_{\psi^{-1}(\nu_{1})}^{\psi^{-1}(\nu_{2})} \bigl[ \bigl(\psi (\xi)- \nu_{1} \bigr)^{\eta_{1}}- \bigl(\nu_{2}-\psi(\xi) \bigr)^{\eta_{1}} \bigr] \bigl(f'\circ\psi \bigr) (\xi) \psi'(\xi) \,\mathrm{d}\xi. \end{aligned}
(29)

### Proof

By making use of Lemma 3.1, we get

\begin{aligned} &{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu _{1})+}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr)= \frac{B(\eta_{1})}{\eta_{1}}{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt {J}}^{\eta_{1}}_{\psi^{-1}(\nu_{1})+} (f\circ\psi) \bigl(\psi^{-1}( \nu_{2}) \bigr)-\frac{1-\eta _{1}}{\eta_{1}}f(\nu_{2}); \\ &{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu _{2})-}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr)= \frac{B(\eta_{1})}{\eta_{1}}{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt {J}}^{\eta_{1}}_{\psi^{-1}(\nu_{2})-} (f\circ\psi) \bigl(\psi^{-1}( \nu_{1}) \bigr)-\frac{1-\eta _{1}}{\eta_{1}}f(\nu_{1}). \end{aligned}

By adding the last two inequalities together and then multiplying by $$\frac{\varGamma(\eta_{1}+1)}{2(\nu_{2}-\nu_{1})^{\eta_{1}}}>0$$, we obtain

\begin{aligned} &\frac{\varGamma(\eta_{1}+1)}{2(\nu_{2}-\nu_{1})^{\eta_{1}}} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{ \mathtt{J}}^{\eta_{1}}_{\psi ^{-1}(\nu_{1})+}f(\nu_{2}) +{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu _{2})-}f( \nu_{1}) \bigr] \\ &\quad =\frac{B(\eta_{1})\varGamma(\eta_{1})}{2(\nu_{2}-\nu_{1})^{\eta_{1}}} \bigl[{}^{\hspace{4pt}AB}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{4pt}AB}_{\psi(x)}{ \mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f\circ\psi) \bigl( \psi^{-1}(\nu_{1}) \bigr) \bigr] \\ &\qquad {}-\frac{(1-\eta_{1})\varGamma(\eta_{1})}{(\nu_{2}-\nu_{1})^{\eta _{1}}}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2}. \end{aligned}

This gives

\begin{aligned}& \frac{f(\nu_{1})+f(\nu_{2})}{2}-\frac{\varGamma(\eta_{1}+1)}{2(\nu _{2}-\nu_{1})^{\eta_{1}}} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\psi ^{-1}(\nu_{1})+}f( \nu_{2}) +{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu _{2})-}f( \nu_{1}) \bigr] \\& \quad =\frac{(\nu_{2}-\nu_{1})^{\eta_{1}}+(1-\eta_{1})\varGamma(\eta _{1})}{(\nu_{2}-\nu_{1})^{\eta_{1}}}\cdot\frac{f(\nu_{1})+f(\nu_{2})}{2} -\frac{B(\eta_{1})\varGamma(\eta_{1})}{2(\nu_{2}-\nu_{1})^{\eta_{1}}} \\& \qquad {}\times \bigl[{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu _{1})+}^{\eta_{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) +{}^{\hspace{4pt}AB}_{\psi(x)}{\mathtt{J}}_{\psi^{-1}(\nu_{2})-}^{\eta _{1}}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \bigr]. \end{aligned}
(30)

Following [30, Lemma 3.1], it follows that

\begin{aligned}& \frac{f(\nu_{1})+f(\nu_{2})}{2}-\frac{\varGamma(\eta_{1}+1)}{2(\nu _{2}-\nu_{1})^{\eta_{1}}} \bigl[{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\psi ^{-1}(\nu_{1})+}(f \circ\psi) \bigl(\psi^{-1}(\nu_{2}) \bigr) \\& \qquad {} +{}^{\hspace{6pt}RL}_{\psi(x)}{\mathtt{J}}^{\eta_{1}}_{\psi^{-1}(\nu _{2})-}(f \circ\psi) \bigl(\psi^{-1}(\nu_{1}) \bigr) \bigr] \\& \quad =\frac{1}{2(\nu_{2}-\nu_{1})} \int_{\psi^{-1}(\nu_{1})}^{\psi ^{-1}(\nu_{2})} \bigl[ \bigl(\psi(\xi)- \nu_{1} \bigr)^{\eta_{1}}- \bigl(\nu _{2}-\psi(\xi) \bigr)^{\eta_{1}} \bigr] \bigl(f'\circ\psi \bigr) (\xi) \psi'(\xi) \,\mathrm{d}\xi. \end{aligned}
(31)

Making use of equations (30) and (31) completes the proof. □

### Corollary 4.1

Theorem 4.1with$$\psi(x)=x$$becomes

\begin{aligned}& \frac{f(\nu_{1})+f(\nu_{2})}{2}-\frac{B(\eta_{1})\varGamma(\eta _{1})}{2 [(\nu_{2}-\nu_{1})^{\eta_{1}}+(1-\eta_{1})\varGamma (\eta_{1}) ]} \bigl[{}^{AB}{ \mathtt{J}}_{\nu_{1}+}^{\eta_{1}}f(\nu _{2})+{}^{AB}{ \mathtt{J}}_{\nu_{2}-}^{\eta_{1}}f(\nu _{1}) \bigr] \\& \quad =\frac{(\nu_{2}-\nu_{1})^{\eta_{1}+1}}{2 [(\nu_{2}-\nu _{1})^{\eta_{1}}+(1-\eta_{1})\varGamma(\eta_{1}) ]} \int_{0}^{1} \bigl[(1-\xi)^{\eta_{1}}- \xi^{\eta_{1}} \bigr]f' \bigl(t\nu _{1}+(1-t) \nu_{2} \bigr) \,\mathrm{d}\xi, \end{aligned}

which is proved by Fernandez and Mohammed in [19, Theorem 3.1].

## Conclusions

In this article, we have performed a connection between the Atangana–Baleanu and Riemann–Liouville fractional integrals of a function with respect to an increasing function with nonsingular kernel. Also, we have recalled the iterated formula of the Prabhakar fractional operator implemented by Fernandez and Baleanu . In view of these indices, we have presented new efficient inequalities of Hermite–Hadamard type (HH-type) in the context of fractional calculus with respect to functions involving nonsingular kernels. In fact, our findings generalize those in . Due to the extensive recent studies and applications of AB and Prabhakar fractional operators, we believe that our results will be important for the future studies of those models of fractional calculus and integral inequality.

## References

1. 1.

Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017, 130 (2017)

2. 2.

Abdeljawad, T.: Fractional operators with generalized Mittag-Leffler kernels and their differintegrals. Chaos Solitons Fractals 29, 023102 (2019)

3. 3.

Abdeljawad, T.: Fractional difference operators with discrete generalized Mittag-Leffler kernels. Chaos Solitons Fractals 126, 315–324 (2019)

4. 4.

Abdeljawad, T., Al-Mdallal, Q.M.: Discrete Mittag-Leffler kernel type fractional difference initial value problems and Gronwall’s inequality. J. Comput. Appl. Math. 339, 218–230 (2018)

5. 5.

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)

6. 6.

Acay, B., Bas, E., Abdeljawad, T.: Fractional economic models based on market equilibrium in the frame of different type kernels. Chaos Solitons Fractals 130, 109438 (2020)

7. 7.

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

8. 8.

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

9. 9.

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)

10. 10.

Baleanu, D., Fernandez, A.: On some new properties of fractional derivatives with Mittag-Leffler kernel. Commun. Nonlinear Sci. Numer. Simul. 59, 444–462 (2018)

11. 11.

Baleanu, D., Mohammed, P.O., Zeng, S.: Inequalities of trapezoidal type involving generalized fractional integrals. Alex. Eng. J. https://doi.org/10.1016/j.aej.2020.03.039

12. 12.

Baleanu, D., Shiri, B.: Collocation methods for fractional differential equations involving non-singular kernel. Chaos Solitons Fractals 116, 136–145 (2018)

13. 13.

Baleanu, D., Shiri, B., Srivastava, H.M., Al Qurashi, M.: A Chebyshev spectral method based on operational matrix for fractional differential equations involving non-singular Mittag-Leffler kernel. Adv. Differ. Equ. 2018, 353 (2018)

14. 14.

Bonyah, E., Atangana, A., Elsadany, A.A.: A fractional model for predator-prey with omnivore. Chaos 29, 013136 (2019)

15. 15.

Djida, J.-D., Atangana, A., Area, I.: Numerical computation of a fractional derivative with non-local and non-singular kernel. Math. Model. Nat. Phenom. 12(3), 4–13 (2017)

16. 16.

Dragomir, S.S., Bhatti, M.I., Iqbal, M., Muddassar, M.: Some new Hermite–Hadamard’s type fractional integral inequalities. J. Comput. Anal. Appl. 18(4), 655–661 (2015)

17. 17.

Fernandez, A., Baleanu, D.: Differintegration with respect to functions in fractional models involving Mittag-Leffler functions. SSRN Electron. J. (2018). https://doi.org/10.2139/ssrn.3275746

18. 18.

Fernandez, A., Baleanu, D., Srivastava, H.M.: Series representations for models of fractional calculus involving generalised Mittag-Leffler functions. Commun. Nonlinear Sci. Numer. Simul. 67, 517–527 (2019)

19. 19.

Fernandez, A., Mohammed, P.O.: Hermite–Hadamard inequalities in fractional calculus defined using Mittag-Leffler kernels. Math. Methods Appl. Sci., 1–18 (2020). https://doi.org/10.1002/mma.6188

20. 20.

Garra, R., Garrappa, R.: The Prabhakar or three parameter Mittag-Leffler function: theory and application. Commun. Nonlinear Sci. Numer. Simul. 56, 314–329 (2018)

21. 21.

Gorenflo, R., Kilbas, A.A., Mainardi, F., Rogosin, V.: Mittag-Leffler Functions, Related Topics and Applications. Springer, Berlin (2014)

22. 22.

Haubold, H.J., Mathai, A.M., Saxena, R.K.: Mittag-Leffler functions and their applications. J. Appl. Math. 2011, Article ID 298628 (2011)

23. 23.

Hristov, J.: The Craft of Fractional Modelling in Science and Engineering. MDPI, Basel (2018)

24. 24.

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)

25. 25.

Kavurmaci, H., Avci, M., Ozdemir, M.E.: New inequalities of Hermite–Hadamard type for convex functions with applications. J. Inequal. Appl. 2011, 86 (2011)

26. 26.

Khan, H., Abdeljawad, T., Tunc, C., Alkhazzan, A., Khan, A.: Minkowskis inequality for the AB-fractional integral operator. J. Inequal. Appl. 2019, 96 (2019)

27. 27.

Kilbas, A.A., Saigo, M., Saxena, R.K.: Generalized Mittag-Leffler function and generalized fractional calculus operators. Integral Transforms Spec. Funct. 15(1), 31–49 (2004)

28. 28.

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

29. 29.

Lakshmikantham, V., Leela, S.: Differential and Integral Inequalities: Theory and Applications: Volume I: Ordinary Differential Equations. Academic Press, New York (1969)

30. 30.

Liu, K., Wang, J., O’Regan, D.: On the Hermite–Hadamard type inequality for ψ-Riemann–Liouville fractional integrals via convex functions. J. Inequal. Appl. 2019, 27 (2019)

31. 31.

Mathai, A.M., Haubold, H.J.: Mittag-Leffler functions and fractional calculus. In: Special Functions for Applied Scientists. Springer, New York (2008)

32. 32.

Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

33. 33.

Mohammed, P.O.: Some integral inequalities of fractional quantum type. Malaya J. Mat. 4(1), 93–99 (2016)

34. 34.

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

35. 35.

Mohammed, P.O.: A generalized uncertain fractional forward difference equations of Riemann–Liouville type. J. Math. Res. 11(4), 43–50 (2019)

36. 36.

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

37. 37.

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

38. 38.

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

39. 39.

Mohammed, P.O., Hamasalh, F.K.: New conformable fractional integral inequalities of Hermite–Hadamard type for convex functions. Symmetry 11(2), 263 (2019). https://doi.org/10.3390/sym11020263

40. 40.

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

41. 41.

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

42. 42.

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

43. 43.

Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, San Diego (1974)

44. 44.

Osler, T.J.: Fractional derivatives of a composite function. SIAM J. Math. Anal. 1, 288–293 (1970)

45. 45.

Pollard, H.: The completely monotonic character of the Mittag-Leffler function $$E_{\alpha}(-x)$$. Bull. Am. Math. Soc. 54(12), 1115–1116 (1948)

46. 46.

Prabhakar, T.R.: A singular integral equation with a generalized Mittag Leffler function in the kernel. Yokohama Math. J. 19, 7–15 (1971)

47. 47.

Qi, F., Mohammed, P.O., Yao, J.C., Yao, Y.H.: Generalized fractional integral inequalities of Hermite–Hadamard type for $$(\alpha,m)$$-convex functions. J. Inequal. Appl. 2019, 135 (2019)

48. 48.

Rashid, S., Abdeljawad, T., Jarad, F., Noor, M.A.: Some estimates for generalized Riemann–Liouville fractional integrals of exponentially convex functions and their applications. Mathematics 7, 807 (2019)

49. 49.

Rashid, S., Jarad, F., Noor, M.A., Noor, K.I., Baleanu, D., Liu, J.-B.: On Grüss inequalities within generalized K-fractional integrals. Adv. Differ. Equ. 2020, 203 (2020)

50. 50.

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)

51. 51.

Rashid, S., Noor, M.A., Noor, K.I., Chu, Y.-M.: Ostrowski type inequalities in the sense of generalized K-fractional integral operator for exponentially convex functions. AIMS Math. 5(3), 2629–2645 (2020)

52. 52.

Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Taylor & Francis, London (2002) [orig. ed. in Russian, Nauka i Tekhnika, Minsk, 1987]

53. 53.

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)

54. 54.

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

55. 55.

Shiri, B., Baleanu, D.: System of fractional differential algebraic equations with applications. Chaos Solitons Fractals 120, 203–212 (2019)

56. 56.

Sousa, J.V.C., Oliveira, E.C.: On the Ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)

57. 57.

Srivastava, H.M., Tomovski, Z.: Fractional calculus with an integral operator containing a generalized Mittag-Leffler function in the kernel. Appl. Math. Comput. 211(1), 198–210 (2009)

58. 58.

Uçar, S., Uçar, E., Özdemir, N., Hammouch, Z.: Mathematical analysis and numerical simulation for a smoking model with Atangana–Baleanu derivative. Chaos Solitons Fractals 118, 300–306 (2019)

59. 59.

Walter, W.: Differential and Integral Inequalities, vol. 55. Springer, Berlin (2012) [orig. ed. in German; Springer Tracts in Natural Philosophy, 1964]

### 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.

Not applicable.

## Author information

Authors

### Contributions

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

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

Not applicable.

## Rights and permissions 