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.

1 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, 48–51]. 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.

2 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

([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 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 [44] 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

([17])

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 [57].

Definition 2.6

([17])

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.

3 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 [17] 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 [4] and its generalization to the case of generalized ML function case together with its discrete counterpart can be found in [2] and [3], 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. [53], 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. [30] 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 [17], 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 [17]). 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 [45], 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 [32], 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}$$

Additional simplification process gives

$$\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.

Figure 1

A plot illustration for Example 3.1

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 [17]:

$$ {}^{\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 [17]).

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.

Figure 2

Plot illustrations for Example 3.2

4 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, 36–42, 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].

5 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 [17]. 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 [19]. 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.