Some Integral Inequalities: 1 Introduction and Statement of The Results

Divulgaciones Matematicas Vol. 11 No. 2(2003), pp.
121125
Some Integral Inequalities
Algunas Desigualdades Integrales
Mohamed Akkouchi (makkouchi@hotmail.com)
Department of Mathematics. Faculty of Sciences-Semlalia
University Cadi Ayyad
Av. Prince My Abdellah, BP. 2390, Marrakech, Morocco.
Abstract
In this note, we establish some integral inequalities by using elemen-
tary methods for certain classes of functions dened on nite intervals
of the real line. Our results have some relationships with certain inte-
gral inequalities obtained by Feng Qi.
Key words and phrases: Integral inequalities.
Resumen
En esta nota se establecen algunas desigualdades integrales usando
metodos elementales para ciertas clases de funciones denidas en inter-
valos nitos de la recta real. Nuestros resultados tienen alguna relacion
con ciertas desigualdades integrales obtenidas por Feng Qi.
Palabras y frases clave: Desigualdades integrales
1 Introduction and statement of the results
In this note, we establish some new integral inequalities by using analytic and
elementary methods. These inequalities have some relationships with certain
integral inequalities obtained by Feng Qi in [2]. We point out that one of Feng
Qis result (see [2]) is the following
Theorem A. Let n 1 be an integer and suppose that f has a continuous
derivative of the nth order on [a, b], f
(i)
(a) 0 and f
(n)
(x) n! where
0 i n 1. Then
_
b
a
[f(x)]
n+2
dx
_
_
b
a
f(x) dx
_
n+1
. (1)
Received 2001/06/19. Revised 2003/10/27. Accepted 2003/10/30.
MSC (2000): Primary 26D15.
122 Mohamed Akkouchi
Our results will provide some similar inequalities for certain classes of func-
tions f satisfying weaker conditions than required in the previous result. Be-
fore stating the results, we need the following denition.
Denition 1.1. Let [a, b] be a nite interval of the real line R. For each real
number r, we denote E
r
(a, b) the set of real continuous functions f on [a, b]
dierentiable on ]a, b[, such that f(a) 0, and f
(x) r for all x ]a, b[.

Our rst result is the following.
Theorem B. Let > 0, and let f E
2
(a, b). Then for each integer n 1,
we have the following strict inequality:
_
b
a
[f(x)]
(+1)2
n
1
dx >
_
_
b
a
[f(x)]
dx
_
2
n
. (2)
As a consequence of this result, we obtain the following
Corollary 1.1. Let f E
2
(a, b). Then for each integer n 0, we have
_
_
b
a
[f(x)]
(+1)2
n+1
1
dx
_ 1
2
n+1
>
_
_
b
a
[f(x)]
(+1)2
n
1
dx
_ 1
2
n
. (3)
A consequence of the previous corollary is the following
Corollary 1.2. Let f E
2
(a, b). Then for each integer n 2, we have
_
b
a
[f(x)]
2
n+1
1
dx >
_
_
b
a
[f(x)]
3
dx
_
2
n1
>
_
_
b
a
f(x) dx
_
2
n
. (4)
The strict inequality established in Theorem B and the second inequality in
corollary 1.2 should be compared to those obtained in the paper [2]. But our
results are obtained here under weaker assumptions than those used by Feng
Qi (see [2]) to derive the inequality (1.1) (resp. (1.3)) stated in Proposition
1.1 (resp. Proposition 1.3). We point out that Proposition 1.3 of [2] is exactly
Theorem A enunciated in this introduction. The proof of Theorem B will be
given in the next section. The proof uses mathematical induction and the
following auxillary proposition.
Proposition 1.1. Let f E
2
(a, b). Then for each real number p ]0, [, we
have
_
b
a
[f(x)]
2p+1
dx >
_
_
b
a
[f(x)]
p
dx
_
2
. (5)
Divulgaciones Matematicas Vol. 11 No. 2 (2003), pp. 121125
Some Integral Inequalities 123
The paper is organized as follows. In the second section, we nd the proofs
of the results stated in the introduction. In the third section, we present a
related inequality. The paper ends with some references. The references [1],
[3], [4] and [5] are cited for the convenience of the reader who desires to have
some acquaintance with the nice world of inequalities.
2 Proofs
2.1 We start by proving Proposition 1.1. Let p > 0. For every t [a, b], we
set
F(t) =
_
t
a
[f(x)]
2p+1
dx
__
t
a
[f(x)]
p
dx
_
2
.
A simple computation yields for all t ]a, b[
F
(t) =
_
[f(t)]
p+1
2
_
t
a
[f(x)]
p
dx
_
[f(t)]
p
:= G(t)[f(t)]
p
.
G
(t) = [(p + 1)f
(t) 2][f(t)]
p
.
Since p > 0 and f E
2
(a, b) then f
(t) 2 >
2
p+1
, thus f is strictly
increasing on [a, b]. Therefore f(t) > f(a) 0 for every t ]a, b]. Consequently,
G is strictly increasing on [a, b]. Since G(a) = [f(a)]
p+1
0, we deduce that
G(t) > 0 for all t ]a, b]. So, F
(t) > 0 for all t ]a, b[. We deduce that

F is strictly increasing on [a, b]. In particular, we obtain F(b) > F(a) = 0.
Therefore, the inequality (5) holds.
2.2 Now, by induction we shall prove Theorem B. Let ]0, [. For every
integer n 1, we set p
n
() = ( + 1)2
n
1. Then we have p
n
() > 0 and
p
n+1
() = 2p
n
() +1, for each integer n 1. We remark that p
1
() = 2+1.
Then a direct application of Proposition 1.1 shows that the inequalitiy (2)
holds true for n = 1. Suppose that the inequality (2) holds for the integer n
and let us prove it for n +1. Since p
n+1
() = 2p
n
() +1 and p
n
() > 0 then
we may apply Proposition 1.1 and obtain the following strict inequality:
_
b
a
[f(x)]
(+1)2
n+1
1
dx >
_
_
b
a
[f(x)]
(+1)2
n
1
dx
_
2
. (6)
By assumption we have
_
b
a
[f(x)]
(+1)2
n
1
dx >
_
_
b
a
[f(x)]
dx
_
2
n
. (7)
124 Mohamed Akkouchi
From (6) and (7) we deduce that the inequality (2) holds true for n + 1.
Thus our result is completely proved.
Remark. From (6) we get all the statements contained in the corollaries 1.1
and 1.2.
3 A related inequality
We end this paper by giving a related integral inequality. More precisely, we
have
Theorem C. Let [a, b] be a closed interval of R, Let p 1 be a real number
and let f E
p
(a, b). Then we have
_
b
a
[f(x)]
p+2
dx
1
(b a)
p1
_
_
b
a
f(x) dx
_
p+1
. (8)
Proof. For every t [a, b], we set
H(t) =
_
t
a
[f(x)]
p+2
dx
1
(b a)
p1
__
t
a
f(x) dx
_
p+1
.
Simple computations yield for all t ]a, b[
H
(t) =
_
[f(t)]
p+1
p+1
(ba)
p1
_
_
t
a
f(x) dx
_
p
_
f(t) := h(t)f(t),
h
(t) = (p + 1)
_
[f(t)]
p1
f
(t)
p
(ba)
p1
_
_
t
a
f(x) dx
_
p1
_
f(t).
Since f is increasing then 0
_
t
a
f(x) dx (b a)f(t) for all t [a, b].
Therefore, we have
h
(t) (p + 1)(f
(t) p)[f(t)]
p
. (9)
We deduce from (9) that h is increasing on [a, b]. Since h(a) = [f(a)]
p+1
0,
this shows that H is increasing on [a, b]. In particular, we have H(b) H(a) =
0, which gives the desired inequality.
As a consequence, by replacing f(x) by pf(x) in (8), we have the following
Corollary 3.1. Let p 1 be a real number and let f E
1
(0, 1). Then
_
1
0
[f(x)]
p+2
dx
1
p
__
1
0
f(x) dx
_p+1
(10)
Some Integral Inequalities 125
Acknowledgement
The author wishes to thank the referee for many valuable comments and
suggestions.
References
[1] Bechenbach, E. F., Inequalities, Springer, Berlin, 1983.
[2] Feng Qi, Several integral inequalities, Journal of Inequalities in Pure and
Applied Mathematics, vol 1, issue 2, Article 19, 2000.
[3] Hardy G. H., Littlewood J. E., Polya G., Inequalities, 2nd edition, Cam-
bridge University Press, Cambridge, 1952.
[4] Mitrinovic, D. S., Analytic Inequalities, Springer-Verlag, Berlin, 1970.
[5] Mitrinovic, D. S., Pecaric, J. E., Fink, A. M., Classical and New Inequal-
ities in Analysis, Kluwer Academic Publishers, Dordrecht 1993.

Some Integral Inequalities: 1 Introduction and Statement of The Results

Uploaded by

Copyright:

Available Formats

Some Integral Inequalities: 1 Introduction and Statement of The Results

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Some Integral Inequalities: 1 Introduction and Statement of The Results

Uploaded by

Copyright:

Available Formats

Divulgaciones Matematicas Vol. 11 No. 2(2003), pp.

(x) r for all x ]a, b[.

(t) = [(p + 1)f

(t) > 0 for all t ]a, b[. We deduce that

You might also like