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.
Similar content being viewed by others
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
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):
Over the last decades some new inequalities of this type have been considered and applied in numerical analysis (see [2–8] 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
then
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
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
and related to the Bernoulli polynomials as follows:
The Bernoulli polynomials \(B_{k}(s)\), \(k\geq0\), are uniquely determined by the identities
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
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:
where
and \(s \in\mathbb{R}\).
From the properties of the Bernoulli polynomials it easily follows that
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
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
where
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:
while assuming \(f^{(2n)}\) is a continuous function of bounded variation on \([0,1]\) for some \(n \geq0\) it follows that
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
and
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:
and the remainder \(K^{CQ3}_{2n} (f )\) satisfies the inequality
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:
and the remainder \(K^{CQ3}_{2n+1} (f )\) satisfies the inequality
Proof
Applying Theorem 1 with \(G_{k}^{CQ3}\) in place of f and \(f^{ (k )}\) in place of g we obtain
where
By elementary calculations we obtain
Using integration by parts we get
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
and
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} )\),
and for \(x\in [0, \frac{1}{2}-\frac{\sqrt{15}}{10} )\),
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
If \(f^{(2n+1)}\) is absolutely continuous for some \(n\geq0\) then
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\),
Remark 2
Specially, if \(f^{\prime}\) is absolutely continuous then for \(n=0\) in Corollary 2, we derive
Further, if \(f^{\prime\prime}\) is absolutely continuous then for \(n=1\) in Corollary 2 we obtain
Corollary 3
Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(2n)}\) is absolutely continuous for some \(n\geq1\). Then
If \(f^{(2n+1)}\) is absolutely continuous for some \(n\geq0\) then
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\),
Remark 3
If \(f^{\prime}\) is absolutely continuous then for \(n=0\) in Corollary 3 we obtain
If \(f^{\prime\prime}\) is absolutely continuous then for \(n=1\) in Corollary 3 we get
Corollary 4
Let \(f:[0,1]\rightarrow\mathbb{R}\) be such that \(f^{(2n)}\) is absolutely continuous for some \(n\geq1\). Then
If \(f^{(2n+1)}\) is absolutely continuous for some \(n\geq0\) then
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\),
Remark 4
Specially, if \(f^{\prime}\) is absolutely continuous then for \(n=0\) in Corollary 4 we obtain
If \(f^{\prime\prime}\) is absolutely continuous then for \(n=1\) in Corollary 4 we get
Here, as in the rest of the paper, the symbol \([f^{(k)};0,1 ]\) denotes the divided difference of the function \(f^{(k)}\),
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:
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
Proof
Applying Theorem 2 with \(G^{CQ3}_{2n}\) in place of f and \(f^{ (2n )}\) in place of g we deduce
Further,
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:
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,
Also, they obtained a generalisation of inequality (31) for a class of \((2k)\)-convex functions.
Let us define
We consider the sequences of functions \((G^{C}_{k}(s))_{k\geq1}\) and \((F^{C}_{k}(s))_{k\geq1}\) defined by
and
where
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\),
and for \(m\geq6\),
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
and
where
and
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
and the remainder \(K^{C}_{n}(f)\) satisfies the inequality
Proof
Applying Theorem 1 for \(f\rightarrow G^{C}_{n}\), \(g\rightarrow f^{(n)}\), we obtain
where
Easily we get \(\int_{0}^{1}G^{C}_{n} (s )\, \mathrm{d}s=0\) and using integration by parts we have
Using (34) and (38), we deduce representation (36) and bound (37). □
Remark 5
Because of (32) we get
and also
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
Proof
Applying Theorem 2 for \(f\rightarrow G^{C}_{n}\), \(g\rightarrow f^{(n)}\), we obtain
So, similar to Theorem 4, using representation (36) and inequality (40), we deduce (39). □
References
Ujević, N, Roberts, AJ: A corrected quadrature formula and applications. ANZIAM J. 45(E), 41-56 (2004)
Mitrinović, DS, Pečarić, JE, Fink, AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht (1993)
Dedić, L, Matić, M, Pečarić, J: Some inequalities of Euler-Grüss type. Comput. Math. Appl. 41, 843-856 (2001)
Dragomir, SS: Some Grüss-type inequalities in inner product spaces. J. Inequal. Pure Appl. Math. 4(2), Article ID 42 (2003)
Izumino, S, Pečarić, J, Tepeš, B: A Grüss-type inequality and its applications. J. Inequal. Appl. 2005(3), 277-288 (2005)
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)
Ujević, N: A new generalization of Grüss inequality in inner product spaces. J. Math. Anal. Appl. 250, 494-511 (2000)
Vukelić, A: Estimations of the error for general Simpson type formulae via pre-Grüss inequality. J. Math. Inequal. 3(4), 559-566 (2009)
Cerone, P, Dragomir, SS: Some new Ostrowski-type bounds for the Čebyšev functional and applications. J. Math. Inequal. 8(1), 159-170 (2014)
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)
Aglić Aljinović, A, Čivljak, A, Kovač, S, Pečarić, J, Ribičić Penava, M: General Integral Identities and Related Inequalities. Element, Zagreb (2013)
Franjić, I, Pečarić, J, Perić, I, Vukelić, A: Euler Integral Identity, Quadrature Formulae and Error Estimations. Element, Zagreb (2011)
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)
Bullen, PS: Error estimates for some elementary quadrature rules. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. Fiz. 602-633, 97-103 (1978)
Matić, M, Pečarić, J, Vukelić, A: On generalization of Bullen-Simpson’s inequality. Rocky Mt. J. Math. 35, 1727-1754 (2005)
Franjić, I, Pečarić, J: On corrected Bullen-Simpson’s inequality. Bull. Allahabad Math. Soc. 21, 105-123 (2006)
Acknowledgements
This work has been fully supported by Croatian Science Foundation under the project 5435.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0603-x