Abstract
The main objective of this paper is a study of some new multidimensional Hilbert-type inequalities with a general homogeneous kernel in the whole plane. We derive a pair of equivalent inequalities, and we also establish the conditions under which the constant factors included in the obtained inequalities are the best possible. Some applications in particular settings are also considered.
MSC:26D15.
Similar content being viewed by others
1 Introduction
Hilbert’s inequality is one of the most significant weighted inequalities in mathematical analysis and its applications. Through the years, Hilbert-type inequalities were discussed by numerous authors, who either reproved them using various techniques, or applied and generalized them in many different ways. For more details as regards Hilbert’s inequality the reader is referred to [1] or [2].
Although classical, Hilbert’s inequality and its generalizations and modifications are still of a great interest. Xin and Yang in [3] proved Hilbert-type inequalities with the homogeneous kernel of degree −2.
If , , , , , satisfying and , then we have
where the constant factors
and are the best possible. Inequalities (1.1) and (1.2) are equivalent.
Our main objective is to emphasize the previous result. Our generalization will include a multidimensional version of the Hilbert-type inequality in the whole plane.
Some of the recent results concerning Hilbert’s inequality include extension to multidimensional case, equipped with conjugate exponents , that is, , , (see [4–6]). Here we refer to [7], which provides a unified treatment of the multidimensional Hilbert-type inequality in the setting with conjugate exponents. Suppose are σ-finite measure spaces and , , , , are non-negative measurable functions. If , then the following inequalities hold and are equivalent:
and
where
and
The abbreviations as in (1.6) will be used throughout the whole paper. Also note that denotes the usual norm in , that is,
Our results will be based on the mentioned results of Yang et al. In what follows, without further explanation, we assume that all integrals exist on the respective domains of their definitions.
2 Main results
In this section we develop an unified treatment of the Hilbert and Hardy-Hilbert-type inequalities with general homogeneous kernel. Further, regarding the notations from the previous section, we assume that , equipped with the non-negative Lebesgue measures , . In addition, we have and .
Recall that the function is said to be homogeneous of degree −s, , if for all . Furthermore, for , we define
where , , and provided that the above integral converges. Note that the constant factor does not depend on the component . Thus, the component can be replaced with an arbitrary real number. This fact will sometimes be used in the sequel, for reasons of simpler notation. Further, by using the substitutions , , we obtain the following identity:
for , where we assume that the above integral converges.
Utilizing inequalities (1.3) and (1.4) we obtain the following theorem.
Theorem 2.1 Let , , be conjugate exponents and let , , be the real parameters such that , . If is a non-negative measurable homogeneous function of degree −λ, , , and , , are non-negative measurable functions, then the following inequalities hold and are equivalent:
and
where , , , , and , , is defined by (2.1).
Proof Rewrite inequality (1.3) for the functions , . Clearly, the set of the above defined power functions satisfies the condition
since .
Obviously, it is enough to calculate the functions , . Without loss of generality, we will take into account the function .
Now, when we express the function in terms of the integral formula (2.1), we will use the following identity:
In the case when , , , it follows that . By using the substitutions , , the identity (2.2) and definition (2.1), we obtain the expression
Now, from (2.5) and (2.6) we get
Similarly to the first part of the proof we obtain the identity
Finally, inequality (1.3) yields inequality (2.3). In the same way inequality (2.4) follows directly from (1.4). □
The main idea in obtaining the best possible constant factor in inequalities (2.3) and (2.4) is a reduction of the constant in the form without exponents, by an appropriate choice of the parameters , . For that reason, we assume
If we use the change of variables , which provides the Jacobian of the transformation
we have
According to (2.7), we have . In a similar manner we express , , in terms of . To obtain a case of the best inequality it is natural to impose the following conditions on the parameters :
In that case the constant factor from Theorem 2.1 is simplified to the following form:
where and
Further, by using (2.8) and (2.9), inequalities (2.3) and (2.4) with the parameters , satisfying (2.8), become
and
To prove the main result we need the next lemma.
Lemma 2.2 Let be a non-negative measurable homogeneous function of degree −λ, , such that for every ,
where C is a positive constant. Let the parameters , , be defined by (2.10) and . Then we have
where
Proof First, we define the integral , , by the formulas
where is defined by (2.15). Without loss of generality we only estimate the integral . By using homogeneity of the function K, the substitutions , , and the condition (2.13), we obtain
Hence, we have
for , , and consequently
In a similar manner we obtain inequality (2.16) when in the definition of the integral the space is replaced by . Finally, from (2.16) we get (2.15). □
Now, we are ready to state and prove the main result, concerning the best possible constant factor in inequalities (2.11) and (2.12).
Theorem 2.3 Let the kernel K and the parameters , , be defined as in Theorem 2.1. If the kernel K and the parameters satisfy the conditions (2.13) and (2.8), respectively, then the constant is the best possible in inequalities (2.11) and (2.12).
Proof Let us suppose that the constant factor given by (2.9) is not the best possible in inequality (2.11). Then there exists a positive constant , such that (2.11) is still valid when we replace by .
We define the real functions by the formulas
where . Now, we shall put these functions in inequality (2.11). Then the right-hand side of inequality (2.11) becomes
Further, let J denotes the left-hand side of inequality (2.11), for the above choice of the functions . Now, it is easy to see that the following inequality holds:
where , , , are defined by (2.15). By using the substitutions , , and Lemma 2.2 we obtain
where . From (2.11), (2.17), and (2.18) we get
Now, by letting we obtain which contradicts with the assumption . Thus, the constant is the best possible.
Finally, the equivalence of inequalities (2.11) and (2.12) means that the constant is also the best possible in inequality (2.12). That completes the proof. □
It is easy to see that the parameters , , defined by
satisfy the conditions (2.8).
Setting and the parameters , , in inequalities (2.11) and (2.12) we obtain the following result.
Corollary 2.4 Let , , be conjugate parameters such that , , and let . Let be non-negative measurable homogeneous function of degree −λ, , , satisfying condition (2.13). If , , are non-negative measurable functions, then the following inequalities hold and are equivalent:
and
where the constant
is the best possible in inequalities (2.20) and (2.21).
Remark 2.5 Note that , , , is a homogeneous function of degree −λ. In this case using Corollary 2.4 and the formula (see [8])
we obtain the best possible constant .
Remark 2.6 The kernel , , is homogeneous function of degree −2. By putting the kernel and the parameters and in inequalities (2.11) and (2.12) we obtain the result of Xin et al. (see also [3]).
References
Hardy GH, Littlewood JE, Pólya G: Inequalities. 2nd edition. Cambridge University Press, Cambridge; 1967.
Mitrinović DS, Pečarić J, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht; 1993.
Xin D, Yang B: A Hilbert-type integral inequality in the whole plane with the homogeneous kernel of degree −2. J. Inequal. Appl. 2011. Article ID 401428, 2011: Article ID 401428
Huang Q, Yang B: On a multiple Hilbert-type integral operator and applications. J. Inequal. Appl. 2009. Article ID 192197, 2009: Article ID 192197
Vuković P: Note on Hilbert-type inequalities. Turk. J. Math. 2011, 35: 1-10.
Krnić M, Pečarić J, Perić I, Vuković P: Recent Advances in Hilbert-Type Inequalities. Element, Zagreb; 2012.
Yang B, Brnetić I, Krnić M, Pečarić J: Generalization of Hilbert and Hardy-Hilbert integral inequalities. Math. Inequal. Appl. 2005,8(2):259-272.
Rassias TM, Yang B: On the way of weight coefficient and research for the Hilbert-type inequalities. Math. Inequal. Appl. 2003,6(2):625-658.
Acknowledgements
This research was supported under Research Grants 202339 and 058-1170889-1050.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Vuković, P. On a multidimensional version of the Hilbert-type inequality in the whole plane. J Inequal Appl 2014, 272 (2014). https://doi.org/10.1186/1029-242X-2014-272
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-272