Journal of Mathematics

Volume 2014 (2014), Article ID 503195, 6 pages

http://dx.doi.org/10.1155/2014/503195

## Montgomery Identity and Ostrowski Type Inequalities for Riemann-Liouville Fractional Integral

Faculty of Electrical Engineering and Computing, University of Zagreb, Unska 3, 10 000 Zagreb, Croatia

Received 31 May 2014; Accepted 27 August 2014; Published 10 September 2014

Academic Editor: Ralf Meyer

Copyright © 2014 Andrea Aglić Aljinović. 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

We present Montgomery identity for Riemann-Liouville fractional integral as well as for fractional integral of a function with respect to another function . We further use them to obtain Ostrowski type inequalities involving functions whose first derivatives belong to spaces. These inequalities are generally sharp in case and the best possible in case . Application for Hadamard fractional integrals is given.

#### 1. Introduction

The following Ostrowski inequality is well known [1]: It holds for every whenever is continuous on and differentiable on with derivative bounded on ; that is, Ostrowski proved this inequality in 1938, and since then it has been generalized in a number of ways. Over the last few decades, some new inequalities of this type have been intensively considered together with their applications in numerical analysis, probability, information theory, and so forth. This inequality can easily be proved by using the following Montgomery identity (see, for instance, [2]): where is the Peano kernel, defined by

The Riemann-Liouville fractional integral of order is defined by where is a gamma function When (5) is the Riemann definition of fractional integral. In case , fractional integral reduces to classical integral.

In [3], the following Montgomery identity for fractional integrals is obtained.

Theorem 1. *Let , differentiable on , integrable on , and . Then, the following identity holds:
**
where
*

*In [3], the authors used this identity to obtain the following Ostrowski type inequality for fractional integrals.*

*Theorem 2. Let , differentiable on , and for every ; then, the following Ostrowski inequality holds:
*

*These results were further generalized in [4], while in [5] generalizations are obtained for fractional integral of a function with respect to another function (defined in Section 3).*

*In the present paper, we give another, simpler new generalization of Montgomery identity for Riemann-Liouville fractional integral of order , which holds for a larger set of ; that is, . We also obtain Montgomery identity for fractional integral of a function with respect to another function . We further use these identities to obtain generalizations of Ostrowski inequality for fractional integrals of a function with respect to another function for functions whose first derivatives belong to spaces. These inequalities are generally sharp in case and the best possible in case . As a special case, application for Hadamard fractional integrals is given.*

*2. Montgomery Identity for Fractional Integrals*

*2. Montgomery Identity for Fractional Integrals*

*In this section we give another, simpler new generalization of Montgomery identity for fractional integrals by using the weighted Montgomery identity.*

*The weighted Montgomery identity (obtained by Pečarić in [6]) states that for any
where is differentiable on , is integrable on , is some normalized weighted function, that is, integrable function satisfying , for , and the weighted Peano kernel is
*

*For the uniform normalized weighted function , , it reduces to Montgomery identity (3).*

*Theorem 3. Let , differentiable on , integrable on , and . Then, the following identity holds:
where
and is the Riemann-Liouville integral operator of order defined by (5).*

*Proof. *Apply (10) with normalized weighted function
and hence
We obtain
Since and for reduces to , the proof follows.

*Remark 4. *In case , (12) reduces to Montgomery identity (3).

*3. Montgomery Identity for Fractional Integral of a Function with respect to Another Function *

*3. Montgomery Identity for Fractional Integral of a Function with respect to Another Function*

*Let , an increasing function on , and a continuous function on . The fractional integral of a function with respect to another function is given by
*

*In case , , reduces to the Riemann-Liouville integral operator .*

*Theorem 5. Suppose that all the assumptions of Theorem 3 hold. Additionally, assume that is an increasing function on and a continuous function on . Then, the following identity holds:
where
is the fractional integral of order of a function with respect to another function .*

*Proof. *Apply (10) with normalized weighted function
and hence
We obtain
Since for reduces to , the proof follows.

*Remark 6. *If we apply (18) with identity function , , (18) reduces to (12).

*4. New Ostrowski Type Inequalities*

*4. New Ostrowski Type Inequalities*

*In this section, using the Montgomery identity for fractional integrals, we give the Ostrowski inequality for fractional integrals for functions whose first derivatives belong to spaces.*

*Here and hereafter, the symbol denotes the space of -power integrable functions on the interval equipped with the norm (or simply ) defined by
and denotes the space of essentially bounded functions on with the norm
*

*Theorem 7. Suppose that all the assumptions of Theorem 5 hold. Additionally, assume that is a pair of conjugate exponents; that is, , , , and . Then, the following inequality holds:
where the -norm is calculated with respect to variable . The constant is sharp for and the best possible for .*

*Proof. *We use the identity (18) and apply the Hölder inequality to get estimate:
Let us denote , . Now, we will prove that the constant is optimal. For , we will find a function such that
In this case, let be such that
For , let
It remains to prove for that
is the best possible inequality.

Function is left continuous on ; more precisely, is continuous and increasing on and on and has a finite jump of at . Also, . Thus, we have two possibilities.

(1) attains its maximum at . Then, and . For small enough, define by

Hence,
Now, from inequality (30), we have
Since
the statement follows.

(2) does not attain a maximum on the and let be such that
Then, and . Now, we take
and similarly as before we have
and the proof is completed.

*Corollary 8. Suppose that all the assumptions of Theorem 7 hold. Then, the following inequality holds:
where the -norm is calculated with respect to variable . The constant is sharp for and the best possible for .*

*Proof. *We apply Theorem 7 with identity function , , and the proof follows directly.

*Theorem 9. Suppose that all the assumptions of Theorem 7 hold. Then, for , the following inequality holds:
while for *

*Proof. *We use the identity (18) and apply the Hölder inequality to get estimate:
Since is increasing on and is decreasing on , in case , , we have

Now, apply discrete Hölder inequality to get
The proof is similar to , while for we have
In the last line, the identity was used.

*Corollary 10. Suppose that all the assumptions of Theorem 7 hold. Then, for , the following inequality holds:
while for *

*Proof. *We apply Theorem 9 with identity function , , and the proof follows directly.

*5. Application for Hadamard Fractional Integrals*

*5. Application for Hadamard Fractional Integrals**Hadamard fractional integrals of order for are given by
*

*Notice that Hadamard fractional integrals of order are special case of fractional integrals with respect to another function , when , .*

*The following result is a weighted Ostrowski type result for Hadamard fractional integrals of order .*

*Corollary 11. Suppose that all the assumptions of Theorem 7 and hold. Then, for , the following inequality holds:
where the -norm is calculated with respect to variable , while for
The constant in the first inequality for is sharp and the best possible for .*

*Proof. *We apply Theorems 7 and 9 with , .

*Conflict of Interests*

*Conflict of Interests*

*The author declares that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgment*

*Acknowledgment*

*This work has been fully supported by Croatian Science Foundation under the Project 5435.*

*References*

*References*

- A. Ostrowski, “Über die Absolutabweichung einer differentiebaren Funktion von ihrem Integralmittelwert,”
*Commentarii Mathematici Helvetici*, vol. 10, no. 1, pp. 226–227, 1937. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - D. S. Mitrinović, J. E. Pečarić, and A. M. Fink,
*Inequalities for Functions and their Integrals and Derivatives*, Kluwer Academic, Dordrecht, The Netherlands, 1994. - G. Anastassiou, M. R. Hooshmandasl, A. Ghasemi, and F. Moftakharzadeh, “Montgomery identities for fractional integrals and related fractional inequalities,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 10, no. 4, article 97, 2009. View at Google Scholar · View at MathSciNet - M. Z. Sarikaya and H. Ogunmez, “On new inequalities via Riemann-Liouville fractional integration,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 428983, 10 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - A. Aglić Aljinović, M. Krnić, and J. Pečarić, “Weighted montgomery identity for fractional integral of a function with respect to another function,”
*Georgian Mathematical Journal*, vol. 21, no. 1, pp. 1–10, 2014. View at Google Scholar - J. Pečarić, “On the Čebyšev inequality,”
*Buletinul Ştiinţific şi Tehnic Institutului Politehnic “Traian Vuia” Timişoara*, vol. 25, no. 39, pp. 5–9, 1980. View at Google Scholar

*
*