- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

International Journal of Mathematics and Mathematical Sciences

Volume 2012 (2012), Article ID 871845, 29 pages

http://dx.doi.org/10.1155/2012/871845

## Recent Developments of Hilbert-Type Discrete and Integral Inequalities with Applications

^{1}Department of Mathematics, University of Texas-Pan American, Edinburg, TX 78539, USA^{2}Department of Mathematics, Guangdong University of Education, Guangzhou, Guangdong 510303, China

Received 7 March 2012; Revised 12 June 2012; Accepted 27 June 2012

Academic Editor: Tibor K. Pogány

Copyright © 2012 Lokenath Debnath and Bicheng Yang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

This paper deals with recent developments of Hilbert-type discrete and integral inequalities by introducing kernels, weight functions, and multiparameters. Included are numerous generalizations, extensions, and refinements of Hilbert-type inequalities involving many special functions such as beta, gamma, logarithm, trigonometric, hyper-bolic, Bernoulli's functions and Bernoulli's numbers, Euler's constant, zeta function, and hypergeometric functions with many applications. Special attention is given to many equivalent inequalities and to conditions under which the constant factors involved in inequalities are the best possible. Many particular cases of Hilbert-type inequalities are presented with numerous applications. A large number of major books and recent research papers published during 2009–2012 are included to stimulate new interest in future study and research.

“As long as a branch of knowledge offers an abundance of problems, it is full of vitality”

David Hilbert

#### 1. Introduction

Historically, mathematical analysis has been the major and significant branch of mathematics for the last three centuries. Indeed, inequalities became the heart of mathematical analysis. Many great mathematicians have made significant contributions to many new developments of the subject, which led to the discovery of many new inequalities with proofs and useful applications in many fields of mathematical physics, pure and applied mathematics. Indeed, mathematical inequalities became an important branch of modern mathematics in the twentieth century through the pioneering work entitled *Inequalities* by G. H. Hardy, J. E. Littlewood, and G. Pòlya, which was first published treatise in 1934. This unique publication represents a paradigm of precise logic, full of elegant inequalities with rigorous proofs and useful applications in mathematics.

During the twentieth century, discrete and integral inequalities played a fundamental role in mathematics and have a wide variety of applications in many areas of pure and applied mathematics. In particular, David Hilbert (1862–1943) first proved Hilbert's double series inequality without exact determination of the constant in his lectures on integral equations. If and are two real sequences such that and , then the *Hilbert's double series inequality* is given by
In 1908, Weyl [1] published a proof of Hilbert's inequality (1.1), and in 1911, Schur [2] proved that in (1.1) is the best possible constant and also discovered the integral analogue of (1.1), which became known as the *Hilbert's integral inequality* in the form
where and are measurable functions such that and , and in (1.2) is still the best possible constant factor. A large number of generalizations, extensions, and refinements of both (1.1) and (1.2) are available in the literature in Hardy et al. [3], Mitrinović et al. [4], Kuang [5], and Hu [6].

Considerable attention has been given to the well-known classical Hardy-Littlewood-Sobolev (HLS) inequality (see Hardy et al. [3]) in the form for every and , where , , such that , and is the norm of the function . For arbitrary and , an estimate of the upper bound of the constant was given by Hardy, Littlewood, and Sobolev, but no sharp value is known up till now. However, for the special case, , the sharp value of the constant was found as and the equality in (1.3) holds if and only if and , where , , , , , .

In 1958, Stein and Weiss [7] generalized the double-weighted inequality of Hardy and Littlewood in the form with the same notation as in (1.3): where , and the powers of and of the weights satisfy the following conditions , and . Inequality (1.5) and its proof given by Stein and Weiss [7] represent some major contribution to the subject.

On the other hand, Chen et al. [8] used weighted Hardy-Littlewood-Sobolev inequalities (1.3) and (1.5) to solve systems of integral equations. In 2011, Khotyakov [9] suggested two proofs of the sharp version of the HLS inequality (1.3). The first proof is based on the invariance property of the inequality (1.3), and the second proof uses some properties of the fast diffusion equation with the conditions , on the sharp HLS inequality (1.3).

The main purpose of this paper is to describe recent developments of Hilbert's discrete and integral inequalities in different directions with many applications. Included are many generalizations, extensions, and refinements of Hilbert-type inequalities involving many special functions such as beta, gamma, logarithm, trigonometric, hyperbolic, Bernoulli's functions and Bernoulli's numbers, Euler's constant, zeta function, and hypergeometric functions. Special attention is given to many equivalent inequalities and to conditions under which constant factors involved inequalities are the best possible. Many particular cases of Hilbert-type inequalities are presented with applications. A large number of major books and recent research papers published during 2009–2012 are included in references to stimulate new interest in future study and research.

#### 2. Operator Formulation of Hilbert's Inequality

Suppose that is the set of real numbers and , for and are real normal spaces with the norms and . We express inequality (1.1) using the form of operator as follows: is a linear operator, for any , there exists a sequence , satisfying
where is the set of positive integers. Hence, for any sequence , we define the inner product of and as follows:
Using (2.2), inequality (1.1) can be rewritten in the operator form
where and . It follows from Wilhelm [10] that is a bounded operator and the norm and is called *Hilbert's operator* with the kernel . For , the equivalent form of (2.3) is given as , that is,
where the constant factor is still the best possible. Obviously, inequality (2.4) and (1.1) are equivalent (see Hardy et al. [3]).

We may define Hilbert's integral operator as follows: , for any , there exists a function, , satisfying Hence, for any , we may still define the inner product of and as follows: Setting the norm of as , if and , then (1.2) may be rewritten in the operator form It follows that (see Carleman [11]), and we have the equivalent form of (1.2) as , (see Hardy et al. [3]), that is, where the constant factor is still the best possible. It is obvious that inequality (2.8) is the integral analogue of (2.4).

#### 3. A More Accurate Discrete Hilbert's Inequality

If we set the subscripts of the double series from zero to infinity, then, we may rewrite inequality (1.1) equivalently in the following form: where the constant factor is still the best possible. Obviously, we may raise the following question: Is there a positive constant , that makes inequality still valid as we replace 2 by in the kernel ? The answer is positive. That is, the following is more accurate Hilbert's inequality (for short, Hilbert's inequality) (see Hardy et al. [3]): where the constant factor is the best possible.

Since for , , , then, by (3.2) and for , we obtain For , inequality (3.4) is a refinement of (3.1). Obviously, we have a refinement of (2.4), which is equivalent to (3.4) as follows: For , in 1936, Ingham [12] proved that if , then and if , then

*Note 1. *If we put , , , and () in (1.2), then we obtain
For , inequality (3.8) is an integral analogue of (3.6) with . However, if , inequality (3.8) is not an integral analogue of (3.7), because two constant factors are different.

Using the improved version of the Euler-Maclaurin summation formula and introducing new parameters, several authors including Yang (see [13–15]) recently obtained several more accurate Hilbert-type inequalities and some new Hardy-Hilbert inequality with applications.

#### 4. Hilbert's Inequality with One Pair of Conjugate Exponents

In 1925, by introducing one pair of conjugate exponents with , Hardy [16] gave an extension of (1.1) as follows:

if , , , such that and , then
where the constant factor is the best possible. The equivalent discrete form of (4.1) is as follows:
where the constant factor is still the best possible. Similarly, inequalities (3.2) and (3.5) (for ) may be extended to the following equivalent forms (see Hardy et al. [3]):
where the constant factors and are the best possible. The equivalent integral analogues of (4.1) and (4.2) are given as follows:
We call (4.1) and (4.3) as Hardy-Hilbert's inequality and call (4.5) as* Hardy-Hilbert's integral inequality*.

Inequality (4.3) may be expressed in the form of operator as follows: is a linear operator, such that for any nonnegative sequence , there exists , satisfying
And for any nonnegative sequence , we can define the formal inner product of and as follows:
Then inequality (4.3) may be rewritten in the operator form
where , . The operator is called *Hardy-Hilbert's operator*.

Similarly, we define the following *Hardy-Hilbert's integral operator * as follows: for any , there exists an , defined by
And for any , we can define the formal inner product of and as follows:
Then inequality (4.5) may be rewritten as follows:

On the other hand, if is not a pair of conjugate exponents, then we have the following results (see Hardy et al. [3]).

If , , , , then where relates to , , only for , , the constant factor is the best possible. The integral analogue of (4.13) is given by We also find an extension of (4.14) as follows (see Mitrinović et al. [4]):

If , , , , then For , , inequality (4.15) reduces to (4.14). Leven [17] also studied the expression forms of the constant factors in (4.13) and (4.14). But he did not prove their best possible property. In 1951, Bonsall [18] considered the case of (4.14) for the general kernel.

#### 5. A Hilbert-Type Inequality with the General Homogeneous Kernel of Degree −1

If , the function is measurable in , satisfying for any , , , , then is called the homogeneous function of degree . In 1934, Hardy et al. [3] published the following theorem: suppose that , , is a homogeneous function of degree in . If , , , is finite, then we have and the following equivalent integral inequalities: where the constant factor is the best possible. Moreover, if , both and are decreasing in , then we have the following equivalent discrete forms: For , if is finite, then we have the reverses of (5.1) and (5.2).

*Note 2. *We have not seen any proof of (5.1)–(5.4) and the reverse examples in [3].

We call the kernel of (5.1) and (5.2). If all the integrals and series in the right-hand side of inequalities (5.1)–(5.4) are positive, then we can obtain the following particular examples (see Hardy et al. [3]):(1)for in (5.1)–(5.4), they reduce to (4.5), (4.6), (4.1), and (4.2);(2)if in (5.1)–(5.4), they reduce the following two pairs of equivalent forms:
(3)if in (5.1)–(5.4), they reduce to the following two pairs of equivalent inequalities:

*Note 3. *The constant factors in the above inequalities are all the best possible. We call (5.7) and (5.11) *Hardy-Littlewood-Pólya's inequalities* (or *H-L-P inequalities*). We find that the kernels in the above inequalities are all decreasing functions. But this is not necessary. For example, we find the following two pairs of equivalent forms with the nondecreasing kernel (see Yang [19]):
where the constant factors and are the best possible. Another type inequalities with the best constant factors are as follows (see Xin and Yang [20]):
where the constant factor .

#### 6. Two Multiple Hilbert-Type Inequalities with the Homogeneous Kernels of Degree

Suppose , numbers satisfying , , and is a homogeneous function of degree . If is a finite number, are nonnegative measurable functions in , then, we have the following multiple Hilbert-type integral inequality (see Hardy et al. [3]): Moreover, if , , are all decreasing functions with respect to any single variable in , then, we have

*Note 4. *The authors did not write and prove that the constant factor in the above inequalities is the best possible. For two numbers and , inequalities (6.2) and (6.3) reduce, respectively, to (5.1) and (5.3).

#### 7. Modern Research for Hilbert's Integral Inequality

In 1979, based on an improvement of Hölder's inequality, Hu [21] proved a refinement of (1.2) (for ) as follows: Since then, Hu [6] published many interesting results similar to (7.1).

In 1998, Pachpatte [22] gave an inequality similar to (1.2) as follows: for , Some improvements and extensions have been made by Zhao and Debnath [23], Lu [24], and He and Li [25]. We can also refer to other works of Pachpatte in [26].

In 1998, by introducing parameters and , , Yang [27] gave an extension of (1.2) as follows: where is the beta function.

In 1999, Kuang [28] gave another extension of (1.2) as follows: for , We can refer to the other works of Kuang in [5, 29].

In 1999, using the methods of algebra and analysis, Gao [30] proved an improvement of (1.2) as follows: where , , , , . We also refer to works of Gao and Hsu in [31].

In 2002, using the operator theory, Zhang [32] gave an improvement of (1.2) as follows:

#### 8. On the Way of Weight Coefficient for Giving a Strengthened Version of Hilbert's Inequality

In 1991, for making an improvement of (1.1), Hsu and Wang [33] raised the way of weight coefficient as follows: at first, using Cauchy's inequality in the left-hand side of (1.1), it follows that Then, we define the weight coefficient and rewrite (8.1) as follows: Setting where , and estimating the series of , it follows that Thus, result (8.4) yields In view of (8.3), a strengthened version of (1.1) is given by Hsu and Wang [33] also raised an open question how to obtain the best value of (8.7). In 1992, Gao [34] gave the best value .

Xu and Gao [35] proved a strengthened version of (2.6) given by In 1997, using the way of weight coefficient and the improved Euler-Maclaurin's summation formula, Yang and Gao [36, 37] showed that where ( is the Euler constant).

In 1998, Yang and Debnath [38] gave another strengthened version of (2.6), which is an improvement of (8.8). We can also refer to some strengthened versions of (3.2) and (4.3) in papers of Yang [39] and Yang and Debnath [40].

#### 9. Hilbert's Inequality with Independent Parameters

In 1998, using the optimized weight coefficients and introducing an independent parameter , Yang [27] provided an extension of (1.2) as follows.

If and , then where the constant factor is the best possible. The proof of the best possible property of the constant factor was given by Yang [41], and the expressions of the beta function are given in Wang and Guo [42]: Some extensions of (4.1), (4.3), and (4.5) were given by Yang and Debnath [43–45] as follows. If , then If , then where the constant factor is the best possible. Yang [46] also proved that (9.4) is valid for and . Yang [47, 48] gave another extensions of (4.1) and (4.3) as follows: if , then and if , then In 2004, Yang [49] proved the following dual form of (4.1): Inequality (9.8) reduces to (4.1) when . For , (9.7) reduces to the dual form of (4.3) as follows: We can find some extensions of the H-L-P inequalities with the best constant factors such as (5.5)–(5.16) (see [13, 50, 51]) by introducing some independent parameters.

In 2001, by introducing some parameters, Hong [52] gave a multiple integral inequality, which is an extension of (4.1). He et al. [53] gave a similar result for particular conjugate exponents. For making an improvement of their works, Yang [54] gave the following inequality, which is a best extension of (4.1): if , , , , and , then we have where the constant factor is the best possible. In particular, for , it follows that

In 2003, Yang and Rassias [55] introduced the way of weight coefficient and considered its applications to Hilbert-type inequalities. They summarized how to use the way of weight coefficient to obtain some new improvements and generalizations of the Hilbert-type inequalities. Since then, a number of authors discussed this problem (see [56–77]). But how to give a uniform extension of inequalities (9.8) and (4.1) with a best possible constant factor was solved in 2004 by introducing two pairs of conjugate exponents.

#### 10. Hilbert-Type Inequalities with Multiparameters

In 2004, by introducing an independent parameter and two pairs of conjugate exponents and with , Yang [78] gave an extension of (1.2) as follows: if and the integrals of the right-hand side are positive, then where the constant factor is the best possible.

For , , , inequality (10.1) reduces to (4.5); for , , , inequality (10.1) reduces to the dual form of (4.5) as follows:

In 2005, by introducing an independent parameter , and two pairs of generalized conjugate exponents and with , Yang et al. [79] gave a multiple integral inequality as follows:

for , where the constant factor is the best possible. For , , , , and , inequality (10.3) reduces to the following: It is obvious that inequality (10.4) is another best extension of (4.5).

In 2006, using two pairs of conjugate exponents and with , Hong [80] gave a multivariable integral inequality as follows.

If , , , , , , , and , then where the constant factor is the best possible. In particular, for , (10.5) reduces to Hong's work in [81]; for , (10.5) reduces to (10.4). In 2007, Zhong and Yang [82] generalized (10.5) to a general homogeneous kernel and proposed the reversion.

We can find another inequality with two parameters as follows (see Yang [83]): where , , . In particular, for , we have For , , inequality (10.7) reduces to (4.1), and for , , (10.7) reduces to (9.8). Also we can obtain the reverse form as follows (see Yang [84]): where , . The other results on the reverse of the Hilbert-type inequalities are found in Xi [85] and Yang [86].

In 2006, Xin [87] gave a best extension of H-L-P integral inequality (5.10) as follows: In 2007, Zhong and Yang [88] gave an extension of another H-L-P integral inequality (5.5) as follows: Zhong and Yang [89] also gave the reverse form of (10.10).

Considering a particular kernel, Yang [90] proved Yang [91] also proved that Using the residue theory, Yang [92] obtained the following inequality: where . The constant factors in the above new inequalities are all the best possible. Some other new results are proved by several authors (see [75, 93–97]).

#### 11. Operator Expressions of Hilbert-Type Inequalities

Suppose that is a separable Hilbert space and is a bounded self-adjoint semipositive definite operator. In 2002, Zhang [32] proved the following inequality: where is the inner product of and , and is the norm of . Since the Hilbert integral operator defined by (2.5) satisfies the condition of (11.1) with , then inequality (1.2) may be improved as (7.6). Since the operator defined by (4.7) (for ) satisfies the condition of (11.1) (see Wilhelm [10]), we may improve (3.2) to the following form:

The key of applying (11.1) is to obtain the norm of the operator and and to show the semidefinite property. Now, we consider the concept and the properties of Hilbert-type integral operator as follows.

Suppose that , , are real normal linear spaces and is a nonnegative symmetric measurable function in satisfying We define an integral operator as for any , there exists , such that Or, for any , there exists , such that

In 2006, Yang [98] proved that the operator defined by (11.5) or (11.6) are bounded with . The following are some results in this paper: If is small enough and the integral is convergent to a constant independent of satisfying , then . If , , , ,