Advertisement

On the Hermite–Hadamard type inequality for ψ-Riemann–Liouville fractional integrals via convex functions

  • Kui Liu
  • JinRong WangEmail author
  • Donal O’Regan
Open Access
Research
  • 265 Downloads

Abstract

In this paper, we establish a new Hermite–Hadamard inequality involving left-sided and right-sided ψ-Riemann–Liouville fractional integrals via convex functions. We also show two basic ψ-Riemann–Liouville fractional integral identities including the first order derivative of a given convex function, and these will be used to derive estimates for some fractional Hermite–Hadamard inequalities. Finally, we give some applications to special means of real numbers.

Keywords

Hermite–Hadamard inequality ψ-Riemann–Liouville fractional integrals 

1 Introduction and preliminaries

It is well known that Hermite established the following Hermite–Hadamard integral inequality:
$$\begin{aligned} f \biggl(\frac{a+b}{2} \biggr)\leq \frac{1}{b-a} \int _{a}^{b}f(s)\,ds \leq \frac{f(a)+f(b)}{2}, \end{aligned}$$
(1)
where \(f:[a,b]\subset R\rightarrow R\) is a convex function (see [6]). This inequality provides a lower and an upper estimate for the integral average of any convex function defined on a compact interval. For generalizations of the classical Hermite–Hadamard inequality, see [1, 2, 3, 4, 6, 7, 8, 10, 11, 12] and the references therein.

In the last decade, fractional calculus [5] has played an important role in various scientific fields since it is a good tool to describe long-memory processes. In [7], the authors established Hermite–Hadamard’s inequalities for Riemann–Liouville fractional integrals and some Hermite–Hadamard type integral inequalities for fractional integrals; in [8], the authors obtained some new inequalities of Ostrowski type involving fractional integrals; and in [9], the authors presented some properties and results on fractional calculus using the ψ-Hilfer fractional derivative. Fractional Hermite–Hadamard inequalities for Riemann–Liouville and Hadamard fractional integrals have been studied extensively in the literature, but there are only a few results concerning Hermite–Hadamard inequalities for ψ-Riemann–Liouville fractional integrals via convex functions. In [10, 11, 12], the authors extended the classical Hermite–Hadamard type inequalities to Riemann–Liouville and Hadamard fractional integral cases, which can be used to find lower and upper bounds for fractional integral for some given convex functions.

Definition 1.1

(see [5] or [9, Definition 4])

Let \((a,b)\) (\(-\infty \leq a< b\leq \infty \)) be a finite or infinite interval of the real line R and \(\alpha >0 \). Also let \(\psi (x)\) be an increasing and positive monotone function on \((a,b]\), having a continuous derivative \(\psi '(x)\) on \((a,b)\). The left- and right-sided ψ-Riemann–Liouville fractional integrals of a function f with respect to another function ψ on \([a,b]\) are defined by
$$\begin{aligned}& I^{{\alpha }:\psi }_{a^{+}} f(x)=\frac{1}{\varGamma (\alpha )} \int _{a} ^{x}\psi '(t) \bigl(\psi (x)- \psi (t)\bigr)^{\alpha -1}f(t)\,dt, \\& I^{{\alpha }:\psi }_{b^{-}} f(x)=\frac{1}{\varGamma (\alpha )} \int _{x} ^{b}\psi '(t) \bigl(\psi (t)- \psi (x)\bigr)^{\alpha -1}f(t)\,dt, \end{aligned}$$
respectively; here \(\varGamma (\cdot )\) is the gamma function.

The aim of this paper is to establish Hermite–Hadamard’s inequality for fractional integrals \(I^{{\alpha }:\psi }_{a^{+}} f(x)\) and \(I^{{\alpha }: \psi }_{b^{-}} f(x)\) and derive some related integral inequalities by using new identities for ψ-fractional integrals.

2 Hermite–Hadamard inequality for ψ-Riemann–Liouville fractional integrals

Theorem 2.1

Let\(0\leq c< d\), \(g:[c,d]\rightarrow R\)be a positive function and\(g\in L_{1}[c,d]\). Also suppose thatgis a convex function on\([c,d]\), \(\psi (x)\)is an increasing and positive monotone function on\((c,d]\), having a continuous derivative\(\psi '(x)\)on\((a,b)\)and\(\alpha \in (0,1)\). Then the following fractional integral inequalities hold:
$$\begin{aligned} \begin{aligned}[b] g \biggl(\frac{c+d}{2} \biggr)&\leq \frac{\varGamma (\alpha +1)}{2(d-c)^{ \alpha }} \bigl[I^{{\alpha }:\psi }_{\psi ^{-1}(c)^{+}} (g\circ \psi ) \bigl(\psi ^{-1}(d) \bigr)+I^{{\alpha }:\psi }_{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl(\psi ^{-1}(c) \bigr)\bigr] \\ &\leq \frac{g(c)+g(d)}{2}. \end{aligned} \end{aligned}$$
(2)

Proof

Let \(x,y\in [c,d]\). Since \(g:[c,d]\rightarrow R\) is a convex function, from (1) we have
$$\begin{aligned} g \biggl(\frac{x+y}{2} \biggr)\leq \frac{g(x)+g(y)}{2}. \end{aligned}$$
(3)
Let \(x=tc+(1-t)d\), \(y=(1-t)c+td\), and put x, y into (3), so we have
$$\begin{aligned} 2g \biggl(\frac{c+d}{2} \biggr)\leq g\bigl(tc+(1-t)d\bigr)+g \bigl((1-t)c+td\bigr). \end{aligned}$$
(4)
Multiply both sides of (4) by \(t^{\alpha -1}\) and then integrate, so we have
$$\begin{aligned} \int _{0}^{1}t^{\alpha -1}g\bigl(tc+(1-t)d\bigr) \,dt+ \int _{0}^{1}t^{\alpha -1}g\bigl((1-t)c+td\bigr) \,dt \geq \frac{2}{\alpha }g \biggl(\frac{c+d}{2} \biggr). \end{aligned}$$
(5)
Next,
$$\begin{aligned}& \frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I^{{\alpha }:\psi }_{ \psi ^{-1}(c)^{+}}(g\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I^{{\alpha }:\psi }_{ \psi ^{-1}(d)^{+}}(g\circ \psi ) \bigl(\psi ^{-1}(c)\bigr)\bigr] \\& \quad = \frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\frac{1}{\varGamma (\alpha )}\biggl[ \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}\psi '(v) \bigl(d-\psi (v)\bigr)^{\alpha -1}(g \circ \psi ) (v)\,dv \\& \quad\quad{} + \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}\psi '(v) \bigl( \psi (v)-c\bigr)^{\alpha -1}(g\circ \psi ) (v)\,dv\biggr] \\& \quad = \frac{\alpha }{2}\biggl[ \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}\biggl(\frac{d- \psi (v)}{d-c} \biggr)^{\alpha -1}g\bigl(\psi (v)\bigr)\frac{\psi '(v)}{d-c}\,dv \\& \quad\quad{}+ \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}\biggl(\frac{\psi (v)-c}{d-c} \biggr)^{\alpha -1}g\bigl( \psi (v)\bigr)\frac{\psi '(v)}{d-c}\,dv\biggr] \\& \quad = \frac{\alpha }{2}\biggl[ \int _{0}^{1}t^{\alpha -1}g\bigl(tc+(1-t)d\bigr) \,dt+ \int _{0} ^{1}s^{\alpha -1}g\bigl((1-s)c+sd\bigr) \,ds\biggr] \\& \quad \quad \biggl(\text{let } t= \frac{\psi (v)d}{c-d},s=\frac{\psi (v)-c}{d-c}\biggr) \\& \quad = \frac{\alpha }{2}\biggl[ \int _{0}^{1}t^{\alpha -1}g\bigl(tc+(1-t)d\bigr) \,dt+ \int _{0} ^{1}t^{\alpha -1}g\bigl((1-t)c+td\bigr) \,dt\biggr] \\& \quad \geq g \biggl(\frac{c+d}{2} \biggr), \end{aligned}$$
where (5) is used, so the left-hand side inequality in (2) is proved.
To prove the right-hand side inequality in (2), since g is a convex function, then for \(t\in [0,1]\), we have
$$ g\bigl(tc+(1-t)d\bigr)\leq tg(c)+(1-t)g(d) $$
and
$$ g\bigl((1-t)c+td\bigr)\leq (1-t)g(c)+tg(d). $$
Now
$$ g\bigl(tc+(1-t)d\bigr)+g\bigl((1-t)c+td\bigr)\leq tg(c)+(1-t)g(d)+(1-t)g(c)+tg(d), $$
i.e.,
$$ g\bigl(tc+(1-t)d\bigr)+g\bigl((1-t)c+td\bigr)\leq g(c)+g(d). $$
(6)
Multiply both sides of (6) by \(t^{\alpha -1}\) and then integrate, so we obtain
$$\begin{aligned} \int _{0}^{1}t^{\alpha -1}g\bigl(tc+(1-t)d\bigr) \,dt+ \int _{0}^{1}t^{\alpha -1}g\bigl((1-t)c+td\bigr) \,dt \leq \frac{g(c)+g(d)}{\alpha }, \end{aligned}$$
i.e.,
$$ \frac{\varGamma (\alpha )}{(d-c)^{\alpha }}\bigl[I^{{\alpha }:\psi }_{\psi ^{-1}(c)^{+}}(f\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I^{{\alpha }:\psi }_{\psi ^{-1}(d)^{+}}(f\circ \psi ) \bigl(\psi ^{-1}(c)\bigr)\bigr]\leq \frac{g(c)+g(d)}{ \alpha }. $$
The proof is complete. □

3 Hermite–Hadamard type inequalities for ψ-Riemann–Liouville fractional integrals

Lemma 3.1

Let\(c< d\)and\(g:[c,d]\rightarrow R\)be a differentiable mapping on\((c,d)\). Also suppose that\(g'\in L[c,d]\), \(\psi (x)\)is an increasing and positive monotone function on\((c,d]\), having a continuous derivative\(\psi '(x)\)on\((c,d)\)and\(\alpha \in (0,1)\). Then the following equality for fractional integrals holds:
$$\begin{aligned}& \frac{g(c)+g(d)}{2}-\frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I ^{{\alpha }:\psi }_{\psi ^{-1}(c)^{+}} (g \circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I ^{{\alpha }:\psi }_{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl(\psi ^{-1}(c)\bigr)\bigr] \\& \quad =\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}\bigl[\bigl( \psi (v)-c \bigr)^{\alpha }-\bigl(d-\psi (v)\bigr)^{\alpha }\bigr] \bigl(g'\circ \psi \bigr) (v)\psi '(v)\,dv. \end{aligned}$$

Proof

Let \(I_{1}=\frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}I^{{\alpha }: \psi }_{\psi ^{-1}(c)^{+}} (g\circ \psi )(\psi ^{-1}(d))\) and \(I_{2}=\frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}I^{{\alpha }:\psi } _{\psi ^{-1}(d)^{-}} (g\circ \psi )(\psi ^{-1}(c))\). Then
$$\begin{aligned} I_{1} =&\frac{\alpha }{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)} \psi '(v) \bigl(d-\psi (v)\bigr)^{\alpha -1}(g\circ \psi ) (v)\,dv \\ =&-\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(d)}^{\psi ^{-1}(c)}(g \circ \psi ) (v)\,d\bigl(d-\psi (v) \bigr)^{\alpha } \\ =&\frac{1}{2(d-c)^{\alpha }}[(d-c)^{\alpha }g(c)+ \int _{\psi ^{-1}(c)} ^{\psi ^{-1}(d)}\psi '(v) \bigl(d-\psi (v)\bigr)^{\alpha }\bigl(g'\circ \psi \bigr) (v)\,dv, \end{aligned}$$
and
$$\begin{aligned} I_{2} =&\frac{\alpha }{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}\psi '(v) \bigl(\psi (v)-c\bigr)^{\alpha -1}(g\circ \psi ) (v)\,dv \\ =&\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}(g \circ \psi ) (v)\,d\bigl(\psi (v)-c \bigr)^{\alpha } \\ =&\frac{1}{2(d-c)^{\alpha }}\biggl[(d-c)^{\alpha }g(d)- \int _{\psi ^{-1}(c)} ^{\psi ^{-1}(d)}\psi '(v) \bigl(\psi (v)-c\bigr)^{\alpha }\bigl(g'\circ \psi \bigr) (v)\,dv\biggr]. \end{aligned}$$
It follows that
$$ \begin{aligned} & \frac{g(c)+g(d)}{2}-I_{1}-I_{2} \\ &\quad =\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}\bigl[\bigl(\psi (v)-c \bigr)^{\alpha }-\bigl(d-\psi (v)\bigr)^{ \alpha }\bigr] \bigl(g'\circ \psi \bigr) (v)\psi '(v)\,dv. \end{aligned} $$
The proof is complete. □

Lemma 3.2

Let\(c< d\)and\(g:[c,d]\rightarrow R\)be a differentiable mapping on\((c,d)\). Also suppose that\(g'\in L[c,d]\), \(\psi (x)\)is a positive monotone function increasing on\((c,d]\), having a continuous derivative\(\psi '(x)\)on\((c,d)\)and\(\alpha \in (0,1)\). Then the following equality for fractional integrals holds:
$$\begin{aligned}& \frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I^{{\alpha }:\psi }_{ \psi ^{-1}(c)^{+}} (g\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I^{{\alpha }:\psi } _{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl( \psi ^{-1}(c)\bigr)\bigr]-g \biggl(\frac{c+d}{2} \biggr) \\& \quad = \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}k\bigl(g'\circ \psi \bigr) (v)\psi '(v)\,dv \\& \quad\quad{} +\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)} \bigl[(\bigl(d- \psi (v) \bigr)^{\alpha }-\bigl(\psi (v)-c\bigr)^{\alpha }\bigr] \bigl(g'\circ \psi \bigr) (v)\psi '(v)\,dv, \end{aligned}$$
(7)
where
$$\begin{aligned} k= \textstyle\begin{cases} \frac{1}{2}, &\psi ^{-1}(\frac{c+d}{2})\leq v\leq \psi ^{-1}(d),\\ -\frac{1}{2}, &\psi ^{-1}(c)< v< \psi ^{-1} (\frac{c+d}{2} ). \end{cases}\displaystyle \end{aligned}$$
(8)

Proof

Let
$$\begin{aligned}& J_{1}= \int _{\psi ^{-1}(c)}^{\psi ^{-1}(\frac{c+d}{2})}-\frac{1}{2} \bigl(g' \circ \psi \bigr) (v)\psi '(v)\,dv=- \frac{1}{2}g \biggl(\frac{c+d}{2} \biggr)+ \frac{1}{2}g(c), \\& J_{2}= \int _{\psi ^{-1}(\frac{c+d}{2})}^{\psi ^{-1}(d)}\frac{1}{2} \bigl(g' \circ \psi \bigr) (v)\psi '(v)\,dv= \frac{1}{2}g(d)-\frac{1}{2}g \biggl(\frac{c+d}{2} \biggr), \\& \begin{aligned} J_{3} &=\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)} \psi '(v) \bigl(d-\psi (v)\bigr)^{\alpha }\bigl(g'\circ \psi \bigr) (v)\,dv \\ &=-\frac{1}{2}g(c)+\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{ \psi ^{-1}(d)}\alpha \psi '(v) \bigl(d- \psi (v)\bigr)^{\alpha -1}(g\circ \psi ) (v)\,dv \\ &=-\frac{1}{2}g(c)+\frac{\alpha \varGamma (\alpha )}{2(d-c)^{\alpha }}I ^{{\alpha }:\psi }_{\psi ^{-1}(c)^{+}} (g \circ \psi ) \bigl(\psi ^{-1}(d)\bigr), \end{aligned} \end{aligned}$$
and
$$\begin{aligned} J_{4} =&-\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)} \psi '(v) \bigl(\psi (v)-c\bigr)^{\alpha }\bigl(g'\circ \psi \bigr) (v)\,dv \\ =&-\frac{1}{2}g(d)+\frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{ \psi ^{-1}(d)}\alpha \psi '(v) \bigl( \psi (v)-c\bigr)^{\alpha -1}(g\circ \psi ) (v)\,dv \\ =&-\frac{1}{2}g(d)+\frac{\alpha \varGamma (\alpha )}{2(d-c)^{\alpha }}I ^{{\alpha }:\psi }_{\psi ^{-1}(d)^{-}} (g \circ \psi ) \bigl(\psi ^{-1}(c)\bigr). \end{aligned}$$
Note that
$$ \begin{gathered} J_{1}+J_{2}+J_{3}+J_{4} \\ \quad = \frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I ^{{\alpha }:\psi }_{\psi ^{-1}(c)^{+}} (g\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I ^{{\alpha }:\psi }_{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl( \psi ^{-1}(c)\bigr)\bigr]-g \biggl(\frac{c+d}{2} \biggr). \end{gathered} $$
The proof is complete. □

Example 3.3

Let \(a=1\), \(b=2\), \(\alpha =\frac{1}{2}\), \(f(x)=x^{2}\), \(\psi (x)=x\). Then all the assumptions in Theorem 2.1 are satisfied. Clearly, \(f(\frac{a+b}{2})=\frac{9}{4}\) and
$$\begin{aligned}& \frac{\varGamma (\alpha +1)}{2(b-a)^{\alpha }}\bigl[I^{{\alpha }:\psi }_{ \psi ^{-1}(a)^{+}} (f\circ \psi ) \bigl(\psi ^{-1}(b)\bigr)+I^{{\alpha }:\psi } _{\psi ^{-1}(b)^{-}} (f\circ \psi ) \bigl( \psi ^{-1}(a)\bigr)\bigr] \\& \quad =\frac{\varGamma (\frac{3}{2})}{2}\biggl[\frac{1}{\varGamma (\frac{1}{2})} \int _{1}^{2}(2-t)^{-\frac{1}{2}}t^{2} \,dt+\frac{1}{\varGamma (\frac{1}{2})} \int _{1}^{2}(t-1)^{-\frac{1}{2}}t^{2} \,dt\biggr] \\& \quad =\frac{71}{30}, \end{aligned}$$
and then the left-hand side term of (7) \(\Longleftrightarrow \frac{71}{30}-\frac{9}{4}=\frac{7}{60}\).
On the other hand,
$$\begin{aligned}& \int _{\psi ^{-1}(a)}^{\psi ^{-1}(b)}k\bigl(f'\circ \psi \bigr) (v)\psi '(v)\,dv= \int _{1}^{2}k2v\,dv=\frac{1}{4} \end{aligned}$$
and k is defined in (8). Next,
$$\begin{aligned}& \frac{1}{2(b-a)^{\alpha }} \int _{\psi ^{-1}(a)}^{\psi ^{-1}(b)}\bigl[\bigl(b- \psi (v) \bigr)^{\alpha }-\bigl(\psi (v)-a\bigr)^{\alpha }\bigr] \bigl(f'\circ \psi \bigr) (v)\psi '(v)\,dv \\& \quad =-\frac{1}{2} \int _{1}^{2}(\sqrt{v-1}-\sqrt{2-v})2v\,dv \\& \quad =-\frac{4}{5}-\frac{2}{3}=-\frac{2}{15}, \end{aligned}$$
and then the right-hand side term of (7) \(\Longleftrightarrow \frac{1}{4}-\frac{2}{15}=\frac{7}{60}\).

Theorem 3.4

Let\(c< d\)and\(g:[c,d]\rightarrow R\)be a differentiable mapping on\((c,d)\). Also suppose that\(\vert g' \vert \)is convex on\([c,d]\), \(\psi (x) \)is a positive monotone function increasing on\((c,d]\), having a continuous derivative\(\psi '(x)\)on\((c,d)\)and\(\alpha \in (0,1)\). Then the following inequality for fractional integrals holds:
$$\begin{aligned}& \biggl\vert \frac{g(c)+g(d)}{2}-\frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I^{{\alpha }:\psi }_{\psi ^{-1}(c)^{+}} (g\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I ^{{\alpha }:\psi }_{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl(\psi ^{-1}(c)\bigr)\bigr] \biggr\vert \\& \quad \leq \frac{d-c}{2(\alpha +1)}\biggl(1-\frac{1}{2^{\alpha }}\biggr)\bigl[ \bigl\vert g'(c) \bigr\vert + \bigl\vert g'(d) \bigr\vert \bigr]. \end{aligned}$$

Proof

For every \(v\in (\psi ^{-1}(c),\psi ^{-1}(d))\), we have \(c<\psi (v)<d\). Let \(t=\frac{d-\psi (v)}{d-c}\), and then \(\psi (v)=ct+(1-t)d\). Using Lemma 3.1 and the convexity of \(\vert g' \vert \), we obtain
$$\begin{aligned}& \biggl\vert \frac{g(c)+g(d)}{2}-\frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I^{{\alpha }:\psi }_{\psi ^{-1}(c)^{+}} (g\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I ^{{\alpha }:\psi }_{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl(\psi ^{-1}(c)\bigr)\bigr] \biggr\vert \\& \quad \leq \frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)} \bigl\vert \bigl( \psi (v)-c \bigr)^{\alpha }-\bigl(d-\psi (v)\bigr)^{\alpha } \bigr\vert \bigl\vert \bigl(g'\circ \psi \bigr) (v) \bigr\vert \,d \psi (v) \\& \quad = \frac{d-c}{2} \int _{0}^{1} \bigl\vert (1-t)^{\alpha }-t^{\alpha } \bigr\vert \bigl\vert g'\bigl(tc+(1-t)d\bigr) \bigr\vert \,dt \\& \quad \leq \frac{d-c}{2} \int _{0}^{1} \bigl\vert (1-t)^{\alpha }-t^{\alpha } \bigr\vert \bigl[t \bigl\vert g'(c) \bigr\vert +(1-t) \bigl\vert g'(d) \bigr\vert \bigr]\,dt \\& \quad := \frac{d-c}{2}(T_{1}+T_{2}), \end{aligned}$$
where
$$\begin{aligned}& T_{1}:= \int _{0}^{\frac{1}{2}}\bigl[(1-t)^{\alpha }-t^{\alpha } \bigr] \bigl[t \bigl\vert g'(c) \bigr\vert +(1-t) \bigl\vert g'(d) \bigr\vert \bigr]\,dt, \\ & T_{2}:= \int _{\frac{1}{2}}^{1}\bigl[t ^{\alpha }-(1-t)^{\alpha } \bigr] \bigl[t \bigl\vert g'(c) \bigr\vert +(1-t) \bigl\vert g'(d) \bigr\vert \bigr]\,dt. \end{aligned}$$
Note
$$\begin{aligned} T_{1} =& \bigl\vert g'(c) \bigr\vert \biggl[ \int _{0}^{\frac{1}{2}}t(1-t)^{\alpha }\,dt- \int _{0}^{ \frac{1}{2}}t^{\alpha +1}\,dt\biggr] \\ &{}+ \bigl\vert g'(d) \bigr\vert \biggl[ \int _{0}^{\frac{1}{2}}(1-t)^{ \alpha +1}\,dt- \int _{0}^{\frac{1}{2}}(1-t)t^{\alpha }\,dt\biggr] \\ =& \bigl\vert g'(c) \bigr\vert \biggl[\frac{1}{(\alpha +1)(\alpha +2)}- \frac{(\frac{1}{2})^{ \alpha +1}}{\alpha +1}\biggr]+ \bigl\vert g'(d) \bigr\vert \biggl[ \frac{1}{(\alpha +2)}-\frac{( \frac{1}{2})^{\alpha +1}}{\alpha +1}\biggr], \end{aligned}$$
and
$$\begin{aligned} T_{2} =& \bigl\vert g'(c) \bigr\vert \biggl[ \int _{\frac{1}{2}}^{1}t^{\alpha +1}\,dt- \int _{ \frac{1}{2}}^{1}t(1-t)^{\alpha }\,dt\biggr]+ \bigl\vert g'(d) \bigr\vert \biggl[ \int _{\frac{1}{2}}^{1}(1-t)t ^{\alpha }\,dt- \int _{\frac{1}{2}}^{1}(1-t)^{\alpha +1}\,dt\biggr] \\ =& \bigl\vert g'(c) \bigr\vert \biggl[\frac{1}{(\alpha +2)}- \frac{(\frac{1}{2})^{\alpha +1}}{ \alpha +1}\biggr]+ \bigl\vert g'(d) \bigr\vert \biggl[ \frac{1}{(\alpha +1)(\alpha +2)}-\frac{( \frac{1}{2})^{\alpha +1}}{\alpha +1}\biggr]. \end{aligned}$$
The proof is complete. □

Theorem 3.5

Let\(g:[c,d]\rightarrow R\)be a differentiable mapping on\((c,d)\)with\(c< d\). Also suppose that\(\vert g' \vert \)is convex on\([c,d]\), \(\psi (x)\)is an increasing and positive monotone function on\((c,d]\), having a continuous derivative\(\psi '(x)\)on\((c,d)\)and\(\alpha \in (0,1)\). Then the following inequality for fractional integrals holds:
$$\begin{aligned}& \biggl\vert \frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I^{{\alpha }: \psi }_{\psi ^{-1}(c)^{+}} (g\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I^{{\alpha }: \psi }_{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl(\psi ^{-1}(c)\bigr)\bigr]-g \biggl(\frac{c+d}{2} \biggr) \biggr\vert \\ & \quad \leq \frac{ \vert g(d)-g(c) \vert }{2}+\frac{d-c}{2(\alpha +1)}\biggl(1-\frac{1}{2^{ \alpha }} \biggr)\bigl[ \bigl\vert g'(c) \bigr\vert + \bigl\vert g'(d) \bigr\vert \bigr]. \end{aligned}$$
(9)

Proof

Using Lemma 3.2 and the convexity of \(\vert g' \vert \), we obtain
$$\begin{aligned}& \biggl\vert \frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}\bigl[I^{{\alpha }: \psi }_{\psi ^{-1}(d)^{+}} (g\circ \psi ) \bigl(\psi ^{-1}(d)\bigr)+I^{{\alpha }: \psi }_{\psi ^{-1}(d)^{-}} (g\circ \psi ) \bigl(\psi ^{-1}(c)\bigr)\bigr]-g \biggl(\frac{c+d}{2} \biggr) \biggr\vert \\ & \quad = \biggl\vert \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}k\bigl(g'\circ \psi \bigr) (v)\psi '(v)\,dv \\ & \quad\quad{} +\frac{1}{2(d-c)^{ \alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)} \bigl[(\bigl(d-\psi (v) \bigr)^{\alpha }-\bigl( \psi (v)-c\bigr)^{\alpha }\bigr] \bigl(g'\circ \psi \bigr) (v)\psi '(v)\,dv \biggr\vert \\ & \quad \leq \biggl\vert \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}k\bigl(g'\circ \psi \bigr) (v) \psi '(v)\,dv \biggr\vert \\ & \quad\quad{}+ \biggl\vert \frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)} ^{\psi ^{-1}(d)} \bigl[(\bigl(d-\psi (v) \bigr)^{\alpha }-\bigl(\psi (v)-c\bigr)^{\alpha }\bigr] \bigl(g' \circ \psi \bigr) (v)\psi '(v)\,dv \biggr\vert \\ & \quad := K_{1}+K_{2}, \end{aligned}$$
(10)
where
$$\begin{aligned}& K_{1} := \biggl\vert \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)}k\bigl(g'\circ \psi \bigr) (v)\psi '(v)\,dv \biggr\vert , \\& K_{2} := \biggl\vert \frac{1}{2(d-c)^{\alpha }} \int _{\psi ^{-1}(c)}^{\psi ^{-1}(d)} \bigl[(\bigl(d-\psi (v) \bigr)^{\alpha }-\bigl(\psi (v)-c\bigr)^{\alpha }\bigr] \bigl(g'\circ \psi \bigr) (v) \psi '(v)\,dv \biggr\vert , \end{aligned}$$
and k is defined in (8).
From Theorem 3.4,
$$\begin{aligned} K_{2} \leq \frac{d-c}{2(\alpha +1)}\biggl(1- \frac{1}{2^{\alpha }}\biggr)\bigl[ \bigl\vert g'(c) \bigr\vert + \bigl\vert g'(d) \bigr\vert \bigr]. \end{aligned}$$
(11)
Also we easily obtain
$$\begin{aligned} K_{1}=\frac{ \vert g(d)-g(c) \vert }{2}. \end{aligned}$$
(12)
Then put (11) and (12) in (10), and we obtain inequality (9). This completes the proof. □

4 Examples

We consider the following special means for arbitrary real numbers α, β, \(\alpha \neq \beta \):
$$\begin{aligned}& H(\alpha ,\beta ) = \frac{2}{\frac{1}{\alpha }+\frac{1}{\beta }}, \quad \alpha , \beta \in R\setminus \{0 \}, \\& A(\alpha ,\beta ) = \frac{\alpha +\beta }{2}, \quad \alpha ,\beta \in R, \\& L(\alpha ,\beta ) = \frac{\beta -\alpha }{\ln \vert \beta \vert -\ln \vert \alpha \vert }, \quad \vert \alpha \vert \neq \vert \beta \vert , \alpha \beta \neq 0, \\& L_{n}(\alpha ,\beta ) = \biggl[\frac{\beta ^{n+1}-\alpha ^{n+1}}{(n+1)( \beta -\alpha )} \biggr]^{\frac{1}{n}}, \quad n\in Z\setminus \{-1,0\}, \alpha ,\beta \in R, \alpha \neq \beta . \end{aligned}$$

Now, using the results in Sect. 3, we have some applications to the special means of real numbers.

Proposition 4.1

Let\(a,b\in R^{+}\), \(a< b\). Then
$$ \bigl\vert A\bigl(a^{2},b^{2}\bigr)-L_{2}^{2}(a,b) \bigr\vert \leq \frac{b^{2}-a^{2}}{4}. $$

Proof

Apply Theorem 3.4 with \(f(x)=x^{2}\), \(\psi (x)=x\), \(\alpha =1\), and we obtain the result immediately. □

Let \(f(x)=x^{n}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we have the general result
$$ \bigl\vert A\bigl(a^{n},b^{n}\bigr)-L_{n}^{n}(a,b) \bigr\vert \leq \frac{b-a}{8}\bigl(na^{n-1}+nb ^{n-1} \bigr). $$

Proposition 4.2

$$ \bigl\vert A\bigl(e^{a},e^{b}\bigr)-L \bigl(e^{a},e^{b}\bigr) \bigr\vert \leq \frac{b-a}{8} \bigl(e^{a}+e ^{b}\bigr). $$

Proof

Apply Theorem 3.4 with \(f(x)=e^{x}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we obtain the result immediately. □

Proposition 4.3

$$ \bigl\vert H^{-1}(a,b)-L^{-1}(a,b) \bigr\vert \leq \frac{b-a}{8}\biggl(\frac{1}{a ^{2}}+\frac{1}{b^{2}}\biggr). $$

Proof

Apply Theorem 3.4 with \(f(x)=\frac{1}{x}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we obtain the result immediately. □

Proposition 4.4

$$ \bigl\vert L^{-1}(a,b)-A^{-1}(a,b) \bigr\vert \leq \frac{b-a}{8}\biggl(4+\frac{1}{a ^{2}}+\frac{1}{b^{2}}\biggr). $$

Proof

Apply Theorem 3.5 with \(f(x)=\frac{1}{x}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we obtain the result immediately. □

Notes

Authors’ contributions

All authors read and approved the final manuscript.

Funding

This work is partially supported by Training Object of High Level and Innovative Talents of Guizhou Province ((2016)4006), Science and Technology Program of Guizhou Province ([2017]5788-10), and Major Research Project of Innovative Group in Guizhou Education Department ([2018]012).

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Avci, M., Kavurmaci, H., Ödemir, M.E.: New inequalities of Hermite–Hadamard type via s-convex functions in the second sense with applications. Appl. Math. Comput. 217, 5171–5176 (2011) MathSciNetzbMATHGoogle Scholar
  2. 2.
    Bessenyei, M.: The Hermite–Hadamard inequality in Beckenbach’s setting. J. Math. Anal. Appl. 364, 366–383 (2010) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Cal, J., Carcamob, J., Escauriaza, L.: A general multidimensional Hermite–Hadamard type inequality. J. Math. Anal. Appl. 356, 659–663 (2009) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Dragomir, S.S., Fitzpatrick, S.: The Hadamard’s inequality for s-convex functions in the second sense. Demonstr. Math. 32, 687–696 (1999) zbMATHGoogle Scholar
  5. 5.
    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) zbMATHGoogle Scholar
  6. 6.
    Mitrinović, D.S., Lacković, I.B.: Hermite and convexity. Aequ. Math. 28, 229–232 (1985) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Sarikaya, M.Z., Set, E., Yaldiz, H., Başak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013) CrossRefGoogle Scholar
  8. 8.
    Set, E.: New inequalities of Ostrowski type for mappings whose derivatives are s-convex in the second sense via fractional integrals. Comput. Math. Appl. 63, 1147–1154 (2012) MathSciNetCrossRefGoogle Scholar
  9. 9.
    Sousa, J.V.C., Oliveira, E.C.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Wang, J., Fečkan, M.: Fractional Hermite–Hadamard Inequalities. de Gruyter, Berlin (2018) CrossRefGoogle Scholar
  11. 11.
    Wang, J., Li, X., Fečkan, M., Zhou, Y.: Hermite–Hadamard-type inequalities for Riemann–Liouville fractional integrals via two kinds of convexity. Appl. Anal. 92, 2241–2253 (2013) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Wang, J., Li, X., Zhu, C.: Refinements of Hermite–Hadamard type inequalities involving fractional integrals. Bull. Belg. Math. Soc. Simon Stevin 20, 655–666 (2013) MathSciNetzbMATHGoogle Scholar

Copyright information

© The Author(s) 2019

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.

Authors and Affiliations

  1. 1.College of ScienceGuizhou Institute of TechnologyGuiyangChina
  2. 2.Department of MathematicsGuizhou UniversityGuiyangChina
  3. 3.School of Mathematical SciencesQufu Normal UniversityQufuChina
  4. 4.School of Mathematics, Statistics and Applied MathematicsNational University of IrelandGalwayIreland

Personalised recommendations