- Research Article
- Open access
- Published:
On a New Weighted Hilbert Inequality
Journal of Inequalities and Applications volume 2008, Article number: 637397 (2008)
Abstract
It is shown that a weighted Hilbert inequality for double series can be established by introducing a proper weight function. Thus, a quite sharp result of the classical Hilbert inequality for double series is obtained. And a similar result for the Hilbert integral inequality is also proved. Some applications are considered.
1. Introduction
Let and
be two sequences of real numbers. It is all known that the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ1_HTML.gif)
is called Hilbert theorem for double series [1], where , and the constant factor
in (1.1) is the best possible value. And the equality in (1.1) holds if and only if
or
is a zero-sequence. The corresponding integral form of (1.1) is that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ2_HTML.gif)
where , and the constant factor
in (1.2) is the best possible value. Recently, various improvements and extensions of (1.1) and (1.2) appear in a great deal of papers (see [2–6], etc.). The aim of the present paper is to build some new inequalities by using the weight function method and the technique of analysis, and then to study some applications of them.
First we give some lemmas.
Lemma 1.1.
Let be a positive integer. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ3_HTML.gif)
Proof.
Let be real numbers. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ4_HTML.gif)
where is an arbitrary constant. This result is given in the paper (see [7]). Based on this indefinite integral it is easy to deduce that the equality (1.3) holds.
Lemma 1.2.
If and
, where
, then
(1) and
are monotonously decreasing in interval
;
-
(2)
(1.5)
where the weight function is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ6_HTML.gif)
.
Proof.
-
(1)
At first, notice that
, hence we can write
in the form of:
, where
and
. It is obvious that the functions
and
are monotonously decreasing in
. So,
is also monotonously decreasing in
. In the next place, notice that
, therefore we can write
in the form of:
, where
and
. It is clear that the functions
and
are monotonously decreasing in
. So,
is also monotonously decreasing in
.
-
(2)
Below, we need only to compute the first integral,
(1.7)
By Lemma 1.1, we obtain the first integral of (1.5) at once after some simple computations and simplifications.
Similarly, the second integral of (1.5) can be gotten.
Lemma 1.3.
Let be a sequence of real numbers, and let
be a real function and
. If
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ8_HTML.gif)
Proof.
It is obvious that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ9_HTML.gif)
We need only to show that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ10_HTML.gif)
Let Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ11_HTML.gif)
Lemma 1.4.
Let be a real number, and let
and
be two real functions, and
and
, where
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ12_HTML.gif)
.
Its proof is similar to that of Lemma 1.3. Hence, it is omitted.
2. Main Results
Theorem 2.1.
Let and
be two sequences of real numbers. If
and
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ13_HTML.gif)
where the weight function is defined by (1.6).
Proof.
Let be a real function and it satisfies condition
First, we suppose that
. By Lemma 1.3 and then applying Cauchy's inequality we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ14_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ15_HTML.gif)
It is easy to deduce that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ16_HTML.gif)
Let . It is obvious that
for
and
. Consider the function
By Lemma 1.2, the function
is monotonously decreasing in
. Hereby, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ17_HTML.gif)
Using (1.5), we can obtain immediately
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ18_HTML.gif)
Similarly, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ19_HTML.gif)
It follows from (2.2), (2.6), and (2.7) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ20_HTML.gif)
where the weight function is defined by (1.6).
Next, consider the case for We can apply Schwarz's inequality to estimate the left-hand side of (2.1) as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ21_HTML.gif)
And then by using the inequality (2.8), the inequality (2.1) follows from (2.9) at once. It is obvious that the inequality (2.1) is a refinement of (1.1). Below, we give an extension of (1.2).
Theorem 2.2.
Let be a real number,
and
, and let
and
be two real functions, and
and
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ22_HTML.gif)
where the weight function is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ23_HTML.gif)
Specially, when , it is a refinement of (1.2).
Proof.
Let be a real function, and
.
Firstly, we suppose that . Using Lemma 1.4 and then applying Cauchy's inequality we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ24_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ25_HTML.gif)
In the first place, we consider :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ26_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ27_HTML.gif)
We need only to compute the weight function .
Let us select still . Then
. Using (1.4), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ28_HTML.gif)
Notice that . Hence, the function defined by (2.11) is just. So, we attain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ29_HTML.gif)
Similarly, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ30_HTML.gif)
We obtain from (2.12), (2.17), and (2.18) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ31_HTML.gif)
where the weight function is defined by (2.11).
Secondly, consider the case for . We can apply Schwarz's inequality to estimate the left-hand side of (2.10) as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ32_HTML.gif)
It follows from (2.19) and (2.20) that the inequality (2.10) is valid.
3. Applications
As applications, we will give some new refinements of Hardy-Littlewood's theorem and Widder's theorem below.
Let and
for all
. Define a sequence
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ33_HTML.gif)
Hardy-Littlewood [1] proved that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ34_HTML.gif)
where is the best constant that the inequality (3.2) keeps valid.
Theorem 3.1.
With the assumptions as the above-mentioned, define a sequence by
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ35_HTML.gif)
where is defined by (1.6).
Proof.
By our assumptions, we may write in the form of:
Apply Schwarz's inequality to estimate the left-hand side of (3.3) as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ36_HTML.gif)
It is known from (2.8) and (3.4) that the inequality (3.3) is valid. Theorem is therefore proved.
Let and
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ37_HTML.gif)
This is the famous Widder theorem (see [1]).
Theorem 3.2.
With the assumptions as the above-mentioned, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ38_HTML.gif)
where is defined by (2.11).
Proof.
First, we have the following relation:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ39_HTML.gif)
Let . Then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F637397/MediaObjects/13660_2008_Article_1840_Equ40_HTML.gif)
where . By using (2.19), the inequality (3.6) follows from (3.8) at once.
References
Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge, UK; 1952:xii+324.
Gao M, Hsu LC: A survey of various refinements and generalizations of Hilbert's inequalities. Journal of Mathematical Research and Exposition 2005,25(2):227–243.
Gao M, Yang B: On the extended Hilbert's inequality. Proceedings of the American Mathematical Society 1998,126(3):751–759. 10.1090/S0002-9939-98-04444-X
Yang B, Debnath L: On a new generalization of Hardy-Hilbert's inequality and its applications. Journal of Mathematical Analysis and Applications 1999,233(2):484–497. 10.1006/jmaa.1999.6295
Jichang K, Debnath L: On new generalizations of Hilbert's inequality and their applications. Journal of Mathematical Analysis and Applications 2000,245(1):248–265. 10.1006/jmaa.2000.6766
He L, Gao M, Wei S: A note on Hilbert's inequality. Mathematical Inequalities and Applications 2003,6(2):283–288.
Jin Y: Applied Integral Tables. Chinese Science and Technology University Press, Hefei, China; 2006.
Acknowledgment
This work is a project supported by Scientific Research Fund of Hunan Provincial Education Department (07C520 and 06C657).
Author information
Authors and Affiliations
Corresponding author
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
Leping, H., Xuemei, G. & Mingzhe, G. On a New Weighted Hilbert Inequality. J Inequal Appl 2008, 637397 (2008). https://doi.org/10.1155/2008/637397
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/637397