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

Abstract

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.

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 [1–7]. 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}. $$

(1)

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

(2)

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 [9–15]. Many researchers studied the properties of functions on fractal space and constructed many kinds of fractional calculus by using different approaches [16–18]. 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 [19–23]. Now, if $r_{1}^{\alpha}$, $r_{2}^{\alpha}$ and $r_{3}^{\alpha}\in \mathbb{R}^{\alpha}$ ($0<\alpha\leq1$), then

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

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

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

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

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

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

• (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

[19]

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

[19]

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

[19]

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

• (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}) $$

  (3)

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

• (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}$$

(4)

Proof

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

(5)

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}$$

and

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

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

• (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] , $$

  (6)

• (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], $$

  (7)

  where

  $$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) $$

  and

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

• (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 . $$

Proof

(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}. $$

Since

$$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}$$

Since

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

and

$$(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) , $$

then

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

• (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}$$

• (b) Since

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

• (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}$$

• (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}$$

  and

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

• (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}$$
• (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}$$

  and

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

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

• (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}$.

• (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] . $$

  (8)

• (iv) We have the inequality

  $$ g(\gamma) \leq\min\bigl\{ g_{1}(\gamma),g_{2}( \gamma)\bigr\} , $$

  (9)

  where

  $$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}) $$

  and

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

Proof

(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}$$

Then

$$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] $$

and

$$\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), $$

where

$$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}, $$

then

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

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

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

Proof

(i)

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

and

$$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}$$

(10)

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

(11)

Proof

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.