Skip to main content

Hermite-Hadamard type inequalities for the generalized k-fractional integral operators

Abstract

We firstly give a modification of the known Hermite-Hadamard type inequalities for the generalized k-fractional integral operators of a function with respect to another function. We secondly establish several Hermite-Hadamard type inequalities for the generalized k-fractional integral operators of a function with respect to another function. The results presented here, being very general, are pointed out to be specialized to yield some known results. Relevant connections of the various results presented here with those involving relatively simple fractional integral operators are also indicated.

1 Introduction and preliminaries

A function \(f:I \rightarrow \mathbb{R}\) is said to be convex if the following inequality holds:

$$ f \bigl( tx+ ( 1-t ) y \bigr) \leq tf ( x ) + ( 1-t ) f ( y ) \quad \bigl(x, y\in I; t\in [ 0,1 ] \bigr), $$
(1)

where I is an interval in the real line \(\mathbb{R}\). Here and in the following, let \(\mathbb{C}\), \(\mathbb{R}\), \(\mathbb{R}^{+}\), and \(\mathbb{N}\) be the sets of complex numbers, real numbers, positive real numbers, and positive integers, and let \(\mathbb{N}_{0}:=\mathbb{N} \cup \{0\}\) and \(\mathbb{R}^{+}_{0}:= \mathbb{R}^{+} \cup \{0\}\).

One of the best-known inequalities for convex functions is the following Hermite-Hadamard inequality: If \(f:I\subseteq \mathbb{R}\rightarrow \mathbb{R}\) (I is an interval) is a convex function and \(a, b \in I\) with \(a< b\), then

$$\begin{aligned} f \biggl( \frac{a+b}{2} \biggr) \leq \frac{1}{b-a} \int_{a}^{b}f ( x )\,dx\leq \frac{f ( a ) +f ( b ) }{2}. \end{aligned}$$
(2)

The Hermite-Hadamard inequality in (2) has attracted many mathematicians’ attention who have presented a variety of generalizations, extensions, and variants, which are called Hermite-Hadamard type inequalities (see, e.g., [14] and the references cited therein).

Recently, several Hermite-Hadamard type inequalities associated with fractional integrals have been investigated. Here, we aim to establish several generalized Hermite-Hadamard type integral inequalities for the generalized k-fractional integral operators with respect to another function. The results presented here, being very general, are also pointed out to be specialized to yield some known results. Relevant connections of the various results presented here with those involving relatively simple fractional integral operators are also indicated.

To do this, we recall some definitions and known results. Let \([a,b]\) (\(-\infty < a< b<\infty \)) be a finite interval on the real axis \(\mathbb{R}\). The Riemann-Liouville fractional integrals \(J_{a+}^{ \alpha }f\) and \(J_{b-}^{\alpha }f\) of order \(\alpha \in \mathbb{C}\) (\(\Re (\alpha )>0\)) with \(a\geq 0\) and \(b >0\) are defined, respectively, by

$$ \bigl( J_{a+}^{\alpha }f \bigr) (x):= \frac{1}{\Gamma (\alpha )} \int_{a} ^{x} ( x-t ) ^{\alpha -1} f(t)\,dt \quad \bigl(x>a; \Re ( \alpha )>0 \bigr) $$
(3)

and

$$ \bigl( J_{b-}^{\alpha }f \bigr) (x):= \frac{1}{\Gamma (\alpha )} \int_{x} ^{b} ( t-x ) ^{\alpha -1}f(t)\,dt \quad \bigl(x< b; \Re (\alpha )>0 \bigr). $$
(4)

Here \(\Gamma (\alpha )\) is the familiar Gamma function (see, e.g., [5], Section 1.1). For more details and properties of the fractional integral operators (3) and (4), we refer the reader, for example, to [614] and the references therein.

Let \(\Omega =[a,b]\) (\(-\infty \leq a< b \leq \infty \)) be a finite or infinite interval on the real axis \(\mathbb{R}\). We denote by \(L_{p}(a,b)\) (\(1\leq p \leq \infty \)) the set of those Lebesgue complex-valued measurable functions f on Ω for which \(\Vert f\Vert _{p} <\infty \), where

$$ \Vert f\Vert _{p} = \biggl( \int_{a}^{b} \bigl\vert f(t) \bigr\vert ^{p}\,dt \biggr) ^{1/p} \quad (1 \leq p < \infty ) $$
(5)

and

$$ \Vert f\Vert _{\infty }= \operatorname{ess} \sup _{a \leq x \leq b} \bigl\vert f(x) \bigr\vert . $$
(6)

In particular, \(L_{1}(a,b):=L(a,b)\).

Raina [15] introduced a class of functions defined formally by

$$ \mathcal{F}_{\rho ,\lambda }^{\sigma }(x) = \mathcal{F}_{\rho ,\lambda }^{\sigma (0),\sigma (1),\ldots } (x)= \sum_{m=0}^{\infty } \frac{ \sigma (m)}{\Gamma (\rho m+\lambda )}x^{m} \quad \bigl( \rho , \lambda \in \mathbb{R}^{+}; x \in \mathbb{R} \bigr) , $$
(7)

where the coefficients \(\sigma (m)\in \mathbb{R}^{+} \) (\(m\in \mathbb{N}_{0} \)) form a bounded sequence. With the help of (7), Raina [15] and Agarwal et al. [16] defined, respectively, the following left-sided and right-sided fractional integral operators:

$$ \bigl( \mathcal{J}_{\rho ,\lambda ,a+;w}^{\sigma }\varphi \bigr) (x)= \int_{a}^{x}(x-t)^{\lambda -1} \mathcal{F}_{\rho ,\lambda }^{\sigma } \bigl[w(x-t)^{\rho } \bigr] \varphi (t)\,dt \quad (x>a>0) $$
(8)

and

$$ \bigl( \mathcal{J}_{\rho ,\lambda ,b-;w}^{\sigma }\varphi \bigr) (x)= \int_{x}^{b}(t-x)^{\lambda -1} \mathcal{F}_{\rho ,\lambda }^{\sigma } \bigl[w(t-x)^{\rho } \bigr] \varphi (t)\,dt \quad (0< x< b), $$
(9)

where \(\lambda , \rho \in \mathbb{R}^{+}\), \(w\in \mathbb{R}\), and \(\varphi (t)\) is a function such that the integrals on the right sides exist. Recently, certain new and interesting inequalities involving these fractional operators have appeared in the literature (see, e.g., [1620]).

It is easy to verify that \(\mathcal{J}_{\rho ,\lambda ,a+;w}^{\sigma }\varphi (x)\) and \(\mathcal{J}_{\rho ,\lambda ,b-;w}^{\sigma }\varphi (x)\) are bounded integral operators on \(L(a,b)\), if

$$ \mathfrak{M}:=\mathcal{F}_{\rho ,\lambda +1}^{\sigma } \bigl[w(b-a)^{ \rho } \bigr] < \infty . $$
(10)

In fact,

$$ \bigl\Vert \mathcal{J}_{\rho ,\lambda ,a+;w}^{\sigma }\varphi (x) \bigr\Vert _{1} \leq \mathfrak{M} (b-a)^{\lambda }\Vert \varphi \Vert _{1} \quad \bigl(\varphi \in L(a,b) \bigr) $$
(11)

and

$$ \bigl\Vert \mathcal{J}_{\rho ,\lambda ,b-;w}^{\sigma }\varphi (x) \bigr\Vert _{1} \leq \mathfrak{M} (b-a)^{\lambda }\Vert \varphi \Vert _{1} \quad \bigl(\varphi \in L(a,b) \bigr). $$
(12)

Here, many useful fractional integral operators can be obtained by specializing the function \(\mathcal{F}_{\rho ,\lambda }^{\sigma }(x)\). For instance, the classical Riemann-Liouville fractional integrals \(J_{a+}^{\alpha }\) and \(J_{b-}^{\alpha }\) of order α follow easily by setting \(\lambda =\alpha \), \(\sigma (0)=1\), and \(w=0\) in (8) and (9).

Budak et al. [21] established a new identity involving the fractional integral operators (8) and (9) asserted by the following lemma.

Lemma 1

Let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) with \(a< b\) and \(f{'} \in L(a,b)\). Then

$$ \begin{aligned}[b] &\frac{2^{\lambda -1}}{(b-a)^{\lambda }\mathcal{F}_{\rho ,\lambda +1} ^{\sigma } [w(\frac{b-a}{2})^{\rho }]} \bigl[ \mathcal{J}^{\sigma } _{\rho ,\lambda ,{\frac{a+b}{2}}-;w}f(a)+\mathcal{J}^{\sigma }_{ \rho ,\lambda ,{\frac{a+b}{2}}+;w }f(b) \bigr] -f \biggl( \frac{a+b}{2} \biggr) \\ & \quad = \frac{(b-a)}{4\mathcal{F}_{\rho ,\lambda +1}^{\sigma } [w( \frac{b-a}{2})^{\rho }]} \biggl\{ \int_{0}^{1}t^{\lambda }\mathcal{F} _{\rho ,\lambda +1}^{\sigma } \biggl[w \biggl(\frac{b-a}{2} \biggr)^{\rho }t^{\rho } \biggr] f {'} \biggl( \frac{t}{2}a+\frac{2-t}{2}b \biggr)\,dt \\ & \qquad {}- \int_{0}^{1}t^{\lambda }\mathcal{F}_{\rho ,\lambda +1} ^{\sigma } \biggl[ w \biggl(\frac{b-a}{2} \biggr)^{\rho }t^{\rho } \biggr] f{'} \biggl( \frac{2-t}{2}a+ \frac{t}{2}b \biggr)\,dt \biggr\} . \end{aligned} $$
(13)

We recall the following generalized fractional integral operators (see, e.g., [12], Section 18.2). Let \(g:[a,b]\longrightarrow \mathbb{R}\) (\(-\infty \leq a< b \leq \infty \)) be an increasing and positive function having a continuous derivative \(g'\) on \((a,b)\). The left- and right-sided generalized fractional integrals of f with respect to the function g on \([a,b]\) of order α are defined, respectively, by

$$\begin{aligned}& \bigl( \mathcal{I}_{a+;g}^{\alpha }f \bigr) (x)= \frac{1}{\Gamma ( \alpha )} \int_{a}^{x} \frac{g'(\tau )f(\tau )}{ ( g(x)-g(\tau ) ) ^{1-\alpha }}\,d\tau \quad \bigl( \Re (\alpha )>0; x>a \bigr) \end{aligned}$$
(14)

and

$$\begin{aligned}& \bigl( \mathcal{I}_{b-;g}^{\alpha }f \bigr) (x)= \frac{1}{\Gamma ( \alpha )} \int_{x}^{b} \frac{g'(\tau )f(\tau )}{ ( g(\tau )-g(x) ) ^{1-\alpha }}\,d\tau \quad \bigl(\Re (\alpha )>0; x< b \bigr), \end{aligned}$$
(15)

provided that the integrals exist. The integrals (14)) and (15) are usually called fractional integrals of a function f by a function g of the order α. Choosing \(g(x)=x\) in (14) and (15) reduces to the Riemann-Liouville fractional integrals (3) and (4), respectively. Setting \(g(x)=\ln x\) in (14) and (15) reduces to yield Hadamard fractional integrals (see, e.g., [12], pp.329-330). Jleli and Samet [22] presented ceratin Hermite-Hadamard type inequalities for the integrals (14)) and (15).

Díaz and Pariguan [23] introduced and investigated the so-called k-gamma function

$$ \Gamma_{\mathtt{k}}(x):= \int_{0}^{\infty }t^{x-1}e^{-\frac{t^{ \mathtt{k}}}{\mathtt{k}}}\, dt \quad \bigl( \Re (x)>0;\mathtt{k} \in \mathbb{R}^{+} \bigr) . $$
(16)

We recall some properties for the k-gamma function:

$$\begin{aligned}& \Gamma_{\mathtt{k}}(x)=\mathtt{k}^{\frac{x}{\mathtt{k}}-1}\Gamma \biggl( \frac{x}{\mathtt{k}} \biggr) ; \end{aligned}$$
(17)
$$\begin{aligned}& \Gamma_{\mathtt{k}}(\mathtt{k})=1 \quad \text{and} \quad \Gamma_{\mathtt{k}}(x+\mathtt{k})=x\Gamma_{\mathtt{k}}(x). \end{aligned}$$
(18)

Using the k-gamma function, Tunç et al. [24] introduced a class of functions defined by

$$ \mathcal{F}_{\rho ,\lambda }^{\sigma ,\mathtt{k}}(x) = \sum _{m=0}^{ \infty } \frac{\sigma (m)}{\mathtt{k} \Gamma_{\mathtt{k}}(\rho \mathtt{k} m+\lambda )}x^{m} \quad \bigl( \mathtt{k},\rho , \lambda \in \mathbb{R}^{+}; \vert x\vert < \infty \bigr) , $$
(19)

where \(\sigma (m) \in \mathbb{R}^{+}\) (\(m\in \mathbb{N}_{0}\)) is a bounded sequence as given in (7). Tunç et al. [24] used the function (19) to define the left-sided and right-sided generalized k-fractional integral operators with respect to another function as follows: Let \(\mathtt{k},\rho ,\lambda \in \mathbb{R}^{+}\) and \(w\in \mathbb{R}\). Also, let \(g:[a,b]\rightarrow \mathbb{R}\) be an increasing and positive function having a continuous derivative \(g'\) on \((a,b)\). Then the left- and right-sided generalized k-fractional integrals of f with respect to the function g on \([a,b]\) are defined, respectively, by

$$\begin{aligned}& \mathcal{J}_{\rho ,\lambda ,a+;w}^{\sigma ,\mathtt{k},g}f(x)= \int _{a}^{x} \frac{g{'}(t)}{ ( g(x)-g(t) ) ^{1-\frac{\lambda }{ \mathtt{k}}}} \mathcal{F}_{\rho ,\lambda }^{\sigma ,\mathtt{k}} \bigl[w \bigl(g(x)-g(t) \bigr)^{ \rho } \bigr] f(t)\, dt \quad (x>a) \end{aligned}$$
(20)

and

$$\begin{aligned}& \mathcal{J}_{\rho ,\lambda ,b-;w}^{\sigma ,\mathtt{k},g}f(x)= \int _{x}^{b} \frac{g{'}(t)}{ ( g(t)-g(x) ) ^{1-\frac{\lambda }{ \mathtt{k}}}} \mathcal{F}_{\rho ,\lambda }^{\sigma ,\mathtt{k}} \bigl[w \bigl(g(t)-g(x) \bigr)^{ \rho } \bigr] f(t)\,dt \quad (x< b). \end{aligned}$$
(21)

Setting \(\mathtt{k}=1\), \(g(t)=t\), \(g(t)=\ln t\), and \(g(t)= \frac{t^{s+1}}{s+1}\) \((s\in \mathbb{R}\setminus \{-1\})\) in the integral operator (20) gives the generalized fractional integral operator of f with respect to the function g, the generalized k-fractional integral operator of f on \([a,b]\), the generalized Hadamard k-fractional integral operator of f, and the generalized \((\mathtt{k},s)\)-fractional integral operator of f on \([a,b]\), respectively, as follows:

$$\begin{aligned}& \mathcal{J}_{\rho ,\lambda ,a+;w}^{\sigma ,g}f(x)= \int_{a}^{x} \frac{g {'}(t)}{ ( g(x)-g(t) ) ^{1-\lambda }} \mathcal{F}_{\rho , \lambda }^{\sigma } \bigl[w \bigl(g(x)-g(t) \bigr)^{\rho } \bigr] f(t)\,dt \quad (x>a); \end{aligned}$$
(22)
$$\begin{aligned}& \mathcal{J}_{\rho ,\lambda ,a+;w}^{\sigma ,\mathtt{k}}f(x)= \int_{a} ^{x} (x-t)^{\frac{\lambda }{\mathtt{k}}-1} \mathcal{F}_{\rho ,\lambda }^{\sigma ,\mathtt{k}} \bigl[w(x-t)^{\rho } \bigr] f(t) \,dt \quad (x>a); \end{aligned}$$
(23)
$$\begin{aligned}& \mathcal{H}_{\rho ,\lambda ,a+;w}^{\sigma ,\mathtt{k}}f(x)= \int_{a} ^{x} \biggl( \ln \frac{x}{t} \biggr) ^{\frac{\lambda }{\mathtt{k}}-1} \mathcal{F}_{\rho ,\lambda }^{\sigma ,\mathtt{k}} \biggl[ w \biggl( \ln \frac{x}{t} \biggr) ^{\rho } \biggr] f(t)\,\frac{dt}{t} \quad (x>a); \end{aligned}$$
(24)
$$\begin{aligned}& \begin{aligned}[b] {}^{s} \! \mathcal{J}_{\rho ,\lambda ,a+;w}^{\sigma ,\mathtt{k}}f(x)={}&(s+1)^{1-\frac{ \lambda }{\mathtt{k}}} \\ & {} \times \int_{a}^{x} \bigl(x^{s+1}-t^{s+1} \bigr)^{\frac{\lambda }{ \mathtt{k}}-1} t^{r}\mathcal{F}_{\rho ,\lambda }^{\sigma ,\mathtt{k}} \biggl[ w \biggl( \frac{x^{s+1}-t^{s+1}}{s+1} \biggr) ^{\rho } \biggr] f(t)\, dt \quad (x>a). \end{aligned} \end{aligned}$$
(25)

The special cases of (20) and (21) when \(\mathtt{k}=1\) and \(g(t)=t\) reduce to yield the generalized fractional integral operators (8) and (9), respectively (see [15, 16]). Further, setting \(\mathtt{k}=1\), \(g(t)=t\), \(\lambda =\alpha \), \(\sigma (0)=1\), and \(w=0\) in (20) and (21) gives, respectively, the Riemann-Liouville fractional integrals (3) and (4).

The Hermite-Hadamard type inequalities in [22] have been generalized by Tunç et al. [24] who used the generalized k-fractional integral operators (20) and (21), which is recalled in the following theorem.

Theorem 1

Let \(\mathtt{k},\rho ,\lambda \in \mathbb{R}^{+}\), \(w\in \mathbb{R}_{0}^{+}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m \in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). If f is a convex function on \([a,b]\), then the following Hermite-Hadamard type inequalities for the generalized k-fractional integrals of f with respect to the function g on \([a,b]\) in (20) and (21) hold:

$$ \begin{aligned}[b] f \biggl( \frac{a+b}{2} \biggr) \leq{}& \frac{1}{4\mathtt{k}(g(b)-g(a))^{\frac{ \lambda }{\mathtt{k}}}\mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma ,\mathtt{k}} [w(g(b)-g(a))^{\rho }]} \\ & {} \times \bigl[ \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho , \lambda ,b{-};w}F(a)+ \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda ,a{+};w }F(b) \bigr] \leq \frac{f(a)+f(b)}{2}, \end{aligned} $$
(26)

where \(F(x)\) is defined as in (28).

2 Hermite-Hadamard type inequalities for fractional integral operators

We begin by recalling some notations given in [22]. Let I be an interval, such that \([a,b]\subset I\) \((0< a< b<\infty )\). Suppose that \(f\in L^{\infty }[a,b]\) in such a way that \(\mathcal{I} _{a{+},g}^{\alpha }f(x)\) and \(\mathcal{I}_{b{-},g}^{\alpha }f(x)\) are well defined. We define the following functions:

$$ \tilde{f}(x):=f(a+b-x) $$
(27)

and

$$ F(x):=f(x)+f(a+b-x)=f(x)+\tilde{f}(x). $$
(28)

Also, the following notations will be used throughout this paper:

$$\begin{aligned}& \Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s):= \biggl[ g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{ \mathtt{k}}+\rho m}; \end{aligned}$$
(29)
$$\begin{aligned}& \Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s):= \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m}; \end{aligned}$$
(30)
$$\begin{aligned}& \varphi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(s):= \biggl[ g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{ \mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma , \mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr) ^{\rho } \biggr] ; \end{aligned}$$
(31)
$$\begin{aligned}& \Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(s):= \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{s}{2}b+\frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\rho } \biggr] . \end{aligned}$$
(32)

Taking \(s=1\) in (31) and (32), respectively, gives

$$\begin{aligned}& \varphi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1)= \biggl[ g(b)-g \biggl( \frac{a+b}{2} \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}} ^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{a+b}{2} \biggr) \biggr) ^{\rho } \biggr] ; \end{aligned}$$
(33)
$$\begin{aligned}& \Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1)= \biggl[ g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}} ^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr) ^{\rho } \biggr] . \end{aligned}$$
(34)

The Hermite-Hadamard type inequalities for the generalized k-fractional integrals of a function with respect to another function in Theorem 1 can be modified as in the following theorem.

Theorem 2

Let \(\mathtt{k},\rho ,\lambda \in \mathbb{R}^{+}\), \(w \in \mathbb{R}^{+}_{0}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m \in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). If f is a convex function on \([a,b]\), then the following Hermite-Hadamard type inequalities for the generalized k-fractional integrals of f with respect to the function g on \([a,b]\) in (20) and (21) hold:

$$ \begin{aligned}[b] f \biggl( \frac{a+b}{2} \biggr) \leq {}&\frac{1}{2\mathtt{k} [ \varphi_{\rho , \lambda }^{\sigma ,\mathtt{k},g}(1)+\Phi_{\rho ,\lambda }^{\sigma , \mathtt{k},g}(1) ] } \\ &{} \times \bigl[ \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda , \frac{a+b}{2}{-};w }F(a) + \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho , \lambda ,\frac{a+b}{2}{+};w }F(b) \bigr] \leq \frac{f(a)+f(b)}{2}, \end{aligned} $$
(35)

where \(F(x)\) is defined as in (28).

Proof

Since f is convex on \([a,b]\), we have

$$\begin{aligned}& f \biggl( \frac{x+y}{2} \biggr) \leq \frac{f(x)+f(y)}{2} \quad \bigl(x,y \in [a,b] \bigr). \end{aligned}$$
(36)

It is easy to see that

$$ \frac{s}{2}a+\frac{2-s}{2}b \quad \text{and} \quad \frac{2-s}{2}a+ \frac{s}{2}b \quad \bigl(s \in [0,1] \bigr) $$

belong to \([a,b]\). It follows from (36) that

$$\begin{aligned} 2f \biggl( \frac{a+b}{2} \biggr) \leq f \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) +f \biggl( \frac{2-s}{2}a+ \frac{s}{2}b \biggr) \quad \bigl(s \in [0,1] \bigr). \end{aligned}$$
(37)

Multiplying both sides of (37) by

$$ \frac{b-a}{2}\frac{g{'} ( \frac{s}{2}a+\frac{2-s}{2}b ) }{ [ g(b)-g ( \frac{s}{2}a+\frac{2-s}{2}b ) ] ^{1-\frac{ \lambda }{\mathtt{k} }}} \mathcal{F}_{\rho ,\lambda }^{\sigma , \mathtt{k} } \biggl[ w \biggl( g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr) ^{\rho } \biggr] $$

and integrating the resulting inequality on \([0,1]\) with respect to s, with the aid of (18), (19), (20), (27), (28), and (33), we obtain

$$ \begin{aligned}[b] 2\mathtt{k}f \biggl( \frac{a+b}{2} \biggr) \varphi_{\rho ,\lambda }^{ \sigma ,\mathtt{k},g}(1) & \leq \mathcal{J}^{\sigma ,\mathtt{k},g} _{\rho ,\lambda ,\frac{a+b}{2}{+};w }f(b)+\mathcal{J}^{\sigma , \mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{+};w }\tilde{f}(b) \\ & = \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b). \end{aligned} $$
(38)

Similarly, multiplying both sides of (37) by

$$ \frac{b-a}{2}\frac{g{'} ( \frac{s}{2}b+\frac{2-s}{2}a ) }{ [ g ( \frac{s}{2}b+\frac{2-s}{2}a ) -g(a) ] ^{1-\frac{ \lambda }{\mathtt{k}}}} \mathcal{F}_{\rho ,\lambda }^{\sigma , \mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{s}{2}b+\frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\rho } \biggr] $$

and integrating the resulting inequality on \([0,1]\) with respect to s, with the aid of (18), (19), (20), (27), (28), and (34), we get

$$ \begin{aligned}[b] 2\mathtt{k}f \biggl( \frac{a+b}{2} \biggr) \Phi_{\rho ,\lambda }^{\sigma , \mathtt{k},g}(1) &\leq \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho , \lambda ,\frac{a+b}{2}{-};w }f(a)+ \mathcal{J}^{\sigma ,\mathtt{k},g} _{\rho ,\lambda ,\frac{a+b}{2}{-};w }\tilde{f}(a) \\ &=\mathcal{J}^{ \sigma ,\mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w }F(a). \end{aligned} $$
(39)

From (38) and (39), we have

$$\begin{aligned}& 2\mathtt{k} f \biggl( \frac{a+b}{2} \biggr) \bigl[ \varphi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1)+ \Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1) \bigr] \\& \quad \leq \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda , \frac{a+b}{2}{-};w }F(a)+ \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho , \lambda ,\frac{a+b}{2}{+};w }F(b), \end{aligned}$$

which proves the first inequality in (35).

To prove the second inequality in (35), using the convexity of f on \([a,b]\), we obtain

$$ f \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \leq \frac{s}{2} f(a)+ \frac{2-s}{2}f(b) \quad \bigl(s \in [0,1] \bigr) $$

and

$$ f \biggl( \frac{s}{2}b+\frac{2-s}{2}a \biggr) \leq \frac{s}{2}f(b)+ \frac{2-s}{2}f(a)\quad \bigl(s \in [0,1] \bigr). $$

By adding these inequalities, we get

$$\begin{aligned}& f \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) +f \biggl( \frac{2-s}{2}a+ \frac{s}{2}b \biggr) \leq f(a)+f(b) \quad \bigl(s \in [0,1] \bigr). \end{aligned}$$
(40)

Multiplying both sides of (40) by

$$ \frac{b-a}{2}\frac{g{'} ( \frac{s}{2}a+\frac{2-s}{2}b ) }{ [ g(b)-g ( \frac{s}{2}a+\frac{2-s}{2}b ) ] ^{1-\frac{ \lambda }{\mathtt{k}}}} \mathcal{F}_{\rho ,\lambda }^{\sigma , \mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr) ^{\rho } \biggr] $$

and integrating the resulting inequality on \([0,1]\) with respect to s, similar to the proof of the first inequality, we have

$$ \begin{aligned}[b] \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{+};w }f(b)+ \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda , \frac{a+b}{2}{+};w }\tilde{f}(b) &=\mathcal{J}^{\sigma ,\mathtt{k},g} _{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) \\ &\leq \mathtt{k} \varphi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1) \bigl( f(a)+f(b) \bigr) . \end{aligned} $$
(41)

Similarly, multiplying both sides of (40) by

$$ \frac{b-a}{2}\frac{g{'} ( \frac{s}{2}b+\frac{2-s}{2}a ) }{ [ g ( \frac{s}{2}b+\frac{2-s}{2}a ) -g(a) ] ^{1-\frac{ \lambda }{\mathtt{k}}}} \mathcal{F}_{\rho ,\lambda }^{\sigma , \mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{s}{2}b\frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\rho } \biggr] $$

and integrating the resulting inequality on \([0,1]\) with respect to s, we obtain

$$ \begin{aligned}[b] \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2} ^{-};w }f(a)+ \mathcal{J}^{\sigma ,\mathtt{\mathtt{k}},g}_{\rho , \lambda ,\frac{a+b}{2}{-};w }\tilde{f}(a)& =\mathcal{J}^{\sigma , \mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w }F(a) \\ & \leq \mathtt{k}\Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1) \bigl( f(a)+f(b) \bigr) . \end{aligned} $$
(42)

Adding (41) and (42), we have

$$ \begin{aligned}[b] & \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2} {-};w }F(a) +\mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda , \frac{a+b}{2}{+};w }F(b) \\ & \quad \leq \mathtt{k} \bigl[ \varphi_{\rho ,\lambda }^{\sigma , \mathtt{k},g}(1)+ \Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1) \bigr] \bigl( f(a)+f(b) \bigr) , \end{aligned} $$
(43)

which proves the second inequality in (35). Hence this completes the proof. □

Setting \(\mathtt{k}=1\) in Theorem 2, we get a little simpler inequalities asserted by the following corollary.

Corollary 1

Let \(\rho ,\lambda \in \mathbb{R}^{+}\), \(w \in \mathbb{R}^{+}_{0}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m\in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). If f is a convex function on \([a,b]\), then the following Hermite-Hadamard type inequalities for the generalized fractional integrals of f with respect to the function g on \([a,b]\) in (20) and (21) with \(\mathtt{k}=1\) hold:

$$ \begin{aligned}[b] f \biggl( \frac{a+b}{2} \biggr) & \leq \frac{1}{2 [ \varphi_{\rho ,\lambda } ^{\sigma ,1,g}(1)+\Phi_{\rho ,\lambda }^{\sigma ,1,g}(1) ] } \bigl[ \mathcal{J}^{\sigma ,1,g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w }F(a) + \mathcal{J}^{\sigma ,1,g}_{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) \bigr] \\ &\leq \frac{f(a)+f(b)}{2}, \end{aligned} $$
(44)

where \(F(x)\) is defined as in (28).

Further, choosing \(\lambda =\alpha \), \(\sigma (0)=1\) and \(w=0\) in Corollary 1, we get simpler inequalities in the following corollary, which are a modification of the Hermite-Hadamard inequalities given in [22].

Corollary 2

Let \(\alpha \in \mathbb{R}^{+}\) and \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). If f is a convex function on \([a,b]\), then the following Hermite-Hadamard type inequalities for the generalized fractional integrals of f with respect to the function g on \([a,b]\) in (14) and (15) hold:

$$ \begin{aligned}[b] f \biggl( \frac{a+b}{2} \biggr) & \leq \frac{\Gamma (\alpha +1)}{2 ( [ g(b)-g ( \frac{a+b}{2} ) ] ^{\alpha }+ [ g ( \frac{a+b}{2} ) -g(a) ] ^{\alpha } )} \bigl[ \mathcal{I}_{\frac{a+b}{2}{+};g}^{\alpha }F(b)+ \mathcal{I}_{\frac{a+b}{2}{-};g}^{\alpha }F(a) \bigr] \\ &\leq \frac{f(a)+f(b)}{2}, \end{aligned} $$
(45)

where \(F(x)\) is defined as in (28).

It is remarked in passing that choosing \(g(t)=t\) in Corollary 1 yields the same result as in [21], Corollary 1.

3 Main results

We begin by presenting an integral formula involving the functions (31) and (32), which is asserted by the following lemma.

Lemma 2

Let \(\mathtt{k},\rho ,\lambda \in \mathbb{R}^{+}\), \(w \in \mathbb{R}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m\in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b] \to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Further, let \(f :[a,b] \to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) and \(f' \in L[a,b]\). Then

$$ \begin{aligned}[b] &\frac{1}{2\mathtt{k}} \bigl[ \mathcal{J}^{\sigma ,\mathtt{k},g}_{ \rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) +\mathcal{J}^{\sigma , \mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w}F(a) \bigr] - \bigl( \varphi _{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1)+\Phi_{\rho ,\lambda }^{ \sigma ,\mathtt{k},g}(1) \bigr) f \biggl( \frac{a+b}{2} \biggr) \\ &\quad = \frac{b-a}{4} \biggl[ \int_{0}^{1} \bigl( \varphi_{\rho ,\lambda }^{ \sigma ,\mathtt{k},g}(s) +\Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(s) \bigr) f {'} \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \,ds \\ &\qquad {} - \int_{0}^{1} \bigl( \varphi_{\rho ,\lambda }^{\sigma , \mathtt{k},g}(s) +\Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(s) \bigr) f {'} \biggl( \frac{s}{2}b+\frac{2-s}{2}a \biggr) \,ds \biggr], \end{aligned} $$
(46)

where \(\varphi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(s)\) and \(\Phi_{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(s)\) are given as in (31) and (32).

Proof

Using (20) and changing the variable

$$ t=\frac{s}{2}a+\frac{2-s}{2}b \quad (0\leq s \leq 1), $$

we find

$$ \begin{aligned}[b] \mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2} {+};w }F(b)={}& \frac{b-a}{2} \int_{0}^{1}\frac{g{'} ( \frac{s}{2}a+ \frac{2-s}{2}b ) }{ [ g(b)-g ( \frac{s}{2}a+\frac{2-s}{2}b ) ] ^{1-\frac{\lambda }{\mathtt{k}}}} \\ & {} \times \mathcal{F}_{\rho ,\lambda }^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr) ^{\rho } \biggr] F \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \,ds. \end{aligned} $$
(47)

Integrating (47) by parts, we have

$$\begin{aligned} \begin{aligned}[b] &\mathcal{J}^{\sigma ,\mathtt{\mathtt{k}},g}_{\rho ,\lambda , \frac{a+b}{2}{+};w }F(b)\\ &\quad = \mathtt{k} \biggl[ g(b)-g \biggl(\frac{a+b}{2} \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}} ^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{a+b}{2} \biggr) \biggr) ^{\rho } \biggr] F \biggl( \frac{a+b}{2} \biggr) \\ &\qquad {} +\frac{b-a}{2} \mathtt{k} \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}} ^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr) ^{\rho } \biggr] \\ & \qquad {} \times F{'} \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \,ds. \end{aligned} \end{aligned}$$
(48)

Similarly, using (21) and changing the variable

$$ t=\frac{s}{2}b+\frac{2-s}{2}a \quad (0\leq s \leq 1), $$

and integrating the resulting identity by parts, we have

$$\begin{aligned} \begin{aligned}[b] &\mathcal{J}^{\sigma ,\mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2} {-};w}F(a)\\ &\quad = \mathtt{k} \biggl[ g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}}\mathcal{F}_{\rho ,\lambda +\mathtt{k}} ^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr) ^{\rho } \biggr] F \biggl( \frac{a+b}{2} \biggr) \\ &\qquad {} -\frac{b-a}{2} \mathtt{k} \int_{0}^{1} \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}} ^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\rho } \biggr] \\ &\qquad {} \times F{'} \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) \,ds. \end{aligned} \end{aligned}$$
(49)

Using (28) to add (48) and (49), we obtain

$$\begin{aligned} \begin{aligned}[b] & \frac{1}{2\mathtt{k}} \bigl[ \mathcal{J}^{\sigma ,\mathtt{\mathtt{k}},g} _{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) + \mathcal{J}^{\sigma , \mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w}F(a) \bigr] \\ &\quad = \biggl[ g(b)-g \biggl(\frac{a+b}{2} \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{a+b}{2} \biggr) \biggr) ^{\rho } \biggr] f \biggl( \frac{a+b}{2} \biggr) \\ &\qquad {}+ \biggl[ g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr] ^{\frac{\lambda }{ \mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma , \mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr) ^{ \rho } \biggr] f \biggl( \frac{a+b}{2} \biggr) \\ &\qquad {} +\frac{b-a}{4} \int_{0} ^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr] ^{\frac{ \lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{ \sigma ,\mathtt{k}} \biggl[ w \biggl( g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr) ^{\rho } \biggr] \\ & \qquad {} \times F{'} \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \,ds \\ &\qquad {}-\frac{b-a}{4} \int_{0}^{1} \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\frac{\lambda }{\mathtt{k}}} \mathcal{F}_{\rho ,\lambda +\mathtt{k}} ^{\sigma ,\mathtt{k}} \biggl[ w \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\rho } \biggr] \\ & \qquad {} \times F{'} \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) \,ds. \end{aligned} \end{aligned}$$
(50)

Considering \(F{'}(x)=f{'}(x)-f{'}(a+b-x)\) and applying (31)-(34) to (50), we obtain the desired identity (46). □

Setting \(\mathtt{k}=1\) in Lemma 2, we obtain an identity asserted by the following corollary.

Corollary 3

Let \(\rho ,\lambda \in \mathbb{R}^{+}\), \(w \in \mathbb{R}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m\in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Further, let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) and \(f' \in L[a,b]\). Then

$$ \begin{aligned}[b] & \mathcal{J}^{\sigma ,1,g}_{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) + \mathcal{J}^{\sigma ,1,g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w}F(a) -2 \bigl( \varphi_{\rho ,\lambda }^{\sigma ,1,g}(1)+ \Phi_{\rho ,\lambda }^{\sigma ,1,g}(1) \bigr) f \biggl( \frac{a+b}{2} \biggr) \\ & \quad =\frac{b-a}{2} \biggl[ \int_{0}^{1} \bigl( \varphi_{\rho , \lambda }^{\sigma ,1,g}(s) +\Phi_{\rho ,\lambda }^{\sigma ,1,g}(s) \bigr) f {'} \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \,ds \\ & \qquad {} - \int_{0}^{1} \bigl( \varphi_{\rho ,\lambda }^{\sigma ,1,g}(s) +\Phi_{\rho ,\lambda }^{\sigma ,1,g}(s) \bigr) f{'} \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) \,ds \biggr], \end{aligned} $$
(51)

where \(\varphi_{\rho ,\lambda }^{\sigma ,1,g}(s)\) and \(\Phi_{\rho ,\lambda }^{\sigma ,1,g}(s)\) are given as in (31) and (32).

Choosing \(\mathtt{k}=1\), \(\lambda =\alpha \), \(\sigma (0)=1\), and \(w=0\) in Lemma 2 yields an interesting identity asserted by the following corollary.

Corollary 4

Let \(\alpha \in \mathbb{C}\) with \(\Re (\alpha )>1\). Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Further, let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) and \(f' \in L[a,b]\). Then

$$ \begin{aligned}[b] &\frac{\Gamma (\alpha +1)}{2} \bigl[ \mathcal{I}_{\frac{a+b}{2}{+};g} ^{\alpha }F(b)+\mathcal{I}_{\frac{a+b}{2}{-};g}^{\alpha }F(a) \bigr] \\ & \qquad {}- \biggl( \biggl[ g(b)-g \biggl( \frac{a+b}{2} \biggr) \biggr] ^{\alpha } + \biggl[ g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr] ^{\alpha } \biggr)f \biggl( \frac{a+b}{2} \biggr) \\ &\quad =\frac{b-a}{4} \biggl\{ \int_{0}^{1} \biggl( \biggl[ g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr] ^{\alpha } + \biggl[ \biggl( g \biggl( \frac{s}{2}b+\frac{2-s}{2}a \biggr) -g(a) \biggr) \biggr] ^{\alpha } \biggr) \\ & \qquad {} \times f{'} \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \,ds \\ & \qquad {}- \int_{0}^{1} \biggl( \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{\alpha } + \biggl[ \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) \biggr] ^{\alpha } \biggr) \\ & \qquad {} \times f{'} \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) \, ds \biggr\} , \end{aligned} $$
(52)

where \(\mathcal{I}_{a+;g}^{\alpha }f(x)\) and \(\mathcal{I}_{b-;g}^{ \alpha }f(x)\) are given in (14) and (15).

Remark 1

Setting \(\mathtt{k}=1\) and \(g(t)=t\) in Lemma 2 gives the same result as in Lemma 1.

Taking \(\mathtt{k}=1\), \(\lambda =\alpha \), \(g(t)=t\), \(\sigma (0)=1\) and \(w=0\) in Lemma 2 yields the same result as in [11], Lemma 3.

Theorem 3

Let \(\mathtt{k},\rho ,\lambda \in \mathbb{R}^{+}\), \(w \in \mathbb{R}_{0}^{+}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m \in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Further, let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) such that \(f' \in L[a,b]\) and \(\vert f'\vert \) is a convex function on \([a,b]\). Then

$$ \begin{aligned}[b] & \biggl\vert \frac{1}{2\mathtt{k}} \bigl[ \mathcal{J}^{\sigma ,\mathtt{k},g} _{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) +\mathcal{J}^{\sigma , \mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w}F(a) \bigr] - \bigl( \varphi _{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1)+\Phi_{\rho ,\lambda }^{ \sigma ,\mathtt{k},g}(1) \bigr) f \biggl( \frac{a+b}{2} \biggr) \biggr\vert \\ & \quad \leq \frac{b-a}{4} \bigl( \mathcal{F}_{\rho ,\lambda + \mathtt{k}}^{\sigma_{1},\mathtt{k}} [w] \bigr) \bigl( \bigl\vert f{'}(a) \bigr\vert + \bigl\vert f{'}(b) \bigr\vert \bigr) , \end{aligned} $$
(53)

where the notations are given as above and

$$ \sigma_{1}(m):=\sigma (m) \int_{0}^{1} \bigl( \Delta_{\rho ,\lambda ,m} ^{\sigma ,\mathtt{k},g}(s) +\Omega_{\rho ,\lambda ,m}^{\sigma , \mathtt{k},g}(s) \bigr) \,ds \quad ( m \in \mathbb{N}_{0} ) . $$
(54)

Proof

Here and in the following, let \(\mathcal{L}\) be the left side of the equality in (46). Since g is increasing on \([a,b]\) and \(\vert f'\vert \) is a convex function on \([a,b]\), in view of (19), (31) and (32), we find from Lemma 2 that

$$ \begin{aligned}[b] \vert \mathcal{L}\vert \leq{}& \frac{b-a}{4}\sum_{m=0}^{\infty } \frac{\sigma (m) w^{m}}{\mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda + \mathtt{k})} \\ & {} \times \biggl\{ \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m} \biggl( \frac{s}{2} \bigl\vert f{'}(a) \bigr\vert + \frac{2-s}{2} \bigl\vert f{'}(b) \bigr\vert \biggr)\,ds \\ & {}+ \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m} \biggl( \frac{s}{2} \bigl\vert f{'}(b) \bigr\vert + \frac{2-s}{2} \bigl\vert f{'}(a) \bigr\vert \biggr)\,ds \\ & {}+ \int_{0}^{1} \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\frac{\lambda }{\mathtt{k}}+\rho m} \biggl( \frac{s}{2} \bigl\vert f{'}(b) \bigr\vert + \frac{2-s}{2} \bigl\vert f{'}(a) \bigr\vert \biggr)\,ds \\ & {}+ \int_{0}^{1} \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\frac{\lambda }{\mathtt{k}}+\rho m} \biggl( \frac{s}{2} \bigl\vert f{'}(a) \bigr\vert + \frac{2-s}{2} \bigl\vert f{'}(b) \bigr\vert \biggr)\,ds \biggr\} . \end{aligned} $$
(55)

Since

$$ \frac{s}{2} \bigl\vert f{'}(b) \bigr\vert + \frac{2-s}{2} \bigl\vert f{'}(a) \bigr\vert + \frac{s}{2} \bigl\vert f{'}(a) \bigr\vert + \frac{2-s}{2} \bigl\vert f{'}(b) \bigr\vert = \bigl\vert f{'}(a) \bigr\vert + \bigl\vert f{'}(b) \bigr\vert , $$

using (29) and (30), we have

$$ \begin{aligned}[b] \vert \mathcal{L}\vert \leq{}& \frac{b-a}{4} \bigl( \bigl\vert f{'}(a) \bigr\vert + \bigl\vert f{'}(b) \bigr\vert \bigr) \sum_{m=0}^{\infty } \frac{\sigma (m)w^{m}}{\mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda +\mathtt{k})} \\ &{}\times \int_{0}^{1} \biggl[ \biggl( g(b)-g \biggl( \frac{s}{2}a+\frac{2-s}{2}b \biggr) \biggr) ^{\frac{\lambda }{\mathtt{k}}+\rho m} + \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\frac{\lambda }{\mathtt{k}}+\rho m} \biggr] \,ds \\ ={}&\frac{b-a}{4} \bigl( \bigl\vert f^{\prime}(a) \bigr\vert + \bigl\vert f^{\prime}(b) \bigr\vert \bigr) \sum _{m=0} ^{\infty }\frac{w^{m}}{\mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda +\mathtt{k})} \sigma (m) \int_{0}^{1} \bigl( \Delta_{ \rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) +\Omega_{\rho ,\lambda ,m} ^{\sigma ,\mathtt{k},g}(s) \bigr)\,ds \\ ={}&\frac{b-a}{4} \bigl( \bigl\vert f^{\prime}(a) \bigr\vert + \bigl\vert f ^{\prime}(b) \bigr\vert \bigr) \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma_{1}, \mathtt{k}} [w]. \end{aligned} $$

This completes the proof. □

Choosing \(\mathtt{k}=1\), \(\lambda =\alpha \), \(\sigma (0)=1\), and \(w=0\) in Theorem 3, we obtain an interesting inequality involving the generalized fractional integrals (14) and (15), which is asserted by the following corollary.

Corollary 5

Let \(\alpha \in \mathbb{R}^{+}\) and \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Also, let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) such that \(f' \in L[a,b]\) and \(\vert f'\vert \) is a convex function on \([a,b]\). Then

$$ \begin{aligned}[b] & \biggl\vert \frac{\Gamma (\alpha +1)}{2} \bigl[ \mathcal{I}_{\frac{a+b}{2} {+};g}^{\alpha }F(b)+\mathcal{I}_{\frac{a+b}{2}{-};g}^{\alpha }F(a) \bigr] -\eta^{\alpha }_{a,b;g} f \biggl( \frac{a+b}{2} \biggr) \biggr\vert \\ & \quad \leq \frac{b-a}{4}\Upsilon_{a,b;g}^{\alpha } \bigl( \bigl\vert f {'}(a) \bigr\vert + \bigl\vert f{'}(b) \bigr\vert \bigr) , \end{aligned} $$
(56)

where

$$ \eta^{\alpha }_{a,b;g}:= \biggl( \biggl[ g(b)-g \biggl( \frac{a+b}{2} \biggr) \biggr] ^{\alpha }+ \biggl[ g \biggl( \frac{a+b}{2} \biggr) -g(a) \biggr] ^{\alpha } \biggr) $$
(57)

and

$$ \Upsilon_{a,b;g}^{\alpha }:= \int_{0}^{1} \biggl[ \biggl( g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr) ^{\alpha } + \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{\alpha } \biggr] \,ds. $$
(58)

Remark 2

Setting \(k=1\) and \(g(t)=t\) in Theorem 3 gives the same result as in [21], Corollary 3.

The special case of Theorem 3 when \(\mathtt{k}=1\), \(\lambda = \alpha \), \(\sigma (0)=1\), and \(w=0\) is seen to correspond with the result obtained by setting \(q=1\) in [11], Theorem 5.

Theorem 4

Let \(\mathtt{k},\rho ,\lambda \in \mathbb{R}^{+}\), \(w \in \mathbb{R}_{0}^{+}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m \in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Further, let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) such that \(\vert f{'}\vert ^{q}\) is convex for \(q>1\) with \(\frac{1}{p}+\frac{1}{q}=1\). Then

$$ \begin{aligned}[b] & \biggl\vert \frac{1}{2\mathtt{k}} \bigl[ \mathcal{J}^{\sigma ,\mathtt{k},g} _{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) +\mathcal{J}^{\sigma , \mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w}F(a) \bigr] - \bigl( \varphi _{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1)+\Phi_{\rho ,\lambda }^{ \sigma ,\mathtt{k},g}(1) \bigr) f \biggl( \frac{a+b}{2} \biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{4}\mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma_{2}, \mathtt{k}} [w] \biggl[ \biggl( \frac{1}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+\frac{3}{4} \bigl\vert f {'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} + \biggl( \frac{3}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+ \frac{1}{4} \bigl\vert f{'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} \biggr] , \end{aligned} $$
(59)

where the notations are given as above and

$$ \sigma_{2}(m):=\sigma (m) \biggl( \biggl[ \int_{0}^{1} \bigl( \Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \bigr) ^{p}\,ds \biggr] ^{\frac{1}{p}} + \biggl[ \int_{0}^{1} \bigl( \Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \bigr) ^{p}\,ds \biggr] ^{\frac{1}{p}} \biggr) . $$

Proof

Using convexity of \(\vert f{'}\vert ^{q}\) and Hölder’s inequality in Lemma 2, we have

$$ \begin{aligned}[b] & \vert \mathcal{L}\vert \leq \frac{b-a}{4} \sum_{m=0}^{\infty }\frac{\sigma (m) w^{m}}{\mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda + \mathtt{k})} \Biggl( \sum_{j=1}^{4} \mathcal{I}_{j} \Biggr) , \end{aligned} $$

where

$$\begin{aligned}& \begin{aligned} \mathcal{I}_{1}:={}& \biggl( \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{p(\frac{\lambda }{\mathtt{k}}+\rho m)}\,ds \biggr)^{\frac{1}{p}}\\ &{}\times \biggl( \int_{0}^{1} \biggl( \frac{s}{2} \bigl\vert f{'}(a) \bigr\vert ^{q}+ \frac{2-s}{2} \bigl\vert f{'}(b) \bigr\vert ^{q} \biggr)\,ds \biggr)^{\frac{1}{q}}, \end{aligned} \\& \begin{aligned} \mathcal{I}_{2}:={}& \biggl( \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) \biggr] ^{p(\frac{\lambda }{\mathtt{k}}+\rho m)}\,ds \biggr)^{\frac{1}{p}}\\ &{}\times \biggl( \int_{0}^{1} \biggl( \frac{s}{2} \bigl\vert f{'}(b) \bigr\vert ^{q}+ \frac{2-s}{2} \bigl\vert f{'}(a) \bigr\vert ^{q} \biggr)\,ds \biggr)^{\frac{1}{q}}, \end{aligned} \\& \begin{aligned} \mathcal{I}_{3}:={}& \biggl( \int_{0}^{1} \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{p(\frac{\lambda }{\mathtt{k}}+ \rho m)}\,ds \biggr)^{\frac{1}{p}}\\ &{}\times \biggl( \int_{0}^{1} \biggl( \frac{s}{2} \bigl\vert f {'}(a) \bigr\vert ^{q}+\frac{2-s}{2} \bigl\vert f{'}(b) \bigr\vert ^{q} \biggr)\,ds \biggr)^{\frac{1}{q}}, \end{aligned} \\& \begin{aligned} \mathcal{I}_{4}:={}& \biggl( \int_{0}^{1} \biggl( g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr) ^{p(\frac{\lambda }{\mathtt{k}}+ \rho m)}\,ds \biggr)^{\frac{1}{p}}\\ &{}\times \biggl( \int_{0}^{1} \biggl( \frac{s}{2} \bigl\vert f {'}(b) \bigr\vert ^{q}+\frac{2-s}{2} \bigl\vert f{'}(a) \bigr\vert ^{q} \biggr)\,ds \biggr)^{\frac{1}{q}}. \end{aligned} \end{aligned}$$

We thus have

$$ \begin{aligned}[b] \vert \mathcal{L}\vert \leq{}& \frac{b-a}{4} \sum_{m=0}^{\infty }\frac{\sigma (m) w^{m}}{\mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda + \mathtt{k})} \biggl[ \biggl( \int_{0}^{1} \bigl( \Delta_{\rho ,\lambda ,m} ^{\sigma ,k,g}(s) \bigr) ^{p}\,ds \biggr) ^{\frac{1}{p}} + \biggl( \int_{0} ^{1} \bigl( \Omega_{\rho ,\lambda ,m}^{\sigma ,k,g}(s) \bigr) ^{p}\,ds \biggr) ^{\frac{1}{p}} \biggr] \\ & {} \times \biggl[ \biggl( \frac{1}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+\frac{3}{4} \bigl\vert f {'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} + \biggl( \frac{3}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+ \frac{1}{4} \bigl\vert f{'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} \biggr] \\ ={}& \frac{b-a}{4}\mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma_{2}, \mathtt{k}} [w] \biggl[ \biggl( \frac{1}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+\frac{3}{4} \bigl\vert f {'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} + \biggl( \frac{3}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+ \frac{1}{4} \bigl\vert f{'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} \biggr] . \end{aligned} $$

This completes the proof. □

Setting \(\mathtt{k}=1\), \(\lambda =\alpha \), \(\sigma (0)=1\), and \(w=0\) in Theorem 4, we obtain an interesting result, involving the generalized fractional integrals (14) and (15), which is asserted by the following corollary.

Corollary 6

Let \(\alpha \in \mathbb{R}^{+}\) and \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Also, let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) such that \(\vert f{'}\vert ^{q}\) is convex for \(q>1\) with \(\frac{1}{p}+\frac{1}{q}=1\). Then

$$ \begin{aligned}[b] & \biggl\vert \frac{\Gamma (\alpha +1)}{2} \bigl[ \mathcal{I}_{\frac{a+b}{2} {+};g}^{\alpha }F(b)+\mathcal{I}_{\frac{a+b}{2}{-};g}^{\alpha }F(a) \bigr] -\eta^{\alpha }_{a,b;g} f \biggl( \frac{a+b}{2} \biggr) \biggr\vert \\ & \quad \leq \frac{b-a}{4} \bigl\{ \bigl(\kappa_{p;g}^{\alpha } \bigr)^{\frac{1}{p}} + \bigl(\Lambda_{p;g}^{\alpha } \bigr)^{ \frac{1}{p}} \bigr\} \\ & \qquad {} \times \biggl[ \biggl( \frac{1}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+\frac{3}{4} \bigl\vert f {'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} + \biggl( \frac{3}{4} \bigl\vert f{'}(a) \bigr\vert ^{q}+ \frac{1}{4} \bigl\vert f{'}(b) \bigr\vert ^{q} \biggr) ^{\frac{1}{q}} \biggr] , \end{aligned} $$
(60)

where \(\eta^{\alpha }_{a,b;g}\) is given in (57),

$$ \kappa_{p;g}^{\alpha }:= \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{p\alpha }\,ds $$

and

$$ \Lambda_{p;g}^{\alpha }:= \int_{0}^{1} \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr] ^{p\alpha }\,ds. $$

Remark 3

Setting \(k=1\) and \(g(t)=t\) in Theorem 4 gives the same result as in [21], Corollary 5.

Choosing \(k=1\), \(g(t)=t\), \(\lambda =\alpha \), \(\sigma (0)=1\), and \(w=0\) in Theorem 4 yields the same result as in [11], Theorem 6.

Theorem 5

Let \(\mathtt{k},\rho ,\lambda \in \mathbb{R}^{+}\), \(w \in \mathbb{R}_{0}^{+}\), and \(\sigma (m) \in \mathbb{R}^{+}\) \(( m \in \mathbb{N}_{0} ) \) be a bounded sequence. Also, let \(g :[a,b]\to \mathbb{R}\) be an increasing and positive function on \([a,b]\) having a continuous derivative \(g{'}(x)\) on \((a,b)\). Further, let \(f :[a,b]\to \mathbb{R}\) be a differentiable mapping on \((a,b)\) \((a< b)\) such that \(\vert f{'}\vert ^{q}\) is convex for \(q\geq 1\). Then

$$ \begin{aligned}[b] & \biggl\vert \frac{1}{2\mathtt{k}} \bigl[ \mathcal{J}^{\sigma ,\mathtt{k},g} _{\rho ,\lambda ,\frac{a+b}{2}{+};w }F(b) +\mathcal{J}^{\sigma , \mathtt{k},g}_{\rho ,\lambda ,\frac{a+b}{2}{-};w}F(a) \bigr] - \bigl( \varphi _{\rho ,\lambda }^{\sigma ,\mathtt{k},g}(1)+\Phi_{\rho ,\lambda }^{ \sigma ,\mathtt{k},g}(1) \bigr) f \biggl( \frac{a+b}{2} \biggr) \biggr\vert \\ & \quad \leq \frac{b-a}{4} \bigl[ \mathcal{F}_{\rho ,\lambda + \mathtt{k}}^{\sigma_{3},\mathtt{k}} [w]+\mathcal{F}_{\rho ,\lambda + \mathtt{k}}^{\sigma_{4},\mathtt{k}} [w] \bigr] , \end{aligned} $$
(61)

where the notations are given above:

$$ \begin{aligned}[b] \sigma_{3}(m):= {}& \sigma (m) \biggl( \int_{0}^{1}\Delta_{\rho ,\lambda ,m} ^{\sigma ,\mathtt{k},g}(s) \biggr)^{1-\frac{1}{q}} \\ & {}\times \biggl\{ \biggl[ \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1}\Delta_{\rho ,\lambda ,m}^{\sigma , \mathtt{k},g}(s) \frac{s}{2}\,ds + \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1} \Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2}\,ds \biggr]^{\frac{1}{q}} \\ & {} + \biggl[ \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1}\Delta_{\rho ,\lambda ,m} ^{\sigma ,\mathtt{k},g}(s)\frac{s}{2}\,ds + \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2}\,ds \biggr]^{\frac{1}{q}} \biggr\} \end{aligned} $$
(62)

and

$$ \begin{aligned}[b] \sigma_{4}(m):= {}& \sigma (m) \biggl( \int_{0}^{1}\Omega_{\rho ,\lambda ,m} ^{\sigma ,\mathtt{k},g}(s) \biggr)^{1-\frac{1}{q}} \\ & {}\times \biggl\{ \biggl[ \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1}\Omega_{\rho ,\lambda ,m}^{\sigma , \mathtt{k},g}(s) \frac{s}{2}\,ds + \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1} \Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2}\,ds \biggr]^{\frac{1}{q}} \\ & {} + \biggl[ \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1}\Omega_{\rho ,\lambda ,m} ^{\sigma ,\mathtt{k},g}(s)\frac{s}{2}\,ds + \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2}\,ds \biggr]^{\frac{1}{q}} \biggr\} . \end{aligned} $$
(63)

Proof

Using convexity of \(\vert f{'}\vert ^{q}\) and the power-mean inequality in Lemma 2, we have

$$ \begin{aligned}[b] \vert \mathcal{L}\vert \leq {}& \frac{b-a}{4} \sum_{m=0}^{\infty }\frac{\sigma (m) w^{m}}{\mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda + \mathtt{k})} \\ &{}\times \biggl( \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m}\,ds \biggr)^{1-\frac{1}{q}} ( \mathcal{R}_{1}+\mathcal{R}_{2} ) \\ & {}+\frac{b-a}{4}\sum_{m=0}^{\infty } \frac{\sigma (m) w^{m}}{ \mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda +\mathtt{k})} \\ &{}\times \biggl( \int_{0}^{1} \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) -g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m}\,ds \biggr)^{1-\frac{1}{q}} ( \mathcal{R}_{3}+\mathcal{R}_{4} ) , \end{aligned} $$

where

$$\begin{aligned}& \begin{aligned}[b] \mathcal{R}_{1}:= {}& \biggl\{ \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m} \frac{s}{2}\,ds \\ & {} + \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m} \frac{2-s}{2}\,ds \biggr\} ^{\frac{1}{q}}, \end{aligned} \\& \begin{aligned}[b] \mathcal{R}_{2}:= {}& \biggl\{ \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m} \frac{s}{2}\,ds \\ & {} + \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g(b)-g \biggl( \frac{s}{2}a+ \frac{2-s}{2}b \biggr) \biggr] ^{\frac{\lambda }{\mathtt{k}}+\rho m} \frac{2-s}{2}\,ds \biggr\} ^{\frac{1}{q}}, \end{aligned} \\& \begin{aligned}[b] \mathcal{R}_{3}:= {}& \biggl\{ \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) - g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}+ \rho m} \frac{s}{2}\,ds \\ & {} + \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) - g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}+ \rho m} \frac{2-s}{2}\,ds \biggr\} ^{\frac{1}{q}}, \end{aligned} \\& \begin{aligned}[b] \mathcal{R}_{4}:={} & \biggl\{ \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) - g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}+ \rho m} \frac{s}{2}\,ds \\ & {} + \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \biggl[ g \biggl( \frac{s}{2}b+ \frac{2-s}{2}a \biggr) - g(a) \biggr] ^{\frac{\lambda }{\mathtt{k}}+ \rho m} \frac{2-s}{2}\,ds \biggr\} ^{\frac{1}{q}}. \end{aligned} \end{aligned}$$

We, therefore, have

$$\begin{aligned} \vert \mathcal{L}\vert \leq &\frac{b-a}{4}\sum _{m=0}^{\infty }\frac{\sigma (m)\vert w\vert ^{m}}{ \mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda +\mathtt{k})} \biggl( \int_{0}^{1}\Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \biggr)^{1-\frac{1}{q}} \\ &{}\times \biggl\{ \biggl[ \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1}\Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{s}{2}\,ds + \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0} ^{1}\Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2}\,ds \biggr]^{\frac{1}{q}} \\ &{}+ \biggl[ \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1}\Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{s}{2}\,ds + \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \Delta_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2}\,ds \biggr]^{\frac{1}{q}} \biggr\} \\ &{}+\frac{b-a}{4}\sum_{m=0}^{\infty } \frac{\sigma (m)\vert w\vert ^{m}}{ \mathtt{k} \Gamma_{\mathtt{k}}(\rho m \mathtt{k}+\lambda +\mathtt{k})} \biggl( \int_{0}^{1}\Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \biggr)^{1-\frac{1}{q}} \\ &{}\times \biggl\{ \biggl[ \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1}\Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{s}{2}\,ds + \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1} \Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2} \biggr]^{\frac{1}{q}} \\ &{}+ \biggl[ \bigl\vert f{'}(b) \bigr\vert ^{q} \int_{0}^{1}\Omega_{\rho ,\lambda ,m}^{\sigma , \mathtt{k},g}(s) \frac{s}{2}\,ds + \bigl\vert f{'}(a) \bigr\vert ^{q} \int_{0}^{1} \Omega_{\rho ,\lambda ,m}^{\sigma ,\mathtt{k},g}(s) \frac{2-s}{2}\,ds \biggr]^{\frac{1}{q}} \biggr\} \\ =&\frac{b-a}{4} \bigl[ \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma _{3},\mathtt{k}} [w]+ \mathcal{F}_{\rho ,\lambda +\mathtt{k}}^{\sigma _{4},\mathtt{k}} [w] \bigr] . \end{aligned}$$

Finally, we get

$$ \vert \mathcal{L}\vert \leq \frac{b-a}{4} \bigl[ \mathcal{F}_{\rho ,\lambda + \mathtt{k}}^{\sigma_{3},\mathtt{k}} [w]+\mathcal{F}_{\rho ,\lambda + \mathtt{k}}^{\sigma_{4},\mathtt{k}} [w] \bigr] . $$

This completes the proof. □

Remark 4

Setting \(\mathtt{k}=1\), \(\lambda =\alpha \), \(\sigma (0)=1\), and \(w=0\) in Theorem 5 gives a new result, as in Corollaries (5) and (6).

Choosing \(\mathtt{k}=1\) and \(g(t)=t\) in Theorem 5 yields the same result as in [21], Corollary 7.

Setting \(\mathtt{k}=1\), \(\lambda =\alpha \), \(\sigma (0)=1\) and \(w=0\) in Theorem 5 gives the same result as in [11], Theorem 5.

References

  1. Dragomir, SS, Pearce, CEM: Selected Topics on Hermite-Hadamard Inequalities and Applications. RGMIA Monographs, Victoria University, Melbourne (2000). http://www.staff.vu.edu.au/RGMIA/monographs/hermite-hadamard.html

    Google Scholar 

  2. Mitrinović, DS, Lacković, IB: Hermite and convexity. Aequ. Math. 28, 229-232 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  3. Özdemir, ME, Yıldız, C, Akdemir, AO, Set, E: On some inequalities for s-convex functions and applications. J. Inequal. Appl. 2013, Article ID 333 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  4. Set, E, Özdemir, ME, Sarıkaya, MZ: Inequalities of Hermite-Hadamard’s type for functions whose derivatives absolute values are m-convex. AIP Conf. Proc. 1309(1), 861-873 (2010)

    Article  Google Scholar 

  5. Srivastava, HM, Choi, J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam (2012)

    MATH  Google Scholar 

  6. Dahmani, Z: New inequalities in fractional integrals. Int. J. Nonlinear Sci. 9(4), 493-497 (2010)

    MathSciNet  Google Scholar 

  7. Dahmani, Z, Tabharit, L, Taf, S: New generalizations of Grüss inequality using Riemann-Liouville fractional integrals. Bull. Math. Anal. Appl. 2(3), 93-99 (2010)

    MathSciNet  MATH  Google Scholar 

  8. Gorenflo, R, Mainardi, F: Fractional calculus: integral and differential equations of fractional order. In: Carpinteri, A, Mainardi, F (eds.) Fractals and Fractional Calculus in Continuum Mechanics. Springer Series on CSM Courses and Lectures, vol. 378, pp. 223-276. Springer, Wien (1997)

    Chapter  Google Scholar 

  9. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematical Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  MATH  Google Scholar 

  10. Sarıkaya, MZ, Set, E, Yaldız, H, Başak, N: Hermite-Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57(9), 2403-2407 (2013)

    Article  MATH  Google Scholar 

  11. Sarıkaya, MZ, Yıldırım, H: On Hermite-Hadamard type inequalities for Riemann-Liouville fractional integrals. Miskolc Math. Notes (in press)

  12. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Reading (1993)

    MATH  Google Scholar 

  13. Set, E, Sarıkaya, MZ, Özdemir, ME, Yıldırım, H: The Hermite-Hadamard’s inequality for some convex functions via fractional integrals and related results. J. Appl. Math. Stat. Inform. 10(2), 69-83 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  14. Set, E, İşcan, İ, Sarıkaya, MZ, Özdemir, ME: On new inequalities of Hermite-Hadamard-Fejér type for convex functions via fractional integrals. Appl. Math. Comput. 259, 875-881 (2015)

    MathSciNet  Google Scholar 

  15. Raina, RK: On generalized Wright’s hypergeometric functions and fractional calculus operators. East Asian Math. J. 21(2), 191-203 (2005)

    MATH  Google Scholar 

  16. Agarwal, RP, Luo, M-J, Raina, RK: On Ostrowski type inequalities. Fasc. Math. 204, 5-27 (2016)

    MathSciNet  MATH  Google Scholar 

  17. Set, E, Gözpınar, A, Dragomir, SS: Some generalized Hermite-Hadamard type inequalities involving fractional integral operator for functions whose second derivatives in absolute value are s-convex. ResearchGate. https://www.researchgate.net/publication/313846138

  18. Set, E, Gözpınar, A, Mumcu, İ: The Hermite-Hadamard inequality for s-convex functions in the second sense via conformable fractional integrals and related inequalities. Thai J. Math. (in press)

  19. Usta, F, Budak, H, Sarıkaya, MZ, Set, E: On generalization of trapezoid type inequalities for s-convex functions with generalized fractional integral operators. Filomat (in press)

  20. Yaldız, H, Sarıkaya, MZ: On the Hermite-Hadamard type inequalities for fractional integral operator. ResearchGate. https://www.researchgate.net/publication/309824275

  21. Budak, H, Usta, F, Sarıkaya, MZ, Özdemir, ME: On generalization of midpoint type inequalities with generalized fractional integral operators. https://www.researchgate.net/publication/312596723

  22. Jleli, M, Samet, B: On Hermite-Hadamard type inequalities via fractional integrals of a function with respect to another function. J. Nonlinear Sci. Appl. 9, 1252-1260 (2016)

    MathSciNet  MATH  Google Scholar 

  23. Díaz, R, Pariguan, E: On hypergeometric functions and k-Pochhammer symbol. Divulg. Mat. 15(2), 179-192 (2007)

    MathSciNet  MATH  Google Scholar 

  24. Tunç, T, Budak, H, Usta, F, Sarıkaya, MZ: On new generalized fractional integral operators and related inequalities. ResearchGate. https://www.researchgate.net/publication/313650587

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Junesang Choi.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors have contributed equally to this manuscript. They read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Set, E., Choi, J. & Gözpinar, A. Hermite-Hadamard type inequalities for the generalized k-fractional integral operators. J Inequal Appl 2017, 206 (2017). https://doi.org/10.1186/s13660-017-1476-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-017-1476-y

MSC

Keywords