Research Article | Open Access

Eze R. Nwaeze, Seth Kermausuor, Ana M. Tameru, "Time Scale Inequalities of the Ostrowski Type for Functions Differentiable on the Coordinates", *Abstract and Applied Analysis*, vol. 2018, Article ID 1802578, 10 pages, 2018. https://doi.org/10.1155/2018/1802578

# Time Scale Inequalities of the Ostrowski Type for Functions Differentiable on the Coordinates

**Academic Editor:**Wing-Sum Cheung

#### Abstract

In 2016, some inequalities of the Ostrowski type for functions (of two variables) differentiable on the coordinates were established. In this paper, we extend these results to an arbitrary time scale by means of a parameter . The aforementioned results are regained for the case when the time scale . Besides extension, our results are employed to the continuous and discrete calculus to get some new inequalities in this direction.

#### 1. Introduction

To find a bound for the difference of a function and its integral mean, the Ukraine-born mathematician Ostrowski [1], in 1938, established the subsequent result which is nowadays celebrated as the Ostrowski inequality.

Theorem 1. *Let be continuous on and differentiable in and its derivative is bounded in . If for all , then we havefor all The inequality is sharp in the sense that the constant cannot be replaced by a smaller one.*

In 2001, Cheng [2] gave the following improvement of the above inequality.

Theorem 2. *Let be continuous on and differentiable in such that there exist constants with for all Then for all , one gets*

Recently, Farid [3] extended Theorems 1 and 2 to functions of two variables that are differentiable on their coordinates. Specifically, he proved the following two theorems.

Theorem 3. *Let , where , are open intervals in , be a mapping such that for , the partial mappingsdefined for all and , are differentiable, and Then we have*

*Remark 4. *Inequality (7) is the correct version of inequality (2.18) as presented in [[3], Theorem ].

Theorem 5. *Let , where are open intervals in , be a mapping such that for , the partial mappingsdefined for all and , are differentiable with , Then we have*

In 1988, the idea of time scales [4] was initiated so as to bring together the continuous and discrete analysis into a unified fold. Since the introduction of this subject, many classical integral results have been extended to time scales. “A time scale is an arbitrary nonempty closed subset of .” We shall presume, all over this work, that the reader is familiar with the theory of time scale (see [5, 6] for more on this subject). We present here a result of Bohner and Matthews [7] which is embedded in Theorem 6 below. This result extends Theorem 1 to time scales. For more improvements and generalizations around this result, we refer the interested reader to see the papers [8–12] and the references therein.

Theorem 6. *Let , and be differentiable. Then for all , we have where for all and This inequality is sharp in the sense that the right-hand side of (10) cannot be replaced by a smaller one.*

It is our purpose in this paper to extend inequalities (4), (5), (6), (7), and (9) to time scales by means of a parameter . In Section 2, we frame and prove the main results followed by applications to the continuous and discrete calculus.

#### 2. Main Results

In this section, we will present our results involving double integrals. For some recent results in this regard, see [13–18]. The proofs of our findings shall be anchored on the subsequent lemmas.

Lemma 7 (see [9]). *Let and be differentiable. Thenfor all such that and are in and , where This is sharp provided that*

Lemma 8 (see [8]). *Let and be differentiable. If and there exist such that for all , then for all , we havefor all such that and are in .*

We now formulate and prove our first result.

Theorem 9. *Let , with and be such that the partial mappingsdefined for all and , are differentiable. If and , then the succeeding inequalitieshold for all such that and .*

*Proof. *Applying Lemma 7 to at , we getIntegrating (17) over givesApplying, again, Lemma 7 to at , and integrating over giveUsing (18) and (19), we haveSimilarly, doing the same thing for at and , and then integrating the resultant inequality over , we getUsing (20) and (21) amounts to (15). Also, from (20) and (21), we getCombining (22) and (23), one gets (16).

Theorem 10. *Under the assumptions of Theorem 9 and suppose also the intervals contain the mid points, then we have*

*Proof. *Next, we now apply Lemma 7 to at and thereafter integrate the resulting inequality over to getSimilarly, if one applies Lemma 7 to at and thereafter integrate the resulting inequality over , one getsCombining (26) and (27), we get (24). Finally, from (26) and (27), we getUsing (28) amounts to (25). Thus, the proof of Theorem 9 is complete.

Corollary 11. *If we let in Theorems 9 and 10, then we obtain the inequality*

*Remark 12. *Corollary 11 becomes Theorem 3 if .

Corollary 13. *If we let in Theorems 9 and 10, then we get the succeeding inequalities *