Journal of Mathematics

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

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

Research Article

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

Andrea Aglić Aljinović

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

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

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

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

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

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

Acknowledgment

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

References

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

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.

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.

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.

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.