Skip to main content

Advertisement

Some new Hermite–Hadamard type inequalities for s-convex functions and their applications

Article metrics

  • 363 Accesses

Abstract

In this paper, we establish some new integral inequalities of Hermite–Hadamard type for s-convex functions by using the Hölder–İşcan integral inequality. We also compare our new results with the known results and show that the results which we obtained are better than the known results. Finally, we give some applications to trapezoidal formula and to special means.

Introduction

The classical or the usual convexity is defined as follows:

A function \(f:I\subseteq \mathbb{R} \rightarrow \mathbb{R} \) is said to be convex on interval I if

$$\begin{aligned} f \bigl( tx+ ( 1-t ) y \bigr) \leq tf ( x ) + ( 1-t ) f ( y ) \end{aligned}$$

for all \(x,y\in I\) and \(t\in [ 0,1 ] \).

Let \(f:I\subseteq \mathbb{R} \longrightarrow \mathbb{R} \) be a convex function on I and \(a,b\in I\) with \(a< b\). The following inequality is known in the literature as the Hermite–Hadamard inequality for convex functions:

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

In [8], Hudzik and Maligranda considered the class of s-convex functions in second sense. This is defined as follows:

A function \(f: [ 0,\infty ) \rightarrow \mathbb{R} \) is said to be s-convex in second sense if the inequality

$$\begin{aligned} f \bigl( tx+ ( 1-t ) y \bigr) \leq t^{s}f ( x ) + ( 1-t ) ^{s}f ( y ) \end{aligned}$$

holds for all \(x,y\in [ 0,\infty ) \), \(t\in [ 0,1 ] \), and \(s\in ( 0,1 ] \).

In [4], Dragomir and Fitzpatrick established a variant of Hermite–Hadamard inequality which holds for the s-convex functions.

Theorem 1.1

Suppose that \(f: [ 0,\infty ) \rightarrow [ 0, \infty )\) is an s-convex function in second sense, where \(s\in ( 0,1 ]\). Let \(a,b\in [ 0,\infty )\) and \(a< b\). If \(f\in L [ 0,1 ]\), then the following inequality holds:

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

For the generalizations and applications of the Hermite–Hadamard inequalities, see [1,2,3, 5,6,7, 9, 12,13,14,15, 17, 19,20,21].

A number of studies have shown that many of the results obtained about the theory of inequalities has a close relationship with the theory of convex functions.

The celebrated inequality of Hölder is well known for its fundamental role in many branches of pure and applied sciences. It has also important applications to the theory of convex functions as well as in many disciplines of applied mathematics. The power-mean integral inequality is also one of the most famous inequalities on applications to convex functions.

Theorem 1.2

(Hölder inequality for integrals [16])

Let \(p>1\) and \(1/p+1/q=1\). If f and g are real functions defined on \([ a,b ] \) and if \(\vert f \vert ^{p}\) and \(\vert g \vert ^{q}\) are integrable on \([ a,b ] \), then

$$ \int _{a}^{b} \bigl\vert f ( x ) g ( x ) \bigr\vert \,dx \leq \biggl( \int _{a}^{b} \bigl\vert f ( x ) \bigr\vert ^{p}\,dx \biggr) ^{\frac{1}{p}} \biggl( \int _{a}^{b} \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{\frac{1}{q}}, $$

with equality holds if and only if \(A \vert f ( x ) \vert ^{p}=B \vert g ( x ) \vert ^{q}\) almost everywhere, where A and B are constants.

A different version of Hölder integral inequality is given as follows.

Theorem 1.3

(Power-mean integral inequality)

Let \(q\geq 1\). If f and g are real functions defined on \([ a,b ] \) and if \(\vert f \vert \), \(\vert f \vert \vert g \vert ^{q}\) are integrable on \([ a,b ] \), then

$$ \int _{a}^{b} \bigl\vert f ( x ) g ( x ) \bigr\vert \,dx \leq \biggl( \int _{a}^{b} \bigl\vert f ( x ) \bigr\vert \,dx \biggr) ^{1-\frac{1}{q}} \biggl( \int _{a}^{b} \bigl\vert f ( x ) \bigr\vert \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{\frac{1}{q}}. $$

In [10], İşcan obtained the following inequality for integrals which gives better results than the classical Hölder inequality.

Theorem 1.4

(Hölder–İşcan integral inequality)

Let \(p>1\) and \(1/p+1/q=1\). If f and g are real functions defined on \([ a,b ] \) and if \(\vert f \vert ^{p}\) and \(\vert g \vert ^{q}\) are integrable on \([ a,b ] \), then

$$\begin{aligned} \int _{a}^{b} \bigl\vert f ( x ) g ( x ) \bigr\vert \,dx \leq& \frac{1}{b-a} \biggl\{ \biggl( \int _{a}^{b} ( b-x ) \bigl\vert f ( x ) \bigr\vert ^{p}\,dx \biggr) ^{ \frac{1}{p}} \biggl( \int _{a}^{b} ( b-x ) \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{\frac{1}{q}} \\ &{}+ \biggl( \int _{a}^{b} ( x-a ) \bigl\vert f ( x ) \bigr\vert ^{p}\,dx \biggr) ^{\frac{1}{p}} \biggl( \int _{a} ^{b} ( x-a ) \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{\frac{1}{q}} \biggr\} \\ \leq &\biggl( \int _{a}^{b} \bigl\vert f ( x ) \bigr\vert ^{p}\,dx \biggr) ^{\frac{1}{p}} \biggl( \int _{a}^{b} \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{\frac{1}{q}}. \end{aligned}$$
(1)

In [11], a different representation of Hölder–İşcan inequality was given as follows.

Theorem 1.5

(Improved power-mean integral inequality)

Let \(q\geq 1\). If f and g are real functions defined on \([ a,b ] \) and if \(\vert f \vert \), \(\vert f \vert \vert g \vert ^{q}\) are integrable functions on \([ a,b ] \), then

$$\begin{aligned} \int _{a}^{b} \bigl\vert f ( x ) g ( x ) \bigr\vert \,dx \leq& \frac{1}{b-a} \biggl\{ \biggl( \int _{a}^{b} ( b-x ) \bigl\vert f ( x ) \bigr\vert \,dx \biggr) ^{1- \frac{1}{q}} \biggl( \int _{a}^{b} ( b-x ) \bigl\vert f ( x ) \bigr\vert \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{\frac{1}{q}} \\ & {}+ \biggl( \int _{a}^{b} ( x-a ) \bigl\vert f ( x ) \bigr\vert \,dx \biggr) ^{1-\frac{1}{q}} \biggl( \int _{a} ^{b} ( x-a ) \bigl\vert f ( x ) \bigr\vert \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{ \frac{1}{q}} \biggr\} \\ \leq& \biggl( \int _{a}^{b} \bigl\vert f ( x ) \bigr\vert \,dx \biggr) ^{1-\frac{1}{q}} \biggl( \int _{a}^{b} \bigl\vert f ( x ) \bigr\vert \bigl\vert g ( x ) \bigr\vert ^{q}\,dx \biggr) ^{\frac{1}{q}}. \end{aligned}$$
(2)

Main results

In this section we obtain some new results about Hermite–Hadamard inequality for s-convex functions by using Hölder–İşcan integral inequality and improved power-mean integral inequality which provide better approach than the classical Hölder and power-mean integral inequalities, respectively.

In [5], Dragomir and Pearce obtained the following equality for differentiable functions.

Lemma 2.1

Let \(f:I\subseteq \mathbb{R} \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\) where \(a,b\in I\) with \(a< b\). If \(f^{\prime }\in L [ a,b ] \), then the following equality holds:

$$\begin{aligned} \frac{f ( a ) +f ( b ) }{2}-\frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx=\frac{b-a}{2} \int _{0}^{1} ( 1-2t ) f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \,dt. \end{aligned}$$

In [17], Muddassar et al. obtained the following inequality for s-convex functions by using Lemma 2.1 and Hölder integral inequality.

Theorem 2.1

Let \(f:I^{\circ }\subseteq \mathbb{R} \rightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) with \(a< b \) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f ^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \), \(p>1\) such that \(q=\frac{p}{p-1}\), then

$$\begin{aligned} \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \leq & \frac{b-a}{2 ( p+1 ) ^{\frac{1}{p}}} \biggl( \frac{ \vert f^{ \prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{s+1} \biggr) ^{\frac{1}{q}}. \end{aligned}$$
(3)

In the following theorem, we will obtain a new upper bound for the right-hand side of Hermite–Hadamard inequality for s-convex functions, which is better than inequality (3).

Theorem 2.2

Let \(f:I^{\circ }\subseteq \mathbb{R} \rightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) with \(a< b \) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f ^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \), where \(p>1\) such that \(q=\frac{p}{p-1}\), then

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{2^{\frac{p+1}{p}} ( p+1 ) ^{\frac{1}{p}}}\cdot\frac{1}{ ( s+1 ) ^{\frac{1}{q}}} \\& \qquad {} \times \biggl\{ \biggl[ \frac{ ( s+1 ) \vert f^{ \prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{s+2} \biggr] ^{\frac{1}{q}}+ \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ ( s+1 ) \vert f^{\prime } ( b ) \vert ^{q}}{s+2} \biggr] ^{\frac{1}{q}} \biggr\} . \end{aligned}$$
(4)

Proof

From Lemma 2.1 and using Hölder–İşcan integral inequality (1), we have

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{2} \int _{0}^{1} \vert 1-2t \vert \bigl\vert f ^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert \,dt \\& \quad \leq \frac{b-a}{2} \biggl\{ \biggl( \int _{0}^{1} ( 1-t ) \vert 1-2t \vert ^{p}\,dt \biggr) ^{\frac{1}{p}} \biggl( \int _{0}^{1} ( 1-t ) \bigl\vert f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \biggr) ^{\frac{1}{q}} \\& \qquad {}+ \biggl( \int _{0}^{1} t \vert 1-2t \vert ^{p}\,dt \biggr) ^{\frac{1}{p}} \biggl( \int _{0}^{1} t \bigl\vert f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \biggr) ^{ \frac{1}{q}} \biggr\} . \end{aligned}$$

Since \(\vert f^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \), then

$$\begin{aligned} \int _{0}^{1} t \bigl\vert f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \leq & \int _{0}^{1} t \bigl[ t^{s} \bigl\vert f ^{\prime } ( a ) \bigr\vert ^{q}+ ( 1-t ) ^{s} \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q} \bigr] \,dt \\ =&\frac{ ( s+1 ) \vert f^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{ (s+1 ) ( s+2 )} \end{aligned}$$
(5)

and

$$\begin{aligned} \int _{0}^{1} ( 1-t ) \bigl\vert f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt =& \int _{0}^{1} t \bigl\vert f^{\prime } \bigl( tb+ ( 1-t ) a \bigr) \bigr\vert ^{q}\,dt \\ =&\frac{ \vert f^{\prime } ( a ) \vert ^{q}+ ( s+1 ) \vert f^{\prime } ( b ) \vert ^{q}}{ ( s+1 ) ( s+2 ) }, \end{aligned}$$
(6)

and also

$$\begin{aligned} \int _{0}^{1} t \vert 1-2t \vert ^{p}\,dt =& \int _{0}^{1} ( 1-t ) \vert 1-2t \vert ^{p}\,dt \\ =&\frac{1}{2 ( p+1 )}. \end{aligned}$$
(7)

By inequalities (5), (6), and (7), we get inequality (4). □

Corollary 2.1

Let \(f:I^{\circ }\subseteq \mathbb{R} \rightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) with \(a< b \) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f ^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \), where \(p>1\) such that \(q=\frac{p}{p-1}\), then

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{2^{\frac{p+1}{p}} ( p+1 ) ^{\frac{1}{p}}} \frac{1}{(s+2)^{ \frac{1}{q}}} \biggl(1+\frac{1}{(s+1)^{\frac{1}{q}}} \biggr) \bigl( \bigl\vert f^{\prime } ( a ) \bigr\vert + \bigl\vert f ^{\prime } ( b ) \bigr\vert \bigr). \end{aligned}$$
(8)

Proof

Using the fact \(\sum_{i=1}^{n} ( a_{i}+b_{i} ) ^{k}\leq \sum ( a_{i} ) ^{k}+\sum ( b_{i} ) ^{k}\) for \(k\in ( 0,1 ) \) with \(p>1\) such that \(q=\frac{p}{p-1}\) completes the proof. □

Remark 2.1

Inequality (4) is better than inequality (3). Indeed, since the function \(g: [ 0,\infty ) \rightarrow \mathbb{R} \), \(g ( x ) =x^{r}\), \(r\in ( 0,1 ] \) is concave, we can write

$$\begin{aligned} \frac{\alpha ^{r}+\beta ^{r}}{2}=\frac{g ( \alpha ) +g ( \beta ) }{2}\leq g \biggl( \frac{\alpha +\beta }{2} \biggr)= \biggl( \frac{\alpha +\beta }{2} \biggr) ^{r} \end{aligned}$$
(9)

for all \(\alpha ,\beta \geq 0\). In inequality (9), if we choose

$$\begin{aligned} \alpha =\frac{ ( s+1 ) \vert f^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{s+2} , \qquad \beta =\frac{ \vert f^{\prime } ( a ) \vert ^{q}+ ( s+1 ) \vert f^{\prime } ( b ) \vert ^{q}}{s+2} \end{aligned}$$

and \(r=\frac{1}{q}\), then we have

$$\begin{aligned}& \frac{1}{2} \biggl[ \frac{ ( s+1 ) \vert f^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{s+2} \biggr] ^{\frac{1}{q}}+ \frac{1}{2} \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ ( s+1 ) \vert f^{\prime } ( b ) \vert ^{q}}{s+2} \biggr] ^{\frac{1}{q}} \\& \quad \leq \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{2} \biggr] ^{\frac{1}{q}}. \end{aligned}$$

Thus, we obtain the following inequality:

$$\begin{aligned}& \frac{b-a}{2^{\frac{p+1}{p}} ( p+1 ) ^{\frac{1}{p}}}\cdot\frac{1}{ ( s+1 ) ^{\frac{1}{q}}} \\& \qquad {}\times \biggl\{ \biggl[ \frac{ ( s+1 ) \vert f^{ \prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{s+2} \biggr] ^{\frac{1}{q}}+ \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ ( s+1 ) \vert f^{\prime } ( b ) \vert ^{q}}{s+2} \biggr] ^{\frac{1}{q}} \biggr\} \\& \quad \leq \frac{b-a}{2^{\frac{1}{p}} ( p+1 ) ^{\frac{1}{p}}}\cdot\frac{1}{ ( s+1 ) ^{\frac{1}{q}}} \biggl[ \frac{ \vert f^{ \prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{2} \biggr] ^{\frac{1}{q}} \\& \quad =\frac{b-a}{2 ( p+1 ) ^{\frac{1}{p}}}\cdot\frac{1}{ ( s+1 ) ^{\frac{1}{q}}} \bigl( \bigl\vert f^{\prime } ( a ) \bigr\vert ^{q}+ \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q} \bigr) ^{\frac{1}{q}}. \end{aligned}$$

If we take \(s=1\) in Remark 2.1, we have the following result which was obtained by İşcan in [10].

Remark 2.2

Let \(f:I^{\circ }\subseteq \mathbb{R} \rightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) with \(a< b \) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f ^{\prime } \vert ^{q}\) is convex on \([ a,b ] \), then

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{4 ( p+1 ) ^{\frac{1}{p}}} \biggl\{ \biggl[ \frac{2 \vert f^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{3} \biggr] ^{\frac{1}{q}}+ \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+2 \vert f^{\prime } ( b ) \vert ^{q}}{3} \biggr] ^{\frac{1}{q}} \biggr\} \\& \quad \leq \frac{b-a}{2 ( p+1 ) ^{\frac{1}{p}}} \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ \vert f ^{\prime } ( b ) \vert ^{q}}{2} \biggr] ^{ \frac{1}{q}}, \end{aligned}$$

where \(\frac{1}{p}+\frac{1}{q}=1\).

In [17], Muddassar et al. obtained the following inequality by using Lemma 2.1 and power-mean integral inequality.

Theorem 2.3

Let \(f:I^{\circ }\subseteq \mathbb{R} \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\) where \(a,b\in I\) with \(a< b\) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \) for some \(p>1\) such that \(q=\frac{p}{p-1}\), then the following inequality holds:

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{2^{\frac{p+1}{p}}} \biggl[ \biggl( \frac{s+2^{-s}}{ ( s+1 ) ( s+2 ) } \biggr) \bigl( \bigl\vert f ^{\prime } ( a ) \bigr\vert ^{q}+ \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q} \bigr) \biggr] ^{\frac{1}{q}}. \end{aligned}$$
(10)

If Theorem 2.3 is proved again by using improved power-mean integral inequality, then we get the following result.

Theorem 2.4

Let \(f:I^{\circ }\subseteq \mathbb{R} \longrightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\) where \(a,b\in I\) with \(a< b\) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \) for some \(p>1\) such that \(q=\frac{p}{p-1}\), then the following inequality holds:

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{2.4^{\frac{1}{p}}}\cdot\frac{1}{ ( s+1 ) ^{\frac{1}{q}}} \\& \qquad {}\times \biggl\{ \biggl[ \frac{ ( s+1 ) ( s+1+2^{-s-1} ) \vert f^{\prime } ( a ) \vert ^{q}+ ( s-1+2^{-s-1} ( s+5 ) ) \vert f ^{\prime } ( b ) \vert ^{q}}{ ( s+2 ) ( s+3 ) } \biggr] ^{\frac{1}{q}} \\& \qquad {}+ \biggl[ \frac{ ( s-1+2^{-s-1} ( s+5 ) ) \vert f^{\prime } ( a ) \vert ^{q}+ ( s+1 ) ( s+1+2^{-s-1} ) \vert f^{\prime } ( b ) \vert ^{q}}{ ( s+2 ) ( s+3 ) } \biggr] ^{\frac{1}{q}} \biggr\} . \end{aligned}$$
(11)

Proof

From Lemma 2.1 and applying improved power-mean integral inequality (2) for \(q>1\), we have

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{2} \biggl\{ \biggl( \int _{0}^{1} ( 1-t ) \vert 1-2t \vert \,dt \biggr) ^{\frac{1}{p}} \biggl( \int _{0}^{1} ( 1-t ) \vert 1-2t \vert \bigl\vert f ^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \biggr) ^{\frac{1}{q}} \\& \qquad {}+ \biggl( \int _{0}^{1} t \vert 1-2t \vert \,dt \biggr) ^{ \frac{1}{p}} \biggl( \int _{0}^{1} t \vert 1-2t \vert \bigl\vert f ^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \biggr) ^{\frac{1}{q}} \biggr\} . \end{aligned}$$

By s-convexity of \(\vert f^{\prime } \vert ^{q}\) on \([ a,b ] \), we have

$$\begin{aligned}& \int _{0}^{1} t \vert 1-2t \vert \bigl\vert f^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \\& \quad \leq \int _{0}^{1} t \vert 1-2t \vert \bigl[ t^{s} \bigl\vert f ^{\prime } ( a ) \bigr\vert ^{q}+ ( 1-t ) ^{s} \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q} \bigr] \,dt \\& \quad =\frac{(s+1)(s+1+2^{-s-1}) \vert f^{\prime } ( a ) \vert ^{q}+ ( s-1+2^{-s-1}(s+5) ) \vert f^{\prime } ( b ) \vert ^{q}}{ ( s+1 ) ( s+2 ) ( s+3 ) } \end{aligned}$$
(12)

and

$$\begin{aligned}& \int _{0}^{1} ( 1-t ) \vert 1-2t \vert \bigl\vert f ^{\prime } \bigl( ta+ ( 1-t ) b \bigr) \bigr\vert ^{q}\,dt \\& \quad = \int _{0}^{1} t \vert 1-2t \vert \bigl\vert f^{\prime } \bigl( tb+ ( 1-t ) a \bigr) \bigr\vert ^{q}\,dt \\& \quad \leq \frac{ ( s-1+2^{-s-1}(s+5) ) \vert f^{\prime } ( a ) \vert ^{q}+(s+1)(s+1+2^{-s-1}) \vert f ^{\prime } ( b ) \vert ^{q}}{ ( s+1 ) ( s+2 ) ( s+3 ) }. \end{aligned}$$

Furthermore,

$$\begin{aligned} \int _{0}^{1} t \vert 1-2t \vert \,dt =& \int _{0}^{1} ( 1-t ) \vert 1-2t \vert \,dt \\ =&\frac{1}{4}. \end{aligned}$$
(13)

By using inequalities (12) and (13), we get inequality (11). □

Remark 2.3

Inequality (11) is better than inequality (10). Indeed, using inequality (9) in Remark 2.1, we have

$$\begin{aligned}& \frac{1}{2} \biggl[ \frac{ ( s+1 ) ( s+1+2^{-s-1} ) \vert f^{\prime } ( a ) \vert ^{q}+ ( s-1+2^{-s-1} ( s+5 ) ) \vert f ^{\prime } ( b ) \vert ^{q}}{ ( s+2 ) ( s+3 ) } \biggr] ^{\frac{1}{q}} \\& \qquad {}+\frac{1}{2} \biggl[ \frac{ ( s-1+2^{-s-1} ( s+5 ) ) \vert f^{\prime } ( a ) \vert ^{q}+ ( s+1 ) ( s+1+2^{-s-1} ) \vert f^{ \prime } ( b ) \vert ^{q}}{ ( s+2 ) ( s+3 ) } \biggr] ^{\frac{1}{q}} \\& \quad \leq \biggl[ \biggl( \frac{s+2^{-s}}{s+2} \biggr) \biggl( \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ \vert f ^{\prime } ( b ) \vert ^{q}}{2} \biggr) \biggr] ^{\frac{1}{q}}. \end{aligned}$$

Therefore, we obtain

$$\begin{aligned}& \frac{b-a}{2.4^{\frac{1}{p}}}\cdot\frac{1}{ ( s+1 ) ^{ \frac{1}{q}}} \\& \qquad {} \times \biggl\{ \biggl[ \frac{ ( s+1 ) ( s+1+2^{-s-1} ) \vert f^{\prime } ( a ) \vert ^{q}+ ( s-1+2^{-s-1} ( s+5 ) ) \vert f ^{\prime } ( b ) \vert ^{q}}{ ( s+2 ) ( s+3 ) } \biggr] ^{\frac{1}{q}} \\& \qquad {} + \biggl[ \frac{ ( s-1+2^{-s-1} ( s+5 ) ) \vert f ^{\prime } ( a ) \vert ^{q}+ ( s+1 ) ( s+1+2^{-s-1} ) \vert f^{\prime } ( b ) \vert ^{q}}{ ( s+2 ) ( s+3 ) } \biggr] ^{\frac{1}{q}} \biggr\} \\& \quad \leq \frac{b-a}{4^{\frac{1}{p}}}\cdot\frac{1}{ ( s+1 ) ^{ \frac{1}{q}}} \biggl[ \biggl( \frac{s+2^{-s}}{s+2} \biggr) \biggl( \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ \vert f ^{\prime } ( b ) \vert ^{q}}{2} \biggr) \biggr] ^{\frac{1}{q}} \\& \quad =\frac{b-a}{2^{\frac{p+1}{p}}} \biggl[ \biggl( \frac{s+2^{-s}}{ ( s+1 ) ( s+2 ) } \biggr) \bigl( \bigl\vert f^{ \prime } ( a ) \bigr\vert ^{q}+ \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q} \bigr) \biggr] ^{\frac{1}{q}}. \end{aligned}$$

If we take \(s=1\) in Remark 2.3, we have the following result for convex functions which is better than the inequality given in [18, Theorem 1].

Remark 2.4

Let \(f:I^{\circ }\subseteq \mathbb{R} \rightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) with \(a< b \) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f ^{\prime } \vert ^{q}\) is convex on \([ a,b ] \), then

$$\begin{aligned}& \biggl\vert \frac{f ( a ) +f ( b ) }{2}- \frac{1}{b-a} \int _{a}^{b} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{b-a}{4.2^{\frac{1}{p}}} \biggl\{ \biggl[ \frac{3 \vert f ^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{4} \biggr] ^{\frac{1}{q}}+ \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+3 \vert f^{\prime } ( b ) \vert ^{q}}{4} \biggr] ^{\frac{1}{q}} \biggr\} \\& \quad \leq \frac{b-a}{4} \biggl[ \frac{ \vert f^{\prime } ( a ) \vert ^{q}+ \vert f^{\prime } ( b ) \vert ^{q}}{2} \biggr] ^{\frac{1}{q}}, \end{aligned}$$

where \(\frac{1}{p}+\frac{1}{q}=1\).

An application to trapezoidal formula

Let D be a division of the interval \([ a,b ] \), i.e., \(D:a=x_{0}< x_{1}<\cdots<x_{n-1}<x_{n}=b\) and consider the quadrature formula

$$\begin{aligned} I= \int _{a}^{b} f ( x ) \,dx=T ( f,D ) +R ( f,D ), \end{aligned}$$

where

$$\begin{aligned} T ( f,D ) =\sum_{k=0}^{n-1} \frac{f ( x_{k} ) +f ( x_{k+1} ) }{2} ( x_{k+1}-x_{k} ) \end{aligned}$$

is the trapezoidal formula and \(R ( f,D ) \) denotes the associated approximation error of the integral I.

Proposition 3.1

Let \(f:I\subseteq \mathbb{R} \rightarrow \mathbb{R} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I\) with \(a< b\) and \(f^{\prime }\in L [ a,b ] \). If \(\vert f^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \) for \(p,q>1\), for every division D of \([ a,b ] \), the following trapezoidal error estimate holds:

$$\begin{aligned} \bigl\vert R ( f,D ) \bigr\vert \leq& \frac{1}{2^{ \frac{p+1}{p}} ( p+1 ) ^{\frac{1}{p}}}\cdot \frac{1}{(s+2)^{ \frac{1}{q}}} \biggl(1+\frac{1}{(s+1)^{\frac{1}{q}}} \biggr) \\ &{}\times \sum_{k=0}^{n-1} ( x_{k+1}-x_{k} ) ^{2} \bigl( \bigl\vert f^{\prime } ( x_{k} ) \bigr\vert + \bigl\vert f ^{\prime } ( x_{k+1} ) \bigr\vert \bigr) . \end{aligned}$$

Proof

Applying Corollary 2.1 on the subintervals \([ x_{k},x_{k+1} ] \), \(( k=0,1,2,\ldots,n-1 ) \) of the division D, we have

$$\begin{aligned}& \biggl\vert \frac{f ( x_{k} ) +f ( x_{k+1} ) }{2}-\frac{1}{x _{k+1}-x_{k}} \int _{x_{k}}^{x_{k+1}} f ( x ) \,dx \biggr\vert \\& \quad \leq \frac{x_{k+1}-x_{k}}{2^{\frac{p+1}{p}} ( p+1 ) ^{ \frac{1}{p}}}\cdot\frac{1}{(s+2)^{\frac{1}{q}}} \biggl(1+\frac{1}{(s+1)^{ \frac{1}{q}}} \biggr) \bigl( \bigl\vert f^{\prime } ( x_{k} ) \bigr\vert + \bigl\vert f^{\prime } ( x_{k+1} ) \bigr\vert \bigr). \end{aligned}$$

Summing over k from 0 to \(n-1\) and using the generalized triangle inequality, we get

$$\begin{aligned} \bigl\vert R ( f,D ) \bigr\vert =& \biggl\vert T ( f,D ) - \int _{a}^{b} f ( x ) \,dx \biggr\vert \\ =& \Biggl\vert \sum_{k=0}^{n-1} \biggl( ( x_{k+1}-x_{k} ) \frac{f ( x_{k} ) +f ( x_{k+1} ) }{2}- \int _{x_{k}}^{x _{k+1}} f ( x ) \,dx \biggr) \Biggr\vert \\ \leq &\sum_{k=0}^{n-1} \biggl\vert ( x_{k+1}-x_{k} ) \frac{f ( x_{k} ) +f ( x_{k+1} ) }{2}- \int _{x_{k}}^{x _{k+1}} f ( x ) \,dx \biggr\vert . \end{aligned}$$

So, we have

$$\begin{aligned} \bigl\vert R ( f,D ) \bigr\vert \leq \sum_{k=0}^{n-1} ( x_{k+1}-x_{k} ) \biggl\vert \frac{f ( x_{k} ) +f ( x_{k+1} ) }{2}- \frac{1}{x_{k+1}-x_{k}} \int _{x_{k}} ^{x_{k+1}} f ( x ) \,dx \biggr\vert , \end{aligned}$$

which is the required result. □

An application to special means

In [6], Hudzik and Maligranda gave the following example.

Let \(a,b,c\in \mathbb{R} \) and \(s\in ( 0,1 ) \). For \(t\in [ 0,\infty ) \), define the function \(f: [ 0, \infty ) \rightarrow \mathbb{R} \) as

$$ f ( t ) =\textstyle\begin{cases} a, & t=0, \\ bt^{s}+c, & t>0. \end{cases} $$

If \(b\geq 0\) and \(0\leq c\leq a\), then \(f\in K_{s}^{2}\). So, we have \(f: [ 0,1 ] \rightarrow [ 0,1 ] \), \(f ( t ) =t^{s}\), \(f\in K_{s}^{2}\) for \(a=c=0\) and \(b=1\).

Let us recall the following special means for arbitrary real numbers a and b \(( a\neq b )\).

  1. (1)

    The arithmetic mean:

    $$\begin{aligned} A:=A ( a,b ) =\frac{a+b}{2}. \end{aligned}$$
  2. (2)

    The p-logarithmic mean:

    $$\begin{aligned} L_{p}:=L_{p} ( a,b ) = \biggl[ \frac{b^{p+1}-a^{p+1}}{ ( p+1 ) ( b-a ) } \biggr] ^{\frac{1}{p}},\quad p \in \mathbb{R} \backslash \{ -1,0 \} . \end{aligned}$$

Proposition 4.1

Let \(p>1\), \(a< b\), \(s\in ( 0,1 ) \), and \(q=\frac{p}{p-1}\). Then we have

$$\begin{aligned}& \bigl\vert A^{s} ( a,b ) -L_{s}^{s} ( a,b ) \bigr\vert \\& \quad \leq \frac{b-a}{2^{\frac{p+1}{p}} ( p+1 ) ^{\frac{1}{p}}}\cdot\frac{s}{(s+2)^{ \frac{1}{q}}} \biggl(1+\frac{1}{(s+1 )^{\frac{1}{q}}} \biggr) \bigl( \vert a \vert ^{s-1}+ \vert b \vert ^{s-1} \bigr). \end{aligned}$$

Proof

By Corollary 2.1 applied for the s-convex function \(f: [ 0,1 ] \rightarrow [ 0,1 ] \), \(f ( x ) =x ^{s}\) for \(s\in ( 0,1 ) \), the proof is completed. □

Conclusion

In this paper, some new results of Hermite–Hadamard type for s-convex functions are established. It is shown that the results obtained here are better than the known results. Some applications of these results to trapezoidal formula and to special means have also been presented. The results of this paper may stimulate further research for the researchers working in this field.

References

  1. 1.

    Alomari, M.W., Darus, M., Kirmaci, U.S.: Some inequalities of Hermite–Hadamard type for s-convex functions. Acta Math. Sci. Ser. B Engl. Ed. 31, 1643–1652 (2011)

  2. 2.

    Budak, H., Sarikaya, M.Z.: Some new generalized Hermite–Hadamard inequalities for generalized convex functions and applications. J. Math. Ext. 12(4), 51–66 (2018)

  3. 3.

    Dragomir, S.S.: Hermite–Hadamard inequalities for convex functions of selfadjoint operators in Hilbert spaces. Linear Algebra Appl. 436(5), 1503–1515 (2012)

  4. 4.

    Dragomir, S.S., Fitzpatrick, S.: The Hadamard inequalities for s-convex functions in the second sense. Demonstr. Math. 32(4), 687–696 (1999)

  5. 5.

    Dragomir, S.S., Pearce, C.E.M.: Selected Topics on Hermite–Hadamard Inequalities and Applications. Victoria University, Australia (2000)

  6. 6.

    Dragomir, S.S., Pec̆arić, J., Persson, L.E.: Some inequalities of Hadamard type. Soochow J. Math. 21, 335–341 (1995)

  7. 7.

    Hua, J., Xi, B.Y., Qi, F.: Hermite–Hadamard type inequalities for geometrically s-convex functions. Commun. Korean Math. Soc. 29(1), 51–63 (2014)

  8. 8.

    Hudzik, H., Maligranda, L.: Some remarks on s-convex functions. Aequ. Math. 48(1), 100–111 (1994)

  9. 9.

    İşcan, İ.: Hermite–Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 43(6), 935–942 (2014)

  10. 10.

    İşcan, İ.: New refinements for integral and sum forms of Hölder inequality (2019). Researchgate, Preprint, https://doi.org/10.13140/RG.2.2.19356.54409

  11. 11.

    Kadakal, M., İşcan, İ., Kadakal, H., Bekar, K.: On improvements of some integral inequalities (2019). Researchgate, Preprint, https://doi.org/10.13140/RG.2.2.15052.46724

  12. 12.

    Kunt, M., İşcan, İ.: Hermite–Hadamard-Fejer type inequalities for p-convex functions. Arab J. Math. Sci. 23, 215–230 (2017)

  13. 13.

    Latif, M.A.: Inequalities of Hermite–Hadamard type for functions whose derivatives in absolute value are convex with applications. Arab J. Math. Sci. 21, 84–97 (2015)

  14. 14.

    Latif, M.A., Dragomir, S.S., Momoniat, E.: On Hermite–Hadamard type integral inequalities for n-times differentiable m- and \((\alpha ,m)\)-logarithmically convex functions. Filomat 30(11), 3101–3114 (2016)

  15. 15.

    Liu, W., Wen, W., Park, J.: Hermite–Hadamard type inequalities for MT-convex functions via classical integrals and fractional integrals. J. Nonlinear Sci. Appl. 9, 766–777 (2016)

  16. 16.

    Mitrinovic, D.S., Pec̆arić, J., Fink, A.M.: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecth (1993)

  17. 17.

    Muddassar, M., Bhatti, M.I., Iqbal, M.: Some new s-Hermite–Hadamard type inequalities for differentiable functions and their applications. Proc. Pak. Acad. Sci. 49(1), 9–17 (2012)

  18. 18.

    Pearce, C.E.M., Pec̆arić, J.: Inequalities for differentiable mappings with application to special means and quadrature formulae. Appl. Math. Lett. 13, 51–55 (2000)

  19. 19.

    Sarikaya, M.Z., Budak, H.: On generalized Hermite–Hadamard inequality for generalized convex function. Int. J. Nonlinear Anal. Appl. 8(2), 209–222 (2017)

  20. 20.

    Shuang, Y., Qi, F.: Integral inequalities of Hermite–Hadamard type for extended s-convex functions and applications. Mathematics 6(11), Article ID 223 (2018)

  21. 21.

    Zhang, T.Y., Ji, A.P., Qi, F.: Some inequalities of Hermite–Hadamard type for GA-convex functions with applications to means. Le Mathematiche LXVII(I), 229–239 (2013)

Download references

Acknowledgements

Authors are thankful to the editor and anonymous referees for their valuable comments and suggestions.

Availability of data and materials

Not applicable.

Funding

There is no funding for this research article.

Author information

The authors contributed equally to the writing of this paper. The authors read and approved the final manuscript.

Correspondence to Serap Özcan.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

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

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

MSC

  • 26D15
  • 26A51

Keywords

  • Convex function
  • s-convex function
  • Hermite–Hadamard type inequality
  • Hölder inequality
  • Hölder–İşcan inequality
  • Integral inequalities
  • Trapezoidal formula
  • Special means