Abstract and Applied Analysis
Volume 2018 (2018), Article ID 1802578, 10 pages
https://doi.org/10.1155/2018/1802578

Research Article

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

Eze R. Nwaeze,¹ Seth Kermausuor,² and Ana M. Tameru¹

¹Department of Mathematics, Tuskegee University, Tuskegee, AL 36088, USA
²Department of Mathematics and Computer Science, Alabama State University, Montgomery, AL 36104, USA

Correspondence should be addressed to Eze R. Nwaeze; enwaeze@tuskegee.edu

Received 31 December 2017; Accepted 1 February 2018; Published 5 March 2018

Academic Editor: Wing-Sum Cheung

Copyright © 2018 Eze R. Nwaeze et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

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 have

for 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 mappings

defined 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 mappings

defined 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. Then

for 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 have

for all such that and are in .

We now formulate and prove our first result.

Theorem 9. Let , with and be such that the partial mappings

defined for all and , are differentiable. If and , then the succeeding inequalities

hold for all such that and .

Proof. Applying Lemma 7 to at , we get

Integrating (17) over gives

Applying, again, Lemma 7 to at , and integrating over give

Using (18) and (19), we have

Similarly, doing the same thing for at and , and then integrating the resultant inequality over , we get

Using (20) and (21) amounts to (15). Also, from (20) and (21), we get

Combining (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 get

Similarly, if one applies Lemma 7 to at and thereafter integrate the resulting inequality over , one gets

Combining (26) and (27), we get (24). Finally, from (26) and (27), we get

Using (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

Theorem 14. Let , with and be such that the partial mappings

defined for all and , are differentiable. If and there exist such that , then the succeeding inequalities

hold for all such that and

Proof. Applying Lemma 8 to the mapping at gives

Integrating (34) over yields

Similarly, applying Lemma 8 to the mapping at and then integrating the resulting inequality over give

Using (35) and (36), we get (32). Also, we obtain from (35) and (36) the following inequalities:

Using (37) amounts to (33). That completes the proof of Theorem 14.

Corollary 15. If we let in Theorem 10, then the succeeding inequalities hold:

Remark 16. Corollary 15 becomes Theorem 5 if .

Corollary 17. If we let in Theorem 10, then the succeeding inequalities hold:

3. Conclusion

Three main theorems are hereby established. The results of Farid [3] are obtained as special cases of our results. Loads of interesting new inequalities can be obtained by choosing different values of , and considering a different time scale different from and .

Conflicts of Interest

The authors declare that there are no conflicts of interest.

References

A. Ostrowski, “Über die Absolutabweichung einer differentiebaren Funktion von ihrem Integralmitelwert,” Commentarii Mathematici Helvetici, vol. 10, no. 1, pp. 226-227, 1938.

X.-L. Cheng, “Improvement of some Ostrowski–Grüss type inequalites,” Computers & Mathematics with Applications, vol. 42, no. 1-2, pp. 109–114, 2001.

G. Farid, “New Ostrowski-type inequalities and their applications in two coordinates,” Acta Mathematica Universitatis Comenianae, vol. 85, no. 1, pp. 107–112, 2016.

S. Hilger, Ein Maβkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten [Ph.D. thesis], Universität Würzburg, Würzburg, Germany, 1988.

M. Bohner and A. Peterson, Dynamic Equations on Time Scales: An Introduction with Applications, Birkhauser, Boston, Mass, USA, 2001.

M. Bohner and A. Peterson, Dynamic Equations on Time Scales: An Introduction with Applications, Birkhauser, Boston, Mass, USA, 2003.

M. Bohner and T. Matthews, “Ostrowski inequalities on time scales,” Journal of Inequalities in Pure and Applied Mathematics, vol. 9, no. 1, Article 6, 8 pages, 2008.

A. Tuna and D. Daghan, “Generalization of Ostrowski and Ostrowski-Grüss type inequalities on time scales,” Computers & Mathematics with Applications, vol. 60, no. 3, pp. 803–811, 2010.

W. J. Liu, Q.-A. Ngô, and W. B. Chen, “A new generalization of Ostrowski type inequality on time scales,” Analele stiintifice ale Universitatii Ovidius Constanta, vol. 17, no. 2, pp. 101–114, 2009.

S. Kermausuor, E. R. Nwaeze, and D. F. M. Torres, “Generalized weighted Ostrowski and Ostrowski–Grüss type inequalities on time scales via a parameter function,” Journal of Mathematical Inequalities, vol. 11, no. 4, pp. 1185–1199, 2017.

E. R. Nwaeze, “A new weighted Ostrowski type inequality on arbitrary time scale,” Journal of King Saud University - Science, vol. 29, no. 2, pp. 230–234, 2017.

E. R. Nwaeze, “Generalized weighted trapezoid and Grüss type inequalities on time scales,” The Australian Journal of Mathematical Analysis and Applications, vol. 14, no. 1, Art. 4, 13 pages, 2017.

S. Hussain, M. A. Latif, and M. Alomari, “Generalized double-integral Ostrowski type inequalities on time scales,” Applied Mathematics Letters, vol. 24, no. 8, pp. 1461–1467, 2011.

W. Irshad, M. I. Bhatti, and M. Muddassar, “Some Ostrowski type integral inequalities for double integral on time scales,” Journal of Computational Analysis and Applications, vol. 20, no. 5, pp. 914–927, 2016.

W. Liu, Q. A. Ngô, and W. Chen, “Ostrowski type inequalities on time scales for double integrals,” Acta Applicandae Mathematicae, vol. 110, no. 1, pp. 477–497, 2010.

W. Liu, Q. A. Ngô, and W. Chen, “On new Ostrowski type inequalities for double integrals on time scales,” Dynamic Systems and Applications, vol. 19, no. 1, pp. 189–198, 2010.

U. M. Özkan and H. Yildirim, “Ostrowski type inequality for double integrals on time scales,” Acta Applicandae Mathematicae, vol. 110, no. 1, pp. 283–288, 2010.

A. Tuna and S. Kutukcu, “A new generalization of the Ostrowski inequality and Ostrowski type inequality for double integrals on time scales,” Journal of Computational Analysis and Applications, vol. 21, no. 6, pp. 1024–1039, 2016.