Skip to main content

Hermite–Hadamard-type inequalities via n-polynomial exponential-type convexity and their applications

Abstract

In this paper, we give and study the concept of n-polynomial \((s,m)\)-exponential-type convex functions and some of their algebraic properties. We prove new generalization of Hermite–Hadamard-type inequality for the n-polynomial \((s,m)\)-exponential-type convex function ψ. We also obtain some refinements of the Hermite–Hadamard inequality for functions whose first derivatives in absolute value at certain power are n-polynomial \((s,m)\)-exponential-type convex. Some applications to special means and new error estimates for the trapezoid formula are given.

Introduction

The theory of convexity played a significant role in the development of the theory of inequalities. Many famously known results in the theory of inequalities can be obtained by using the convexity property of the functions. Hermite–Hadamard’s double inequality is one of the most intensively studied results involving convex functions. This result provides us a necessary and sufficient condition for a function to be convex. It is also known as a classical equation of Hermite–Hadamard inequality.

The Hermite–Hadamard inequality asserts that if a function \(\psi :J\subset {\Re }\to {\Re }\) is convex in J for \(a_{1},a_{2}\in J\) and \(a_{1}< a_{2}\), then

$$ \psi \biggl(\frac{a_{1} + a_{2}}{2} \biggr) \le \frac{1}{a_{2} - a_{1}} \int _{a_{1}}^{a_{2}} \psi (\chi ) \,d\chi \le \frac{\psi (a_{1})+\psi (a_{2})}{2}. $$
(1.1)

Interested readers can refer to [120].

Definition 1

([21])

A function \(\psi :[0, +\infty )\rightarrow \Re \) is said to be s-convex in the second sense for a real number \(s\in (0,1]\), or ψ belongs to the class of \(K_{s}^{2}\), if

$$ \psi \bigl( \chi a_{1} + ( 1-\chi ) a_{2} \bigr) \leq \chi ^{s}\psi ( a_{1} ) + ( 1-\chi ) ^{s} \psi ( a_{2} ) $$
(1.2)

holds \(\forall a_{1},a_{2}\in [0, +\infty )\) and \(\chi \in [0,1]\).

An s-convex function was introduced in Breckner’s article [21], and a number of properties and connections with s-convexity in the first sense are discussed in [5]. Usually, convexity means s-convexity when \(s=1\). Dragomir et al. proved a variant of Hadamard’s inequality in [3], which holds for s-convex functions in the second sense.

G. Toader introduced the class of m-convex functions in [10].

Definition 2

([10])

A function \(\psi :[0,a_{2}]\rightarrow \Re \), \(a_{2}>0\), is said to be m-convex, where \(m\in (0,1]\), if

$$ \psi \bigl( \chi \theta _{1} + m ( 1-\chi ) \theta _{2} \bigr) \leq \chi \psi ( \theta _{1} ) + m ( 1- \chi ) \psi ( \theta _{2} ) $$
(1.3)

holds \(\forall \theta _{1},\theta _{2}\in [0,a_{2}]\) and \(\chi \in [0,1]\). Otherwise, ψ is m-concave if \((-\psi )\) is m-convex.

In a recent paper, Eftekhari [4] defined the class of \((s,m)\)-convex functions in the second sense as follows:

Definition 3

A function \(\psi :[0, +\infty )\rightarrow \Re \) is said to be \((s,m)\)-convex for some fixed real numbers \(s, m\in (0,1]\), if

$$ \psi \bigl( \chi a_{1}+ m ( 1-\chi ) a_{2} \bigr) \leq \chi ^{s}\psi ( a_{1} ) +m ( 1-\chi ) ^{s} \psi ( a_{2} ) $$
(1.4)

holds \(\forall a_{1}, a_{2}\in [0, +\infty )\) and \(\chi \in [0,1]\).

Motivated by the above results and literature, we will give first in Sect. 2 the concept of an n-polynomial \((s,m)\)-exponential-type convex function and we will study some of its algebraic properties. In Sect. 3, we will prove new generalization of Hermite–Hadamard-type inequality for an n-polynomial \((s,m)\)-exponential-type convex function ψ. In Sect. 4, we will obtain some refinements of the Hermite–Hadamard inequality for functions whose first derivatives in absolute value at certain power are n-polynomial \((s,m)\)-exponential-type convex. In Sect. 5, some applications to special means and new error estimates for the trapezoid formula are given. In Sect. 6, a brief conclusion will be provided as well.

Some algebraic properties of n-polynomial \((s,m)\)-exponential-type convex functions

In this section, we will give a new definition of an n-polynomial \((s,m)\)-exponential-type convex function, and we will study some of its basic algebraic properties.

Definition 4

A nonnegative function \(\psi :J\rightarrow \Re \) is called \((s,m)\)-exponential-type convex for some fixed \(s,m\in (0,1]\), if

$$ \psi \bigl( \chi \theta _{1} + m ( 1-\chi ) \theta _{2} \bigr) \leq \bigl( e^{s\chi }-1 \bigr) \psi ( \theta _{1} ) + m \bigl( e^{ ( 1-\chi ) s}-1 \bigr) \psi ( \theta _{2} ) $$
(2.1)

holds \(\forall \theta _{1}, \theta _{2}\in J\) and \(\chi \in [0,1]\).

Remark 1

For \(m=s=1\), we get exponential-type convexity given by Kadakal and İşcan in [6].

Remark 2

The range of the \((s,m)\)-exponential-type convex functions for some fixed \(m\in (0,1]\) and \(s\in [\ln 2, 1]\) is \([0, +\infty )\).

Proof

Let \(\theta \in J\) be arbitrary for some fixed \(m\in (0,1]\) and \(s\in [\ln 2, 1]\). Using Definition 4 for \(\chi =1\), we have

$$ \psi (\theta )\leq \bigl(e^{s}-1\bigr)\psi (\theta )\quad \Longrightarrow\quad \bigl(e^{s}-2\bigr) \psi (\theta )\geq 0\quad \Longrightarrow\quad \psi (\theta ) \geq 0. $$

 □

Definition 5

([22])

A nonnegative function \(\psi :J\rightarrow \Re \) is called an n-polynomial convex function if for every \(\theta _{1},\theta _{2}\in J\), \(n\in \mathbb{N}\), and \(\chi \in (0,1]\), we have

$$ \psi \bigl( \chi \theta _{1} + ( 1-\chi ) \theta _{2} \bigr) \leq \frac{1}{n}\sum_{s=1}^{n} \bigl[1-(1-\chi )^{s} \bigr] \psi ( \theta _{1} ) + \frac{1}{n}\sum_{s=1}^{n} \bigl[1-{ \chi }^{s} \bigr] \psi ( \theta _{2} ). $$
(2.2)

We can give now a new definition of an n-polynomial \((s,m)\)-exponential-type convex function as follows:

Definition 6

A nonnegative function \(\psi :J\rightarrow \Re \) is called n-polynomial \((s,m)\)-exponential-type convex function for some fixed \(s,m\in (0,1]\) if

$$ \psi \bigl( \chi \theta _{1} + m ( 1-\chi ) \theta _{2} \bigr) \leq \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} \psi ( \theta _{1} ) + \frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \psi ( \theta _{2} ) $$
(2.3)

holds for all \(\theta _{1}, \theta _{2}\in J\), \(n\in \mathbb{N}\), and \(\chi \in [0,1]\).

We discuss some connections between the class of n-polynomial \((s,m)\)-exponential-type convex functions and other classes of generalized convex functions.

Lemma 1

For all \(\chi \in [0,1]\)and for some fixed \(m\in (0,1]\)and \(s\in [\ln 2, 1]\), the inequalities \((e^{s\chi }-1)\geq \chi ^{s}\)and \((e^{(1-\chi )s}-1)\geq (1-\chi )^{s}\)hold.

Proof

The proof is evident. □

Proposition 1

Every nonnegative \((s,m)\)-convex function is an n-polynomial \((s,m)\)-exponential-type convex function for some fixed \(m\in (0,1]\)and \(s\in [\ln 2, 1]\).

Proof

By using Lemma 1, for some fixed \(m\in (0,1]\) and \(s\in [\ln 2, 1]\), we have

$$\begin{aligned} \psi \bigl( \chi \theta _{1} + m ( 1-\chi ) \theta _{2} \bigr) &\leq \chi ^{s} \psi ( \theta _{1} ) + m (1-\chi )^{s} \psi ( \theta _{2} ) \\ &\leq \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} \psi ( \theta _{1} ) +\frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \psi ( \theta _{2} ). \end{aligned}$$

 □

Remark 3

If we put \(n=1\) in Proposition 1, then we have

$$\begin{aligned} \psi \bigl( \chi \theta _{1} + m ( 1-\chi ) \theta _{2} \bigr) &\leq \chi ^{s} \psi ( \theta _{1} ) + m (1-\chi )^{s} \psi ( \theta _{2} ) \\ &\leq \bigl( e^{s\chi }-1 \bigr) \psi ( \theta _{1} ) +m \bigl( e^{ ( 1-\chi ) s}-1 \bigr) \psi ( \theta _{2} ). \end{aligned}$$

Theorem 1

Let \(\psi , \phi :[a_{1}, a_{2}]\rightarrow \Re \). If ψ and ϕ are n-polynomial \((s,m)\)-exponential-type convex functions for some fixed \(s,m\in (0,1]\), then

  1. 1.

    \(\psi + \phi \)is an n-polynomial \((s,m)\)-exponential-type convex function;

  2. 2.

    For nonnegative real number c, is an n-polynomial \((s,m)\)-exponential-type convex function.

Proof

By Definition 6 for some fixed \(s,m\in (0,1]\), the proof is obvious. □

Theorem 2

Let \(\psi : [0, a_{2}]\rightarrow J\)be an m-convex function for \(a_{2}>0\)and some fixed \(m\in (0,1]\), and let \(\phi :J\rightarrow \Re \)be nondecreasing and n-polynomial \((s,m)\)-exponential-type convex function for some fixed \(s\in (0,1]\). Then for the same fixed numbers \(s, m\in (0,1]\), the function \(\phi \circ \psi : [0, a_{2}]\rightarrow \Re \)is n-polynomial \((s,m)\)-exponential-type convex.

Proof

For all \(\theta _{1}, \theta _{2} \in [0, a_{2}]\) and \(\chi \in [0,1]\), and for the some fixed numbers \(s, m\in (0,1]\), we have

$$\begin{aligned}& (\phi \circ \psi ) \bigl( \chi \theta _{1} + m ( 1-\chi ) \theta _{2} \bigr) \\& \quad =\phi \bigl(\psi \bigl( \chi \theta _{1}+ m ( 1- \chi ) \theta _{2} \bigr)\bigr) \leq \phi \bigl(\chi \psi ( \theta _{1} ) +m(1-\chi ) \psi ( \theta _{2} )\bigr) \\& \quad \leq \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} (\phi \circ \psi ) ( \theta _{1} ) +\frac{1}{n} \sum_{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} (\phi \circ \psi ) ( \theta _{2} ). \end{aligned}$$

 □

Remark 4

If we put \(n=1\) in Theorem 2, then we get

$$\begin{aligned}& (\phi \circ \psi ) \bigl( \chi \theta _{1} + m ( 1-\chi ) \theta _{2} \bigr) \\& \quad =\phi \bigl(\psi \bigl( \chi \theta _{1}+ m ( 1- \chi ) \theta _{2} \bigr)\bigr) \leq \phi \bigl(\chi \psi ( \theta _{1} ) +m(1-\chi ) \psi ( \theta _{2} )\bigr) \\& \quad \leq \bigl( e^{s\chi }-1 \bigr) (\phi \circ \psi ) ( \theta _{1} ) + m \bigl( e^{ ( 1-\chi ) s}-1 \bigr) (\phi \circ \psi ) ( \theta _{2} ). \end{aligned}$$

Theorem 3

Let \(\psi _{i}: [a_{1}, a_{2}]\rightarrow \Re \)be an arbitrary family of n-polynomial \((s,m)\)-exponential-type convex functions for the same fixed \(s, m\in (0,1]\)and let \(\psi (\theta )=\sup_{i}\psi _{i}(\theta )\). If \(E=\{\theta \in [a_{1}, a_{2}]: \psi (\theta )< +\infty \}\neq \emptyset \), then E is an interval and ψ is an n-polynomial \((s,m)\)-exponential-type convex function on E.

Proof

For all \(\theta _{1}, \theta _{2}\in E\) and \(\chi \in [0,1]\), and for the same fixed numbers \(s, m\in (0,1]\), we have

$$\begin{aligned}& \psi \bigl( \chi \theta _{1} + m ( 1-\psi ) \theta _{2} \bigr) \\& \quad =\sup_{i}\psi _{i} \bigl( \chi \theta _{1} + m ( 1- \chi ) \theta _{2} \bigr) \\& \quad \leq \sup_{i} \Biggl[\frac{1}{n}\sum _{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i}\psi _{i} ( \theta _{1} ) + \frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \psi _{i} ( \theta _{2} ) \Biggr] \\& \quad \leq \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} \sup_{i} \psi _{i} ( \theta _{1} ) + \frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \sup_{i}\psi _{i} ( \theta _{2} ) \\& \quad =\frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i}\psi ( \theta _{1} ) + \frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i}\psi ( \theta _{2} )< +\infty . \end{aligned}$$

This shows simultaneously that E is an interval, since it contains every point between any two of its points, and that ψ is an n-polynomial \((s,m)\)-exponential-type convex function on E. □

Theorem 4

If the function \(\psi : [a_{1}, a_{2}]\rightarrow \Re \)is an n-polynomial \((s,m)\)-exponential-type convex for some fixed \(s, m\in (0,1]\), then ψ is bounded on \([a_{1}, ma_{2}]\).

Proof

Let \(L=\max \{\psi (a_{1}), \psi (\frac{a_{2}}{m} ) \}\) and \(x\in [a_{1}, a_{2}]\) be an arbitrary point for some fixed \(m\in (0,1]\). Then there exists \(\chi \in [0,1]\) such that \(x=\chi a_{1}+(1- \chi )a_{2}\). Thus, since \(e^{s\chi }\leq e^{s}\) and \(e^{(1-\chi )s}\leq e^{s}\) for some fixed \(s\in (0,1]\), we have

$$\begin{aligned} \psi (x)&=\psi \bigl(\chi a_{1}+(1-\chi )a_{2}\bigr)\leq \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i}\psi ( a_{1} ) + \frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i}\psi \biggl( \frac{a_{2}}{m^{i}} \biggr) \\ &\leq \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s}-1 \bigr)^{i}L + \frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{s}-1 \bigr)^{i}L = \frac{L}{n}\sum _{i=1}^{n}\bigl(m^{i}+1\bigr) \bigl(e^{s}-1\bigr)^{i}=M. \end{aligned}$$

We have shown that ψ is bounded above by a real number M. The interested reader can also prove the fact that ψ is bounded below using the same idea as in Theorem 2.4 in [6]. □

New generalization of Hermite–Hadamard-type inequality using n-polynomial \((s,m)\)-exponential-type convex functions

The aim of this section is to find new generalization of Hermite–Hadamard-type inequality for the n-polynomial \((s,m)\)-exponential-type convex function ψ.

Theorem 5

Let \(\psi : [a_{1}, ma_{2}]\rightarrow \Re \)be an n-polynomial \((s,m)\)-exponential-type convex function for some fixed \(s, m\in (0,1]\)and \(a_{1}< ma_{2}\). If \(\psi \in L_{1}([a_{1}, ma_{2}])\), then

$$\begin{aligned}& \frac{1}{\frac{1}{n}\sum_{i=1}^{n} (e^{\frac{s}{2}}-1 )^{i}} \psi \biggl(\frac{a_{1}+ma_{2}}{2} \biggr) \\& \quad \leq \frac{1}{(ma_{2}-a_{1})} \biggl\{ \int _{a_{1}}^{ma_{2}}\psi (x)\,dx + m \int _{\frac{a_{1}}{m}}^{a_{2}}\psi (x)\,dx \biggr\} \\& \quad \leq \frac{1}{n}\sum_{i=1}^{n} \biggl(\frac{e^{s}-s-1}{s} \biggr)^{i} \biggl[\psi (a_{1})+\psi (a_{2})+{m^{i}} \biggl(\psi \biggl( \frac{a_{1}}{m^{i+1}} \biggr)+\psi (a_{2}) \biggr) \biggr]. \end{aligned}$$
(3.1)

Proof

Denote

$$ \theta _{1}=\chi a_{1} + m (1-\chi )a_{2},\qquad \theta _{2}=(1-\chi ) \frac{a_{1}}{m}+\chi a_{2},\quad \forall \chi \in [0,1]. $$

By using n-polynomial \((s,m)\)-exponential-type convexity of ψ, we have

$$\begin{aligned} \psi \biggl(\frac{a_{1}+ma_{2}}{2} \biggr)&=\psi \biggl( \frac{\theta _{1}+m\theta _{2}}{2} \biggr) \\ &=\psi \biggl( \frac{[\chi a_{1}+m(1-\chi )a_{2}]+[(1-\chi )a_{1}+m\chi a_{2}]}{2} \biggr) \\ &\leq \frac{1}{n}\sum_{i=1}^{n} \bigl(e^{\frac{s}{2}}-1 \bigr)^{i} \bigl[\psi \bigl(\chi a_{1}+m(1-\chi )a_{2}\bigr)+\psi \bigl((1-\chi )a_{1}+m\chi a_{2}\bigr) \bigr]. \end{aligned}$$

Now, integrating on both sides in the last inequality with respect to χ over \([0,1]\), we get

$$\begin{aligned} \psi \biggl(\frac{a_{1}+ma_{2}}{2} \biggr)&\leq \frac{1}{n}\sum _{i=1}^{n} \bigl(e^{\frac{s}{2}}-1 \bigr)^{i} \\ &\quad {}\times \biggl[ \int _{0}^{1}\psi \bigl(\chi a_{1}+m(1-\chi )a_{2}\bigr)\,d\chi + \int _{0}^{1}\psi \biggl((1-\chi ) \frac{a_{1}}{m}+\chi a_{2} \biggr)\,d\chi \biggr] \\ &= \frac{\frac{1}{n}\sum_{i=1}^{n} (e^{\frac{s}{2}}-1 )^{i}}{(ma_{2}-a_{1})} \biggl\{ \int _{a_{1}}^{ma_{2}}\psi (x)\,dx + m \int _{\frac{a_{1}}{m}}^{a_{2}} \psi (x)\,dx \biggr\} , \end{aligned}$$

which proves the left-hand side inequality. For the right-hand side inequality, using n-polynomial \((s,m)\)-exponential-type convexity of ψ, we obtain

$$\begin{aligned}& \frac{1}{(ma_{2}-a_{1})} \biggl\{ \int _{a_{1}}^{ma_{2}}\psi (x)\,dx + m \int _{\frac{a_{1}}{m}}^{a_{2}}\psi (x)\,dx \biggr\} \\& \quad = \int _{0}^{1}\psi \bigl(\chi a_{1}+m(1-\chi )a_{2}\bigr)\,d\chi + \int _{0}^{1} \psi \biggl((1-\chi ) \frac{a_{1}}{m}+\chi a_{2} \biggr)\,d\chi \\& \quad \leq \int _{0}^{1} \Biggl[\frac{1}{n}\sum _{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} \psi ( a_{1} ) +\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \psi ( a_{2} ) \Biggr]\,d\chi \\& \qquad {}+ \int _{0}^{1} \Biggl[\frac{1}{n}\sum _{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} \psi ( a_{2} ) +\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \psi \biggl( \frac{a_{1}}{m^{i+1}} \biggr) \Biggr]\,d\chi \\& \quad = \frac{1}{n}\sum_{i=1}^{n} \biggl(\frac{e^{s}-s-1}{s} \biggr)^{i} \biggl[\psi (a_{1})+\psi (a_{2})+{m^{i}} \biggl(\psi \biggl( \frac{a_{1}}{m^{i+1}} \biggr)+\psi (a_{2}) \biggr) \biggr], \end{aligned}$$

which gives the right-hand side inequality and the proof is completed. □

Corollary 1

By choosing \(m=s=n=1\)in Theorem 5, we get Theorem 3.1 of [6].

Remark 5

If we put \(n=1\) in Theorem 5, then we obtain

$$\begin{aligned}& \frac{1}{ (e^{\frac{s}{2}}-1 )}\psi \biggl( \frac{a_{1}+ma_{2}}{2} \biggr) \\& \quad \leq \frac{1}{(ma_{2}-a_{1})} \biggl\{ \int _{a_{1}}^{ma_{2}}\psi (x)\,dx + m \int _{\frac{a_{1}}{m}}^{a_{2}} \psi (x)\,dx \biggr\} \\& \quad \leq \biggl(\frac{e^{s}-s-1}{s} \biggr) \biggl[\psi (a_{1})+\psi (a_{2})+m \biggl(\psi \biggl(\frac{a_{1}}{m^{2}} \biggr)+\psi (a_{2}) \biggr) \biggr]. \end{aligned}$$
(3.2)

Refinements of Hermite–Hadamard-type inequality via n-polynomial \((s,m)\)-exponential-type convex functions

To obtain some refinements of the Hermite–Hadamard inequality for functions whose first derivative in absolute value at certain power is an n-polynomial \((s,m)\)-exponential-type convex, we need some new useful lemmas.

Lemma 2

Suppose \(0< k\leq 1\)and consider a mapping \(\psi : [a_{1},\frac{a_{2}}{k} ]\rightarrow \Re \)which is differentiable on \(( a_{1},\frac{a_{2}}{k} )\)with \(0< a_{1}< a_{2}\). If \(\psi ^{\prime }\in L_{1} [ a_{1},\frac{a_{2}}{k} ] \), then

$$\begin{aligned}& \frac{\psi ( a_{1} ) +\psi ( \frac{a_{2}}{k} ) }{2} - \frac{k}{a_{2}-k a_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta \\& \quad = \biggl( \frac{a_{2}-k a_{1}}{2k} \biggr) \int _{0}^{1} ( 1-2\chi ) \psi ^{{\prime }} \biggl( \chi a_{1} + ( 1-\chi ) \frac{a_{2}}{k} \biggr) \,d\chi . \end{aligned}$$
(4.1)

Proof

Using integration by parts, we have

$$\begin{aligned} & \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \int _{0}^{1} ( 1-2\chi ) \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \,d\chi \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl\{ \frac{ ( 1-2\chi ) \psi ( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} ) }{a_{1}-\frac{a_{2}}{k}}\bigg|_{0}^{1}- \int _{0}^{1} \frac{\psi ( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} ) }{a_{1}-\frac{a_{2}}{k}} ( -2 ) \,d\chi \biggr\} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl\{ \frac{-\psi ( a_{1} ) -\psi ( \frac{a_{2}}{k} ) }{\frac{ka_{1}-a_{2}}{k}}+ \frac{2k}{ka_{1}-a_{2}} \int _{0}^{1} \psi \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \,d\chi \biggr\} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl\{ \frac{k ( \psi ( a_{1} ) +\psi ( \frac{a_{2}}{k} ) ) }{a_{2}-ka_{1}}- \frac{2k}{a_{2}-ka_{1}} \int _{0}^{1} \psi \biggl( \chi a_{1}+ ( 1-t ) \frac{a_{2}}{k} \biggr) \,d\chi \biggr\} \\ &\quad = \frac{\psi ( a_{1} ) +\psi ( \frac{a_{2}}{k} ) }{2} - \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta , \end{aligned}$$

which completes the proof. □

Lemma 3

Suppose \(0< k\leq 1\)and a mapping \(\psi :[ka_{1},a_{2}]\rightarrow \Re \)is differentiable on \(( ka_{1},a_{2} )\)with \(0< a_{1}< a_{2}\). If \(\psi ^{\prime }\in L_{1} [ ka_{1},a_{2} ]\), then

$$\begin{aligned}& \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta \\& \quad = \biggl( \frac{a_{2}-ka_{1}}{2} \biggr) \int _{0}^{1} ( 2\chi -1 ) \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr)\,d\chi . \end{aligned}$$
(4.2)

Proof

Using the integration by parts, we have

$$\begin{aligned} & \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \int _{0}^{1} ( 2\chi -1 ) \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+ \chi a_{2} \bigr) \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \\ &\qquad {}\times \biggl\{ \frac{ ( 2\chi -1 ) \psi ( k ( 1-\chi ) a_{1}+\chi a_{2} ) }{a_{2}-ka_{1}}\bigg|_{0}^{1}- \int _{0}^{1} \frac{\psi ( k ( 1-\chi ) a_{1}+\chi a_{2} ) }{a_{2}-ka_{1}} ( 2 ) \,d\chi \biggr\} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl\{ \frac{\psi ( a_{2} ) +\psi ( ka_{1} ) }{a_{2}-ka_{1}}-\frac{2}{a_{2}-ka_{1}} \int _{0}^{1}\psi \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \,d\chi \biggr\} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl\{ \frac{\psi ( a_{2} ) +\psi ( ka_{1} ) }{a_{2}-ka_{1}}- \frac{2}{a_{2}-ka_{1}} \int _{0}^{1}\psi \bigl( k ( 1-\chi ) a_{1}+ \chi a_{2} \bigr) \,d\chi \biggr\} \\ &\quad = \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta , \end{aligned}$$

which completes the proof. □

Lemma 4

Suppose \(0< k\leq 1\)and a mapping \(\psi :[ka_{1},a_{2}]\rightarrow \Re \)is differentiable on \(( ka_{1},a_{2} )\)with \(0< a_{1}< a_{2}\). If \(\psi ^{\prime }\in L_{1} [ ka_{1},a_{2} ] \), then

$$\begin{aligned}& \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta \\& \quad = \biggl( \frac{a_{2}-ka_{1}}{k+1} \biggr) \int _{0}^{1} ( 2\chi -1 ) \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \,d\chi . \end{aligned}$$
(4.3)

Proof

Using the integration by parts, we have

$$\begin{aligned} & \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \int _{0}^{1} ( 2\chi -1 ) \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+ \chi a_{2} \bigr) \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \\ &\qquad {}\times \biggl\{ \frac{ ( 2\chi -1 ) \psi ( k ( 1-\chi ) a_{1}+\chi a_{2} ) }{a_{2}-ka_{1}}\bigg|_{0}^{1}- \int _{0}^{1} \frac{\psi ( k ( 1-\chi ) a_{1}+\chi a_{2} ) }{a_{2}-ka_{1}} ( 2 ) \,d\chi \biggr\} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl\{ \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{a_{2}-ka_{1}}- \frac{2}{a_{2}-ka_{1}} \int _{0}^{1}\psi \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \,d\chi \biggr\} \\ &\quad = \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1}- \frac{2}{k+1}\int _{0}^{1}\psi \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \,d\chi \\ &\quad = \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta , \end{aligned}$$

which completes the proof. □

Lemma 5

Suppose \(0< k\leq 1\)and a mapping \(\psi : [a_{1},\frac{a_{2}}{k} ]\rightarrow \Re \)is differentiable on \(( a_{1},\frac{a_{2}}{k} )\)with \(0< a_{1}< a_{2}\). If \(\psi ^{\prime }\in L_{1} [ a_{1},\frac{a_{2}}{k} ] \), then

$$\begin{aligned}& \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \\& \quad = \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \\& \qquad {}\times\biggl\{ \int _{0}^{1}\chi \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \,d\chi - \int _{ \frac{1}{2}}^{1} \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \,d\chi \biggr\} . \end{aligned}$$
(4.4)

Proof

Using the integration by parts, we have

$$\begin{aligned} & \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \biggl\{ \int _{0}^{1}\chi \psi ^{{ \prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \,d\chi - \int _{\frac{1}{2}}^{1} \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \,d\chi \biggr\} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \\ &\qquad {}\times \biggl\{ \frac{\chi \psi ( \chi a_{1}+(1-\chi )\frac{a_{2}}{k} ) }{a_{1}-\frac{a_{2}}{k}}\bigg|_{0}^{1}- \int _{0}^{1} \frac{\psi ( \chi a_{1}+(1-\chi )\frac{a_{2}}{k} ) }{a_{1}-\frac{a_{2}}{k}}\,d\chi \\ &\qquad {}- \frac{\psi ( \chi a_{1}+(1-\chi )\frac{a_{2}}{k} ) }{a_{1}-\frac{a_{2}}{k}} \bigg|_{\frac{1}{2}}^{1} \biggr\} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \biggl\{ \frac{k\psi ( a_{1} ) }{ka_{1}-a_{2}}- \frac{k}{ka_{1}-a_{2}}\int _{0}^{1}\psi \biggl( \chi a_{1} +(1- \chi )\frac{a_{2}}{k} \biggr) \,d\chi \\ &\qquad {}-\frac{k}{ka_{1}-a_{2}} \biggl( \psi ( a_{1} ) -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \biggr) \biggr\} \\ &\quad =\frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr), \end{aligned}$$

which completes the proof. □

Lemma 6

Suppose \(0< k\leq 1\)and a mapping \(\psi :[ka_{1},a_{2}]\rightarrow \Re \)is differentiable on \(( ka_{1},a_{2} )\)with \(0< a_{1}< a_{2}\). If \(\psi ^{\prime }\in L_{1} [ ka_{1},a_{2} ] \), then

$$\begin{aligned}& \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr) \\& \quad = ( a_{2}-ka_{1} ) \\& \qquad {}\times \biggl\{ \int _{0}^{1}(-\chi )\psi ^{{\prime }} \bigl( k ( 1- \chi ) a_{1}+\chi a_{2} \bigr) \,d\chi + \int _{\frac{1}{2}}^{1} \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \,d\chi \biggr\} . \end{aligned}$$
(4.5)

Proof

Using the integration by parts, we have

$$\begin{aligned} & ( a_{2}-ka_{1} ) \biggl\{ \int _{0}^{1} - \chi \psi ^{{ \prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \,d\chi + \int _{\frac{1}{2}}^{1} \psi ^{{\prime }} \bigl( k ( 1- \chi ) a_{1}+\chi a_{2} \bigr) \,d\chi \biggr\} \\ &\quad = ( a_{2}-ka_{1} ) \biggl\{ \frac{-\chi \psi ( k ( 1-\chi ) a_{1}+\chi a_{2} ) }{a_{2}-ka_{1}}\bigg|_{0}^{1}- \int _{0}^{1} \frac{ \psi ( k ( 1-\chi ) a_{1}+\chi a_{2} ) }{a_{2}-ka_{1}} ( -1 ) \,d\chi \\ &\qquad {}+ \frac{ \psi ( k ( 1-\chi ) a_{1}+\chi a_{2} ) }{a_{2}-ka_{1}}\bigg|_{\frac{1}{2}}^{1} \biggr\} \\ &\quad = ( a_{2}-ka_{1} ) \\ &\qquad {}\times \biggl\{ \frac{-\psi ( a_{2} ) }{a_{2}-ka_{1}}+ \frac{1}{a_{2}-ka_{1}} \int _{0}^{1} \psi \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \,d\chi + \frac{\psi ( a_{2} ) -\psi ( \frac{ka_{1}+a_{2}}{2} ) }{a_{2}-ka_{1}} \biggr\} \\ &\quad =\frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr), \end{aligned}$$

which completes the proof. □

Theorem 6

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{mk} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{mk} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{mk} ]\)for \(q>1\)and \(q^{-1}+p^{-1}=1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{\psi (a_{1} )+\psi (\frac{a_{2}}{k} )}{2}- \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{2k} \biggr) \biggl(\frac{1}{p+1} \biggr)^{ \frac{1}{p}} \\ &\qquad {} \times \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl(\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}{k}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{ \frac{1}{q}}. \end{aligned}$$
(4.6)

Proof

From Lemma 2, Hölder’s inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q}\), we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( a_{1} ) +\psi ( \frac{a_{2}}{k} ) }{2} - \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \int _{0}^{1} \vert 1-2\chi \vert ^{p} \,d\chi \biggr) ^{\frac{1}{p}} \biggl\{ \int _{0}^{1} \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert ^{q}\,d\chi \biggr\} ^{\frac{1}{q}} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \int _{0}^{1} \vert 1-2\chi \vert ^{p} \,d\chi \biggr) ^{\frac{1}{p}} \\ &\qquad {} \times \Biggl\{ \int _{0}^{1} \Biggl[\frac{1}{n}\sum _{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{{q}}+\frac{1}{n}\sum _{i=1}^{n}{m}^{i} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \biggl\vert \psi ^{{ \prime }} \biggl( \frac{a_{2}}{m^{i}{k}} \biggr) \biggr\vert ^{{q}} \Biggr] \,d\chi \Biggr\} ^{\frac{1}{q}} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \Biggl\{ \sum_{i=1}^{n} \biggl(\frac{e^{s}-s-1}{s} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}{k}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}, \end{aligned}$$

which completes the proof. □

Remark 6

If we take \(n=1\) in Theorem 6, we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( a_{1} ) +\psi ( \frac{a_{2}}{k} ) }{2} - \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \frac{1}{p+1} \biggr) ^{ \frac{1}{p}} \biggl\{ \biggl( \frac{e^{s}-s-1}{s} \biggr) \biggl( \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{mk} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.7)

Theorem 7

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{mk} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{mk} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{mk} ]\)for \(q\geq 1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{\psi ( a_{1} ) + \psi ( \frac{a_{2}}{k} ) }{2} - \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \frac{1}{2} \biggr) ^{1- \frac{1}{q}}\Biggl\{ \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr)^{i} \\ &\qquad {}\times\biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}{k}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.8)

Proof

From Lemma 2, power mean inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q}\), we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( a_{1} ) +\psi ( \frac{a_{2}}{k} ) }{2} - \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl\{ \int _{0}^{1} \vert 1-2\chi \vert \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert \,d\chi \biggr\} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \int _{0}^{1} \vert 1-2\chi \vert \,d\chi \biggr) ^{1-\frac{1}{q}} \biggl\{ \int _{0}^{1} \vert 1-2\chi \vert \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert ^{q}\,d\chi \biggr\} ^{ \frac{1}{q}} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \int _{0}^{1} \vert 1-2\chi \vert \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {} \times \Biggl\{ \int _{0}^{1} \vert 1-2\chi \vert \Biggl[ \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{s\chi }-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{{q}} \\ &\qquad {}+ \frac{1}{n}\sum_{i=1}^{n}{m}^{i} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}{k}} \biggr) \biggr\vert ^{{q}} \Biggr] \,d\chi \Biggr\} ^{\frac{1}{q}} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \frac{1}{2} \biggr) ^{1- \frac{1}{q}} \\ &\qquad {} \times \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}{k}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}, \end{aligned}$$

which completes the proof. □

Remark 7

If we take \(n=1\) in Theorem 7, we get

$$\begin{aligned} & \biggl\vert \frac{\psi ( a_{1} ) +\psi ( \frac{a_{2}}{k} ) }{2} - \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{2k} \biggr) \biggl( \frac{1}{2} \biggr) ^{1- \frac{1}{q}} \\ &\qquad {} \times \biggl\{ \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr) \biggl( \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{mk} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.9)

Theorem 8

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{m} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{m} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{m} ]\)for \(q>1\)and \(q^{-1}+p^{-1}=1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl(\frac{1}{p+1} \biggr)^{\frac{1}{p}} \\ &\qquad {} \times \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl(\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{ \frac{1}{q}}. \end{aligned}$$
(4.10)

Proof

From Lemma 3, Hölder’s inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q}\), we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-{k}a_{1}}{2} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert ^{p} \,d\chi \biggr) ^{\frac{1}{p}} \biggl\{ \int _{0}^{1} \bigl\vert \psi ^{{\prime }} \bigl( k ( 1- \chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert ^{q}\,d\chi \biggr\} ^{ \frac{1}{q}} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert ^{p} \,d\chi \biggr) ^{\frac{1}{p}} \\ &\qquad {} \times \Biggl\{ \int _{0}^{1} \Biggl[\frac{1}{n}\sum _{i=1}^{n}{m}^{i} \bigl( e^{s\chi }-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}}+ \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{ \prime }} ( ka_{1} ) \bigr\vert ^{{q}} \Biggr] \,d\chi \Biggr\} ^{\frac{1}{q}} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl(\frac{1}{p+1} \biggr)^{ \frac{1}{p}} \\ &\qquad {} \times \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl(\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( {k}a_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl(\frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{ \frac{1}{q}}, \end{aligned}$$

which completes the proof. □

Remark 8

If we take \(n=1\) in Theorem 8, we obtain

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \biggl\{ \biggl( \frac{e^{s}-s-1}{s} \biggr) \biggl( \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{ \frac{1}{q}}. \end{aligned}$$
(4.11)

Theorem 9

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{m} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{m} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{m} ]\)for \(q\geq 1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr)^{i} \\ &\qquad {}\times\biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+ \frac{m^{i}}{n} \biggl\vert \psi ^{{ \prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.12)

Proof

From Lemma 3, power mean inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q} \), we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl\{ \int _{0}^{1} \vert 2\chi -1 \vert \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+ \chi a_{2} \bigr) \bigr\vert \,d\chi \biggr\} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {}\times \biggl\{ \int _{0}^{1} \vert 2\chi -1 \vert \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert ^{q}\,d\chi \biggr\} ^{\frac{1}{q}} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {} \times \Biggl[ \int _{0}^{1} \vert 2\chi -1 \vert \Biggl\{ \frac{1}{n} \sum_{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q} \\ &\qquad {}+ \frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{s\chi }-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}} \Biggr\} \,d\chi \Biggr]^{\frac{1}{q}} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \\ &\qquad {} \times \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+ \frac{m^{i}}{n} \biggl\vert \psi ^{{ \prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}, \end{aligned}$$

which completes the proof. □

Remark 9

If we take \(n=1\) in Theorem 9, we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{2} - \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{2} \biggr) \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \\ &\qquad {} \times \biggl\{ \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr) \biggl( \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.13)

Theorem 10

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{m} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{m} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{m} ]\)for \(q>1\)and \(q^{-1}+p^{-1}=1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl( \frac{1}{p+1} \biggr) ^{ \frac{1}{p}} \\ &\qquad {} \times \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl(\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.14)

Proof

From Lemma 4, Hölder’s inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q}\), we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert ^{p} \,d\chi \biggr) ^{\frac{1}{p}} \biggl\{ \int _{0}^{1} \bigl\vert \psi ^{{\prime }} \bigl( k ( 1- \chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert ^{q}\,d\chi \biggr\} ^{ \frac{1}{q}} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert ^{p} \,d\chi \biggr) ^{\frac{1}{p}} \\ &\qquad {} \times \Biggl\{ \int _{0}^{1} \Biggl[ \frac{1}{n} \sum_{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{ \prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{s\chi }-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}} \Biggr] \,d\chi \Biggr\} ^{\frac{1}{q}} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}, \end{aligned}$$

which completes the proof. □

Remark 10

If we take \(n=1\) in Theorem 10, we get

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k+1} \biggr) \\ &\qquad {} \times \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \biggl\{ \biggl( \frac{e^{s}-s-1}{s} \biggr) \biggl( \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{ \frac{1}{q}}. \end{aligned}$$
(4.15)

Theorem 11

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{m} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{m} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{m} ]\)for \(q\geq 1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k+1} \biggr)\biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \Biggl\{ \sum _{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr)^{i} \\ &\qquad {}\times \biggl(\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+ \frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.16)

Proof

From Lemma 4, power mean inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q}\), we have

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl[ \int _{0}^{1} \vert 2\chi -1 \vert \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+ \chi a_{2} \bigr) \bigr\vert \,d\chi \biggr] \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert \,d\chi \biggr) ^{1-\frac{1}{q}} \biggl\{ \int _{0}^{1} \vert 2\chi -1 \vert \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert ^{q}\,d\chi \biggr\} ^{\frac{1}{q}} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl( \int _{0}^{1} \vert 2\chi -1 \vert \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {} \times \Biggl[ \int _{0}^{1} \vert 2\chi -1 \vert \Biggl\{ \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q} \\ &\qquad {}+ \frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{s\chi }-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}} \Biggr\} \,d\chi \Biggr]^{\frac{1}{q}} \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k+1} \biggr) \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \\ &\qquad {}\times \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr)^{i} \biggl(\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+ \frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{\frac{1}{q}}, \end{aligned}$$

which completes the proof. □

Remark 11

If we take \(n=1\) in Theorem 11, we obtain

$$\begin{aligned} & \biggl\vert \frac{\psi ( ka_{1} ) +\psi ( a_{2} ) }{k+1} - \frac{2}{ ( k+1 ) ( a_{2}-ka_{1} ) } \int _{ka_{1}}^{a_{2}} \psi ( \theta ) \,d\theta \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k+1} \biggr)\biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \\ &\qquad {}\times \biggl\{ \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr) \biggl( \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(4.17)

Theorem 12

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{km} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{km} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{km} ]\)for \(q>1\)and \(q^{-1}+p^{-1}=1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}} \psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k} \biggr)\Biggl[ \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{ \frac{1}{q}} \\ &\qquad {} + \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i} \\ &\qquad {}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{q}\sum_{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \Biggr) \Biggr]. \end{aligned}$$
(4.18)

Proof

From Lemma 5, Hölder’s inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q} \), we have

$$\begin{aligned} & \biggl\vert \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}} \psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k} \biggr) \biggl[ \biggl( \int _{0}^{1}\chi ^{p}\,d\chi \biggr) ^{ \frac{1}{p}} \biggl\{ \int _{0}^{1} \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert ^{q}\,d\chi \biggr\} ^{\frac{1}{q}} \\ &\qquad {}+ \int _{\frac{1}{2}}^{1} \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert \,d\chi \biggr] \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \Biggl[ \biggl( \int _{0}^{1} \chi ^{p}\,d\chi \biggr) ^{\frac{1}{p}} \\ &\qquad {}\times \Biggl\{ \int _{0}^{1} \Biggl\{ \frac{1}{n} \sum_{i=1}^{n} \bigl( e^{s \chi }-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\sum _{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}} \Biggr\} \,d\chi \Biggr\} ^{\frac{1}{q}} \\ &\qquad {} + \int _{\frac{1}{2}}^{1} \Biggl\{ \frac{1}{n} \sum_{i=1}^{n} \bigl( e^{s \chi }-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{ ( 1- \chi ) s}-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}} \Biggr\} \,d\chi \Biggr] \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \Biggl[ \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{ \frac{1}{q}} \\ &\qquad {} + \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i} +\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{q}\sum_{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \Biggr) \Biggr], \end{aligned}$$

which completes the proof. □

Remark 12

If we take \(n=1\) in Theorem 12, we have

$$\begin{aligned} & \biggl\vert \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}} \psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k} \biggr) \biggl[ \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \biggl\{ \biggl( \frac{e^{s}-s-1}{s} \biggr) \biggl( \bigl\vert \psi ^{{ \prime }} ( a_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{ \prime }} \biggl( \frac{a_{2}}{km} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{\frac{1}{q}} \\ &\qquad {} + \biggl( \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr) +m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{km} \biggr) \biggr\vert ^{q} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr) \biggr) \biggr]. \end{aligned}$$
(4.19)

Theorem 13

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{km} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{km} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{km} ]\)for \(q\geq 1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}} \psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k} \biggr) \Biggl[ \biggl( \frac{1}{2} \biggr) ^{1- \frac{1}{q}} \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{2 ( s-1 ) e^{s}-s^{2}+2}{2s^{2}} \biggr)^{i} \\ &\qquad {}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}}\sum_{i=1}^{n} \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr)^{i} \Biggr) ^{\frac{1}{q}} \\ &\qquad {} + \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{e^{s}-e^{\frac{s}{2}}}{s}- \frac{1}{2} \biggr)^{i} \\ &\qquad {}+ \frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}}\sum_{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \Biggr) \Biggr]. \end{aligned}$$
(4.20)

Proof

From Lemma 5, power mean inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q}\), we have

$$\begin{aligned} & \biggl\vert \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}} \psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k} \biggr)\biggl\{ \int _{0}^{1}\chi \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert \,d\chi + \int _{\frac{1}{2}}^{1} \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert \,d\chi \biggr\} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \biggl\{ \biggl( \int _{0}^{1} \chi \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {}\times \biggl( \int _{0}^{1}\chi \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert ^{q}\,d\chi \biggr) ^{\frac{1}{q}}+ \int _{ \frac{1}{2}}^{1} \biggl\vert \psi ^{{\prime }} \biggl( \chi a_{1}+ ( 1-\chi ) \frac{a_{2}}{k} \biggr) \biggr\vert \,d\chi \biggr\} \\ &\quad \leq \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \Biggl[ \biggl( \int _{0}^{1} \chi \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {}\times \Biggl( \int _{0}^{1}\chi \Biggl\{ \frac{1}{n}\sum_{i=1}^{n} \bigl( e^{\chi }-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}+ \frac{1}{n}\sum_{i=1}^{n}{m^{i}} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}} \Biggr\} \,d\chi \Biggr) ^{\frac{1}{q}} \\ &\qquad {} + \int _{\frac{1}{2}}^{1} \Biggl\{ \frac{1}{n} \sum_{i=1}^{n} \bigl( e^{s \chi }-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( a_{2} ) \bigr\vert ^{q}+\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{ ( 1- \chi ) s}-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}} \Biggr\} \,d\chi \Biggr] \\ &\quad = \biggl(\frac{a_{2}-ka_{1}}{k} \biggr) \Biggl[ \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{2 ( s-1 ) e^{s}-s^{2}+2}{2s^{2}} \biggr)^{i} \\ &\qquad {}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}}\sum_{i=1}^{n} \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr)^{i} \Biggr) ^{\frac{1}{q}} \\ &\qquad {} + \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{e^{s}-e^{\frac{s}{2}}}{s}- \frac{1}{2} \biggr)^{i} + \frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{k{m^{i}}} \biggr) \biggr\vert ^{{q}}\sum_{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \Biggr) \Biggr], \end{aligned}$$

which completes the proof. □

Remark 13

If we take \(n=1\) in Theorem 13, we get

$$\begin{aligned} & \biggl\vert \frac{k}{a_{2}-ka_{1}} \int _{a_{1}}^{\frac{a_{2}}{k}} \psi ( \theta ) \,d\theta -\psi \biggl( \frac{a_{1}+a_{2}}{2k} \biggr) \biggr\vert \\ &\quad \leq \biggl( \frac{a_{2}-ka_{1}}{k} \biggr) \biggl[ \biggl( \frac{1}{2} \biggr) ^{1- \frac{1}{q}} \biggl( \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q} \biggl( \frac{2 ( s-1 ) e^{s}-s^{2}+2}{2s^{2}} \biggr) \\ &\qquad {}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{km} \biggr) \biggr\vert ^{{q}} \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr) \biggr) ^{\frac{1}{q}} \\ &\qquad {} + \biggl( \bigl\vert \psi ^{{\prime }} ( a_{1} ) \bigr\vert ^{q} \biggl( \frac{e^{s}-e^{\frac{s}{2}}}{s}-\frac{1}{2} \biggr) +m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{km} \biggr) \biggr\vert ^{{q}} \biggl(\frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr) \biggr) \biggr]. \end{aligned}$$
(4.21)

Theorem 14

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{m} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{m} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{m} ]\)for \(q>1\)and \(q^{-1}+p^{-1}=1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr) \biggr\vert \\ &\quad \leq ( a_{2}-ka_{1}) \Biggl[ \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{ \frac{1}{q}} \\ &\qquad {} + \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \\ &\qquad {}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q}\sum_{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i} \Biggr) \Biggr]. \end{aligned}$$
(4.22)

Proof

From Lemma 6, Hölder’s inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q}\), we have

$$\begin{aligned} & \biggl\vert \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr) \biggr\vert \\ &\quad \leq ( a_{2}-ka_{1}) \biggl\{ \biggl( \int _{0}^{1}\chi ^{p}\,d\chi \biggr) ^{ \frac{1}{p}} \biggl( \int _{0}^{1} \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert ^{q}\,d\chi \biggr)^{\frac{1}{q}} \\ &\qquad {}+ \int _{\frac{1}{2}}^{1} \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert \,d\chi \biggr\} \\ &\quad \leq ( a_{2}-ka_{1} ) \Biggl\{ \biggl( \int _{0}^{1}\chi ^{p}\,d\chi \biggr) ^{\frac{1}{p}} \\ &\qquad {}\times \Biggl( \int _{0}^{1} \Biggl(\frac{1}{n}\sum _{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{s\chi }-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}} \Biggr)\,d\chi \Biggr)^{ \frac{1}{q}} \\ &\qquad {} + \int _{\frac{1}{2}}^{1} \Biggl(\frac{1}{n}\sum _{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{s\chi }-1 \bigr) \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}} \Biggr)\,d\chi \Biggr\} \\ &\quad = ( a_{2}-ka_{1} ) \\ &\qquad {}\times \Biggl[ \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \Biggl\{ \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i} \biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \biggr) \Biggr\} ^{ \frac{1}{q}} \\ &\qquad {} + \Biggl( \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}\sum _{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} +\frac{m^{i}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q}\sum_{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i} \Biggr) \Biggr], \end{aligned}$$

which completes the proof. □

Remark 14

If we take \(n=1\) in Theorem 14, we obtain

$$\begin{aligned} & \biggl\vert \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr) \biggr\vert \\ &\quad \leq ( a_{2}-ka_{1}) \biggl[ \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \biggl\{ \biggl( \frac{e^{s}-s-1}{s} \biggr) \biggl( \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggr) \biggr\} ^{ \frac{1}{q}} \\ &\qquad {} + \biggl( \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr) +m \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr) \biggr) \biggr]. \end{aligned}$$
(4.23)

Theorem 15

Suppose \(0< k\leq 1\)and a mapping \(\psi : (0,\frac{a_{2}}{m} ]\rightarrow \Re \)is differentiable on \(( 0,\frac{a_{2}}{m} )\)with \(0 < a_{1} < a_{2} \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is an n-polynomial \((s,m)\)-exponential-type convex function on \(( 0,\frac{a_{2}}{m} ]\)for \(q\geq 1\), then for some fixed \(s,m \in (0,1]\), the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr) \biggr\vert \\ &\quad \leq ( a_{2}-ka_{1} ) \Biggl\{ \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \Biggl( \sum_{i=1}^{n} \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr)^{i}\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q} \\ &\qquad {}+\sum _{i=1}^{n} \biggl( \frac{2 ( s-1 ) e^{s}-s^{2}+2}{2s^{2}} \biggr)^{i} \frac{{m^{i}}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \Biggr) ^{\frac{1}{q}} \\ &\qquad {} + \Biggl(\sum_{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q} \\ &\qquad {}+\sum _{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i}\frac{{m^{i}}}{n} \biggl\vert \psi ^{{ \prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \Biggr) \Biggr\} . \end{aligned}$$
(4.24)

Proof

From Lemma 6, power mean inequality, and n-polynomial \((s,m)\)-exponential-type convexity of \(\vert \psi ^{{\prime }} \vert ^{q} \), we have

$$\begin{aligned} & \biggl\vert \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr) \biggr\vert \\ &\quad \leq ( a_{2}-ka_{1}) \biggl\{ \int _{0}^{1} \vert -\chi \vert \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert \,d\chi + \int _{\frac{1}{2}}^{1} \bigl\vert \psi ^{{ \prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert \,d\chi \biggr\} \\ &\quad \leq ( a_{2}-ka_{1} ) \biggl\{ \biggl( \int _{0}^{1}\chi \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {}\times \biggl( \int _{0}^{1}\chi \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert ^{q}\,d\chi \biggr) ^{\frac{1}{q}}+ \int _{\frac{1}{2}}^{1} \bigl\vert \psi ^{{\prime }} \bigl( k ( 1-\chi ) a_{1}+\chi a_{2} \bigr) \bigr\vert \,d\chi \biggr\} \\ &\quad \leq ( a_{2}-ka_{1} ) \Biggl\{ \biggl( \int _{0}^{1}\chi \,d\chi \biggr) ^{1-\frac{1}{q}} \\ &\qquad {}\times \Biggl( \int _{0}^{1}\chi \Biggl(\frac{1}{n} \sum_{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{ \prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{s\chi }-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}} \Biggr) \,d\chi \Biggr) ^{\frac{1}{q}} \\ &\qquad {} + \int _{\frac{1}{2}}^{1} \Biggl(\frac{1}{n}\sum _{i=1}^{n} \bigl( e^{ ( 1-\chi ) s}-1 \bigr)^{i} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\frac{1}{n}\sum _{i=1}^{n}{m^{i}} \bigl( e^{s \chi }-1 \bigr)^{i} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{{q}} \Biggr) \,d\chi \Biggr\} \\ &\quad = ( a_{2}-ka_{1} ) \Biggl\{ \biggl( \frac{1}{2} \biggr) ^{1- \frac{1}{q}}\Biggl( \sum_{i=1}^{n} \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr)^{i}\frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q} \\ &\qquad {}+\sum _{i=1}^{n} \biggl( \frac{2 ( s-1 ) e^{s}-s^{2}+2}{2s^{2}} \biggr)^{i} \frac{{m^{i}}}{n} \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \Biggr) ^{\frac{1}{q}} \\ &\qquad {} + \Biggl(\sum_{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \frac{1}{n} \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+\sum _{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i}\frac{{m^{i}}}{n} \biggl\vert \psi ^{{ \prime }} \biggl( \frac{a_{2}}{m^{i}} \biggr) \biggr\vert ^{q} \Biggr) \Biggr\} , \end{aligned}$$

which completes the proof. □

Remark 15

If we take \(n=1\) in Theorem 15, we have

$$\begin{aligned} & \biggl\vert \frac{1}{a_{2}-ka_{1}} \int _{ka_{1}}^{a_{2}}\psi ( \theta ) \,d\theta -\psi \biggl( \frac{ka_{1}+a_{2}}{2} \biggr) \biggr\vert \\ &\quad \leq ( a_{2}-ka_{1} ) \biggl\{ \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}} \biggl( \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr) \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q} \\ &\qquad {}+m \biggl( \frac{2 ( s-1 ) e^{s}-s^{2}+2}{2s^{2}} \biggr) \biggl\vert \psi ^{{ \prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggr) ^{ \frac{1}{q}} \\ &\qquad {} + \biggl( \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr) \bigl\vert \psi ^{{\prime }} ( ka_{1} ) \bigr\vert ^{q}+m \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr) \biggl\vert \psi ^{{\prime }} \biggl( \frac{a_{2}}{m} \biggr) \biggr\vert ^{q} \biggr) \biggr\} . \end{aligned}$$
(4.25)

Applications to some means

Consider two special means for different positive real numbers \(a_{1}\) and \(a_{2}\) as follows:

  1. 1.

    The arithmetic mean

    $$ A(a_{1},a_{2})=\frac{a_{1}+a_{2}}{2}. $$
  2. 2.

    The generalized log-mean

    $$ L_{l}(a_{1},a_{2})= \biggl[ \frac{a_{2}^{l+1}-a_{1}^{l+1}}{(l+1)(a_{2}-a_{1})} \biggr]^{\frac{1}{l}};\quad l\in \mathbb{R}\setminus \{-1,0\}. $$

Dragomir et al. [3] have proved that for \(s\in (0,1)\), where \(1\leq l\leq \frac{1}{s}\), the function \(f(x)=x^{ls}\), \(x>0\) is an s-convex function. Then from Proposition 1, it is also an s-exponential convex function for some fixed \(s\in [\ln 2,1)\).

Now, using the theoretical results in Sect. 4, we give some applications to above special means for positive different real numbers.

Proposition 2

Let \(0 < a_{1} < a_{2} \), \(0< k\leq 1\), and \(q>1\)be such that \(p^{-1}+q^{-1}=1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \biggl\vert A \biggl( a_{1}^{ls}, \biggl( \frac{a_{2}}{k} \biggr) ^{ls} \biggr) -\frac{k}{a_{2}-ka_{1}} L_{ls}^{ls} \biggl( a_{1}, \frac{a_{2}}{k} \biggr) \biggr\vert \\ &\quad \leq \frac{ls(a_{2}-ka_{1})}{k\sqrt[p]{2}} \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr) ^{i\frac{1}{q}}A^{\frac{1}{q}} \biggl( a_{1}^{ ( ls-1 ) q}, \biggl( \frac{a_{2}}{k} \biggr) ^{ ( ls-1 ) q} \biggr) . \end{aligned}$$
(5.1)

Proof

Considering the n-polynomial s-exponential-type convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 6 with \(m=1\), we obtain the required result. □

Proposition 3

Let \(0 < a_{1} < a_{2} \), \(0< k\leq 1\), and \(q\geq 1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \biggl\vert A \biggl( a_{1}^{ls}, \biggl( \frac{a_{2}}{k} \biggr) ^{ls} \biggr) -\frac{k}{a_{2}-ka_{1}} L_{ls}^{ls} \biggl( a_{1}, \frac{a_{2}}{k} \biggr) \biggr\vert \\ &\quad \leq \frac{ls(a_{2}-ka_{1})}{4^{ ( 1-\frac{1}{q} ) }k} \\ &\qquad {}\times \frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr) ^{i\frac{1}{q}}A^{\frac{1}{q}} \biggl( a_{1}^{ ( ls-1 ) q}, \biggl( \frac{a_{2}}{k} \biggr) ^{ ( ls-1 ) q} \biggr). \end{aligned}$$
(5.2)

Proof

Considering the n-polynomial s-exponential-type convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 7 with \(m=1\), we obtain the required result. □

Proposition 4

Let \(0 < a_{1} < a_{2} \), \(0< r\leq 1\)and \(q>1\)such that \(p^{-1}+q^{-1}=1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \bigl\vert A \bigl( ( ka_{1} ) ^{ls}, a_{2} ^{ls} \bigr) -L_{ls}^{ls} ( ka_{1},a_{2} ) \bigr\vert \\ &\quad \leq \frac{ls(a_{2}-ka_{1})}{\sqrt[p]{2}} \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr) ^{i\frac{1}{q}}A^{\frac{1}{q}} \bigl( ( ka_{1} ) ^{ ( ls-1 ) q}, a_{2} ^{ ( ls-1 ) q} \bigr). \end{aligned}$$
(5.3)

Proof

Considering the n-polynomial s-exponential-type convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 8 with \(m=1\), we obtain the required result. □

Proposition 5

Let \(0 < a_{1} < a_{2} \), \(0< k\leq 1\)and \(q\geq 1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \bigl\vert A \bigl( ( ka_{1} ) ^{ls}, a_{2} ^{ls} \bigr) -L_{ls}^{ls} ( ka_{1},a_{2} ) \bigr\vert \\ &\quad \leq \frac{ls(a_{2}-ka_{1})}{4^{ ( 1-\frac{1}{q} ) }} \\ &\qquad {}\times \frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr) ^{i\frac{1}{q}}A^{\frac{1}{q}} \bigl( ( ka_{1} ) ^{ ( ls-1 ) q}, a_{2} ^{ ( ls-1 ) q} \bigr) . \end{aligned}$$
(5.4)

Proof

Considering the n-polynomial s-exponential-type convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 9 with \(m=1\), we obtain the required result. □

Proposition 6

Let \(0 < a_{1} < a_{2} \), \(0< k\leq 1\), and \(q>1\)be such that \(p^{-1}+q^{-1}=1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \biggl\vert \frac{2}{k+1} \bigl( A \bigl( ( ka_{1} ) ^{ls}, a_{2} ^{ls} \bigr) - L_{ls}^{ls} ( ka_{1},a_{2} ) \bigr) \biggr\vert \\ &\quad \leq \sqrt[q]{2}\frac{ls(a_{2}-ka_{1})}{k+1} \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr) ^{i\frac{1}{q}}A^{\frac{1}{q}} \bigl( ( ka_{1} ) ^{ ( ls-1 ) q}, a_{2} ^{ ( ls-1 ) q} \bigr) . \end{aligned}$$
(5.5)

Proof

Considering the n-polynomial s-exponential convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 10 with \(m=1\), we obtain the required result. □

Proposition 7

Let \(0 < a_{1} < a_{2} \), \(0< k\leq 1\), and \(q\geq 1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \biggl\vert \frac{2}{k+1} \bigl( A \bigl( ( ka_{1} ) ^{ls}, a_{2} ^{ls} \bigr) -L_{ls}^{ls} ( ka_{1},a_{2} ) \bigr) \biggr\vert \\ &\quad \leq \frac{ls(a_{2}-ka_{1})}{2 ( k+1 ) } \\ &\qquad {}\times\frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr) ^{i\frac{1}{q}}A^{\frac{1}{q}} \bigl( ( ka_{1} ) ^{ ( ls-1 ) q}, a_{2} ^{ ( ls-1 ) q} \bigr) . \end{aligned}$$
(5.6)

Proof

Considering the n-polynomial s-exponential convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 11 with \(m=1\), we obtain the required result. □

Proposition 8

Let \(0 < a_{1} < a_{2} \), \(0< k\leq 1\), and \(q>1\)be such that \(p^{-1}+q^{-1}=1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \bigl\vert L_{ls}^{ls} ( ka_{1},a_{2} ) -A^{ls} ( ka_{1},a_{2} ) \bigr\vert \\ &\quad \leq ls ( a_{2}-ka_{1} ) \Biggl\{ \sqrt[q]{2} \biggl( \frac{1}{p+1} \biggr) ^{ \frac{1}{p}}\frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr) ^{i\frac{1}{q}}A^{\frac{1}{q}} \bigl( ( ka_{1} ) ^{ ( ls-1 ) q}, a_{2} ^{ ( ls-1 ) q} \bigr) \\ &\qquad {} + ( ka_{1} ) ^{ ( ls-1 ) q} \frac{1}{n} \sum _{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} + a_{2} ^{ ( ls-1 ) q} \frac{1}{n} \sum_{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i} \Biggr\} . \end{aligned}$$
(5.7)

Proof

Considering the n-polynomial s-exponential convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 14 with \(m=1\), we obtain the required result. □

Proposition 9

Let \(0 < a_{1} < a_{2} \), \(0< k\leq 1\), and \(q\geq 1\). Then for some fixed \(s\in [\ln 2,1)\), where \(1\leq l\leq \frac{1}{s}\), we have

$$\begin{aligned} & \bigl\vert L_{ls}^{ls} ( ka_{1},a_{2} ) -A^{ls} ( ka_{1},a_{2} ) \bigr\vert \\ &\quad \leq ls ( a_{2}-ka_{1} )\Biggl\{ \frac{2^{1-\frac{1}{q}}}{{\sqrt[q]{n}}} \Biggl( ( ka_{1} ) ^{ ( ls-1 ) q} \sum_{i=1}^{n} \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr)^{i} \\ &\qquad {} + a_{2} ^{ ( ls-1 ) q} \sum_{i=1}^{n} \biggl( \frac{ ( 2s-2 ) e^{s}-s^{2}+2}{2s^{2}} \biggr)^{i} \Biggr) ^{\frac{1}{q}} \\ &\qquad {} + \frac{1}{n} \Biggl( ( ka_{1} ) ^{ ( ls-1 ) q} \sum _{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} + a_{2} ^{ ( ls-1 ) q}\sum _{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i} \Biggr) \Biggr\} . \end{aligned}$$
(5.8)

Proof

Considering the n-polynomial s-exponential-type convex function \(\psi (x)=x^{ls}\), \(x>0\), and using Theorem 15 with \(m=1\), we obtain the required result. □

At the end, let us consider some applications of the integral inequalities obtained above, to find new error estimates for the trapezoidal and midpoint formula.

For \(a_{2}>0\), let \(\mathcal{U}: 0=\chi _{0} < \chi _{1}< \cdots < \chi _{n-1}< \chi _{n}=a_{2}\) be a partition of \([0,a_{2}]\).

We denote

$$ \mathcal{T}(\mathcal{U},\psi )=\sum_{ j=0 }^{ n-1 }{ \biggl( \frac{ \psi ({ \chi }_{ j })+\psi ({ \chi }_{ j+1 }) }{ 2 } \biggr) } { h }_{ j }, \qquad \mathcal{M}( \mathcal{U},\psi )=\sum_{ j=0 }^{ n-1 }{ \psi \biggl( \frac{{ \chi }_{ j }+{ \chi }_{ j+1 }}{ 2 } \biggr) } { h }_{ j }, $$

and

$$ \int _{0}^{a_{2}}\psi (x)\,dx=\mathcal{T}( \mathcal{U},\psi )+ \mathcal{R}(\mathcal{U},\psi ),\qquad \int _{0}^{a_{2}}\psi (x)\,dx= \mathcal{M}( \mathcal{U},\psi )+\mathcal{R}^{\ast }(\mathcal{U},\psi ), $$

where \(\mathcal{R}(\mathcal{U},\psi )\) and \(\mathcal{R}^{\ast }(\mathcal{U},\psi )\) are the remainder terms, and \(h_{j}=\chi _{j+1}-\chi _{j}\) for \(j=0, 1, 2,\ldots , n-1\).

Using above notations, we are in a position to prove the following error estimates.

Proposition 10

Let \(\psi : (0,a_{2} ]\rightarrow \Re \)be a differentiable mapping on \((0,a_{2} )\)with \(a_{2}>0 \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is n-polynomial s-exponential-type convex on \((0,a_{2} ]\)for \(q>1\)and \(q^{-1}+p^{-1}=1\), then for some fixed \(s\in (0,1]\), the remainder term satisfies the following error estimate:

$$\begin{aligned} \bigl\vert \mathcal{R}(\mathcal{U},\psi ) \bigr\vert \leq{}& \frac{1}{2} \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i\frac{1}{q}} \\ &{}\times \sum_{j=0}^{n-1}h_{j}^{2} \bigl[ \bigl\vert \psi ^{{\prime }} ( \chi _{j} ) \bigr\vert ^{q}+ \bigl\vert \psi ^{{ \prime }} ( \chi _{j+1} ) \bigr\vert ^{q} \bigr]^{ \frac{1}{q}}. \end{aligned}$$
(5.9)

Proof

Using Theorem 6 on the subinterval \([\chi _{j},\chi _{j+1}]\) of the closed interval \([0,a_{2}]\), for all \(j=0, 1, 2,\ldots , n-1\), we have

$$\begin{aligned}& \biggl\vert \biggl( \frac{ \psi ({ \chi }_{ j }) +\psi ({ \chi }_{ j+1 }) }{ 2 } \biggr) { h }_{ j }- \int _{\chi _{j}}^{\chi _{j+1}}\psi (x)\,dx \biggr\vert \\& \quad \leq \frac{1}{2} \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}} \frac{1}{\sqrt[q]{n}} \sum_{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i\frac{1}{q}} h_{j}^{2} \bigl[ \bigl\vert \psi ^{{\prime }} ( \chi _{j} ) \bigr\vert ^{q}+ \bigl\vert \psi ^{{\prime }} ( \chi _{j+1} ) \bigr\vert ^{q} \bigr]^{\frac{1}{q}}. \end{aligned}$$
(5.10)

Summing inequality (5.10) over j from 0 to \(n-1\) and using the property of modulus, we obtain the desired inequality (5.9). The proof of Proposition 10 is completed. □

Proposition 11

Let \(\psi : (0,a_{2} ]\rightarrow \Re \)be a differentiable mapping on \((0,a_{2} )\)with \(a_{2}>0 \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is n-polynomial s-exponential-type convex on \((0,a_{2} ]\)for \(q\geq 1\), then for some fixed \(s\in (0,1]\), the remainder term satisfies the following error estimate:

$$\begin{aligned} \bigl\vert \mathcal{R}(\mathcal{U},\psi ) \bigr\vert \leq{}& \biggl( \frac{1}{2} \biggr) ^{2-\frac{1}{q} }\frac{1}{\sqrt[q]{n}} \sum _{i=1}^{n} \biggl( \frac{2 ( s-2 ) e^{s}+8e^{\frac{s}{2}}-s^{2}-2s-4}{2s^{2}} \biggr)^{i\frac{1}{q}} \\ &{}\times \sum_{j=0}^{n-1}h_{j}^{2} \bigl[ \bigl\vert \psi ^{{\prime }} ( \chi _{j} ) \bigr\vert ^{q}+ \bigl\vert \psi ^{{ \prime }} ( \chi _{j+1} ) \bigr\vert ^{q} \bigr]^{ \frac{1}{q}}. \end{aligned}$$
(5.11)

Proof

We prove the claim by applying the same technique as in the proof of Proposition 10 but instead using Theorem 7. □

Proposition 12

Let \(\psi : (0,a_{2} ]\rightarrow \Re \)be a differentiable mapping on \((0,a_{2} )\)with \(a_{2}>0 \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is n-polynomial s-exponential-type convex on \((0,a_{2} ]\)for \(q>1\)and \(q^{-1}+p^{-1}=1\), then for some fixed \(s\in (0,1]\), the remainder term satisfies the following error estimate:

$$\begin{aligned} \bigl\vert \mathcal{R}^{\ast }(\mathcal{U},\psi ) \bigr\vert \leq{}& \biggl( \frac{1}{p+1} \biggr) ^{\frac{1}{p}}\frac{1}{\sqrt[q]{n}} \sum _{i=1}^{n} \biggl( \frac{e^{s}-s-1}{s} \biggr)^{i\frac{1}{q}} \\ &{}\times \sum_{j=0}^{n-1}h_{j}^{2} \bigl[ \bigl\vert \psi ^{{\prime }} ( \chi _{j} ) \bigr\vert ^{q}+ \bigl\vert \psi ^{{ \prime }} ( \chi _{j+1} ) \bigr\vert ^{q} \bigr]^{ \frac{1}{q}} \\ &{} +\frac{1}{n}\sum_{j=0}^{n-1}h_{j}^{2} \Biggl[ \bigl\vert \psi ^{{ \prime }} ( \chi _{j} ) \bigr\vert ^{q}\sum_{i=1}^{n} \biggl( \frac{2e^{s}-2e^{\frac{s}{2}}-s}{2s} \biggr)^{i} \\ &{}+ \bigl\vert \psi ^{{\prime }} ( \chi _{j+1} ) \bigr\vert ^{q} \sum _{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \Biggr]. \end{aligned}$$
(5.12)

Proof

The claim is proved by applying the same technique as in the proof of Proposition 10 but instead using Theorem 12. □

Proposition 13

Let \(\psi : (0,a_{2} ]\rightarrow \Re \)be a differentiable mapping on \((0,a_{2} )\)with \(a_{2}>0 \). If \(\vert \psi ^{{\prime }} \vert ^{q}\)is n-polynomial s-exponential-type convex on \((0,a_{2} ]\)for \(q\geq 1\), then for some fixed \(s\in (0,1]\), the remainder term satisfies the following error estimate:

$$\begin{aligned} \bigl\vert \mathcal{R}^{\ast }(\mathcal{U},\psi ) \bigr\vert \leq{}& \biggl( \frac{1}{2} \biggr) ^{1-\frac{1}{q}}\frac{1}{\sqrt[q]{n}} \sum_{j=0}^{n-1}h_{j}^{2} \Biggl[ \bigl\vert \psi ^{{\prime }} ( \chi _{j} ) \bigr\vert ^{q}\sum_{i=1}^{n} \biggl( \frac{2 ( s-1 ) e^{s}-s^{2}+2}{2s^{2}} \biggr)^{i} \\ &{}+ \bigl\vert \psi ^{{\prime }} ( \chi _{j+1} ) \bigr\vert ^{{q}}\sum _{i=1}^{n} \biggl( \frac{2e^{s}-s^{2}-2s-2}{2s^{2}} \biggr)^{i} \Biggr] ^{\frac{1}{q}} \\ &{} +\frac{1}{n}\sum_{j=0}^{n-1}h_{j}^{2} \Biggl[ \bigl\vert \psi ^{{ \prime }} ( \chi _{j} ) \bigr\vert ^{q}\sum_{i=1}^{n} \biggl( \frac{e^{s}-e^{\frac{s}{2}}}{s}-\frac{1}{2} \biggr)^{i} \\ &{}+ \bigl\vert \psi ^{{\prime }} ( \chi _{j+1} ) \bigr\vert ^{{q}}\sum_{i=1}^{n} \biggl( \frac{2e^{\frac{s}{2}}-s-2}{2s} \biggr)^{i} \Biggr]. \end{aligned}$$
(5.13)

Proof

We apply the same technique as in the proof of Proposition 10 but use Theorem 13 instead. □

Conclusion

In this article, the authors showed new generalizations of Hermite–Hadamard-type inequality for the new class of functions, the so-called n-polynomial \((s,m)\)-exponential-type convex functions. We have obtained refinements of the Hermite–Hadamard inequality for functions whose first derivatives in absolute value at certain power are n-polynomial \((s,m)\)-exponential-type convex. Some applications to special means and new error estimates for the trapezoid formula were given as well. We hope that our new ideas and techniques may inspire many researchers in this fascinating field.

References

  1. 1.

    Alomari, M., Darus, M., Kirmaci, U.S.: Refinements of Hadamard-type inequalities for quasi-convex functions with applications to trapezoidal formula and to special means. Comput. Math. Appl. 59, 225–232 (2010)

    MathSciNet  MATH  Article  Google Scholar 

  2. 2.

    Chen, F.X., Wu, S.H.: Several complementary inequalities to inequalities of Hermite–Hadamard type for s-convex functions. J. Nonlinear Sci. Appl. 9(2), 705–716 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  3. 3.

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

    Google Scholar 

  4. 4.

    Eftekhari, N.: Some remarks on \((s,m)\)-convexity in the second sense. J. Math. Inequal. 8, 489–495 (2014)

    MathSciNet  MATH  Google Scholar 

  5. 5.

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

    MathSciNet  MATH  Article  Google Scholar 

  6. 6.

    Kadakal, M., İşcan, İ.: Exponential type convexity and some related inequalities. J. Inequal. Appl. 2020(1), 82 (2020)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Kashuri, A., Liko, R.: Some new Hermite–Hadamard type inequalities and their applications. Studia Sci. Math. Hung. 56(1), 103–142 (2019)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    Omotoyinbo, O., Mogbodemu, A.: Some new Hermite–Hadamard integral inequalities for convex functions. Int. J. Sci. Innov. Tech. 1(1), 1–12 (2014)

    Google Scholar 

  9. 9.

    Set, E., Noor, M.A., Awan, M.U., Gözpinar, A.: Generalized Hermite–Hadamard type inequalities involving fractional integral operators. J. Inequal. Appl. 2017, 169 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  10. 10.

    Toader, G.: Some generalizations of the convexity. In: Proceedings of the Colloquium on Approximation and Optimization, pp. 329–338. Univ. Cluj-Napoca, Cluj-Napoca (1985)

    Google Scholar 

  11. 11.

    Xi, B.Y., Qi, F.: Some integral inequalities of Hermite–Hadamard type for convex functions with applications to means. J. Funct. Spaces Appl. 2012, Article ID 980438 (2012)

    MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Zhang, X.M., Chu, Y.-M., Zhang, X.H.: The Hermite–Hadamard type inequality of GA-convex functions and its applications. J. Inequal. Appl. 2010, Article ID 507560 (2010)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Liao, J.G., Wu, S.H., Du, T.S.: The Sugeno integral with respect to α-preinvex functions. Fuzzy Sets Syst. 379, 102–114 (2020)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Du, T.S., Awan, M.U., Kashuri, A., Zhao, S.S.: Some k-fractional extensions of the trapezium inequalities through generalized relative semi-\((m; h)\)-preinvexity. Appl. Anal. 2019, 1–21 (2019)

    Google Scholar 

  15. 15.

    Du, T.S., Wang, H., Khan, M.A., Zhang, Y.: Certain integral inequalities considering generalized m-convexity on fractal sets and their applications. Fractals 27(7), Article ID 1950117 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  16. 16.

    Fernandez, A., Mohammed, P.: Hermite–Hadamard inequalities in fractional calculus defined using Mittag-Leffler kernels. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6188

    Article  Google Scholar 

  17. 17.

    Mohammed, P.O., Brevik, I.: A new version of the Hermite–Hadamard inequality for Riemann–Liouville fractional integrals. Symmetry 12, 610 (2020). https://doi.org/10.3390/sym12040610

    Article  Google Scholar 

  18. 18.

    Mohammed, P.O., Sarikaya, M.Z.: On generalized fractional integral inequalities for twice differentiable convex functions. J. Comput. Appl. Math. 372, 112740 (2020)

    MathSciNet  MATH  Article  Google Scholar 

  19. 19.

    Mohammed, P.O., Sarikaya, M.Z., Baleanu, D.: On the generalized Hermite–Hadamard inequalities via the tempered fractional integrals. Symmetry 12, 595 (2020). https://doi.org/10.3390/sym12040595

    Article  Google Scholar 

  20. 20.

    Mohammed, P.O., Abdeljawad, T.: Modification of certain fractional integral inequalities for convex functions. Adv. Differ. Equ. 2020, 69 (2020)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Breckner, W.W.: Stetigkeitsaussagen für eine Klasse verallgemeinerter konvexer Funktionen in topologischen linearen Raumen. Publ. Inst. Math. 23, 13–20 (1978)

    MATH  Google Scholar 

  22. 22.

    Toplu, T., Kadakal, M., İşcan, İ.: On n-polynomial convexity and some related inequalities. AIMS Math. 5(2), 1304–1318 (2020)

    Article  Google Scholar 

Download references

Acknowledgements

We thank the editor and referees for their careful reading and valuable suggestions which made the article reader friendly.

Availability of data and materials

There is no additional data required for the finding of results of this paper.

Funding

There is no funding available for the publication of this paper.

Author information

Affiliations

Authors

Contributions

All authors have had equal contribution to this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Wei Gao.

Ethics declarations

Competing interests

It is declared that the authors have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Butt, S.I., Kashuri, A., Tariq, M. et al. Hermite–Hadamard-type inequalities via n-polynomial exponential-type convexity and their applications. Adv Differ Equ 2020, 508 (2020). https://doi.org/10.1186/s13662-020-02967-5

Download citation

Keywords

  • Hermite–Hadamard inequality
  • Hölder inequality
  • Power mean inequality
  • \((s,m)\)-exponential-type convexity
  • n-polynomial