Skip to main content

Some Grüss type inequalities and corrected three-point quadrature formulae of Euler type

Abstract

We obtain some new Grüss type inequalities for the general corrected three-point quadrature formulae of Euler type. As special cases, we derive some new bounds for the corrected Euler Simpson formula, the corrected dual Euler Simpson formula and the corrected Euler Maclaurin formula. Also, applications for the corrected Euler Bullen-Simpson formula are considered.

1 Introduction

The corrected quadrature formulae are quadrature formulae where the integral is approximated not only by the values of the integrand in certain points but also by the values of its first derivative in the end points of the interval. These formulae have a degree of exactness higher than the adjoint original formulae. The term corrected quadrature formulae was first introduced in the inequalities area by Ujević and Roberts in [1].

The Chebyshev functional [2] is defined by

$$T (f,g )=\frac{1}{b-a}\int_{a}^{b}f ( s ) g ( s ) \,\mathrm{d}s -\frac{1}{b-a}\int_{a}^{b}f ( s ) \,\mathrm{d}s \cdot \frac{1}{b-a}\int_{a}^{b}g ( s ) \,\mathrm{d}s, $$

where \(f,g: [a,b ] \rightarrow\mathbb{R} \) are two real functions such that \(f, g, f\cdot g \in L^{1} [a,b ]\).

For two integrable functions \(f, g: [a,b ] \rightarrow\mathbb {R} \) such that \(\gamma\leq f (s ) \leq\Gamma\), and \(\phi\leq g (s ) \leq\Phi\), for all \(s \in [a,b ]\), where γ, Γ, ϕ, Φ are real constants, the following integral inequality is known as the Grüss inequality (see [2], p.296):

$$\biggl\vert \frac{1}{b-a}\int_{a}^{b}f ( s ) g ( s ) \,\mathrm{d}s -\frac{1}{b-a}\int_{a}^{b}f ( s ) \,\mathrm{d}s \cdot \frac{1}{b-a}\int_{a}^{b}g ( s ) \,\mathrm{d}s\biggr\vert \leq\frac {1}{4} (\Gamma-\gamma ) (\Phi- \phi ). $$

Over the last decades some new inequalities of this type have been considered and applied in numerical analysis (see [28] and the references cited therein).

In [9], the authors proved the following inequalities for the Chebyshev functional:

Theorem 1

Let \(f, g: [a,b ]\rightarrow\mathbb{R}\) be two absolutely continuous functions on \([a,b ]\) with

$$(\cdot- a ) (b-\cdot ) \bigl(f^{\prime} \bigr)^{2}, (\cdot- a ) (b-\cdot ) \bigl(g^{\prime} \bigr)^{2} \in L^{1} [a, b ], $$

then

$$\begin{aligned} \bigl\vert T (f,g )\bigr\vert \leq&\frac{1}{\sqrt{2}} \bigl[T (f,f ) \bigr]^{1/2} \frac{1}{\sqrt{b-a}} \biggl[\int_{a}^{b} ( s-a ) (b-s ) \bigl(g^{\prime} ( s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2} \\ \leq&\frac{1}{2 (b-a )} \biggl[\int_{a}^{b} ( s-a ) (b-s ) \bigl(f^{\prime} ( s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2} \\ &{}\cdot \biggl[\int_{a}^{b} ( s-a ) (b-s ) \bigl(g^{\prime} ( s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$
(1)

The constants \(1/\sqrt{2}\) and \(1/2\) are the best possible.

Theorem 2

Assume that \(g: [a,b ]\rightarrow\mathbb{R}\) is monotonic nondecreasing on \([a,b ]\) and \(f: [a,b ]\rightarrow\mathbb{R}\) is absolutely continuous with \(f^{\prime} \in L^{\infty} [a, b ]\), then

$$ \bigl\vert T (f,g )\bigr\vert \leq\frac{1}{2 (b-a )} \bigl\Vert f^{\prime}\bigr\Vert _{\infty} \cdot\int_{a}^{b} ( s-a ) (b-s ) \,\mathrm{d}g ( s ). $$
(2)

The constant \(1/2\) is the best possible.

The aim of this note is to consider some new Grüss type inequalities for the general corrected three-point quadrature formulae of Euler type. This will be done by using the above theorems and the corrected three-point quadrature formulae recently introduced in [10]. Also, we use the obtained results to get the error estimates for the corrected Euler Simpson formula, the corrected dual Euler Simpson formula and the corrected Euler Maclaurin formula. Finally, the corresponding error estimates for the corrected Euler Bullen-Simpson formula are derived.

More about quadrature formulae and error estimations (from the point of view of inequality theory) can be found in the monographs [11] and [12].

Since we deal with quadrature formulae of Euler type, let us recall a few features of the Bernoulli polynomials. The symbol \(B_{k}(s)\) denotes the Bernoulli polynomials, \(B_{k}=B_{k}(0)\) the Bernoulli numbers, and \(B_{k}^{\ast}(s)\), \(k\geq0\), periodic functions of period 1 defined by the condition

$$B_{k}^{\ast}(s+1)=B_{k}^{\ast }(s),\quad s \in\mathbb{R}, $$

and related to the Bernoulli polynomials as follows:

$$B_{k}^{\ast}(s)=B_{k}(s),\quad 0\leq s< 1. $$

The Bernoulli polynomials \(B_{k}(s)\), \(k\geq0\), are uniquely determined by the identities

$$B_{k}^{\prime}(s)=kB_{k-1}(s),\quad k\geq 1;\qquad B_{0}(s)=1, \qquad B_{k}(s+1)-B_{k}(s)=ks^{k-1}, \quad k\geq0. $$

Further, \(B_{0}^{\ast}(s)=1\), \(B_{1}^{\ast}(s)\) is a discontinuous function with a jump of −1 at each integer and for \(k\geq2\), \(B_{k}^{\ast}(s)\) are continuous functions. We get

$$ B_{k}^{\ast\prime}(s)=kB_{k-1}^{\ast}(s),\quad k \geq1, $$
(3)

for every \(s\in\mathbb{R}\) when \(k\geq3\), and for every \(s\in\mathbb{ R}\setminus Z\) when \(k=1,2\).

For some further details as regards Bernoulli polynomials, Bernoulli numbers and periodic functions \(B_{k}^{\ast}\), see [13].

2 Main results

Let \(x \in [0,1/2 )\) and \(f: [0,1 ] \rightarrow \mathbb{R}\) be such that \(f^{(2n+1)}\) is a continuous function of bounded variation on \([0,1 ]\) for some \(n \geq0\). In [10], the authors proved the following general three-point quadrature formula of Euler type:

$$\begin{aligned}& \int_{0}^{1} f(s)\,\mathrm{d}s - w (x )f(x)- \bigl(1-2w (x ) \bigr)f \biggl(\frac{1}{2} \biggr) - w (x )f(1-x) + T_{2n}(x) \\& \quad = \frac{1}{(2n+2)!} \int_{0}^{1} F_{2n+2}(x,s) \,\mathrm{d}f^{(2n+1)}(s), \end{aligned}$$
(4)

where

$$\begin{aligned}& T_{2n}(x) = \sum_{k=2}^{2n} \frac{1}{k!} G_{k}(x,0) \bigl[f^{(k-1)}(1)-f^{(k-1)}(0) \bigr], \end{aligned}$$
(5)
$$\begin{aligned}& G_{k} (x,s )=w (x ) \bigl[ B_{k}^{\ast} (x-s )+B_{k}^{\ast} (1-x-s ) \bigr]+ \bigl(1-2w (x ) \bigr)B_{k}^{\ast} \biggl(\frac{1}{2}-s \biggr),\quad k \geq1, \end{aligned}$$
(6)
$$\begin{aligned}& F_{k} (x,s )=G_{k} (x,s )-G_{k} (x,0 ),\quad k \geq2 \end{aligned}$$
(7)

and \(s \in\mathbb{R}\).

From the properties of the Bernoulli polynomials it easily follows that

$$\begin{aligned}& G_{k} (x,1-s )= (-1 )^{k} G_{k} (x,s ),\quad s \in [0,1 ], \\& \frac{\partial G_{k} (x,s )}{\partial s}=-kG_{k-1} (x,s ) \end{aligned}$$

and \(G_{2k-1} (x,0 )=0\), for \(k\geq2\) and for any choice of the weight w. In general \(G_{2k} (x,0 )\ne0\).

If we impose the condition \(G_{4}(x,0)=0\) the obtained formula will include the value of the first derivative at the end points of the interval and is known in the literature as a corrected quadrature formula. So, condition \(G_{4}(x,0)=0\) gives

$$ w (x )=\frac{7}{30(2x-1)^{2} (-4x^{2}+4x+1)},\quad x \in \biggl[0,\frac{1}{2} \biggr). $$
(8)

Now, for \(f: [0,1 ] \rightarrow\mathbb{R}\) such that \(f^{(2n+1)}\) is a continuous function of bounded variation on \([0,1]\) for some \(n \geq0\), \(x \in [0,1/2 )\), (4) becomes

$$ \int_{0}^{1} f(s)\,\mathrm{d}s - Q_{C} \biggl(x,\frac {1}{2},1-x \biggr) + T_{2n}^{CQ3}(x) = \frac{1}{(2n+2)!} \int_{0}^{1} F^{CQ3}_{2n+2}(x,s) \,\mathrm{d}f^{(2n+1)}(s), $$
(9)

where

$$\begin{aligned}& Q_{C} \biggl(x,\frac{1}{2},1-x \biggr) \\& \quad = \frac{1}{30 (2x-1 )^{2} (-4x^{2}+4x+1 )} \biggl[ 7 f (x ) - 480 B_{4} (x ) f \biggl(\frac {1}{2} \biggr) + 7 f (1-x ) \biggr], \\& T_{2n}^{CQ3}(x) = \sum_{k=1}^{n} \frac{1}{(2k)!} G^{CQ3}_{2k}(x,0) \bigl[f^{(2k-1)}(1)-f^{(2k-1)}(0) \bigr] \\& \hphantom{T_{2n}^{CQ3}(x)} =\frac {10x^{2}-10x+1}{60 (-4x^{2}+4x+1 )} \bigl[f^{\prime}(1)-f^{\prime}(0)\bigr] \\& \hphantom{T_{2n}^{CQ3}(x)=} {}+ \sum_{k=3}^{n} \frac{1}{(2k)!}G^{CQ3}_{2k}(x,0) \bigl[f^{(2k-1)}(1)-f^{(2k-1)}(0) \bigr], \\& G^{CQ3}_{k}(x,s) = \frac{1}{30 (2x-1 )^{2} (-4x^{2}+4x+1 )} \\& \hphantom{G^{CQ3}_{k}(x,s) =}{}\cdot \biggl[7 B_{k}^{\ast } ( x-s ) - 480 B_{4} (x ) \cdot B_{k}^{\ast} \biggl( \frac{1}{2}-s \biggr) + 7 B_{k}^{\ast} (1-x-s ) \biggr],\quad k \geq 1, \\& F^{CQ3}_{k}(x,s)=G^{CQ3}_{k}(x,s)-G^{CQ3}_{k}(x,0), \quad k \geq 2 \end{aligned}$$
(10)

and \(s \in\mathbb{R}\).

Assuming \(f^{(2n-1)}\) is a continuous function of bounded variation on \([0,1 ]\) for some \(n \geq1\), then the following identity holds:

$$ \int_{0}^{1} f(s)\,\mathrm{d}s -Q_{C} \biggl(x,\frac {1}{2},1-x \biggr) + T_{2n}^{CQ3}(x) = \frac{1}{(2n)!} \int_{0}^{1} G^{CQ3}_{2n}(x,s)\,\mathrm{d}f^{(2n-1)}(s), $$
(11)

while assuming \(f^{(2n)}\) is a continuous function of bounded variation on \([0,1]\) for some \(n \geq0\) it follows that

$$ \int_{0}^{1} f(s)\,\mathrm{d}s -Q_{C} \biggl(x,\frac {1}{2},1-x \biggr) + T_{2n}^{CQ3}(x) = \frac{1}{(2n+1)!} \int_{0}^{1} G^{CQ3}_{2n+1}(x,s)\,\mathrm{d}f^{(2n)}(s). $$
(12)

The identities (9), (11), (12) and the following lemma were proved in [12], p.99.

Lemma 1

For \(x\in [0, \frac{1}{2}-\frac{\sqrt{15}}{10} )\cup [\frac{1}{6}, \frac{1}{2} )\) and \(k\geq2\), \(G^{CQ3}_{2k+1} (x,s )\) has no zeros in variable s on the interval \((0, \frac{1}{2} )\). The sign of this function is determined by

$$(-1)^{k+1} G^{CQ3}_{2k+1} (x,s )>0, \quad \textit{for } x\in \biggl[0, \frac{1}{2}-\frac{\sqrt{15}}{10} \biggr) $$

and

$$(-1)^{k} G^{CQ3}_{2k+1} (x,s )>0, \quad \textit{for } x\in \biggl[\frac{1}{6}, \frac{1}{2} \biggr). $$

Now, we can state some new Grüss type inequalities for the general corrected three-point quadrature formulae of Euler type.

Theorem 3

Let \(f: [0,1 ] \rightarrow\mathbb{R}\) be such that \(f^{ (2n ) }\) is an absolutely continuous function for some \(n\geq1\) and \(x \in [0,1/2 )\). Then the following equality holds:

$$ \int_{0}^{1}f (s )\,\mathrm{d}s- Q_{C} \biggl(x,\frac{1}{2},1-x \biggr) + T_{2n}^{CQ3} (x ) = K^{CQ3}_{2n} (f ) $$
(13)

and the remainder \(K^{CQ3}_{2n} (f )\) satisfies the inequality

$$\begin{aligned}& \bigl\vert K^{CQ3}_{2n} (f )\bigr\vert \\& \quad \leq\frac{1}{30(2x-1)^{2} (-4x^{2}+4x+1)} \biggl[\frac{-1}{2 (4n )!}\biggl(98 B_{4n}+98 B_{4n} (1-2x ) \\& \qquad\biggl.\biggl.\biggl. {}-13\text{,}440 B_{4} (x )B_{4n} \biggl(x+ \frac{1}{2} \biggr) +480^{2} B^{2}_{4} (x ) B_{4n}\biggr)\biggr]\biggr.^{1/2} \\& \qquad {}\cdot \biggl[\int_{0}^{1} s (1-s ) \bigl(f^{ (2n+1 )} (s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$
(14)

For \(f: [0,1 ] \rightarrow\mathbb{R}\) such that \(f^{ (2n+1 ) }\) is an absolutely continuous function for some \(n\geq0\) and \(x \in [0,1/2 )\), the following representation holds:

$$ \int_{0}^{1}f (s )\,\mathrm{d}s- Q_{C} \biggl(x,\frac{1}{2},1-x \biggr) + T_{2n}^{CQ3} (x ) = K^{CQ3}_{2n+1} (f ) $$
(15)

and the remainder \(K^{CQ3}_{2n+1} (f )\) satisfies the inequality

$$\begin{aligned}& \bigl\vert K^{CQ3}_{2n+1} (f )\bigr\vert \\& \quad \leq\frac{1}{30(2x-1)^{2} (-4x^{2}+4x+1)} \biggl[\frac{1}{2 (4n+2 )!}\biggl(98 B_{4n+2}+98 B_{4n+2} (1-2x ) \\& \qquad \biggl.\biggl.\biggl.{}-13\text{,}440 B_{4} (x )B_{4n+2} \biggl(x+ \frac{1}{2} \biggr) +480^{2} B^{2}_{4} (x ) B_{4n+2}\biggr)\biggr]\biggr.^{1/2} \\& \qquad {}\cdot \biggl[\int_{0}^{1} s (1-s ) \bigl(f^{ (2n+2 )} (s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$
(16)

Proof

Applying Theorem 1 with \(G_{k}^{CQ3}\) in place of f and \(f^{ (k )}\) in place of g we obtain

$$\begin{aligned}& \biggl\vert \int_{0}^{1} G_{k}^{CQ3}(x,s)f^{(k)}(s)\,\mathrm{d}s-\int _{0}^{1} G_{k}^{CQ3}(x,s)\, \mathrm{d}s \cdot\int_{0}^{1} f^{(k)}(s)\, \mathrm{d}s\biggr\vert \\& \quad \leq \frac{1}{\sqrt{2}} \bigl[T \bigl(G_{k}^{CQ3} (x, \cdot ),G_{k}^{CQ3} (x,\cdot ) \bigr) \bigr]^{1/2} \biggl[\int_{0}^{1} s (1-s ) \bigl(f^{ (k+1 )} ( s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2}, \end{aligned}$$
(17)

where

$$ T \bigl(G_{k}^{CQ3} (x,\cdot ),G_{k}^{CQ3} (x,\cdot ) \bigr)=\int_{0}^{1} \bigl(G_{k}^{CQ3}(x,s) \bigr)^{2}\,\mathrm{d}s- \biggl(\int_{0}^{1} G_{k}^{CQ3}(x,s) \,\mathrm{d}s \biggr)^{2}. $$

By elementary calculations we obtain

$$ \int_{0}^{1}G_{k}^{CQ3}(x,s) \,\mathrm{d}s=0. $$
(18)

Using integration by parts we get

$$\begin{aligned}& \int_{0}^{1} \bigl(G_{k}^{CQ3}(x,s) \bigr)^{2}\,\mathrm{d}s \\& \quad = (-1 )^{k-1} \frac{k (k-1 )\cdots2}{ (k+1 ) (k+2 ) \cdots (2k-1 )} \\& \qquad {} \cdot \biggl[-\frac{1}{2k}G_{2k}^{CQ3}(x,s)G_{1}(x,s)|_{0}^{1}+ \frac{1}{2k}\int_{0}^{1} G_{2k}^{CQ3}(x,s) \,\mathrm{d}G_{1}(x,s) \biggr] \\& \quad = \frac{ (-1 )^{k-1} (k! )^{2}}{30(2x-1)^{2} (-4x^{2}+4x+1) (2k )!} \\& \qquad {}\cdot\biggl[30 (2x-1 )^{2} \bigl(4x^{2}-4x-1 \bigr) \int_{0}^{1} G_{2k}^{CQ3}(x,s) \,\mathrm{d}s \\& \qquad {} + 7G_{2k}^{CQ3} (x,x )-480 B_{4} (x ) G_{2k}^{CQ3} \biggl(x,\frac{1}{2} \biggr) +7G_{2k}^{CQ3} (x,1-x )\biggr] \\& \quad = \frac{ (-1 )^{k-1} (k! )^{2}}{900(2x-1)^{4} (-4x^{2}+4x+1)^{2} (2k )!} \\& \qquad {}\cdot \biggl[98B_{2k}+98B_{2k} (1-2x )-13 \text{,}440B_{4} (x )B_{2k} \biggl(x+\frac{1}{2} \biggr)+480^{2} B^{2}_{4} (x ) B_{2k} \biggr]. \end{aligned}$$

Finally, if we put \(k=2n\) using (11) and (17), we obtain representation (13) and inequality (14). Since, for \(k=2n+1\) by (12) and (17), representation (15) and estimate (16) follow. □

Remark 1

From (10) and (18) we get

$$\int_{0}^{1}F^{CQ3}_{k} (x,s )\,\mathrm{d}s=\int_{0}^{1}G^{CQ3}_{k} (x,s )\,\mathrm{d}s-\int_{0}^{1}G^{CQ3}_{k} (x,0 )\,\mathrm{d}s =-G^{CQ3}_{k} (x,0 ) $$

and

$$\begin{aligned} \int_{0}^{1} \bigl(F^{CQ3}_{k} (x,s ) \bigr)^{2}\mathrm {d}s =&\int_{0}^{1} \bigl(G^{CQ3}_{k} (x,s ) \bigr)^{2}\,\mathrm{d}s- 2G^{CQ3}_{k} (x,0 )\int_{0}^{1}G^{CQ3}_{k} (x,s )\,\mathrm{d}s \\ &{}+ \bigl(G^{CQ3}_{k} (x,0 ) \bigr)^{2}. \end{aligned}$$

Further, if we put \(k=2n+2\) in the proof of Theorem 3, using (9) similar to (17) (with \(n\leftrightarrow n+1\)), we deduce equality (13) and bound (14).

Corollary 1

Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(2n+1)}\) is absolutely continuous for some \(n\geq2\) and \(f^{(2n+1)}\geq0\) on \([0,1]\). Then for \(x\in [\frac{1}{6}, \frac{1}{2} )\),

$$\begin{aligned} 0 \leq&(-1)^{n} \biggl\{ \int_{0}^{1}f(s) \,\mathrm{d}s - Q_{C} \biggl(x,\frac{1}{2},1-x \biggr) + T_{2n}^{CQ3} (x ) \biggr\} \\ \leq&\frac{1}{30(2x-1)^{2} (-4x^{2}+4x+1)} \biggl[\frac{1}{2 (4n+2 )!}\biggl(98 B_{4n+2}+98 B_{4n+2} (1-2x ) \\ &\biggl.\biggl.\biggl.{}-13\text{,}440 B_{4} (x )B_{4n+2} \biggl(x+ \frac{1}{2} \biggr) +480^{2} B^{2}_{4} (x ) B_{4n+2}\biggr)\biggr]\biggr.^{1/2} \\ &{} \cdot \biggl[\int_{0}^{1} s (1-s ) \bigl(f^{ (2n+2 )} (s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2}, \end{aligned}$$
(19)

and for \(x\in [0, \frac{1}{2}-\frac{\sqrt{15}}{10} )\),

$$\begin{aligned} 0 \leq&(-1)^{n+1} \biggl\{ \int_{0}^{1}f(s) \,\mathrm{d}s - Q_{C} \biggl(x,\frac{1}{2},1-x \biggr) + T_{2n}^{CQ3} (x ) \biggr\} \\ \leq&\frac{1}{30(2x-1)^{2} (-4x^{2}+4x+1)} \biggl[\frac{1}{2 (4n+2 )!}\biggl(98 B_{4n+2}+98 B_{4n+2} (1-2x ) \\ &\biggl.\biggl.\biggl.{}-13\text{,}440 B_{4} (x )B_{4n+2} \biggl(x+ \frac{1}{2} \biggr) +480^{2} B^{2}_{4} (x ) B_{4n+2}\biggr)\biggr]\biggr.^{1/2} \\ &{} \cdot \biggl[\int_{0}^{1} s (1-s ) \bigl(f^{ (2n+2 )} (s ) \bigr)^{2} \,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$
(20)

Proof

We use Lemma 1, representation (15) and inequality (16) to obtain inequalities (19) and (20). □

As special cases of Theorem 3 for \(x=0\), \(x=1/4\) and \(x=1/6\) we derive inequalities related to the corrected Euler Simpson formula, the corrected dual Euler Simpson formula and the corrected Euler Maclaurin formula, respectively.

Corollary 2

Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(2n)}\) is absolutely continuous for some \(n\geq1\). Then

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{30} \biggl[7f(0)+16f \biggl(\frac{1}{2} \biggr)+7f(1) \biggr]+T^{CQ3}_{2n} (0 )\biggr\vert \\& \quad \leq \frac{1}{15} \biggl[-\frac{1+7\cdot2^{5-4n}}{2 (4n )!} B_{4n} \biggr]^{1/2}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(2n+1)}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$
(21)

If \(f^{(2n+1)}\) is absolutely continuous for some \(n\geq0\) then

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{30} \biggl[7f(0)+16f \biggl(\frac{1}{2} \biggr)+7f(1) \biggr]+T^{CQ3}_{2n} (0 )\biggr\vert \\& \quad \leq \frac{1}{15} \biggl[\frac{1+7\cdot2^{3-4n}}{2 (4n+2 )!} B_{4n+2} \biggr]^{1/2}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(2n+2)}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}, \end{aligned}$$
(22)

where \(T^{CQ3}_{0} (0 )=0\), \(T^{CQ3}_{2} (0 )=T^{CQ3}_{4} (0 )=\frac{1}{60} [f^{\prime} (1 )-f^{\prime} (0 ) ]\) and for \(n\geq3\),

$$\begin{aligned} T^{CQ3}_{2n} (0 ) =&\frac{1}{60} \bigl[f^{\prime} (1 )-f^{\prime} (0 ) \bigr] \\ &{}+\sum_{k=3}^{n}\frac{1}{15 (2k)!} \bigl(-1+2^{4-2k} \bigr) B_{2k} \bigl[f^{ (2k-1 )} (1 )-f^{ (2k-1 )} (0 ) \bigr]. \end{aligned}$$

Remark 2

Specially, if \(f^{\prime}\) is absolutely continuous then for \(n=0\) in Corollary 2, we derive

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\,\mathrm{d}s- \frac{1}{30} \biggl[7f(0)+16f \biggl(\frac{1}{2} \biggr)+7f(1) \biggr] \biggr\vert \\& \quad \leq \frac{1}{30}\sqrt{\frac{19}{2}}\cdot \biggl[\int _{0}^{1}s(1-s) \bigl(f^{\prime\prime}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$

Further, if \(f^{\prime\prime}\) is absolutely continuous then for \(n=1\) in Corollary 2 we obtain

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\,\mathrm{d}s- \frac{1}{30} \biggl[7f(0)+16f \biggl(\frac{1}{2} \biggr)+7f(1) \biggr] +\frac{1}{60} \bigl[f^{\prime} (1 )-f^{\prime} (0 ) \bigr]\biggr\vert \\& \quad \leq \frac{1}{60\sqrt{6}}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{\prime \prime\prime}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$

Corollary 3

Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(2n)}\) is absolutely continuous for some \(n\geq1\). Then

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{15} \biggl[8f \biggl(\frac {1}{4} \biggr)-f \biggl(\frac{1}{2} \biggr)+8f \biggl(\frac{3}{4} \biggr) \biggr] +T^{CQ3}_{2n} \biggl(\frac{1}{4} \biggr)\biggr\vert \\& \quad \leq \frac{1}{15} \biggl[-\frac{1+9\cdot2^{5-4n}-2^{6-8n}}{2 (4n )!}B_{4n} \biggr]^{1/2} \\& \qquad {}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(2n+1)}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$
(23)

If \(f^{(2n+1)}\) is absolutely continuous for some \(n\geq0\) then

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{15} \biggl[8f \biggl(\frac {1}{4} \biggr)-f \biggl(\frac{1}{2} \biggr)+8f \biggl(\frac{3}{4} \biggr) \biggr] +T^{CQ3}_{2n} \biggl(\frac{1}{4} \biggr)\biggr\vert \\& \quad \leq \frac{1}{15} \biggl[\frac{1+9\cdot2^{3-4n}-2^{2-8n}}{2 (4n+2 )!}B_{4n+2} \biggr]^{1/2} \\& \qquad {}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(2n+2)}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}, \end{aligned}$$
(24)

where \(T^{CQ3}_{0} (\frac{1}{4} )=0\), \(T^{CQ3}_{2} (\frac {1}{4} )=T^{CQ3}_{4} (\frac{1}{4} )=-\frac{1}{120} [f^{\prime} (1 )-f^{\prime} (0 ) ]\) and for \(n\geq3\),

$$\begin{aligned} T^{CQ3}_{2n} \biggl(\frac{1}{4} \biggr) =&- \frac{1}{120} \bigl[f^{\prime } (1 )-f^{\prime} (0 ) \bigr] \\ &{} +\sum_{k=3}^{ n}\frac{1}{15 (2k)!} \bigl(2^{5-4k}-9\cdot 2^{1-2k}+1 \bigr) B_{2k} \bigl[f^{ (2k-1 )} (1 )-f^{ (2k-1 )} (0 ) \bigr]. \end{aligned}$$

Remark 3

If \(f^{\prime}\) is absolutely continuous then for \(n=0\) in Corollary 3 we obtain

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\,\mathrm{d}s- \frac{1}{15} \biggl[8f \biggl(\frac{1}{4} \biggr)-f \biggl( \frac{1}{2} \biggr)+8f \biggl(\frac {3}{4} \biggr) \biggr]\biggr\vert \\& \quad \leq \frac{1}{30}\sqrt{\frac{23}{2}}\cdot \biggl[\int _{0}^{1}s(1-s) \bigl(f^{\prime\prime}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$

If \(f^{\prime\prime}\) is absolutely continuous then for \(n=1\) in Corollary 3 we get

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\,\mathrm{d}s- \frac{1}{15} \biggl[8f \biggl(\frac{1}{4} \biggr)-f \biggl( \frac{1}{2} \biggr)+8f \biggl(\frac {3}{4} \biggr) \biggr] - \frac{1}{120} \bigl[f^{\prime} (1 )-f^{\prime} (0 ) \bigr]\biggr\vert \\& \quad \leq \frac{1}{360}\sqrt{\frac{15}{2}}\cdot \biggl[\int _{0}^{1}s(1-s) \bigl(f^{\prime\prime\prime}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$

Corollary 4

Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(2n)}\) is absolutely continuous for some \(n\geq1\). Then

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{80} \biggl[27f \biggl(\frac {1}{6} \biggr)+26f \biggl(\frac{1}{2} \biggr)+27f \biggl(\frac{5}{6} \biggr) \biggr] +T^{CQ3}_{2n} \biggl(\frac{1}{6} \biggr)\biggr\vert \\& \quad \leq \frac{1}{80} \biggl[-\frac{1+79\cdot3^{4-4n}}{2 (4n )!} B_{4n} \biggr]^{1/2}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(2n+1)}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$
(25)

If \(f^{(2n+1)}\) is absolutely continuous for some \(n\geq0\) then

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{80} \biggl[27f \biggl(\frac {1}{6} \biggr)+26f \biggl(\frac{1}{2} \biggr)+27f \biggl(\frac{5}{6} \biggr) \biggr] +T^{CQ3}_{2n} \biggl(\frac{1}{6} \biggr)\biggr\vert \\& \quad \leq \frac{1}{80} \biggl[\frac{1+79\cdot3^{2-4n}}{2 (4n+2 )!} B_{4n+2} \biggr]^{1/2}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(2n+2)}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}, \end{aligned}$$
(26)

where \(T^{CQ3}_{0} (\frac{1}{6} )=0\), \(T^{CQ3}_{2} (\frac {1}{6} )=T^{CQ3}_{4} (\frac{1}{6} )=-\frac{1}{240} [f^{\prime} (1 )-f^{\prime} (0 ) ]\) and for \(n\geq3\),

$$\begin{aligned} T^{CQ3}_{2n} \biggl(\frac{1}{6} \biggr) =&- \frac{1}{240} \bigl[f^{\prime } (1 )-f^{\prime} (0 ) \bigr] \\ &{} +\sum_{k=3}^{ n}\frac{1}{80 (2k)!} \bigl(1-2^{1-2k} \bigr) \bigl( 1-3^{4-2k} \bigr) B_{2k} \bigl[f^{ (2k-1 )} (1 )-f^{ (2k-1 )} (0 ) \bigr]. \end{aligned}$$

Remark 4

Specially, if \(f^{\prime}\) is absolutely continuous then for \(n=0\) in Corollary 4 we obtain

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\,\mathrm{d}s- \frac{1}{80} \biggl[27f \biggl(\frac{1}{6} \biggr)+26f \biggl( \frac{1}{2} \biggr)+27f \biggl(\frac {5}{6} \biggr) \biggr]\biggr\vert \\& \quad \leq \frac{1}{80}\sqrt{\frac{89}{3}}\cdot \biggl[\int _{0}^{1}s(1-s) \bigl(f^{\prime\prime}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$

If \(f^{\prime\prime}\) is absolutely continuous then for \(n=1\) in Corollary 4 we get

$$\begin{aligned}& \biggl\vert \int_{0}^{1}f(s)\,\mathrm{d}s- \frac{1}{80} \biggl[27f \biggl(\frac{1}{6} \biggr)+26f \biggl( \frac{1}{2} \biggr)+27f \biggl(\frac {5}{6} \biggr) \biggr] - \frac{1}{240} \bigl[f^{\prime} (1 )-f^{\prime} (0 ) \bigr]\biggr\vert \\& \quad \leq \frac{1}{240\sqrt{2}}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{\prime \prime\prime}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}. \end{aligned}$$

Here, as in the rest of the paper, the symbol \([f^{(k)};0,1 ]\) denotes the divided difference of the function \(f^{(k)}\),

$$ \bigl[f^{ (k )};0,1 \bigr]=f^{ (k )} (1 )-f^{ (k )} (0 ). $$

Theorem 4

Let \(f: [0,1 ] \rightarrow\mathbb{R}\) be such that \(f^{ ( 2n ) }\) is an absolutely continuous function and \(f^{ ( 2n+1 )} \geq0 \) on \([0, 1 ]\). Then representation (13) holds and the remainder \(K^{CQ3}_{2n} (f )\) satisfies the following inequality:

$$ \bigl\vert K^{CQ3}_{2n} (f )\bigr\vert \leq\frac{1}{ (2n-1 )! } \bigl\Vert G^{CQ3}_{2n-1} (x,s ) \bigr\Vert _{\infty} \biggl\{ \frac{f^{ (2n-1 )} ( 0 )+f^{ (2n-1 )} ( 1 )}{2} - \bigl[f^{ (2n-2 )};0,1 \bigr] \biggr\} . $$
(27)

If \(f^{ ( 2n+1 ) }\) is an absolutely continuous function and \(f^{ ( 2n+2 )} \geq0 \) on \([0, 1 ]\), then equality (15) holds and the remainder \(K^{Q3}_{2n+1} (f )\) satisfies the inequality

$$ \bigl\vert K^{CQ3}_{2n+1} (f )\bigr\vert \leq\frac{1}{ (2n )! } \bigl\Vert G^{CQ3}_{2n} (x,s ) \bigr\Vert _{\infty} \biggl\{ \frac{f^{ (2n )} ( 0 )+f^{ (2n )} ( 1 )}{2} - \bigl[f^{ (2n-1 )};0,1 \bigr] \biggr\} . $$
(28)

Proof

Applying Theorem 2 with \(G^{CQ3}_{2n}\) in place of f and \(f^{ (2n )}\) in place of g we deduce

$$\begin{aligned}& \biggl\vert \int_{0}^{1} G^{CQ3}_{2n}(x,s)f^{(2n)}(s)\,\mathrm{d}s-\int _{0}^{1} G^{CQ3}_{2n}(x,s)\, \mathrm{d}s \cdot\int_{0}^{1} f^{(2n)}(s)\, \mathrm{d}s\biggr\vert \\& \quad \leq\frac{2n}{2} \bigl\Vert G^{CQ3}_{2n-1} (x,s ) \bigr\Vert _{\infty} \int_{0}^{1} s (1-s ) f^{ (2n+1 )} ( s ) \,\mathrm{d}s. \end{aligned}$$
(29)

Further,

$$\begin{aligned} \int_{0}^{1} s (1-s ) f^{ (2n+1 )} ( s ) \, \mathrm{d}s& = \int_{0}^{1} (2s-1 ) f^{ (2n )} ( s ) \,\mathrm{d}s \\ & = f^{ (2n-1 )} ( 1 )+f^{ (2n-1 )} ( 0 ) -2 \bigl[f^{ (2n-2 )} ( 1 )-f^{ (2n-2 )} ( 0 ) \bigr]. \end{aligned}$$

Finally, using equality (13) and inequality (29), we obtain estimate (27). Similarly, from identity (15) we get inequality (28). □

3 Applications for the corrected Euler Bullen-Simpson formula

In [14], the author proved that if \(f:[0,1]\rightarrow\mathbb {R}\) is a 4-convex function then the following Bullen-Simpson inequality holds:

$$\begin{aligned} 0 \leq&\int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{3} \biggl[ 2f \biggl( \frac {1}{4} \biggr) -f \biggl( \frac{1}{2} \biggr) +2f \biggl( \frac{3}{4} \biggr) \biggr] \\ \leq&\frac{1}{6} \biggl[ f(0)+4f \biggl( \frac{1}{2} \biggr) +f ( 1 ) \biggr] -\int_{0}^{1}f(s)\,\mathrm{d}s. \end{aligned}$$
(30)

In [15] a generalisation of inequality (30) for a class of \((2k)\)-convex functions was established.

Franjić and Pečarić in [16] derived similar type inequalities by using the corrected Simpson formula and the corrected dual Simpson formula. They proved that the corrected dual Simpson quadrature rule is more accurate than the corrected Simpson quadrature rule, that is,

$$\begin{aligned} 0 \leq&\int_{0}^{1}f(s)\, \mathrm{d}s-\frac{1}{15} \biggl[ 8f \biggl( \frac {1}{4} \biggr) -f \biggl( \frac{1}{2} \biggr) +8f \biggl( \frac{3}{4} \biggr) \biggr]-\frac{1}{120} \bigl[f^{\prime}(1)-f^{\prime}(0) \bigr] \\ \leq&\frac{1}{30} \biggl[7 f(0)+16f \biggl( \frac{1}{2} \biggr) +7f ( 1 ) \biggr]-\frac{1}{60} \bigl[f^{\prime}(1)-f^{\prime}(0) \bigr] -\int_{0}^{1}f(s)\,\mathrm{d}s. \end{aligned}$$
(31)

Also, they obtained a generalisation of inequality (31) for a class of \((2k)\)-convex functions.

Let us define

$$ D^{C}(0,1) =\frac{1}{60} \biggl[7 f ( 0 ) +16f \biggl( \frac{1}{4} \biggr) +14f \biggl( \frac{1}{2} \biggr) +16f \biggl( \frac{3}{4} \biggr) +7f ( 1 ) \biggr] . $$

We consider the sequences of functions \((G^{C}_{k}(s))_{k\geq1}\) and \((F^{C}_{k}(s))_{k\geq1}\) defined by

$$\begin{aligned} G^{C}_{k}(s) =&7 B_{k}^{\ast}(1-s)+8B_{k}^{\ast} \biggl( \frac{1}{4}-s \biggr) \\ &{}+7B_{k}^{\ast} \biggl( \frac{1}{2}-s \biggr) +8B_{k}^{\ast} \biggl( \frac{3}{4 }-s \biggr),\quad s\in \mathbb{R} \end{aligned}$$

and

$$ F^{C}_{k}(s)=G^{C}_{k}(s)- \tilde{B}_{k},\quad s\in\mathbb{R}, $$
(32)

where

$$ \tilde{B}_{k}=7B_{k}+8B_{k} \biggl( \frac{1}{4} \biggr) +7B_{k} \biggl( \frac{1}{2} \biggr) +8B_{k} \biggl( \frac{3}{4} \biggr). $$

By direct calculation we get \(\tilde{B}_{2}=1/4\) and \(\tilde{B}_{3}=\tilde{B}_{4}=\tilde{B}_{5}=0\). Further, it is easy to see that \(\tilde{B}_{2k-1}=0\), \(k\geq2\).

For any function \(f:[0,1]\rightarrow\mathbb{R}\) such that \(f^{(n-1)}\) exists on \([0,1]\) for some \(n\geq1\) we define \(T^{C}_{0}(f)=T^{C}_{1}(f)=0\),

$$T^{C}_{2}(f)=T^{C}_{3}(f)=T^{C}_{4}(f)=T^{C}_{5}(f)=- \frac{1}{240} \bigl[ f^{\prime}(1)-f^{\prime}(0) \bigr] $$

and for \(m\geq6\),

$$\begin{aligned} T^{C}_{m}(f) =&-\frac{1}{240} \bigl[ f^{\prime}(1)-f^{\prime}(0) \bigr] \\ &{}+\frac{1}{15}\sum_{k=3}^{\lfloor m/2 \rfloor} \frac{1}{(2k)!}2^{-2k}\bigl(1-2^{4-2k}\bigr)B_{2k} \bigl[ f^{(2k-1)}(1)-f^{(2k-1)}(0) \bigr] . \end{aligned}$$
(33)

In [16], the authors established the following corrected Euler Bullen-Simpson formulae.

Lemma 2

Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(n-1)}\) is a continuous function of bounded variation on \([0,1]\), for some \(n\geq1\). Then

$$ \int_{0}^{1}f(s)\,\mathrm{d}s=D^{C}(0,1)+T^{C}_{n}(f)+R^{C}_{n}(f) $$
(34)

and

$$ \int_{0}^{1}f(s)\,\mathrm{d}s=D^{C}(0,1)+T^{C}_{n-1}(f)+ \hat{R}^{C}_{n}(f), $$
(35)

where

$$ R^{C}_{n}(f)=\frac{1}{30 ( n! ) }\int_{0}^{1}G^{C}_{n} ( s ) \,\mathrm{d}f^{(n-1)}(s) $$

and

$$ \hat{R}^{C}_{n}(f)=\frac{1}{30 ( n! ) }\int _{0}^{1}F^{C}_{n} ( s ) \, \mathrm{d}f^{(n-1)}(s). $$

Using Theorem 1 for identity (34) we get the following Grüss type inequality.

Theorem 5

Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(n)}\) is absolutely continuous for some \(n\geq1\). Then

$$ \int_{0}^{1}f(s)\, \mathrm{d}s-D^{C}(0,1)-T^{C}_{n}(f)=K^{C}_{n}(f), $$
(36)

and the remainder \(K^{C}_{n}(f)\) satisfies the inequality

$$\begin{aligned} \bigl\vert K^{C}_{n}(f)\bigr\vert \leq& \frac{1}{15} \biggl[\frac{ (-1 )^{n-1}}{2(2n)!} \bigl(2^{-2n}+7 \cdot2^{5-4n} \bigr)B_{2n} \biggr]^{1/2} \\ &{}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(n+1)}(s) \bigr)^{2}\, \mathrm {d}s \biggr]^{1/2}. \end{aligned}$$
(37)

Proof

Applying Theorem 1 for \(f\rightarrow G^{C}_{n}\), \(g\rightarrow f^{(n)}\), we obtain

$$\begin{aligned}& \biggl\vert \int_{0}^{1}G^{C}_{n} (s )f^{(n)}(s)\,\mathrm{d}s-\int_{0}^{1}G^{C}_{n} (s )\,\mathrm{d}s\cdot\int_{0}^{1}f^{(n)}(s) \,\mathrm{d}s\biggr\vert \\& \quad \leq \frac{1}{\sqrt{2}} \bigl[T \bigl(G^{C}_{n} ( \cdot ),G^{C}_{n} (\cdot ) \bigr) \bigr]^{1/2}\cdot \biggl[\int_{0}^{1}s(1-s) \bigl(f^{(n+1)}(s) \bigr)^{2}\,\mathrm{d}s \biggr]^{1/2}, \end{aligned}$$
(38)

where

$$ T \bigl(G^{C}_{n} (\cdot ),G^{C}_{n} (\cdot ) \bigr) = \int_{0}^{1} \bigl(G^{C}_{n} (s ) \bigr)^{2}\,\mathrm{d}s- \biggl[\int_{0}^{1}G^{C}_{n} (s )\, \mathrm {d}s \biggr]^{2}. $$

Easily we get \(\int_{0}^{1}G^{C}_{n} (s )\, \mathrm{d}s=0\) and using integration by parts we have

$$\begin{aligned}& \int_{0}^{1} \bigl(G^{C}_{n} (s ) \bigr)^{2}\,\mathrm{d}s \\& \quad = (-1)^{n-1}\frac{n(n-1)\cdots 2}{(n+1)(n+2)\cdots(2n-1)} \biggl[\int_{0}^{1}G^{C}_{1}(s)G^{C}_{2n-1}(s) \,\mathrm{d}s \biggr] \\& \quad = (-1)^{n-1}\frac{(n!)^{2}}{(2n)!} \biggl[-30\int _{0}^{1}G^{C}_{2n}(s)\, \mathrm{d}s+14G^{C}_{2n} (0 )+16G^{C}_{2n} \biggl(\frac{1}{4} \biggr) \biggr] \\& \quad = (-1)^{n-1}\frac{(n!)^{2}}{(2n)!} \biggl[226B_{2n}+448B_{2n} \biggl(\frac{1}{4} \biggr)+226B_{2n} \biggl(\frac{1}{2} \biggr) \biggr]. \end{aligned}$$

Using (34) and (38), we deduce representation (36) and bound (37). □

Remark 5

Because of (32) we get

$$\int_{0}^{1}F^{C}_{k} (s ) \,\mathrm{d}s=\int_{0}^{1}G^{C}_{k} (s )\,\mathrm{d}s-\int_{0}^{1}\tilde {B}_{k}\,\mathrm{d}s=-\tilde{B}_{k}, $$

and also

$$ \int_{0}^{1} \bigl(F^{C}_{k} (s ) \bigr)^{2}\,\mathrm{d}s=\int_{0}^{1} \bigl(G^{C}_{k} (s ) \bigr)^{2}\,\mathrm{d}s-2 \tilde {B}_{k}\int_{0}^{1}G^{C}_{k} (s )\,\mathrm{d}s+\tilde{B}_{k}^{2}. $$

So, using (35), similar to (38), we obtain equality (36) and inequality (37), too.

The following Grüss type inequality also holds.

Theorem 6

Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(n)}\) is absolutely continuous and \(f^{(n+1)}\geq0\) on \([0,1]\). Then representation (36) holds and the remainder \(K^{C}_{n}(f)\) satisfies the bound

$$ \bigl\vert K^{C}_{n}(f)\bigr\vert \leq \frac{1}{30(n-1)!}\bigl\Vert G^{C}_{n-1} (s )\bigr\Vert _{\infty} \biggl\{ \frac{f^{(n-1)}(0)+f^{(n-1)}(1)}{2}- \bigl[f^{(n-2)};0,1 \bigr] \biggr\} . $$
(39)

Proof

Applying Theorem 2 for \(f\rightarrow G^{C}_{n}\), \(g\rightarrow f^{(n)}\), we obtain

$$\begin{aligned}& \biggl\vert \int_{0}^{1}G^{C}_{n} (s )f^{(n)}(s)\,\mathrm{d}s-\int_{0}^{1}G^{C}_{n} (s )\,\mathrm{d}s\cdot\int_{0}^{1}f^{(n)}(s) \,\mathrm{d}s\biggr\vert \\& \quad \leq \frac{n}{2}\bigl\Vert G^{C}_{n-1} (s ) \bigr\Vert _{\infty} \biggl(\int_{0}^{1}s(1-s)f^{(n+1)}(s) \,\mathrm{d}s \biggr). \end{aligned}$$
(40)

So, similar to Theorem 4, using representation (36) and inequality (40), we deduce (39). □

References

  1. Ujević, N, Roberts, AJ: A corrected quadrature formula and applications. ANZIAM J. 45(E), 41-56 (2004)

    Google Scholar 

  2. Mitrinović, DS, Pečarić, JE, Fink, AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht (1993)

    Book  MATH  Google Scholar 

  3. Dedić, L, Matić, M, Pečarić, J: Some inequalities of Euler-Grüss type. Comput. Math. Appl. 41, 843-856 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  4. Dragomir, SS: Some Grüss-type inequalities in inner product spaces. J. Inequal. Pure Appl. Math. 4(2), Article ID 42 (2003)

    MathSciNet  Google Scholar 

  5. Izumino, S, Pečarić, J, Tepeš, B: A Grüss-type inequality and its applications. J. Inequal. Appl. 2005(3), 277-288 (2005)

    Article  MATH  Google Scholar 

  6. Pachpatte, BG: On Čebyšev-Grüss type inequalities via Pečaric’s extension of the Montgomery identity. J. Inequal. Pure Appl. Math. 7(1), Article ID 11 (2006)

    MathSciNet  Google Scholar 

  7. Ujević, N: A new generalization of Grüss inequality in inner product spaces. J. Math. Anal. Appl. 250, 494-511 (2000)

    Article  MathSciNet  Google Scholar 

  8. Vukelić, A: Estimations of the error for general Simpson type formulae via pre-Grüss inequality. J. Math. Inequal. 3(4), 559-566 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  9. Cerone, P, Dragomir, SS: Some new Ostrowski-type bounds for the Čebyšev functional and applications. J. Math. Inequal. 8(1), 159-170 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  10. Franjić, I, Pečarić, J, Perić, I: Quadrature formulae of Gauss type based on Euler identities. Math. Comput. Model. 45(3-4), 355-370 (2007)

    Article  MATH  Google Scholar 

  11. Aglić Aljinović, A, Čivljak, A, Kovač, S, Pečarić, J, Ribičić Penava, M: General Integral Identities and Related Inequalities. Element, Zagreb (2013)

    Google Scholar 

  12. Franjić, I, Pečarić, J, Perić, I, Vukelić, A: Euler Integral Identity, Quadrature Formulae and Error Estimations. Element, Zagreb (2011)

    Google Scholar 

  13. Abramowitz, M, Stegun, IA (eds.): Handbook of Mathematical Functions: With Formulae, Graphs and Mathematical Tables, 4th printing edn. Applied Math. Series, vol. 55. National Bureau of Standards, Washington (1965)

    Google Scholar 

  14. Bullen, PS: Error estimates for some elementary quadrature rules. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. Fiz. 602-633, 97-103 (1978)

    MathSciNet  Google Scholar 

  15. Matić, M, Pečarić, J, Vukelić, A: On generalization of Bullen-Simpson’s inequality. Rocky Mt. J. Math. 35, 1727-1754 (2005)

    Article  MATH  Google Scholar 

  16. Franjić, I, Pečarić, J: On corrected Bullen-Simpson’s inequality. Bull. Allahabad Math. Soc. 21, 105-123 (2006)

    MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work has been fully supported by Croatian Science Foundation under the project 5435.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mihaela Ribičić Penava.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Klaričić Bakula, M., Pečarić, J., Ribičić Penava, M. et al. Some Grüss type inequalities and corrected three-point quadrature formulae of Euler type. J Inequal Appl 2015, 76 (2015). https://doi.org/10.1186/s13660-015-0603-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0603-x

MSC

Keywords