Abstract
We first establish some results involving Riemann–Liouville fractional integrals for partially differentiable functions. Then we obtain some fractional Ostrowski type inequalities for functions in class of functions \(L_{p}\), \(L_{\infty }\) and \(L_{1}\), respectively. We also give some midpoint type inequalities as special cases of our main results.
Similar content being viewed by others
1 Introduction
For well over a century, the study of various types of integral inequalities has been the focus of great attention by a number of mathematicians, interested both in pure and applied mathematics. One of the many fundamental mathematical discoveries of Ostrowski [1] is the following classical integral inequality associated with the differentiable mappings.
Theorem 1
Let\(f: [ a,b ] \rightarrow \mathbb{R} \)be a differentiable mapping on\(( a,b ) \)whose derivative\(f^{\prime }: ( a,b ) \rightarrow \mathbb{R} \)is bounded on\(( a,b ) \), i.e. \(\Vert f^{\prime } \Vert _{\infty }:=\sup_{t\in ( a,b ) } \vert f^{\prime }(t) \vert <\infty \). Then we have the inequality
for all\(x\in [ a,b ] \).
The constant \(\frac{1}{4}\) is the best possible.
The overall structure of the study takes the form of five sections including Introduction. The remainder of this work is organized as follows: we first give the definition of Riemann–Liouville fractional integrals and mention some work which focuses on Ostrowski inequality. In Sect. 2, we obtain some generalized identities for the twice partial differentiable functions. Using the equalities obtained in Sect. 2, we establish some Ostrowski type inequalities for the functions belong to \(L_{\infty }\) in Sect. 3, also we prove Ostrowski type inequalities for the mappings belong to \(L_{p}\) and \(L_{1}\) in Sect. 4 and Sect. 5, respectively.
Firstly, we give the definitions of Riemann–Liouville fractional integrals.
Definition 1
([2])
Let\(f\in L_{1}[a,b]\). The Riemann–Liouville integrals\(J_{a+}^{\alpha }f\)and\(J_{b-}^{\alpha }f\)of order\(\alpha >0\)with\(a\geq 0 \)are defined by
and
respectively. Here, \(\varGamma (\alpha )\)is the Gamma function and\(J_{a+}^{0}f(x)=J_{b-}^{0}f(x)=f(x)\).
Now, we give the definitions Riemann–Liouville fractional integrals of two variable functions:
Definition 2
([3])
Let\(f\in L_{1}([a,b]\times {}[ c,d])\). The Riemann–Liouville fractional integrals\(J_{a+,c+}^{\alpha,\beta }\), \(J_{a+,d-}^{\alpha,\beta }\), \(J_{b-,c+}^{\alpha,\beta }\)and\(J_{b-,d-}^{\alpha,\beta }\)are defined by
and
Ostrowski inequalities for fractional integrals of two variable functions are obtained in [4]. There are several papers on fractional Ostrowski type inequalities for one or two variable functions, you can find some of them in Refs. [5–22].
2 Some identities for double integrals
Some equalities including Riemann–Liouville fractional integrals of two variable functions are established in this section. These identities will be used to prove the inequalities developed throughout this study.
Firstly, we define the following functions which will be used frequently:
for \(( x,y ) \in \varLambda:= [ a,b ] \times [ c,d ] \).
Now we prove the following equalities.
Lemma 1
Let\(f:\varLambda \rightarrow \mathbb{R} \)be an absolutely continuous function such that the partial derivative of order 2 exists and is continuous onΛin\(\mathbb{R} ^{2}\). Then, for any\(( x,y ) \in \varLambda \), we have
where\(\varOmega (x,t,y,s)\)is defined by
Proof
It is easy to see that
By the above equality and the definition of \(\varOmega (x,t,y,s)\), we get
Applying the fundamental integral rules for the first integral in the right side of the above identity, we find that
Adding the resulting identities after calculating the other integrals, then the desired equality (2.1) can be attained. □
Lemma 2
Suppose that all the assumptions of the Lemma 1hold. Then, for any\(( x,y ) \in \varLambda \), we have
where\(\varOmega (t,s)\)is defined by
Proof
The proof of the equality (2.4) follows the same lines as the proof of Lemma 1. □
Lemma 3
Suppose that all the assumptions of the Lemma 1hold. Then, for any\(( x,y ) \in \varLambda \), we have
Proof
If we handle integral of the first expression in left side of (2.6), from the equality (2.3), then we have
Adding the resulting identities side by side after the other expressions have been similarly examined, the required equality can be easily derived. □
3 The case when \(f_{ \varsigma \tau }\in L_{\infty } ( \varLambda ) \)
In this section, we observe some double integral inequalities involving Riemann–Liouville fractional expressions by considering identities given in the previous section and the functions that are element of \(L_{\infty }\).
Theorem 2
Let\(f:\varLambda \rightarrow \mathbb{R} \)be an absolutely continuous function such that the partial derivative of order 2 exists and is bounded, i.e.,
for all\((\varsigma,\tau )\in \varLambda \). Then one has
for all\(( x,y ) \in \varLambda \).
Proof
Taking the absolute value of both sides of the equality (2.1), because \(f_{\varsigma \tau }\) is a bounded function on Λ, it follows that
Using the definition of \(\varOmega (x,t,y,s)\) and elementary analysis operations, the desired result can be easily obtained. □
Corollary 1
If we choose\(x=\frac{a+b}{2}\)and\(y=\frac{c+d}{2}\)in (3.1), then we have the midpoint inequality
Theorem 3
Suppose that all the assumptions of Theorem 2hold. Then we have
for any\(( x,y ) \in \varLambda \).
Proof
This proof follows the same strategy which was used in the proof of Theorem 2 by considering the equality (2.4). □
Corollary 2
With the assumption of Theorem 3, one has the midpoint type inequality
Theorem 4
Suppose that all the assumptions of Theorem 2hold. Then, for all\(( x,y ) \in \varLambda\), one has
where
and
Proof
Should we take the absolute value of (2.6), from the modulus property of the integral, then we have the inequality
Calculating the double integral given in the right side of (3.4), the desired inequality (3.3) can be easily obtained. □
Corollary 3
Suppose that all the assumptions of Theorem 4hold. If we choose\(x=\frac{a+b}{2}\)and\(y=\frac{c+d}{2}\), then we have
4 The case when \(f_{ \varsigma \tau }\in L_{p} ( \varLambda ) \)
In this section, we examine how to obtain inequalities for mappings which are elements of the space \(L_{p}\).
Theorem 5
Let\(f:\varLambda \rightarrow \mathbb{R} \)be an absolutely continuous function such that the partial derivative of order 2 exists on\(( a,b ) \times ( c,d ) \). If\(\frac{\partial ^{2}f(\varsigma,\tau )}{\partial \varsigma \,\partial \tau } \in L_{p} ( \varLambda ) \)for\(p>1\)with\(\frac{1}{p}+\frac{1}{q}=1\), i.e.,
for all\((\varsigma,\tau )\in \varLambda \), then we have the inequality
for all\((x,y)\in \varLambda \).
Proof
If we take the absolute value of both sides of the equality (2.1) and later apply the Hölder inequality, from the assumption of the function f, we have
If the last integral of above expression is observed by considering the definition of \(\varOmega (x,t,y,s)\), then one attains the required inequality (4.1) which completes the proof. □
Theorem 6
Assume that all the assumptions of Theorem 2hold. If\(\frac{\partial ^{2}f(\varsigma,\tau )}{\partial \varsigma \,\partial \tau } \in L_{p} ( \varLambda ) \)for\(p>1\)with\(\frac{1}{p}+\frac{1}{q}=1\), then one has
for any\(( x,y ) \in \varLambda \).
Proof
If similar methods to the proof of Theorem 5 are followed by taking into account the equality (2.4), because of the definition of \(\varOmega (t,s)\), then one has
The above integrals can be readily calculated by utilizing the fact that
which is obtained by using the change of variable \(\xi = ( 1-u ) \lambda +u\mu \), and where \(B(\cdot,\cdot )\) is Beta function. Hence, the proof is finished. □
We also note that if we choose \(x=\frac{a+b}{2}\) and \(y=\frac{c+d}{2}\) in two inequalities presented in this section, then we reach new midpoint type results different from inequalities given in corollaries of the previous section.
5 The case when \(f_{ \varsigma \tau }\in L_{1} ( \varLambda ) \)
Now, we investigate how to results in the case when f element of \(L_{1}\).
Theorem 7
Let\(f:\varLambda \rightarrow \mathbb{R} \)be an absolutely continuous function such that the partial derivative of order 2 exists on\(( a,b ) \times ( c,d ) \). If\(\frac{\partial ^{2}f(\varsigma,\tau )}{\partial \varsigma \,\partial \tau } \in L_{1} ( \varLambda ) \), i.e.,
for all\((\varsigma,\tau )\in \varLambda \), then we have the inequalities
and
for all\((x,y)\in \varLambda \).
Proof
If we take the absolute value of both sides of the equality (2.1), due to the assumption of the function f, we have
Later, utilizing the definition of \(\varOmega (x,t,y,s)\), the desired inequality (5.1) can be readily attained. If we follow the same line as the proof of (5.1) by taking into account the equality (2.4), then we can also obtain the inequality (5.2). The proof is thus completed. □
Theorem 8
Suppose that all the assumptions of Theorem 7hold. If\(\frac{\partial ^{2}f(\varsigma,\tau )}{\partial \varsigma \,\partial \tau } \in L_{1} ( \varLambda ) \), then one has
for all\((x,y)\in \varLambda \).
Proof
Taking the absolute value of (2.6), from the modulus property of the integral, we find that
Calculating the above double integral, the required inequality (5.3) can be easily obtained. □
References
Ostrowski, A.: Über die absolutabweichung einer differentiierbaren funktion von ihrem integralmittelwert. Comment. Math. Helv. 10, 226–227 (1937)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204 (2006)
Sarıkaya, M.Z.: On the Hermite–Hadamard-type inequalities for co-ordinated convex function via fractional integrals. Integral Transforms Spec. Funct. 25(2), 134–147 (2014)
Latif, M.A., Dragomir, S., Matouk, A.: New inequalities of Ostrowski type for co-ordinated convex functions via fractional integrals. J. Fract. Calc. Appl. 2(1), 1–15 (2012)
Aglić Aljinović, A.: Montgomery identity and Ostrowski type inequalities for Riemann–Liouville fractional integral. J. Math. 2014 Article ID 503195 (2014)
Anastassiou, G., Hooshmandasl, M., Ghasemi, A., Moftakharzadeh, F.: Montgomery identities for fractional integrals and related fractional inequalities. JIPAM. J. Inequal. Pure Appl. Math. 10(4), 1–6 (2009)
Barnett, N.S., Dragomir, S.S.: An Ostrowski type inequality for double integrals and applications for cubature formulae. Soochow J. Math. 7(1), 109–114 (2001)
Dahmani, Z., et al.: On Minkowski and Hermite–Hadamard integral inequalities via fractional integration. Ann. Funct. Anal. 1(1), 51–58 (2010)
Dragomir, S.S.: Ostrowski type inequalities for Riemann–Liouville fractional integrals of absolutely continuous functions in terms of ∞-norms. RGMIA Res. Rep. Collect. 20, Article ID 49 (2017). Available online at https://rgmia.org/papers/v20/v20a49.pdf
Dragomir, S.S.: Ostrowski type inequalities for Riemann–Liouville fractional integrals of absolutely continuous functions in terms of ∞-norms. RGMIA Res. Rep. Collect. 20, Article ID 50 (2017). Available online at https://rgmia.org/papers/v20/v20a50.pdf
Dragomir, S.S., Barnett, N.S., Cerone, P.: An Ostrowski type inequality for double integrals in terms of \(L_{p}\)-norms and applications in numerical integration. Rev. Anal. Numér. Théor. Approx. 32(2), 161–169 (2003)
Dragomir, S.S.: Ostrowski and trapezoid type inequalities for generalized Riemann–Liouville fractional integrals of absolutely continuous functions with bounded derivatives. RGMIA Res. Rep. Collect. 20, 53 (2017)
Dragomir, S.S.: On some Ostrowski type inequalities for generalized Riemann–Liouville fractional integrals. RGMIA Res. Rep. Collect. 20, 67 (2017)
Erden, S., Sarikaya, M.Z.: On the Hermite–Hadamard type and Ostrowski type inequalities for the co-ordinated convex functions. Palest. J. Math. 6(1) 257–270 (2017)
Guezane-Lakoud, A., Aissaoui, F.: New fractional inequalities of Ostrowski type. Transylv. J. Math. Mech. 5(2), 103–106 (2013)
Latif, M.A., Hussain, S., Dragomir, S.S.: New Ostrowski type inequalities for co-ordinated convex functions. TJMM 4(2), 125–136 (2012)
Mudassar, M., Siddidui, N., Iqbal, M.: On co-ordinated Ostrowski and Hadamard’s type inequalities for convex functions. TJMM 9(1), 35–42 (2017)
Sarikaya, M.Z., Filiz, H.: Note on the Ostrowski type inequalities for fractional integrals. Vietnam J. Math. 42(2), 187–190 (2014)
Sarikaya, M.Z., Yildiz, M.K.: Generalization and Improvement of Ostrowski Type Inequalities. AIP Conference Proceedings, vol. 1991. AIP, New York (2018)
Sarikaya, M.Z., Budak, H., Yaldiz, H.: Some new Ostrowski type inequalities for co-ordinated convex functions. Turk. J. Anal. Number Theory 2(5), 176–182 (2014)
Set, E.: New inequalities of Ostrowski type for mappings whose derivatives are s-convex in the second sense via fractional integrals. Comput. Math. Appl. 63(7), 1147–1154 (2012)
Yaldız, H., Sarıkaya, M.Z., Dahmani, Z.: On the Hermite–Hadamard–Fejer-type inequalities for co-ordinated convex functions via fractional integrals. Int. J. Optim. Control Theor. Appl. 7(2), 205–215 (2017)
Acknowledgements
This research is supported by Postdoctoral Fellowship from King Mongkut’s University of Technology Thonburi (KMUTT), Bangkok, Thailand.
Availability of data and materials
Not applicable.
Funding
This research was funded by the Center of Excellence in Theoretical and Computational Science (TaCS-CoE), KMUTT.
Author information
Authors and Affiliations
Contributions
The main idea of this paper was proposed by SE, HB, and PK. MZS and SI prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Erden, S., Budak, H., Zeki Sarikaya, M. et al. Fractional Ostrowski type inequalities for bounded functions. J Inequal Appl 2020, 123 (2020). https://doi.org/10.1186/s13660-020-02381-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02381-1