Skip to main content

Half-discrete Hardy-Hilbert’s inequality with two interval variables

Abstract

By using the way of weight functions and the technique of real analysis, a half-discrete Hardy-Hilbert’s inequality with two interval variables is derived. The equivalent forms, operator expressions, some reverses as well as a few particular cases are obtained.

MSC:26D15, 47A07.

1 Introduction

Assuming that p>1, 1 p + 1 q =1, f(0) L p ( R + ), g(0) L q ( R + ),

f p = { 0 f p ( x ) d x } 1 p >0, g q = { 0 g q ( y ) d y } 1 q >0,

we obtain the following Hardy-Hilbert’s integral inequality (cf. [1]):

0 0 f ( x ) g ( y ) x + y dxdy< π sin ( π / p ) f p g q ,
(1)

where the constant factor π sin ( π / p ) is best possible. If a m , b n 0, a= { a m } m = 1 l p , b= { b n } n = 1 l q ,

a p = { m = 1 a m p } 1 p >0, b q = { n = 1 b n q } 1 q >0,

then we still have the following discrete Hardy-Hilbert’s inequality with the same best constant factor π sin ( π / p ) :

m = 1 n = 1 a m b n m + n < π sin ( π / p ) a p b q .
(2)

Inequalities (1) and (2) are important in mathematical analysis and its applications (cf. [24]). In 1998, Yang [5] proved an extension of (1) (for p=q=2) by introducing an independent parameter λ(0,1]. Recently, refining the results of [5], Yang [6] derived some extensions of (1) and (2) as follows: For λ>0, r>1, 1 r + 1 s =1, ϕ(x)= x p ( 1 λ r ) 1 , ψ(x)= x q ( 1 λ s ) 1 ,

0 < f p , ϕ : = { 0 ϕ ( x ) | f ( x ) | p d x } 1 p < , 0 < g q , ψ < , 0 < a p , ϕ : = { n = 1 ϕ ( n ) | a n | n } 1 p < , 0 < b q , ψ < ,

we have

0 0 f ( x ) g ( y ) ( x + y ) λ dxdy<B ( λ r , λ s ) f p , ϕ g q , ψ ,
(3)
m = 1 n = 1 a m b n ( m + n ) λ <B ( λ r , λ s ) a p , ϕ b q , ψ
(4)

(0<λ2min{r,s}), where

B(u,v)= 0 t u 1 ( 1 + t ) u + v dt(u,v>0)

is the beta function. Some Hilbert-type inequalities about other measurable kernels are provided in [714].

Regarding the case of half-discrete Hilbert-type inequalities with non-homogeneous kernels, Hardy, Littlewood and Polya provided some results in Theorem 351 of [1]. However, they had not proved that the constant factors in the new inequalities were best possible. Yang [15] proved some results by introducing an interval variable and that the constant factors are best possible.

In this paper, by using the way of weight functions and the technique of real analysis, a half-discrete Hardy-Hilbert’s inequality with the best constant factor is given as follows:

0 f(x) n = 1 a n ( x + n ) λ dx<B ( λ r , λ s ) f p , ϕ a q , ψ (0<λs).
(5)

The best extension of (5) with two interval variables, some equivalent forms, operator expressions, some reverses as well as a few particular cases are also considered.

2 Some lemmas

Lemma 1 If r>1, 1 r + 1 s =1, λ>0, u(x) (x(b,c), b<c) and v(x) (x( n 0 1,), n 0 N) are strictly increasing differential functions, and [ v ( x ) ] λ s 1 v (x) is decreasing in ( n 0 1,), u( b + )=v( ( n 0 1 ) + )=0, u( c )=v()=, N n 0 ={ n 0 , n 0 +1,}. Define two weight functions as follows:

ω(n):= [ v ( n ) ] λ s b c [ u ( x ) ] λ r 1 u ( x ) ( u ( x ) + v ( n ) ) λ dx,n N n 0 ,
(6)
ϖ(x):= [ u ( x ) ] λ r n = n 0 [ v ( n ) ] λ s 1 v ( n ) ( u ( x ) + v ( n ) ) λ ,x(b,c).
(7)

Then the following inequality holds:

0<B ( λ r , λ s ) ( 1 θ λ ( x ) ) <ϖ(x)<ω(n)=B ( λ r , λ s ) ,
(8)
θ λ (x):= 1 B ( λ r , λ s ) 0 v ( n 0 ) u ( x ) t λ s 1 d t ( t + 1 ) λ =O ( 1 [ u ( x ) ] λ / s ) ,x(b,c).
(9)

Proof Setting t= u ( x ) v ( n ) in (6), we find dt= 1 v ( n ) u (x)dx, and

ω(n)= 0 1 ( t + 1 ) λ t λ r 1 dt=B ( λ r , λ s ) .

For any x(a,b), in view of the fact that

1 ( u ( x ) + v ( y ) ) λ [ v ( y ) ] λ s 1 v (y) ( y ( n 0 1 , ) )

is strictly decreasing, we find

ϖ ( x ) < [ u ( x ) ] λ r n 0 1 1 ( u ( x ) + v ( y ) ) λ [ v ( y ) ] λ s 1 v ( y ) d y = t = v ( y ) / u ( x ) 0 t λ s 1 d t ( t + 1 ) λ = B ( λ s , λ r ) = ω ( n ) , ϖ ( x ) > [ u ( x ) ] λ r n 0 1 ( u ( x ) + v ( y ) ) λ [ v ( y ) ] λ s 1 v ( y ) d y = t = v ( y ) / u ( x ) v ( n 0 ) u ( x ) 1 ( t + 1 ) λ t λ s 1 d t = B ( λ r , λ s ) [ 1 θ λ ( x ) ] , x ( b , c ) , 0 < θ λ ( x ) = 1 B ( λ r , λ s ) 0 v ( n 0 ) u ( x ) 1 ( t + 1 ) λ t λ s 1 d t < 1 B ( λ r , λ s ) 0 v ( n 0 ) u ( x ) t λ s 1 d t = s λ B ( λ r , λ s ) ( v ( n 0 ) u ( x ) ) λ s .

Hence, we have (8) and (9). □

Lemma 2 Let the assumptions of Lemma 1 be fulfilled and, additionally, p>0 (p1), 1 p + 1 q =1, a n 0, n n 0 (nN), f(x) is a non-negative measurable function in (b,c). Then

  1. (i)

    For p>1, we have the following inequalities:

    J 1 : = { n = n 0 v ( n ) [ v ( n ) ] 1 p λ s [ b c f ( x ) ( u ( x ) + v ( n ) ) λ d x ] p } 1 p [ B ( λ r , λ s ) ] 1 q { b c ϖ ( x ) [ u ( x ) ] p ( 1 λ r ) 1 [ u ( x ) ] p 1 f p ( x ) d x } 1 p ,
    (10)
    L 1 : = { b c [ ϖ ( x ) ] 1 q u ( x ) [ u ( x ) ] 1 q λ r [ n = n 0 a n ( u ( x ) + v ( n ) ) λ ] q d x } 1 q { B ( λ r , λ s ) n = n 0 [ v ( n ) ] q ( 1 λ s ) 1 [ v ( n ) ] q 1 a n q } 1 q .
    (11)
  2. (ii)

    For 0<p<1, we have the reverses of (10) and (11).

Proof (i) By Hölder’s inequality with weight (cf. [16]) and (8), it follows that

[ b c f ( x ) ( u ( x ) + v ( n ) ) λ d x ] p = { b c 1 ( u ( x ) + v ( n ) ) λ [ [ u ( x ) ] ( 1 λ r ) / q [ v ( n ) ] ( 1 λ s ) / p [ v ( n ) ] 1 / p [ u ( x ) ] 1 / q f ( x ) ] [ [ v ( n ) ] ( 1 λ s ) / p [ u ( x ) ] ( 1 λ r ) / q [ u ( x ) ] 1 / q [ v ( n ) ] 1 / p ] d x } p b c v ( n ) ( u ( x ) + v ( n ) ) λ [ u ( x ) ] ( 1 λ r ) ( p 1 ) [ v ( n ) ] 1 λ s [ u ( x ) ] p 1 f p ( x ) d x × { b c u ( x ) ( u ( x ) + v ( n ) ) λ [ v ( n ) ] ( 1 λ s ) ( q 1 ) [ u ( x ) ] 1 λ r [ v ( n ) ] q 1 d x } p 1 = { ω ( n ) [ v ( n ) ] q ( 1 λ s ) 1 [ v ( n ) ] q 1 } p 1 b c v ( n ) f p ( x ) ( u ( x ) + v ( n ) ) λ [ u ( x ) ] ( 1 λ r ) ( p 1 ) d x [ v ( n ) ] 1 λ s [ u ( x ) ] p 1 = [ B ( λ r , λ s ) ] p 1 [ v ( n ) ] p λ s 1 v ( n ) b c v ( n ) f p ( x ) ( u ( x ) + v ( n ) ) λ [ u ( x ) ] ( 1 λ r ) ( p 1 ) d x [ v ( n ) ] 1 λ s [ u ( x ) ] p 1 .

Then, by the Lebesgue term-by-term integration theorem (cf. [17]), we obtain

J 1 [ B ( λ r , λ s ) ] 1 q { n = n 0 b c v ( n ) f p ( x ) ( u ( x ) + v ( n ) ) λ [ u ( x ) ] ( 1 λ r ) ( p 1 ) d x [ v ( n ) ] 1 λ s [ u ( x ) ] p 1 } 1 p = [ B ( λ r , λ s ) ] 1 q { b c n = n 0 v ( n ) f p ( x ) ( u ( x ) + v ( n ) ) λ [ u ( x ) ] ( 1 λ r ) ( p 1 ) d x [ v ( n ) ] 1 λ s [ u ( x ) ] p 1 } 1 p = [ B ( λ r , λ s ) ] 1 q { b c ϖ ( x ) [ u ( x ) ] p ( 1 λ r ) 1 [ u ( x ) ] p 1 f p ( x ) d x } 1 p ,

and (10) follows.

Still, by Hölder’s inequality, we have

[ n = n 0 a n ( u ( x ) + v ( n ) ) λ ] q = { n = n 0 1 ( u ( x ) + v ( n ) ) λ [ [ u ( x ) ] ( 1 λ r ) / q [ v ( n ) ] ( 1 λ s ) / p [ v ( n ) ] 1 / p [ u ( x ) ] 1 / q ] [ [ v ( n ) ] ( 1 λ s ) / p [ u ( x ) ] ( 1 λ r ) / q [ u ( x ) ] 1 / q [ v ( n ) ] 1 / p a n ] } q { n = n 0 1 ( u ( x ) + v ( n ) ) λ [ u ( x ) ] ( 1 λ r ) ( p 1 ) [ v ( n ) ] 1 λ s v ( n ) [ u ( x ) ] p 1 } q 1 × n = n 0 1 ( u ( x ) + v ( n ) ) λ [ v ( n ) ] ( 1 λ s ) ( q 1 ) [ u ( x ) ] 1 λ r u ( x ) [ v ( n ) ] q 1 a n q = [ u ( x ) ] 1 q λ r [ ϖ ( x ) ] 1 q u ( x ) n = n 0 [ u ( x ) ] λ r 1 u ( x ) [ v ( n ) ] λ s ( u ( x ) + v ( n ) ) λ [ v ( n ) ] q ( 1 λ s ) 1 [ v ( n ) ] q 1 a n q .

Then, by the Lebesgue term-by-term integration theorem, we have

L 1 { b c n = n 0 [ u ( x ) ] λ r 1 u ( x ) [ v ( n ) ] λ s ( u ( x ) + v ( n ) ) λ [ v ( n ) ] q ( 1 λ s ) 1 [ v ( n ) ] q 1 a n q d x } 1 q = { n = n 0 [ [ v ( n ) ] λ s b c [ u ( x ) ] λ r 1 u ( x ) ( u ( x ) + v ( n ) ) λ d x ] [ v ( n ) ] q ( 1 λ s ) 1 [ v ( n ) ] q 1 a n q } 1 q = { n = n 0 ω ( n ) [ v ( n ) ] q ( 1 λ s ) 1 [ v ( n ) ] q 1 a n q } 1 q ,

and then, in view of (8), inequality (11) follows.

  1. (ii)

    By reverse Hölder’s inequality (cf. [16]) and in the same way, for q<0, we can obtain the reverses of (10) and (11). □

3 Main results

We set Φ(x):= [ u ( x ) ] p ( 1 λ r ) 1 [ u ( x ) ] p 1 , Φ ˜ (x):=(1 θ λ (x))Φ(x) (x(b,c)), and

Ψ(n):= [ v ( n ) ] q ( 1 λ s ) 1 [ v ( n ) ] q 1 (n n 0 ,nN)

( θ λ (x) is indicated by (9)), wherefrom

[ Φ ( x ) ] 1 q = u ( x ) [ u ( x ) ] 1 q λ r , [ Ψ ( n ) ] 1 p = v ( n ) [ v ( n ) ] 1 p λ s .

Theorem 3 Let the assumptions of Lemma 1 be fulfilled and, additionally, p>1, 1 p + 1 q =1, f(x)0 (x(b,c)), a n 0 (n n 0 , nN), f L p , Φ (b,c), a= { a n } n = n 0 l q , Ψ ,

0< f p , Φ = { b c Φ ( x ) f p ( x ) d x } 1 p <

and 0< a q , Ψ = { n = n 0 Ψ ( n ) a n q } 1 q <. Then the following equivalent inequalities hold:

I : = n = n 0 b c a n f ( x ) d x ( u ( x ) + v ( n ) ) λ = b c n = n 0 a n f ( x ) d x ( u ( x ) + v ( n ) ) λ < B ( λ r , λ s ) f p , Φ a q , Ψ ,
(12)
J : = { n = n 0 [ Ψ ( n ) ] 1 p [ b c f ( x ) ( u ( x ) + v ( n ) ) λ d x ] p } 1 p < B ( λ r , λ s ) f p , Φ ,
(13)
L : = { b c [ Φ ( x ) ] 1 q [ n = n 0 a n ( u ( x ) + v ( n ) ) λ ] q d x } 1 q < B ( λ r , λ s ) a q , Ψ ,
(14)

where the constant factor B( λ r , λ s ) is best possible.

Proof By the Lebesgue term-by-term integration theorem, there are two expressions for I in (12). In view of (8) and (10), we obtain (13).

By Hölder’s inequality, we have

I= n = n 0 [ Ψ 1 q ( n ) b c f ( x ) d x ( u ( x ) + v ( n ) ) λ ] [ Ψ 1 q ( n ) a n ] J a q , Ψ .
(15)

Then, by (13), we have (12). On the other hand, assuming that (12) is valid, we set

a n := [ Ψ ( n ) ] 1 p [ b c f ( x ) ( u ( x ) + v ( n ) ) λ d x ] p 1 ,n n 0 ,

then it follows that J p 1 = a q , Ψ . By (10), we find J<. If J=0, then (13) is trivially valid; if J>0, then, by (12), we have

a q , Ψ q = J p = I < B ( λ r , λ s ) f p , Φ a q , Ψ , a q , Ψ q 1 = J < B ( λ r , λ s ) f p , Φ ,

and thus we get (13), which is equivalent to (12).

In view of (8) and (11), we have (14).

By Hölder’s inequality, we find

I= b c [ Φ 1 p ( x ) f ( x ) ] [ Φ 1 p ( x ) n = n 0 a n ( u ( x ) + v ( n ) ) λ ] dx f p , Φ L.
(16)

Then, by (14), we have (12). On the other hand, assuming that (12) is valid, we set

f(x):= [ Φ ( x ) ] 1 q [ n = n 0 a n ( u ( x ) + v ( n ) ) λ ] q 1 ,x(b,c),

then it follows that L q 1 = f p , Φ . By (11), we find L<. If L=0, then (14) is trivially valid; if L>0, then, by (12), we have

f p , Φ p = L q = I < B ( λ r , λ s ) f p , Φ a q , Ψ , f p , Φ p 1 = L < B ( λ r , λ s ) a q , Ψ ,

and we have (14), which is equivalent to (12).

Hence inequalities (12), (13) and (14) are equivalent.

There exists a unified constant d(b,c) satisfying u(d)=1. For 0<ε< q λ s , setting

f ˜ (x):=0,x(b,d); f ˜ (x):= [ u ( x ) ] λ r ε p 1 u (x),x[d,c),

a ˜ n := [ v ( n ) ] λ s ε q 1 v (n), n n 0 , if there exists a positive number k (B( λ r , λ s )) such that (12) is valid when replacing B( λ r , λ s ) by k, then, in particular, we have

I ˜ : = b c n = n 0 a ˜ n ( u ( x ) + v ( n ) ) λ f ˜ ( x ) d x < k f ˜ p , Φ a ˜ q , Ψ = k ( 1 ε ) 1 p { [ v ( n 0 ) ] ε 1 v ( n 0 ) + n = n 0 + 1 [ v ( n ) ] ε 1 v ( n ) } 1 q < k ( 1 ε ) 1 p { [ v ( n 0 ) ] ε 1 v ( n 0 ) + n 0 [ v ( y ) ] ε 1 v ( y ) d y } 1 q = k ε { ε [ v ( n 0 ) ] ε 1 v ( n 0 ) + [ v ( n 0 ) ] ε } 1 q .
(17)

In view of the decreasing property of [ v ( y ) ] λ s ε q 1 v ( y ) ( u ( x ) + v ( y ) ) λ , we find

I ˜ = d c [ u ( x ) ] λ r ε p 1 u ( x ) n = n 0 [ v ( n ) ] λ s ε q 1 v ( n ) ( u ( x ) + v ( n ) ) λ d x d c [ u ( x ) ] λ r ε p 1 u ( x ) [ n 0 [ v ( y ) ] λ s ε q 1 v ( y ) ( u ( x ) + v ( y ) ) λ d y ] d x = t = v ( y ) / u ( x ) d c [ u ( x ) ] ε 1 u ( x ) [ v ( n 0 ) u ( x ) t λ s ε q 1 ( 1 + t ) λ d t ] d x = d c [ u ( x ) ] ε 1 u ( x ) [ 0 t λ s ε q 1 d t ( 1 + t ) λ 0 v ( n 0 ) u ( x ) t λ s ε q 1 d t ( 1 + t ) λ ] d x = 1 ε B ( λ s ε q , λ r + ε q ) A ( x ) , A ( x ) : = d c [ u ( x ) ] ε 1 u ( x ) [ 0 v ( n 0 ) u ( x ) t λ s ε q 1 ( 1 + t ) λ d t ] d x .
(18)

Since we find

0 < A ( x ) < d c [ u ( x ) ] ε 1 u ( x ) [ 0 v ( n 0 ) u ( x ) t λ s ε q 1 d t ] d x = [ v ( n 0 ) ] λ s ε q ( λ s ε q ) ( λ s + ε p ) ,

then it follows that

A(x)=O(1) ( ε 0 + ) .

By (17) and (18), we have

B ( λ s ε q , λ r + ε q ) ε O ( 1 ) < k { ε [ v ( n 0 ) ] ε 1 v ( n 0 ) + [ v ( n 0 ) ] ε } 1 q ,

and then B( λ r , λ s )k (ε 0 + ). Hence k=B( λ r , λ s ) is the best possible constant factor of (12).

We conform that the constant factor B( λ r , λ s ) in (13) ((14)) is best possible. Otherwise, we would reach a contradiction by (15) ((16)) that the constant factor in (12) is not best possible. □

Remark 1 We set two weight normed spaces as follows:

L p , Φ (b,c)= { f ; f p , Φ < } , l q , Ψ = { a = { a n } n = n 0 ; a q , Ψ < } .
  1. (i)

    Define a half-discrete Hilbert’s operator as follows: T: L p , Φ (b,c) l p , Ψ 1 p , for f L p , Φ (b,c), there exists a unified representation Tf l p , Ψ 1 p satisfying

    Tf(n)= b c f ( x ) ( u ( x ) + v ( n ) ) λ dx,n n 0 .

Then, by (12), it follows that

T f p . Ψ 1 p <B ( λ r , λ s ) f p , Φ ,

and then T is bounded with

TB ( λ r , λ s ) .

Since the constant factor in (13) is best possible, we have T=B( λ r , λ s ).

  1. (ii)

    Define a half-discrete Hilbert’s operator as follows:

    T ˜ : l q , Ψ L q , Φ 1 q (b,c),

for a l q , Ψ , there exists a unified representation T ˜ a L q , Φ 1 q (b,c) satisfying

( T ˜ a)(x)= n = n 0 a n ( u ( x ) + v ( n ) ) λ ,x(b,c).

Then, by (13) it follows that

T ˜ a q Φ 1 q <B ( λ r , λ s ) a q , Ψ ,

and then T ˜ is bounded with

T ˜ B ( λ r , λ s ) .

Since the constant factor in (14) is best possible, we have T ˜ =B( λ r , λ s ).

In the following theorem, for 0<p<1, we still use the formal symbols of f p , Φ ˜ and a q , Ψ et al.

Theorem 4 Let the assumptions of Lemma 1 be fulfilled and, additionally, 0<p<1, 1 p + 1 q =1, f(x)0 (x(b,c)), a n 0 (n n 0 , nN),

0< f p , Φ ˜ = { b c ( 1 θ λ ( x ) ) Φ ( x ) f p ( x ) d x } 1 p <

and 0< a q , Ψ = { n = n 0 Ψ ( n ) a n q } 1 q <. Other conditions are similar to those in Theorem  3, then we have the following equivalent inequalities:

I : = n = n 0 b c a n f ( x ) d x ( u ( x ) + v ( n ) ) λ = b c n = n 0 a n f ( x ) d x ( u ( x ) + v ( n ) ) λ > B ( λ r , λ s ) f p , Φ ˜ a q , Ψ ,
(19)
J : = { n = n 0 [ Ψ ( n ) ] 1 p [ b c f ( x ) ( u ( x ) + v ( n ) ) λ d x ] p } 1 p > B ( λ r , λ s ) f p , Φ ˜ ,
(20)
L ˜ : = { b c [ Φ ˜ ( x ) ] 1 q [ n = n 0 a n ( u ( x ) + v ( n ) ) λ ] q d x } 1 q > B ( λ r , λ s ) a q , Ψ .
(21)

Moreover, if there exists a constant δ 0 >0 such that for any δ[0, δ 0 ), [ v ( y ) ] λ s + δ 1 v (y) is decreasing in ( n 0 1,), then the constant factor B( λ r , λ s ) in the above inequalities is best possible.

Proof In view of (8) and the reverse of (10), for

ϖ(x)>B ( λ r , λ s ) ( 1 θ λ ( x ) ) ,

we have (20).

By reverse Hölder’s inequality, we obtain

I = n = n 0 [ Ψ 1 q ( n ) b c f ( x ) d x ( u ( x ) + v ( n ) ) λ ] [ Ψ 1 q ( n ) a n ] J a q , Ψ .
(22)

Then, by (20), we have (19). On the other hand, assuming that (19) is valid, we set a n as in Theorem 3, then it follows that J p 1 = a q , Ψ . By the reverse of (10), we find J>0. If J=, then (20) is trivially valid; if J<, then, by (19), we have

a q , Ψ q = J p = I > B ( λ r , λ s ) f p , Φ ˜ a q , Ψ , a q , Ψ q 1 = J > B ( λ r , λ s ) f p , Φ ˜ ,

and we have (20), which is equivalent to (19).

In view of (8) and the reverse of (11), for

[ ϖ ( x ) ] 1 q > [ B ( λ r , λ s ) ( 1 θ λ ( x ) ) ] 1 q (q<0),

we have (21).

By reverse Hölder’s inequality, we have

I = b c [ Φ ˜ 1 p ( x ) f ( x ) ] [ Φ ˜ 1 p ( x ) n = n 0 a n ( u ( x ) + v ( n ) ) λ ] d x f p , Φ ˜ L ˜ .
(23)

Then, by (21), we have (19). On the other hand, assuming that (19) is valid, setting

f(x):= [ Φ ˜ ( x ) ] 1 q [ n = n 0 a n ( u ( x ) + v ( n ) ) λ ] q 1 ,x(b,c),

then L ˜ q 1 = f p , Φ ˜ . By the reverse of (11), we find L ˜ >0. If L ˜ =, then (21) is trivially valid; if L ˜ <, then, by (19), we have

f p , Φ ˜ p = L ˜ q = I > B ( λ r , λ s ) f p , Φ ˜ a q , Ψ , f p , Φ ˜ p 1 = L ˜ > B ( λ r , λ s ) a q , Ψ ,

and we have (21), which is equivalent to (19).

Hence inequalities (19), (20) and (21) are equivalent.

For 0<ε<min{ | q | λ r ,|q| δ 0 }, setting f ˜ (x)=0, x(b,d);

f ˜ (x)= [ u ( x ) ] λ r ε p 1 u (x),x[d,c),

a ˜ n = [ v ( n ) ] λ s ε q 1 v (n), n n 0 , if there exists a positive number k (B( λ r , λ s )) such that (19) is still valid when replacing B( λ r , λ s ) by k, then, in particular, for q<0, in view of (9), we have

I ˜ : = b c n = n 0 a ˜ n f ˜ ( x ) d x ( u ( x ) + v ( n ) ) λ > k f ˜ p , Φ ˜ a ˜ q , Ψ = k { d c ( 1 O ( 1 [ u ( x ) ] λ / s ) ) [ u ( x ) ] ε 1 u ( x ) d x } 1 p { n = n 0 [ v ( n ) ] ε 1 v ( n ) } 1 q = k { 1 ε O ( 1 ) } 1 p { [ v ( n 0 ) ] ε 1 v ( n 0 ) + n = n 0 + 1 [ v ( n ) ] ε 1 v ( n ) } 1 q > k { 1 ε O ( 1 ) } 1 p { [ v ( n 0 ) ] ε 1 v ( n 0 ) + n 0 [ v ( y ) ] ε 1 v ( y ) d y } 1 q = k ε { 1 ε O ( 1 ) } 1 p { ε [ v ( n 0 ) ] ε 1 v ( n 0 ) + [ v ( n 0 ) ] ε } 1 q .
(24)

In view of the decreasing property of [ v ( y ) ] λ s ε q 1 v ( y ) ( u ( x ) + v ( y ) ) λ , we find

I ˜ = d c [ u ( x ) ] λ r ε p 1 u ( x ) n = n 0 [ v ( n ) ] λ s ε q 1 v ( n ) ( u ( x ) + v ( n ) ) λ d x d c [ u ( x ) ] λ r ε p 1 u ( x ) [ n 0 1 [ v ( y ) ] λ s ε q 1 v ( y ) ( u ( x ) + v ( y ) ) λ d y ] d x = t = v ( y ) / u ( x ) d c [ u ( x ) ] ε 1 u ( x ) [ 0 t λ s ε q 1 ( 1 + t ) λ d t ] d x = 1 ε B ( λ s ε q , λ r + ε q ) .
(25)

By (24) and (25), we have

B ( λ s ε q , λ r + ε q ) > k { 1 ε O ( 1 ) } 1 p { ε [ v ( n 0 ) ] ε 1 v ( n 0 ) + [ v ( n 0 ) ] ε } 1 q ,

and then

B ( λ r , λ s ) k ( ε 0 + ) .

Hence k=B( λ r , λ s ) is the best possible constant factor of (19).

We conform that the constant factor B( λ r , λ s ) in (20) ((21)) is best possible. Otherwise, we would reach a contradiction by (22) ((23)) that the constant factor in (19) is not best possible. □

Remark 2 (i) If α>0, u(x)= x α , b=0, c=, v(n)= n α , n 0 =1, in view of [ v ( x ) ] λ s 1 v (x)=α x α λ s 1 is decreasing, then we have 0<αλs and for α=1, 0<λs, u(x)=x (x(0,)), v(n)=n (nN) in (12), (13) and (14), we have (5) and the following equivalent inequalities:

{ n = 1 n p λ s 1 [ 0 f ( x ) ( x + n ) λ d x ] p } 1 p <B ( λ r , λ s ) f p , ϕ ,
(26)
{ 0 x q λ r 1 [ n = 1 a n ( x + n ) λ ] q d x } 1 q <B ( λ r , λ s ) a q , ψ .
(27)
  1. (ii)

    For u(x)=lnx, b=1, c=, v(n)=lnn, n 0 =2, 0<λs in (12), (13) and (14), we have the following half-discrete Mulholland’s inequality and its equivalent forms:

    1 f(x) n = 2 a n ( ln n x ) λ dx<B ( λ r , λ s ) f p , ϕ ˆ a q , ψ ˆ ,
    (28)
{ n = 2 ( ln n ) p λ s 1 n [ 1 f ( x ) ( ln n x ) λ d x ] p } 1 p <B ( λ r , λ s ) f p , ϕ ˆ ,
(29)
{ 1 ( ln x ) q λ r 1 x [ n = 2 a n ( ln n x ) λ ] q d x } 1 q <B ( λ r , λ s ) a q , ψ ˆ ,
(30)

where ϕ ˆ (x)= ( ln x ) p ( 1 λ r ) 1 x p 1 and ψ ˆ (n)= ( ln n ) q ( 1 λ s ) 1 n q 1 .

  1. (iii)

    For x= 1 t , g(t)= t λ 2 f( 1 t ) in (5), (26) and (27), we can obtain the following equivalent inequalities with non-homogeneous kernel and the best constant factor B( λ r , λ s ):

    0 g(t) n = 1 a n ( 1 + t n ) λ dt<B ( λ r , λ s ) g p , ψ a q , ψ ,
    (31)
{ n = 1 n p λ s 1 [ 0 g ( t ) ( 1 + t n ) λ d t ] p } 1 p <B ( λ r , λ s ) g p , ψ ,
(32)
{ 0 t q λ s 1 [ n = 1 a n ( 1 + t n ) λ ] q d t } 1 q <B ( λ r , λ s ) a q , ψ .
(33)

In fact, we can show that (31), (32) and (33) are respectively equivalent to (5), (26) and (27), and then it follows that (31), (32) and (33) are equivalent with the same best constant factor B( λ r , λ s ).

References

  1. Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge; 1934.

    Google Scholar 

  2. Mitrinović DS, Pečarić JE, Fink AM: Inequalities Involving Functions and Their Integrals and Derivatives. Kluwer Academic, Boston; 1991.

    MATH  Book  Google Scholar 

  3. Yang B: Hilbert-Type Integral Inequalities. Bentham Science Publishers, Sharjah; 2009.

    Google Scholar 

  4. Yang B: Discrete Hilbert-Type Inequalities. Bentham Science Publishers, Sharjah; 2011.

    Google Scholar 

  5. Yang B: On Hilbert’s integral inequality. J. Math. Anal. Appl. 1998, 220: 778–785. 10.1006/jmaa.1997.5877

    MATH  MathSciNet  Article  Google Scholar 

  6. Yang B: The Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijing; 2009. (in Chinese)

    Google Scholar 

  7. Yang B, Brnetić I, Krnić M, Pečarić J: Generalization of Hilbert and Hardy-Hilbert integral inequalities. Math. Inequal. Appl. 2005, 8(2):259–272.

    MATH  MathSciNet  Google Scholar 

  8. Hong Y: All-side generalization about Hardy-Hilbert integral inequalities. Acta Math. Sin. 2001, 44(4):619–625.

    MATH  Google Scholar 

  9. Jin J, Debnath L: On a Hilbert-type linear series operator and its applications. J. Math. Anal. Appl. 2010, 371: 691–704. 10.1016/j.jmaa.2010.06.002

    MATH  MathSciNet  Article  Google Scholar 

  10. Azar L: On some extensions of Hardy-Hilbert’s inequality and applications. J. Inequal. Appl. 2009., 2009: Article ID 546829

    Google Scholar 

  11. Yang B, Rassias T: On the way of weight coefficient and research for Hilbert-type inequalities. Math. Inequal. Appl. 2003, 6(4):625–658.

    MATH  MathSciNet  Google Scholar 

  12. Bényi Á, Oh C: Best constant for certain multilinear integral operator. J. Inequal. Appl. 2006., 2006: Article ID 28582

    Google Scholar 

  13. Zhong W: The Hilbert-type integral inequality with a homogeneous kernel of − λ -degree. J. Inequal. Appl. 2008., 2008: Article ID 917392

    Google Scholar 

  14. Li Y, He B: On inequalities of Hilbert’s type. Bull. Aust. Math. Soc. 2007, 76(1):1–13. 10.1017/S0004972700039423

    MATH  Article  Google Scholar 

  15. Yang B: A mixed Hilbert-type inequality with a best constant factor. Int. J. Pure Appl. Math. 2005, 20(3):319–328.

    MATH  MathSciNet  Google Scholar 

  16. Kuang J: Introduction to Real Analysis. Hunan Education Press, Chansha; 1996. (in Chinese)

    Google Scholar 

  17. Kuang J: Applied Inequalities. Shangdong Science Technic Press, Jinan; 2004. (in Chinese)

    Google Scholar 

Download references

Acknowledgements

This work is supported by the National Natural Science Foundation of China (No. 61370186), 2012 Knowledge Construction Special Foundation Item of Guangdong Institution of Higher Learning College and University (No. 2012KJCX0079), Science and Technology Application Foundation Program of Guangzhou (No. 2013J4100009) and the Ministry of Education and China Mobile Research Fund (No. MCM20121051).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bicheng Yang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

QC conceived of the study, and participated in its design and coordination. BY wrote and reformed the article. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Chen, Q., Yang, B. Half-discrete Hardy-Hilbert’s inequality with two interval variables. J Inequal Appl 2013, 485 (2013). https://doi.org/10.1186/1029-242X-2013-485

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-485

Keywords

  • Hardy-Hilbert’s inequality
  • weight function
  • equivalent form
  • operator expression
  • reverse