- About this Journal ·
- Abstracting and Indexing ·
- 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
Recent Developments of Hilbert-Type Discrete and Integral Inequalities with Applications
1Department of Mathematics, University of Texas-Pan American, Edinburg, TX 78539, USA
2Department 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.
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”
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  published a proof of Hilbert's inequality (1.1), and in 1911, Schur  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. , Mitrinović et al. , Kuang , and Hu .
Considerable attention has been given to the well-known classical Hardy-Littlewood-Sobolev (HLS) inequality (see Hardy et al. ) 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  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  represent some major contribution to the subject.
On the other hand, Chen et al.  used weighted Hardy-Littlewood-Sobolev inequalities (1.3) and (1.5) to solve systems of integral equations. In 2011, Khotyakov  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  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. ).
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 ), and we have the equivalent form of (1.2) as , (see Hardy et al. ), 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. ): 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  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
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. ): 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. ).
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. ):
If , , , , then For , , inequality (4.15) reduces to (4.14). Leven  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  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.  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 .
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. ):(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 ): where the constant factors and are the best possible. Another type inequalities with the best constant factors are as follows (see Xin and Yang ): 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. ): 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 1998, Pachpatte  gave an inequality similar to (1.2) as follows: for , Some improvements and extensions have been made by Zhao and Debnath , Lu , and He and Li . We can also refer to other works of Pachpatte in .
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  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  also raised an open question how to obtain the best value of (8.7). In 1992, Gao  gave the best value .
Xu and Gao  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  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  and Yang and Debnath .
9. Hilbert's Inequality with Independent Parameters
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 , and the expressions of the beta function are given in Wang and Guo : 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  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  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  gave a multiple integral inequality, which is an extension of (4.1). He et al.  gave a similar result for particular conjugate exponents. For making an improvement of their works, Yang  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  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  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.
In 2005, by introducing an independent parameter , and two pairs of generalized conjugate exponents and with , Yang et al.  gave a multiple integral inequality as follows:
In 2006, using two pairs of conjugate exponents and with , Hong  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 ; for , (10.5) reduces to (10.4). In 2007, Zhong and Yang  generalized (10.5) to a general homogeneous kernel and proposed the reversion.
We can find another inequality with two parameters as follows (see Yang ): 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 ): where , . The other results on the reverse of the Hilbert-type inequalities are found in Xi  and Yang .
In 2006, Xin  gave a best extension of H-L-P integral inequality (5.10) as follows: In 2007, Zhong and Yang  gave an extension of another H-L-P integral inequality (5.5) as follows: Zhong and Yang  also gave the reverse form of (10.10).
Considering a particular kernel, Yang  proved Yang  also proved that Using the residue theory, Yang  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  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 ), 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  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 , , , , , then we have the following equivalent inequalities: