Generalized Steffensen’s inequality by Montgomery identity

By using generalized Montgomery identity and Green functions we proved several identities which assist in developing connections with Steffensen’s inequality. Under the assumptions of n-convexity and n-concavity many inequalities, which generalize Steffensen’s inequality, inequalities from (Fahad et al. in J. Math. Inequal. 9:481–487, 2015; Pečarić in Southeast Asian Bull. Math. 13:89–91, 1989; Rabier in Proc. Am. Math. Soc. 140:665–675, 2012), and their reverse, have been proved. Generalization of some inequalities (and their reverse) which are related to Hardy-type inequality (Fahad et al. in J. Math. Inequal. 9:481–487, 2015) have also been proved. New bounds of Ostrowski and Grüss type inequalities have been developed. Moreover, we formulate generalized Steffensen-type linear functionals and prove their monotonicity for the generalized class of \((n+1)\)-convex functions at a point. At the end, we present some applications of our study to the theory of exponentially convex functions.

The key in the solutions of many problems in mathematics is somehow related to an inequality or an equivalent notion. Mathematical inequalities are also being used in other branches of science, for example, contributions in physics and chemistry can be seen in [9] and [10], respectively. Integral inequalities such as Hardy’s inequality, Steffensen’s inequality, and Ostrowski’s inequality have been topics of interest of many mathematicians since their pronouncement. Several generalizations of these inequalities have been proved for convex functions, beta m-convex functions, n-convex functions, and other classes of functions, for example, see [4, 7, 12, 16], and [17]. Steffensen’s inequality was proved in [18]: if \(\psi ,f:[c,d] \rightarrow \mathbb{R}\), with ψ being a decreasing function and function f having range in \([0,1]\), then

A massive literature body dealing with several variants and improvements of (1) can be seen in [14, 16] and the references therein. Pečarić [13] gave a nice generalization of (1) as follows.

Theorem 1

For two increasing functions ψ on an interval J and f on \([c,d]\) with \(\{c,d,f(c), f(d)\} \subseteq J\) and f differentiable, we have

\((i)\) :

If \(f(t)\leq t\), then

$$ \int _{f(c)}^{f(d)} \psi (z) \,dz \leq \int _{c}^{d} \psi (z)f^{\prime }(z) \,dz. $$

(2)

\((ii)\) :

If \(f(t)\geq t\), then (2) holds in reverse direction.

Remark 1

We can consider f to be absolute continuous instead of differentiable function and the suppositions of Theorem 1 can also be weakened. In fact, for an increasing function ψ, the function \(\varPsi (x) = \int _{c}^{x} \psi (z) \,dz\) is well defined and satisfies \(\varPsi ^{\prime }= \psi \) at all except the set of points with measure zero. One can substitute \(x=f(z)\) in (2) (see [6, Corollary 20.5]) provided that f is an absolutely continuous increasing function; consequently,

where the last inequality holds when \(f(z)\leq z\).

Another generalization has been established by Rabier [17].

Theorem 2

Let ψ be continuous and convex on \([0,\infty )\) with \(\psi (0)=0\). If h is non-negative and bounded almost everywhere on \((0,b)\) with \(\Vert h\Vert _{\infty }\leq 1\), then \(h\psi ^{\prime }\) is integrable on \((0,b)\) and

In [4], substitutions presented conclude that from (3) one may get all (1), (2), and (4). Recently, Fahad, Pečarić, and Praljak proved generalization [4] of (1) by extending the results given in [13].

Now, we include some important conclusions given in [4].

Corollary 1

Suppose that \(\psi :J \to \mathbb{R}\), \(f:[c,d]\to \mathbb{R}\) are two differentiable functions with f non-decreasing as well, where J is an interval containing \([c,d]\), \(f(c)\), and \(f(d)\). If ψ is convex, then:

\((i)\) :

If \(f(t)\leq t\), then

$$ \psi \bigl(f(d)\bigr) \leq \psi \bigl(f(c)\bigr) + \int _{c}^{d} \psi ^{\prime }(z) f ^{\prime }(z) \,dz. $$

(5)

\((ii)\) :

If \(f(t)\geq t\), then (5) holds in reverse direction.

Corollary 1 gives (3) and therefore leads to (1), (2), and (4). Next we narrate some further important results of [4].

Corollary 2

Let \(\psi :[0,d] \to \mathbb{R}\) be a convex, differentiable function with \(\psi (0)=0\) and f be a non-negative function on \([0,d]\).

\((i)\) :

If \(\int _{0}^{t} f(z) \,dz \leq t\) for every \(t\in [0,d]\), then

$$ \psi \biggl( \int _{0}^{d} f(z) \,dz \biggr) \leq \int _{0}^{d} \psi ^{\prime }(z) f(z) \,dz. $$

(6)

\((ii)\) :

If \(t\leq \int _{0}^{t} f(z) \,dz \) for every \(t\in [0,d]\), then (6) holds reversely.

Corollary 3

Consider ψ and f be as defined in Corollary 2, and let \(\lambda :[0,d]\to [0,+\infty )\) and denote \(\varLambda (z) = \int _{z}^{d} \lambda (t) \,dt\).

\((i)\) :

If \(\int _{0}^{t} f(z) \,dz \leq t\) for every \(t\in [0,d]\), then

$$ \int _{0}^{d} \lambda (t) \psi \biggl( \int _{0}^{t} f(z) \,dz \biggr) \,dt \leq \int _{0}^{d} \varLambda (z) \psi ^{ \prime }(z) f(z) \,dz. $$

(7)

\((ii)\) :

If \(t\leq \int _{0}^{t} f(z) \,dz \) for every \(t\in [0,d]\), then (7) holds reversely.

The main objective of this article is to establish generalization of (3) and ultimately produce the generalizations of (1), (2), and (4). The connection between classical Hardy-type inequalities and inequalities (6) and (7) has been elaborated in [4]. Due to significance of (6) and (7), we prove their generalizations as well. As an application, we present contribution of new inequalities to theory of exponentially convex functions and \((n+1)\)-convex functions at a point. We use Čebyšev functional to construct new bounds of Grüss and Ostrowski type inequalities. To achieve this objective, we use the generalized Montgomery identity and Green functions. The following two lemmas will be useful in our construction as well, see [11] and [5].

Lemma 1

For a function \(\psi \in C^{2}([c,d])\), we have:

where

and

Lemma 2

Let \(\psi \in C^{1}[c,d]\), then

and

where

Clearly,

From now on, during the calculations, we will use \(p_{i}(\xi ,u)\) corresponding to \(\frac{\partial {G_{\ast ,i}}(\xi ,u)}{\partial \xi }\) for \(i=1,2,3\) and for \(\frac{\partial {G_{\ast ,4}}(\xi ,u)}{ \partial \xi }\), \(\frac{\partial {G_{\ast ,5}}(\xi ,u)}{\partial \xi }\) we use \(p_{3}(\xi ,s)\) and \(p_{2}(\xi ,s)\) respectively.

To prove our main results in the next section, we also use the following generalized Montgomery identity via Taylor’s formula given in [1].

Theorem 3

Let \(n\in \mathbb{N}\), \(\psi :J\rightarrow \mathbb{R}\) be such that \(\psi ^{ ( n-1 ) }\) is absolutely continuous, \(J\subset \mathbb{R}\) be an open interval, \(c,d\in J\), \(c< d\). Then

where

The next section contains the main result of the article.

For our convenience, we use the following notations and assumptions:

(\(A_{1}\)):

For \(n\in \mathbb{N}\), \(n\geq 3\), let \(\psi :[c,d]\rightarrow \mathbb{R}\) be an n times differentiable function with \(\psi ^{(n-1)}\) absolutely continuous on \([c,d]\).

(\(A_{2}\)):

For \(n\in \mathbb{N}\), \(n\geq 3\), let \(\psi :[0,d]\rightarrow \mathbb{R}\) be an n times differentiable function with \(\psi (0)=0\) and \(\psi ^{(n-1)}\) absolutely continuous on \([0,d]\).

The first part of this section is the generalization of (5). For this, we start with the following theorem.

Theorem 4

Consider (\(A_{1}\)) with f be as in Corollary 1\((i)\) and \(R_{n}\) be defined by (26), then:

\((a)\) :

For \(j=1,2,4,5\), we have

$$ \begin{aligned}[b] &\mathbb{S}_{1}(\psi ,f,c,d)\\ &\quad = \frac{\psi {^{\prime }(c)-\psi ^{\prime }(d)}}{ {d-c}} \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,j}(\cdot,s),f,c,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d-c}} \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,j}(\cdot,s),f,c,d\bigr)\\ &\qquad {}\times { \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( \psi {{^{ ( l ) }} ( c ) {{ ( {s-c} ) } ^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}} \bigr) }} \Biggr) } \,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{c}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,j}(\cdot,s),f,c,d\bigr){{\tilde{R}} _{n-2}} ( {s,v} ) \,ds \biggr) \,dv. \end{aligned} $$

(27)

\((b)\) :

If \(\psi ^{\prime }(c)=0\), then

$$ \begin{aligned}[b] &\mathbb{S}_{1}(\psi ,f,c,d)\\ &\quad = \frac{\psi {^{\prime }(c)-\psi ^{\prime }(d)}}{ {d-c}} \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,3}(\cdot,s),f,c,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d-c}} \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,3}(\cdot,s),f,c,d\bigr)\\ &\qquad {}\times { \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( \psi {{^{ ( l ) }} ( c ) {{ ( {s-c} ) } ^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}} \bigr) }} \Biggr) } \,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{c}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,3}(\cdot,s),f,c,d\bigr){{\tilde{R}} _{n-2}} ( {s,v} ) \,ds \biggr) \,dv, \end{aligned} $$

(28)

where

$$ \tilde{R}_{n-2} ( {s,v} ) = \textstyle\begin{cases} {\frac{1}{{d-c}} [ {\frac{{{{ ( {s-v} ) }^{n-2}}}}{ {(n-2)}}+ ( {s-c} ) {{ ( {s-v} ) }^{n-3}}} ] ,} & {c\leq v\leq s,} \\ {\frac{1}{{d-c}} [ {\frac{{{{ ( {s-v} ) }^{n-2}}}}{ {(n-2)}}+ ( {s-d} ) {{ ( {s-v} ) }^{n-3}}} ] ,} & {s< v\leq d,} \end{cases} $$

(29)

and

\((a^{\prime })\) :

For \(j=1,2,4,5\), we have

$$ \begin{aligned}[b] &\mathbb{S}_{1}(\psi ,f,c,d)\\ &\quad = \biggl( { \frac{\psi {^{\prime }(d)- \psi ^{\prime }(c)}}{{d-c}}} \biggr) \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{ \ast ,j}(\cdot,s),f,c,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d-c}} \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,j}(\cdot,s),f,c,d\bigr)\\ &\qquad {}\times { \Biggl( {\sum _{l=3}^{n-1}{\frac{\psi {{^{ ( l ) }} ( c ) {{ ( {s-c} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{ {(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{c}^{d}\psi {{^{ ( n ) }} ( v ) \biggl( { \int _{c}^{d}\mathbb{S}_{1}\bigl(G _{\ast ,j}(\cdot,s),f,c,d\bigr){R_{n-2}}(s,v)\,ds} \biggr) \,dv}. \end{aligned} $$

(30)

\((b^{\prime })\) :

If \(\psi ^{\prime }(c)=0\), then

$$ \begin{aligned} &\mathbb{S}_{1}(\psi ,f,c,d)\\ &\quad = \biggl( { \frac{\psi {^{\prime }(d)- \psi ^{\prime }(c)}}{{d-c}}} \biggr) \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{ \ast ,3}(\cdot,s),f,c,d\bigr)\,ds \\ &\qquad{} +\frac{1}{{d-c}} \int _{c}^{d}\mathbb{S}_{1} \bigl(G_{\ast ,3}(\cdot,s),f,c,d\bigr) { \Biggl( {\sum _{l=3}^{n-1}{\frac{\psi {{^{ ( l ) }} ( c ) {{ ( {s-c} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{ {(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {} +\frac{1}{{ ( {n-3} ) !}} \int _{c}^{d}\psi {{^{ ( n ) }} ( v ) \biggl( { \int _{c}^{d}\mathbb{S}_{1}\bigl(G _{\ast ,3}(\cdot,s),f,c,d\bigr){R_{n-2}}(s,v)\,ds} \biggr) \,dv}. \end{aligned} $$

Proof

By using (8) and (18) for ψ and \(\psi ^{ \prime }\) respectively and then applying (24), we get

Differentiating (25) twice with respect to first variable, we have

Using (32) in (31), we get

By applying Fubini’s theorem in the last term, we have (27). Next, using formula (25) on the function \({\psi }^{\prime \prime }\), replacing n by \(n-2\) \((n\geq 3)\), and rearranging the indices, we have

Similarly, using (33) in (31) and applying Fubini’s theorem, we get (30). The proof for \(j=2,3,4,5\) can be obtained in a similar way except for the use of (9)–(12) and (19)–(20).

From the next two theorems, we get generalization of Steffensen’s inequality and its reverse by generalizing (5) and its reverse. □

Theorem 5

Consider (\(A_{1}\)) with f be as in Corollary 1\((i)\), and let \(R_{n}\), \({\tilde{R}}_{n-2}\) be as in Theorem 4. If ψ is n-convex and

then

and if

then

for \(j=1,2,\ldots ,5\), where \(\psi ^{\prime }(c)=0\) for \(j=3\).

Proof

Since \({\psi }^{(n-1)}\) is absolutely continuous on \([c,d]\), \({\psi }^{(n)}\) exists almost everywhere. As ψ is n-convex, so \({\psi }^{(n)}(x)\geq 0\) for all \(x\in {}[ c,d]\) (see [16], p. 16). Hence we can apply Theorem 4 to obtain (35) and (37) respectively. □

Theorem 6

Consider (\(A_{1}\)) with f be as in Corollary 1\((i)\), and let \(R_{n}\), \({\tilde{R}}_{n-2}\) be as in Theorem 4. If ψ is n-convex, then:

1. (i)

   If n is even and \(n\geq 4\), then (35) holds.

2. (ii)

   Let inequality (35) be satisfied and

   $$ {\sum_{l=1}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( c ) {{ ( {s-c} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}} \bigr) \geq 0}}; \quad \forall s\in {}[ c,d], $$

   (38)

   OR

   (37) be satisfied and

   $$ {\psi }^{\prime }(d)-{\psi }^{\prime }(c)+{\sum _{l=3}^{n-1} {\frac{{\psi {^{ ( l ) }} ( c ) {{ ( {s-c} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{{(l-3)!(l-1)}}}}\geq 0\quad \forall s\in {}[ c,d]{,} $$

   (39)

   then we have

   $$ \mathbb{S}_{1}({\psi },f,c,d)\geq 0. $$

   (40)

Proof

Since Green’s function G is convex and f is as in Corollary 1\((a)\), therefore, \(S_{1}(G_{\ast ,j}(\cdot,s),f,c,d)\geq 0\) holds by virtue of Corollary 1\((a)\). Moreover, \(\tilde{R}_{n-2} ( {s,v} ) \geq 0\) for \(n=4,6,\ldots \) , so (34) holds. As ψ is n-convex, hence by Theorem 5, we obtain (35). Further, by using (38) in (35) or (39) in (37), we have (40). □

Remark 2

Inequalities (35) and (37) hold in reverse directions if either the inequalities in (34) and (36) are reversed or −ψ is n-convex. By using these reverse inequalities and applying a similar technique as in Theorem 6, one may prove \(\mathbb{S}_{1}({\psi },f,c,d)\leq 0\), which gives the reverse of (1) inequality.

In the next theorem, we prove a few identities which enable us to prove generalization of (6) and its reverse.

Theorem 7

Consider \((A_{2})\) and let f be as in Corollary 2\((i)\), then:

\((a)\) :

$$\begin{aligned} &\mathbb{S}_{2}({\psi },f,d)\\ &\quad =\frac{{\psi ^{\prime }(0)-\psi ^{\prime }(d)}}{ {d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,j}(\cdot,s),f,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,j}(\cdot,s),f,d\bigr){ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}} \bigr) }} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( { \int _{0}^{d}}\mathbb{S}_{2} \bigl(G_{\ast ,j}(\cdot,s),f,d\bigr){{\tilde{R}} _{0,n-2}} ( {s,v} ) \,ds \biggr) \,dv \end{aligned}$$

for \(j=1,2\).

\((b)\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{\mathbb{S}_{2}}({\psi },f,d)+{\psi }(d)\\ &\quad =\frac{{\psi ^{\prime }(0)- \psi ^{\prime }(d)}}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,3}(\cdot,s),f,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,3}(\cdot,s),f,d\bigr){ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}} \bigr) }} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{0}^{d}{\mathbb{S}_{2}} \bigl(G_{\ast ,3}(\cdot,s),f,d\bigr){{\tilde{R}} _{0,n-2}} ( {s,v} ) \,ds \biggr) \,dv. \end{aligned}$$

\((c)\) :

$$\begin{aligned} &{\mathbb{S}_{2}}({\psi },f,d)+{\psi }(d)-d{\psi }^{\prime }(d)\\ &\quad =\frac{ {\psi ^{\prime }(0)-\psi ^{\prime }(d)}}{{d}} \int _{0}^{d}\mathbb{S}_{2}\bigl(G _{\ast ,4}(\cdot,s),f,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,4}(\cdot,s),f,d\bigr){ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}} \bigr) }} \Biggr) }\,ds \\ &\qquad {}+ \frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{0}^{d}{\mathbb{S}_{2}} \bigl(G_{\ast ,4}(\cdot,s),f,d\bigr){{\tilde{R}} _{0,n-2}} ( {s,v} ) \,ds \biggr) \,dv. \end{aligned}$$

\((d)\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{\mathbb{S}_{2}}({\psi },f,d)-d{\psi }^{\prime }(d)\\ &\quad ={ \frac{{\psi ^{ \prime }(0)-\psi ^{\prime }(d)}}{{d}} \int _{0}^{d}\mathbb{S}_{2}} \bigl(G_{ \ast ,5}(\cdot,s),f,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,5}(\cdot,s),f,d\bigr){ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}} \bigr) }} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{0}^{d}{\mathbb{S}_{2}} \bigl(G_{\ast ,5}(\cdot,s),f,d\bigr){{\tilde{R}} _{0,n-2}} ( {s,v} ) \,ds \biggr) \,dv, \end{aligned}$$

\((a^{\prime })\) :

$$\begin{aligned} {\mathbb{S}_{2}}({\psi },f,d)&= \biggl( {\frac{{\psi ^{\prime }(d)- \psi ^{\prime }(0)}}{{d}}} \biggr) \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{ \ast ,j}(\cdot,s),f,d\bigr)\,ds \\ &\quad {} +\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,j}(\cdot,s),f,d\bigr) { \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{ {(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\quad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}\mathbb{S}_{2}\bigl(G _{\ast ,j}(\cdot,s),f,d\bigr){R_{0,n-2}}(s,v)\,ds} \biggr) \,dv \end{aligned}$$

for \(j=1,2\).

\((b^{\prime })\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{\mathbb{S}_{2}}({\psi },f,d)+{\psi }(d)\\ &\quad = \biggl( { \frac{{\psi ^{ \prime }(d)-\psi ^{\prime }(0)}}{{d}}} \biggr) \int _{0}^{d}\mathbb{S} _{2} \bigl(G_{\ast ,3}(\cdot,s),f,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,3}(\cdot,s),f,d\bigr) { \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{ {(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}\mathbb{S}_{2}\bigl(G _{\ast ,3}(\cdot,s),f,d\bigr){R_{0,n-2}}(s,v)\,ds} \biggr) \,dv. \end{aligned}$$

\((c^{\prime })\) :

$$\begin{aligned} &{\mathbb{S}_{2}}({\psi },f,d)+{\psi }(d)-d{\psi }^{\prime }(d)\\ &\quad = \biggl( {\frac{{\psi ^{\prime }(d)-\psi ^{\prime }(0)}}{{d}}} \biggr) \int _{0} ^{d}\mathbb{S}_{2} \bigl(G_{\ast ,4}(\cdot,s),f,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,4}(\cdot,s),f,d\bigr) { \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{ {(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}\mathbb{S}_{2}\bigl(G _{\ast ,4}(\cdot,s),f,d\bigr){R_{0,n-2}}(s,v)\,ds} \biggr) \,dv. \end{aligned}$$

\((d^{\prime })\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{\mathbb{S}_{2}}({\psi },f,d)-d{\psi }^{\prime }(d)\\ &\quad = \biggl( {\frac{ {\psi ^{\prime }(d)-\psi ^{\prime }(0)}}{{d}}} \biggr) \int _{0}^{d} \mathbb{S}_{2} \bigl(G_{\ast ,5}(\cdot,s),f,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d}} \int _{0}^{d}\mathbb{S}_{2} \bigl(G_{\ast ,5}(\cdot,s),f,d\bigr) { \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{ {(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}{\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}\mathbb{S}_{2}\bigl(G _{\ast ,5}(\cdot,s),f,d\bigr){R_{0,n-2}}(s,v)\,ds} \biggr)\,dv}, \end{aligned}$$

Proof

We give the proof of our results by fixing \(j=1\), other cases can be followed in a similar pattern. By using (8) and (18) for ψ and \(\psi ^{\prime }\) respectively and applying assumption \(\psi (0)=0\), we get

The rest is a similar application of (25) as in the proof of Theorem 4. □

Similar to Theorem 5 (from Theorem 4), we may get the following theorem (from Theorem 7).

Theorem 8

Consider (\(A_{2}\)) and let f be as in Corollary 2\((i)\). If ψ is n-convex and

then

and if

then

for \(j=1,2\), where \({\tilde{R}}_{0,n-2}\) and \({R_{0,n-2}}\) are as described in Theorem 7.

The following theorem yields generalization of (6).

Theorem 9

Consider (\(A_{2}\)) and let f be as in Corollary 2\((i)\). If ψ and

1. (i)

   If n is even and \(n\geq 4\), then (42) holds.

2. (ii)

   Let inequality (42) be satisfied and

   $$ {\sum_{l=1}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}} \bigr) }};\quad \forall s\in {}[ 0,d], $$

   (45)

   OR

   (44) be satisfied and

   $$ {\psi }^{\prime }(d)-{\psi }^{\prime }(0)+{\sum _{l=3}^{n-1} {\frac{{{\psi ^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{{(l-3)!(l-1)}}}}\geq 0 \quad \forall s\in {}[ 0,d]{,} $$

   (46)

   then we have

   $$ {{\mathbb{S}_{2}}}({\psi },f,d)\geq 0. $$

   (47)

Proof

The proof is similar to that of Theorem 6 except for the use of Theorem 8 and Corollary 2\((a)\). □

Remark 3

Inequalities (42) and (44) hold in reverse directions if either the inequalities in (41) and (43) are reversed or −ψ is n-convex. By using these reverse inequalities and applying a similar technique as in Theorem 9, one may prove \({{\mathbb{S}_{2}}}({\psi },f,d)\leq 0\), which gives the reverse of (6).

For the generalization of (7), we construct the following identities.

Theorem 10

Consider (\(A_{2}\)) and let f be as in Corollary 2\((i)\), then

\((a)\) :

$$\begin{aligned} {{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)&=\frac{{\psi ^{\prime }(0)- \psi ^{\prime }(d)}}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,j}(\cdot,s),f, \lambda ,d\bigr)\,ds \\ &\quad {}+\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,j}(\cdot,s),f, \lambda ,d\bigr)\\ &\quad {}\times{ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) } ^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}} \bigr) }} \Biggr) } \,ds \\ &\quad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,j}(\cdot,s),f,\lambda ,d\bigr){{\tilde{R}} _{0,n-2}} ( {s,v} ) \,ds\biggr)\,dv \end{aligned}$$

for \(j=1,2\).

\((b)\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)+{\psi }(d) \int _{0}^{d}\lambda (x) \,dx\\ &\quad ={ \frac{{\psi ^{\prime }(0)-\psi ^{\prime }(d)}}{{d}} \int _{0} ^{d}{\mathbb{S}_{3}}} \bigl(G_{\ast ,3}(\cdot,s),f,\lambda ,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,3}(\cdot,s),f,\lambda ,d\bigr){ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}- \psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}} \bigr) }} \Biggr) } \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,3}(\cdot,s),f,\lambda ,d\bigr){{\tilde{R}} _{0,n-2}} ( {s,v} ) \,ds\biggr)\,dv. \end{aligned}$$

\((c)\) :

$$\begin{aligned} &{{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)+\bigl({\psi }(d)-d{\psi }^{\prime }(d)\bigr) \int _{0}^{d}\lambda (x) \,dx\\ &\quad ={ \frac{{\psi ^{\prime }(0)-\psi ^{ \prime }(d)}}{{d}} \int _{0}^{d}{\mathbb{S}_{3}}} \bigl(G_{\ast ,4}(\cdot,s),f, \lambda ,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,4}(\cdot,s),f,\lambda ,d\bigr)\\ &\qquad {}\times{ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}- \psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}} \bigr) }} \Biggr) } \,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,4}(\cdot,s),h,k,b\bigr){{\tilde{R}}_{0,n-2}} ( {s,v} ) \,ds\biggr)\,dv. \end{aligned}$$

\((d)\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)-d{\psi }^{\prime }(d) \int _{0}^{d}\lambda (x) \,dx\\ &\quad ={ \frac{{\psi ^{\prime }(0)-\psi ^{\prime }(d)}}{ {d}} \int _{0}^{d}{\mathbb{S}_{3}}} \bigl(G_{\ast ,5}(\cdot,s),f,\lambda ,d\bigr)\,ds \\ &\qquad {}+\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,5}(\cdot,s),f,\lambda ,d\bigr)\\ &\qquad {}\times{ \Biggl( {\sum _{l=2}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}- \psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}} \bigr) }} \Biggr) } \,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}\psi {{^{(n)}}}(v) \biggl( \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,5}(\cdot,s),f,\lambda ,d\bigr){{\tilde{R}} _{0,n-2}} ( {s,v} ) \,ds\biggr)\,dv \end{aligned}$$

and

\((a^{\prime })\) :

$$\begin{aligned} &{{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)\\ &\quad = \biggl( { \frac{{\psi ^{ \prime }(d)-\psi ^{\prime }(0)}}{{d}}} \biggr) \int _{0}^{d}{\mathbb{S} _{3}} \bigl(G_{\ast ,j}(\cdot,s),f,\lambda ,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,j}(\cdot,s),f, \lambda ,d\bigr){ \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}}}{{(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}{\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G _{\ast ,j}(\cdot,s),f,\lambda ,d\bigr){R_{0,n-2}}(s,v) \,ds} \biggr) \,dv} \end{aligned}$$

for \(j=1,2\).

\((b^{\prime })\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)+{\psi }(d) \int _{0}^{d}\lambda (x) \,dx\\ &\quad = \biggl( { \frac{{\psi ^{\prime }(d)-\psi ^{\prime }(0)}}{{d}}} \biggr) \int _{0} ^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,3}(\cdot,s),f,\lambda ,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,3}(\cdot,s),f, \lambda ,d\bigr){ \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}}}{{(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}{\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G _{\ast ,3}(\cdot,s),f,\lambda ,d\bigr){R_{0,n-2}}(s,v) \,ds} \biggr) \,dv}. \end{aligned}$$

\((c^{\prime })\) :

$$\begin{aligned} &{{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)+\bigl({\psi }(d)-d{\psi }^{\prime }(d)\bigr) \int _{0}^{d}\lambda (x) \,dx\\ &\quad = \biggl( { \frac{{\psi ^{\prime }(d)- \psi ^{\prime }(0)}}{{d}}} \biggr) \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{ \ast ,4}(\cdot,s),f,\lambda ,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,4}(\cdot,s),f, \lambda ,d\bigr){ \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}}}{{(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}{\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G _{\ast ,4}(\cdot,s),f,\lambda ,d\bigr){R_{0,n-2}}(s,v) \,ds} \biggr) \,dv}. \end{aligned}$$

\((d^{\prime })\) :

If \({\psi }^{\prime }(0)=0\), then

$$\begin{aligned} &{{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)-d{\psi }^{\prime }(d) \int _{0}^{d}\lambda (x) \,dx\\ &\quad = \biggl( { \frac{{\psi ^{\prime }(d)-\psi ^{ \prime }(0)}}{{d}}} \biggr) \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,5}(\cdot,s),f, \lambda ,d\bigr)\,ds \\ &\qquad {} +\frac{1}{{d}} \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G_{\ast ,5}(\cdot,s),f, \lambda ,d\bigr){ \Biggl( {\sum _{l=3}^{n-1}{\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}}}{{(l-3)!(l-1)}}}} \Biggr) }\,ds \\ &\qquad {}+\frac{1}{{ ( {n-3} ) !}} \int _{0}^{d}{\psi {^{ ( n ) }} ( v ) \biggl( { \int _{0}^{d}{\mathbb{S}_{3}} \bigl(G _{\ast ,5}(\cdot,s),f,\lambda ,d\bigr){R_{0,n-2}}(s,v) \,ds} \biggr) \,dv}, \end{aligned}$$

Proof

We give the proof of our results by fixing \(j=1\), other cases can be followed in a similar pattern. By using (8) and (18) for ψ and \({\psi }^{\prime }\), \({\psi (0)=0}\) and \(\int _{0} ^{d}\lambda (x)\int _{0}^{x}f(t) \,dt \,dx=\int _{0}^{d}f(t) ( \int _{t}^{b}\lambda (x) \,dx ) \,dt=\int _{0}^{d}\varLambda (t)f(t)\,dt\), we get

The rest is a similar application of (25). □

Similar to Theorem 5 (from Theorem 4), we may get the following theorem (from Theorem 10).

Theorem 11

Consider (\(A_{2}\)) and let f be as in Corollary 2\((i)\). If ψ is n-convex and

then

and if

then

for \(j=1,2\), where \(\tilde{R}_{0,n-2}\) and \({R_{0,n-2}}\) are as described in Theorem 7.

In the next theorem, we prove generalization of (7).

Theorem 12

Consider (\(A_{2}\)) and let f, λ, Λ be as in Corollary 3\((i)\). If ψ is n-convex and

1. (i)

   If n is even and \(n\geq 4\), then (49) holds.

2. (ii)

   Let inequality (49) be satisfied and

   $$ {\sum_{l=1}^{n-1}{\frac{l}{{(l-1)!}} \bigl( {\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) } ^{l-1}}} \bigr) }};\quad \forall s\in {}[ 0,d], $$

   (52)

   OR

   (51) be satisfied and

   $$ {\psi }^{\prime }(d)-{\psi }^{\prime }(0)+{\sum _{l=3}^{n-1} {\frac{{\psi {^{ ( l ) }} ( 0 ) {{ ( {s} ) }^{l-1}}-\psi {^{ ( l ) }} ( d ) {{ ( {s-d} ) }^{l-1}}}}{{(l-3)!(l-1)}}}}\geq 0;\quad \forall s\in {}[ 0,d]. $$

   (53)

   Then we have

   $$ {{\mathbb{S}_{3}}}({\psi },f,\lambda ,d)\geq 0. $$

   (54)

Proof

The proof is an application of Theorem 10, Theorem 11, and Corollary 3\((a)\). □

Remark 4

Inequalities (49) and (51) hold in reverse directions if either the inequalities in (48) and (50) are reversed or −ψ is n-convex. By using these reverse inequalities and applying similar technique as in Theorem 12, one may prove \({{\mathbb{S}_{3}}}({\psi },f,\lambda ,d) \leq 0\), which gives the reverse of (7).

Remark 5

Theorem 8 and Theorem 11 have been proved for \(j=1,2\). Both theorems can be extended to \(j=1,2,\ldots , 5\) according to each case in Theorem 7 and Theorem 10, respectively, which ultimately produce inequalities (as given in Theorem 9 and Theorem 12) related to the generalizations of (6) and (7) (and their reverse).

Consider the Čebyšev functional for two Lebesgue integrable functions \(\mathbb{F}_{1},\mathbb{F}_{2}: [c,d] \to \mathbb{R}\) given as follows:

Dragomir et al. in [3] proposed new bounds utilizing the Čebyšev functional given as follows.

Theorem 13

For \(\mathbb{F}_{1}\in L[c, d]\) and \(\mathbb{F}_{2}: [c,d] \to \mathbb{R}\) being absolutely-continuous functions along with \((\cdot-c)(d-\cdot)[\mathbb{F}_{2}']^{2}\in L[c, d]\), the following inequality holds:

Theorem 14

For \(\mathbb{F}_{1}: [c,d] \to \mathbb{R}\) being absolutely continuous with \(\mathbb{F}_{1}'\in L_{\infty }[c, d]\) and \(\mathbb{F}_{2}: [c,d] \to \mathbb{R}\) being an increasing function, the following inequality holds:

The constants \(\frac{1}{\sqrt{2}}\) and \(\frac{1}{2}\) are the optimal constants.

Now we utilize above theorems to construct new upper bounds for our obtained generalized identities. For our convenience, we note

and

for \(\{j=1,\ldots ,5\}\). Consider the Čebyšev functionals \(T_{j}(\mathfrak{\tilde{S}_{j}},\mathfrak{\tilde{S}_{j}})\) and \(T_{j}(\mathfrak{S_{j}},\mathfrak{S_{j}})\) \(\{j=1,\ldots ,5\}\) given as

and

respectively.

Grüss type inequalities associated with Theorem 13 and Theorem 14 can be given as follows.

Theorem 15

Under the assumptions of Theorem 4, let \(\psi :[c,d]\to \mathbb{R}\) be absolutely continuous along with \((\cdot-c)(d-\cdot)[\psi ^{(n+1)}]^{2} \in L[c, d]\) and \(\mathfrak{\tilde{S}_{j}}\), \(\mathfrak{S_{j}}\) \(j\in \{1,2,\ldots ,5\}\) be defined in (57), (58) respectively. Then

and

where

and

Proof

Fix \(j\in \{1,2,\ldots ,5\}\). Using the Čebyšev functional for \(\mathbb{F}_{1} = \mathfrak{\tilde{S}_{j}}\), \(\mathbb{F}_{2} = \psi ^{(n)}\) and by comparing (61) with (27), we have

Employing Theorem 13 for the new functions, we get the required bound.

Similarly, we can construct the other bound by using the Čebyšev functional for \(\mathbb{F}_{1} = \mathfrak{S_{j}}\), \(\mathbb{F}_{2} = \psi ^{(n)}\) and by comparing (62) with (30). □

Theorem 16

Under the assumptions of Theorem 4, let \(\psi :[c,d]\to \mathbb{R}\) be absolutely continuous alongwith \(\psi ^{(n+1)}\ge 0\) and \(\mathfrak{\tilde{S}_{j}}\), \(\mathfrak{S_{j}}\) \(\{j=1,2,3,4,5\}\) be defined in (57), (58) respectively. Then \(\operatorname{Rem}(c,d, \mathfrak{\tilde{S}_{j}},\psi ^{(n)})\) in (61) and \(\operatorname{Rem}(c,d,\mathfrak{S_{j}},\psi ^{(n)})\) in (62) satisfy bounds

and

respectively.

Proof

We gave proof for one bound (63), and that for the other bound (64) can be obtained similarly. Since we have established

now, applying Theorem 14 for \(\mathbb{F}_{1} = \mathfrak{\tilde{S}_{j}}\), \(\mathbb{F}_{2} = \psi ^{(n)}\), we have

Now since

therefore the required bound (63) follows. □

Ostrowski type inequalities associated with generalized Steffensen’s inequality can be given as follows.

Theorem 17

Under the assumptions of Theorem 4, let \(|\psi ^{(n)}|^{p}:[c,d] \to \mathbb{R}\) be an R-integrable function, and consider \((p,p')\) to be a pair of conjugate exponents from \([1,\infty ]\) such that \(\frac{1}{p}+\frac{1}{p'}=1\). Then we have

and

respectively. The constant on the R.H.S. of (65) and (66) is sharp for \(1< p\le \infty \) and the best possible for \(p=1\).

Proof

Fix \(j\in \{1,2,\ldots ,5\}\). Let us denote

Using identity (27), we find

Applying Hölder’s inequality for integrals on the R.H.S. of (67), we obtain

which combined together with (67) gives (65).

For sharpness of the constant \((\int _{c}^{d} { | \mathfrak{\tilde{I}_{j}}(v) |^{p'}} \,dv )^{1/p'}\), see [2].

Similarly, we can prove (66). □

Remark 6

Similar bounds of Grüss and Ostrowski type inequalities can be obtained by using Theorem 7 and Theorem 10.

The notion of \((n+1)\)-convex function at a point was introduced in [15]. In the current section, we define some linear functionals from the differences of generalized Steffensen-type inequalities. By proving monotonicity of these functionals, we obtain new inequalities which contribute to theory of more generalized class of functions, i.e., \((n+1)\)-convex functions at a point. The following is the definition of \((n+1)\)-convex function at a point, see [15].

Definition 1

Let \(I\subseteq \mathbb{R}\) be an interval, \(\xi \in I^{0}\), and \(n\in \mathbb{N}\). A function \(f : I \rightarrow \mathbb{R}\) is said to be \((n + 1)\)-convex at point ξ if there exists a constant \(K_{\xi }\) such that the function

is n-concave on \(I \cap (-\infty , \xi ]\) and n-convex on \(I \cap [\xi ,\infty )\).

Pečarić et al. in [15] studied necessary and sufficient conditions on two linear functionals \(\varOmega :C([\delta _{1},\xi ]) \rightarrow \mathbb{R}\) and \(\varGamma :C([\xi ,\delta _{2}])\rightarrow \mathbb{R}\) so that the inequality \(\varOmega (f)\leq \varGamma (f)\) holds for every function f that is \((n+1)\)-convex at point ξ. In this section, we define linear functionals and obtain such inequalities for defined functionals. Let \(n\in \mathbb{N}\), \(n \geq 2\) be even, \(\psi :[c,d]\rightarrow \mathbb{R}\) be an n times differentiable function with \(\psi ^{(n-1)}\) absolutely continuous on \([c,d]\). Let \(c_{1}, c_{2}\in {}[ c,d]\) and \(\xi \in (c,d)\), where \(c_{1}< \xi <c_{2}\). Let \(f_{1}:[c_{1},\xi ]\rightarrow \mathbb{R}\) and \(f_{2}:[\xi ,c_{2}]\rightarrow \mathbb{R}\) be increasing with \(f_{i}(t)\leq t \) for \(i=1,2\). For \(j=1,2,\dots ,5\), we construct:

and

Theorem 5\((a)\) enables \(\varGamma _{1,j}(\psi )\geq 0\) for \(j=1,2,\dots ,5\) (and \(\psi ^{\prime }(0)=0\) for \(j=3\)) provided that ψ is n-convex. Furthermore, Remark 2 enables \(\varOmega _{1,j}(\psi )\leq 0\) for \(j=1,2,\dots ,5\) (and \(f^{\prime }(0)=0\) for \(j=3\)) provided that −ψ is n-convex.

Theorem 18

Let ψ, \(f_{1}\), \(f_{2}\) be as defined above and \(\psi :[c,d]\rightarrow \mathbb{R}\) be \((n+1)\)-convex at a point ξ for even \(n>3\). If \(\varOmega _{1,j}(P_{n})=\varGamma _{1,j}(P_{n})\) for all \(j=1,2,\ldots ,5\) and \(\psi ^{\prime }(0)=0\) for \(j=3\), where \(P_{n}(u)=u^{n}\), then

for \(j=1,2,\dots ,5\).

Proof

As ψ is \((n+1)\)-convex at ξ, so by Definition 1 there is \(\exists K_{\xi }\) such that \(\varPsi (u)=\psi (u)-\frac{K_{\xi }u ^{n}}{n!}\) is n-concave on \([c_{1},\xi ]\) and n-convex on \([\xi ,c_{2}]\). Therefore, for each \(j=1,2,\dots ,5 \), we have

Since \(\varOmega _{1,j}(P_{n})=\varGamma _{1,j}(P_{n})\), therefore \(\varOmega _{1,j}( \psi )\leq \varGamma _{1,j}(\psi )\), which completes the proof. □

Remark 7

We may proceed further by defining linear functionals with the inequalities proved in (37), Theorem 8, and Theorem 11. Moreover, by proving monotonicity of new functionals, we extend the inequalities from Theorem 5, Theorem 8, and Theorem 11.

We start this section by an important remark given as follows.

Remark 8

By the virtue of Theorem 5, for \(j=1,2,\dots ,5\), we define the positive linear functionals with respect to n-convex function ψ as follows:

Next we construct the non-trivial examples of exponentially convex functions (see [8]) from positive linear functionals \({\Delta _{1,j}}(\psi )\) for (\(j=1,2,\dots ,5\)).

For this, consider a family of real-valued functions on \([0,\infty )\) given as

It is interesting to note that this is a family of n-convex functions as

Since \(s\mapsto u^{s-n}=e^{(s-n)\ln u}\) is an exponentially convex function, therefore the mapping \(s\mapsto \Delta _{1,j}(\psi _{s})\) is exponentially convex and, as a special case, it is also log-convex mapping. The log-convexity of this mapping enables us to construct the known Lyapunov inequality given as

for \(r,s,t\in \mathbb{R}\) such that \(r< s< t\), where \(j=1,2,\ldots ,5\).

Remark 9

We have not given the proof of the above mentioned results in detail (see [8]). Lyapunov inequality empowered us to refine lower (upper) bound for action of the functional on the class of functions given in (71) because if an exponentially convex mapping attains zero value at some point, it is zero everywhere (see [8]).

One can also consider some other classes of n-convex functions given in the paper [8] and can get similar estimations. A similar technique can also be employed by considering the results of (37), Theorem 8, and Theorem 11.

All the authors are thankful to their respective institutes for excellent research facilities. The research of fourth author was supported by the Ministry of Education and Science of the Russian Federation (the Agreement number No. 02.a03.21.0008).

Funding

The research of the first and third authors was supported by the Higher Education Commission (H.E.C.) of Pakistan under NRPU project 5327.

Affiliations

1. Department of Mathematics, COMSATS University Islamabad, Lahore Campus, Pakistan

   • Saad Ihsan Butt
   •  & Adil Naseer

2. Department of Mathematics, COMSATS University Islamabad, Vehari Campus, Pakistan

   • Asfand Fahad

3. RUDN University, Moscow, Russia

   • Josip Pečarić

Contributions

All authors jointly worked on the results and they read and approved the final manuscript.

Corresponding author

Correspondence to Adil Naseer.

Competing interests

The authors declare that they have no competing interests.

Publisher’s Note

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

Reprints and Permissions