FURTHER DEVELOPMENT OF AN OPEN PROBLEM
YU MIAO AND JUNFEN LI
College of Mathematics and Information Science
Henan Normal University
Henan Province, 453007, China
EMail: yumiao728@yahoo.com.cn
Further Development of
an Open Problem
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
junfen_li@yahoo.com.cn
Title Page
Received:
06 March, 2008
Accepted:
5 October, 2008
Communicated by:
N.S. Barnett
2000 AMS Sub. Class.:
26D15; 60E15.
Key words:
Integral inequality, Cauchy inequality, Open problem.
Abstract:
In this paper, we generalize an open problem posed by Ngô et al. in [Notes
on an Integral Inequality, JIPAM, 7(4) (2006), Art.120] and give some answers
which extend the results of Boukerrioua-Guezane-Lakoud [On an open question
regarding an integral inequality, JIPAM, 8(3) (2007), Art. 77.] and Liu-Li-Dong
[On an open problem concerning an integral inequality, JIPAM, 8 (3) (2007), Art.
74.].
Acknowledgements:
The authors are indebted to the referees and the editor for their many helpful and
valuable comments.
Contents
JJ
II
J
I
Page 1 of 14
Go Back
Full Screen
Close
Contents
1
Introduction
3
2
Main Results
5
3
Further Discussion
11
Further Development of
an Open Problem
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
Title Page
Contents
JJ
II
J
I
Page 2 of 14
Go Back
Full Screen
Close
1.
Introduction
In [4], the following inequality is found.
Theorem A. Let f (x) ≥ 0 be a continuous function on [0, 1] satisfying
Z 1
Z 1
(1.1)
f (t)dt ≥
tdt,
∀ x ∈ [0, 1],
x
x
then
Yu Miao and Junfen Li
Z
1
Z
f α+1 (x)dx ≥
(1.2)
0
1
vol. 9, iss. 4, art. 108, 2008
xα f (x)dx,
0
Title Page
and
Z
1
f
(1.3)
α+1
Z
(x)dx ≥
0
1
xf α (x)dx,
0
hold for every positive real number α > 0.
The authors next proposed the following open problem:
Open Problem 1. Let f (x) ≥ 0 be a continuous function on [0, 1] satisfying
Z 1
Z 1
(1.4)
f (t)dt ≥
tdt,
∀ x ∈ [0, 1].
x
x
0
Contents
JJ
II
J
I
Page 3 of 14
Go Back
Full Screen
Close
Under what conditions does the inequality
Z 1
Z
α+β
(1.5)
f
(x) ≥
hold for α and β?
Further Development of
an Open Problem
0
1
xα f β (x)dx
Several answers and extension results have been given to this open problem [1, 3].
In the present paper, we obtain a generalization of the above Open Problem 1 and
provide some resolutions to it. Here, and in what follows, we use X to denote a nonnegative random variable (r.v.) on [0, ∞) with probability density function p(x).
E(X) denotes the mathematical expectation of X and 1A := 1A (X) denotes the
indicator function of the event A. Let At = [t, ∞). We now consider the following
generalization of Open Problem 1.
Open Problem 2. Let f (x) ≥ 0 be a continuous function on [0, ∞). Under what
conditions does the inequality
(1.6)
Further Development of
an Open Problem
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
E(f α+β (X)) ≥ E(X α f β (X))
Title Page
hold for α and β?
Contents
Remark 1. Let X possess a uniform distribution on the support interval [0, 1], i.e.,
the probability density function of X is equal to 1, x ∈ [0, 1] and zero elsewhere,
then the above open problem becomes Open Problem 1.
For convenience, we assume that all the necessary functions in the following are
integrable.
JJ
II
J
I
Page 4 of 14
Go Back
Full Screen
Close
2.
Main Results
Theorem 2.1. Let f (x) ≥ 0 be a continuous function on [0, ∞) satisfying
(2.1)
E(f β (X)1At ) ≥ E(X β 1At ),
∀ t ∈ [0, ∞).
Then
(2.2)
E(f
α+β
α β
(X)) ≥ E(X f (X))
Further Development of
an Open Problem
Yu Miao and Junfen Li
holds for every positive real number α and β.
Proof. By Fubini’s Theorem and (2.1), we have
Z ∞
α β
(2.3)
E(X f (X)) =
xα f β (x)p(x)dx
0
Z Z x
1 ∞
α−1
=
t dt f β (x)p(x)dx
α 0
0
Z ∞
Z
1 ∞ α−1
β
=
t
f (x)p(x)dx dt
α 0
t
Z
1 ∞ α−1
=
t E(f β (X)1At )dt
α 0
Z
1 ∞ α−1
≥
t E(X β 1At )dt
α 0
Z ∞
Z
1 ∞ α−1
β
=
t
x p(x)dx dt
α 0
t
Z Z x
1 ∞
α−1
t dt xβ p(x)dx
=
α 0
0
vol. 9, iss. 4, art. 108, 2008
Title Page
Contents
JJ
II
J
I
Page 5 of 14
Go Back
Full Screen
Close
Z
∞
=
xβ+α p(x)dx = E(X β+α ).
0
Using Cauchy’s inequality, we have
(2.4)
β
α
f α+β (X) +
X α+β ≥ X α f β (X),
α+β
α+β
Further Development of
an Open Problem
which, by (2.3), yields
(2.5)
β
α
E(f α+β (X)) +
E(X α+β ) ≥ E(X α f β (X)) ≥ E(X β+α ).
α+β
α+β
Remark 2. If we assume that X possesses a uniform distribution on the support
interval [0, 1] (or [0, b]), then the above theorem is Theorem 2.1 (or Theorem 2.4) of
Liu-Li-Dong in [3].
Theorem 2.2. Let f (x) ≥ 0 be a continuous function on [0, ∞) satisfying
(2.6)
E(f (X)1At ) ≥ E(X1At ),
∀ t ∈ [0, ∞).
vol. 9, iss. 4, art. 108, 2008
Title Page
Contents
JJ
II
J
I
Page 6 of 14
Then
(2.7)
Yu Miao and Junfen Li
E(f α+β (X)) ≥ E(X β f α (X))
holds for every positive real number α ≥ 1 and β.
Proof. By Fubini’s Theorem and (2.6), we have
Z ∞
α+1
(2.8)
E(X f (X)) =
xα+1 f (x)p(x)dx
0
Z ∞ Z x
1
α
=
t dt f (x)p(x)dx
α+1 0
0
Go Back
Full Screen
Close
Z ∞ Z ∞
1
α
=
t
f (x)p(x)dx dt
α+1 0
t
Z ∞ Z ∞
1
α
≥
t
xp(x)dx dt
α+1 0
t
Z x
Z ∞
1
α
=
xp(x)
t dt dx = E(X α+2 ).
α+1 0
0
Applying Cauchy’s inequality, we get
α−1 α
1 α
f (X) +
X ≥ f (X)X α−1 .
α
α
(2.9)
Multiplying both sides of (2.9) by X β , we have
(2.10)
α−1
1
E(f α (X)X β ) +
E(X α+β ) ≥ E(f (X)X α+β−1 ) ≥ E(X α+β ),
α
α
which implies
(2.11)
E(f α (X)X β ) ≥ E(X α+β ).
The remainder of the proof is similar to that of Theorem 2.1.
Remark 3. If we assume that X possesses a uniform distribution on the support
interval [0, 1] then the above theorem is Theorem 2.3 of Boukerrioua and GuezaneLakoud in [1].
Next we consider the case “α > 0, β > 2” by using the ideas of Dragomir-Ngô
in [2].
Further Development of
an Open Problem
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
Title Page
Contents
JJ
II
J
I
Page 7 of 14
Go Back
Full Screen
Close
Lemma 2.3 ([2]). Let f : [a, b] → [0, ∞) be a continuous function and g : [a, b] →
[0, ∞) be non-decreasing, differentiable on (a, b) satisfying
Z b
Z b
f (t)dt ≥
g(t)dt.
x
Then
Z
x
b
β
Z
f (t)dt ≥
x
b
Further Development of
an Open Problem
g β (t)dt
x
Yu Miao and Junfen Li
holds for β > 1.
vol. 9, iss. 4, art. 108, 2008
0
Lemma 2.4. Let f (x) ≥ 0 be a continuous function on [0, ∞) with f (x) ≥ 0 on
(0, ∞) and satisfying
(2.12)
E(f (X)1At ) ≥ E(X1At ),
∀ t ∈ [0, ∞).
Contents
Then
E(f β (X)1At )) ≥ E(X β 1At )
(2.13)
0
Theorem 2.5. Let f (x) ≥ 0 be a continuous function on [0, ∞) with f (x) ≥ 0 on
(0, ∞) and satisfying
∀ t ∈ [0, ∞).
In addition, for every positive real number α > 0, β > 2 satisfying
(2.15)
lim f α (x)xβ−1 E[(f (X) − X)1Ax ] = 0,
x→∞
II
J
I
Go Back
Proof. The proof is a direct extension of Theorem 3 in [2].
E(f (X)1At ) ≥ E(X1At ),
JJ
Page 8 of 14
holds for every positive real number β ≥ 1.
(2.14)
Title Page
Full Screen
Close
and
lim f α (x)xE[(f β−1 (X) − X β−1 )1Ax ] = 0,
(2.16)
x→∞
then
E(f α+β (X)) ≥ E(X β f α (X)).
(2.17)
Proof. It is obvious that
(f (x) − x)(f β−1 (x) − xβ−1 ) ≥ 0,
which implies that
(2.18)
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
f β+α (x) ≥ xβ−1 f 1+α (x) + xf β−1+α (x) − xβ f α (x).
Integrating by parts and using (2.14) and (2.15), we have
E(f α (X)X β−1 (f (X) − X))
Z ∞
=
f α (x)xβ−1 (f (x) − x)p(x)dx
0
Z ∞
Z ∞
α
β−1
=−
f (x)x d
(f (t) − t)p(t)dt dx
0
x
Z ∞
∞
α
β−1
= −f (x)x
(f (t) − t)p(t)dt 0
x
Z ∞
Z ∞
0
α−1
β−1
β−2 α
(f (t) − t)p(t)dt dx
+
αf (x)f
(x)x
+ (β − 1)x f (x)
x
0
Z ∞
Z ∞
0
α−1
β−1
β−2 α
=
αf (x)f
(x)x
+ (β − 1)x f (x)
(f (t) − t)p(t)dt dx
0
x
Z ∞
0
α−1
β−1
β−2 α
=
αf (x)f
(x)x
+ (β − 1)x f (x) E ((f (X) − X)1Ax ) dx ≥ 0,
0
Further Development of
an Open Problem
Title Page
Contents
JJ
II
J
I
Page 9 of 14
Go Back
Full Screen
Close
which yields
E(f α+1 (X)X β−1 ) ≥ E(f α (X)X β ).
(2.19)
Furthermore, by Lemma 2.4 and the condition (2.16), we have
E(f α (X)X(f β−1 (X) − X β−1 ))
Z ∞
=
f α (x)x(f β−1 (x) − xβ−1 )p(x)dx
0
Z ∞
Z ∞
α
β−1
β−1
=−
f (x)xd
(f (t) − t )p(t)dt dx
0
x
Z ∞
∞
α
β−1
β−1
= − f (x)x
(f (t) − t )p(t)dt 0
x
Z ∞
Z ∞
0
α−1
α
β−1
β−1
+
(αxf (x)f
(x) + f (x))
(f (t) − t )p(t)dt dx
0
x
Z ∞
0
=
(αxf (x)f α−1 (x) + f α (x))E (f β−1 (X) − X β−1 )1Ax dx ≥ 0,
0
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
Title Page
Contents
JJ
II
J
I
Page 10 of 14
which yields
(2.20)
Further Development of
an Open Problem
Go Back
E(f
α+β−1
α
β
(X)X) ≥ E(f (X)X ).
From (2.18)-(2.20), inequality (2.17) holds.
Full Screen
Close
3.
Further Discussion
R∞
Let g(x) ≥ 0, 0 < 0 g(x)dx < ∞. If p(x) := R ∞g(x)
, then it is easy to check
0 g(x)dx
that p(x) is a probability density function on the interval [0, ∞). Thus we have the
following:
Theorem 3.1. Let f (x) ≥ 0 be a continuous function on [0, ∞) satisfying
Z ∞
Z ∞
β
(3.1)
f (t)g(t)dt ≥
tβ g(t)dt
∀ t ∈ [0, ∞).
t
t
Further Development of
an Open Problem
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
Then
Z
∞
f
(3.2)
α+β
Z
∞
xβ f α (x)g(x)dx
(x)g(x)dx ≥
0
Title Page
0
Contents
holds for every positive real number α and β.
Theorem 3.2. Let f (x) ≥ 0 be a continuous function on [0, ∞) satisfying
Z ∞
Z ∞
(3.3)
f (t)g(t)dt ≥
tg(t)dt,
∀ t ∈ [0, ∞).
t
JJ
II
J
I
Page 11 of 14
t
Go Back
Then
Z
∞
f
(3.4)
α+β
Z
(x)g(x)dx ≥
0
Full Screen
∞
β α
x f (x)g(x)dx
0
holds for every pair of positive real numbers “α ≥ 1 and β > 0”. Furthermore,
for every positive real number “α > 0, β > 2” satisfying (2.15) and (2.16), the
inequality (3.4) holds.
Two more general results follow.
Close
Theorem 3.3. Let f (x) ≥ 0, g(x) ≥ 0 be two continuous functions on [0, ∞)
satisfying
Z ∞
Z ∞
β
(3.5)
f (t)dt ≥
g β (t)dt
∀ t ∈ [0, ∞).
t
t
Furthermore, for any positive real numbers α and β, let g(x) be differentiable with
0
[g α (x)] ≥ 0 and g(0) = 0, then
Z ∞
Z ∞
α+β
(3.6)
f
(x)dx ≥
g β (x)f α (x)dx.
0
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
0
Proof. Denoting the derivative of g α (x) by G(x), we obtain,
Z ∞
Z ∞ Z x
α
β
(3.7)
g (x)f (x)dx =
G(t)dt f β (x)dx
0
Z0 ∞ 0 Z ∞
β
=
G(t)
f (x)dx dt
0
t
Z ∞
Z ∞
β
≥
G(t)
g (x)dx dt
t
0
Z x
Z ∞
β
G(t)dt dx
=
g (x)
0
0
Z ∞
=
g β+α (x)dx.
0
Using Cauchy’s inequality, we have
(3.8)
Further Development of
an Open Problem
β
α
f α+β (x) +
g α+β (x) ≥ g α (x)f β (x),
α+β
α+β
Title Page
Contents
JJ
II
J
I
Page 12 of 14
Go Back
Full Screen
Close
which, by (3.7), yields
Z ∞
Z ∞
Z ∞
β
α
α+β
α+β
(3.9)
f
(x)dx +
g
(x)dx ≥
g α (x)f β (x)dx
α+β 0
α+β 0
Z0 ∞
≥
g β+α (x)dx.
0
Further Development of
an Open Problem
The desired result then follows.
Yu Miao and Junfen Li
A similar proof yields the following:
vol. 9, iss. 4, art. 108, 2008
Theorem 3.4. Let f (x) ≥ 0, g(x) ≥ 0 be two continuous functions on [0, ∞)
satisfying
Z ∞
Z ∞
(3.10)
f (t)dt ≥
g(t)dt,
∀ t ∈ [0, ∞).
t
t
Furthermore, for every pair of positive real numbers satisfying “α ≥ 1 and β > 0”,
0
let g(x) be differentiable with [g α (x)] ≥ 0 and g(0) = 0, then
Z ∞
Z ∞
α+β
(3.11)
f
(x)dx ≥
g β (x)f α (x)dx.
0
0
Additionally, for every positive real number “α > 0, β > 2” satisfying (2.15) and
(2.16), inequality (3.11) holds.
Title Page
Contents
JJ
II
J
I
Page 13 of 14
Go Back
Full Screen
Close
References
[1] K. BOUKERRIOUA AND A. GUEZANE-LAKOUD, On an open question regarding an integral inequality, J. Inequal. Pure Appl. Math., 8(3) (2007), Art. 77.
[ONLINE: http://jipam.vu.edu.au/article.php?sid=885].
[2] S.S. DRAGOMIR AND Q.A. NGÔ, On an integral inequality, RGMIA Research
Report Collection, 11(1) (2008), Art. 13. [ONLINE: http://www.staff.
vu.edu.au/RGMIA/v11n1.asp].
[3] W.J. LIU, C.C. LI AND J.W. DONG, On an open problem concerning an integral
inequality, J. Inequal. Pure Appl. Math., 8(3) (2007), Art. 74. [ONLINE: http:
//jipam.vu.edu.au/article.php?sid=882].
[4] Q.A. NGÔ, D.D. THANG, T.T. DAT AND D.A. TUAN, Note on an integral
inequality, J. Inequal. Pure Appl. Math., 7(4) (2006), Art. 120. [ONLINE:
http://jipam.vu.edu.au/article.php?sid=737].
Further Development of
an Open Problem
Yu Miao and Junfen Li
vol. 9, iss. 4, art. 108, 2008
Title Page
Contents
JJ
II
J
I
Page 14 of 14
Go Back
Full Screen
Close