J I P A

advertisement
Journal of Inequalities in Pure and
Applied Mathematics
ON HADAMARD’S INEQUALITY FOR THE CONVEX MAPPINGS
DEFINED ON A CONVEX DOMAIN IN THE SPACE
volume 1, issue 1, article 9,
2000.
BOGDAN GAVREA
University Babeş-Bolyai Cluj-Napoca
Department of Mathematics and Computers
Str. Mihail Kogălniceanu 1
3400 Cluj-Napoca, ROMANIA
EMail: gb7581@math.ubbcluj.ro
Received 28 September, 1999;
acepted 21 January, 2000.
Communicated by: S.S. Dragomir
Abstract
Contents
JJ
J
II
I
Home Page
Go Back
Close
c
2000
School of Communications and Informatics,Victoria University of Technology
ISSN (electronic): 1443-5756
007-99
Quit
Abstract
In this paper we obtain some Hadamard type inequalities for triple integrals.
The results generalize those obtained in (S.S. DRAGOMIR, On Hadamard’s
inequality for the convex mappings defined on a ball in the space and applications, RGMIA (preprint), 1999).
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
2000 Mathematics Subject Classification: 26D15
Key words: Hadamard’s inequality
Contents
Bogdan Gavrea
1
2
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
References
3
6
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 2 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
1.
Introduction
Let f : [a, b] → R be a convex mapping defined on the interval [a, b]. The
following double inequality
Z b
a+b
1
f (a) + f (b)
(1.1)
f
≤
f (x) dx ≤
2
b−a a
2
is known in the literature as Hadamard’s inequality for convex mappings.
In [1] S.S. Dragomir considered the following mapping naturally connected
to Hadamard’s inequality
Z b a+b
1
H : [0, 1] → R, H(t) =
f tx + (1 − t)
dx
b−a a
2
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
and proved the following properties of this function
Title Page
(i) H is convex and monotonic nondecreasing.
Contents
JJ
J
(ii) H has the bounds
1
sup H(t) = H(1) =
b−a
t∈[0,1]
Z
b
f (x) dx
II
I
Go Back
a
Close
and
inf H(t) = H(0) = f
t∈[0,1]
a+b
2
Quit
.
Page 3 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
In the recent paper [2], S.S. Dragomir gave some inequalities of Hadamard’s
type for convex functions defined on the ball B(C, R), where
C = (a, b, c) ∈ R3 ,
R>0
and
B(C, R) := {(x, y, z) ∈ R3 | (x − a)r + (y − b)2 + (z − c)2 ≤ R2 }
More precisely he proved the following theorem.
Theorem 1.1. Let f : B(C, R) → R be a convex mapping on the ball B(C, R).
Then we have the inequality
ZZZ
1
(1.2)
f (x, y, z) dxdydz
f (a, b, c) ≤
v(B(C, R))
B(C,R)
ZZ
1
≤
f (x, y, z) dσ
σ(B(C, R)) S(C,R)
where
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
Title Page
Contents
2
2
2
2
2
S(C, R) := {(x, y, z) ∈ R | (x − a) + (y − b) + (z − c) = R }
and
4πR3
v(B(C, R)) =
,
σ(B(C, R)) = 4πR2 .
3
In [2] S.S. Dragomir considers, for a convex mapping f defined on the ball
B(C, R), the mapping H : [0, 1] → R given by
ZZZ
1
H(t) =
f (t(x, y, z) + (1 − t)C) dxdydz.
v(B(C, R))
B(C,R)
JJ
J
II
I
Go Back
Close
Quit
Page 4 of 13
The main properties of this mapping are contained in the following theorem.
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
Theorem 1.2. With the above assumption, we have
(i) The mapping H is convex on [0, 1].
(ii) H has the bounds
(1.3)
inf H(t) = H(0) = f (C)
t∈[0,1]
and
1
(1.4) sup H(t) = H(1) =
v(B(C, R))
t∈[0,1]
ZZZ
f (x, y, z) dxdydz.
B(C,R)
(iii) The mapping H is monotonic nondecreasing on [0, 1].
In this paper we shall give a generalization of the Theorem 1.2 for a positive
linear functional defined on C(D), where D ⊂ Rm (m ∈ N∗ ) is a convex
domain. We shall give also a generalization of the Theorem 1.1.
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 5 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
2.
Results
Let D ⊂ Rm be a convex domain and A : C(D) → R be a given positive linear
functional such that A(e0 ) = 1, where e0 (x) = 1, x ∈ D. Let x = (x1 , . . . , xm )
be a point from D we note by pi , i = 1, 2, . . . , m the function defined on D by
pi (x) = xi ,
i = 1, 2, . . . , m
and by ai , i = 1, 2, . . . , m the value of the functional A in pi , i.e.
A(pi ) = ai ,
i = 1, 2, . . . , m.
In addition, let f be a convex mapping on D. We consider the mapping H :
[0, 1] → R associated with the function f and given by
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
H(t) = A(f (tx + (1 − t)a))
where a = (a1 , a2 , . . . , am ) and the functional A acts analagous to the variable
x.
Theorem 2.1. With above assumption, we have
(i) The mapping H is convex on [0, 1].
(ii) The bounds of the function H are given by
(2.1)
inf H(t) = H(0) = f (a)
t∈[0,1]
Contents
JJ
J
II
I
Go Back
Close
Quit
and
(2.2)
Title Page
sup H(t) = H(1) = A(f ).
Page 6 of 13
t∈[0,1]
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
(iii) The mapping H is monotonic nondecreasing on [0, 1].
Proof. (i) Let t1 , t2 ∈ [0, 1] and α, β ≥ 0 with α + β = 1. Then we have
H(αt1 + βt2 ) = A[f ((αt1 + βt2 )x + (1 − (αt1 + βt2 ))a)]
= A[f (α(t1 x + (1 − t1 )a) + β(t2 x + (1 − t2 )a))]
≤ αA[f (t1 x + (1 − t1 )a)] + BA[f (t2 x + (1 − t2 )a)]
= αH(t1 ) + βH(t2 )
which proves the convexity of H on [0, 1].
(ii) Let g be a convex function on D. Then there exist the real numbers A1 , A2 , . . . , Am
such that
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
(2.3)
g(x) ≥ g(a) + (x1 − a1 )A1 + (x2 − a2 )A2 + · · · + (xm − am )Am
for any x = (x1 , . . . , xm ) ∈ D.
Using the fact that the functional A is linear and positive, from the inequality
(2.3) we obtain the inequality
(2.4)
A(g) ≥ g(a).
Now, for a fixed number t, t ∈ [0, 1] the function g : D → R defined by
g(x) = f (tx + (1 − t)a)
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
is a convex function. From the inequality (2.4) we obtain
Page 7 of 13
A(f (tx + (1 − t)a)) ≥ f (ta + (1 − t)a) = f (a)
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
or
H(t) ≥ H(0)
for every t ∈ [0, 1], which proves the equality (2.1).
Let 0 ≤ t1 < t2 ≤ 1. By the convexity of the mapping H we have
H(t1 ) − H(0)
H(t2 ) − H(t1 )
≥
≥ 0.
t2 − t1
t1
So the function H is a nondecreasing function and H(t) ≤ H(1). The
theorem is proved.
Remark 2.1. For m = 1, D = [a, b] and
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
A(f ) =
1
b−a
Z
b
f (x) dx
a
the function H is the function which was considered in the paper [1].
Remark 2.2. For m = 3 and D = B(C, R) and
Z Z Z
1
A(f ) =
f (x, y, z) dxdydz
v(B(C, R))
B(C,R)
a being C, the function H is the functional from the Theorem 1.2.
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 8 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
Let D be a bounded convex domain from R3 with a piecewise smooth boundary S. We define the notation
ZZ
σ :=
dS,
S
ZZ
1
a1 :=
x dS,
σ
S
ZZ
1
a2 :=
y dS,
σ
ZZ S
a3 :=
z dS,
S
ZZZ
v :=
f (x, y, z) dxdydz.
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
V
Let us assume that the surface S is oriented with the aid of the unit normal h
directed to the exterior of D
Title Page
h = (cos α, cos β, cos γ).
Contents
The following theorem is a generalization of the Theorem 1.1.
Theorem 2.2. Let f be a convex function on D. With the above assumption we
have the following inequalities
(2.5)Z Z
ZZ
v
f ds−σ
[(a1 −x) cos α+(a2 −y) cos β+(a3 −z) cos γ]f (x, y, z) dS
S
S
ZZZ
≥ 4σ
f (x, y, z) dxdydz
JJ
J
II
I
Go Back
Close
Quit
Page 9 of 13
D
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
and
ZZZ
f (x, y, z) dxdydz ≥ f (xσ , yσ , zσ )v,
(2.6)
D
where
1
xσ =
v
ZZZ
x dxdydz,
D
1
yσ =
v
ZZZ
y dxdydz,
D
1
zσ =
v
ZZZ
z dxdydz.
D
∂f ∂f ∂f
Proof. We can suppose that the function f has the partial derivatives
,
,
∂x ∂y ∂z
and these are continuous on D.
For every point (u, v, w) ∈ S and (x, y, z) ∈ D the following inequality
holds:
(2.7)
∂f
∂f
∂f
f (u, v, w) ≥ f (x, y, z)+ (x, y, z)(u−x)+ (x, y, z)(v−y)+ (x, y, z)(w−z).
∂x
∂y
∂z
From the inequality (2.7) we have
ZZ
∂f
(x, y, z)(a1 − x)σ
∂x
∂f
∂f
+
(x, y, z)(a2 − y)σ +
(x, y, z)(a3 − z)σ.
∂y
∂z
f (x, y, z) dS ≥ f (x, y, z)σ +
(2.8)
S
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 10 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
The above inequality leads us to the inequality
ZZ
ZZZ
f (x, y, z) dS ≥ σ
f (x, y, z) dxdydz
D
ZZZ "
∂
∂
+σ
((a1 − x)f (x, y, z)) +
((a2 − y)f (x, y, z))
∂y
D ∂x
#
∂
+ ((a3 − z)f (x, y, z)) dxdydz
∂z
ZZZ
+ 3σ
f (x, y, z) dxdydz.
(2.9) v
S
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
D
Bogdan Gavrea
Using the Gauss-Ostrogradsky’ theorem we obtain the equality
ZZZ "
(2.10)
D
∂
∂
((a1 − x)f (x, y, z) +
((a2 − y)f (x, y, z))
∂x
∂y
#
∂
+ ((a3 − z)f (z, y, z) dxdydz
∂z
ZZ
[(a1 − x) cos α + (a2 − y) cos β + (a3 − z) cos γ]f (x, y, z) dS.
=
S
From the relations (2.9) and (2.10) we obtain the inequality (2.4). The in-
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 11 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
equality (2.6) is the inequality (2.4) for the functional
ZZZ
f (x, y, z) dxdydz
D
ZZZ
A(f ) =
.
dxdydz
D
Remark 2.3. For D = B(C, R) we have
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
(a1 , a2 , a3 ) = C
Bogdan Gavrea
and
x − a1
y − a2
z − a3
cos α =
, cos β =
, cos γ =
.
R
R
R
In this case the inequality (2.4) becomes
ZZZ
ZZ
σ
f (x, y, z) dxdydz ≤ v
f (x, y, z) dσ.
B(C,R)
S(C,R)
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 12 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
References
[1] S.S. DRAGOMIR, A mapping in connection to Hadamard’s inequality, An.
Ostro. Akad. Wiss. Math.-Natur. (Wien), 128 (1991), 17-20.
[2] S.S. DRAGOMIR, On Hadamard’s inequality for the convex mappings defined on a ball in the space and applications, RGMIA (preprint), 1999. [ONLINE] Available online at
http://rgmia.vu.edu.au/Hadamard.html#HHTICF
On Hadamard’s Inequality for
the Convex Mappings defined
on a Convex Domain in the
Space
Bogdan Gavrea
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 13 of 13
J. Ineq. Pure and Appl. Math. 1(1) Art. 9, 2000
http://jipam.vu.edu.au
Download