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
(1.1)
(1.2)
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:
(1.3)
and
(1.4)
where
(1.5)
and
(1.6)
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
(2.1)
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:
(2.2)
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:
(2.3)
and
(2.4)
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:
(2.5)
In the case when
,
,
, it follows that
. By using the substitutions
,
, the identity (2.2) and definition (2.1), we obtain the expression
(2.6)
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
(2.7)
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
:
(2.8)
In that case the constant factor from Theorem 2.1 is simplified to the following form:
(2.9)
where
and
(2.10)
Further, by using (2.8) and (2.9), inequalities (2.3) and (2.4) with the parameters
, satisfying (2.8), become
(2.11)
and
(2.12)
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 ,
(2.13)
where C is a positive constant.
Let the parameters ,
,
be defined by (2.10)
and .
Then we have (2.14)
where
(2.15)
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
(2.16)
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
(2.17)
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
(2.18)
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
(2.19)
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:
(2.20)
and
(2.21)
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]).