Generalizations of Ostrowski type inequalities via Hermite polynomials

We present new generalizations of the weighted Montgomery identity constructed by using the Hermite interpolating polynomial. The obtained identities are used to establish new generalizations of weighted Ostrowski type inequalities for differentiable functions of class Cn. Also, we consider new bounds for the remainder of the obtained identities by using the Chebyshev functional and certain Grüss type inequalities for this functional. By applying those results we derive inequalities for the class of n-convex functions.


Introduction
In 1938, A.M. Ostrowski [13] pointed out the following inequality which gives an approximation of the integral 1 b-a b a f (t) dt: [a, b] and differentiable on (a, b) with a bounded derivative. Since the Ostrowski inequality can be proved by using the Montgomery identity in this paper we use the weighted Montgomery identity to obtain certain generalizations of Ostrowski type inequalities. The weighted Montgomery identity (see [14]) is defined by where Over the last decades, Ostrowski type inequalities have been largely investigated in the literature since they are very useful in numerical analysis and probability theory. Aglić Aljinović et al. considered some weighted Ostrowski type inequalities via the Montgomery identity and the Taylor formula, and applications in numerical integration (see [2,3] and the references cited therein). Certain Ostrowski type bounds for the Chebyshev functional and applications to the quadrature formulae can be found in papers [4,5,9,10], and [16]. In [12] and [15], Ostrowski type inequalities for continuous functions with one point of nondifferentiability and applications in numerical integration are presented. Some other Ostrowski type inequalities can be found in [6,7], and [8].
Throughout the paper, the symbol C n [a, b], n ∈ N, denotes the set of n times continuously differentiable functions on the interval [a, b]. It is well known that the function f is called n times continuously differentiable iff it is n times differentiable and its nth order derivative f (n) is continuous.
The main purpose of this note is to consider new generalizations of weighted Ostrowski type inequalities for functions presented by a Hermite interpolating polynomial. Since a special case of the Hermite interpolating polynomial is the two-point Taylor polynomial, in this way we generalized results from paper [3], where Ostrowski type inequalities are established by using the Taylor formula. For this purpose, let us introduce notations and terminology used in relation to the Hermite interpolating polynomial (see [1, p. 62]).
Let -∞ < a < b < ∞ and a ≤ a 1 < a 2 · · · < a r ≤ b, r ≥ 2, be the given points. Hermite interpolation of the function f ∈ C n [a, b], n ≥ r, is of the form where P H is a unique polynomial of degree (n -1) satisfying any of the following Hermite conditions: The polynomial P H is known in literature as a Hermite interpolating polynomial of the function f . Further, the error e H (t) can be represented in terms of the Green function G H,n (t, s). Let K be the square a ≤ t, s ≤ b; the same square with straight lines of the form s = a j rejected be K 0 and K 0 with rejected diagonal t = s be K 1 . Then the Green function has the following fundamental property: Theorem 1 (cf. [1, pp. 73-74]) Let f ∈ C n [a, b], and let P H be its Hermite interpolating polynomial. Then where H ij are the fundamental polynomials of the Hermite basis defined by where and G H,n is the Green function defined by for all a l ≤ s ≤ a l+1 , l = 0, . . . , r, with a 0 = a and a r+1 = b.
Hermite conditions (3) in particular include the following (m, nm) type conditions (r = 2, a 1 = a, a 2 = b, 1 ≤ m ≤ n -1, k 1 = m -1, k 2 = nm -1): In this case, where and the Green function G m,n is of the form Since we deal with an n-convex function, let us recall the definition of the divided difference (see [17, p. 15]).
The value f [x 0 , . . . , x n ] is independent of the order of the points x 0 , . . . , x n .
The definition may be extended to include the case that some (or all) of the points coincide. Assuming that f (j-1) (x) exists, we define Also, the divided difference of order n of the function f can be represented as . With these observations in mind, Popoviciu defined n-convex function as follows (see [18]).
If n = 0, then a convex function f of order 0 is a nonnegative function, a 1-convex function is a nondecreasing function, while the class of 2-convex functions coincides with the class of convex functions. It is well known that if the nth order derivative f (n) exists, then the function f is n-convex if and only if f (n) ≥ 0 (see for example [17, p. 16 and p. 293]).
The paper is organized as follows. After this introduction, in Sect. 2, we establish weighted generalizations of the Montgomery identity constructed by using the Hermite interpolating polynomial and the Green function. In Sect. 3, we derive Ostrowski type inequalities for differentiable functions of class C n . As a special case, we consider results for (m, nm) interpolating polynomial. Further, in Sect. 4, we give some new bounds for the remainder of identities previously obtained by using the Chebyshev functional and certain Grüss type inequalities for this functional. Finally, in Sect. 5, applying the properties of n-convex functions and generalizations of the weighted Montgomery identity, we obtain inequalities for the class of n-convex functions.
Throughout the paper, it is assumed that all integrals under consideration exist and that they are finite.

Generalizations of the weighted Montgomery identity
In this section, applying the weighted Montgomery identity (1) and the Hermite interpolation polynomial of the n times continuously differentiable function f , (4), we derive new generalizations of the weighted Montgomery identity.
be some normalized weight function, and let H lj be defined as (5). Then, for -∞ < a ≤ a 1 < a 2 · · · < a r ≤ b < ∞, r ≥ 2, r j=1 k j + r = n, the following identity holds: Proof Multiplying identity (4) by w(t) and integrating with respect to t from a to b, we obtain the following identity: If we subtract (15) from identity (4) stated for the variable x instead of t, we get By applying the weighted Montgomery identity (1) for H lj (x) and G H,n (x, s), we obtain the following identities: and Finally, inserting (17) and (18) into (16), we obtain (14).

Ostrowski type inequalities
In this section, we use identity (12), identity (14), and Hölder's inequality to prove some sharp and best possible inequalities for the functions whose higher order derivatives belong to L p spaces, 1 ≤ p ≤ ∞. As a special case, we discuss results for (m, nm) interpolating polynomial.
In what follows, (p, q) is a pair of conjugate exponents if 1 ≤ p, q ≤ ∞ and 1 p + 1 q = 1, with the convention 1 Further, we denote and where the Green function G H,n is as defined in (7).
where Λ w is defined by (19). The constant on the right-hand side of (21) is sharp for 1 < p ≤ ∞ and the best possible for p = 1.
Proof By applying Hölder's inequality to (12), we obtain (21). For the proof of the sharpness of the constant Λ w q , let us find a function f for which the equality in (21) is obtained. For 1 < p < ∞, take f to be such that is the best possible inequality. Suppose that |Λ w (s)| attains its maximum at s 0 ∈ [a, b]. First, we assume that Λ w (s 0 ) > 0. For ε small enough, we define f ε (s) by the statement follows. In the case Λ w (s 0 ) < 0, we define f ε (s) by and the rest of the proof is the same as above.
Theorem 5 Suppose that all the assumptions of Theorem 3 hold. Additionally, assume that (p, q) is a pair of conjugate exponents 1 ≤ p, q ≤ ∞ and f (n) ∈ L p [a, b]. Then the following inequality holds: where Ω w is defined by (20). The constant on the right-hand side of (23) is sharp for 1 < p ≤ ∞ and the best possible for p = 1.
Proof By applying Hölder's inequality to (14), we obtain (23). The proof of the sharpness of the constant Ω w q is analogous to the proof of Theorem 4.
By using (m, n-m) type conditions, we obtain the following generalizations of Ostrowski type inequalities as special cases of Theorem 4 and Theorem 5, respectively.

Grüss type inequalities
We start this section by observation about the Chebyshev functional and certain inequalities for the Chebyshev functional. These inequalities are very useful in numerical integration, some recent results can be found in papers [9,10], and [16]. For that reason, we consider some new bounds for the remainder of identities (12) and (14) by using the Chebyshev functional and Grüss type inequalities for this functional.
For two real functions f , h : , Chebyshev functional [11] is defined by In [5], Cerone and Dragomir established the following inequalities for the Chebyshev functional.
Remark 4 The constant 1 2 in (27) is the best possible. Now we use the above theorems and the results proved in the previous sections to obtain certain Grüss type inequalities.
where the remainder R 1 n (f ; a, b) satisfies the estimation where the remainder R 2 n (f ; a, b) satisfies the estimation Proof (i) By applying Theorem 7 to Λ w in place of f and f (n) in place of h, we obtain the following: from identity (12) we obtain (28). Further, the remainder R 1 n (f ; a, b) satisfies estimation (29). (ii) Analogous to (i). 0 on [a, b], and let Λ w , Ω w be defined in (19) and (20). Then we have representations (28) and (30) and the remainders R i n (f ; a, b), i = 1, 2, satisfy the bounds and Proof By applying Theorem 8 to Λ w in place of f and f (n) in place of h, we deduce using identity (12) and (34), we obtain (32). Similarly, from identity (14) we get inequality (33).

Inequalities for n-convex functions
The aim of this section is to consider certain inequalities for n-convex functions. This will be done by using the properties of n-convex functions and generalizations of weighted Montgomery identity obtained in Sect. 2.
Proof Since the function f is n-convex, therefore, without loss of generality, we can assume that f is n-times differentiable and f (n) (t) ≥ 0, t ∈ [a, b]. Using this fact and assumption (35), by applying Theorem 2, we obtain (36).
Proof The proof is similar to the proof of Theorem 11.

Conclusion
In this paper, new generalizations of Ostrowski type inequalities are obtained. The methods used are based on the classical real analysis, application of the Hermite interpolating polynomials and the weighted Montgomery identity. The obtained results and the Chebyshev functional are then applied to establish new upper bounds for the remainder of generalized Montgomery identity. Also, certain inequalities for the class of n-convex functions are derived. In our future work, we will investigate some applications of the above results in numerical analysis and probability theory.