- Research Article
- Open access
- Published:

# Hardy-Hilbert-Type Inequalities with a Homogeneous Kernel in Discrete Case

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 912601 (2010)

## Abstract

The main objective of this paper is a study of some new generalizations of Hilbert's and Hardy-Hilbert's type inequalities. We apply our general results to homogeneous functions. We shall obtain, in a similar way as Yang did in(2009), that the constant factors are the best possible when the parameters satisfy appropriate conditions.

## 1. Introduction

Hilbert and Hardy-Hilbert type inequalities (see [1]) are very significant weight inequalities which play an important role in many fields of mathematics. Although classical, such inequalities have attracted the interest of numerous mathematicians and have been generalized in many different ways. Also the numerous mathematicians reproved them using various techniques. Some possibilities of generalizing such inequalities are, for example, various choices of nonnegative measures, kernels, sets of integration, extension to multidimensional case, and so forth.

Similar inequalities, in operator form, appear in harmonic analysis where one investigates properties of boundedness of such operators. This is the reason why Hilbert's inequality is so popular and represents field of interest of numerous mathematicians: since Hilbert till nowadays.

We start with the following two discrete inequalities, which are the well-known Hilbert and Hardy-Hilbert type inequalities. More precisely, if such that and , then the following inequality holds (Hardy et al. [1]):

where the constant factor is the best possible. The equivalent form of inequality (1.1) is (see Yang and Debnath [2])

where the constant factor is still the best possible.

In this paper we refer to a recent paper of Yang (see [3]). In 2005, Yang [3] gave some extension of Hilbert's inequality with two pairs of conjugate exponents and two parameters as

where the constant factor is the best possible.

Let and Define a Hilbert-type linear operator for all one has

For define the formal inner product of and as

Zhong (see [4]) proved the following theorem.

Theorem.

Suppose that and are two pairs of conjugate exponents, If then one has the equivalent inequalities as

where the constant factor is the best possible.

Results in this paper will be based on the following general form of Hilbert's and Hardy-Hilbert's inequality proven in [5]. All the measures are assumed to be finite on some measure space . Let with be nonnegative functions. Then the following inequalities hold and are equivalent:

where

It is of great importance to consider the case when the functions and defined by (1.9), are bounded. More precisely, Krnić and Pečarić in [5] proved the following result.

Theorem.

Let with be nonnegative functions and where and are defined by (1.9). Then the following inequalities hold and are equivalent:

In this paper a generalization of Theorem 1.1 for a general type of homogeneous kernels is obtained. Recall that for a homogeneous function of degree , , equality is satisfied for every . Further, we define and suppose that for

In what follows, without further explanation, we assume that all series and integrals exist on the respective domains of their definitions.

## 2. Main Results

We apply Theorem 1.2 to obtain the following theorem.

Theorem.

Let with Let and be two nonnegative real sequences. If is homogeneous function of degree strictly decreasing in both parameters and then the following inequalities hold and are equivalent:

where and

Proof.

We use the inequalities (1.7), (1.8), and Theorem 1.2 with counting measure. First, we prove the inequality (2.1). Put and in the inequality (1.7). Then, we have

where and Since and the functions and are strictly decreasing, where we have

Using homogeneity of the functions and the substitution we get

In a similar manner we obtain

Now, the result follows from Theorem 1.2.

Remark.

Equality in the previous theorem is possible only if

for arbitrary constants and (see [5]). Condition (2.8) immediately gives that nontrivial case of equality in (2.1) and (2.2) leads to divergent series.

Now, we consider some special choice of the parameters and More precisely, let the parameters and satisfy constraint

Then, the constant from Theorem 2.1 becomes

Further, the inequalities (2.1) and (2.2) take form

In the following theorem we show, in a similar way as Yang did in [6], that if the parameters and satisfy condition (2.9), then one obtains the best possible constant. To prove this result we need the next lemma (see [6]).

Lemma.

If is decreasing in and strictly decreasing in a subinterval of and then

Theorem.

Let , and be defined as in Theorem 2.1. If the parameters and satisfy condition then the constants and in the inequalities (2.11) and (2.12) are the best possible.

Proof.

For this purpose, with , set and Now, let us suppose that there exists a smaller constant such that the inequality (2.11) is valid. Let denote the right-hand side of (2.11). Using Lemma 2.3, we have

Further, let denote the left-hand side of the inequality (2.11), for above choice of sequences and Applying, respectively, Lemma 2.3, Fubini's theorem, and substitution we have

From (2.11), (2.14), and (2.15) we get

By letting we obtain

Using symmetry of the function we have Now, from (2.17) we obtain a contradiction with assumption

Finally, equivalence of the inequalities (2.11) and (2.12) means that the constant is the best possible in the inequality (2.12). This completes the proof.

We proceed with some special homogeneous functions. Since the function is homogeneous of degree by using Theorem 2.4 we obtain the following.

Corollary.

Let Suppose that the parameters satisfy condition Then the following inequalities hold and are equivalent:

where the constant factors and are the best possible.

Remark.

If we put in Corollary 2.5, then the inequalities (2.18) become

where the constant factors , and are the best possible. For we obtain nonweighted case with the best possible constant Setting and in the inequalities (2.19) we obtain the inequalities (1.1) and (1.2) from Introduction.

Remark.

It is easy to see that Theorem 2.4 is the generalization of Theorem 1.1. Namely, let us define , and Note that the parameters satisfy condition Then, the best possible constant from Theorem 2.4 becomes from Theorem 1.1 (see also [4]).

Remark.

Similarly as in Corollary 2.5, for the homogeneous function of degree nonnegative real sequences and the parameters we have

where the constants and are the best possible.

Remark.

Let , and be defined as in Theorem 2.1. Take in the inequalities (2.11) and (2.12). By using Theorem 2.4 we get equivalent inequalities for general homogeneous kernel :

where the constant factors and are the best possible.

Setting in the inequalities (2.21) we obtain the result from [6]. Similarly, for above choice of the parameters , and we obtain Yang's result (1.3) from Introduction.

## References

Hardy GH, Littlewood JE, Pólya G:

*Inequalities*. 2nd edition. Cambridge University Press, Cambridge, UK; 1967.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.6295Yang B: On best extensions of Hardy-Hilbert's inequality with two parameters.

*Journal of Inequalities in Pure and Applied Mathematics*2005, 6(3, article 81):1–15.Zhong W: A Hilbert-type linear operator with the norm and its applications.

*Journal of Inequalities and Applications*2009, 2009:-18.Krnić M, Pečarić J: General Hilbert's and Hardy's inequalities.

*Mathematical Inequalities & Applications*2005, 8(1):29–52.Yang B: On a Hilbert-type operator with a class of homogeneous kernels.

*Journal of Inequalities and Applications*2009, 2009:-9.

## 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

Pečarić, J., Vuković, P. Hardy-Hilbert-Type Inequalities with a Homogeneous Kernel in Discrete Case.
*J Inequal Appl* **2010**, 912601 (2010). https://doi.org/10.1155/2010/912601

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/912601