- Research
- Open access
- Published:
A half-discrete Hilbert-type inequality with the non-monotone kernel and the best constant factor
Journal of Inequalities and Applications volume 2012, Article number: 184 (2012)
Abstract
By introducing two pairs of conjugate exponents and using the improved Euler-Maclaurin summation formula, we estimate the weight functions and obtain a half-discrete Hilbert-type inequality with the non-monotone kernel and the best constant factor. We also consider its equivalent forms.
MSC:26D15.
1 Introduction
If , such that and , then we have the famous Hilbert’s inequality as follows (cf. [1]):
where the constant factor π is the best possible.
Under the same condition of (1), Xin et al. [2] gave the following inequality:
where the constant factor is the best possible. And Yang [3] gave the integral analogues of (2).
In 1934, Hardy et al. [1] established a few results on the half-discrete Hilbert-type inequalities with the non-homogeneous kernel (see Theorem 351). But they did not prove that the constant factors are the best possible. However, Yang [4] gave a result by introducing an interval variable and proved that the constant factor is the best possible. Recently, Yang et al. [5–9] gave some half-discrete Hilbert-type inequalities and their reverses with the monotone kernels and best constant factors.
Recently, Yang [10] gave the following half-discrete Hilbert-type inequality with the non-monotone kernel and the best constant factor 8:
Obviously, for a half-discrete Hilbert-type inequality with the monotone kernel, it is easy to build the relating inequality by estimating the series form and the integral form of weight functions. However, for a half-discrete Hilbert-type inequality with the non-monotone kernel, it is much more difficult to prove.
In this paper, by using the way of weight functions, we give a new half-discrete Hilbert-type inequality with the non-monotone kernel as follows:
where the constant factor is the best possible. The main objective of this paper is to build the best extension of (4) with parameters and equivalent forms.
2 Some lemmas
Lemma 2.1 If, (Z is the set of non-negative integers), , () is the Bernoulli function of first order[11], then we have (cf. [10])
Lemma 2.2 If, , (), N is the set of positive integers, define the weight functions as follows:
Then we have
Proof Setting in (6), we have
Setting , then it follows
For , , we have
For , , we find
Define two functions as follows:
Then we have . Setting , , then . Define two functions as follows:
Since , , then both and () are decreasing and continuous. Besides , we have , (), and . By the improved Euler-Maclaurin summation formula (cf. [11], Theorem 2.2.2) and (5), for , (), it follows
Since , , then we have
By the improved Euler-Maclaurin summation formula [11], we have
where
Since , in view of (9), (10), (i) for , , we have
(ii) for , , we have
Hence, for , we have , it follows . The lemma is proved. □
Lemma 2.3 As the assumption of Lemma 2.2, if, , , then we have
Proof It is obvious that , . Setting , we have
The lemma is proved. □
Lemma 2.4 If, , , is a non-negative measurable function, then we have
Proof By Hölder’s inequality [12], in view of (6) and (7), we have
Hence we have (12). Still by Hölder’s inequality [12], (6) and (7), we have
Then we have (13). The lemma is proved. □
3 Main results and applications
Theorem 3.1 If, , such that, , then we have the following equivalent inequalities:
where the constant factors, , are the best possible.
Proof By the Lebesgue term-by-term integration theorem [13], there are two kinds of representation in (14). By the conditions of Theorem 3.1, (12) takes the form of a strict inequality, and we have (15). By Hölder’s inequality [12], we have
By (15), we have (14). On the other hand, suppose that (14) is valid. Setting , , then it follows . By (12), we have . If , then (15) is obvious value; if , then by (14), we obtain
Hence we have (15), which is equivalent to (14).
By Hölder’s inequality [12], we have
By (16), we have (14). On the other hand, suppose that (14) is valid. Setting , , then it follows . By (13), we have . If , then (16) is obvious value; if , then by (14), we obtain
Hence we have (16), which is equivalent to (14). Therefore (14), (15) and (16) are equivalent.
If the constant factor in (14) is not best possible, then there exists a positive number K, with , such that (14) is still valid if we replace by K. For , setting , (), we have
By (11) and (21), we have and for , by Fatou lemma [13], we have . This is a contradiction. Hence we can conclude that the constant in (14) is the best possible. If the constant factors in (15) and (16) are not the best possible, then we can imply a contradiction that the constant factor in (14) is not the best possible by (17) and (19). The theorem is proved. □
Remark For , (14) reduces to (4). Inequality (4) is a new basic half-discrete Hilbert-type inequality with the non-monotone kernel.
References
Hardy GH, Littlewood JE, Polya G: Inequalities. Cambridge University Press, Cambridge; 1952.
Xin D, Yang B: A basic Hilbert-type inequality. J. Math. (Wuhan) 2010, 30(3):554–560.
Yang B: On a basic Hilbert-type integral inequality and extensions. Coll. Math. J. 2008, 24(1):87–92.
Yang B: A mixed Hilbert-type inequality with a best constant factor. Int. J. Pure Appl. Math. 2005, 20(3):319–328.
Yang B: On a half-discrete Hilbert-type inequality. J. Shandou Univ., Nat. Sci. 2011, 26(4):5–10.
Yang B: A half-discrete Hilbert-type inequality with a homogeneous kernel of positive degree. J. Zhanjiang Norm. Coll. 2011, 32(3):5–9.
Yang B: A half-discrete reverse Hilbert-type inequality with non-homogeneous kernel. J. Hunan Inst. Sci. Technol., Nat. Sci. 2011, 24(3):1–4.
Yang B: On a half-discrete reverse Hilbert-type inequality with a non-homogeneous kernel. J. Inn. Mong. Norm. Univ., Nat. Sci. 2011, 40(5):433–436.
Zhong W: A mixed Hilbert-type inequality and its equivalent forms. J. Guangdong Univ. Educ. 2011, 31(5):18–22.
Yang B: A half-discrete Hilbert-type inequality with the non-monotone kernel. J. Jilin Univ., Sci. 2012, 49(1):87–92.
Yang B: The Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijing; 2009.
Kuang J: Applied Inequalities. Shangdong Science Press, Jinan; 2004.
Kuang J: Introduction to Real Analysis. Hunan Education Press, Changsha; 1996.
Acknowledgements
This work was supported by the Emphases Natural Science Foundation of Guangdong Institutions of Higher Learning, College and University (No. 05Z026) and the Natural Science Foundation of Guangdong (7004344).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
DX carried out the study, and wrote the manuscript. BY participated in the design of the study, and reformed the manuscript. 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.
About this article
Cite this article
Xin, D., Yang, B. A half-discrete Hilbert-type inequality with the non-monotone kernel and the best constant factor. J Inequal Appl 2012, 184 (2012). https://doi.org/10.1186/1029-242X-2012-184
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2012-184