Abstract

Let be a homogeneous nonnegative function of order . By using the weight coefficient method, the equivalent parameter conditions and best constant factors for the validity of the following half-discrete Hilbert-type multiple integral inequality are discussed. Finally, its applications in operator theory are discussed.

1. Preliminaries

Suppose that . In this paper, it is always assumed that , For any given , we write

Let be a homogeneous nonnegative function of order . We call a generalized homogeneous function. Obviously, satisfies

We will discuss the equivalent parameter conditions for the validity of the half-discrete Hilbert-type multiple integral inequality with generalized homogeneous kernel and the optimal constant factors of the inequality under certain special conditions. Finally, the boundedness and norm of the corresponding series operator and integral operator are discussed. The relevant literature can be found in [1–16].

Lemma 1 (see [17]). Let be measurable. represents the region . Then,where is the Gamma function.
In view of Lemma 1, one has

Lemma 2. Assume that , is a homogeneous nonnegative measurable function of order , , , is monotonically decreasing on . DenoteThen,

Proof. According to , after a simple calculation, we have . Then,Hence, .
It follows from Lemma 1 thatNotice that is monotonically decreasing on ;we have

2. Main Results

Theorem 3. Suppose that , , is a homogeneous nonnegative measurable function of order , , and are monotonically decreasing on , andis convergent. Then,(i)The necessary and sufficient condition for the validity of inequalityfor some constant is , where (ii)When , that is, , the best constant factor of (11) is.

Proof. Denote . (i) Suppose that (11) holds. We prove that by using reduction to absurdity. If , for , takeIt follows from Lemma 1 thatSince is monotonically decreasing on , we haveIt follows from (11), (14), and (15) thatSince , then , which contradicts (16). Therefore, .
Suppose that . It follows from Hölder’s inequality and Lemma 2 thatTake arbitrarily; one can get (11).(ii)When , if (12) does not hold, then, there exists constant , such thatFor and are sufficiently small, takeThen,It follows from (19), (21), and (22) thatLet ; then,In addition, let ; we haveThis contradicts (18). Hence, (12) holds.