• Views 505
• Citations 1
• ePub 27
• PDF 405
`Chinese Journal of MathematicsVolume 2013, Article ID 295146, 3 pageshttp://dx.doi.org/10.1155/2013/295146`
Research Article

## A Sharp Bound for the Čebyšev Functional of Convex or Concave Functions

Department of Mathematics, Faculty of Science, Jerash University, Jerash 26150, Jordan

Received 15 July 2013; Accepted 9 August 2013

Academic Editors: Y. Fu, Y. He, and Y. Shi

#### Abstract

A sharp bound for the Čebyšev functional of convex or concave functions is proved.

#### 1. Introduction

For two Lebesgue functions , the Čebyšev functional defined by has interesting applications in various integral approximations as pointed out in the references below.

The problem of bounding the Čebyšev functional has a long history, starting with Grüss [1] inequality in 1935, where he had proved that, for two integrable functions , such that and for any , the inequality holds, and the constant is the best possible.

After that, many authors have studied the functional (1), and therefore, several bounds under various assumptions for the functions involved have been obtained.

In 1971, Atkinson [2] proved that if , are twice differentiable and convex on and then .

This result is implied by that of Lupaş [3] who proved the following: if are convex functions on the interval , then with equality when at least one of the functions and is a linear function on (see also [4]).

In recent years, several bounds for the Čebyšev functional in various cases including convexity assumptions for the functions involved are proved. For other results for convex integrands, see [59] and [10, page 256], [10, page 262] where further references are given.

In this work, a sharp bound for the Čebyšev functional of convex or concave functions is proved.

#### 2. The Result

We may begin with the following lemma.

Lemma 1. If are both nonnegative, decreasing (increasing), and convex on , then is nonnegative, decreasing (increasing), and convex function on .

Proof. The nonnegativity and monotonicity of follow directly by assumptions. To prove that is convex, by the monotonicity of , and for , we have which implies that Now, by (6) if and , then which proves that is convex and the proof is completely finished.

Throughout this paper, let be any functions. Define the functions , such that

Now, we may state our first result as follows.

Theorem 2. Under the assumptions of Lemma 1, one has The constant is the best possible in the sense that it cannot be replaced by smaller one.

Proof. Firstly, we note that, for any convex function defined on , we have Using the identity [10, page 246], and since and are two nonnegative monotonic convex functions on , then by Lemma 1, we have which gives the desired inequality (6). To prove the sharpness, assume that (6) holds with constant ; that is, Let ; consider that , , so that we have and . Making use of (9), we get which shows that the constant is the best possible in both cases, and thus, the proof is completely finished.

A parallel result for concave functions may be considered as follows.

Lemma 3. If is nonnegative, decreasing (increasing), and concave on , while is nonnegative, increasing (decreasing), and concave on , then is nonnegative, decreasing (increasing), and concave function on .

Proof. The nonnegativity and monotonicity of follow directly by assumptions. To prove that is concave, by the monotonicity of , and for , we have which implies that Now, by (16) if and , then which proves that is concave and the proof is completely finished.

Now, we may state the reverse of (9) as follows.

Theorem 4. Under the assumptions of Lemma 3, one has The constant is the best possible in the sense that it cannot be replaced by smaller one.

#### Conflict of Interests

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

#### References

1. G. Grüss, “Über das Maximum des absoluten Betrages von $1/\left(b-a\right){\int }_{a}^{b}\int \left(x\right)g\left(x\right)dx-1/{\left(b-a\right)}^{2}{\int }_{a}^{b}\int \left(x\right)dx·{\int }_{a}^{b}g\left(x\right)dx$,” Mathematische Zeitschrift, vol. 39, no. 1, pp. 215–226, 1935.
2. F. V. Atkinson, “An inequality,” Univerzitet u Beogradu. Publikacije Elektrotehniv ckog Fakulteta. Serija Matematika, no. 357-380, pp. 5–6, 1971.
3. A. Lupaş, “An integral inequality for convex functions,” Univerzitet u Beogradu. Publikacije Elektrotehniv ckog Fakulteta. Serija Matematika, no. 381–409, pp. 17–19, 1972.
4. P. M. Vasić and I. B. Lacković, “Notes on convex functions VI: on an inequality for convex functions proved by A. Lupaş,” Univerzitet u Beogradu. Publikacije Elektrotehniv ckog Fakulteta. Serija Matematika, no. 634–677, pp. 36–41, 1979.
5. M. W. Alomari, “Some Grüss type inequalities for Riemann-Stieltjes integral and applications,” Acta Mathematica Universitatis Comenianae, vol. 81, no. 2, pp. 211–220, 2012.
6. N. S. Barnett and S. S. Dragomir, “Bounds for the Čebyčsev functional of a convex and a bounded function,” General Mathematics, vol. 15, pp. 59–66, 2007.
7. V. Ciobotariu-Boer, “An integral inequality for 3-convex functions,” Journal of Inequalities in Pure and Applied Mathematics, vol. 9, no. 4, article 98, 2008.
8. S. S. Dragomir, “Inequalities for Stieltjes integrals with convex integrators and applications,” Applied Mathematics Letters, vol. 20, no. 2, pp. 123–130, 2007.
9. S. S. Dragomir, “Accurate approximations for the Riemann-Stieltjes integral via theory of inequalities,” Journal of Mathematical Inequalities, vol. 3, no. 4, pp. 663–681, 2009.
10. D. S. Mitrinović, J. E. Pečarić, and A. M. Fink, “Classical and new inequalities in analysis,” in Mathematics and Its Applications, vol. 61 of East European Series, Kluwer Academic Publishers Group, Dordrecht, The Netherlands.