Next Article in Journal
Symmetric Radial Basis Function Method for Simulation of Elliptic Partial Differential Equations
Previous Article in Journal
A Model and an Algorithm for a Large-Scale Sustainable Supplier Selection and Order Allocation Problem
Article

A Parameter-Based Ostrowski–Grüss Type Inequalities with Multiple Points for Derivatives Bounded by Functions on Time Scales

1
Department of Mathematics and Computer Science, Alabama State University, Montgomery, AL 36101, USA
2
Department of Mathematics, Tuskegee University, Tuskegee, AL 36088, USA
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(12), 326; https://doi.org/10.3390/math6120326
Received: 5 November 2018 / Revised: 6 December 2018 / Accepted: 11 December 2018 / Published: 14 December 2018

Abstract

In this paper, we present some Ostrowski–Grüss-type inequalities on time scales for functions whose derivatives are bounded by functions for k points via a parameter. The 2D versions of these inequalities are also presented. Our results generalize some of the results in the literature. As a by-product, we apply our results to the continuous and discrete calculus to obtain some interesting inequalities in this direction.
Keywords: Ostrowski–Grüss-type inequality; Montgomery identity; time scales; parameter Ostrowski–Grüss-type inequality; Montgomery identity; time scales; parameter

1. Introduction

In 1997, Dragomir and Wang [1] proved that if f : [ a , b ] R is a differentiable function such that there exist constants γ , Γ R with γ f ( x ) Γ for all x [ a , b ] , then we have:
| f ( x ) 1 b a a b f ( s ) d s f ( b ) f ( a ) b a x a + b 2 | 1 4 ( b a ) ( Γ γ )
for all x [ a , b ] . The above inequality is known in the literature as the Ostrowski–Grüss-type inequality. This inequality has been improved (see [2,3]) and generalized (see [4,5,6,7,8]) in several different ways. In particular, the authors in [5,6] obtained some Ostrowski–Grüss-type inequalities with the derivatives bounded by functions instead of scalars. Since the introduction of the theory of time scales by the German mathematician Stefan Hilger in his Ph.D thesis [9], several integral inequalities have been extended to time scales by many authors (see [10,11,12]). For some extensions of (1) to time scales, we refer the reader to the papers [13,14,15,16,17,18,19]. Recently, Nwaeze et al. [16] obtained the following generalization of Inequality (1) on time scales for k + 1 points via a parameter.
Theorem 1
([16], Theorem 13). Suppose that:
1.
a , b T , λ [ 0 , 1 ] , I k : a = x 0 < x 1 < < x k 1 < x k = b is a partition of the interval [ a , b ] for x 0 , x 1 , , x k T ,
2.
α i T ( i = 0 , 1 , , k + 1 ) is k + 2 points so that α 0 = a , α i [ x i 1 , x i ] ( i = 1 , , k ) and α k + 1 = b ,
3.
f : [ a , b ] R is a differentiable function; f Δ is rd-continuous; and there exists γ , Γ R such that γ f Δ ( t ) Γ for all t [ a , b ] . Then, the following inequality holds,
| ( 1 λ ) i = 0 k ( α i + 1 α i ) f ( x i ) + λ i = 0 k ( α i + 1 α i ) f ( α i ) + f ( α i + 1 ) 2 a b f σ ( t ) Δ t Γ + γ 2 i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 h 2 x i , α i + 1 λ α i + 1 α i 2 Γ + γ 2 i = 0 k 1 h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 | Γ γ 2 i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 + h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 + h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] ,
where h 2 ( t , s ) = s t ( τ s ) Δ τ . Inequality (2) is sharp in the sense that the constant 1/2 on the right-hand side cannot be replaced by a smaller one.
Motivated by the results in [5,6], the goal of this article is to provide some Ostrowski–Grüss-type inequalities on time scales for functions whose derivatives are bounded by functions. Our findings give a broader view of some established published results.

2. Time Scale Essentials

In this section, we collect basic time scale concepts that will aid in better understanding of this work. For more on this subject, we refer the interested reader to Hilger’s Ph.D. thesis [9], the books [20,21], and the survey [10].
Definition 1
([20]). A time scale T is an arbitrary nonempty closed subset of the real numbers.
We assume throughout that T has the topology that is inherited from the standard topology on R . It is also assumed throughout that in T , the interval a , b means the set t T : a t b for the points a < b in T . Since a time scale may not be connected, we need the following concept of jump operators.
Definition 2
([20]). For each t T , the forward jump operator σ : T T is defined by σ ( t ) = inf s T : s > t and the backward jump operator ρ : T T is defined by ρ ( t ) = sup s T : s < t .
Definition 3
([20]). If σ ( t ) > t , then we say that t is right-scattered, while if ρ ( t ) < t , then we say that t is left-scattered. Points that are right-scattered and left-scattered at the same time are called isolated. If σ ( t ) = t , then t is called right-dense, and if ρ ( t ) = t , then t is called left-dense. Points that are both right-dense and left-dense are called dense.
Definition 4
([20]). The mapping μ : T 0 , defined by μ ( t ) = σ ( t ) t is called the graininess function. The set T κ is defined as follows: if T has a left-scattered maximum m , then T κ = T m ; otherwise, T κ = T .
If T = R , then μ ( t ) = 0 , and when T = Z , we have μ ( t ) = 1 .
Definition 5
([20]). Let f : T R and t T κ . Then, we define f Δ ( t ) to be the number (provided it exists) with the property that for any given ϵ > 0 , there exists a neighborhood U of t such that:
f ( σ ( t ) ) f ( s ) f Δ ( t ) σ ( t ) s ϵ σ ( t ) s , s U .
We call f Δ ( t ) the delta derivative of f at t . Moreover, we say that f is delta differentiable (or in short, differentiable) on T κ provided f Δ ( t ) exists for all t T κ . The function f Δ : T κ R is then called the delta derivative of f on T κ .
In the case T = R , f Δ ( t ) = d f ( t ) d t . In the case T = Z , f Δ ( t ) = Δ f ( t ) = f ( t + 1 ) f ( t ) , which is the usual forward difference operator.
Theorem 2
([20]). If f , g : T R are differentiable at t T κ , then the product f g : T R is differentiable at t and:
f g Δ ( t ) = f Δ ( t ) g ( t ) + f ( σ ( t ) ) g Δ ( t ) .
Definition 6
([20]). The function f : T R is said to be rd-continuous on T provided it is continuous at all right-dense points t T and its left-sided limits exist at all left-dense points t T . The set of all rd-continuous function f : T R is denoted by C r d ( T , R ) . Furthermore, the set of functions f : T R that are differentiable and whose derivative is rd-continuous is denoted by C r d 1 ( T , R ) .
It follows from ([20] Theorem 1.74) that every rd-continuous function has an anti-derivative.
Definition 7
([20]). Let F : T R be a function. Then, F : T R is called the anti-derivative of f on T if it satisfies F Δ ( t ) = f ( t ) for any t T κ . In this case, the Cauchy integral is defined by:
a b f ( t ) Δ t = F ( b ) F ( a ) , a , b T .
Theorem 3
([20]). Let f , g C r d ( T , R ) , a , b , c T , and α , β R . Then:
(1) a b α f ( t ) + β g ( t ) Δ t = α a b f ( t ) Δ t + β a b g ( t ) Δ t .
(2) a b f ( t ) Δ t = b a f ( t ) Δ t .
(3) a b f ( t ) Δ t = a c f ( t ) Δ t + c b f ( t ) Δ t .
(4) a b f ( t ) g Δ ( t ) Δ t = f g ( b ) f g ( a ) a b f Δ ( t ) g ( σ ( t ) ) Δ t .
(5) If | f ( t ) | g ( t ) on [ a , b ] , then:
a b f ( t ) Δ t a b g ( t ) Δ t .
Definition 8
([20]). The polynomials h k , g k : T 2 R , k N 0 are defined recursively as thus: h 0 ( t , s ) : = g 0 ( t , s ) : = 1 for all s , t T , g k + 1 t , s = s t g k σ τ , s Δ τ , and h k + 1 t , s = s t h k τ , s Δ τ for all s , t T .
In view of the above definition, we make the following remarks that will come handy in the sequel (see [20] Example 1.102).
-
For T = R , h 2 ( t , s ) = ( t s ) 2 2 .
-
For T = Z , h 2 ( t , s ) = ( t s ) ( t s 1 ) 2 .

3. Main Results

To prove our 1D results, we will need the following lemma given in [22].
Lemma 1
(Generalized Montgomery identity with a parameter). Suppose that:
1.
a , b T , λ [ 0 , 1 ] , I k : a = x 0 < x 1 < < x k 1 < x k = b is a partition of the interval [ a , b ] for x 0 , x 1 , , x k T ,
2.
α i T ( i = 0 , 1 , , k + 1 ) is k + 2 points so that α 0 = a , α i [ x i 1 , x i ] ( i = 1 , , k ) , and α k + 1 = b ,
3.
f : [ a , b ] R is a differentiable function.
Then, we have the following equation:
a b K ( t , I k ) f Δ ( t ) Δ t + a b f σ ( t ) Δ t = ( 1 λ ) i = 0 k α i + 1 α i f ( x i ) + λ i = 0 k α i + 1 α i f ( α i ) + f ( α i + 1 ) 2 ,
where:
K ( t , I k ) = t α 1 λ α 1 a 2 , t [ a , α 1 ) , t α 1 + λ α 2 α 1 2 , t [ α 1 , x 1 ) , t α 2 λ α 2 α 1 2 , t [ x 1 , α 2 ) , t α k 1 + λ α k α k 1 2 , t [ α k 1 , x k 1 ) , t α k λ α k α k 1 2 , t [ x k 1 , α k ) , t α k + λ α k + 1 α k 2 , t [ α k , b ] ,
provided for each i { 0 , 1 , 2 , , k 1 } , α i + 1 λ α i + 1 α i 2 and α i + 1 + λ α i + 2 α i + 1 2 belong to T .
Remark 1.
It is easy to see that for k = 2 , λ = 0 , α 1 = a , α 2 = b , and x 1 = x , we recover the classical Montgomery identity on time scales.
Theorem 4.
Suppose f satisfies the conditions of Lemma 1. If there exists functions α , β with α ( t ) f Δ ( t ) β ( t ) for all t [ a , b ] , then we have the inequality:
| ( 1 λ ) i = 0 k ( α i + 1 α i ) f ( x i ) + λ i = 0 k ( α i + 1 α i ) f ( α i ) + f ( α i + 1 ) 2 a b f σ ( t ) Δ t a b K ( t , I k ) α ( t ) + β ( t ) 2 Δ t | 1 2 β α i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 + h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 + h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ]
provided for each i { 0 , 1 , 2 , , k 1 } , α i + 1 λ α i + 1 α i 2 and α i + 1 + λ α i + 2 α i + 1 2 belong to T .
Proof. 
First, we observe that:
a b K ( t , I k ) f Δ ( t ) Δ t a b K ( t , I k ) α ( t ) + β ( t ) 2 Δ t = a b K ( t , I k ) f Δ ( t ) α ( t ) + β ( t ) 2 Δ t .
Using (6), we get:
| a b K ( t , I k ) f Δ ( t ) Δ t a b K ( t , I k ) α ( t ) + β ( t ) 2 Δ t | a b | K ( t , I k ) | | f Δ ( t ) α ( t ) + β ( t ) 2 | Δ t .
From the condition that α ( t ) f Δ ( t ) β ( t ) , t [ a , b ] , one obtains:
| f Δ ( t ) α ( t ) + β ( t ) 2 | 1 2 β α
for all t [ a , b ] . Now, from Lemma 1, we have:
a b K ( t , I k ) f Δ ( t ) Δ t = ( 1 λ ) i = 0 k ( α i + 1 α i ) f ( x i ) + λ i = 0 k ( α i + 1 α i ) f ( α i ) + f ( α i + 1 ) 2 a b f σ ( t ) Δ t
and:
a b | K ( t , I k ) | Δ t = i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 + h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 + h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] .
The desired inequality in (5) is obtained from (7) by using (8)–(10). □
Theorem 5.
Suppose f satisfies the conditions of Lemma 1. If there exists functions α , β with α ( t ) f Δ ( t ) β ( t ) for all t [ a , b ] , then we have the inequality:
| ( 1 λ ) i = 0 k ( α i + 1 α i ) f ( x i ) + λ i = 0 k ( α i + 1 α i ) f ( α i ) + f ( α i + 1 ) 2 a b f σ ( t ) Δ t f ( b ) f ( a ) b a i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] a b P ( t , I k ) α ( t ) + β ( t ) 2 Δ t | 1 2 β α a b | P ( t , I k ) | Δ t ,
where P ( t , I k ) = K ( t , I k ) 1 b a a b K ( s , t ) Δ s and provided for each i { 0 , 1 , 2 , , k 1 } , α i + 1 λ α i + 1 α i 2 and α i + 1 + λ α i + 2 α i + 1 2 belong to T .
Proof. 
Using the definition of P ( · , · ) , we get:
a b P ( t , I k ) f Δ ( t ) α ( t ) + β ( t ) 2 Δ t = a b K ( t , I k ) f Δ ( t ) Δ t 1 b a a b f Δ ( t ) Δ t a b K ( s , I k ) Δ s a b P ( t , I k ) α ( t ) + β ( t ) 2 Δ t .
Therefore,
| a b K ( t , I k ) f Δ ( t ) Δ t 1 b a a b f Δ ( t ) Δ t a b K ( s , I k ) Δ s a b P ( t , I k ) α ( t ) + β ( t ) 2 Δ t | a b | P ( t , I k ) | | f Δ ( t ) α ( t ) + β ( t ) 2 | Δ t .
By the time scale version of the fundamental theorem of calculus, one gets:
a b f Δ ( t ) Δ t = f ( b ) f ( a ) ,
and the identity:
a b K ( t , I k ) Δ t = i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] .
From the condition that α ( t ) f Δ ( t ) β ( t ) , t [ a , b ] , we have that:
| f Δ ( t ) α ( t ) + β ( t ) 2 | 1 2 β α
for all t [ a , b ] . Now, by Lemma 1, we obtain:
a b K ( t , I k ) f Δ ( t ) Δ t = ( 1 λ ) i = 0 k ( α i + 1 α i ) f ( x i ) + λ i = 0 k ( α i + 1 α i ) f ( α i ) + f ( α i + 1 ) 2 a b f σ ( t ) Δ t .
By using (13)–(17), we obtain the desired inequality in (11). □
The two-variable time scale calculus and multiple integration have been introduced in [23,24]. In what follows, we provide the two-dimensional versions of Theorems 4 and 5. To do this, we need the following two-dimensional version of Lemma 1. This lemma is given in [19], and it follows quite easily by using Lemma 1, so the proof is omitted.
Lemma 2
(2D Generalized Montgomery Identity with a parameter). Let λ [ 0 , 1 ] ; a , b T 1 ; c , d T 2 with a < b , c < d . Suppose that:
1.
I k : a = x 0 < x 1 < < x k 1 < x k = b is a partition of the interval [ a , b ] T 1 for x 0 , x 1 , , x k T 1 , and J k : c = y 0 < y 1 < < y k 1 < y k = d is a partition of the interval [ c , d ] T 2 for y 0 , y 1 , , y k T 2 ;
2.
α i T 1 , β i T 2 ( i = 0 , 1 , , k + 1 ) is k + 2 points so that α 0 = a , α i [ x i 1 , x i ] T 1 ( i = 1 , , k ) and α k + 1 = b , β 0 = c , β i [ y i 1 , y i ] T 2 ( i = 1 , , k ) , and β k + 1 = d ;
3.
f : [ a , b ] T 1 × [ c , d ] T 2 R is a Δ 1 Δ 2 differentiable function.
Then, we have the identity:
a b c d K ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s Δ 2 t Δ 1 s = ( 1 λ ) 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( x i , y j ) + ( 1 λ ) λ 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) ( f ( α i , y j ) + f ( α i + 1 , y j ) + f ( x i , β j ) + f ( x i , β j + 1 ) ) ( 1 λ ) j = 0 k a b ( β j + 1 β j ) f ( σ ( s ) , y j ) Δ 1 s + λ 2 4 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( α i , β j ) + f ( α i , β j + 1 ) + f ( α i + 1 , β j ) + f ( α i + 1 , β j + 1 ) λ 2 j = 0 k a b ( β j + 1 β j ) f ( σ ( s ) , β j ) + f ( σ ( s ) , β j + 1 ) Δ 1 s ( 1 λ ) i = 0 k c d ( α i + 1 α i ) f ( x i , σ ( t ) ) Δ 2 t λ 2 i = 0 k c d ( α i + 1 α i ) f ( α i , σ ( t ) ) + f ( α i + 1 , σ ( t ) ) Δ 2 t + a b c d f ( σ ( s ) , σ ( t ) ) Δ 2 t Δ 1 s ,
where K ( s , t , I k , J k ) = K 1 ( s , I k ) K 2 ( t , J k ) and:
K 1 ( s , I k ) = s α 1 λ α 1 a 2 , s [ a , α 1 ) T 1 , s α 1 + λ α 2 α 1 2 , s [ α 1 , x 1 ) T 1 , s α 2 λ α 2 α 1 2 , s [ x 1 , α 2 ) T 1 , s α k 1 + λ α k α k 1 2 , s [ α k 1 , x k 1 ) T 1 , s α k λ α k α k 1 2 , s [ x k 1 , α k ) T 1 , s α k + λ α k + 1 α k 2 , s [ α k , b ] T 1 ,
K 2 ( t , J k ) = t β 1 λ β 1 c 2 , t [ c , β 1 ) T 2 , t β 1 + λ β 2 β 1 2 , t [ β 1 , y 1 ) T 2 , t β 2 λ β 2 β 1 2 , t [ y 1 , β 2 ) T 2 , t β k 1 + λ β k β k 1 2 , t [ β k 1 , y k 1 ) T 2 , t β k λ β k β k 1 2 , t [ y k 1 , β k ) T 2 , t β k + λ β k + 1 β k 2 , t [ β k , d ] T 2 .
Theorem 6.
Suppose the function f satisfies the conditions of Lemma 2 and there exists functions γ , Γ such that γ ( s , t ) 2 f ( s , t ) Δ 2 t Δ 1 s Γ ( s , t ) for all s [ a , b ] T 1 , t [ c , d ] T 2 . Then, we have the inequality:
| ( 1 λ ) 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( x i , y j ) + ( 1 λ ) λ 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) ( f ( α i , y j ) + f ( α i + 1 , y j ) + f ( x i , β j ) + f ( x i , β j + 1 ) ) ( 1 λ ) j = 0 k a b ( β j + 1 β j ) f ( σ ( s ) , y j ) Δ 1 s + λ 2 4 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( α i , β j ) + f ( α i , β j + 1 ) + f ( α i + 1 , β j ) + f ( α i + 1 , β j + 1 ) λ 2 j = 0 k a b ( β j + 1 β j ) f ( σ ( s ) , β j ) + f ( σ ( s ) , β j + 1 ) Δ 1 s ( 1 λ ) i = 0 k c d ( α i + 1 α i ) f ( x i , σ ( t ) ) Δ 2 t λ 2 i = 0 k c d ( α i + 1 α i ) f ( α i , σ ( t ) ) + f ( α i + 1 , σ ( t ) ) Δ 2 t + a b c d f ( σ ( s ) , σ ( t ) ) Δ 2 t Δ 1 s a b c d K ( s , t , I k , J k ) γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s | 1 2 Γ γ { i = 0 k 1 [ h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 + h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] × j = 0 k 1 [ h 2 y j , β j + 1 λ β j + 1 β j 2 + h 2 β j + 1 , β j + 1 λ β j + 1 β j 2 + h 2 β j + 1 , β j + 1 + λ β j + 2 β j + 1 2 + h 2 y j + 1 , β j + 1 + λ β j + 2 β j + 1 2 ] } .
Proof. 
We observe that:
a b c d K ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s = a b c d K ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s Δ 2 t Δ 1 s a b c d K ( s , t , I k , J k ) γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s .
Under the condition that γ ( s , t ) 2 f ( s , t ) Δ 2 t Δ 1 s Γ ( s , t ) for all s [ a , b ] T 1 , t [ c , d ] T 2 , we deduce that:
| 2 f ( s , t ) Δ 2 t Δ 1 s γ ( s , t ) + Γ ( s , t ) 2 | 1 2 Γ γ
for all s [ a , b ] T 1 , t [ c , d ] T 2 . Furthermore, we have that:
| a b c d K ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s | a b c d | K ( s , t , I k , J k ) | | 2 f ( s , t ) Δ 2 t Δ 1 s γ ( s , t ) + Γ ( s , t ) 2 | Δ 2 t Δ 1 s
and:
a b | K ( s , t , I k , J k ) | Δ 2 t Δ 1 s = i = 0 k 1 [ h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 + h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] × j = 0 k 1 [ h 2 y j , β j + 1 λ β j + 1 β j 2 + h 2 β j + 1 , β j + 1 λ β j + 1 β j 2 + h 2 β j + 1 , β j + 1 + λ β j + 2 β j + 1 2 + h 2 y j + 1 , β j + 1 + λ β j + 2 β j + 1 2 ] .
The desired inequality in (19) is obtained from the inequality in (22) by using (18), (20), (21), and (23). □
Theorem 7.
Suppose the function f satisfies the conditions of Lemma 2 and there exists functions γ , Γ such that γ ( s , t ) 2 f ( s , t ) Δ 2 t Δ 1 s Γ ( s , t ) for all s [ a , b ] T 1 , t [ c , d ] T 2 . Then, we have the inequality:
| ( 1 λ ) 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( x i , y j ) + ( 1 λ ) λ 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) ( f ( α i , y j ) + f ( α i + 1 , y j ) + f ( x i , β j ) + f ( x i , β j + 1 ) ) ( 1 λ ) j = 0 k a b ( β j + 1 β j ) f ( σ ( s ) , y j ) Δ 1 s + λ 2 4 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( α i , β j ) + f ( α i , β j + 1 ) + f ( α i + 1 , β j ) + f ( α i + 1 , β j + 1 ) λ 2 j = 0 k a b ( β j + 1 β j ) f ( σ ( s ) , β j ) + f ( σ ( s ) , β j + 1 ) Δ 1 s ( 1 λ ) i = 0 k c d ( α i + 1 α i ) f ( x i , σ ( t ) ) Δ 2 t λ 2 i = 0 k c d ( α i + 1 α i ) f ( α i , σ ( t ) ) + f ( α i + 1 , σ ( t ) ) Δ 2 t + a b c d f ( σ ( s ) , σ ( t ) ) Δ 2 t Δ 1 s f ( b , d ) f ( b , c ) f ( a , d ) + f ( a , c ) ( b a ) ( d c ) × i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] × j = 0 k 1 [ h 2 β j + 1 , β j + 1 λ β j + 1 β j 2 h 2 y j , β j + 1 λ β j + 1 β j 2 + h 2 y j + 1 , β j + 1 + λ β j + 2 β j + 1 2 h 2 β j + 1 , β j + 1 + λ β j + 2 β j + 1 2 ] a c d P ( s , t , I k , J k ) γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s | 1 2 Γ γ a b c d | P ( s , t , I k , J k ) | Δ 2 t Δ 1 s ,
where P ( s , t , I k , J k ) = K ( s , t , I k , J k ) 1 ( b a ) ( d c ) a b c d K ( s , t , I k , J k ) Δ 2 t Δ 1 s .
Proof. 
We first consider the following computations.
a b c d P ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s = a b c d P ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s Δ 2 t Δ 1 s a b c d P ( s , t , I k , J k ) γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s = a b c d K ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s Δ 2 t Δ 1 s 1 ( b a ) ( d c ) a b c b 2 f ( s , t ) Δ 2 t Δ 1 s Δ 2 t Δ 1 s a b c d K ( s , t , I k , J k ) Δ 2 t Δ 1 s a b c d P ( s , t , I k , J k ) γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s ,
a b c b 2 f ( s , t ) Δ 2 t Δ 1 s Δ 2 t Δ 1 s = f ( b , d ) f ( b , c ) f ( a , d ) + f ( a , c ) ,
and:
a b c d K ( s , t , I k , J k ) Δ 2 t Δ 1 s = a b K 1 ( s , I k ) Δ 1 s c d K 2 ( t , J k ) Δ 2 t = i = 0 k 1 [ h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] × j = 0 k 1 [ h 2 β j + 1 , β j + 1 λ β j + 1 β j 2 h 2 y j , β j + 1 λ β j + 1 β j 2 + h 2 y j + 1 , β j + 1 + λ β j + 2 β j + 1 2 h 2 β j + 1 , β j + 1 + λ β j + 2 β j + 1 2 ] .
Furthermore, we have that:
| a b c d P ( s , t , I k , J k ) 2 f ( s , t ) Δ 2 t Δ 1 s γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s | a b c d | P ( s , t , I k , J k ) | | 2 f ( s , t ) Δ 2 t Δ 1 s γ ( s , t ) + Γ ( s , t ) 2 | Δ 2 t Δ 1 s .
The desired inequality in (24) is obtained from the inequality in (28) by using (18), (21), (25)–(27). □

4. Applications

In this section, we apply Theorems 4 and 6 to the continuous and discrete calculus to obtain some interesting inequalities. Similar results can be obtained from Theorems 5 and 7.
Corollary 1.
If we take T = R in Theorem 4, then the following inequality holds:
| ( 1 λ ) i = 0 k ( α i + 1 α i ) f ( x i ) + λ i = 0 k ( α i + 1 α i ) f ( α i ) + f ( α i + 1 ) 2 a b f ( t ) d t a b K ( t , I k ) α ( t ) + β ( t ) 2 d t | 1 2 β α i = 0 k 1 [ λ 2 α i + 1 α i 2 8 + 2 x i λ α i + ( λ 2 ) α i + 1 2 8 + 2 x i + 1 λ α i + 2 + ( λ 2 ) α i + 1 2 8 + λ 2 α i + 2 α i + 1 2 8 ] .
Remark 2.
Putting λ = 0 , then Corollary 1 reduces to Theorem 2.1 in [5].
Corollary 2.
Let T = Z , a = 0 , b = n in Theorem 4, and suppose:
(1) I k : = { j 0 , j 1 , , j k } Z , where a = j 0 < j 1 < < j k = b , is a partition of the set [ 0 , n ] Z
(2) { α 0 , α 1 , , α k + 1 } Z is a set of k + 2 points such that α 0 = 0 , α i [ j i 1 , j i ] for i = 1 , 2 , , k , and α k + 1 = n ;
(3) f ( k ) = x k .
Then, we have the inequality,
| ( 1 λ ) i = 0 k ( α i + 1 α i ) x j i + λ i = 0 k ( α i + 1 α i ) x α i + x α i + 1 2 j = 1 n x j j = 0 n 1 K ( j , I k ) α ( j ) + β ( j ) 2 | 1 4 β α i = 0 k 1 [ j i j i + ( λ 2 ) α i + 1 λ α i 1 + 2 λ α i + 2 α i + 1 2 + 1 2 2 1 + j i + 1 j i + 1 + ( λ 2 ) α i + 1 λ α i + 2 1 + 2 λ α i + 1 α i 2 1 2 2 + 2 α i + 1 ( 1 λ ) α i + 1 + λ α i + 1 + α i 2 + 1 ] .
Corollary 3.
If we let T 1 = T 2 = R in Theorem 6, then we have the inequality:
| ( 1 λ ) 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( x i , y j ) + ( 1 λ ) λ 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) ( f ( α i , y j ) + f ( α i + 1 , y j ) + f ( x i , β j ) + f ( x i , β j + 1 ) ) ( 1 λ ) j = 0 k a b ( β j + 1 β j ) f ( s , y j ) d s + λ 2 4 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( α i , β j ) + f ( α i , β j + 1 ) + f ( α i + 1 , β j ) + f ( α i + 1 , β j + 1 ) λ 2 j = 0 k a b ( β j + 1 β j ) f ( s , β j ) + f ( s , β j + 1 ) d s ( 1 λ ) i = 0 k c d ( α i + 1 α i ) f ( x i , t ) d t λ 2 i = 0 k c d ( α i + 1 α i ) f ( α i , σ ( t ) ) + f ( α i + 1 , σ ( t ) ) Δ 2 t + a b c d f ( s , t ) d t d s a b c d K ( s , t , I k , J k ) γ ( s , t ) + Γ ( s , t ) 2 d t d s | 1 128 Γ γ { i = 0 k 1 [ λ 2 α i + 1 α i 2 + 2 x i λ α i + ( λ 2 ) α i + 1 2 + 2 x i + 1 λ α i + 2 + ( λ 2 ) α i + 1 2 + λ 2 α i + 2 α i + 1 2 ] × j = 0 k 1 [ λ 2 β j + 1 β j 2 + 2 y j λ β j + ( λ 2 ) β j + 1 2 + 2 y j + 1 λ β j + 2 + ( λ 2 ) β j + 1 2 + λ 2 β j + 2 β j + 1 2 ] } .
Proof. 
The proof follows by setting T 1 = T 2 = R in Theorem 6 and using the fact that:
h 2 ( s , t ) = ( s t ) 2 2 .
Remark 3.
By substituting λ = 0 , then the inequality in Corollary 3 reduces to the inequality (with some minor error in the left-hand side) in ([5] Theorem 2.3).
Corollary 4.
Let f : { a , a + 1 , , b 1 , b } × { c , c + 1 , , d 1 , d } R be a function, and suppose there exist functions γ , Γ such that
γ ( s , t ) f ( s + 1 , t + 1 ) f ( s + 1 , t ) f ( s , t + 1 ) + f ( s , t ) Γ ( s , t )
for all ( s , t ) { a , a + 1 , , b 1 , b } × { c , c + 1 , , d 1 , d } . Then, the following inequality holds.
| ( 1 λ ) 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( x i , y j ) + ( 1 λ ) λ 2 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) ( f ( α i , y j ) + f ( α i + 1 , y j ) + f ( x i , β j ) + f ( x i , β j + 1 ) ) ( 1 λ ) j = 0 k s = a b 1 ( β j + 1 β j ) f ( s + 1 , y j ) + λ 2 4 j = 0 k i = 0 k ( β j + 1 β j ) ( α i + 1 α i ) f ( α i , β j ) + f ( α i , β j + 1 ) + f ( α i + 1 , β j ) + f ( α i + 1 , β j + 1 ) λ 2 j = 0 k s = a b 1 ( β j + 1 β j ) f ( s + 1 , β j ) + f ( s + 1 , β j + 1 ) ( 1 λ ) i = 0 k t = c d 1 ( α i + 1 α i ) f ( x i , t + 1 ) λ 2 i = 0 k t = c d 1 ( α i + 1 α i ) f ( α i , t + 1 ) + f ( α i + 1 , t + 1 ) + s = a b 1 t = c d 1 f ( s + 1 , t + 1 ) s = a b 1 t = c d 1 K ( s , t , I k , J k ) γ ( s , t ) + Γ ( s , t ) 2 Δ 2 t Δ 1 s | 1 2 Γ γ { i = 0 k 1 [ h 2 x i , α i + 1 λ α i + 1 α i 2 + h 2 α i + 1 , α i + 1 λ α i + 1 α i 2 + h 2 α i + 1 , α i + 1 + λ α i + 2 α i + 1 2 + h 2 x i + 1 , α i + 1 + λ α i + 2 α i + 1 2 ] × j = 0 k 1 [ h 2 y j , β j + 1 λ β j + 1 β j 2 + h 2 β j + 1 , β j + 1 λ β j + 1 β j 2 + h 2 β j + 1 , β j + 1 + λ β j + 2 β j + 1 2 + h 2 y j + 1 , β j + 1 + λ β j + 2 β j + 1 2 ] } ,
where h 2 ( s , t ) = ( s t ) ( s t 1 ) 2 for all s , t Z .
Proof. 
The result follows by letting T 1 = T 2 = Z in Theorem 6. □

5. Conclusions

Some one-dimensional and two-dimensional Ostrowski–Grüss-type inequalities for functions whose derivatives are bounded by functions on time scales involving multiple points and a parameter have been presented. Some particular inequalities are obtained by applying Theorems 4 and 6 to the continuous and discrete calculus. Several other inequalities could be obtained by choosing different time scales with different values of the parameter λ . Some related results on the Ostrowski-type inequalities can be found in [25,26,27,28,29,30,31,32,33,34,35].

Author Contributions

S.K. and E.R.N contributed equally to this work.

Funding

This research received no external funding.

Acknowledgments

Many thanks to the three anonymous referees for their valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Dragomir, S.S.; Wang, S. An inequality of Ostrowski–Grüss type and its applications to the estimation of error bounds for some special means and for some numerical quadrature rules. Comput. Math. Appl. 1997, 33, 15–20. [Google Scholar] [CrossRef]
  2. Cheng, X.L. Improvement of some Ostrowski–Grüss type inequalities. Comput. Math. Appl. 2001, 42, 109–114. [Google Scholar] [CrossRef]
  3. Matić, M.; Pečarić, J.; Ujević, N. Improvement and further generalization of inequalities of Ostrowski–Grüss type. Comput. Math. Appl. 2000, 39, 161–175. [Google Scholar] [CrossRef]
  4. Feng, Q.; Meng, F. Some generalized Ostrowski–Grüss type integral inequalities. Comput. Math. Appl. 2012, 63, 652–659. [Google Scholar] [CrossRef]
  5. Feng, Q.; Meng, F. New Ostrowski–Grüss type inequalities with the derivatives bounded by functions. J. Ineq. Appl. 2013. [Google Scholar] [CrossRef]
  6. Niezgoda, M. A new inequality of Ostrowski–Grüss type and applications some numerical quadrature rules. Comput. Math. Appl. 2009, 58, 589–596. [Google Scholar] [CrossRef]
  7. Pearce, C.E.M.; Pečarić, J.; Ujević, N.; Varos̆anec, S. Generalizations of some inequalities of Ostrowski–Grüss type. Math. Inequal. Appl. 2000, 3, 25–34. [Google Scholar] [CrossRef]
  8. Ujević, N. New bounds for the first inequality of Ostrowski–Grüss type and applications. Comput. Math. Appl. 2003, 46, 421–427. [Google Scholar] [CrossRef]
  9. Hilger, S. Ein Maβkettenkalkül Mit Anwendung auf Zentrumsmannigfaltigkeiten. Ph.D. Thesis, Universität Würzburg, Würzburg, Germany, 1988. [Google Scholar]
  10. Agarwal, R.; Bohner, M.; Peterson, A. Inequalities on time scales: A survey. Math. Inequal. Appl. 2001, 4, 535–557. [Google Scholar] [CrossRef]
  11. Bohner, M.; Matthews, T. The Grüss inequality on time scales. Commun. Math. Anal. 2007, 3, 1–8. [Google Scholar]
  12. Bohner, M.; Matthews, T. Ostrowski inequalities on time. J. Inequal. Pure Appl. Math. 2008, 9, 6. [Google Scholar]
  13. Liu, W.J.; Ngô, Q.-A. An Ostrowski–Grüss type inequality on time scales. Comput. Math. Appl. 2009, 58, 1207–1210. [Google Scholar] [CrossRef]
  14. Ngô, Q.-A.; Liu, W.J. A sharp Grüss type inequality on time scales and application to the sharp Ostrowski–Grüss inequality. Commun. Math. Anal. 2009, 6, 33–41. [Google Scholar]
  15. Nwaeze, E.R.; Kermausuor, S. New bounds of Ostrowski–Grüss type inequality for (k + 1) points on time scales. Int. J. Anal. Appl. 2017, 15, 211–221. [Google Scholar]
  16. Nwaeze, E.R.; Kermausuor, S.; Tameru, A.M. New time scale generalizations of the Ostrowski–Grüss type inequality for k points. J. Ineq. Appl. 2017, 2017, 245. [Google Scholar] [CrossRef] [PubMed]
  17. Nwaeze, E.R.; Tameru, A.M. On weighted Montgomery identity for k points and its associates on time scales. Abstr. Appl. Anal. 2017. [Google Scholar] [CrossRef]
  18. Tuna, A.; Daghan, D. Generalization of Ostrowski and Ostrowski–Grüss type inequalities on time scales. Comput. Math. Appl. 2010, 60, 803–811. [Google Scholar] [CrossRef]
  19. Kermausuor, S.; Nwaeze, E.R. New Generalized 2D Ostrowski type inequalities on time scales with k2 points using a parameter. FILOMAT 2018, 32, 9. [Google Scholar]
  20. Bohner, M.; Peterson, A. Dynamic Equations on Time Scales; Birkhäuser Boston: Boston, MA, USA, 2001. [Google Scholar]
  21. Bohner, M.; Peterson, A. Advances in Dynamic Equations on Time Series; Birkhäuser Boston: Boston, MA, USA, 2003. [Google Scholar]
  22. Xu, G.; Fang, Z.B. A Generalization of Ostrowski type inequality on time scales with k points. J. Math. Inequal. 2017, 11, 41–48. [Google Scholar]
  23. Bohner, M.; Guseinov, G.S. Partial differentiation on time scales. Dyn. Syst. Appl. 2004, 13, 351–379. [Google Scholar]
  24. Bohner, M.; Guseinov, G.S. Multiple integration on time scales. Dyn. Syst. Appl. 2005, 14, 579–606. [Google Scholar]
  25. Choi, J.; Set, E.; Tomar, M. Certain generalized Ostrowski type inequalities for local fractional integrals. Commun. Korean Math. Soc. 2017, 32, 601–617. [Google Scholar]
  26. El-Deeb, A.; Elsennary, H.A.; Nwaeze, E.R. Generalized Weighted Ostrowski, Trapezoid and Grüss Type Inequalities on Time Scales. Fasc. Math. 2018, 60, 123–144. [Google Scholar] [CrossRef]
  27. Liu, W.J.; Park, J.K. A companion of Ostrowski like inequality and applications to composite quadrature rules. J. Comput. Anal. Appl. 2017, 22, 19–24. [Google Scholar]
  28. Liu, W.; Gao, X.; Wen, Y. Approximating the finite Hilbert transform via some companions of Ostrowski’s inequalities. Bull. Malays. Math. Sci. Soc. 2016, 39, 1499–1513. [Google Scholar] [CrossRef]
  29. Liu, W.; Tuna, A. Diamond-α weighted Ostrowski type and Grüss type inequalities on time scales. Appl. Math. Comput. 2015, 270, 251–260. [Google Scholar] [CrossRef]
  30. Kermausuor, S.; Nwaeze, E.R.; Torres, D.F.M. Generalized weighted Ostrowski and Ostrowski–Grüss type inequalities on time scale via a parameter function. J. Math. Inequal. 2017, 11, 1185–1199. [Google Scholar] [CrossRef]
  31. Nwaeze, E.R. New integral inequalities on time scales with applications to the continuous and discrete calculus. Commun. Appl. Anal. 2018, 22, 1–17. [Google Scholar]
  32. Nwaeze, E.R. Time scale versions of the Ostrowski–Grüss type inequality with a parameter function. J. Math. Inequal. 2018, 12, 531–543. [Google Scholar] [CrossRef]
  33. Tuna, A.; Liu, W. New weighted Čebyšev–Ostrowski type integral inequalities on time scales. J. Math. Inequal. 2016, 10, 327–356. [Google Scholar] [CrossRef]
  34. Wang, S.; Xue, Q.; Liu, W. Some new perturbed generalizations of Ostrowski-Grüss type inequalities for bounded differentiable mappings and applications. Appl. Math. Inf. Sci. 2013, 7, 2077–2081. [Google Scholar] [CrossRef]
  35. Jiang, Y.; Ruzgar, H.; Liu, W.; Tuna, A. Some new generalizations of Ostrowski type inequalities on time scales involving combination of Delta-integral means. J. Nonlinear Sci. Appl. 2014, 7, 311–324. [Google Scholar] [CrossRef]
Back to TopTop