Chinese Journal of Mathematics

Volume 2014, Article ID 609476, 5 pages

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

## On Fractional Integral Inequalities Involving Hypergeometric Operators

^{1}Department of Mathematics and Computer Sciences, Faculty of Arts and Sciences, Çankaya University, 06530 Ankara, Turkey^{2}Department of Chemical and Materials Engineering, Faculty of Engineering, King Abdulaziz University, P.O. Box 80204, Jeddah 21589, Saudi Arabia^{3}Institute of Space Sciences, Magurele Bucharest, Romania^{4}Department of Basic Sciences (Mathematics), College of Technology and Engineering, M.P. University of Agriculture and Technology, Udaipur 313001, India^{5}Department of Mathematics & Statistics, J.E.C.R.C. University, Jaipur 303905, India

Received 21 September 2013; Accepted 4 November 2013; Published 15 January 2014

Academic Editors: C. Yin and H. You

Copyright © 2014 D. Baleanu 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

Here we aim at establishing certain new fractional integral inequalities involving the Gauss hypergeometric function for synchronous functions which are related to the Chebyshev functional. Several special cases as fractional integral inequalities involving Saigo, Erdélyi-Kober, and Riemann-Liouville type fractional integral operators are presented in the concluding section. Further, we also consider their relevance with other related known results.

#### 1. Introduction

Fractional integral inequalities have many applications; the most useful ones are in establishing uniqueness of solutions in fractional boundary value problems and in fractional partial differential equations. Further, they also provide upper and lower bounds to the solutions of the above equations. These considerations have led various researchers in the field of integral inequalities to explore certain extensions and generalizations by involving fractional calculus operators. One may, for instance, refer to such type of works in the book [1] and the papers [2–11].

In a recent paper, Purohit and Raina [9] investigated certain Chebyshev type [12] integral inequalities involving the Saigo fractional integral operators and also established the -extensions of the main results. The aim of this paper is to establish certain generalized integral inequalities for synchronous functions that are related to the Chebyshev functional using the fractional hypergeometric operator, introduced by Curiel and Galu [13]. Results due to Purohit and Raina [9] and Belarbi and Dahmani [2] follow as special cases of our results.

In the sequel, we use the following definitions and related details.

*Definition 1. *Two functions and are said to be synchronous on , if
for any .

*Definition 2. *A real-valued function is said to be in the space , if there exists a real number such that , where .

*Definition 3. *Let , , and ; then a generalized fractional integral (in terms of the Gauss hypergeometric function) of order for a real-valued continuous function is defined by [13] (see also [14]):
where the function appearing as a kernel for the operator (2) is the Gaussian hypergeometric function defined by
and is the Pochhammer symbol:

The object of the present investigation is to obtain certain Chebyshev type integral inequalities involving the generalized fractional integral operators [13] which involves in the kernel, the Gauss hypergeometric function (defined above). The concluding section gives some special cases of the main results.

#### 2. Main Results

Our results in this section are based on the preliminary assertions giving composition formula of fractional integral (2) with a power function.

Lemma 4. *Let , , , and , then the following image formula for the power function under the operator (2) holds true:
*

*Proof. *To prove (5), we take in the definition of fractional integral operator , given by (2), the left-hand side (say ) yields to
Now, on using the following integral formula involving the Gaussian hypergeometric function [15, page 106, equation (3.118)]:
then (6) immediately leads to the result (5).

Now, we obtain certain integral inequalities for the synchronous functions involving the generalized fractional integral operator (2).

Theorem 5. *Let and be two synchronous functions on ; then
**
for all , , , , .*

*Proof. *Let and be two synchronous functions; then using Definition 1, for all , , we have
which implies that
Consider
We observe that each term of the above series is positive in view of the conditions stated with Theorem 5, and hence the function remains positive, for all .

Multiplying both sides of (10) by (where is given by (11)) and integrating with respect to from to , and using (2), we get
Next, multiplying both sides of (12) by , where is given by (11), and integrating with respect to from to , and using formula (5) (for ), we arrive at the desired result (8).

The following results give a generalization of Theorem 5.

Theorem 6. *Let and be two synchronous functions on then
**
for all , , , , , , .*

*Proof. *To prove the above theorem, we use inequality (12). Multiplying both sides of (12) by
which remains positive in view of the conditions stated with (13) and integrating with respect to from to , we get
which on using (5) readily yields the desired result (13).

*Remark 7. *It may be noted that inequalities (8) and (13) are reversed if the functions are asynchronous on ; that is,
for any .

*Remark 8. *For , , , and , Theorem 6 immediately reduces to Theorem 5.

Theorem 9. *Let be positive increasing functions on ; then
**
for all , , , , .*

*Proof. *We prove this theorem by mathematical induction. Clearly, for in (17), we have
Next, for , in (17), we get
which holds in view of (8) of Theorem 5.

By the induction principle, we suppose that the inequality
holds true for some positive integer .

Now are increasing functions which imply that the function is also an increasing function. Therefore, we can apply inequality (8) of Theorem 5 to the functions and to get
provided that , , , , .

Making use of (20) now, this last inequality above leads to the result (17), which proves Theorem 9.

Now, we consider another variation of the fractional integral inequalities.

Theorem 10. *Let and be two functions defined on , such that is increasing, is differentiable, and there exists a real number ; then
**
for all , , , , .*

*Proof. *Consider the function . It is clear that is differentiable and it is increasing on ; therefore, by using Theorem 5, we get
Now, on making use of formula (5) (for ), we are lead to the result (22) after some simplifications.

Theorem 11. *Let and be two functions defined on , such that is increasing, is differentiable, and there exists a real number ; then
**
for all , , , , .*

*Proof. *By applying the similar procedure as of Theorem 10, one can easily establish the above theorem. Therefore, we omitted the details of the proof of this theorem.

#### 3. Special Cases

We now briefly consider some consequences of the results derived in the previous section. Following Curiel and Galu [13], the operator (2) would reduce immediately to the extensively investigated Saigo, Erdlyi-Kober, and Riemann-Liouville type fractional integral operators, respectively, given by the following relationships (see also [14, 16]):

Now, if we consider (and additionally for Theorem 6) and make use of relation (25), Theorems 5 to 9 provide, respectively, the known fractional integral inequalities due to Purohit and Raina [9].

Again, for Theorems 10 and 11 provide, respectively, the following inequalities involving Saigo fractional integral operators.

Corollary 12. *Let and be two functions defined on , such that is increasing, is differentiable, and there exists a real number ; then
**
for all , , , .*

Corollary 13. *
for all , , , .*

Indeed, by suitably specializing the values of parameters and the results presented in this paper would find further fractional inequalities involving the Erdlyi-Kober and Riemann-Liouville type fractional integral operator, on taking relations (26) and (27) into account. For example, if we set and , Theorems 10 and 11 lead to the following results involving Erdlyi-Kober fractional integral operator.

Corollary 14. *
for all , , .*

Corollary 15. *Let and be two functions defined on , such that is increasing, is differentiable and there exists a real number , then
**
for all , , .*

Finally, if we take and ( and additionally for Theorem 6), then Theorems 5 to 11, yield the known result due to Belarbi and Dahmani [2].

We conclude with the remark that the results derived in this paper are general in character and give some contributions to the theory integral inequalities and fractional calculus. Moreover, they are expected to find some applications for establishing uniqueness of solutions in fractional boundary value problems and in fractional partial differential equations.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### References

- G. A. Anastassiou,
*Advances on Fractional Inequalities*, Springer Briefs in Mathematics, Springer, New York, NY, USA, 2011. - S. Belarbi and Z. Dahmani, “On some new fractional integral inequalities,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 10, no. 3, article 86, 5 pages, 2009. View at Google Scholar · View at Scopus - Z. Dahmani, O. Mechouar, and S. Brahami, “Certain inequalities related to the Chebyshev’s functional involving a type Riemann-Liouville operator,”
*Bulletin of Mathematical Analysis and Applications*, vol. 3, no. 4, pp. 38–44, 2011. View at Google Scholar - Z. Denton and A. S. Vatsala, “Monotonic iterative technique for finit system of nonlinear Riemann-Liouville fractional differential equations,”
*Opuscula Mathematica*, vol. 31, no. 3, pp. 327–339, 2011. View at Google Scholar - S. S. Dragomir, “Some integral inequalities of Grüss type,”
*Indian Journal of Pure and Applied Mathematics*, vol. 31, no. 4, pp. 397–415, 2000. View at Google Scholar · View at Scopus - S. L. Kalla and A. Rao, “On Grüss type inequality for hypergeometric fractional integrals,”
*Le Matematiche*, vol. 66, no. 1, pp. 57–64, 2011. View at Google Scholar - V. Lakshmikantham and A. S. Vatsala, “Theory of fractional differential inequalities and applications,”
*Communications in Applied Analysis*, vol. 11, no. 3-4, pp. 395–402, 2007. View at Google Scholar · View at Scopus - H. Öğünmez and U. M. Özkan, “Fractional quantum integral inequalities,”
*Journal of Inequalities and Applications*, vol. 2011, Article ID 787939, 7 pages, 2011. View at Publisher · View at Google Scholar - S. D. Purohit and R. K. Raina, “Chebyshev type inequalities for the saigo fractional integrals and their q-analogues,”
*Journal of Mathematical Inequalities*, vol. 7, no. 2, pp. 239–249, 2013. View at Google Scholar - J. D. Ramírez and A. S. Vatsala, “Monotonic iterative technique for fractional differential equations with periodic boundary conditions,”
*Opuscula Mathematica*, vol. 29, no. 3, pp. 289–304, 2009. View at Google Scholar - W. T. Sulaiman, “Some new fractional integral inequalities,”
*Journal of Mathematical Analysis*, vol. 2, no. 2, pp. 23–28, 2011. View at Google Scholar - P. L. Chebyshev, “Sur les expressions approximatives des integrales definies par les autres prises entre les mêmes limites,”
*Proceedings of the Mathematical Society of Kharkov*, vol. 2, pp. 93–98, 1882. View at Google Scholar - L. Curiel and L. Galué, “A generalization of the integral operators involving the Gauss' hypergeometric function,”
*Revista Técnica de la Facultad de Ingeniería Universidad del Zulia*, vol. 19, no. 1, pp. 17–22, 1996. View at Google Scholar - V. S. Kiryakova,
*Generalized Fractional Calculus and Applications*, Pitman Research Notes in Mathematics Series no. 301, Longman Scientific & Technical, Harlow, UK, 1994. - A. M. Mathai, R. K. Saxena, and H. J. Haubold,
*The H-Function: Theory and Applications*, Springer, Dordrecht, The Netherlands, 2010. - M. Saigo, “A remark on integral operators involving the Gauss hypergeometric functions,”
*Mathematical Reports, Kyushu University*, vol. 11, pp. 135–143, 1978. View at Google Scholar