Open Access

Some generalized Hermite-Hadamard type integral inequalities for generalized s-convex functions on fractal sets

Advances in Difference Equations20152015:301

Received: 19 June 2015

Accepted: 15 September 2015

Published: 24 September 2015


In this article, some new integral inequalities of generalized Hermite-Hadamard type for generalized s-convex functions in the second sense on fractal sets have been established.


s-convex functionsfractal spacelocal fractional derivative



1 Introduction

The convexity of functions is an important concept in the class mathematical analysis course, and it plays a significant role in many fields, for example, in biological system, economy, optimization, and so on [17]. Furthermore, there are a lot of several inequalities related to the class of convex functions. For example, Hermite-Hadamard’s inequality is one of the well-known results in the literature, which can be stated as follows.

Theorem 1.1

(Hermite-Hadamard’s inequality)

Let f be a convex function on \([a_{1},a_{2}] \) with \(a_{1} < a_{2}\). If f is integral on \([a_{1},a_{2}] \), then
$$ f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq\frac{1}{a_{2}-a_{1}}\int _{a_{1}}^{a_{2}}f(x)\,dx\leq\frac{f(a_{1})+f(a_{2})}{2}. $$

In [8], Dragomir and Fitzpatrick demonstrated a variation of Hadamard’s inequality which holds for s-convex functions in the second sense.

Theorem 1.2

Let \(f\colon\mathbb{R}_{+}\rightarrow\mathbb{R}_{+} \) be an s-convex function in the second sense, \(0< s<1 \) and \(a_{1},a_{2}\in \mathbb{R}_{+}\), \(a_{1}< a_{2} \). If \(f\in L^{1}([a_{1},a_{2}] )\), then
$$ 2^{s-1}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq \frac {1}{a_{2}-a_{1}}\int_{a_{1}}^{a_{2}}f(x)\,dx\leq \frac{f(a_{1})+f(a_{2})}{s+1}. $$

In recent years, fractional calculus played an important part in fractal mathematics and engineering. In the sense of Mandelbrot, a fractal set is the one whose Hausdorff dimension strictly exceeds the topological dimension [915]. Many researchers studied the properties of functions on fractal space and constructed many kinds of fractional calculus by using different approaches [1618]. Particularly, in [19], Yang stated the analysis of local fractional functions on fractal space systematically, which includes local fractional calculus and the monotonicity of function.

The outline of this article is as follows. In Section 2, we state the operations with real line number fractal sets and some definitions are given. Some integral inequalities of generalized Hermite-Hadamard type for generalized s-convex functions in the second sense are studied in Section 3. Finally, some applications are also illustrated in Section 4. The conclusions are in Section 5.

2 Preliminaries

Let \(\mathbb{R}^{\alpha} \) be the real line numbers on fractal space. Then, by using Gao-Yang-Kang’s concept, one can explain the definitions of the local fractional derivative and local fractional integral as in [1923]. Now, if \(r_{1}^{\alpha}\), \(r_{2}^{\alpha} \) and \(r_{3}^{\alpha}\in \mathbb{R}^{\alpha} \) (\(0<\alpha\leq1\)), then
  1. (1)

    \(r_{1}^{\alpha}+ r_{2}^{\alpha}\in\mathbb{R}^{\alpha}\), \(r_{1}^{\alpha}r_{2}^{\alpha}\in\mathbb{R}^{\alpha} \),

  2. (2)

    \(r_{1}^{\alpha}+ r_{2}^{\alpha}= r_{2}^{\alpha}+ r_{1}^{\alpha}=(r_{1}+r_{2})^{\alpha}=(r_{2}+r_{1})^{\alpha} \),

  3. (3)

    \(r_{1}^{\alpha}+ (r_{2}^{\alpha}+r_{3}^{\alpha })=(r_{1}^{\alpha}+ r_{2}^{\alpha})+r_{3}^{\alpha} \),

  4. (4)

    \(r_{1}^{\alpha} r_{2}^{\alpha}= r_{2}^{\alpha} r_{1}^{\alpha }=(r_{1} r_{2})^{\alpha}=(r_{2}r_{1})^{\alpha} \),

  5. (5)

    \(r_{1}^{\alpha} (r_{2}^{\alpha}r_{3}^{\alpha })=(r_{1}^{\alpha} r_{2}^{\alpha})r_{3}^{\alpha} \),

  6. (6)

    \(r_{1}^{\alpha} (r_{2}^{\alpha}+r_{3}^{\alpha })=(r_{1}^{\alpha} r_{2}^{\alpha})+(r_{1}^{\alpha}r_{3}^{\alpha}) \),

  7. (7)

    \(r_{1}^{\alpha}+0^{\alpha}=0^{\alpha}+r_{1}^{\alpha }=r_{1}^{\alpha} \) and \(r_{1}^{\alpha}\cdot1^{\alpha}=1^{\alpha }\cdot r_{1}^{\alpha}=r_{1}^{\alpha}\).

Let us state some definitions about the local fractional calculus on \(\mathbb{R}^{\alpha} \).

Definition 2.1


A non-differentiable function \(y\colon\mathbb{R}\rightarrow\mathbb {R}^{\alpha} \) is called local fractional continuous at \(x_{0} \) if, for any \(\varepsilon>0 \), there exists \(\delta>0 \) such that
$$\bigl\vert y(x)-y(x_{0})\bigr\vert < \varepsilon^{\alpha} $$
holds for \(|x-x_{0}|<\delta\), where \(\varepsilon,\delta\in\mathbb{R} \). \(y\in C_{\alpha}(a_{1},a_{2}) \) if it is local fractional continuous on the interval \((a_{1},a_{2}) \).

Definition 2.2


The local fractional derivative of \(y(m) \) of order α at \(m=m_{0} \) is defined by
$$y^{\alpha}(m_{0})={\biggl.\frac{d^{\alpha}y(m)}{dm^{\alpha}}\biggr|_{m=m_{0}}}=\lim _{m\rightarrow m_{0}}\frac{\Gamma(1+\alpha )(y(m)-y(m_{0}))}{(m-m_{0})^{\alpha}}, $$
where \({ \Gamma(m)=\int_{0}^{\infty}m^{z-1}e^{-m}\, dm }\). If there exists \({y^{(n+1)\alpha} (m)=D^{\alpha }_{m}\cdots D^{\alpha}_{m}y(m)}\) (\(n+1\) times) for any \(m\in I\subseteq \mathbb{R} \), then \(y\in D_{(n+1)\alpha}(I)\), \(n=0,1,2,\ldots\) .

Definition 2.3


The local fractional integral of function \(y(m) \) of order α is defined by, where \(y\in C_{\alpha}[a_{1},a_{2}] \),
$$\begin{aligned} _{a_{1}}I^{(\alpha)}_{a_{2}}y(m) =&\frac{1}{\Gamma(1+\alpha)}\int _{a_{1}}^{a_{2}}y(t) (dt)^{\alpha} \\ =&\frac{1}{\Gamma(1+\alpha)} \lim_{\triangle t\rightarrow0}\sum _{i=1}^{n} y(t_{i}) (\triangle t_{i})^{\alpha} \end{aligned}$$
with \(\triangle t_{i}=t_{i+1}-t_{i} \) and \(\triangle t= \max\{ \triangle t_{i}\colon i=1,2,\ldots,n-1\} \), where \([t_{i},t_{i+1}]\), \(i=0,1,\ldots,n-1 \) and \(t_{0}=a_{1}< t_{1}<\cdots<t_{n-1}<t_{n}=a_{2} \) is a partition of the interval \([a_{1},a_{2}] \).
In [24], the authors introduced the generalized convex function and established the generalized Hermite-Hadamard’s inequality on fractal space. Let \(f\colon I\subset\mathbb{R}\rightarrow\mathbb{R}^{\alpha} \) for any \(x_{1},x_{2}\in I \) and \(\gamma\in[0,1] \) if the following inequality
$$f\bigl(\gamma x_{1}+(1-\gamma)x_{2}\bigr)\leq \gamma^{\alpha}f(x_{1})+(1-\gamma )^{\alpha}f(x_{2}) $$
holds, then f is called a generalized convex function on I. In \(\alpha=1 \), we have a convex function, convexity is defined only in geometrical terms as being the property of a function whose graph bears tangents only under it [25].

Theorem 2.1

(Generalized Hermite-Hadamard’s inequality)

Let \(f\in{}_{a_{1}}I^{(\alpha)}_{a_{2}} \) be a generalized convex function on \([a_{1},a_{2}] \) with \(a_{1}< a_{2} \). Then
$$ f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq\frac{\Gamma(1+\alpha )}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f(x) \leq\frac {f(a_{1})+f(a_{2})}{2^{\alpha}}. $$

Note that it will be reduced to the class Hermite-Hadamard’s inequality (1) if \(\alpha=1 \).

In [23], Mo and Sui introduced the definitions of two kinds of generalized s-convex functions on fractal sets as follows.

Definition 2.4

  1. (i)
    A function \(f\colon\mathbb{R}_{+}\rightarrow\mathbb {R}^{\alpha} \) is called generalized s-convex (\(0< s<1\)) in the first sense if
    $$ f(\gamma_{1}x_{1}+\gamma_{2}x_{2}) \leq\gamma_{1}^{s\alpha }f(x_{1})+\gamma_{2}^{s \alpha}f(x_{2}) $$
    for all \(x_{1},x_{2}\in\mathbb{R}_{+} \) and all \(\gamma_{1},\gamma _{2}\geq0 \) with \(\gamma_{1}^{s}+\gamma_{2}^{s}=1 \), we denote this class of functions by \(GK^{1}_{s} \).
  2. (ii)

    A function \(f\colon\mathbb{R}_{+}\rightarrow\mathbb {R}^{\alpha} \) is called generalized s-convex (\(0< s<1 \)) in the second sense if inequality (3) holds for all \(x_{1},x_{2}\in \mathbb{R}_{+} \) and all \(\gamma_{1},\gamma_{2}\geq0 \) with \(\gamma _{1}+\gamma_{2}=1 \), we denote this class of functions by \(GK^{2}_{s} \).


In the same paper [23], Mo and Sui proved that all functions from \(GK^{2}_{s} \), \(s\in(0,1) \), are non-negative.

3 Main results

In [26], the authors demonstrated a variation of generalized Hadamard’s inequality which holds for a generalized s-convex function in the second sense. Now, we will give another proof for generalized s-Hadamard’s inequality.

Theorem 3.1

Let \(f\colon\mathbb{R}_{+}\rightarrow\mathbb{R}^{\alpha}_{+} \) be a generalized s-convex function in the second sense, \(0< s<1 \) and \(a_{1},a_{2}\in\mathbb{R}_{+} \) with \(a_{1}< a_{2} \). If \(f\in L^{1}([a_{1},a_{2}]) \), then
$$\begin{aligned} 2^{\alpha(s-1)}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq& \frac{\Gamma (1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x) \\ \leq&\frac{\Gamma(1+s\alpha )\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha)}\bigl(f(a_{1})+f(a_{2})\bigr). \end{aligned}$$


Since f is generalized s-convex in the second sense, then
$$f\bigl(\gamma a_{1}+(1-\gamma)a_{2}\bigr)\leq \gamma^{\alpha s}f(a_{1})+(1-\gamma )^{\alpha s}f(a_{2}), \quad \forall\gamma\in[0,1]. $$
Integrating the above inequality with respect to γ on \([0,1] \), we have
$$\begin{aligned} \Gamma(1+\alpha) {}_{0}I^{(\alpha)}_{1} f\bigl(\gamma a_{1}+(1-\gamma )a_{2}\bigr) \leq& f(a_{1}) \Gamma(1+\alpha) {}_{0}I^{(\alpha)}_{1} \gamma ^{\alpha s} \\ &{}+f(a_{2})\Gamma(1+\alpha) {}_{0}I^{(\alpha)}_{1} (1-\gamma)^{\alpha s} \\ =& \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha )}\bigl(f(a)+f(b)\bigr). \end{aligned}$$
Let \(x=\gamma a_{1}+(1-\gamma) a_{2}\). Then we have
$$\begin{aligned} \Gamma(1+\alpha) {}_{0}I^{(\alpha)}_{1} f\bigl(\gamma a_{1}+(1-\gamma )a_{2}\bigr) =& \frac{\Gamma(1+\alpha)}{(a_{1}-a_{2})^{\alpha}} {}_{a_{2}}I^{(\alpha)}_{a_{1}} f(x) \\ =& \frac{\Gamma(1+\alpha )}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}} f(x). \end{aligned}$$
Now, it follows that
$$\frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}} f(x)\leq \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)}\bigl(f(a_{1})+f(a_{2})\bigr). $$
Then the second inequality in (4) is proved.
In order to prove the first inequality in (4), we use the following inequality:
$$ f \biggl( \frac{x_{1}+x_{2}}{2} \biggr) \leq\frac {f(x_{1})+f(x_{2})}{2^{\alpha s}}, \quad \forall x_{1},x_{2}\in I . $$
Now, assume that \(x_{1}=\gamma a_{1}+(1-\gamma)a_{2} \) and \(x_{2}=(1-\gamma)a_{1}+\gamma a_{2} \) with \(\gamma\in[0,1] \).
Then we get by inequality (5) that
$$f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq\frac{f(\gamma a_{1}+(1-\gamma )a_{2})+f((1-\gamma)a_{1}+\gamma a_{2})}{2^{\alpha s}} , \quad \forall \gamma\in[0,1]. $$
By integrating both sides of the above inequalities over \([0,1] \), we have
$$\frac{1}{\Gamma(1+\alpha)}\int_{0}^{1}f \biggl( \frac {a_{1}+a_{2}}{2} \biggr) (d\gamma)^{\alpha}\leq\frac{1}{2^{\alpha (s-1)} (a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f(x). $$
Then it follows that
$$2^{\alpha(s-1)} f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq\frac{\Gamma (1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f(x). $$
This completes the proof. □

Remark 3.1

If we set \(c=\frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)} \) for \(s\in (0,1 ] \), then it is best possible in the second inequality of (4).

As the function \(f\colon[0,1]\rightarrow[0^{\alpha},1^{\alpha}] \) given by \(f(x)=x^{ s\alpha} \) is generalized s-convex in the second sense,
$$\begin{aligned} \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x) =& \Gamma(1+\alpha)\frac{1}{\Gamma(1+\alpha)}\int_{0}^{1}x^{\alpha s}(dx)^{\alpha} \\ =& \frac{\Gamma(1+s\alpha )\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha)} \end{aligned}$$
$$\frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha )}\bigl(f(0)+f(1)\bigr)=\frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)} . $$
Similarly, if \(\alpha=1 \), then inequalities (4) reduce to inequalities (2).

Theorem 3.2

Let \(A\colon[0,1]\rightarrow\mathbb{R}^{\alpha} \) be a function such as
$$A(\gamma)=\frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f \biggl( \gamma x+(1-\gamma)\frac {a_{1}+a_{2}}{2} \biggr) ,\quad \gamma\in[0,1], $$
where \(f\colon[a_{1},a_{2}]\rightarrow\mathbb{R}^{\alpha} \) is a generalized s-convex function in the second sense, \(s\in ( 0,1 ] \), \(a_{1},a_{2}\in\mathbb{R}_{+} \), \(a_{1}< a_{2}\) and \(f\in L^{1}([a_{1},a_{2}]) \). Then
  1. (i)

    \(A \in GK^{2}_{s} \) on \([0,1] \),

  2. (ii)
    we have the inequality
    $$ A(\gamma)\geq2^{\alpha(s-1)}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) , \quad \forall\gamma\in[0,1] , $$
  3. (iii)
    and the following inequality also holds:
    $$ A\leq\min \bigl\lbrace A_{1}(\gamma), A_{2}( \gamma) \bigr\rbrace ,\quad \gamma\in[0,1], $$
    $$A_{1}(\gamma)=\gamma^{\alpha s}\frac{\Gamma(1+\alpha )}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f( x ) +(1-\gamma)^{\alpha s}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) $$
    $$\begin{aligned} A_{2}(\gamma) =&\frac{\Gamma(1+\alpha s)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)} \biggl( f \biggl( \gamma a_{1}+(1-\gamma)\frac {a_{1}+a_{2}}{2} \biggr) \\ &{}+f \biggl( \gamma a_{2}+(1-\gamma)\frac {a_{1}+a_{2}}{2} \biggr) \biggr) \end{aligned}$$
    for \(\gamma\in ( 0,1 ]\).
  4. (iv)
    If \(\tilde{A}= \max\{A_{1}(\gamma),A_{2}(\gamma)\}\), \(\gamma \in[0,1] \), then
    $$\tilde{A}\leq\frac{\Gamma(1+\alpha s)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)} \biggl\lbrace \gamma^{\alpha s} \bigl(f(a_{1})+f(a_{2})\bigr)+2^{\alpha}(1- \gamma)^{\alpha s} f \biggl( \frac {a_{1}+a_{2}}{2} \biggr) \biggr\rbrace . $$


(i) Let \(\gamma_{1},\gamma_{2}\in[0,1] \) and \(\mu_{1},\mu _{2}\geq0 \) with \(\mu_{1}+\mu_{2}=1 \), then
$$\begin{aligned} A(\mu_{1}\gamma_{1}+\mu_{2}\gamma_{2}) =& \frac{\Gamma (1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}} f \biggl( ( \mu_{1}\gamma_{1}+\mu_{2}\gamma_{2})x+ \bigl(1-(\mu_{1}\gamma_{1}+\mu _{2} \gamma_{2})\bigr)\frac{a_{1}+a_{2}}{2} \biggr) \\ \leq& \frac {\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}} \biggl\lbrace \mu_{1}^{\alpha s}f \biggl( \gamma_{1}x+(1-\gamma _{1})\frac{a_{1}+a_{2}}{2} \biggr) \\ &{}+ \mu_{2}^{\alpha s}f \biggl( \gamma_{2}x+(1- \gamma_{2})\frac {a_{1}+a_{2}}{2} \biggr)\biggr\rbrace \\ =& \mu_{1}^{\alpha s} A(\gamma_{1})+ \mu_{2}^{\alpha s} A(\gamma_{2}), \end{aligned}$$
which implies that \(A \in GK^{2}_{s}\) on \([0,1] \).
(ii) Let \(\gamma\in (0,1 ] \) and by the change of variable \(m=\gamma x+(1-\gamma)\frac{a_{1}+a_{2}}{2} \), we have
$$A(\gamma)=\frac{\Gamma(1+\alpha)}{\gamma^{\alpha}(a_{2}-a_{1})^{\alpha }} {}_{\gamma a_{1}+(1-\gamma)\frac{a_{1}+a_{2}}{2}}I^{(\alpha )}_{\gamma a_{2}+(1-\gamma)\frac{a_{1}+a_{2}}{2}}f(m)= \frac{\Gamma (1+\alpha)}{(b_{2}-b_{1})^{\alpha}} {}_{b_{1}}I^{(\alpha)}_{b_{2}}f(m). $$
By using the first generalized Hermite-Hadamard inequality, we have
$$\frac{\Gamma(1+\alpha)}{(b_{2}-b_{1})^{\alpha}} {}_{b_{1}}I^{(\alpha )}_{b_{2}}f(m) \geq2^{\alpha(s-1)}f \biggl( \frac{b_{1}+b_{2}}{2} \biggr) =2^{\alpha(s-1)}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr), $$
and inequality (6) is obtained.
If \(\gamma=0 \), the inequality
$$f\biggl(\frac{a_{1}+a_{2}}{2}\biggr)\geq2^{\alpha(s-1)}f \biggl( \frac {a_{1}+a_{2}}{2} \biggr) $$
also holds.
(iii) By using the second part of generalized Hadamard’s inequality, we get
$$\begin{aligned} \frac{\Gamma(1+\alpha)}{(b_{2}-b_{1})^{\alpha}} {}_{b_{1}}I^{(\alpha )}_{b_{2}}f(m) \leq& \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)}\bigl(f(b_{1})+f(b_{2})\bigr) \\ =& \frac {\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha)} \biggl( f \biggl( \gamma a_{1}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) \\ &{} +f \biggl( \gamma a_{2}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) \biggr) \\ =& A_{2}(\gamma) , \quad \forall\gamma\in[0,1]. \end{aligned}$$
If \(\gamma=0 \), then the inequality
$$f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) =A(0)\leq A_{2}(0)= \frac{2^{\alpha }\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha)}f \biggl( \frac {a_{1}+a_{2}}{2} \biggr) $$
holds as it is equivalent to
$$\biggl(\frac{\Gamma(1+(s+1)\alpha)}{\Gamma(1+s\alpha)\Gamma(1+\alpha )}-2^{\alpha} \biggr)f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq0^{\alpha} $$
and we know that for \(s\in(0,1) \),
$$f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \geq0^{\alpha}. $$
$$f \biggl( \gamma x+(1-\gamma)\frac{a_{1}+a_{2}}{2} \biggr) \leq\gamma ^{\alpha s}f(x)+(1-\gamma)^{\alpha s}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) $$
for \(\forall\gamma\in[0,1] \) and \(x\in[a_{1},a_{2}] \), then we obtain
$$\begin{aligned} A(\gamma) =& \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f \biggl( \gamma x+(1-\gamma)\frac {a_{1}+a_{2}}{2} \biggr) \\ \leq& \gamma^{\alpha s}\frac{\Gamma (1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x)+(1- \gamma)^{\alpha s} f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \\ =& A_{1}(\gamma). \end{aligned}$$
Then, the proof of inequality (7) is complete.
(iv) We have
$$\begin{aligned} A_{2}(\gamma) =& \frac{\Gamma(1+s\alpha)\Gamma (1+\alpha)}{\Gamma(1+(s+1)\alpha)} \biggl[ f \biggl( \gamma a_{1}+(1-\gamma )\frac{a_{1}+a_{2}}{2} \biggr) +f \biggl( \gamma a_{2}+(1-\gamma)\frac {a_{1}+a_{2}}{2} \biggr) \biggr] \\ \leq& \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha)} \biggl[ \gamma^{\alpha s}f(a_{1})+(1- \gamma)^{\alpha s}f \biggl( \frac {a_{1}+a_{2}}{2} \biggr) \\ &{}+ \gamma^{\alpha s}f(a_{2})+(1- \gamma)^{\alpha s}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \biggr] \\ =& \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)} \biggl[\gamma^{\alpha s} \bigl(f(a_{1})+f(a_{2}) \bigr)+2^{\alpha }(1-\gamma)^{\alpha s} f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \biggr] , \\ &\forall\gamma\in[0,1]. \end{aligned}$$
$$\frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x)\leq \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)} \bigl(f(a_{1})+f(a_{2})\bigr) $$
$$(1-\gamma)^{\alpha s}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \leq2^{\alpha }(1-\gamma)^{\alpha s} \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma (1+(s+1)\alpha)}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) , $$
$$\begin{aligned} A_{1}(\gamma) \leq& \gamma^{\alpha s}\frac{\Gamma(1+s\alpha)\Gamma (1+\alpha)}{\Gamma(1+(s+1)\alpha)} \bigl(f(a_{1})+f(a_{2})\bigr) \\ &{} + 2^{\alpha}(1-\gamma)^{\alpha s} \frac{\Gamma (1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha)}f \biggl( \frac {a_{1}+a_{2}}{2} \biggr) \end{aligned}$$
and the proof of Theorem 3.2 is complete. □

Remark 3.2

In particular:

1. If we choose \(s =1 \) in Theorem 3.2, then we get:
  1. (a)
    $$\begin{aligned}& \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f \biggl( \gamma x+ (1-\gamma)\frac{a_{1}+a_{2}}{2} \biggr) \\& \quad \leq\min\biggl\lbrace \gamma^{\alpha}\frac{\Gamma (1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x)+(1-\gamma)^{\alpha}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr), \\& \qquad \frac{(\Gamma(1+\alpha ))^{2}}{\Gamma(1+2\alpha)} \biggl( f \biggl( \gamma a_{1}+(1-\gamma) \frac {a_{1}+a_{2}}{2} \biggr) \\& \qquad {}+f \biggl( \gamma a_{2}+(1-\gamma) \frac {a_{2}+a_{2}}{2} \biggr) \biggr) \biggr\rbrace . \end{aligned}$$
  2. (b)
    $$\begin{aligned} \tilde{A} =& \max\biggl\lbrace \gamma^{\alpha}\frac {\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x)+(1-\gamma)^{\alpha}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr), \\ &\frac{(\Gamma(1+\alpha ))^{2}}{\Gamma(1+2\alpha)} \biggl(f \biggl( \gamma a_{1}+(1-\gamma) \frac {a_{1}+a_{2}}{2} \biggr) +f \biggl( \gamma a_{2}+(1-\gamma) \frac {a_{1}+a_{2}}{2} \biggr) \biggr) \biggr\rbrace , \end{aligned}$$
    we have
    $$\tilde{A}(\gamma)\leq\frac{(\Gamma(1+\alpha))^{2}}{\Gamma(1+2\alpha )} \biggl[ \gamma^{\alpha} \bigl( f(a_{1})+f(a_{2}) \bigr) +2^{\alpha }(1- \gamma)^{\alpha}f \biggl( \frac{a_{1}+a_{2}}{2} \biggr) \biggr] . $$
2. Now if one chooses \(\alpha=1 \) in Theorem 3.2, then we can easily obtain:
  1. (a)
    $$\begin{aligned}& \frac{1}{(a_{2}-a_{1})} \int_{a_{1}}^{a_{2}}f \biggl( \gamma x+ (1-\gamma)\frac{a_{1}+a_{2}}{2} \biggr)\,dx \\& \quad \leq\min\biggl\lbrace \gamma^{s} \frac{1}{(a_{2}-a_{1})}\int _{a_{1}}^{a_{2}}f(x)\,dx+(1-\gamma)^{s}f \biggl( \frac{a_{2}+a_{2}}{2} \biggr), \\& \qquad \frac{1}{s+1} \biggl( f \biggl( \gamma a_{1}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) +f \biggl( \gamma a_{2}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) \biggr) \biggr\rbrace . \end{aligned}$$
  2. (b)
    Similarly we have
    $$\begin{aligned} \tilde{A} =& \max\biggl\lbrace \gamma^{s}\frac{1}{(a_{2}-a_{1})} \int _{a_{1}}^{a_{2}}f(x) \,dx+(1-\gamma)^{s}f \biggl( \frac {a_{1}+a_{2}}{2} \biggr), \\ & \frac{1}{s+1} \biggl(f \biggl( \gamma a_{1}+(1-\gamma) \frac {a_{1}+a_{2}}{2} \biggr) +f \biggl( \gamma a_{2}+(1-\gamma) \frac {a_{1}+a_{2}}{2} \biggr) \biggr)\biggr\rbrace \end{aligned}$$
    $$\tilde{A}(\gamma)\leq\frac{1}{s+1} \biggl[\gamma^{s} \bigl(f(a_{1})+f(a_{2})\bigr)+2(1-\gamma)^{s}f \biggl( \frac{a_{2}+a_{2}}{2} \biggr) \biggr] \quad \mbox{for } \forall\gamma \in[0,1]. $$
3. If one considers \(\alpha=1 \) and \(s=1 \) in Theorem 3.2, then we get:
  1. (a)
    $$\begin{aligned}& \frac{1}{(a_{2}-a_{1})} \int_{a_{1}}^{a_{2}}f \biggl( \gamma x+ (1-\gamma)\frac{a_{1}+a_{2}}{2} \biggr)\,dx \\& \quad \leq\min\biggl\lbrace \gamma\frac{1}{(a_{2}-a_{1})}\int_{a_{1}}^{a_{2}}f(x) \,dx+(1-\gamma)f \biggl( \frac{a_{2}+a_{2}}{2} \biggr), \\& \qquad \frac{1}{2} \biggl( f \biggl( \gamma a_{1}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) +f \biggl( \gamma a_{2}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) \biggr) \biggr\rbrace . \end{aligned}$$
  2. (b)
    $$\begin{aligned} \tilde{A} =& \max\biggl\lbrace \gamma\frac{1}{(a_{2}-a_{1})} \int _{a_{1}}^{a_{2}}f(x)\,dx+(1-\gamma)f \biggl( \frac{a_{1}+a_{2}}{2} \biggr), \\ &\frac{1}{2} \biggl(f \biggl( \gamma a_{1}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) +f \biggl( \gamma a_{2}+(1-\gamma) \frac{a_{1}+a_{2}}{2} \biggr) \biggr)\biggr\rbrace \end{aligned}$$
    $$\tilde{A}(\gamma)\leq\frac{1}{2} \biggl[\gamma \bigl(f(a_{1})+f(a_{2}) \bigr)+2(1-\gamma)f \biggl( \frac{a_{2}+a_{2}}{2} \biggr) \biggr] \quad \mbox{for } \forall\gamma\in[0,1]. $$

Theorem 3.3

Let \(g\colon[0,1]\rightarrow\mathbb{R}^{\alpha} \) be a function such as
$$g(\gamma)=\frac{1}{(\Gamma(1+\alpha))^{2}}\frac {1}{(a_{2}-a_{1})^{2\alpha}}\int_{a_{1}}^{a_{2}} \int_{a_{1}}^{a_{2}}f\bigl(\gamma x_{1}+(1- \gamma)x_{2}\bigr) (dx_{1})^{\alpha }(dx_{2})^{\alpha}, \quad \gamma\in[0,1], $$
where \(f\colon[a_{1},a_{2}]\rightarrow\mathbb{R}^{\alpha}_{+} \) is a generalized s-convex function in the second sense, \(s\in ( 0,1 ] \), \(a_{1},a_{2}\in\mathbb{R}_{+} \) which \(a_{1}< a_{2} \) and \(f\in L^{1}([a_{1},a_{2}]) \). Then:
  1. (i)

    \(g\in GK^{2}_{s}\) in \([0,1] \). If \(f\in GK^{1}_{s} \), then \(g\in GK^{1}_{s} \).

  2. (ii)

    \(g(\gamma+\frac{1}{2})= g(\frac{1}{2}-\gamma)\) for all \(\gamma=[0,\frac{1}{2}] \) and \(g(\gamma)\) is symmetric about \(\gamma =\frac{1}{2} \).

  3. (iii)
    We have the inequality
    $$ g(\gamma)\geq\frac{2^{\alpha(s-1)}}{(\Gamma(1+\alpha))^{2}} A(\gamma )\geq\frac{4^{\alpha(s-1)}}{(\Gamma(1+\alpha))^{2}}f \biggl( \frac {a_{1}+a_{2}}{2} \biggr) \quad \textit{for } \forall\gamma\in[0,1] . $$
  4. (iv)
    We have the inequality
    $$ g(\gamma) \leq\min\bigl\{ g_{1}(\gamma),g_{2}( \gamma)\bigr\} , $$
    $$g_{1}(\gamma)=\bigl[\gamma^{\alpha s}+(1-\gamma)^{\alpha s} \bigr]\frac{1}{\Gamma (1+\alpha)(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f(x_{1}) $$
    $$g_{2}(\gamma)= \biggl[ \frac{\Gamma(1+s\alpha)}{\Gamma(1+(s+1)\alpha )} \biggr]^{2} \bigl[ f(a_{1})+f\bigl(\gamma a_{1}+(1-\gamma)a_{2} \bigr)+f\bigl((1-\gamma )a_{1}+\gamma a_{2} \bigr)+f(a_{2}) \bigr] $$
    for \(\forall\gamma\in[0,1] \).


(i) Take \(\lbrace\gamma_{1},\gamma_{2} \rbrace\subset[0,1] \), \(\gamma_{1}+\gamma_{2}=1 \), \(t_{1},t_{2}\in D \) and \(f\in GK^{2}_{s} \), then we have
$$\begin{aligned} g(\gamma_{1} t_{1}+\gamma_{2} t_{2}) =& \frac {1}{(a_{2}-a_{1})^{2\alpha}(\Gamma(1+\alpha))^{2}} \\ &{}\times\int_{a_{1}}^{a_{2}} \int_{a_{1}}^{a_{2}} f\bigl((\gamma_{1} t_{1}+\gamma_{2} t_{2})x_{1}+\bigl(1-( \gamma_{1} t_{1}+\gamma_{2} t_{2}) \bigr)x_{2}\bigr) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ \leq&\frac{1}{(a_{2}-a_{1})^{2\alpha}(\Gamma(1+\alpha ))^{2}} \\ &{}\times\int_{a_{1}}^{a_{2}}\int _{a_{1}}^{a_{2}} \bigl[ \gamma_{1}^{\alpha s}f( t_{1} x_{1}+x_{2}-t_{1}x_{2}) \\ &{}+ \gamma_{2}^{\alpha s}f(t_{2}x_{1} + x_{2}-t_{2}x_{2})\bigr] (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ =&\gamma_{1}^{\alpha s} \frac{1}{(a_{2}-a_{1})^{2\alpha}(\Gamma(1+\alpha ))^{2}}\int _{a_{1}}^{a_{2}}\int_{a_{1}}^{a_{2}} f( t_{1} x_{1}+x_{2}-t_{1}x_{2}) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ &{}+ \gamma_{2}^{\alpha s} \frac{1}{(a_{2}-a_{1})^{2\alpha}(\Gamma(1+\alpha))^{2}}\int _{a_{1}}^{a_{2}}\int_{a_{1}}^{a_{2}} f(t_{2}x_{1} + x_{2}-t_{2}x_{2}) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ =&\gamma_{1}^{\alpha s}g(t_{1}) +\gamma_{2}^{\alpha s}g(t_{2}), \end{aligned}$$
which implies that \(g\in GK^{2}_{s} \) in \([0,1] \).
(ii) Let \(\gamma\in[0,\frac{1}{2}] \), then
$$\begin{aligned} g \biggl(\gamma+\frac{1}{2} \biggr) =& \frac{1}{(a_{2}-a_{1})^{2\alpha }(\Gamma(1+\alpha))^{2}} \\ &{}\times\int _{a_{1}}^{a_{2}}\int_{a_{1}}^{a_{2}} f\biggl(\biggl(\gamma+\frac{1}{2}\biggr) x_{1}+\biggl(1-\gamma- \frac {1}{2}\biggr)x_{2}\biggr) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ =& \frac {1}{(a_{2}-a_{1})^{2\alpha}(\Gamma(1+\alpha))^{2}} \\ &{}\times\int_{a_{1}}^{a_{2}}\int _{a_{1}}^{a_{2}} f\biggl(\biggl(\frac{1}{2}-\gamma \biggr) x_{1}+\biggl(\frac {1}{2}+\gamma\biggr)x_{2} \biggr) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ =& g\biggl(\frac{1}{2}-\gamma\biggr). \end{aligned}$$
\(g(\gamma) \) is symmetric about \(\gamma=\frac{1}{2} \) because \(g(\gamma)=g(1-\gamma) \).
(iii) Let us observe that
$$g(\gamma)=\frac{1}{(\Gamma(1+\alpha))^{2}}\frac{1}{(a_{2}-a_{1})^{\alpha }}\int_{a_{1}}^{a_{2}} \biggl(\frac{1}{(a_{2}-a_{1})^{\alpha}}\int_{a_{1}}^{a_{2}}f\bigl(\gamma x_{1}+(1-\gamma) x_{2}\bigr) \biggr) (dx_{1})^{\alpha} (dx_{2})^{\alpha}. $$
Now, since \(x_{2} \) is fixed in \([a_{1},a_{2}] \), then the function
$$A_{x_{2}}\colon[0,1]\rightarrow\mathbb{R}^{\alpha} $$
can be given by
$$\begin{aligned} A_{x_{2}}(\gamma) =& \frac{1}{(a_{2}-a_{1})^{\alpha}}\int_{a_{1}}^{a_{2}}f \bigl(\gamma x_{1}+(1-\gamma)x_{2}\bigr) (dx_{1})^{\alpha} \\ =& \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f\bigl( \gamma x_{1}+(1-\gamma)x_{2}\bigr). \end{aligned}$$
As it was shown in the proof of Theorem 3.2, for \(\gamma\in[0,1]\), we have equality
$$A_{x_{2}}(\gamma)=\frac{\Gamma(1+\alpha)}{(b_{2}-b_{1})^{\alpha}} {}_{b_{1}}I^{(\alpha)}_{b_{2}}f(m), $$
where \(b_{2}=\gamma a_{2} +(1-\gamma)x_{2} \) and \(b_{1}=\gamma a_{1}+(1-\gamma) x_{2}\). By using the generalized Hermite-Hadamard inequality, we have
$$\begin{aligned} \frac{\Gamma(1+\alpha)}{(b_{2}-b_{1})^{\alpha}} {}_{b_{1}}I^{(\alpha )}_{b_{2}}f(m) \geq& 2^{\alpha(s-1)}f \biggl( \frac{b_{1}+b_{2}}{2} \biggr) \\ =& 2^{\alpha(s-1)} f \biggl( \gamma\frac {a_{1}+a_{2}}{2}+(1-\gamma)x_{2} \biggr) \end{aligned}$$
for all \(\gamma\in(0,1) \) and \(x_{2}\in[a_{1},a_{2}] \). Integrating on \([a_{1},a_{2}] \) over \(x_{2} \), we have
$$g(\gamma)\geq\frac{2^{\alpha(s-1)}}{(\Gamma(1+\alpha))^{2}} A(1-\gamma ) \quad \mbox{for } \forall\gamma \in(0,1) . $$
Further, since \(g(\gamma)=g(1-\gamma) \), then the proof of inequality (8) is done for \(\gamma\in(0,1)\). If \(\gamma=0 \) or \(\gamma=1 \), then inequality (8) also holds.
(iv) Since \(f(\gamma x_{1}+(1-\gamma)x_{2})\leq\gamma^{\alpha s}f(x_{1})+(1-\gamma)^{\alpha s}f(x_{2})\) for all \(x_{1},x_{2}\in [a_{1},a_{2}] \) and \(\gamma\in[0,1] \), integrating the above inequality on \([a_{1},a_{2}]^{2} \), we have
$$\begin{aligned}& \frac{1}{(a_{2}-a_{1})^{2\alpha }}\int_{a_{1}}^{a_{2}}\int _{a_{1}}^{a_{2}}f\bigl(\gamma x_{1}+(1-\gamma )x_{2}\bigr) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\& \quad \leq\gamma^{\alpha s }\frac{(\Gamma(1+\alpha ))^{2}}{(a_{2}-a_{1})^{2\alpha}}\frac{1}{(\Gamma(1+\alpha))^{2}}\int _{a_{1}}^{a_{2}}\int_{a_{1}}^{a_{2}}f(x_{1}) (dx_{1})^{\alpha }(dx_{2})^{\alpha} \\& \qquad {}+ (1-\gamma)^{\alpha s}\frac{(\Gamma(1+\alpha))^{2}}{(a_{2}-a_{1})^{2\alpha}}\frac{1}{(\Gamma (1+\alpha))^{2}}\int _{a_{1}}^{a_{2}}\int_{a_{1}}^{a_{2}}f(x_{2}) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\& \quad = \gamma^{\alpha s}\frac{\Gamma(1+\alpha )}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x_{1})+(1- \gamma)^{\alpha s}\frac{\Gamma(1+\alpha )}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f(x_{2}) \\& \quad =\bigl(\gamma^{\alpha s}+(1-\gamma)^{\alpha s}\bigr) \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha }} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f(x_{1}). \end{aligned}$$
The proof of the first part in (9) is done.
By the second part of the generalized Hermite-Hadamard inequality, we obtain
$$\begin{aligned} A_{x_{2}}(\gamma) =& \frac{\Gamma(1+\alpha)}{(b_{2}-b_{1})^{\alpha}} {}_{b_{1}}I^{(\alpha)}_{b_{2}}f(m) \\ \leq& \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha )}\bigl(f\bigl(\gamma a_{1}+(1- \gamma)x_{2}\bigr)+f\bigl(\gamma a_{2}+(1-\gamma )x_{2}\bigr)\bigr), \end{aligned}$$
where \(b_{2}=\gamma a_{2}+(1-\gamma)x_{2} \) and \(b_{1}=\gamma a_{1}+(1-\gamma)x_{2} \), \(\gamma\in[0,1] \). Integrating this inequality on \([a_{1},a_{2}] \) over \(x_{2} \), then
$$\begin{aligned} g(\gamma) \leq& \frac{\Gamma(1+s\alpha)}{\Gamma(1+\alpha)\Gamma (1+(s+1)\alpha)}\biggl[ \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f\bigl(\gamma a_{1}+(1- \gamma)x_{2}\bigr) \\ &{} + \frac{\Gamma(1+\alpha )}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha)}_{a_{2}}f\bigl( \gamma a_{2}+(1-\gamma)x_{2}\bigr) \biggr]. \end{aligned}$$
A simple calculation shows that
$$\begin{aligned}& \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f\bigl(\gamma a_{2}+(1-\gamma)x_{2}\bigr) \\& \quad = \frac{\Gamma(1+\alpha )}{(c_{2}-c_{1})^{\alpha}} {}_{c_{1}}I^{(\alpha)}_{c_{2}}f(m) \\& \quad \leq \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha )}{\Gamma(1+(s+1)\alpha)}\bigl[f(c_{1})+f(c_{2})\bigr] \\& \quad = \frac{\Gamma(1+s\alpha)\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha )}\bigl[f(a_{2})+f\bigl(\gamma a_{2}+(1-\gamma) a_{1}\bigr)\bigr], \end{aligned}$$
where \(c_{2}=a_{2}\), \(c_{1}=\gamma a_{2}+(1-\gamma)a_{1} \) and \(\gamma \in(0,1) \). Similarly, for \(\gamma\in(0,1)\),
$$\begin{aligned}& \frac{\Gamma(1+\alpha)}{(a_{2}-a_{1})^{\alpha}} {}_{a_{1}}I^{(\alpha )}_{a_{2}}f\bigl(\gamma a_{1}+(1-\gamma)x_{2}\bigr) \\& \quad \leq\frac{\Gamma(1+s\alpha )\Gamma(1+\alpha)}{\Gamma(1+(s+1)\alpha)} \bigl[f(a_{1})+f\bigl(\gamma a_{1}+(1-\gamma) a_{2} \bigr)\bigr]. \end{aligned}$$
$$g(\gamma)\leq \biggl[\frac{\Gamma(1+s\alpha)}{\Gamma(1+(s+1)\alpha)} \biggr]^{2} \bigl[ f(a_{1})+f\bigl(\gamma a_{1}+(1-\gamma) a_{2} \bigr)+f\bigl((1-\gamma ) a_{1}+\gamma a_{2} \bigr)+f(a_{2}) \bigr]. $$
If \(\gamma=0 \) or \(\gamma=1 \), then this inequality also holds. □

Remark 3.3

If \(\alpha=1 \) in the above theorem, then
$$g(\gamma)=\frac{1}{(a_{2}-a_{1})^{2}}\int_{a_{1}}^{a_{2}}\int _{a_{1}}^{a_{2}}f\bigl(\gamma x_{1}+(1-\gamma) x_{2}\bigr) (dx_{1}) (dx_{2}),\quad \gamma \in[0,1] $$
$$\begin{aligned} g(\gamma) \leq& \min\biggl\lbrace \bigl[\gamma^{s}+(1- \gamma)^{s}\bigr]\frac {1}{(a_{2}-a_{1})}\int_{a_{1}}^{a_{2}}f(x_{1}) (dx_{1}), \\ & \frac{1}{(1+s)^{2}}\bigl[f(a_{1})+f\bigl(\gamma a_{1}+(1- \gamma )a_{2}\bigr)+f\bigl((1-\gamma)a_{1}+\gamma a_{2}\bigr)+f(a_{2})\bigr]\biggr\rbrace . \end{aligned}$$

Theorem 3.4

Let us consider that a sum of A belongs to \(GK^{2}_{s} \),
$$A=\sum_{i=1}^{n}a_{i}(\gamma), $$
$$a_{i}(\gamma)=\frac{1}{(\Gamma(1+\alpha))^{2}}\int_{a_{1}}^{a_{2}} \int_{a_{1}}^{a_{2}} f_{i}\bigl(\gamma x_{1}+(1-\gamma)x_{2}\bigr) (dx_{1})^{\alpha }(dx_{2})^{\alpha}, $$
  1. (i)

    \(\sup(A)=2^{\alpha}\sum_{i=1}^{n} a_{i}(0)=2^{\alpha}\sum_{i=1}^{n}a_{i}(1)\),

  2. (ii)

    A is symmetric about \(\gamma=\frac{1}{2} \),

  3. (iii)

    \(A\in GK^{2}_{s} \).



$$\begin{aligned} a_{i}(\gamma) \leq&\gamma^{\alpha s}\frac{1}{(\Gamma(1+\alpha ))^{2}}\int _{a_{1}}^{a_{2}}\int_{a_{1}}^{a_{2}} f_{i} (x_{1}) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ &{}+(1-\gamma)^{\alpha s}\frac{1}{(\Gamma(1+\alpha))^{2}}\int_{a_{1}}^{a_{2}} \int_{a_{1}}^{a_{2}} f_{i} (x_{2}) (dx_{1})^{\alpha }(dx_{2})^{\alpha}, \quad \forall i . \end{aligned}$$
Since \(f_{i} \) are generalized s-convex functions, we get
$$\begin{aligned} a_{i}(\gamma) \leq&\bigl(\gamma^{\alpha s}+(1- \gamma)^{\alpha s}\bigr)\frac {1}{(\Gamma(1+\alpha))^{2}}\int_{a_{1}}^{a_{2}} \int_{a_{1}}^{a_{2}} f_{i} (x_{1}) (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\ \leq&\frac{2^{\alpha}}{(\Gamma(1+\alpha))^{2}}\int_{a_{1}}^{a_{2}}\int _{a_{1}}^{a_{2}} f_{i} (x_{1}) (dx_{1})^{\alpha }(dx_{2})^{\alpha} \\ =& 2^{\alpha} a_{i}(0)=2^{\alpha} a_{i}(1). \end{aligned}$$

(ii) \(a_{i}(\gamma) \) is symmetric about \(\gamma=\frac{1}{2} \) since \(a_{i}(\gamma)=a_{i}(1-\gamma)\), i.

Then \(A(1-\gamma)=A(\gamma) \) and A also is.

(iii) Since \(a_{i}(\gamma x_{1}+(1-\gamma)x_{2})\leq\gamma ^{\alpha s} a_{i}(x_{1})+(1-\gamma)^{\alpha s}a_{i}(x_{2}) \), then
$$\begin{aligned} A\bigl(\gamma x_{1}+(1-\gamma)x_{2}\bigr) =& \sum _{i=1}^{n}a_{i}\bigl(\gamma x_{1}+(1-\gamma)x_{2}\bigr) \\ \leq& \gamma^{\alpha s}\sum_{i=1}^{n} a_{i}(x_{1})+(1-\gamma)^{\alpha s}\sum _{i=1}^{n} a_{i}(x_{2}) \\ =& \gamma^{\alpha s} A(x_{1})+(1-\gamma )^{\alpha s} A(x_{2}), \end{aligned}$$
that is, \(A\in GK^{2}_{s} \). □

4 Applications to special means

We now consider the applications of our theorems to the following generalized means:
$$\begin{aligned}& A(a_{1},a_{2}) = \frac{a_{1}^{\alpha}+a_{2}^{\alpha }}{2^{\alpha}}, \quad a_{1},a_{2} \geq0 , \\& K(a_{1},a_{2}) = \biggl(\frac{a_{1}^{2\alpha}+a_{2}^{2\alpha}}{2^{\alpha}} \biggr)^{\frac {1}{2}}, \quad a_{1},a_{2} \geq0 \end{aligned}$$
$$G(a_{1},a_{2})=\bigl(a_{1}^{\alpha}a_{2}^{\alpha} \bigr)^{\frac{1}{2}},\quad a_{1},a_{2} \geq0 . $$
In [23], the following example is given.
Let \(0< s<1 \) and \(a_{1}^{\alpha},a_{2}^{\alpha},a_{3}^{\alpha}\in \mathbb{R}^{\alpha} \). Define, for \(x\in\mathbb{R}_{+} \),
$$f(n)= \textstyle\begin{cases} a_{1}^{\alpha},& n=0, \\ a_{2}^{\alpha}n^{s\alpha}+a_{3}^{\alpha}, & n>0. \end{cases} $$
If \(a_{2}^{\alpha}\geq0^{\alpha} \) and \(0^{\alpha}\leq a_{3}^{\alpha }\leq a_{1}^{\alpha} \), then \(f\in GK^{2}_{s} \).

Proposition 4.1

Let \(a_{1}, a_{2}\in\mathbb{R}_{+}\), \(a_{1}< a_{2} \) and \(a_{2}-a_{1}\leq1 \), then the following inequalities hold:
$$\begin{aligned}& \frac{\Gamma(1+2\alpha)}{\Gamma(1+\alpha)\Gamma(1+3\alpha)} \biggl[K^{2}(a_{1}, a_{2})+\frac{1}{2^{\alpha}}G^{2}(a_{1},a_{2}) \biggr] \geq2^{\alpha} \biggl[ \frac{\Gamma(1+\alpha)}{\Gamma(1+2\alpha)} \biggr]^{2} A^{2}(a_{1},a_{2}), \end{aligned}$$
$$\begin{aligned}& \bigl[\bigl(1-\gamma+\gamma^{2}\bigr)^{\alpha}K^{2}(a_{1},a_{2})+ \gamma^{\alpha }(1-\gamma)^{\alpha}G^{2}(a_{1},a_{2}) \bigr] \\& \qquad {}- \frac{\gamma^{2\alpha}+(1-\gamma)^{\alpha}}{2^{\alpha}\Gamma (1+3\alpha)} \biggl[\frac{\Gamma(1+2\alpha)}{\Gamma(1+\alpha)} \biggr]^{2} \biggl[ K^{2}(a_{1},a_{2})+\frac{1}{2^{\alpha}}G^{2}(a_{1},a_{2}) \biggr] \\& \quad \geq2^{\alpha} \gamma^{\alpha} (1-\gamma)^{\alpha} A^{2}(a_{1},a_{2}). \end{aligned}$$


If \(f\in GK^{2}_{s} \) on \([a_{1},a_{2}] \) for some \(\gamma\in[0,1] \) and \(s\in ( 0,1 ] \), then, in Theorem 3.3, if \(f\colon[0,1]\rightarrow[0^{\alpha},1^{\alpha}] \), \(f(x)=x^{2\alpha}\), where \(x\in[a_{1},a_{2}]\) and \(s=1 \), so
$$\begin{aligned}& \frac{1}{(\Gamma(1+\alpha))^{2}}\frac{1}{(a_{2}-a_{1})^{2\alpha}}\int_{a_{1}}^{a_{2}} \int_{a_{1}}^{a_{2}} \bigl( \gamma x_{1}+(1- \gamma )x_{2} \bigr)^{2\alpha} (dx_{1})^{\alpha}(dx_{2})^{\alpha} \\& \quad = \bigl( \gamma^{2\alpha}+(1-\gamma)^{2\alpha} \bigr) \frac{\Gamma(1+2\alpha)}{\Gamma(1+\alpha)\Gamma(1+3\alpha )}\bigl(a_{2}^{2\alpha}+a_{1}^{\alpha }a_{2}^{\alpha}+a_{1}^{2\alpha} \bigr) \\& \qquad{} +2^{\alpha}\gamma^{\alpha}(1-\gamma )^{\alpha} \biggl[ \frac{\Gamma(1+\alpha)}{\Gamma(1+2\alpha)} \biggr]^{\alpha}\bigl(a_{2}^{\alpha}+a_{1}^{\alpha} \bigr)^{2} . \end{aligned}$$
Then, by Theorem 3.3, we get
$$ \frac{\Gamma(1+2\alpha)}{\Gamma(1+\alpha)\Gamma(1+3\alpha )}\bigl(a_{2}^{2\alpha}+a_{1}^{2\alpha}+a_{1}^{\alpha}a_{2}^{\alpha} \bigr)\geq \biggl[ \frac{\Gamma(1+\alpha)}{\Gamma(1+2\alpha)} \biggr] ^{2}\bigl(a_{2}^{\alpha}+a_{1}^{\alpha} \bigr)^{2}. $$
Then we obtain inequality (10).
By applying Theorem 3.3, we obtain inequality (11) as follows:
$$\begin{aligned}& \biggl[\bigl(1-\gamma+\gamma^{2}\bigr)^{\alpha} \biggl( \frac{a_{2}^{2\alpha }+a_{1}^{2\alpha}}{2^{\alpha}} \biggr) +\gamma^{\alpha}(1-\gamma)^{\alpha }a_{1}^{\alpha}a_{2}^{\alpha} \biggr] \\& \qquad {}-\frac {\gamma^{2\alpha}+(1-\gamma)^{2\alpha}}{2^{\alpha}\Gamma(1+3\alpha )} \biggl[\frac{\Gamma(1+2\alpha)}{\Gamma(1+\alpha)} \biggr]^{2} \biggl[ \biggl( \frac{a_{2}^{2\alpha}+a_{1}^{2\alpha}}{2^{\alpha}} \biggr) +\frac {1}{2^{\alpha}}a_{1}^{\alpha}a_{2}^{\alpha} \biggr] \\& \quad \geq2^{\alpha} \gamma^{\alpha} (1-\gamma)^{\alpha} \biggl( \frac{a_{2}^{\alpha}+a_{1}^{\alpha}}{2^{\alpha}} \biggr)^{2}. \end{aligned}$$

5 Conclusion

In this article, we have established some new integral inequalities of generalized Hermite-Hadamard type for generalized s-convex functions in the second sense on fractal sets \(\mathbb{R}^{\alpha}\), \(0<\alpha<1 \). In particular, our results extend some important inequalities in a classical situation; when \(\alpha=1 \), some relationships between these inequalities and the classical inequalities have been established. Finally, we have also given some applications for these inequalities on fractal sets.



The authors would like to thank the referees for valuable suggestions and comments, which helped the authors to improve this article substantially.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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’ Affiliations

Department of Mathematics, Institute for Mathematical Research, University Putra Malaysia
Department of Mathematics, University Putra Malaysia


  1. Kılıçman, A, Saleh, W: Some inequalities for generalized s-convex functions. JP J. Geom. Topol. 17, 63-82 (2015) Google Scholar
  2. Ruel, JJ, Ayres, MP: Jensen’s inequality predicts effects of environmental variation. Trends Ecol. Evol. 14(9), 361-366 (1999) View ArticleGoogle Scholar
  3. Li, M, Wang, J, Wei, W: Some fractional Hermite-Hadamard inequalities for convex and Godunova-Levin functions. Facta Univ., Ser. Math. Inform. 30(2), 195-208 (2015) MathSciNetGoogle Scholar
  4. Liu, W: Ostrowski type fractional integral inequalities for MT-convex functions. Miskolc Math. Notes 16(1), 249-256 (2015) Google Scholar
  5. Lin, Z, Wang, JR, Wei, W: Fractional Hermite-Hadamard inequalities through r-convex functions via power means. Facta Univ., Ser. Math. Inform. 30(2), 129-145 (2015) MathSciNetGoogle Scholar
  6. Liu, W: New integral inequalities involving beta function via P-convexity. Miskolc Math. Notes 15(2), 585-591 (2014) MathSciNetGoogle Scholar
  7. Budak, H, Sarikaya, MZ: Some new generalized Hermite-Hadamard inequality for generalized convex function and applications. RGMIA Res. Rep. Collect. 18, 82 (2015) Google Scholar
  8. Dragomir, SS, Fitzpatrick, S: The Hadamard inequalities for s-convex functions in the second sense. Demonstr. Math. 32(4), 687-696 (1999) MATHMathSciNetGoogle Scholar
  9. Golmankhaneh, AK, Baleanu, D: On a new measure on fractals. J. Inequal. Appl. 2013, 552 (2013) MathSciNetView ArticleGoogle Scholar
  10. Kolwankar, KM, Gangal, AD: Local fractional calculus: a calculus for fractal space-time. In: Fractals: Theory and Applications in Engineering, pp. 171-181. Springer, London (1999) View ArticleGoogle Scholar
  11. Yang, Y-J, Baleanu, D, Yang, X-J: Analysis of fractal wave equations by local fractional Fourier series method. Adv. Math. Phys. 2013, Article ID 632309 (2013) MathSciNetGoogle Scholar
  12. Noor, MA, Noor, KI, Awan, MU, Khan, S: Fractional Hermite-Hadamard inequalities for some new classes of Godunova-Levin functions. Appl. Math. Inf. Sci. 8(6), 2865-2872 (2014) MathSciNetView ArticleGoogle Scholar
  13. Liu, W: Some Ostrowski type inequalities via Riemann-Liouville fractional integrals for h-convex functions. J. Comput. Anal. Appl. 16(5), 998-1004 (2014) MATHMathSciNetGoogle Scholar
  14. Erden, S, Sarikaya, MZ: Generalized Bullen type inequalities for local fractional integrals and its applications. RGMIA Res. Rep. Collect. 18, 81 (2015) Google Scholar
  15. Budak, H, Sarikaya, MZ, Yildirim, H: New inequalities for local fractional integrals. RGMIA Res. Rep. Collect. 18, 88 (2015) Google Scholar
  16. Babakhani, A, Daftardar-Gejji, V: On calculus of local fractional derivatives. J. Math. Anal. Appl. 270(1), 66-79 (2002) MATHMathSciNetView ArticleGoogle Scholar
  17. Carpinteri, A, Chiaia, B, Cornetti, P: Static-kinematic duality and the principle of virtual work in the mechanics of fractal media. Comput. Methods Appl. Mech. Eng. 191(1-2), 3-19 (2001) MATHView ArticleGoogle Scholar
  18. Zhao, Y, Cheng, DF, Yang, XJ: Approximation solutions for local fractional Schrödinger equation in the one-dimensional Cantorian system. Adv. Math. Phys. 2013, Article ID 291386 (2013) MathSciNetView ArticleGoogle Scholar
  19. Yang, XJ: Advanced Local Fractional Calculus and Its Applications. World Science Publisher, New York (2012) Google Scholar
  20. Yang, XJ, Baleanu, D, Machado, JAT: Mathematical aspects of Heisenberg uncertainty principle within local fractional Fourier analysis. Bound. Value Probl. 2013(1), 131 (2013) View ArticleGoogle Scholar
  21. Yang, AM, Chen, ZS, Srivastava, HM, Yang, XJ: Application of the local fractional series expansion method and the variational iteration method to the Helmholtz equation involving local fractional derivative operators. Abstr. Appl. Anal. 2013, Article ID 259125 (2013) Google Scholar
  22. Yang, XJ, Baleanu, D, Khan, Y, Mohyud-Din, ST: Local fractional variational iteration method for diffusion and wave equations on Cantor sets. Rom. J. Phys. 59(1-2), 36-48 (2014) MathSciNetGoogle Scholar
  23. Mo, H, Sui, X: Generalized s-convex functions on fractal sets. Abstr. Appl. Anal. 2014, Article ID 254731 (2014) Google Scholar
  24. Mo, H, Sui, X, Yu, D: Generalized convex functions on fractal sets and two related inequalities. Abstr. Appl. Anal. 2014, Article ID 636751 (2014) MathSciNetGoogle Scholar
  25. Hörmander, L: Notions of Convexity. Birkhäuser, Basel (1994) MATHGoogle Scholar
  26. Mo, H, Sui, X: Hermite-Hadamard type inequalities for generalized s-convex functions on real linear fractal set \(\mathbb{R}^{\alpha}\) (\(0<\alpha<1 \)) (2015). arXiv:1506.07391


© Kılıçman and Saleh 2015