volume 1, issue 1, article 2, 2000.
Received 17 September 1999;
accepted 16 December 1999.
Communicated by:T. Mills
Abstract Contents
JJ II
J I
Home Page Go Back
Close Quit
Journal of Inequalities in Pure and Applied Mathematics
ON HADAMARD’S INEQUALITY ON A DISK
S.S. DRAGOMIR
School of Communications and Informatics (F019) Victoria University of Technology
PO BOX 14428
Melbourne City MC 8001 AUSTRALIA
EMail:[email protected]
URL:http://rgmia.vu.edu.au/SSDragomirWeb.html
c
2000Victoria University ISSN (electronic): 1443-5756 003-99
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page2of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
Abstract
In this paper an inequality of Hadamard type for convex functions defined on a disk in the plane is proved. Some mappings naturally connected with this inequality and related results are also obtained.
2000 Mathematics Subject Classification:26D07, 26D15
Key words: Convex functions of double variable, Jensen’s inequality, Hadamard’s inequality.
Contents
1 Introduction. . . 3 2 Hadamard’s Inequality on the Disk. . . 6 3 Some Mappings Connected to Hadamard’s Inequality on
the Disk . . . 11 References
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page3of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
1. Introduction
Let f : I ⊆ R → R be a convex mapping defined on the interval I of real numbers anda, b∈I witha < b. The following double inequality
(1.1) f
a+b 2
≤ 1 b−a
Z b a
f(x)dx≤ f(a) +f(b) 2
is known in the literature as Hadamard’s inequality for convex mappings. Note that some of the classical inequalities for means can be derived from (1.1) for appropriate particular selections of the mappingf.
In the paper [4] (see also [6] and [7]) the following mapping naturally con- nected with Hadamard’s result is considered
H: [0,1]→R, H(t) := 1 b−a
Z b a
f
tx+ (1−t)a+b 2
dx.
The following properties are also proved:
(i) His convex and monotonic nondecreasing.
(ii) One has the bounds sup
t∈[0,1]
H(t) =H(1) = 1 b−a
Z b a
f(x)dx
and
t∈[0,1]inf H(t) =H(0) =f
a+b 2
.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page4of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
Another mapping also closely connected with Hadamard’s inequality is the following one [6] (see also [7])
F : [0,1]→R, F (t) := 1 (b−a)2
Z b a
Z b a
f(tx+ (1−t)y)dxdy.
The properties of this mapping are itemized below:
(i) F is convex on[0,1]and monotonic nonincreasing on 0,12
and nonde- creasing on1
2,1 .
(ii) F is symmetric about 12.That is,
F(t) =F (1−t), for allt∈[0,1]. (iii) One has the bounds
sup
t∈[0,1]
F (t) = F (0) =F(1) = 1 b−a
Z b a
f(x)dx
and
t∈[0,1]inf F (t) = F 1
2
= 1
(b−a)2 Z b
a
Z b a
f
x+y 2
dxdy ≥f
a+b 2
.
(iv) The following inequality holds
F (t)≥max{H(t), H(1−t)}, for allt∈[0,1].
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page5of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
In this paper we will point out a similar inequality to Hadamard’s that ap- plies to convex mappings defined on a disk embedded in the planeR2. We will also consider some mappings similar in a sense to the mappingsH andF and establish their main properties.
For recent refinements, counterparts, generalizations and new Hadamard’s type inequalities, see the papers [1]-[11] and [14]-[15] and the book [13].
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page6of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
2. Hadamard’s Inequality on the Disk
Let us consider a pointC = (a, b) ∈ R2 and the diskD(C, R)centered at the point C and having the radius R > 0.The following inequality of Hadamard type holds.
Theorem 2.1. If the mapping f : D(C, R) → Ris convex onD(C, R), then one has the inequality
(2.1) f(C)≤ 1 πR2
Z Z
D(C,R)
f(x, y)dxdy≤ 1 2πR
Z
S(C,R)
f(γ)dl(γ) where S(C, R)is the circle centered at the pointC with radius R. The above inequalities are sharp.
Proof. Consider the transformation of the planeR2 in itself given by
h:R2 →R2, h= (h1, h2) and h1(x, y) =−x+ 2a, h2(x, y) = −y+ 2b.
Thenh(D(C, R)) =D(C, R)and since
∂(h1, h2)
∂(x, y) =
−1 0 0 −1
= 1, we have the change of variable
Z Z
D(C,R)
f(x, y)dxdy= Z Z
D(C,R)
f(h1(x, y), h2(x, y))
∂(h1, h2)
∂(x, y)
dxdy
= Z Z
D(C,R)
f(−x+ 2a,−y+ 2b)dxdy.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page7of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
Now, by the convexity off onD(C, R)we also have 1
2[f(x, y) +f(−x+ 2a,−y+ 2b)]≥f(a, b) which gives, by integration on the diskD(C, R), that
(2.2) 1 2
Z Z
D(C,R)
f(x, y)dxdy+ Z Z
D(C,R)
f(−x+ 2a,−y+ 2b)dxdy
≥f(a, b) Z Z
D(C,R)
dxdy=πR2f(a, b). In addition, as
Z Z
D(C,R)
f(x, y)dxdy= Z Z
D(C,R)
f(−x+ 2a,−y+ 2b)dxdy, then by the inequality (2.2) we obtain the first part of (2.1).
Now, consider the transformation
g = (g1, g2) : [0, R]×[0,2π]→D(C, R) given by
g :
g1(r, θ) =rcosθ+a,
g2(r, θ) = rsinθ+b, r∈[0, R], θ∈[0,2π]. Then we have
∂(g1, g2)
∂(r, θ) =
cosθ sinθ
−rsinθ rcosθ
=r.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page8of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
Thus, we have the change of variable Z Z
D(C,R)
f(x, y)dxdy = Z R
0
Z 2π 0
f(g1(r, θ), g2(r, θ))
∂(g1, g2)
∂(r, θ)
drdθ
= Z R
0
Z 2π 0
f(rcosθ+a, rsinθ+b)rdrdθ.
Note that, by the convexity off onD(C, R), we have f(rcosθ+a, rsinθ+b) =f
r
R (Rcosθ+a, Rsinθ+b) +
1− r R
(a, b)
≤ r
Rf(Rcosθ+a, Rsinθ+b) +
1− r R
f(a, b), which yields that
f(rcosθ+a, rsinθ+b)r≤ r2
Rf(Rcosθ+a, Rsinθ+b)+r 1− r
R
f(a, b) for all(r, θ)∈[0, R]×[0,2π].
Integrating on[0, R]×[0,2π]we get
Z Z
D(C,R)
f(x, y)dxdy ≤ Z R
0
r2 Rdr
Z 2π 0
f(Rcosθ+a, Rsinθ+b)dθ
+f(a, b) Z 2π
0
dθ Z R
0
r 1− r
R
dr
= R2 3
Z 2π 0
f(Rcosθ+a, Rsinθ+b)dθ+ πR2
3 f(a, b). (2.3)
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page9of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
Now, consider the curveγ : [0,2π]→R2given by γ :
x(θ) := Rcosθ+a,
y(θ) :=Rsinθ+b, θ ∈[0,2π].
Then γ([0,2π]) = S(C, R) and we write (integrating with respect to arc length)
Z
S(C,R)
f(γ)dl(γ) = Z 2π
0
f(x(θ), y(θ)) [ ˙x(θ)]2+ [ ˙y(θ)]212 dθ
= R
Z 2π 0
f(Rcosθ+a, Rsinθ+b)dθ.
By the inequality (2.3) we obtain Z Z
D(C,R)
f(x, y)dxdy≤ R 3
Z
S(C,R)
f(γ)dl(γ) + πR2
3 f(a, b) which gives the following inequality which is interesting in itself (2.4) 1
πR2 Z Z
D(C,R)
f(x, y)dxdy ≤ 2 3· 1
2πR Z
S(C,R)
f(γ)dl(γ) +1
3f(a, b). As we proved that
f(C)≤ 1 πR2
Z Z
D(C,R)
f(x, y)dxdy,
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page10of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
then by the inequality (2.4) we deduce the inequality
(2.5) f(C)≤ 1
2πR Z
S(C,R)
f(γ)dl(γ).
Finally, by (2.5) and (2.4) we have 1
πR2 Z Z
D(C,R)
f(x, y)dxdy ≤ 2 3· 1
2πR Z
S(C,R)
f(γ)dl(γ) + 1 3f(C)
≤ 1 2πR
Z
S(C,R)
f(γ)dl(γ)
and the second part of (2.1) is proved.
Now, consider the mapf0 :D(C, R)→R, f0(x, y) = 1. Thus 1 = f0(λ(x, y) + (1−λ) (u, z))
= λf0(x, y) + (1−λ)f0(u, z) = 1.
Thereforef0 is convex onD(C, R)→R. We also have f0(C) = 1, 1
πR2 Z Z
D(C,R)
f0(x, y)dxdy= 1 and 1 2πR
Z
S(C,R)
f0(γ)dl(γ) = 1,
which shows us the inequalities (2.1) are sharp.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page11of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
3. Some Mappings Connected to Hadamard’s In- equality on the Disk
As above, assume that the mappingf : D(C, R)→Ris a convex mapping on the disk centered at the point C = (a, b) ∈ R2 and having the radius R > 0.
Consider the mappingH : [0,1]→Rassociated with the functionf and given by
H(t) := 1 πR2
Z Z
D(C,R)
f(t(x, y) + (1−t)C)dxdy, which is well-defined for allt∈[0,1].
The following theorem contains the main properties of this mapping.
Theorem 3.1. With the above assumption, we have:
(i) The mappingH is convex on[0,1].
(ii) One has the bounds
(3.1) inf
t∈[0,1]H(t) =H(0) =f(C) and
(3.2) sup
t∈[0,1]
H(t) =H(1) = 1 πR2
Z Z
D(C,R)
f(x, y)dxdy.
(iii) The mappingH is monotonic nondecreasing on[0,1].
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page12of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
Proof. (i) Lett1, t2 ∈[0,1]andα, β ≥0withα+β = 1.Then we have H(αt1+βt2) = 1
πR2 Z Z
D(C,R)
f(α(t1(x, y) + (1−t1)C) +β(t2(x, y) + (1−t2)C))dxdy
≤ α· 1 πR2
Z Z
D(C,R)
f(t1(x, y) + (1−t1)C)dxdy
+β· 1 πR2
Z Z
D(C,R)
f(t2(x, y) + (1−t2)C)dxdy
= αH(t1) +βH(t2), which proves the convexity ofHon[0,1].
(ii) We will prove the following identity
(3.3) H(t) = 1
πt2R2 Z Z
D(C,tR)
f(x, y)dxdy for allt∈(0,1].
Fixtin(0,1]and consider the transformationg = (ψ, η) :R2 →R2given by
g :
ψ(x, y) :=tx+ (1−t)a,
η(x, y) :=ty+ (1−t)b, (x, y)∈R2; theng(D(C, R)) =D(C, tR).
Indeed, for all(x, y)∈D(C, R)we have (ψ−a)2+ (η−b)2 =t2
(x−a)2+ (y−b)2
≤(tR)2
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page13of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
which shows that (ψ, η) ∈ D(C, tR), and conversely, for all (ψ, η) ∈ D(C, tR), it is easy to see that there exists (x, y) ∈ D(C, R) so that g(x, y) = (ψ, η).
We have the change of variable Z Z
D(C,tR)
f(ψ, η)dψdη = Z Z
D(C,R)
f(ψ(x, y), η(x, y))
∂(ψ, η)
∂(x, y)
dxdy
= Z Z
D(C,R)
f(t(x, y) + (1−t) (a, b))t2dxdy
=πR2t2H(t) since
∂(ψ,η)
∂(x,y)
=t2, which gives us the equality (3.3).
Now, by the inequality (2.1), we have 1
πt2R2 Z Z
D(C,tR)
f(x, y)dxdy ≥f(C)
which gives usH(t) ≥ f(C)for all t ∈ [0,1]and sinceH(0) = f(C), we obtain the bound (3.1).
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page14of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
By the convexity off on the diskD(C, R)we have H(t) ≤ 1
πR2 Z Z
D(C,R)
[tf(x, y) + (1−t)f(C)]dxdy
= t
πR2 Z Z
D(C,R)
f(x, y)dxdy+ (1−t)f(C)
≤ t πR2
Z Z
D(C,R)
f(x, y)dxdy+ 1−t πR2
Z Z
D(C,R)
f(x, y)dxdy
= 1
πR2 Z Z
D(C,R)
f(x, y)dxdy.
As we have
H(1) = 1 πR2
Z Z
D(C,R)
f(x, y)dxdy, then the bound (3.2) holds.
(iii) Let0≤t1 < t2 ≤1. Then, by the convexity of the mappingHwe have H(t2)−H(t1)
t2−t1 ≥ H(t1)−H(0)
t1 ≥0
asH(t1) ≥ H(0) for allt1 ∈ [0,1]. This proves the monotonicity of the mappingHin the interval[0,1].
Further on, we shall introduce another mapping connected to Hadamard’s
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page15of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
inequality
h: [0,1]→R, h(t) :=
1 2πtR
Z
S(C,tR)
f(γ)dl(γ(t)), t∈(0,1],
f(C), t= 0,
wheref :D(C, R)→Ris a convex mapping on the diskD(C, R)centered at the pointC = (a, b)∈R2and having the same radiusR.
The main properties of this mapping are embodied in the following theorem.
Theorem 3.2. With the above assumptions one has:
(i) The mappingh: [0,1]→Ris convex on[0,1].
(ii) One has the bounds
(3.4) inf
t∈[0,1]h(t) =h(0) =f(C) and
(3.5) sup
t∈[0,1]
h(t) =h(1) = 1 2πR
Z
S(C,R)
f(γ)dl(γ).
(iii) The mappinghis monotonic nondecreasing on[0,1].
(iv) We have the inequality
H(t)≤h(t) for allt∈[0,1].
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page16of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
Proof. For a fixedtin[0,1]consider the curve γ :
x(θ) =tRcosθ+a,
y(θ) = tRsinθ+b, θ ∈[0,2π]. Thenγ([0,2π]) =S(C, tR)and
1 2πtR
Z
S(C,tR)
f(γ)dl(γ)
= 1
2πtR Z 2π
0
f(tRcosθ+a, tRsinθ+b) q
( ˙x(θ))2+ ( ˙y(θ))2dθ
= 1 2π
Z 2π 0
f(tRcosθ+a, tRsinθ+b)dθ.
We note that, then
h(t) = 1 2π
Z 2π 0
f(tRcosθ+a, tRsinθ+b)dθ
= 1
2π Z 2π
0
f(t(Rcosθ, Rsinθ) + (a, b))dθ for allt ∈[0,1].
(i) Lett1, t2 ∈[0,1]andα, β ≥0withα+β = 1.Then, by the convexity of
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page17of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
f we have that
h(αt1+βt2) = 1 2π
Z 2π 0
f(α[t1(Rcosθ, Rsinθ) + (a, b)]
+β[t2(Rcosθ, Rsinθ) + (a, b)])dθ
≤ α· 1 2π
Z 2π 0
f(t1(Rcosθ, Rsinθ) + (a, b))dθ +β· 1
2π Z 2π
0
f(t2(Rcosθ, Rsinθ) + (a, b))dθ
= αh(t1) +βh(t2) which proves the convexity ofhon[0,1].
(iv) In the above theorem we showed that H(t) = 1
πt2R2 Z Z
D(C,tR)
f(x, y)dxdyfor allt∈(0,1]. By Hadamard’s inequality (2.1) we can state that
1 πt2R2
Z Z
D(C,tR)
f(x, y)dxdy≤ 1 2πtR
Z
S(C,tR)
f(γ)dl(γ) which gives us that
H(t)≤h(t) for allt ∈(0,1].
As it is easy to see thatH(0) = h(0) = f(C), then the inequality em- bodied in(iv)is proved.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page18of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
(ii) The bound (3.4) follows by the above considerations and we shall omit the details.
By the convexity off on the diskD(C, R)we have h(t) = 1
2π Z 2π
0
f(t[(Rcosθ, Rsinθ) + (a, b)] + (1−t) (a, b))dθ
≤ t· 1 2π
Z 2π 0
f(Rcosθ+a, Rsinθ+b)dθ
+ (1−t)f(a, b) 1 2π
Z 2π 0
dθ
≤ t· 1 2π
Z 2π 0
f(Rcosθ+a, Rsinθ+b)dθ
+ (1−t)· 1 2π
Z 2π 0
f(Rcosθ+a, Rsinθ+b)dθ
= 1
2π Z 2π
0
f(Rcosθ+a, Rsinθ+b)dθ=h(1), for allt∈[0,1], which proves the bound (3.5).
(iii) Follows by the above considerations as in the Theorem3.1. We shall omit the details.
For a convex mappingf defined on the diskD(C, R)we can also consider
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page19of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
the mapping
g(t,(x, y)) := 1 πR2
Z Z
D(C,R)
f(t(x, y) + (1−t) (z, u))dzdu
which is well-defined for allt∈[0,1]and(x, y)∈D(C, R).
The main properties of the mappingg are enclosed in the following proposi- tion.
Proposition 3.3. With the above assumptions on the mappingf one has:
(i) For all(x, y)∈D(C, R), the mapg(·,(x, y))is convex on[0,1].
(ii) For allt∈[0,1], the mapg(t,·)is convex onD(C, R).
Proof. (i) Lett1, t2 ∈ [0,1]andα, β ≥ 0withα+β = 1. By the convexity off we have
g(αt1+βt2,(x, y)) = 1 πR2
Z Z
D(C,R)
f(α[t1(x, y) + (1−t1) (z, u)]
+β[t2(x, y) + (1−t2) (z, u)])dzdu
≤α· 1 πR2
Z Z
D(C,R)
f(t1(x, y) + (1−t1) (z, u))dzdu +β· 1
πR2 Z Z
D(C,R)
f(t2(x, y) + (1−t2) (z, u))dzdu
=αg(t1,(x, y)) +βg(t2,(x, y)), for all(x, y)∈D(C, R), and the statement is proved.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page20of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
(ii) Let(x1, y1),(x2, y2)∈D(C, R)andα, β ≥0withα+β = 1. Then g(t, α(x1, y1) +β(x2, y2))
= 1
πR2 Z Z
D(C,R)
f[α(t(x1, y1) + (1−t) (z, u)) +β(t(x2, y2) + (1−t) (z, u))]dzdu
≤α 1 πR2
Z Z
D(C,R)
f(t(x1, y1) + (1−t) (z, u))dzdu
+β 1 πR2
Z Z
D(C,R)
f(t(x2, y2) + (1−t) (z, u))dzdu
=αg(t,(x1, y1)) +βg(t,(x2, y2)), for allt∈[0,1], and the statement is proved.
By the use of this mapping we can introduce the following application as well
G: [0,1]→R, G(t) := 1 πR2
Z Z
D(C,R)
g(t,(x, y))dxdy wheregis as above.
The main properties of this mapping are embodied in the following theorem.
Theorem 3.4. With the above assumptions we have:
(i) For alls∈ 0,12
G
s+ 1 2
=G 1
2 −s
,
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page21of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
and for allt∈[0,1]one has
G(1−t) = G(t). (ii) The mappingGis convex on the interval[0,1].
(iii) One has the bounds inf
t∈[0,1]G(t) =G 1
2
= 1
(πR2)2
Z Z Z Z
D(C,R)×D(C,R)
f
x+z
2 ,y+u 2
dxdydzdu
≥f(C) and
sup
t∈[0,1]
G(t) = G(0) =G(1) = 1 πR2
Z Z
D(C,R)
f(x, y)dxdy.
(iv) The mappingGis monotonic nonincreasing on 0,12
and nondecreasing on1
2,1 .
(v) We have the inequality
(3.6) G(t)≥max{H(t), H(1−t)}, for allt∈[0,1].
Proof. The statements(i)and(ii)are obvious by the properties of the mapping g defined above and we shall omit the details.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page22of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
(iii) By(i)and(ii)we have
G(t) = G(t) +G(1−t)
2 ≥G
1 2
, for allt∈[0,1]
which proves the first bound in(iii).
Note that the inequality G
1 2
≥f(C)
follows by (3.6) fort = 12 and taking into account thatH 12
≥f(C).
We also have G(t) = 1
(πR2)2 Z Z
D(C,R)
Z Z
D(C,R)
f(t(x, y) + (1−t) (z, u))dzdu
dxdy
≤ 1 (πR2)2
× Z Z
D(C,R)
tf(x, y)πR2+ (1−t) Z Z
D(C,R)
f(z, u)dzdu
dxdy
= 1
(πR2)2
×
tπR2 Z Z
D(C,R)
f(x, y)dxdy+ (1−t)πR2 Z Z
D(C,R)
f(x, y)dxdy
= 1
πR2 Z Z
D(C,R)
f(x, y)dxdy
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page23of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
for allt∈[0,1], and the second bound in(iii)is also proved.
(iv) The argument is similar to the proof of Theorem3.1(iii)(see also [6]) and we shall omit the details.
(v) By Theorem2.1we have that G(t) = 1
πR2 Z Z
D(C,R)
g(t,(x, y))dxdy
≥g(t,(a, b)) = 1 πR2
Z Z
D(C,R)
f(t(x, y) + (1−t) (a, b))dxdy
=H(t) for allt∈[0,1].
AsG(t) = G(1−t)≥H(1−t), we obtain the desired inequality (3.6).
The theorem is thus proved.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page24of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
References
[1] S.S. DRAGOMIR, Two refinements of Hadamard’s inequalities, Coll. of Sci. Pap. of the Fac. of Sci. Kragujeva´c (Yugoslavia), 11 (1990), 23-26.
ZBL No. 729:26017.
[2] S.S. DRAGOMIR, Some refinements of Hadamard’s inequalities, Gaz.
Mat. Metod. (Romania), 11 (1990), 189-191.
[3] S.S. DRAGOMIR, J. E. PE ˇCARI ´C AND J. SÁNDOR, A note on the Jensen-Hadamard inequality, L’ Anal. Num. Theor. L’Approx. (Romania), 19 (1990), 21-28. MR 93C:26016, ZBL No. 743:26016.
[4] S.S. DRAGOMIR, A mapping in connection to Hadamard’s inequality, An Öster. Akad. Wiss. (Wien), 128 (1991), 17-20. MR 93h:26032, ZBL No.
747:26015.
[5] S.S. DRAGOMIR, Some integral inequalities for differentiable convex functions, Contributions, Macedonian Acad. of Sci. and Arts (Scopie), 16 (1992), 77-80.
[6] S.S. DRAGOMIR, Two mappings in connection to Hadamard’s inequal- ity, J. Math. Anal, Appl., 167 (1992), 49-56. MR 93m:26038, ZBL No.
758:26014.
[7] S.S. DRAGOMIR, On Hadamard’s inequality for convex functions, Mat.
Balkanica, 6 (1992), 215-222. MR 934:26033.
On Hadamard’s Inequality on a Disk
S.S. Dragomir
Title Page Contents
JJ II
J I
Go Back Close
Quit Page25of25
J. Ineq. Pure and Appl. Math.1(1) Art. 2, 2000
http://jipam.vu.edu.au
[8] S.S. DRAGOMIR AND N.M. IONESCU, Some integral inequalities for differentiable convex functions, Coll. Pap. of the Fac. of Sci. Kragujeva´c (Yugoslavia), 13 (1992), 11-16. ZBL No. 770:26009.
[9] S.S. DRAGOMIR AND N.M. IONESCU, Some remarks in convex func- tions, L’Anal. Num. Theór. L’Approx. (Romania), 21 (1992), 31-36.
MR:93m:26023, ZBL No. 770:26008.
[10] S.S. DRAGOMIR, A refinement of Hadamard’s inequality for isotonic lin- ear functionals, Tamkang J. of Math. (Taiwan), 24 (1993), 101-106.
[11] S.S. DRAGOMIR, D. BARBU AND C. BUSE, A Probabilistic argument for the convergence of some sequences associated to Hadamard’s inequal- ity, Studia Univ. Babes-Bolyai, Mathematica, 38 (1993), (1), 29-34.
[12] S.S. DRAGOMIR, D.M. MILO ´SEVI ´CANDJ. SÁNDOR, On some refine- ments of Hadamard’s inequalities and applications, Univ. Beograd, Publ.
Elektrotelm. Fak, Ser. Mat., 4 (1993), 3-10.
[13] D.S. MITRINOVI ´C, J.E. PE ˇCARI ´CANDA. M. FINK, Classical and New Inequalities in Analysis, Kluwer Academic Publishers, 1993.
[14] J.E. PE ˇCARI ´C ANDS.S. DRAGOMIR, On some integral inequalities for convex functions, Bull. Mat. Inst. Pol. Iasi, 36 (1-4) (1990), 19-23. MR 93i:26019. ZBL No. 765:26008.
[15] J.E. PE ˇCARI ´C AND S.S. DRAGOMIR, A generalisation of Hadamard’s inequality for isotonic linear functionals, Rodovi Mat. (Sarajevo), 7 (1991), 103-107. MR 93k:26026. ZBL No. 738:26006.