Hilbert-Pachpattes Inequalities

Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 1 of 28
Go Back
Full Screen
Close
SOME NEW HILBERT-PACHPATTES
INEQUALITIES
WENGUI YANG
School of Mathematics and Computational Science
Xiangtan University, Xiangtan, 411105
Hunan, P.R. China
EMail: yangwg8088@163.com
Received: 05 September, 2008
Accepted: 2 January, 2009
Communicated by: W.S. Cheung
2000 AMS Sub. Class.: 26D15.
Key words: Hilbert-Pachpattes inequality; Hlders inequality; Jensens inequality; Nonneg-
ative sequences.
Abstract: Some new Hilbert-Pachpatte discrete inequalities and their integral analogues are
established in this paper. Other inequalities are also given in remarks.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 2 of 28
Go Back
Full Screen
Close
Contents
1 Introduction 3
2 Main Results 6
3 Integral Analogues 17
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 3 of 28
Go Back
Full Screen
Close
1. Introduction
Let p 1, q 1 and {a
m
} and {b
n
} be two nonnegative sequences of real numbers
dened for m = 1, 2, . . . , k and n = 1, 2, . . . , r, where k and r are natural numbers
and dene A
m
=

m
s=1
a
s
and B
n
=

n
t=1
b
t
. Then
(1.1)
k

m=1
r

n=1
A
p
m
B
q
n
m + n
C(p, q, k, r)
_
k

m=1
(k m + 1)(A
p1
m
a
m
)
2
_
1
2

_
r

n=1
(r n + 1)(B
q1
n
b
n
)
2
_1
2
,
unless {a
m
} or {b
n
} is null, where C(p, q, k, r) =
1
2
pq

kr.
An integral analogue of (1.1) is given in the following result.
Let p 1, q 1 and f() 0, g() 0 for (0, x), (0, y), where x, y
are positive real numbers and dene F(s) =
_
s
0
f()d and G(t) =
_
t
0
g()d, for
s (0, x), t (0, y). Then
(1.2)
_
x
0
_
y
0
F
p
(s)G
q
(t)dsdt
s + t
D(p, q, x, y)
__
x
0
(x s)(F
p1
(s)f(s))
2
ds
_1
2

__
y
0
(y t)(G
q1
(t)g(t))
2
dt
_1
2
,
unless f() 0 or g() 0, where D(p, q, x, y) =
1
2
pq

xy.
Inequalities (1.1) and (1.2) are the well known Hilbert-Pachpatte inequalities [1],
which gave new estimates on Hilbert type inequalities [2]. It is well known that the
Hilbert-Pachpatte inequalities play a dominant role in analysis, so the literature on
such inequalities and their applications is vast [3] [8].
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 4 of 28
Go Back
Full Screen
Close
Young-Ho Kim[9] gave newinequalities similar to the Hilbert-Pachpatte inequal-
ities as follows.
Let p 1, q 1, > 0, and {a
m
} and {b
n
} be two nonnegative sequences of
real numbers dened for m = 1, 2, . . . , k and n = 1, 2, . . . , r, where k and r are
natural numbers and dene A
m
=

m
s=1
a
s
and B
n
=

n
t=1
b
t
. Then
(1.3)
k

m=1
r

n=1
A
p
m
B
q
n
(m

+ n

)
1

C(p, q, k, r; )
_
k

m=1
(k m + 1)(A
p1
m
a
m
)
2
_
1
2

_
r

n=1
(r n + 1)(B
q1
n
b
n
)
2
_1
2
,
unless {a
m
} or {b
n
} is null, where C(p, q, k, r; ) =
_
1
2
_ 1

pq

kr.
An integral analogue of (1.3) is given in the following result.
Let p 1, q 1, > 0 and f() 0, g() 0 for (0, x), (0, y), where
x, y are positive real numbers and dene F(s) =
_
s
0
f()d and G(t) =
_
t
0
g()d,
for s (0, x), t (0, y). Then
(1.4)
_
x
0
_
y
0
F
p
(s)G
q
(t)dsdt
(s

+ t

)
1

D(p, q, x, y; )
__
x
0
(x s)(F
p1
(s)f(s))
2
ds
_1
2

__
y
0
(y t)(G
q1
(t)g(t))
2
dt
_1
2
,
unless f() 0 or g() 0, where D(p, q, x, y; ) =
_
1
2
_ 1

pq

xy.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 5 of 28
Go Back
Full Screen
Close
The purpose of the present paper is to derive some new generalized inequalities
(1.1) and (1.2) that are similar to (1.3) and (1.4). By applying an elementary inequal-
ity, we also obtain some new inequalities similar to some results in [1, 9].
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 6 of 28
Go Back
Full Screen
Close
2. Main Results
Now we give our results as follows in this paper.
Theorem 2.1. Let p 1, q 1, > 1, > 1 and {a
m
} and {b
n
} be two non-
negative sequences of real numbers dened for m = 1, 2, . . . , k and n = 1, 2, . . . , r,
where k and r are natural numbers and dene A
m
=

m
s=1
a
s
and B
n
=

n
t=1
b
t
.
Then
(2.1)
k

m=1
r

n=1
A
p
m
B
q
n
m
(1)(+)

+ n
(1)(+)

C(p, q, k, r; , )

_
k

m=1
(k m + 1)(A
p1
m
a
m
)

_
1

_
r

n=1
(r n + 1)(B
q1
n
b
n
)

_1

,
unless {a
m
} or {b
n
} is null, where C(p, q, k, r; , ) =
pq
+
k
1

r
1

.
Proof. The idea for the proof Theorem 2.1 comes from Theorem 1 of [1] and The-
orem 2.1 of [9]. From the hypotheses of Theorem 2.1 and using the following in-
equality (see [10, 11]),
(2.2)
_
n

m=1
z
m
_

m=1
z
m
_
m

k=1
z
k
_
1
,
where 1 is a constant and z
m
0, (m = 1, 2, . . . , n), it is easy to observe that
A
p
m
p
m

s=1
A
p1
s
a
s
, m = 1, 2, . . . , k, (2.3)
B
q
n
q
n

t=1
B
q1
t
b
t
, n = 1, 2, . . . , r.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 7 of 28
Go Back
Full Screen
Close
From (2.3) and Hlders inequality, we have
(2.4)
m

s=1
A
p1
s
a
s
m
1

_
m

s=1
(A
p1
s
a
s
)

_1

, m = 1, 2, . . . , k,
and
(2.5)
n

t=1
B
q1
t
b
t
n
1

_
n

t=1
(B
q1
t
b
t
)

_1

, n = 1, 2, . . . , r.
Using the inequality of means [12]
(2.6)
_
n

i=1
s

i
i
_ 1
n

_
1

n
n

i=1

i
s
r
i
_1
r
for r > 0,
i
> 0,

n
i=1

i
=
n
, we observe that
(2.7) (s

1
1
s

2
2
)
r/(
1
+
2
)

1
+
2
(
1
s
r
1
+
2
s
r
2
) .
Let s
1
= m
1
, s
2
= n
1
,
1
=
1

,
2
=
1

and r =
1
+
2
, from (2.3) (2.5)
and (2.7), we have
A
p
m
B
q
n
pqm
1

n
1

_
m

s=1
(A
p1
s
a
s
)

_1

_
n

t=1
(B
q1
t
b
t
)

_1

(2.8)

pq
+
_
m
(1)(+)

+
n
(1)(+)

_
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 8 of 28
Go Back
Full Screen
Close

_
m

s=1
(A
p1
s
a
s
)

_1

_
n

t=1
(B
q1
t
b
t
)

_1

,
for m = 1, 2, . . . , k, n = 1, 2, . . . , r. From (2.8), we observe that
(2.9)
A
p
m
B
q
n
m
(1)(+)

+ n
(1)(+)

pq
+
_
m

s=1
(A
p1
s
a
s
)

_1

_
n

t=1
(B
q1
t
b
t
)

_1

,
for m = 1, 2, . . . , k, n = 1, 2, . . . , r. Taking the sum on both sides of (2.9) rst
over n from 1 to r and then over m from 1 to k of the resulting inequality and using
Hlders inequality with indices , /( 1) and , /( 1) and interchanging
the order of summations, we observe that
k

m=1
r

n=1
A
p
m
B
q
n
m
(1)(+)

+ n
(1)(+)

pq
+
_
_
k

m=1
_
m

s=1
(A
p1
s
a
s
)

_1

_
_
_
_
r

n=1
_
n

t=1
(B
q1
t
b
t
)

_1

_
_

pq
+
k
1

_
k

m=1
m

s=1
(A
p1
s
a
s
)

_
1

r
1

_
r

n=1
n

t=1
(B
q1
t
b
t
)

_1

Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 9 of 28
Go Back
Full Screen
Close
=
pq
+
k
1

r
1

_
k

m=1
(k m + 1)(A
p1
m
a
m
)

_
1

_
r

n=1
(r n + 1)(B
q1
n
b
n
)

_1

.
Remark 1. In Theorem 2.1, setting = = 2, we have (1.1). In Theorem 2.1,
setting
1

+
1

= 1, we have
k

m=1
r

n=1
A
p
m
B
q
n
m
1
+ n
1
C(p, q, k, r; , )

_
k

m=1
(k m + 1)(A
p1
m
a
m
)

_
1

_
r

n=1
(r n + 1)(B
q1
n
b
n
)

_1

,
unless {a
m
} or {b
n
} is null, where C(p, q, k, r; , ) =
pq
+
k
1

r
1

.
Remark 2. In Theorem 2.1, setting p = q = 1, we have
(2.10)
k

m=1
r

n=1
A
m
B
n
m
(1)(+)

+ n
(1)(+)

C(1, 1, k, r; , )
_
k

m=1
(k m + 1)a

m
_
1

_
r

n=1
(r n + 1)b

n
_1

,
unless {a
m
} or {b
n
} is null, where C(1, 1, k, r; , ) =
1
+
k
1

r
1

.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 10 of 28
Go Back
Full Screen
Close
In the following theorem we give a further generalization of the inequality (2.10)
obtained in Remark 2. Before we give our result, we point out that {p
m
} and {q
n
}
should be two positive sequences for m = 1, 2, . . . , k and n = 1, 2, . . . , r in Theorem
2.3 of [9].
Theorem2.2. Let > 1, > 1 and {a
m
} and {b
n
} be two nonnegative sequences of
real numbers and {p
m
} and {q
n
} be positive sequences dened for m = 1, 2, . . . , k
and n = 1, 2, . . . , r, where k and r are natural numbers and dene A
m
=

m
s=1
a
s
,
B
n
=

n
t=1
b
t
, P
m
=

m
s=1
p
s
and Q
n
=

n
t=1
q
t
. Let and be two real-valued,
nonnegative, convex, and submultiplicative functions dened on R
+
= [0, ). Then
(2.11)
k

m=1
r

n=1
(A
m
)(B
n
)
m
(1)(+)

+ n
(1)(+)

M(k, r; , )
_
k

m=1
(k m + 1)
_
p
m

_
a
m
p
m
__

_
1

_
r

n=1
(r n + 1)
_
q
n

_
b
n
q
n
__

_1

,
where
M(k, r; , ) =
1
+
_
k

m=1
_
(P
m
)
P
m
_
1
_
1

_
r

n=1
_
(Q
n
)
Q
n
_

1
_
1

.
Proof. Fromthe hypotheses of and and by using Jensens inequality and Hlders
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 11 of 28
Go Back
Full Screen
Close
inequality, it is easy to observe that
(A
m
) =
_
P
m

m
s=1
p
s
a
s
/p
s

m
s=1
p
s
_
(2.12)
(P
m
)
_
m
s=1
p
s
a
s
/p
s

m
s=1
p
s
_

(P
m
)
P
m
m

s=1
p
s

_
a
s
p
s
_

(P
m
)
P
m
m
1

_
m

s=1
_
p
s

_
a
s
p
s
__

_1

,
and similarly,
(2.13) (B
n
)
(Q
n
)
Q
n
n
1

_
n

t=1
_
q
t

_
b
t
q
t
__

_1

.
Let s
1
= m
1
, s
2
= n
1
,
1
=
1

,
2
=
1

and r =
1
+
2
, from (2.7), (2.12)
and (2.13), we have
(A
m
)(B
n
) m
1

n
1

_
_
(P
m
)
P
m
_
m

s=1
_
p
s

_
a
s
p
s
__

_1

_
_
(2.14)

_
_
(Q
n
)
Q
n
_
n

t=1
_
q
t

_
b
t
q
t
__

_1

_
_

+
_
m
(1)(+)

+
n
(1)(+)

_
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 12 of 28
Go Back
Full Screen
Close

_
_
(P
m
)
P
m
_
m

s=1
_
p
s

_
a
s
p
s
__

_1

_
_
_
_
(Q
n
)
Q
n
_
n

t=1
_
q
t

_
b
t
q
t
__

_1

_
_
for m = 1, 2, . . . , k, n = 1, 2, . . . , r. From (2.14), we observe that
(2.15)
(A
m
)(B
n
)
m
(1)(+)

+ n
(1)(+)

1
+
_
_
(P
m
)
P
m
_
m

s=1
_
p
s

_
a
s
p
s
__

_1

_
_

_
_
(Q
n
)
Q
n
_
n

t=1
_
q
t

_
b
t
q
t
__

_1

_
_
for m = 1, 2, . . . , k, n = 1, 2, . . . , r. Taking the sum on both sides of (2.15) rst
over n from 1 to r and then over m from 1 to k of the resulting inequality and using
Hlders inequality with indices , /( 1) and , /( 1) and interchanging
the order of summations, we observe that
k

m=1
r

n=1
(A
m
)(B
n
)
m
(1)(+)

+ n
(1)(+)

1
+
_
_
k

m=1
(P
m
)
P
m
_
m

s=1
_
p
s

_
a
s
p
s
__

_1

_
_
_
_
r

n=1
(Q
n
)
Q
n
_
n

t=1
_
q
t

_
b
t
q
t
__

_1

_
_

1
+
_
k

m=1
_
(P
m
)
P
m
_
1
_
1

_
k

m=1
m

s=1
_
p
s

_
a
s
p
s
__

_
1

Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 13 of 28
Go Back
Full Screen
Close

_
r

n=1
_
(Q
n
)
Q
n
_

1
_
1

_
r

n=1
n

t=1
_
q
t

_
b
t
q
t
__

_1

=
1
+
_
k

m=1
_
(P
m
)
P
m
_
1
_
1

_
r

n=1
_
(Q
n
)
Q
n
_

1
_
1

_
k

m=1
(k m + 1)
_
p
s

_
a
s
p
s
__

_
1

_
r

n=1
(r n + 1)
_
q
t

_
b
t
q
t
__

_1

.
Remark 3. From the inequality (2.7), we obtain
(2.16) s

1
1
s

2
2

1

1
+
2
_

1
s

1
+
2
1
+
2
s

1
+
2
2
_
for
1
> 0,
2
> 0. If we apply the elementary inequality (2.16) on the right-hand
sides of (2.1) in Theorem 2.1 and (2.11) in Theorem 2.2, then we get the following
inequalities
k

m=1
r

n=1
A
p
m
B
q
n
m
(1)(+)

+ n
(1)(+)

C(p, q, k, r; , )
+
_
_
1

_
k

m=1
(k m + 1)(A
p1
m
a
m
)

_
+

+
1

_
r

n=1
(r n + 1)(B
q1
n
b
n
)

_
+

_
_
,
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 14 of 28
Go Back
Full Screen
Close
where C(p, q, k, r; , ) =
pq
+
k
1

r
1

. Also,
k

m=1
r

n=1
(A
m
)(B
n
)
m
(1)(+)

+ n
(1)(+)

M(k, r; , )
+
_
_
1

_
k

m=1
(k m + 1)
_
p
m

_
a
m
p
m
__

_
+

+
1

_
r

n=1
(r n + 1)
_
q
n

_
b
n
q
n
__

_
+

_
_
,
where
M(k, r; , ) =
1
+
_
k

m=1
_
(P
m
)
P
m
_
1
_
1

_
r

n=1
_
(Q
n
)
Q
n
_

1
_
1

.
The following theorems deal with slight variants of the inequality (2.11) given in
Theorem 2.2.
Theorem 2.3. Let > 1, > 1 and {a
m
} and {b
n
} be two nonnegative sequences
of real numbers dened for m = 1, 2, . . . , k and n = 1, 2, . . . , r, where k and r are
natural numbers and dene A
m
=
1
m

m
s=1
a
s
and B
n
=
1
n

n
t=1
b
t
. Let and be
two real-valued, nonnegative, convex functions dened on R
+
= [0, ). Then
k

m=1
r

n=1
mn(A
m
)(B
n
)
m
(1)(+)

+ n
(1)(+)

C(1, 1, k, r; , )
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 15 of 28
Go Back
Full Screen
Close

_
k

m=1
(k m + 1)

(a
m
)
_
1

_
r

n=1
(r n + 1)

(b
n
)
_1

,
where C(1, 1, k, r; , ) =
1
+
k
1

r
1

.
Proof. From the hypotheses and by using Jensens inequality and Hlders inequal-
ity, it is easy to observe that
(A
m
) =
_
1
m
m

s=1
a
s
_

1
m
m

s=1
(a
s
)
1
m
m
1

_
m

s=1

(a
s
)
_1

,
(B
n
) =
_
1
n
n

t=1
b
t
_

1
n
n

t=1
(b
t
)
1
n
n
1

_
n

t=1

(b
t
)
_
1

.
The rest of the proof can be completed by following the same steps as in the
proofs of Theorems 2.1 and 2.2 with suitable changes and hence we omit the details.
Theorem2.4. Let > 1, > 1 and {a
m
} and {b
n
} be two nonnegative sequences of
real numbers and {p
m
} and {q
n
} be positive sequences dened for m = 1, 2, . . . , k
and n = 1, 2, . . . , r, where k and r are natural numbers and dene P
m
=

m
s=1
p
s
,
Q
n
=

n
t=1
q
t
, A
m
=
1
Pm

m
s=1
p
m
a
s
and B
n
=
1
Qn

n
t=1
q
n
b
t
. Let and be two
real-valued, nonnegative, convex functions dened on R
+
= [0, ). Then
k

m=1
r

n=1
P
m
Q
n
(A
m
)(B
n
)
m
(1)(+)

+ n
(1)(+)

Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 16 of 28
Go Back
Full Screen
Close
C(1, 1, k, r; , )
_
k

m=1
(k m + 1) [p
m
(a
m
)]

_
1

_
r

n=1
(r n + 1) [q
n
(b
n
)]

_1

,
where C(1, 1, k, r; , ) =
1
+
k
1

r
1

.
Proof. From the hypotheses and by using Jensens inequality and Hlders inequal-
ity, it is easy to observe that
(A
m
) =
_
1
P
m
m

s=1
p
s
a
s
_

1
P
m
m

s=1
p
s
(a
s
)
1
P
m
m
1

_
m

s=1
[p
s
(a
s
)]

_1

,
(B
n
) =
_
1
Q
n
n

t=1
q
t
b
t
_

1
Q
n
n

t=1
q
t
(b
t
)
1
Q
n
n
1

_
n

t=1
[q
t
(b
t
)]

_
1

.
The rest of the proof can be completed by following the same steps as in the
proofs of Theorems 2.1 and 2.2 with suitable changes and hence we omit the details.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 17 of 28
Go Back
Full Screen
Close
3. Integral Analogues
Now we give the integral analogues of the inequalities in Theorems 2.1 2.4.
An integral analogue of Theorem 2.1 is given in the following theorem.
Theorem 3.1. Let p 0, q 0, > 1, > 1 and f() 0, g() 0 for
(0, x), (0, y), where x, y are positive real numbers, dene F(s) =
_
s
0
f()d,
G(t) =
_
t
0
g()d for s (0, x), t (0, y). Then
(3.1)
_
x
0
_
y
0
F
p
(s)G
q
(t)
s
(1)(+)

+ t
(1)(+)

dsdt
D(p, q, x, y; , )
__
x
0
(x s)(F
p1
(s)f(s))

ds
_1

__
y
0
(y t)(G
q1
(t)g(t))

dt
_1

,
unless f() 0 or g() 0, where D(p, q, x, y; , ) =
pq
+
x
1

y
1

.
Proof. From the hypotheses of F(s) and G(t), it is easy to observe that
F
p
(s) = p
_
s
0
F
p1
()f()d, s (0, x), (3.2)
G
q
(t) = q
_
t
0
G
q1
()g()d, t (0, y).
From (3.2) and Hlders inequality, we have
(3.3)
_
x
0
F
p1
()f()d s
1

__
s
0
(F
p1
()f())

d
_1

, s (0, s),
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 18 of 28
Go Back
Full Screen
Close
and
(3.4)
_
y
0
G
q1
(t)g(t)dt t
1

__
t
0
(G
q1
()g())

d
_
1

, t (0, t).
Let s
1
= s
1
, s
2
= t
1
,
1
=
1

,
1
=
1

, r =
1
+
2
, from (3.2) (3.4) and
(2.7), we observe that
F
p
(s)G
q
(t) (3.5)
pqs
1

t
1

__
s
0
(F
p1
()f())

d
_1

__
t
0
(G
q1
()g())

d
_
1

pq
+
_
m
(1)(+)

+
n
(1)(+)

__
s
0
(F
p1
()f())

d
_1

__
t
0
(G
q1
()g())

d
_
1

for s (0, x), t (0, y). From (3.5), we observe that

(3.6)
F
p
(s)G
q
(t)
s
(1)(+)

+ t
(1)(+)

pq
+
__
s
0
(F
p1
()f())

d
_1

__
t
0
(G
q1
()g())

d
_
1

for s (0, x), t (0, y). Taking the integral on both sides of (3.6) rst over t from
0 to y and then over s from 0 to x of the resulting inequality and using Hlders
inequality with indices , /( 1) and , /( 1) and interchanging the order
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 19 of 28
Go Back
Full Screen
Close
of integrals, we observe that
_
x
0
_
y
0
F
p
(s)G
q
(t)
s
(1)(+)

+ t
(1)(+)

dsdt

pq
+
_
_
x
0
__
s
0
(F
p1
()f())

d
_1

ds
__
_
y
0
__
t
0
(G
q1
()g())

d
_
1

dt
_

pq
+
x
1

__
x
0
_
s
0
(F
p1
()f())

dds
_1

y
1

__
y
0
_
t
0
(G
q1
()g())

ddt
_
1

=
pq
+
x
1

y
1

__
x
0
(x s)(F
p1
(s)f(s))

ds
_1

__
t
0
(y t)(G
q1
(t)g(t))

dt
_
1

.
Remark 4. In Theorem 3.1, setting = = 2, we have (1.2). In Theorem 3.1,
setting
1

+
1

= 1, we have
_
x
0
_
y
0
F
p
(s)G
q
(t)
s
1
+ t
1
dsdt
D(p, q, x, y; , )
__
x
0
(x s)(F
p1
(s)f(s))

ds
_1

__
y
0
(y t)(G
q1
(t)g(t))

dt
_1

,
unless f() 0 or g() 0, where D(p, q, x, y; , ) =
pq
+
x
1

y
1

.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 20 of 28
Go Back
Full Screen
Close
Remark 5. In Theorem 3.1, setting p = q = 1, we have
(3.7)
_
x
0
_
y
0
F(s)G(t)
s
(1)(+)

+ t
(1)(+)

dsdt
D(1, 1, x, y; , )
__
x
0
(x s)f

(s)ds
_1

__
y
0
(y t)g

(t)dt
_1

,
unless f() 0 or g() 0, where D(1, 1, x, y; , ) =
1
+
x
1

y
1

.
In the following theorem we give a further generalization of the inequality (3.7)
obtained in Remark 5.
Theorem 3.2. Let > 1, > 1 and f() 0, g() 0, p() > 0 and q() > 0
for (0, x), (0, y), where x, y are positive real numbers. Dene F(s) =
_
s
0
f()d and G(t) =
_
t
0
g()d, P(s) =
_
s
0
p()d and Q(t) =
_
t
0
q()d for
s (0, x), t (0, y). Let and be two real-valued, nonnegative, convex, and
submultiplicative functions dened on R
+
= [0, ). Then
(3.8)
_
x
0
_
y
0
(F(s))(G(t))
s
(1)(+)

+ t
(1)(+)

dsdt
L(x, y; , )
__
x
0
(x s)
_
p(s)
_
f(s)
p(s)
__

ds
_1

__
y
0
(y t)
_
q(t)
_
g(t)
q(t)
__

dt
_1

,
where
L(x, y; , ) =
1
+
_
_
x
0
_
(P(s))
P(s)
_
1
ds
_1

_
_
y
0
_
(Q(t))
Q(t)
_

1
dt
_
1

.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 21 of 28
Go Back
Full Screen
Close
Proof. Fromthe hypotheses of and and by using Jensens inequality and Hlders
inequality, it is easy to see that
(F(s))) =
_
_
P(s)
_
s
0
p()
_
f()
p()
_
d
_
s
0
p()d
_
_
(3.9)
(P(s))
_
_
_
s
0
p()
_
f()
p()
_
d
_
s
0
p()d
_
_

(P(s))
P(s)
_
s
0
p()
_
f()
p()
_
d

(P(s))
P(s)
s
1

__
s
0
_
p()
_
f()
p()
__

d
_1

,
and similarly,
(3.10) (G(t))
(Q(t))
Q(t)
t
1

__
t
0
_
q()
_
g()
q()
__

d
_
1

.
Let s
1
= s
1
, s
2
= t
1
,
1
=
1

,
1
=
1

, r =
1
+
2
, from (3.9), (3.10) and
(2.7), we observe that
(F(s))(G(t)) s
1

t
1

_
(P(s))
P(s)
__
s
0
_
p()
_
f()
p()
__

d
_1

_
(3.11)

_
(Q(t))
Q(t)
__
t
0
_
q()
_
g()
q()
__

d
_
1

_
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 22 of 28
Go Back
Full Screen
Close

+
_
m
(1)(+)

+
n
(1)(+)

_
(P(s))
P(s)
__
s
0
_
p()
_
f()
p()
__

d
_1

_
(Q(t))
Q(t)
__
t
0
_
q()
_
g()
q()
__

d
_
1

_
for s (0, x), t (0, y). From (3.11), we observe that
(3.12)
(F(s))(G(t))
s
(1)(+)

+ t
(1)(+)

1
+
_
(P(s))
P(s)
__
s
0
_
p()
_
f()
p()
__

d
_1

_
(Q(t))
Q(t)
__
t
0
_
q()
_
g()
q()
__

d
_
1

_
for s (0, x), t (0, y). Taking the integral on both sides of (3.12) rst over t from
0 to y and then over s from 0 to x of the resulting inequality and using Hlders
inequality with indices , /( 1) and , /( 1) and interchanging the order
of integrals, we observe that
_
x
0
_
y
0
(F(s))(G(t))
s
(1)(+)

+ t
(1)(+)

dsdt
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 23 of 28
Go Back
Full Screen
Close

1
+
_
_
x
0
(P(s))
P(s)
__
s
0
_
p()
_
f()
p()
__

d
_1

ds
_

_
_
y
0
(Q(t))
Q(t)
__
t
0
_
q()
_
g()
q()
__

d
_
1

dt
_

1
+
_
_
x
0
_
(P(s))
P(s)
_
1
ds
_1

__
x
0
_
s
0
_
p()
_
f()
p()
__

dds
_1

_
_
y
0
_
(Q(t))
Q(t)
_

1
dt
_
1

__
y
0
_
t
0
_
q()
_
g()
q()
__

ddt
_
1

=
1
+
_
_
x
0
_
(P(s))
P(s)
_
1
ds
_1

_
_
y
0
_
(Q(t))
Q(t)
_

1
dt
_
1

__
x
0
(x s)
_
p(s)
_
f(s)
p(s)
__

ds
_1

__
y
0
(y t)
_
q(t)
_
g(t)
q(t)
__

dt
_1

.
Remark 6. From the inequality (2.7), we obtain
(3.13) s

1
1
s

2
2

1

1
+
2
_

1
s

1
+
2
1
+
2
s

1
+
2
2
_
for
1
> 0,
2
> 0. If we apply the elementary inequality (3.13) on the right-hand
sides of (3.1) in Theorem 3.1 and (3.8) in Theorem 3.2, then we get the following
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 24 of 28
Go Back
Full Screen
Close
inequalities
(3.14)
_
x
0
_
y
0
F
p
(s)G
q
(t)
s
(1)(+)

+ t
(1)(+)

dsdt

D(p, q, x, y; , )
+
_
1

__
x
0
(x s)(F
p1
(s)f(s))

ds
_
+

+
1

__
y
0
(y t)(G
q1
(t)g(t))

dt
_
+

_
,
where D(p, q, x, y; , ) =
pq
+
x
1

y
1

. Also,
_
x
0
_
y
0
(F(s))(G(t))
s
(1)(+)

+ t
(1)(+)

dsdt

L(x, y; , )
+
_
1

__
x
0
(x s)
_
p(s)
_
f(s)
p(s)
__

ds
_
+

+
1

__
y
0
(y t)
_
q(t)
_
g(t)
q(t)
__

dt
_
+

_
,
where
L(x, y; , ) =
1
+
_
_
_
x
_
0
_
(P(s))
P(s)
_
1
ds
_
_
_
1

_
_
y
0
_
(Q(t))
Q(t)
_

1
dt
_
1

.
The following theorems deal with slight variants of (3.8) given in Theorem 3.2.
Before we state our next theorem, we point out that F(s) =
_
s
0
f()d and G(t) =
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 25 of 28
Go Back
Full Screen
Close
_
t
0
g()d are replaced by F(s) =
1
s
_
s
0
f()d and G(t) =
1
t
_
t
0
g()d in The-
orem 3.4 in [9].
Theorem 3.3. Let > 1, > 1 and f() 0, g() 0 for (0, x),
(0, y), where x, y are positive real numbers. Dene F(s) =
1
s
_
s
0
f()d, G(t) =
1
t
_
t
0
g()d for s (0, x), t (0, y). Let and be two real-valued, nonnegative,
convex functions dened on R
+
= [0, ). Then
_
x
0
_
y
0
st(F(s))(G(t))
s
(1)(+)

+ t
(1)(+)

dsdt
D(1, 1, x, y; , )
__
x
0
(x s)

(f(s))ds
_1

__
y
0
(y t)

(g(t))dt
_1

,
where D(1, 1, x, y; , ) =
1
+
x
1

y
1

.
Theorem 3.4. Let > 1, > 1 and f() 0, g() 0, p() > 0 and
q() > 0 for (0, x), (0, y), where x, y are positive real numbers. De-
ne P(s) =
_
s
0
p()d, Q(t) =
_
t
0
q()d, F(s) =
1
P(s)
_
s
0
p()f()d and G(t) =
1
Q(t)
_
t
0
q()g()d for s (0, x), t (0, y). Let and be two real-valued,
nonnegative, convex functions dened on R
+
= [0, ). Then
_
x
0
_
y
0
P(s)Q(t)(F(s))(G(t))
s
(1)(+)

+ t
(1)(+)

dsdt
D(1, 1, x, y; , )
__
x
0
(x s) [p(s)(f(s))]

ds
_1

__
y
0
(y t) [q(t)(g(t))]

dt
_1

,
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 26 of 28
Go Back
Full Screen
Close
where D(1, 1, k, r; , ) =
1
+
x
1

y
1

.
The proofs of Theorems 3.3 and 3.4 are similar to the proof of Theorem 3.2 and
similar to the proofs of Theorems 2.3 and 2.4. Hence, we leave out the details.
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 27 of 28
Go Back
Full Screen
Close
References
[1] B.G. PACHPATTE, On some new inequalities similar to Hilberts inequality, J.
Math. Anal. and Appl., 226 (1998), 116179.
[2] G.H. HARDY, J.E. LITTLEWOOD AND G. POLYA, Inequalities, London:
Cambridge University Press, 1952.
[3] G.D. HANDLEY, J.J. KOLIHA AND J. PE

CARI

C, Hilbert-Pachpatte type mul-

tidimensional integral inequalities, J. Ineq. Pure and Appl. Math., 5(2) (2004),
Art. 34. [ONLINE http://jipam.vu.edu.au/article.php?sid=
389].
[4] C.J. ZHAO AND W.S. CHEUNG, Inverses of new Hilbert-Pachatte type in-
equalities, J. Inequ. and Appl., 2006 (2006), 111.
[5] B.G. PACHPATTE, Inequalities similar to certain extensions of Hilberts in-
equality, J. Math. Anal. and Appl., 243 (2000), 217227.
[6] Z.X. L, Some new inequalities similar to Hilbert-Pachpatte type inequali-
ties, J. Ineq. Pure and Appl. Math., 4(2) (2003), Art. 33. [ONLINE http:
//jipam.vu.edu.au/article.php?sid=271].
[7] J. PE

CARI

C, I. PERI

C AND P. VUKVI

C, Hilbert-Pachpatte type inequalities

from Bonsalls form of Hilberts inequality, J. Ineq. Pure and Appl. Math., 9(1)
(2008), Art. 9. [ONLINE http://jipam.vu.edu.au/article.php?
sid=949].
[8] S.S. DRAGOMIR AND YOUNG-HO KIM, Hilbert-Pachpatte type integral in-
equalities and their improvement, J. Ineq. Pure and Appl. Math., 4(1) (2003),
Art. 16. [ONLINE http://jipam.vu.edu.au/article.php?sid=
252].
Hilbert-Pachpattes Inequalities
Wengui Yang
vol. 10, iss. 1, art. 26, 2009
Title Page
Contents


Page 28 of 28
Go Back
Full Screen
Close
[9] YOUNG-HO KIM, An improvement of some inequalities similar to Hilberts
inequality, Int. J. Math. and Math. Sci., 28(4) (2001), 211221.
[10] G.S. DAVIS AND G.M. PETERSON, On an inequality of Hardys (II), Quart.
J. Math. Oxford Ser., 15 (1964), 3540.
[11] J. NMETH, Generalizations of the Hardy-Littlewood inequality, Acta Sci.
Math. (Szeged), 32 (1971), 295299.
[12] D.S. MITRINOVI

C, J.E. PE

CARI

C AND A.M. FINK, Classical and New In-

equalities in Analysis, Kluwer Academic, Dordrecht, 1993.
[13] YOUNG-HO KIM AND BYUNG-IL KIM, An analogue of Hilberts inequality
and its extensions, Bull. Korean Math. Soc., 39(3) (2002), 377388.