- Research Article
- Open access
- Published:
Ostrowski Type Inequalities for Higher-Order Derivatives
Journal of Inequalities and Applications volume 2009, Article number: 162689 (2009)
Abstract
This paper has shown some new Ostrowski type inequalities involving higher-order derivatives. The results generalized the Ostrowski type inequalities. Applications of the inequalities are also given.
1. Main Result and Introduction
The following inequality is well known in literature as Ostrowski's integral inequality.
Let be continuous on
and differentiable on
whose derivative
is bounded on
, that is,
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ1_HTML.gif)
Moreover the constant 1/4 is the best possible. Because Ostrowski's integral inequality is useful in some fields, many generalizations, extensions, and variants of this inequality have appeared in the literature; see [1–9] and the references given therein. The main aim of this paper is to establish some new Ostrowski type inequalities involving higher-order derivatives. The analysis used in the proof is elementary. The main result of this paper is the following inequality.
Theorem 1.1.
Suppose
(1) to be continuous on
;
(2) to be nth order differentiable on
whose nth order derivative
is bounded on
, that is,
;
(3)there exists such that
.
Then for any , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ2_HTML.gif)
As applications of the inequality (1.2), we give more Ostrowski type inequalities.
2. The Proof of Theorem 1.1
In this section, we use the Taylor expansion to prove Theorem 1.1. Before the proof, we need the following lemmas.
Lemma 2.1.
Suppose and
, then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ3_HTML.gif)
Proof.
When , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ4_HTML.gif)
When , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ5_HTML.gif)
From (2.2) and (2.3), we know that (2.1) holds.
Lemma 2.2.
Suppose , then for
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ6_HTML.gif)
Proof.
It is obvious that (2.4) is true for . When
, let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ7_HTML.gif)
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ8_HTML.gif)
The only real root of is
. Notice
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ9_HTML.gif)
Therefore we get the inequality (2.4).
Now, we give the proof of Theorem 1.1.
Proof.
Using the Taylor expansion of at
gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ10_HTML.gif)
Taking the integral on both sides of (2.8) with respect to variable over
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ11_HTML.gif)
where the parameter is not a constant but depends on
. From (2.8) and (2.9) one gets
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ12_HTML.gif)
So we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ13_HTML.gif)
Using Lemmas 2.1 and 2.2 gives (1.2). Thus, we complete the proof.
3. Some Applications
In this section, we show some applications of the inequality (1.2). In fact, we can use (1.2) to derive some new Ostrowski type inequalities.
Theorem 3.1.
Suppose
(1) to be continuous on
;
(2) to be second order differentiable on
whose second derivative
is bounded on
, that is,
;
(3).
Then for any , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ14_HTML.gif)
Proof.
From Rolle's mean value theorem, we know that there exists such that
. Let
in the inequality (1.2), then we have (3.1).
Corollary 3.2.
With the assumptions in Theorem 3.1, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ15_HTML.gif)
Proof.
For any , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ16_HTML.gif)
Consequently, (3.1) gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ17_HTML.gif)
Corollary 3.3.
With the assumptions in Theorem 3.1, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ18_HTML.gif)
Proof.
For any , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ19_HTML.gif)
Substituting (3.6) into (3.1) gives (3.5).
Theorem 3.4.
Suppose
(1) to be continuous on
;
(2) to be nth order differentiable on
whose nth order derivative
is bounded on
, that is,
.
Then for any and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ20_HTML.gif)
Proof.
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ21_HTML.gif)
Then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ22_HTML.gif)
Using inequality (1.2) to gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ23_HTML.gif)
Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ24_HTML.gif)
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ25_HTML.gif)
Using Ostrowski's integral inequality (1.1) one gets
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ26_HTML.gif)
Notice
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ27_HTML.gif)
Substituting (3.13) and (3.14) into (3.12) gives (3.7).
It is easy to see that (3.7) is the generalization of (1.2). If we let in (3.7) and use (3.6), we get the following inequality.
Corollary 3.5.
With the assumptions in Theorem 3.4, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F162689/MediaObjects/13660_2009_Article_1903_Equ28_HTML.gif)
References
Ostrowski A: Über die absolutabweichung einer differentienbaren Funktionen von ihren integralmittelwert. Commentarii Mathematics Helvetici 1938, 10: 226–227.
Anastassiou GA: Multivariate Ostrowski type inequalities. Acta Mathematica Hungarica 1997,76(4):267–278. 10.1023/A:1006529405430
Barnett NS, Dragomir SS: An Ostrowski type inequality for double integrals and applications for cubature formulae. RGMIA Research Report Collection 1998,1(1):13–22.
Dragomir SS, Barnett NS, Cerone P: An n-dimensional version of Ostrowski's inequality for mappings of the Hölder type. RGMIA Research Report Collection 1999,2(2):169–180.
Dragomir SS, Agarwal RP, Cerone P: On Simpson's inequality and applications. Journal of Inequalities and Applications 2000,5(6):533–579. 10.1155/S102558340000031X
Dragomir SS: Ostrowski type inequalities for isotonic linear functionals. Journal of Inequalities in Pure and Applied Mathematics 2002,3(5, article 68):1–13.
Florea A, Niculescu CP: A note on Ostrowski's inequality. Journal of Inequalities and Applications 2005, (5):459–468.
Pachpatte BG: On an inequality of Ostrowski type in three independent variables. Journal of Mathematical Analysis and Applications 2000,249(2):583–591. 10.1006/jmaa.2000.6913
Pachpatte BG: On a new Ostrowski type inequality in two independent variables. Tamkang Journal of Mathematics 2001,32(1):45–49.
Acknowledgments
The author would like to express deep appreciation to the referees for the helpful suggestions. Mingjin Wang was supported by STF of Jiangsu Polytechnic University.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Wang, M., Zhao, X. Ostrowski Type Inequalities for Higher-Order Derivatives. J Inequal Appl 2009, 162689 (2009). https://doi.org/10.1155/2009/162689
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/162689