Some new Hermite–Hadamard type inequalities for s-convex functions and their applications
- Open Access
- 01-12-2019
- Research
Published in:
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by (Link opens in a new window)
Abstract
1 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
for all \(x,y\in I\) and \(t\in [ 0,1 ] \).
$$\begin{aligned} f \bigl( tx+ ( 1-t ) y \bigr) \leq tf ( x ) + ( 1-t ) f ( y ) \end{aligned}$$
Advertisement
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
holds for all \(x,y\in [ 0,\infty ) \), \(t\in [ 0,1 ] \), and \(s\in ( 0,1 ] \).
$$\begin{aligned} f \bigl( tx+ ( 1-t ) y \bigr) \leq t^{s}f ( x ) + ( 1-t ) ^{s}f ( y ) \end{aligned}$$
In [4], Dragomir and Fitzpatrick established a variant of Hermite–Hadamard inequality which holds for the s-convex functions.
Advertisement
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‐3, 5‐7, 9, 12‐15, 17, 19‐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
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.
$$ \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}}, $$
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)
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
Since \(\vert f^{\prime } \vert ^{q}\) is s-convex on \([ a,b ] \), then
and
and also
By inequalities (5), (6), and (7), we get inequality (4). □
$$\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}$$
$$\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)
$$\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)
$$\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)
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
for all \(\alpha ,\beta \geq 0\). In inequality (9), if we choose
and \(r=\frac{1}{q}\), then we have
Thus, we obtain the following inequality:
$$\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)
$$\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}$$
$$\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}$$
$$\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}$$
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
where \(\frac{1}{p}+\frac{1}{q}=1\).
$$\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}$$
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
By s-convexity of \(\vert f^{\prime } \vert ^{q}\) on \([ a,b ] \), we have
and
Furthermore,
By using inequalities (12) and (13), we get inequality (11). □
$$\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}$$
$$\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)
$$\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}$$
$$\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)
Remark 2.3
Inequality (11) is better than inequality (10). Indeed, using inequality (9) in Remark 2.1, we have
Therefore, we obtain
$$\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}$$
$$\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
where \(\frac{1}{p}+\frac{1}{q}=1\).
$$\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}$$
3 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
where
is the trapezoidal formula and \(R ( f,D ) \) denotes the associated approximation error of the integral I.
$$\begin{aligned} I= \int _{a}^{b} f ( x ) \,dx=T ( f,D ) +R ( f,D ), \end{aligned}$$
$$\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}$$
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
Summing over k from 0 to \(n-1\) and using the generalized triangle inequality, we get
So, we have
which is the required result. □
$$\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}$$
$$\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}$$
$$\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}$$
4 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
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\).
$$ f ( t ) =\textstyle\begin{cases} a, & t=0, \\ bt^{s}+c, & t>0. \end{cases} $$
Let us recall the following special means for arbitrary real numbers a and b
\(( a\neq b )\).
(1)
The arithmetic mean:
$$\begin{aligned} A:=A ( a,b ) =\frac{a+b}{2}. \end{aligned}$$
(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. □
5 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.
Acknowledgements
Authors are thankful to the editor and anonymous referees for their valuable comments and suggestions.
Availability of data and materials
Not applicable.
Competing interests
The authors declare that they have no competing interests.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
