- Research Article
- Open access
- Published:
Multidimensional Hilbert-Type Inequalities with a Homogeneous Kernel
Journal of Inequalities and Applications volume 2009, Article number: 130958 (2009)
Abstract
We consider the Hilbert-type inequalities with nonconjugate parameters. The obtaining of the best possible constants in the case of nonconjugate parameters remains still open. Our generalization will include a general homogeneous kernel. Also, we obtain the best possible constants in the case of conjugate parameters when the parameters satisfy appropriate conditions. We also compare our results with some known results.
1. Introduction
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ1_HTML.gif)
The well-known Hardy-Hilbert's integral inequality (see [1]) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ2_HTML.gif)
and an equivalent form is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ3_HTML.gif)
where the constant factors and
are the best possible.
During the previous decades, the Hilbert-type inequalities were discussed by many authors, who either reproved them using various techniques or applied and generalized them in many different ways. For example, we refer to a paper of Yang (see [2]). If satisfy
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ4_HTML.gif)
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ5_HTML.gif)
where the constant factor is the best possible.
Our generalization will include a general homogeneous kernel , where
, with
being nonconjugate parameters. The techniques that will be used in the proofs are mainly based on classical real analysis, especially on the well-known Hölder's inequality and on Fubini's theorem. The obtaining of the best possible constants in the case of nonconjugate parameters seems to be a very difficult problem and it remains still open.
Let us recall the definition of nonconjugate exponents (see [3]). Let and
be real parameters, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ6_HTML.gif)
and let and
, respectively, be their conjugate exponents, that is,
and
. Further, define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ7_HTML.gif)
and note that for all
and
values as in (1.6). In particular,
holds if and only if
, that is, only when
and
are mutually conjugate. Otherwise,
, and in such cases
and
will be referred to as nonconjugate exponents.
Considering ,
, and
as in (1.6) and (1.7), Hardy et al. [1], proved that there exists a constant
, dependent only on the parameters
and
, such that the following Hilbert-type inequality holds for all nonnegative functions
and
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ8_HTML.gif)
Conventions
Throughout this paper we suppose that all the functions are nonnegative and measurable, so that all integrals converge. We also introduce the following notations:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ9_HTML.gif)
and let be an area of unit sphere in
in view of
norm.
2. Main Results
Before presenting our idea and results, we repeat the notion of general nonconjugate exponents from [3]. Let be the real parameters which satisfy
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ10_HTML.gif)
Further, the parameters ,
are defined by the equations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ11_HTML.gif)
Since ,
, it is obvious that
,
. We define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ12_HTML.gif)
It is easy to deduce that . Also, we introduce the parameters
,
, defined by the relations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ13_HTML.gif)
In order to obtain our results we need to require
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ14_HTML.gif)
It is easy to see that the above conditions do not automatically apply (2.5). Further, it follows
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ15_HTML.gif)
Of course, if , then
; so the conditions (2.1)–(2.4) reduce to the case of conjugate parameters.
Results in this section will be based on the following general form of Hardy-Hilbert's inequality proven in [4]. All the measures are assumed to be -finite on some
measure space.
Theorem 2.1.
Let and
, be real numbers satisfying (2.1)–(2.5). Let
and
,
, be nonnegative measurable functions such that
. Then, for any nonnegative measurable functions
,
, the following inequalities hold and are equivalent:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ16_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ17_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ18_HTML.gif)
In the same paper the authors discussed the case of equality in inequalities (2.7) and (2.8). They proved that the equality holds in (2.7) (and analogously in (2.8)) if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ19_HTML.gif)
In the following theorem we give the most important case where , the measures
are Lebesgue measures,
is a nonnegative homogeneous function of degree
, and the functions
represent the form
where
,
. In order to obtain the generalizations of some known results we define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ20_HTML.gif)
where we suppose that for
and
.
Due to technical reasons, we introduce real parameters satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ21_HTML.gif)
We also define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ22_HTML.gif)
Theorem 2.2.
Let and
, be real numbers satisfying (2.1)–(2.5). Let
be nonnegative measurable homogeneous function of degree
,
, and let
and
be real parameters satisfying (2.12) and (2.13). If
,
,
are nonnegative measurable functions, then the following inequalities hold and are equivalent:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ23_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ24_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_IEq80_HTML.gif)
and .
Proof.
Set and
in Theorem 2.1, where
for every
. It is enough to calculate the functions
,
. By using the
-dimensional spherical coordinates we find
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ25_HTML.gif)
Using homogeneity of the function and the substitutions
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ26_HTML.gif)
Similarly, by applying the -dimensional spherical coordinates and homogeneity of the function
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ27_HTML.gif)
Using the change of variables
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ28_HTML.gif)
where denotes the Jacobian of the transformation, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ29_HTML.gif)
In a similar manner we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ30_HTML.gif)
for . This gives inequalities (2.14) with inequality sign
. Condition (2.10) immediately gives that nontrivial case of equality in (2.14) leads to the divergent integrals. This completes the proof.
Remark 2.3.
Note that the kernel is a homogeneous function of degree
In this case we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ31_HTML.gif)
where we used the well-known formula for gamma function (see, e.g., [5, Lemma ]). Now, by using Theorem 2.2 and (2.22) we obtain the result of Krnić et al. (see [6]).
3. The Best Possible Constants in the Conjugate Case
In this section we consider the inequalities in Theorem 2.2. In such a way we shall obtain the best possible constants for some general cases.
It follows easily that Theorem 2.2 in the conjugate case () becomes as follows.
Theorem 3.1.
Let and let
be conjugate parameters such that
Let
be nonnegative measurable homogeneous function of degree
,
, and let
and
be real parameters satisfying (2.12) and (2.13). If
,
,
are nonnegative measurable functions, then the following inequalities hold and are equivalent:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ32_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ33_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_IEq111_HTML.gif)
and .
To obtain a case of the best inequality it is natural to impose the following conditions on the parameters :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ34_HTML.gif)
In that case the constant from Theorem 3.1 is simplified to the following form:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ35_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ36_HTML.gif)
Further, by using (3.4) and (3.5), the inequalities (3.1) with the parameters satisfying the relation (3.3), become
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ37_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ38_HTML.gif)
Theorem 3.2.
Suppose that the real parameters satisfy conditions in Theorem 3.1 and conditions given in (3.3). If the kernel
is as in Theorem 3.1 and for every
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ39_HTML.gif)
for some , then the constant
is the best possible in inequalities (3.6) and (3.7).
Proof.
Let us suppose that the constant factor given by (3.4) is not the best possible in the inequality (3.6). Then, there exists a positive constant
, such that (3.6) is still valid when we replace
by
.
We define the real functions by the formulas
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ40_HTML.gif)
where . Now, we shall put these functions in inequality (3.6). By using the
-dimensional spherical coordinates, the right-hand side of the inequality (3.6) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ41_HTML.gif)
Further, let denotes the left-hand side of the inequality (3.6), for the above choice of the functions
By applying the
-dimensional spherical coordinates and the substitutions
we find
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ42_HTML.gif)
Now, it is easy to see that the following inequality holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ43_HTML.gif)
where for is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ44_HTML.gif)
satisfying Without losing generality, we only estimate the integral
For
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ45_HTML.gif)
and for we find
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ46_HTML.gif)
where is well defined since obviously
. Hence, we have
for
and consequently
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ47_HTML.gif)
We conclude, by using (3.10), (3.12), and (3.16), that which is an obvious contradiction. It follows that the constant
in (3.6) is the best possible.
Finally, the equivalence of the inequalities (3.6) and (3.7) means that the constant is also the best possible in the inequality (3.7). That completes the proof.
Remark 3.3.
If we put and
in the inequalities (3.6) and (3.7) applying Theorem 3.2, we obtain the result of Baoju Sun (see [7]). Further, by putting
in Theorems 3.1 and 3.2 we obtain appropriate results from [8]. More precisely, the inequality (3.6) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F130958/MediaObjects/13660_2009_Article_1890_Equ48_HTML.gif)
If the kernel and the parameters
satisfy the conditions from Theorem 3.2, then the constant
is the best possible. For example, setting
in the inequality (3.17), we obtain Yang's result (1.5) from introduction.
References
Hardy GH, Littlewood JE, Pólya G: Inequalities. 2nd edition. Cambridge University Press, Cambridge, UK; 1967.
Yang B: On a new multiple extension of Hilbert's integral inequality. Journal of Inequalities in Pure and Applied Mathematics 2005,6(2, article 39):1–8.
Bonsall FF: Inequalities with non-conjugate parameters. The Quarterly Journal of Mathematics 1951, 2: 135–150. 10.1093/qmath/2.1.135
Brnetić I, Krnić M, Pečarić J: Multiple Hilbert and Hardy-Hilbert inequalities with non-conjugate parameters. Bulletin of the Australian Mathematical Society 2005,71(3):447–457. 10.1017/S0004972700038454
Yang B, Rassias ThM: On the way of weight coefficient and research for the Hilbert-type inequalities. Mathematical Inequalities & Applications 2003,6(4):625–658.
Krnić M, Pečarić J, Vuković P: On some higher-dimensional Hilbert's and Hardy-Hilbert's integral inequalities with parameters. Mathematical Inequalities & Applications 2008,11(4):701–716.
Sun B: A multiple Hilbert-type integral inequality with the best constant factor. Journal of Inequalities and Applications 2007, 2007:-14.
Perić I, Vuković P: Hardy-Hilbert's inequality with general homogeneous kernel. Mathematical Inequalities & Applications 2009,12(3):525–536.
Acknowledgment
This research is supported by the Croatian Ministry of Science, Education and Sports, Grant no. 058-1170889-1050.
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
Vuković, P. Multidimensional Hilbert-Type Inequalities with a Homogeneous Kernel. J Inequal Appl 2009, 130958 (2009). https://doi.org/10.1155/2009/130958
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/130958