Research Article | Open Access

# On Some Grüss-Type Fractional Inequalities Using Saigo Fractional Integral Operator

**Academic Editor:**Nasser Saad

#### Abstract

The main aim of this paper is to establish some new fractional integral inequalities of Grüss-type via the Saigo fractional integral operator.

#### 1. Introduction

Grüss inequality is an inequality which establishes a connection between the integral of the product of two functions and the product of the integrals of the two functions. In 1935, Grüss proved the following well-known classical integral inequality; see [1, 2].

Theorem 1 (see [2]). *Let be two integrable functions such that and for all ; , and are constant; then
**
where the constant is sharp.*

In the past decade, many researchers had numerous generalizations, variants, and extensions of Grüss inequality done in literature; to mention a few, see [1–12] and the references cited therein.

Recently, many authors have studied the fractional integral inequalities via Caputo, Riemann-Liouville, and -fractional integral; see [6, 13–21]. Some authors have studied the Saigo fractional integral operator; for example, we refer the reader to [22–29] and references cited therein. In [19], Dahmani et al. gave the following fractional integral inequality using Riemann-Liouville fractional integral.

Theorem 2 (see [19]). *Let and be two integrable functions on satisfying the condition
**
on . Then, for all and , one has
*

In literature few results have been obtained on some fractional integral inequalities using Hadamard fractional integral and Saigo fractional integral operator in [25, 26, 30–32]. Our purpose in this paper is to establish some new results using Saigo fractional integral.

#### 2. Preliminaries

We give some definitions and properties which will be used later. For more details, see [28, 33].

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

*Definition 4 (see [27, 28]). *Let , ; then the Saigo fractional integral of order for a real-valued continuous function is defined by
where the function in the right-hand side of (4) is the Gaussian hypergeometric function defined by
And is the Pochhammer symbol
For in (4), we have the known result [28] as
.

#### 3. Grüss-Type Fractional Integral Inequality

In this section, we establish Grüss-type fractional integral inequality involving Saigo fractional integer operator (4), for which we assume the following.

There exist two integrable functions and on , such that

There exist two integrable functions and on , such that

Lemma 5. *Suppose that is an integrable function on and and are two integrable functions on . Assume that the condition holds.**Then, for all , , , , one has
*

*Proof. *Let be an integrable function on . For all , we have
Consider
Clearly, function positive since for all . Multiplying both sides of (11) by , then integrating resulting identity with respect to from to , we get

Multiplying both sides of (13) by and is positive since for all , and defined as in (12). Then integrating resulting identity with respect to from to , we have
It follows that
which gives (10).

If and for all , then inequality (10) reduces to following lemma.

Lemma 6. *Let , and be an integrable function on satisfying the condition . Then for all , , , , one has
*

Theorem 7. *Let and be two integrable functions on , and , , , and are four integrable functions on satisfying the conditions and on . Then for all , , , , one has
**
where is defined by
*

*Proof. *Let and be two functions defined on satisfying the conditions and . Define
It follows that

Then, multiplying both sides of (20) by which is defined by (12) and is positive because for all . Then integrating resulting identity with respect to from to , we have

Again, multiplying both sides of (21) by which is defined by (12) and is positive because for all since each term of (12) is positive. Then integrating resulting identity with respect to from to , we have
Applying the Cauchy-Schwarz inequality to (22), we have
Since and , we have
Thus we have
Combining (23) and (25) we get the required inequality (17).

Theorem 8. *Suppose that is an integrable function defined on and condition holds. Then for all , , , , , , ,
*

*Proof. *From the condition , for all , we have
which implies that
Multiplying both sides of (28) by which is defined by (12) and remain positive because for all since each term of (12) is positive. Then integrating resulting identity with respect to from to , we get
Therefore,

Multiplying (30) by , , which remains positive. Then integrating the resulting identity with respect to from to , we have
which gives (26) and proves the theorem.

*Remark 9. *Suppose that is an integrable function defined on , such that , for all and . Then for all , , , , , , , we have

Theorem 10. *Suppose that and are two integrable functions defined on and suppose that and hold. Then for all , , , , , , , the following inequalities are satisfied:
*

*Proof. *To show , we use conditions and , for all ; we have
which implies that
Multiplying both sides of (35) by , which is defined by (12) and remain positive because for all , since each term of (12) is positive. Then integrating the resulting identity with respect to from to , we get
Therefore,
Multiplying (37) by , ), which remains positive. Then by integrating the resulting identity with respect to from to , we have

This gives the desired inequality . Using the following condition we prove ()–():

*Remark 11. *Suppose that and are two integrable functions defined on . Assume that there exist real constants , and such that
Then for all , , , , , , , the following inequalities are satisfied:
It is noted that the results give some contributions to the theory of integral inequalities and fractional calculus. Moreover, they are expected to lead to some applications for establishing uniqueness of solutions in fractional differential equations.

#### Conflict of Interests

The authors declare that they have no conflict of interests.

#### Authors’ Contribution

All authors have equal contributions. All authors read and approved the final paper.

#### References

- G. Grüss, “Uber das Maximum des absoluten Betrages von $(1/(b-a)){\int}_{a}^{b}f(x)g(x)dx-(1/{(b-a)}^{2}){\int}_{a}^{b}f(x)dx{\int}_{a}^{b}g(x)dx$,”
*Mathematische Zeitschrift*, vol. 39, no. 1, pp. 215–226, 1935. View at: Publisher Site | Google Scholar | MathSciNet - Y. Miao, F. Han, and J. Mu, “A new Ostrowski-Grüss type inequality,”
*Kragujevac Journal of Mathematics*, vol. 37, no. 2, pp. 307–317, 2013. View at: Google Scholar | MathSciNet - S. S. Dragomir, “Some integral inequalities of Grüss type,”
*Indian Journal of Pure and Applied Mathematics*, vol. 31, no. 4, pp. 397–415, 2002. View at: Google Scholar - S. S. Dragomir, “A companion of the Grüss inequality and applications,”
*Applied Mathematics Letters*, vol. 17, no. 4, pp. 429–435, 2004. View at: Publisher Site | Google Scholar | MathSciNet - S. S. Dragomir and S. Wang, “An inequality of Ostrowski-Grüss' type and its applications to the estimation of error bounds for some special means and for some numerical quadrature rules,”
*Computers and Mathematics with Applications*, vol. 33, no. 11, pp. 15–20, 1997. View at: Google Scholar - N. Elezovic, L. Marangunic, and J. Pecaric, “Some improvements of Grüss type inequality,”
*Journal of Mathematical Inequalities*, vol. 1, no. 3, pp. 425–436, 2007. View at: Publisher Site | Google Scholar | MathSciNet - A. M. Mercer and P. R. Mercer, “New proofs of the Grüss inequality,”
*The Australian Journal of Mathematical Analysis and Applications*, vol. 1, no. 2, article 12, 2004. View at: Google Scholar | MathSciNet - A. M. Mercer, “An improvement of the Gruss inequality,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 6, no. 4, article 93, 2005. View at: Google Scholar | MathSciNet - B. G. Pachpatte, “On Grüss type integral inequalities,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 3, no. 2, article 27, 2002. View at: Google Scholar | MathSciNet - B. G. Pachpatte, “A note on Chebychev-Grüss type inequalities for differentiable functions,”
*Tamsui Oxford Journal of Mathematical Sciences*, vol. 22, no. 1, pp. 29–36, 2006. View at: Google Scholar | MathSciNet - G. H. Peng and Y. Miao, “A note on Grüss type inequality,”
*Applied Mathematical Sciences*, vol. 3, no. 8, pp. 399–402, 2009. View at: Google Scholar - C. Zhu, W. Yang, and Q. Zhao, “Some new fractional $q$-integral Grüss-type inequalities and other inequalities,”
*Journal of Inequalities and Applications*, vol. 2012, article 299, 2012. View at: Publisher Site | Google Scholar | MathSciNet - S. Belarbi and Z. Dahmani, “On some new fractional integral inequalities,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 10, article 86, no. 3, 5 pages, 2009. View at: Google Scholar | MathSciNet - Z. Dahmani, “On Minkowski and Hermite-Hadamard integral inequalities via fractional integration,”
*Annals of Functional Analysis*, vol. 1, no. 1, pp. 51–58, 2010. View at: Publisher Site | Google Scholar | MathSciNet - Z. Dahmani, “New inequalities in fractional integrals,”
*International Journal of Nonlinear Science*, vol. 9, no. 4, pp. 493–497, 2010. View at: Google Scholar | MathSciNet - Z. Dahmani, “The Riemann-Liouville operator to generate some new inequalities,”
*International Journal of Nonlinear Science*, vol. 12, no. 4, pp. 452–455, 2011. View at: Google Scholar | MathSciNet - Z. Dahmani, “Some results associated with fractional integrals involving the extended Chebyshev functional,”
*Acta Universitatis Apulensis: Mathematics: Informatics*, no. 27, pp. 217–224, 2011. View at: Google Scholar | MathSciNet - Z. Dahmani and A. Benzidane, “New inequalities using fractional $q$-integrals theory,”
*Bulletin of Mathematical Analysis and Applications*, vol. 4, no. 1, pp. 190–196, 2012. View at: Google Scholar | MathSciNet - Z. Dahmani, L. Tabharit, and S. Taf, “New generalisations of Gruss inequality using Riemann-Liouville fractional integrals,”
*Bulletin of Mathematical Analysis and Applications*, vol. 2, no. 3, pp. 92–99, 2010. View at: Google Scholar |