A generalized form of Grüss type inequality and other integral inequalities
© Minculete and Ciurdariu; licensee Springer. 2014
Received: 6 November 2013
Accepted: 28 February 2014
Published: 20 March 2014
The aim of this presentation is to show several integral inequalities. Among these inequalities we have the inequality , where denotes the h-variance of f, which is a bounded function defined on with , and , are two constants. This inequality is important because it proves a generalized form of the Grüss type inequality. This improvement is given by the inequality
Using the integral arithmetic mean and h-integral arithmetic mean for a Riemann-integrable function f we can also rewrite several integral inequalities. In addition, we will give a generalization of inequality of Grüss for normalized isotonic linear functionals.
KeywordsGrüss type inequality h-variance h-covariance
In 1935, Grüss  proved the following integral inequality which gives an approximation for the integral of a product of two functions in terms of the product of integrals of the two functions:
and the inequality is sharp, in the sense that the constant cannot be replaced by a smaller one.
It is well known that an important resource for studying inequalities is [2–4]. In , Peng and Miao established a form of inequality of Grüss type for functions whose first and second derivatives are absolutely continuous and the third derivative is bound. Also, in  Dragomir presented several integral inequalities of Grüss type, and in  he showed some Grüss type inequalities in inner product spaces and applications for the integral. Another improvement of the Grüss inequality was obtained by Mercer in . Moreover, in , a Grüss type inequality was used in order to obtain some sharp Ostrowski-Grüss type inequalities by Liu. Kechriniotis and Delibasis showed in  several refinements of inequality of Grüss in inner product spaces using a Kurepa’s results for Gramians. New generalizations of the inequality of Gruss were presented in  using Riemann-Liouville fractional integrals. Cerone and Dragomir studied in  some refinements of Grüss’ inequality. Florea and Niculescu in  treated the problem of estimating the deviation of the values of a function from its mean value.
The estimation of the deviation of a function from its mean value is characterized in terms of random variables.
We denote by the space of Riemann-integrable functions on the interval , and by the space of real-valued continuous functions on the interval .
called the h-integral arithmetic mean for a Riemann-integrable function f.
where k is a real constant.
the variance of f.
where k is a constant.
In fact the covariance is the Chebyshev functional attached to functions f and g. In  is written as . The properties of the Chebyshev functional have been studied by Elezović, Marangunić and Pec̆arić in their paper, . For other generalizations of the Grüss’ inequality, see [17, 18].
In , Pečarić used the generalization of the Chebyshev functional notion attached of functions f and g to the Chebyshev h-functional attached of functions f and g defined by . Here, Pečarić showed some generalizations of the inequality of Grüss by the Chebyshev h-functional. It is easy to see that, in terms of the covariance, this can be written as .
The inequality of Bhatia and Davis represents an improvement of Popoviciu’s inequality, because .
If there is additional information about the mean values of the two functions in the inequality of Grüss then Zitikis argued in his paper, , that the inequality can be sharpened and he gave also a probabilistic interpretation for it.
2 Main results
We will present in this paper the integral version of inequalities (3) and (4). Therefore we have the following inequalities.
where is a Riemann-integrable function with .
Since f is a bounded function defined on with , and the function , it follows that . Therefore, it is easy to see that . This inequality proved the inequality of the statement. □
Next we show several relations between h-variance and h-covariance.
where a and b are real numbers.
Therefore, we deduce relationship (1). □
Proof If we take and , in relation (7), then we obtain equalities (8) and (9). □
where a, b, c, and d are real numbers.
We can prove an inequality for integrable functions similar to the inequality of Cauchy-Schwarz for random variables given by the following.
because . □
Proof Using Theorem 6 and Lemma 2, we deduce the statement. □
for every .
Taking into account that , because and dividing by , we obtain the inequality of the statement. □
Lemma 9 represents generalized integral variant of inequality of Cauchy. □
Now we compare inequalities (21) and (12) to see which is stronger.
Consequently the statement is true. □
3 A refinement of Grüss’ inequality for normalized isotonic linear functionals
There are many directions in which the inequality of Grüss  has been generalized.
Using the notion of normalized isotonic linear functional which appears in the paper , we will give a generalization of inequality of Grüss which is related to a theorem of Andrica and Badea (1988), .
imply for all ,
, i.e. if , , then .
, for all and .
If and , then .
The mapping A is said to be normalized if .
Theorem 11 Let be such that and assume that there exist real numbers and so that .
Now if we consider this inequality and previous theorem we deduce as in Lemma 2 the following result. □
Remark 6 If we take in the first theorem , (the Lebesque space of integrable functions on ) and g satisfying the condition on the interval , then we obtain inequality (17).
4 Properties of h-variance
- 1.If , then we have the following inequality:(27)
- 2.If , then we have the following inequality:(28)
- 3.The natural way to obtain these quantities is by introducing and using the standard inner product (also known as the dot product) on . The inner product of any two continuous f and g functions is defined by
The result is always a real number. Therefore the set can be organized as an Euclidean space.
This length function satisfies the required properties of a norm and is called the Euclidean norm on .
This distance function is called the Euclidean metric. This formula expresses a special case of the Pythagorean theorem.
where represents in probability theory the conditional expectation of the random variable f.
A result which represents another estimate of Jensen’s inequality, in the sense of generalizations of the integral arithmetic mean and variance, can also be found in , page 53.
Lemma 14 (, 1.8) (Another estimate of Jensen’s inequality)
where denotes the variance of g.
Izumio et al. showed in  some extensions of Grüss’ inequality and they also studied the integral-type Grüss’ inequalities for Lebesque space for a finite positive measure μ on Ω.
- 1.Taking into account the integral arithmetic mean and h-integral arithmetic mean for a Riemann-integrable function we can rewrite the following inequalities.
- (a)In the case when the integral form of the inequality from Theorem 2.4 (see ) was given by Theorem 2.5. Under the conditions of Theorem 2.5, the inequality becomes
- (c)From the integral form of the inequality from Consequence 1 (see ) we deduce if are two integrable functions, g a continuous function on , , and , the following inequality:
- 2.(a) Starting from Theorem 2.3, the inequalities (2.5) and (2.6), Theorem 2.7 and Theorem 2.9, given in , by using Theorem 12 (see ) and Theorem 8 (see ) we can obtain the next properties for certain Riemann-integrable functions. If and if are two integrable functions on with , and , then
- (b)If and if are two integrable functions on with , and , then we have
- 3.(i) Under the previous conditions we have
- (ii)If are two integrable functions on with , , and , , then we have
The following two inequalities are rewritten here and have as a starting point an inequality from .
- (i)If , , is a convex and continuous function and are two integrable functions on , and, in addition, if is integrable on , then
- (ii)If , , is a convex and continuous function, are two integrable functions on with , if is integrable on and are such that , , then
Starting from the inequality of Halliwell and Mercer (see ), we can establish the following result.
We would like to thank the anonymous reviewer for providing valuable comments to improve the manuscript.
- Grüss G:Uber das Maximum des absoluten Betrages von . Math. Z. 1935, 39: 215-226. 10.1007/BF01201355MathSciNetView ArticleGoogle Scholar
- Acu A, Gonska H, Raşa I: Grüss-type and Ostrowski-type inequalities in approximation theory. Ukr. Math. J. 2011, 63: 843-864. 10.1007/s11253-011-0548-2View ArticleGoogle Scholar
- Mitrinović DS, Pec̆arić J, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht; 1992.Google Scholar
- Rusu MD: On Grüss-type inequalities for positive linear operators. Stud. Univ. Babeş-Bolyai, Math. 2011, 56: 551-565.MathSciNetGoogle Scholar
- Peng G-H, Miao Y: A note on Grüss type inequality. Appl. Math. Sci. 2009,3(8):399-402.MathSciNetGoogle Scholar
- Dragomir SS: Some integral inequalities of Grüss type. Indian J. Pure Appl. Math. 2000,31(4):397-415.MathSciNetGoogle Scholar
- Dragomir SS: Some Grüss type inequalities in inner product spaces. JIPAM. J. Inequal. Pure Appl. Math. 2003.,4(2): Article ID 42Google Scholar
- Mercer AMcD: An improvement of the Grüss inequality. JIPAM. J. Inequal. Pure Appl. Math. 2005.,6(4): Article ID 93Google Scholar
- Liu Z: Some sharp Ostrowski-Grüss type inequalities. Univ. Beograd. Publ. Electrotehn. Fak. Ser. Mat. 2006, 18: 14-21.Google Scholar
- Kechriniotis A, Delibasis K: On generalizations of Grüss inequality in inner product spaces and applications. J. Inequal. Appl. 2010., 2010: Article ID 167091Google Scholar
- Dahmani Z, Tabharit L, Taf S: New generalizations of Grüss inequality using Riemann-Liouville fractional integrals. Bull. Math. Anal. Appl. 2010,2(3):93-99.MathSciNetGoogle Scholar
- Cerone P, Dragomir SS: Mathematical Inequalities: A Perspective. CRC Press, Taylor & Francis, New York; 2011.Google Scholar
- Florea A, Niculescu CP: A note on Ostrowski’s inequality. J. Inequal. Appl. 2005,2005(5):459-468.MathSciNetView ArticleGoogle Scholar
- Aldaz JM: A refinement of the inequality between arithmetic and geometric means. J. Math. Inequal. 2008,2(4):473-477.MathSciNetView ArticleGoogle Scholar
- Halmos P: Finite Dimensional Vector Spaces. Springer, Berlin; 1974.View ArticleGoogle Scholar
- Elezović N, Marangunić Lj, Pec̆arić J: Some improvements of Grüss type inequality. J. Math. Inequal. 2007,1(3):425-436.MathSciNetView ArticleGoogle Scholar
- Mitrinović DS, Pec̆arić J: Comments on an inequality of M. Masuyama. SUT J. Math. (Formerly TRU Math.) 1991, 27: 89-91.Google Scholar
- Pec̆arić J: Some further remarks on the Ostrowski generalization of Čebys̆ev’s inequality. J. Math. Anal. Appl. 1987, 123: 18-33.MathSciNetView ArticleGoogle Scholar
- Popoviciu T: Sur Les Équations Algébriques Ayant Toutes Leurs Racines Réelles. Mathematica 1935, 9: 129-145.Google Scholar
- Bhatia R, Davis C: A better bound on the variance. Am. Math. Mon. 2000, 107: 353-357. 10.2307/2589180MathSciNetView ArticleGoogle Scholar
- Zitikis R: Grüss’s inequality, its probabilistic interpretation, and a sharper bound. J. Math. Inequal. 2009,3(1):15-20.MathSciNetView ArticleGoogle Scholar
- Dragomir, SS: A survey of Jessen’s type inequalities for positive functionals. RGMIA Res. Rep. Collect. (2011). 46 pp.Google Scholar
- Andrica D, Badea C: Grüss’ inequality for positive linear functionals. Period. Math. Hung. 1998,19(2):155-167.MathSciNetView ArticleGoogle Scholar
- Pec̆arić J, Peric J: Remarks on the paper “Jensen’s inequality and new entropy bounds” of S. Simic. J. Math. Inequal. 2012,6(4):631-636.MathSciNetGoogle Scholar
- Niculescu CP, Persson L-E: Convex Functions and Their Applications. A Contemporary Approach. Springer, Berlin; 2006.View ArticleGoogle Scholar
- Izumio S, Pec̆arić J, Tepes̆ B: Some extensions of Grüss’s inequality. Math. J. Toyama Univ. 2003, 26: 61-73.MathSciNetGoogle Scholar
- Batinetu-Giurgiu DM, Marghidanu D, Pop OT: A new generalization of Radon’s inequality and applications. Creative Math. Inform. 2011, 2: 111-116.MathSciNetGoogle Scholar
- Mortici C: A new refinement of the Radon inequality. Math. Commun. 2011, 16: 319-324.MathSciNetGoogle Scholar
- Ciurdariu L: Integral forms for some inequalities. Int. J. Math. Anal. 2013,7(53):2611-2618.MathSciNetGoogle Scholar
- Raţiu, A, Minculete, N: Several refinements and counterparts of Radon’s inequality. Math. Bohem. (to appear)Google Scholar
- Ciurdariu L: On several inequalities deduced using a power series approach. Int. J. Contemp. Math. Sci. 2013,8(18):855-864.MathSciNetGoogle Scholar
- Ciurdariu L: On several inequalities obtained from generalizations of Young’s inequality by a power series approach. Int. J. Algebra 2013,7(18):847-856.MathSciNetGoogle Scholar
- Ciurdariu L: On integral forms of several inequalities. J. Sci. Arts 2013,2(23):159-166.MathSciNetGoogle Scholar
- Dragomir SS: Bounds for the normalised Jensen functional. Bull. Aust. Math. Soc. 2006, 74: 471-478. 10.1017/S000497270004051XView ArticleGoogle Scholar
- Halliwell GT, Mercer PR: A refinement of an inequality from information theory. JIPAM. J. Inequal. Pure Appl. Math. 2004.,5(1): Article ID 3Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.