• Research
• Open Access

# A survey on the study of Hilbert-type inequalities

Journal of Inequalities and Applications20152015:302

https://doi.org/10.1186/s13660-015-0829-7

• Received: 24 March 2015
• Accepted: 16 September 2015
• Published:

## Abstract

Hilbert-type inequalities are divided three parts: Hilbert’s inequalities (1908), Hardy-Hilbert-type inequalities (1934) and Yang-Hilbert-type inequalities (2009). In this paper, we give a summary of the development of the theory of Hilbert-type inequalities during the past 110 years.

## Keywords

• Hilbert-type inequality
• extension
• weight function
• equivalent form
• operator expression

• 26D15
• 47A07

## 1 Hilbert’s inequalities and the operator expressions

### 1.1 Hilbert’s inequalities

In 1908, Weyl  published the following inequality.

If $$\{a_{m}\}_{m=1}^{\infty}$$ and $$\{b_{n}\}_{n=1}^{\infty}$$ are real sequences, satisfying $$0<\sum_{m=1}^{\infty}a_{m}^{2}<\infty$$ and $$0<\sum_{n=1}^{\infty}b_{n}^{2}<\infty$$, then
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{m+n}< \pi \Biggl( \sum _{m=1}^{\infty}a_{m}^{2}\sum _{n=1}^{\infty}b_{n}^{2} \Biggr) ^{\frac{1}{2}},$$
(1)
where the constant factor π is the best possible.

We named (1) Hilbert’s inequality; it does not contain any parameter. The best possible property of the constant factor π was proved by Schur  in 1911. He also gave the following integral analog of (1) at the same time.

If $$f(x)$$ and $$g(y)$$ are measurable functions, such that $$0<\int_{0}^{\infty }f^{2}(x)\, dx<\infty$$ and $$0<\int_{0}^{\infty}g^{2}(y)\, dy<\infty$$, then
$$\int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{x+y}\,dx\,dy< \pi \biggl( \int_{0}^{\infty}f^{2}(x) \,dx\int_{0}^{\infty}g^{2}(y)\,dy \biggr) ^{\frac {1}{2}},$$
(2)
where the constant factor π is still the best possible.

We called (2) Hilbert’s integral inequality, which still does not contain any parameter. Inequalities (1) and (2) are important in analysis and its applications. We can find a number of improvements and extensions in the vast mathematics literature, especially in .

### 1.2 Hilbert’s operators

We may express inequality (1) by using the form of the operator as follows.

If $$l^{2}$$ is a space of real sequences, and $$T:l^{2}\rightarrow l^{2}$$ is a linear operator, for any $$a=\{a_{m}\}_{m=1}^{\infty}\in l^{2}$$, there exists a $$c=\{c_{n}\}_{n=1}^{\infty}\in l^{2}$$, satisfying
$$c_{n}=(Ta) (n)=\sum_{m=1}^{\infty} \frac{a_{m}}{m+n},\quad n\in\mathbf{N}=\{1,2,\ldots\}.$$
(3)
Hence for any $$b=\{b_{n}\}_{n=1}^{\infty}\in l^{2}$$, we may write the inner product of Ta and b as follows:
$$(Ta,b)=(c,b)=\sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}\frac {a_{m}}{m+n} \Biggr) b_{n}=\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{m+n}.$$
(4)
Expressing the norm of a as $$\|a\|_{2}=\{\sum_{n=1}^{\infty }a_{n}^{2}\}^{1/2}$$, in view of (4), inequality (1) may be rewritten as follows:
$$(Ta,b)< \pi\|a\|_{2}\|b\|_{2},$$
(5)
where $$\|a\|_{2},\|b\|_{2}>0$$. We may prove that T is a bounded operator and obtain the norm $$\|T\|=\pi$$ (cf. ). We call T Hilbert’s operator.
For $$\|a\|_{2}>0$$, the equivalent form of (5) is given as $$\|Ta\|_{2}<\pi\|a\|_{2}$$, e.t.
$$\sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}\frac{a_{m}}{m+n} \Biggr) ^{2}< \pi^{2}\sum_{m=1}^{\infty}a_{m}^{2},$$
(6)
where the constant factor $$\pi^{2}$$ is still the best possible. Obviously, inequalities (6) and (1) are equivalent (cf. ).

Similarly, if $$L^{2}(\mathbf{R}_{+})$$ is a space of real functions, we may define Hilbert’s integral operator $$\widetilde{T}:L^{2}(\mathbf {R}_{+})\rightarrow L^{2}(\mathbf{R}_{+})$$ as follows.

For any $$f\in L^{2}(\mathbf{R}_{+})$$, there exists a $$h=\widetilde {T}f\in L^{2}(\mathbf{R}_{+})$$, satisfying
$$(\widetilde{T}f) (y)=h(y)=\int_{0}^{\infty} \frac{f(x)}{x+y}\,dx,\quad y\in (0,\infty ).$$
(7)
Hence, for any $$g\in L^{2}(\mathbf{R}_{+})$$, we may still can indicate the inner product of T̃f and g as follows:
$$(\widetilde{T}f,g)=\int_{0}^{\infty} \biggl( \int _{0}^{\infty}\frac {f(x)}{x+y}\,dx \biggr) g(y)\,dy=\int _{0}^{\infty}\int_{0}^{\infty} \frac {f(x)g(y)}{x+y}\,dx\,dy.$$
(8)
Setting the norm of f as $$\|f\|_{2}= ( \int_{0}^{\infty }f^{2}(x)\,dx ) ^{\frac{1}{2}}$$, if $$\|f\|_{2},\|g\|_{2}>0$$, then (2) may be rewritten as follows:
$$(\widetilde{T}f,g)< \pi\|f\|_{2}\|g\|_{2}.$$
(9)
It follows that $$\|\widetilde{T}f\|=\pi$$ (cf. ), and then we have the equivalent form of (2) as $$\|\widetilde{T}f\|_{2}<\pi \|f|\|_{2}\|$$, e.t. (cf. ):
$$\int_{0}^{\infty} \biggl( \int_{0}^{\infty} \frac{f(x)}{x+y}\,dx \biggr) ^{2}\,dy< \pi^{2}\int _{0}^{\infty}f^{2}(x)\,dx,$$
(10)
where the constant factor $$\pi^{2}$$ is still the best possible. It is obvious that inequality (10) is the integral analog of (6).

### 1.3 A more accurate discrete Hilbert’s inequality

If we let the subscripts m, n of the double series go from 0 to infinity, then we may rewrite inequality (1) equivalently in the following form:
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{m+n+2}< \pi \Biggl( \sum _{m=0}^{\infty}a_{m}^{2}\sum _{n=0}^{\infty}b_{n}^{2} \Biggr) ^{\frac{1}{2}},$$
(11)
where the constant factor π is still the best possible. Obviously, we may raise the following question:
Is there a positive constant α (<2) that leaves the inequality still valid as we replace 2 by α in the kernel $$\frac{1}{m+n+2}?$$ The answer is positive. That is, we have the following more accurate Hilbert inequality (for short, Hilbert’s inequality) (cf. ):
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{m+n+1}< \pi \Biggl( \sum _{m=0}^{\infty}a_{m}^{2} \sum_{n=0}^{\infty}b_{n}^{2} \Biggr) ^{\frac{1}{2}},$$
(12)
where the constant factor π is the best possible.
Since for $$a_{m},b_{n}\geq0$$, $$\alpha\geq1$$,
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{m+n+\alpha }\leq \sum _{n=0}^{\infty}\sum_{m=0}^{\infty} \frac{a_{m}b_{n}}{m+n+1},$$
then by (12) and for $$\alpha\geq1$$, we have
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{m+n+\alpha }< \pi \Biggl( \sum _{m=0}^{\infty}a_{m}^{2} \sum_{n=0}^{\infty}b_{n}^{2} \Biggr) ^{\frac{1}{2}}.$$
(13)
For $$1\leq\alpha<2$$, inequality (13) is a refinement of (11). Obviously, we have a refinement of (6), which is equivalent to (13) as follows:
$$\sum_{n=0}^{\infty} \Biggl( \sum _{m=0}^{\infty}\frac{a_{m}}{m+n+\alpha} \Biggr) ^{2}< \pi^{2}\sum_{m=0}^{\infty}a_{m}^{2} \quad (1\leq\alpha< 2).$$
(14)
For $$0<\alpha<1$$, in 1936, Ingham  gave the following.
If $$\alpha\geq\frac{1}{2}$$, then
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}a_{n}}{m+n+\alpha }\leq \pi\sum _{m=0}^{\infty}a_{m}^{2};$$
(15)
if $$0<\alpha<\frac{1}{2}$$, then
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}a_{n}}{m+n+\alpha }\leq \frac{\pi}{\sin(\alpha\pi)} \sum_{m=0}^{\infty}a_{m}^{2}.$$
(16)
Note that if we set $$x=X+\frac{\alpha}{2}$$, $$y=Y+\frac{\alpha}{2}$$, $$F(X)=f(X+\frac{\alpha}{2})$$ and $$G(Y)=g(Y+\frac{\alpha}{2})$$ ($$\alpha \in \mathbf{R}=(-\infty,\infty)$$) in (2), then we obtain
$$\int_{-\frac{\alpha}{2}}^{\infty}\int_{-\frac{\alpha}{2}}^{\infty } \frac{F(X)G(Y)}{X+Y+\alpha}\, dX\, dY< \pi \biggl( \int_{-\frac{\alpha}{2}}^{\infty }F^{2}(X) \, dX\int_{-\frac{\alpha}{2}}^{\infty}G^{2}(Y)\, dY \biggr) ^{\frac {1}{2}}.$$
(17)
It is said that for $$\alpha\geq\frac{1}{2}$$, inequality (17) is an integral analog of (13) (for $$G=F$$) and for $$0<\alpha<\frac {1}{2}$$, (17) is not an integral analog of (13), since the two constant factors are different.

In recent years, by using the improved Euler-Maclaurin summation formula and introducing parameters, a few authors gave some more accurate Hilbert-type inequalities as (13) (cf. ).

## 2 Hardy-Hilbert-type inequalities with a pair of conjugate exponents

### 2.1 Hardy-Hilbert’s inequalities and the operator expressions

In 1925, by introducing one pair of conjugate exponents $$(p,q)$$ with $$\frac{1}{p}+\frac{1}{q}=1$$, Hardy  gave an extension of (1) as follows.

If $$p>1$$, $$a_{m},b_{n}\geq0$$, such that $$0<\sum_{m=1}^{\infty }a_{m}^{p}<\infty$$ and $$0<\sum_{n=1}^{\infty}b_{n}^{q}<\infty$$, then
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{m+n}< \frac {\pi}{\sin(\frac{\pi}{p})} \Biggl( \sum_{m=1}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}b_{n}^{q} \Biggr) ^{\frac{1}{q}},$$
(18)
where the constant factor $$\frac{\pi}{\sin(\pi/p)}$$ is the best possible.
The equivalent form of (18) is as follows:
$$\sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}\frac{a_{m}}{m+n} \Biggr) ^{p}< \biggl[ \frac{\pi}{\sin(\frac{\pi}{p})} \biggr] ^{p} \sum_{m=1}^{\infty }a_{m}^{p},$$
(19)
where the constant factor $$[\frac{\pi}{\sin(\pi/p)}]^{p}$$ is still the best possible.
In the same way, inequalities (12) and (14) (for $$\alpha=1$$) may be extended to the following equivalent forms (cf. ):
\begin{aligned}& \sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{m+n+1}< \frac {\pi}{\sin(\frac{\pi}{p})} \Biggl( \sum_{m=0}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=0}^{\infty}b_{n}^{q} \Biggr) ^{\frac{1}{q}}, \end{aligned}
(20)
\begin{aligned}& \sum_{n=0}^{\infty} \Biggl( \sum _{m=0}^{\infty}\frac{a_{m}}{m+n+1} \Biggr) ^{p}< \biggl[ \frac{\pi}{\sin(\frac{\pi}{p})} \biggr] ^{p}\sum _{m=0}^{\infty }a_{m}^{p}, \end{aligned}
(21)
where the constant factors $$\frac{\pi}{\sin(\pi/p)}$$ and $$[\frac{\pi }{\sin(\pi/p)}]^{p}$$ are the best possible. The equivalent integral analogs of (18) and (19) are given as follows:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{x+y}\,dx\,dy< \frac{\pi }{\sin(\frac{\pi}{p})} \biggl( \int_{0}^{\infty}f^{p}(x) \,dx \biggr) ^{\frac {1}{p}} \biggl( \int_{0}^{\infty}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(22)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty} \frac{f(x)}{x+y}\,dx \biggr) ^{p}\,dy< \biggl[ \frac{\pi}{\sin(\frac{\pi}{p})} \biggr] ^{p}\int_{0}^{\infty }f^{p}(x) \,dx, \end{aligned}
(23)
with the best possible constant factors. We call (18) Hardy-Hilbert’s inequality and call (22) Hardy-Hilbert’s integral inequality.

Inequality (20) may be expressed in the form of the operator as follows.

If $$l^{p}$$ is a space of real sequences, $$T_{p}:l^{p}\rightarrow l^{p}$$ is a linear operator, such that for any non-negative sequence $$a=\{a_{m}\}_{m=1}\in l^{p}$$, there exists a $$T_{p}a=c=\{c_{n}\} _{n=1}^{\infty }\in l^{p}$$, satisfying
$$c_{n}=(T_{p}a) (n)=\sum_{m=0}^{\infty} \frac{a_{m}}{m+n+1},\quad n\in\mathbf {N}_{0}=\mathbf{N}\cup \{0\}.$$
(24)
For any non-negative sequence $$b=\{b_{n}\}_{n=1}\in l^{q}$$, we can indicate the formal inner product of $$T_{p}a$$ and b as follows:
$$(T_{p}a,b)=\sum_{n=0}^{\infty} \Biggl( \sum_{m=0}^{\infty}\frac {a_{m}}{m+n+1} \Biggr) b_{n}=\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac {a_{m}b_{n}}{m+n+1}.$$
(25)
Setting the norm of a as $$\|a\|_{p}= ( \sum_{n=0}^{\infty }|a_{n}|^{p} ) ^{\frac{1}{p}}$$, then inequality (20) may be rewritten as follows:
$$(T_{p}a,b)< \frac{\pi}{\sin(\frac{\pi}{p})}\|a\|_{p}\|b \|_{q},$$
(26)
where $$\|a\|_{p},\|b\|_{q}>0$$. We call $$T_{p}$$ Hardy-Hilbert’s operator.

Similarly, if $$L^{p}(\mathbf{R}_{+})$$ is a space of real functions, we may define the following Hardy-Hilbert’s integral operator $$\widetilde {T}_{p}: L^{p}(\mathbf{R}_{+})\rightarrow L^{p}(\mathbf{R}_{+})$$ as follows.

For any $$f\ (\geq0)\in L^{p}(\mathbf{R}_{+})$$, there exists a $$h=\widetilde{T}_{p}f\in L^{p}(\mathbf{R}_{+})$$, satisfying
$$(\widetilde{T}_{p}f) (y)=h(y)=\int_{0}^{\infty} \frac{f(x)}{x+y}\,dx,\quad y\in \mathbf{R}_{+}.$$
(27)
For any $$g\ (\geq0)\in L^{q}(\mathbf{R}_{+})$$, we can indicate the formal inner product of $$\widetilde{T}_{p}f$$ and g as follows:
$$(\widetilde{T}_{p}f,g)=\int_{0}^{\infty} \int_{0}^{\infty}\frac {f(x)g(y)}{x+y}\,dx\,dy.$$
(28)
Setting the norm of f as $$\|f\|_{p}= ( \int_{0}^{\infty }|f(x)|^{p}\,dx ) ^{\frac{1}{p}}$$, then inequality (22) may be rewritten as follows:
$$(\widetilde{T}_{p}f,g)< \frac{\pi}{\sin(\frac{\pi}{p})}\|f\|_{p}\|g \|_{q}.$$
(29)

### 2.2 Some kinds of Hardy-Hilbert-type inequalities

(1) For $$(p,q)$$ not being a pair of conjugate exponents, we have the following results (cf. , Theorem 339).

If $$p>1$$, $$q>1$$, $$\frac{1}{p}+\frac{1}{q}\geq1$$, $$0<\lambda=2-(\frac {1}{p}+\frac{1}{q})\leq1$$, then
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac {a_{m}b_{n}}{(m+n)^{\lambda}}\leq K \Biggl( \sum_{m=1}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}b_{n}^{q} \Biggr) ^{\frac{1}{q}},$$
(30)
where $$K=K(p,q)$$ relates to p, q, only for $$\frac{1}{p}+\frac{1}{q}=1$$, $$\lambda=2-(\frac{1}{p}+\frac{1}{q})=1$$, the constant factor K is the best possible.
The integral analogs of (30) are given as follows:
$$\int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{(x+y)^{\lambda}}\,dx\,dy\leq K \biggl( \int_{0}^{\infty}f^{p}(x) \,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{0}^{\infty}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}.$$
(31)
We also find an extension of (31) as follows (cf. ).
If $$p>1$$, $$q>1$$, $$\frac{1}{p}+\frac{1}{q}>1$$, $$0<\lambda=2-(\frac{1}{p}+\frac {1}{q})<1$$, then
$$\int_{-\infty}^{\infty}\int_{-\infty}^{\infty} \frac{f(x)g(y)}{|x+y|^{\lambda}}\,dx\,dy\leq k(p,q) \biggl( \int_{-\infty}^{\infty }f^{p}(x) \,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{-\infty}^{\infty }g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}.$$
(32)
For $$f(x)=g(x)=0$$, $$x\in(-\infty,0]$$, inequality (32) reduces to (31). Levin  also studied the expression forms of the constant factors in (30) and (31). But he did not prove their best possible property. In 1951, Bonsall  considered the case of (31) as regards the general kernel.
(2) If $$p>1$$, $$\frac{1}{p}+\frac{1}{q}=1$$, $$h(t)>0$$, $$\phi(s)=\int_{0}^{\infty }h(t)t^{s-1}\, dt\in\mathbf{R}_{+}$$, $$f(x),g(y)\geq0$$, then we have the following integral inequalities with the non-homogeneous kernel (cf. , Theorem 350):
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty}h(xy)f(x)g(y) \,dx\,dy \\& \quad < \phi\biggl(\frac{1}{p}\biggr) \biggl( \int_{0}^{\infty}x^{p-2}f^{p}(x) \,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{0}^{\infty}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(33)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty}h(xy)f(x) \,dx \biggr) ^{p}\,dy< \phi ^{p}\biggl(\frac{1}{p} \biggr)\int_{0}^{\infty}x^{p-2}f^{p}(x) \,dx, \end{aligned}
(34)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty}h(xy)f(x) \,dx \biggr) ^{p}\,dy< \phi ^{p}\biggl(\frac{1}{p} \biggr)\int_{0}^{\infty}x^{p-2}f^{p}(x) \,dx, \end{aligned}
(35)
\begin{aligned}& \int_{0}^{\infty}y^{p-2} \biggl( \int _{0}^{\infty}h(xy)f(x)\,dx \biggr) ^{p}\,dy< \phi^{p}\biggl(\frac{1}{q}\biggr)\int_{0}^{\infty}f^{p}(x) \,dx, \end{aligned}
(36)
where the integrals on the right-hand side are positive. The authors did not proved that the above constant factors are the best possible.
(3) If $$p>1$$, $$\frac{1}{p}+\frac{1}{q}=1$$, $$h(t)>0$$ is decreasing with respect to $$t>0$$, $$\phi(s)=\int_{0}^{\infty}h(t)t^{s-1}\, dt\in\mathbf{R}_{+}$$, $$f(x),a_{n}\geq0$$, then we have the following half-discrete inequalities (cf. , Theorem 351):
\begin{aligned}& \int_{0}^{\infty} \Biggl( \sum _{n=1}^{\infty}h(nx)a_{n} \Biggr) ^{p}\,dx< \phi ^{p}\biggl(\frac{1}{p}\biggr)\sum _{n=1}^{\infty}n^{p-2}a_{n}^{p}, \end{aligned}
(37)
\begin{aligned}& \sum_{n=1}^{\infty} \biggl( \int _{0}^{\infty}h(nx)f(x)\,dx \biggr) ^{p}< \phi ^{p}\biggl(\frac{1}{p}\biggr)\int_{0}^{\infty}x^{p-2}f^{p}(x) \,dx, \end{aligned}
(38)
\begin{aligned}& \int_{0}^{\infty}x^{p-2} \Biggl( \sum _{n=1}^{\infty}h(nx)a_{n} \Biggr) ^{p}\,dx< \phi^{p}\biggl(\frac{1}{q}\biggr)\sum _{n=1}^{\infty}a_{n}^{p}, \end{aligned}
(39)
\begin{aligned}& \sum_{n=1}^{\infty}n^{p-2} \biggl( \int_{0}^{\infty}h(nx)f(x)\,dx \biggr) ^{p}< \phi^{p}\biggl(\frac{1}{q}\biggr)\int_{0}^{\infty}f^{p}(x) \,dx, \end{aligned}
(40)
where the integrals and series on the right-hand side are positive. The authors also did not prove that the above constant factors are the best possible.

### 2.3 Hardy-Hilbert-type inequalities with the general homogeneous kernel of degree −1

If $$\alpha\in\mathbf{R,}$$ the function $$k(x,y)$$ is measurable in $$\mathbf{R}_{+}^{2}$$, satisfying for any $$x,y,u>0$$, $$k(ux,uy)=u^{\alpha }k(x,y)$$, then we call $$k(x,y)$$ the homogeneous function of degree α.

In 1934, Hardy et al. published the following theorem (cf. , Theorem 318 and Theorem 319).

Suppose that $$p>1$$, $$\frac{1}{p}+\frac{1}{q}=1$$, $$k_{1}(x,y)$$ (≥0) is a homogeneous function of degree −1 in $$\mathbf{R}_{+}^{2}$$. If $$k_{p}=\int_{0}^{\infty}k_{1}(u,1)u^{-\frac{1}{p}}\, du$$ is finite, then we have $$k_{p}=\int_{0}^{\infty}k_{1}(1,u)u^{-\frac{1}{q}}\, du$$ and the following equivalent inequalities:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty}k_{1}(x,y)f(x)g(y) \,dx\,dy \\& \quad \leq k_{p} \biggl( \int_{0}^{\infty}f^{p}(x) \,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{0}^{\infty }g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(41)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty}k_{1}(x,y)f(x) \,dx \biggr) ^{p}\,dy\leq k_{p}^{p}\int _{0}^{\infty}f^{p}(x)\,dx, \end{aligned}
(42)
where the constant $$k_{p}$$ is the best possible.
Moreover, if both $$k_{1}(u,1)u^{\frac{-1}{p}}$$ and $$k_{1}(1,u)u^{\frac {-1}{q}}$$ are decreasing in $$\mathbf{R}_{+}$$, then we have the following equivalent forms:
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}k_{1}(m,n)a_{m}b_{n} \leq k_{p} \Biggl( \sum_{m=1}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty }b_{n}^{q} \Biggr) ^{\frac{1}{q}}, \end{aligned}
(43)
\begin{aligned}& \sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}k_{1}(m,n)a_{m} \Biggr) ^{p}\leq k_{p}^{p}\sum _{n=1}^{\infty}a_{n}^{p}. \end{aligned}
(44)

For $$0< p<1$$, if $$k_{p}$$ is finite, then we have the reverses of (41) and (42). (Note that we have not seen any proof of (41) and (42), and the reverse examples in the book .)

We name $$k_{1}(x,y)$$ the kernel of (41) and (42). If all the integrals and series in the right-hand side of inequalities (41)-(44) are positive, then we can get the following particular examples (cf. ):

(i) For $$k_{1}(x,y)=\frac{1}{x+y}$$, (41)-(44) deduce to (22), (23), (18), and (19).

(ii) For $$k_{1}(x,y)=\frac{1}{\max\{x,y\}}$$, (41)-(44) deduce to the following two pairs of equivalent forms:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{\max\{x,y\}}\,dx\,dy< pq \biggl( \int_{0}^{\infty}f^{p}(x) \,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{0}^{\infty}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(45)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty} \frac{f(x)}{\max\{x,y\}}\,dx \biggr) ^{p}\,dy< (pq)^{p} \int_{0}^{\infty}f^{p}(x)\,dx; \end{aligned}
(46)
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{\max\{m,n\}}< pq \Biggl( \sum_{m=1}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}b_{n}^{q} \Biggr) ^{\frac{1}{q}}, \end{aligned}
(47)
\begin{aligned}& \sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}\frac{a_{m}}{\max\{m,n\} } \Biggr) ^{p}< (pq)^{p}\sum_{n=1}^{\infty}a_{n}^{p}. \end{aligned}
(48)
(iii) For $$k_{1}(x,y)=\frac{\ln(x/y)}{x-y}$$, (41)-(44) deduce to the following two pairs of equivalent forms:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{\ln(\frac {x}{y})f(x)g(y)}{x-y}\,dx\,dy \\& \quad < \biggl[ \frac{\pi}{\sin(\frac{\pi}{p})} \biggr] ^{2} \biggl( \int _{0}^{\infty}f^{p}(x)\,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{0}^{\infty }g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(49)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty} \frac{\ln(\frac {x}{y})f(x)}{x-y}\,dx \biggr) ^{p}\,dy< \biggl[ \frac{\pi}{\sin(\frac{\pi}{p})} \biggr] ^{2p}\int_{0}^{\infty}f^{p}(x) \,dx; \end{aligned}
(50)
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{\ln(\frac {m}{n})a_{m}b_{n}}{m-n}< \biggl[ \frac{\pi}{\sin(\frac{\pi}{p})} \biggr] ^{2} \Biggl( \sum _{m=1}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty }b_{n}^{q} \Biggr) ^{\frac{1}{q}}, \end{aligned}
(51)
\begin{aligned}& \sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}\frac{\ln(\frac {m}{n})a_{m}}{m-n} \Biggr) ^{p}< \biggl[ \frac{\pi}{\sin(\frac{\pi}{p})} \biggr] ^{2p}\sum _{n=1}^{\infty}a_{n}^{p}. \end{aligned}
(52)
Note that the constant factors in the above inequalities are all the best possible. We call (47) and (51) Hardy-Littlewood-Polya’s inequalities, or H-L-P inequalities. We find that the kernels in the above inequalities are all decreasing. But this is not necessary. For example, we find the following two pairs of equivalent forms with the non-decreasing kernel (cf. [21, 22]):
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{|\ln(\frac {x}{y})|f(x)g(y)}{\max\{x,y\}}\,dx\,dy \\ & \quad < \bigl(p^{2}+q^{2}\bigr) \biggl( \int _{0}^{\infty}f^{p}(x)\,dx \biggr) ^{\frac{1}{p} } \biggl( \int_{0}^{\infty}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(53)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty} \frac{|\ln(\frac {x}{y})|f(x)}{\max\{x,y\}}\,dx \biggr) ^{p}\,dy< \bigl(p^{2}+q^{2} \bigr)^{p}\int_{0}^{\infty}f^{p}(x) \,dx; \end{aligned}
(54)
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{|\ln(\frac {m}{n})|a_{m}b_{n}}{\max\{m,n\}}< \bigl(p^{2}+q^{2} \bigr) \Biggl( \sum_{m=1}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}b_{n}^{q} \Biggr) ^{\frac{1}{q}}, \end{aligned}
(55)
\begin{aligned}& \sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}\frac{|\ln(\frac {m}{n})|a_{m}}{\max\{m,n\}} \Biggr) ^{p}< \bigl(p^{2}+q^{2}\bigr)^{p}\sum _{n=1}^{\infty}a_{n}^{p}, \end{aligned}
(56)
where the constant factors $$p^{2}+q^{2}$$ and $$(p^{2}+q^{2})^{p}$$ are the best possible.
Other inequalities of this type with the best constants are provided as follows (cf. [23, 24]):
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{|\ln(\frac {x}{y})|f(x)g(y)}{x+y}\,dx\,dy \\& \quad < c_{0}(p) \biggl( \int_{0}^{\infty}f^{p}(x) \,dx \biggr) ^{\frac {1}{p}} \biggl( \int_{0}^{\infty}g^{p}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(57)
\begin{aligned}& \int_{0}^{\infty} \biggl( \int_{0}^{\infty} \frac{|\ln(\frac {x}{y})|f(x)}{x+y}\,dx \biggr) ^{p}\,dy< c_{0}^{p}(p) \int_{0}^{\infty}f^{p}(x)\,dx; \end{aligned}
(58)
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{|\ln(\frac {m}{n})|a_{m}b_{n}}{m+n}< c_{0}(2) \Biggl( \sum_{m=1}^{\infty}a_{m}^{2} \sum_{n=1}^{\infty }b_{n}^{2} \Biggr) ^{\frac{1}{2}}, \end{aligned}
(59)
\begin{aligned}& \sum_{n=1}^{\infty} \Biggl( \sum _{m=1}^{\infty}\frac{|\ln(\frac {m}{n})|a_{m}}{m+n} \Biggr) ^{2}< c_{0}^{2}(2)\sum _{n=1}^{\infty}a_{n}^{2}, \end{aligned}
(60)
where the constant factor $$c_{0}(p)$$ is indicated by
$$c_{0}(p)=2\sum_{n=1}^{\infty}(-1)^{n-1} \biggl[ \frac{1}{(n-\frac {1}{p})^{2}}-\frac{1}{(n-\frac{1}{q})^{2}} \biggr] .$$

### 2.4 Two multiple Hardy-Hilbert-type inequalities with the homogeneous kernels of degree $$-n+1$$

Suppose $$n\in\mathbf{N}\backslash\{1\}$$, n numbers $$p,q,\ldots,r$$ satisfying $$p,q,\ldots,r>1$$, $$p^{-1}+q^{-1}+\cdots+r^{-1}=1$$, $$k(x,y,\ldots,z)\geq0$$ is a homogeneous function of degree $$-n+1$$. If
$$k=\int_{0}^{\infty}\int_{0}^{\infty} \cdots\int_{0}^{\infty }k(1,y,\ldots ,z)y^{-\frac{1}{q}} \cdots z^{-\frac{1}{r}}\,dy\cdots \,dz$$
is a finite number, $$f,g,\ldots, h$$ are non-negative measurable functions in $$\mathbf{R}_{+}$$, then we have the following multiple Hilbert-type integral inequality (cf. , Theorem 322):
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \cdots\int_{0}^{\infty }k(x,y,\ldots ,z)f(x)g(y)\cdots h(z)\,dx\,dy\cdots \,dz \\& \quad \leq k \biggl( \int_{0}^{\infty}f^{p}(x) \,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{0}^{\infty}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}\cdots \biggl( \int_{0}^{\infty}h^{r}(z) \,dz \biggr) ^{\frac{1}{r}}. \end{aligned}
(61)
Moreover, if $$a_{m},b_{n},\ldots,c_{s}\geq0$$, $$k(1,y,\ldots ,z)x^{0}y^{-\frac{1}{q}}\cdots z^{-\frac{1}{r}}$$, $$k(x,1,\ldots,z)\times x^{-\frac {1}{p}}y^{0}\cdots z^{-\frac{1}{r}}$$, … , $$k(x,y,\ldots,1)x^{-\frac {1}{p}}y^{-\frac{1}{q}}\cdots z^{0}$$ are all decreasing with respect to any single variable in $$\mathbf{R}_{+}$$, then we have
\begin{aligned}& \sum_{s=1}^{\infty}\cdots\sum _{n=1}^{\infty}\sum_{m=1}^{\infty }k(m,n, \ldots,s)a_{m}b_{n}\cdots c_{s} \\& \quad \leq k \Biggl( \sum_{m=1}^{\infty}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}b_{n}^{q} \Biggr) ^{\frac{1}{q}}\cdots \Biggl( \sum_{s=1}^{\infty}c_{s}^{r} \Biggr) ^{\frac{1}{r}}. \end{aligned}
(62)

For $$n=2$$, inequalities (61) and (62) reduce, respectively, to (41) and (43).

## 3 Modern research for Hilbert’s inequalities and Hardy-Hilbert’s inequalities

### 3.1 Modern research for Hilbert’s integral inequality

(1) In 1979, based on an improvement of Hölder’s inequality, Hu  gave a refinement of (2) (for $$f=g$$) as follows:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)f(y)}{x+y}\,dx\,dy \\& \quad < \pi \biggl[ \biggl( \int_{0}^{\infty}f^{2}(x) \,dx \biggr) ^{2}-\frac {1}{4} \biggl( \int _{0}^{\infty}f^{2}(x)\cos\sqrt{x}\,dx \biggr) ^{2} \biggr] ^{\frac{1}{2}}. \end{aligned}
(63)
Since then, he published many interesting results similar to (63) (cf. ).

(2) In 1998, Pachpatte  gave an inequality similar to (2) as follows.

For $$a,b>0$$,
\begin{aligned}& \int_{0}^{a}\int_{0}^{b} \frac{f(x)g(y)}{x+y}\,dx\,dy \\& \quad < \frac{\sqrt{ab}}{2} \biggl[ \int_{0}^{a}(a-x)f^{\prime 2}(x) \,dx\int_{0}^{b}(b-y)g^{\prime2}(y)\,dy \biggr] ^{\frac{1}{2}}. \end{aligned}
(64)
Some improvements and extensions were made by Zhao et al. . We can find other work of Pachpatte in .
(3) In 1998, by introducing parameters $$\lambda\in(0,1]$$ and $$a,b\in \mathbf{R}_{+}$$ ($$a< b$$), Yang  gave an extension of (2) as follows:
\begin{aligned}& \int_{a}^{b}\int_{a}^{b} \frac{f(x)g(y)}{(x+y)^{\lambda}}\,dx\,dy \\& \quad < B\biggl(\frac{\lambda}{2},\frac{\lambda}{2}\biggr) \biggl[ 1-\biggl( \frac{a}{b}\biggr)^{\frac {\lambda}{4}} \biggr] \biggl( \int_{a}^{b}x^{1-\lambda }f^{2}(x) \,dx\int_{a}^{b}y^{1-\lambda}g^{2}(y) \,dy \biggr) ^{\frac{1}{2}}, \end{aligned}
(65)
where $$B(u,v)$$ is the beta function. In 1999, Kuang  gave another extension of (2) as follows.
For $$\lambda\in(\frac{1}{2},1]$$,
$$\int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)f(y)}{x^{\lambda }+y^{\lambda}}\,dx\,dy< \frac{\pi}{\lambda\sin(\frac{\pi}{2\lambda})} \biggl( \int_{0}^{\infty}f^{2}(x) \,dx\int_{0}^{\infty}g^{2}(y)\,dy \biggr) ^{\frac {1}{2}}.$$
(66)
We can find other work of Kuang in  and .
(4) In 1999, by using the methods of algebra and analysis, Gao  gave an improvement of (2) as follows:
$$\int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)f(y)}{x+y}\,dx\,dy< \pi\sqrt {1-R} \biggl( \int _{0}^{\infty}f^{2}(x)\,dx\int _{0}^{\infty}g^{2}(y)\,dy \biggr) ^{\frac{1}{2}},$$
(67)
where $$R=\frac{1}{\pi}(\frac{u}{\|g\|}-\frac{v}{\|f\|})^{2}$$, $$u=\sqrt {\frac{2}{\pi}}(g,e)$$, $$v=\sqrt{2\pi}(f,e^{-x})$$, $$e(y)=\int_{0}^{\infty}\frac {e^{x}}{x+y}\,dx$$. We can find other work of Gao and Hsu in .
(5) In 2002, by using the operator theory, Zhang  gave an improvement of (2) as follows:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{x+y}\,dx\,dy \\& \quad \leq \frac{\pi}{\sqrt{2}} \biggl[ \int_{0}^{\infty }f^{2}(x) \,dx\int_{0}^{\infty}g^{2}(y)\,dy+ \biggl( \int_{0}^{\infty }f(x)g(x)\,dx \biggr) ^{2} \biggr] ^{\frac{1}{2}}. \end{aligned}
(68)

### 3.2 On the way of weight coefficients for giving a strengthened version of Hilbert’s inequality

In 1991, for giving an improvement of (1), Hsu and Wang  raised the way of weight coefficient as follows.

At first, by using Cauchy’s inequality in the left-hand side of (1), it follows:
\begin{aligned} I =&\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{m+n}=\sum _{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{m+n} \biggl[ \biggl(\frac {m}{n}\biggr)^{\frac{1}{4}}a_{m} \biggr] \biggl[ \biggl(\frac{n}{m}\biggr)^{\frac{1}{4}}b_{n} \biggr] \\ \leq& \Biggl\{ \sum_{m=1}^{\infty} \Biggl[ \sum_{n=1}^{\infty}\frac {1}{m+n} \biggl( \frac{m}{n} \biggr) ^{\frac{1}{2}} \Biggr] a_{m}^{2} \sum_{n=1}^{\infty} \Biggl[ \sum _{m=1}^{\infty}\frac{1}{m+n} \biggl( \frac{m}{n} \biggr) ^{\frac{1}{2}} \Biggr] b_{n}^{2} \Biggr\} ^{\frac{1}{2}}. \end{aligned}
(69)
Then define the weight coefficient
$$\omega(n):=\sum_{m=1}^{\infty} \frac{1}{m+n} \biggl( \frac{m}{n} \biggr) ^{\frac{1}{2}},\quad n\in \mathbf{N},$$
(70)
and rewrite (69) as follows:
$$I\leq \Biggl( \sum_{m=1}^{\infty} \omega(m)a_{m}^{2}\sum_{n=1}^{\infty } \omega(n)b_{n}^{2} \Biggr) ^{\frac{1}{2}}.$$
(71)
Afterwards, setting
$$\omega(n)=\pi-\frac{\theta(n)}{n^{1/2}},\quad n\in\mathbf{N},$$
(72)
where $$\theta(n)=(\pi-\omega(n))n^{1/2}$$, and estimating the series of $$\theta(n)$$, it follows that
$$\theta(n)= \Biggl[ \pi-\sum_{m=1}^{\infty} \frac{1}{m+n}\biggl(\frac {m}{n}\biggr)^{\frac{1}{2}} \Biggr] n^{1/2}>\theta=1.1213^{+}.$$
(73)
Then by (72), it yields
$$\omega(n)< \pi-\frac{\theta}{n^{1/2}},\quad n\in\mathbf{N},\theta=1.1213^{+}.$$
(74)
In view of (71), a strengthened version of (1) is given as follows:
$$I< \Biggl[ \sum_{m=1}^{\infty} \biggl( \pi- \frac{\theta}{m^{1/2}} \biggr) a_{m}^{2}\sum _{n=1}^{\infty} \biggl( \pi-\frac{\theta}{n^{1/2}} \biggr) b_{n}^{2} \Biggr] ^{\frac{1}{2}}.$$
(75)

Hsu also raised the open problem of obtaining the best value of (75). In 1992, Gao  gave the best value $$\theta_{0}=1.281669^{+}$$.

Still in 1991, by using the above method, a strengthened version of (8) was given by  as follows:
\begin{aligned} I < & \Biggl\{ \sum_{m=1}^{\infty} \biggl[ \frac{\pi}{\sin(\frac{\pi }{p})}-\frac{p-1}{m^{1/p}+m^{-1/q}} \biggr] a_{m}^{p} \Biggr\} ^{\frac{1}{p}} \\ &{}\times \Biggl\{ \sum_{n=1}^{\infty} \biggl[ \frac{\pi}{\sin(\frac{\pi }{p})}-\frac{q-1}{n^{1/q}+n^{-1/p}} \biggr] b_{n}^{q} \Biggr\} ^{\frac{1}{q}}. \end{aligned}
(76)
In 1997, by using the method of weight coefficients and the improved Euler-Maclaurin summation formula, Yang and Gao  gave
$$I < \Biggl\{ \sum_{m=1}^{\infty} \biggl[ \frac{\pi}{\sin(\frac{\pi }{p})}-\frac{1-\gamma}{m^{1/p}} \biggr] a_{m}^{p} \Biggr\} ^{\frac{1}{p}} \Biggl\{ \sum_{n=1}^{\infty} \biggl[ \frac{\pi}{\sin(\frac{\pi }{p})}-\frac{1-\gamma}{n^{1/q}} \biggr] b_{n}^{q} \Biggr\} ^{\frac{1}{q}},$$
(77)
where $$1-\gamma=0.42278433^{+}$$ (γ is the Euler constant). We can find similar work in Gao and Yang .

In 1998, Yang and Debnath  gave another, strengthened, version of (8), which is an improvement of (76). We can find some strengthened versions of (12) and (20) in .

### 3.3 Hilbert’s inequalities and Hardy-Hilbert’s inequalities with independent parameters

In 1998, by using the optimized weight coefficients and introducing an independent parameter $$\lambda\in(0,1]$$, Yang  gave an extension of (2) as follows.

If $$0<\int_{0}^{\infty}x^{1-\lambda}f^{2}(x)\,dx<\infty$$ and $$0<\int_{0}^{\infty}y^{1-\lambda}g^{2}(y)\,dy<\infty$$, then
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{(x+y)^{\lambda}}\,dx\,dy \\& \quad < B\biggl(\frac{\lambda}{2},\frac{\lambda}{2}\biggr) \biggl( \int _{0}^{\infty }x^{1-\lambda}f^{2}(x)\,dx\int _{0}^{\infty}y^{1-\lambda }g^{2}(y)\,dy \biggr) ^{\frac{1}{2}}, \end{aligned}
(78)
where the constant factor $$B(\frac{\lambda}{2},\frac{\lambda}{2})$$ is the best possible. The proof about the best possible property of the constant factor was given by , and the expressions of the beta function $$B(u,v)$$ are given in Wang and Guo :
\begin{aligned} B(u,v) =&\int_{0}^{\infty}\frac{t^{u-1}\, dt}{(1+t)^{u+v}}= \int_{0}^{1}(1-t)^{u-1}t^{v-1}\, dt \\ =&\int_{1}^{\infty}\frac{(t-1)^{u-1}\, dt}{t^{u+v}}\quad (u,v>0). \end{aligned}
(79)
Some extensions of (18), (20), and (22) were given by  as follows.
If $$\lambda>2-\min\{p,q\}$$, then
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{(x+y)^{\lambda}}\,dx\,dy \\& \quad < B \biggl( \frac{p+\lambda-2}{p},\frac{q+\lambda-2}{q} \biggr) \biggl( \int _{0}^{\infty}x^{1-\lambda}f^{p}(x)\,dx \biggr) ^{\frac {1}{p}} \biggl( \int_{0}^{\infty}y^{1-\lambda}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}; \end{aligned}
(80)
if $$2-\min\{p,q\}<\lambda\leq2$$, then
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac {a_{m}b_{n}}{(m+n)^{\lambda}} \\& \quad < B \biggl( \frac{p+\lambda-2}{p},\frac{q+\lambda-2}{q} \biggr) \Biggl( \sum _{m=1}^{\infty}m^{1-\lambda}a_{m}^{p} \Biggr) ^{\frac {1}{p}} \Biggl( \sum_{n=1}^{\infty}n^{1-\lambda}b_{n}^{q} \Biggr) ^{\frac{1}{q}}, \end{aligned}
(81)
\begin{aligned}& \sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac {a_{m}b_{n}}{(m+n+1)^{\lambda}} \\& \quad < B \biggl( \frac{p+\lambda-2}{p},\frac{q+\lambda-2}{q} \biggr) \Biggl[ \sum _{m=0}^{\infty} \biggl( m+\frac{1}{2} \biggr) ^{1-\lambda }a_{m}^{p} \Biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=0}^{\infty} \biggl( n+ \frac{1}{2} \biggr) ^{1-\lambda}b_{n}^{q} \Biggr] ^{\frac{1}{q}}, \end{aligned}
(82)
where the constant factor $$B(\frac{p+\lambda-2}{p},\frac{q+\lambda-2}{q})$$ is the best possible.

Yang  also proved that (81) is valid for $$p=2$$ and $$\lambda \in(0,4]$$. Yang [52, 53] gave another extensions of (18) and (20) as follows.

If $$0<\lambda\leq\min\{p,q\}$$, then
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{m^{\lambda }+n^{\lambda}} < \frac{\pi}{\lambda\sin(\frac{\pi}{p})} \Biggl[ \sum_{m=1}^{\infty}m^{(p-1)(1-\lambda)}a_{m}^{p} \Biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=1}^{\infty}n^{(q-1)(1-\lambda )}b_{n}^{q} \Biggr] ^{\frac{1}{q}};$$
(83)
if $$0<\lambda\leq1$$, then
\begin{aligned}& \sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{(m+\frac{1}{2} )^{\lambda}+(n+\frac{1}{2})^{\lambda}} \\& \quad < \frac{\pi}{\lambda\sin(\frac {\pi }{p})} \Biggl[ \sum_{m=0}^{\infty} \biggl( m+\frac{1}{2} \biggr) ^{p-1-\lambda }a_{m}^{p} \Biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=0}^{\infty} \biggl( n+\frac{1}{2} \biggr) ^{q-1-\lambda}b_{n}^{q} \Biggr] ^{\frac{1}{q}}. \end{aligned}
(84)
In 2004, Yang  discovered the following dual form of (18):
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{m+n}< \frac {\pi}{\sin(\frac{\pi}{p})} \Biggl( \sum_{m=1}^{\infty}m^{p-2}a_{m}^{p} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}n^{q-2}b_{n}^{q} \Biggr) ^{\frac {1}{q}}.$$
(85)
Inequality (85) is similar to (18) but different and for $$p=2$$, both of them reduce to (1).
For $$\lambda=1$$, (84) reduces to the dual form of (20) as follows:
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{m+n+1} < \frac {\pi}{\sin(\frac{\pi}{p})} \Biggl[ \sum_{m=0}^{\infty} \biggl( m+\frac{1}{2} \biggr) ^{p-2}a_{m}^{p} \Biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=0}^{\infty} \biggl( n+\frac {1}{2} \biggr) ^{q-2}b_{n}^{q} \Biggr] ^{\frac{1}{q}}.$$
(86)

We can find some best extensions of the H-L-P inequalities such as (37)-(48) in , by introducing some independent parameters.

In 2001, by introducing some parameters, Hong  gave a multiple integral inequality, which is an extension of (18). He et al.  gave a similar result for particular conjugate exponents. For making an improvement of their work, Yang  gave the following inequality, which is a best extension of (18).

If $$n\in\mathbf{N}\backslash\{1\}$$, $$p_{i}>1$$, $$\sum_{i=1}^{n}\frac {1}{p_{i}}=1$$, $$\lambda>n-\min_{1\leq i\leq n}\{p_{i}\}$$, $$f_{i}(t)\geq0$$, and $$0<\int_{0}^{\infty}t^{n-1-\lambda}f_{i}^{p_{i}}(t)\, dt<\infty$$ ($$i=1,2,\ldots,n$$), then we have
\begin{aligned}& \int_{0}^{\infty}\cdots\int_{0}^{\infty} \frac{\prod_{i=1}^{n}f_{i}(x_{i})}{(\sum_{i=1}^{n}x_{i})^{\lambda }}\,dx_{1}\cdots \,dx_{n} \\& \quad < \frac{1}{\Gamma(\lambda)}\prod_{i=1}^{n} \biggl( \frac{p_{i}+\lambda -n}{p_{i}} \biggr) \biggl( \int_{0}^{\infty}t^{n-1-\lambda }f_{i}^{p_{i}}(t) \,dt \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}
(87)
where the constant factor $$\frac{1}{\Gamma(\lambda)}\prod_{i=1}^{n}(\frac{p_{i}+\lambda-n}{p_{i}})$$ is the best possible. In particular, for $$\lambda =n-1$$, it follows that
\begin{aligned}& \int_{0}^{\infty}\cdots\int_{0}^{\infty} \frac{\prod_{i=1}^{n}f_{i}(x_{i})}{(\sum_{i=1}^{n}x_{i})^{n-1}}\,dx_{1}\cdots \,dx_{n} \\& \quad < \frac{1}{(n-2)!}\prod_{i=1}^{n} \biggl( 1-\frac{1}{p_{i}} \biggr) \biggl( \int_{0}^{\infty}f_{i}^{p_{i}}(t) \,dt \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}
(88)

In 2003, Yang and Rassias  introduced the method of weight coefficients and considered its applications to Hilbert-type inequalities. They summarized how to use the method of weight coefficients to obtain some new improvements and generalizations of the Hilbert-type inequalities. Since then, a number of authors discussed this problem (cf. ). But how to give a best extension of inequalities (85) and (18) was solved in 2004 by introducing two pairs of conjugate exponents.

### 3.4 Hilbert-type inequalities with two conjugate exponents and multi-parameters

In 2004, by introducing an independent parameter $$\lambda>0$$ and two pairs of conjugate exponents $$(p,q)$$ and $$(r,s)$$ with $$\frac {1}{p}+\frac{1}{q}=\frac{1}{r}+\frac{1}{s}=1$$, Yang  gave an extension of (2) as follows.

If $$p,r>1$$, and the integrals of the right-hand side are positive, then
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{x^{\lambda }+y^{\lambda}}\,dx\,dy \\& \quad < \frac{\pi}{\lambda\sin(\frac{\pi}{r})} \biggl[ \int_{0}^{\infty }x^{p(1-\frac{\lambda}{r})-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \biggl[ \int_{0}^{\infty}y^{q(1-\frac{\lambda}{s})-1}g^{q}(y) \,dy \biggr] ^{\frac {1}{q}}, \end{aligned}
(89)
where the constant factor $$\frac{\pi}{\lambda\sin(\frac{\pi}{r})}$$ is the best possible.
For $$\lambda=1$$, $$r=q$$, $$s=p$$, inequality (89) reduces to (22); for $$\lambda=1$$, $$r=p$$, $$s=q$$, inequality (89) reduces to the dual form of (22) as follows:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{x+y}\,dx\,dy \\& \quad < \frac{\pi}{\sin(\frac{\pi}{p})} \biggl( \int_{0}^{\infty }x^{p-2}f^{p}(x) \,dx \biggr) ^{\frac{1}{p}} \biggl( \int_{0}^{\infty }y^{q-2}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}. \end{aligned}
(90)

In 2005, by introducing an independent parameter $$\lambda>0$$, and two pairs of generalized conjugate exponents $$(p_{1},p_{2},\ldots,p_{n})$$ and $$(r_{1},r_{2},\ldots,r_{n})$$ with $$\sum_{i=1}^{n}\frac{1}{p_{i}}=\sum_{i=1}^{n}\frac{1}{r_{i}}=1$$, Yang et al.  gave a multiple integral inequality as follows.

For $$p_{i},r_{i}>1$$ ($$i=1,2,\ldots,n$$),
\begin{aligned}& \int_{0}^{\infty}\cdots\int_{0}^{\infty} \frac{\prod_{i=1}^{n}f_{i}(x_{i})}{(\sum_{i=1}^{n}x_{i})^{\lambda }}\,dx_{1}\cdots \,dx_{n} \\& \quad < \frac{1}{\Gamma(\lambda)}\prod_{i=1}^{n} \biggl(\frac{\lambda }{r_{i}}\biggr) \biggl[ \int_{0}^{\infty}t^{p_{i}(1-\frac{\lambda }{r_{i}})-1}f_{i}^{p_{i}}(t) \,dt \biggr] ^{\frac{1}{p_{i}}}, \end{aligned}
(91)
where the constant factor $$\frac{1}{\Gamma(\lambda)}\prod_{i=1}^{n}(\frac{\lambda}{r_{i}})$$ is the best possible. For $$r_{i}=\frac{p_{i}\lambda }{p_{i}-\lambda-n}$$ ($$i=1,2,\ldots,n$$), inequality (91) reduces to (87); for $$n=2$$, $$p_{1}=p$$, $$p_{2}=q$$, $$r_{1}=r$$, and $$r_{2}=s$$, inequality (91) reduces to the following:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{(x+y)^{\lambda}}\,dx\,dy \\& \quad < B \biggl( \frac{\lambda}{r},\frac{\lambda}{s} \biggr) \biggl[ \int _{0}^{\infty}x^{p(1-\frac{\lambda}{r})-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \biggl[ \int_{0}^{\infty}y^{q(1-\frac{\lambda}{s} )-1}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}}. \end{aligned}
(92)
It is obvious that inequality (92) is another best extension of (22).

In 2006, by using two pairs of conjugate exponents $$(p,q)$$ and $$(r,s)$$ with $$p,r>1$$, Hong  gave a multi-variable integral inequality as follows.

If $$\mathbf{R}_{+}^{n}=\{x=(x_{1},x_{2},\ldots ,x_{n});x_{i}>0,i=1,2,\ldots ,n\}$$, $$\alpha,\beta, \lambda>0$$, $$\|x\|_{\alpha }=(\sum_{i=1}^{n}x_{i}^{\alpha})^{\frac{1}{\alpha}}$$, $$f,g\geq0$$, $$0<\int_{\mathbf{R}_{+}^{n}}\|x\|_{\alpha}^{p(n-\frac{\beta\lambda}{r})-n}f^{p}(x)\,dx<\infty$$ and $$0<\int_{\mathbf{R}_{+}^{n}}\|y\|_{\alpha }^{q(n-\frac{\beta\lambda}{s})-n}g^{q}(y)\,dy<\infty$$, then
\begin{aligned}& \int_{\mathbf{R}_{+}^{n}}\int_{\mathbf{R}_{+}^{n}}\frac{f(x)g(y)\,dx\,dy}{(\|x\|_{\alpha}^{\beta}+\|y\|_{\alpha}^{\beta})^{\lambda}} \\& \quad < \frac {\Gamma ^{n}(\frac{1}{\alpha})}{\beta\alpha^{n-1}\Gamma(\frac{n}{\alpha})}B \biggl( \frac{\lambda}{r}, \frac{\lambda}{s} \biggr) \biggl[ \int_{\mathbf{R}_{+}^{n}}\|x \|_{\alpha}^{p(n-\frac{\beta \lambda}{r})-n}f^{p}(x)\,dx \biggr] ^{\frac{1}{p}} \\& \qquad {}\times\biggl[ \int_{\mathbf{R}_{+}^{n}}\|y\|_{\alpha}^{q(n-\frac{\beta\lambda }{s})-n}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}}, \end{aligned}
(93)
where the constant factor $$\frac{\Gamma^{n}(\frac{1}{\alpha})}{\beta \alpha^{n-1}\Gamma(\frac{n}{\alpha})}B(\frac{\lambda}{r},\frac {\lambda}{s})$$ is the best possible. In particular, for $$n=1$$, (93) reduces to Hong’s work in ; for $$n=\beta=1$$, (93) reduces to (92). In 2007, Zhong and Yang  generalized (93) to a general homogeneous kernel and proposed the reversion. Some other results on the multi-dimensional Hilbert-type inequalities are provided by .
We can find another inequality with two parameters as follows (cf. ):
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{(m^{\alpha }+n^{\alpha})^{\lambda}}< \frac{1}{\alpha}B \biggl( \frac{\lambda}{r},\frac{\lambda}{s} \biggr) \Biggl[ \sum_{m=1}^{\infty}m^{p(1-\frac{\alpha\lambda}{r})-1}a_{m}^{p} \Biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=1}^{\infty}n^{q(1-\frac{\alpha \lambda }{s})-1}b_{n}^{q} \Biggr] ^{\frac{1}{q}},$$
(94)
where $$\alpha,\lambda>0$$, $$\alpha\lambda\leq\min\{r,s\}$$. In particular, for $$\alpha=1$$, we have
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac {a_{m}b_{n}}{(m+n)^{\lambda}} < B \biggl( \frac{\lambda}{r},\frac{\lambda}{s} \biggr) \Biggl[ \sum _{m=1}^{\infty}m^{p(1-\frac{\lambda}{r})-1}a_{m}^{p} \Biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=1}^{\infty}n^{q(1-\frac{\lambda }{s})-1}b_{n}^{q} \Biggr] ^{\frac{1}{q}}.$$
(95)
For $$\lambda=1$$, $$r=q$$, (95) reduces to (18), and for $$\lambda =1$$, $$r=p$$, (95) reduces to (85). Some other results are provided by .
Also we can see the reverse form as follows (cf. ):
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{(m+n+1)^{2}} > 2 \Biggl\{ \sum_{m=0}^{\infty} \biggl[ 1-\frac{1}{4(m+1)^{2}} \biggr] \frac{a_{m}^{p}}{2m+1} \Biggr\} ^{\frac{1}{p}} \Biggl\{ \sum_{n=0}^{\infty}\frac {b_{n}^{q}}{2n+1} \Biggr\} ^{\frac{1}{q}},$$
(96)
where $$0< p<1$$, $$\frac{1}{p}+\frac{1}{q}=1$$. The other results on the reverse of the Hilbert-type inequalities are found in .
In 2006, Xin  gave a best extension of H-L-P integral inequality (41) as follows:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{\ln(\frac {x}{y})}{x^{\lambda }-y^{\lambda}}f(x)g(y)\,dx\,dy \\& \quad < \biggl[ \frac{\pi}{\sin(\frac{\pi}{r})} \biggr] ^{2} \biggl[ \int _{0}^{\infty}x^{p(1-\frac{\lambda}{r})-1}f^{p}(x)\,dx \biggr] ^{\frac {1}{p}} \biggl[ \int_{0}^{\infty}y^{q(1-\frac{\lambda}{s})-1}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}}. \end{aligned}
(97)
Zhong and Yang  gave an extension of another H-L-P integral inequality (37) as follows:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{\max\{x^{\lambda },y^{\lambda}\}}\,dx\,dy \\& \quad < \frac{rs}{\lambda} \biggl[ \int_{0}^{\infty}x^{p(1-\frac{\lambda}{r} )-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \biggl[ \int_{0}^{\infty }y^{q(1-\frac{\lambda}{s})-1}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}}; \end{aligned}
(98)
Zhong and Yang  also gave the reverse form of (98).
Considering a particular kernel, Yang  gave
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{(\sqrt {m}+\sqrt{n})\sqrt{\max\{m,n\}}} \\& \quad < 4\ln2 \Biggl( \sum_{m=1}^{\infty}m^{\frac{p}{2}-1}a_{m}^{p} \Biggr) ^{ \frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}n^{\frac{q}{2}-1}b_{n}^{q} \Biggr) ^{\frac{1}{q}}. \end{aligned}
(99)
He also gave (cf. )
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{(m+an)^{2}+n^{2}} \\& \quad < \biggl( \frac{\pi}{2}-\arctan a \biggr) \Biggl( \sum _{m=1}^{\infty }\frac{a_{m}^{p}}{m} \Biggr) ^{\frac{1}{p}} \Biggl( \sum_{n=1}^{\infty}\frac {b_{n}^{q}}{n} \Biggr) ^{\frac{1}{q}}\quad (a\geq0). \end{aligned}
(100)
By using residue theory, Yang  obtained
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{(x+ay)(x+by)(x+cy)}\,dx\,dy \\& \quad < k \biggl( \int_{0}^{\infty}x^{-\frac{p}{2}-1}f^{p}(x) \,dx \biggr) ^{\frac {1}{p}} \biggl( \int_{0}^{\infty}y^{-\frac{q}{2}-1}g^{q}(y) \,dy \biggr) ^{\frac{1}{q}}, \end{aligned}
(101)
where $$k=\frac{1}{(\sqrt{a}+\sqrt{b})(\sqrt{b}+\sqrt{c})(\sqrt{a}+\sqrt {c})}$$ ($$a,b,c>0$$).

The constant factors in the above new inequalities are all the best possible. We can find some other new work in .

In 2005, Yang  gave a half-discrete inequality with the kernel $$\frac{1}{(1+nx)^{\lambda}}$$ by introducing a variable and proved that the constant factor is the best possible. In 2011, Yang  deduced a half-discrete Hardy-Hilbert inequality with the best possible constant factor $$B(\lambda_{1},\lambda_{2})$$:
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty} \frac{a_{n}f(x)}{(x+n)^{\lambda}}\,dx \\& \quad < B(\lambda_{1},\lambda_{2}) \biggl[ \int _{0}^{\infty}x^{p(1-\lambda _{1})-1}f^{p}(x)\,dx \biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=1}^{\infty }n^{q(1-\lambda_{2})-1}a_{n}^{q} \Biggr] ^{\frac{1}{q}}, \end{aligned}
(102)
where $$\lambda_{1}>0$$, $$0<\lambda_{2}\leq1$$, $$\lambda_{1}+\lambda _{2}=\lambda$$.

Zhong et al. [123, 124] investigated several half-discrete Hilbert-type inequalities. A half-discrete Hilbert-type inequality with a general homogeneous kernel $$k_{\lambda}(x,n)$$ of degree $$-\lambda\in\mathbf{R}$$ and a best constant factor $$k ( \lambda _{1} )$$ was obtained, which is an extension of (102) (cf. ). Also a half-discrete Hilbert-type inequality with a general non-homogeneous kernel $$k_{\lambda}(1,xn)$$ and a best constant factor was given by Yang .

### 3.5 Modern research for Hilbert-type operators

Suppose that H is a separable Hilbert space and $$T:H\rightarrow H$$ is a bounded self-adjoint semi-positive definite operator. In 2002, Zhang  gave the following inequality:
$$(a,Tb)^{2}\leq\frac{\|T\|^{2}}{2}\bigl(\|a\|^{2}\|b \|^{2}+(a,b)^{2}\bigr)\quad (a,b\in H),$$
(103)
where $$(a,b)$$ is the inner product of a and b, and $$\|a\|=\sqrt{(a,a)}$$ is the norm of a. Since the Hilbert integral operator defined by (7) satisfies the condition of (103) with $$\|\widetilde{T}\|=\pi$$, inequality (2) may be improved as (68). Since the operator $$T_{p}$$ defined by (24) (for $$p=q=2$$) satisfies the condition of (103) (cf. ), we may improve (12) to the following form:
$$\sum_{n=0}^{\infty}\sum _{m=0}^{\infty}\frac{a_{m}b_{n}}{m+n+1}< \frac {\pi}{\sqrt{2}} \Biggl[ \sum_{m=0}^{\infty}a_{m}^{2} \sum_{n=0}^{\infty }b_{n}^{2}+ \Biggl(\sum_{n=0}^{\infty}a_{n}b_{n} \Biggr)^{2} \Biggr] ^{\frac{1}{2}}.$$
(104)

The key of applying (103) is to obtain the norm of the operator and to show the property of semi-definite. Now, we consider the concept and the properties of Hilbert-type integral operator as follows.

Suppose that $$p>1$$, $$\frac{1}{p}+\frac{1}{q}=1$$, $$L^{r}(\mathbf{R}_{+})$$ ($$r=p,q$$) are real normal linear spaces and $$k(x,y)$$ is a non-negative symmetric measurable function in $$\mathbf{R}_{+}^{2}$$ satisfying
$$\int_{0}^{\infty}k(x,t) \biggl(\frac{x}{t} \biggr)^{\frac{1}{r}}\,dt=k_{0}(p)\in \mathbf{R}\quad (x>0).$$
We define an integral operator as
$$T:L^{r}(\mathbf{R}_{+})\rightarrow L^{r}( \mathbf{R}_{+})\quad (r=p,q),$$
for any $$f\ (\geq0)\in L^{p}(\mathbf{R}_{+})$$, there exists a $$h=Tf\in L^{p}(\mathbf{R}_{+})$$, such that
$$(Tf) (y)=h(y)=\int_{0}^{\infty}k(x,y)f(x)\,dx\quad (y>0);$$
(105)
or for any $$g\ (\geq0)\in L^{q}(\mathbf{R}_{+})$$, there exists a $$\tilde{h}=Tg\in L^{q}(\mathbf{R}_{+})$$, such that
$$(Tg) (x)=\tilde{h}(x)=\int_{0}^{\infty}k(x,y)g(y) \,dy\quad (x>0).$$
(106)

In 2006, Yang  proved that the operator T defined by (105) or (106) are bounded with $$\|T\|\leq k_{0}(p)$$. The following are some results in this paper.

If $$\varepsilon>0$$, is small enough and the integral $$\int_{0}^{\infty }k(x,t)(\frac{x}{t})^{\frac{1+\varepsilon}{r}}\,dt$$ ($$r=p,q$$; $$x>0$$) is convergent to a constant $$k_{\varepsilon}(p)$$ independent of x satisfying $$k_{\varepsilon}(p)=k_{0}(p)+o(1)$$ ($$\varepsilon\rightarrow 0^{+}$$), then $$\|T\|=k_{0}(p)$$. If $$\|T\|>0$$, $$f\in L^{p}(\mathbf{R}_{+})$$, $$g\in L^{q}(\mathbf{R}_{+})$$, $$\|f\|_{p},\|g\|_{q}>0$$, then we have the following equivalent inequalities:
\begin{aligned}& (Tf,g) < \|T\|\cdot\|f\|_{p}\|g\|_{q}, \end{aligned}
(107)
\begin{aligned}& \|Tf\|_{p} < \|T\|\cdot\|f\|_{p}. \end{aligned}
(108)
Some particular cases are considered in this paper.

Yang  also considered some properties of Hilbert-type integral operator (for $$p=q=2$$). For the homogeneous kernel of degree −1, Yang  considered some sufficient conditions to obtain $$\|T\|=k_{0}(p)$$. We can find some properties of the discrete Hilbert-type operator in the disperse space in Yang . A multiple integral operator is scored by Bényi and Oh . In 2009, Yang  summarized the above part results. Some other works about Hilbert-type operators and inequalities with the general homogeneous kernel and multi-parameters were provided by .

During 2009-2014, Yang published six books about the theory of Hilbert-type operators with their norms and inequalities. On January of 2009, Yang’s first book about the integral and discrete Hilbert-type operators with the general homogeneous kernels of non-negative number degree and two pairs of conjugate exponents as well as the related inequalities was published by Chinese Science Press (cf. ). On October of 2009, Yang’s second book about Hilbert-type integral operators with the general homogeneous kernels of real number degree and two pairs of conjugate exponents as well as their inequalities was published by Bentham Science Publishers Ltd. (cf. ). On February of 2011, Yang’s third book about discrete Hilbert-type operators as well as the related inequalities with the same kernels and parameters in integrals was published by Bentham Science Publishers Ltd. (cf. ). In 2012-2013, Yang published two books that considered multiple half-discrete Hilbert-type operators and their inequalities (cf. [149, 150]). In 2014, Yang and Debnath published a book considering general half-discrete operators and their inequalities. These six books provide an extensive account of these types of operators and inequalities successfully.

## 4 Yang-Hilbert-type inequalities with two pairs of conjugate exponents and independent parameters

### 4.1 Yang-Hilbert-type integral inequalities

In 2009, Yang  (Theorem 5.1.6) gave an extension of (91) as follows.

If $$n\in\mathbf{N}\backslash\{1\}$$, $$p_{i}>1$$, $$r_{i}\neq0$$ ($$i=1,2,\ldots,n$$), $$\sum_{i=1}^{n}\frac{1}{p_{i}}=\sum_{i=1}^{n}\frac{1}{r_{i}}=1$$, $$\lambda \in \mathbf{R}$$, $$k_{\lambda}(x_{1},\ldots,x_{n})$$ (≥0) is a homogeneous function of degree −λ in $$\mathbf{R}_{+}^{n}$$,
$$k_{\lambda}(r_{1},\ldots,r_{n-1}) = \int_{0}^{\infty}\cdots\int _{0}^{\infty}k_{\lambda}(u_{1},\ldots ,u_{n-1},1)\prod_{j=1}^{n-1}u_{j}^{\frac{\lambda}{r_{j}}-1} \, du_{1}\cdots \, du_{n-1}\in\mathbf{R}_{+},$$
$$f_{i}(t)\geq0$$ and $$0<\int_{0}^{\infty}t^{p_{i}(1-\frac{\lambda }{r_{i}})-1}f_{i}^{p_{i}}(t)\,dt<\infty$$ ($$i=1,2,\ldots,n$$), then we have the following inequality:
\begin{aligned}& \int_{0}^{\infty}\cdots\int_{0}^{\infty}k_{\lambda}(x_{1}, \ldots ,x_{n})\prod_{i=1}^{n}f_{i}(x_{i}) \,dx_{1}\cdots \,dx_{n} \\& \quad < k_{\lambda}(r_{1},\ldots,r_{n-1}) \biggl[ \int _{0}^{\infty }t^{p_{i}(1-\frac{\lambda}{r_{i}})-1}f_{i}^{p_{i}}(t) \,dt \biggr] ^{\frac{1}{p_{i}}}, \end{aligned}
(109)
where the constant factor $$k_{\lambda}(r_{1},\ldots,r_{n-1})$$ is the best possible.

In this reference, the equivalent form of (109), the reverses, the operator expressions, and some particular examples are provided.

In Theorem 6.14 of this book, Yang also gave the following multi-dimensional integral inequalities, an extension of (93).

If $$\lambda\in\mathbf{R}$$, $$p>1$$, $$r,s\neq0$$, $$\frac{1}{p}+\frac{1}{q}=\frac {1}{r}+\frac{1}{s}=1$$, $$k_{\lambda}(x,y)$$ (≥0) is a homogeneous function of degree −λ in $$\mathbf{R}_{+}^{2}$$,
$$k_{\lambda}(r)=\int_{0}^{\infty}k_{\lambda}(u,1)u^{\frac{\lambda}{r} -1} \, du\in\mathbf{R}_{+},$$
$$x,y\in\mathbf{R}_{+}^{n}$$, $$\alpha>0$$, $$f,g\geq0$$, $$0<\int_{\mathbf{R}_{+}^{n}}\|x\|_{\alpha}^{p(n-\frac{\lambda}{r})-n}f^{p}(x)\,dx<\infty$$, and $$0<\int_{\mathbf{R}_{+}^{n}}\|x\|_{\alpha}^{q(n-\frac{\lambda}{s})-n}g^{q}(x)\,dx<\infty$$, then we have the following inequality:
\begin{aligned}& \int_{\mathbf{R}_{+}^{n}}\int_{\mathbf{R}_{+}^{n}}k_{\lambda } \bigl(\Vert x\Vert _{\alpha },\|y\|_{\alpha}\bigr)f(x)g(y)\,dx\,dy \\& \quad < \frac{\Gamma^{n}(\frac{1}{\alpha })}{\alpha ^{n-1}\Gamma(\frac{n}{\alpha})}k_{\lambda}(r) \biggl[ \int_{\mathbf{R}_{+}^{n}} \|x\|_{\alpha}^{p(n-\frac {\lambda}{r})-n}f^{p}(x)\,dx \biggr] ^{\frac{1}{p}} \\& \qquad {}\times \biggl[ \int_{\mathbf{R}_{+}^{n}}\|y\|_{\alpha}^{q(n-\frac{\lambda}{s})-n}g^{q}(y) \,dy \biggr] ^{ \frac{1}{q}}, \end{aligned}
(110)
where the constant factor $$\frac{\Gamma^{n}(\frac{1}{\alpha})}{\alpha ^{n-1}\Gamma(\frac{n}{\alpha})}k_{\lambda}(r)$$ is the best possible.

Also, the equivalent form of (110), the reverses, the Hardy-type inequalities, the operator expressions, and many particular examples are provided. Some other results of multi-dimensional Hilbert-type integral inequalities are discussed by [151, 152].

For $$n=2$$ in (109), or $$\alpha=n=1$$ in (110), we reduce the following Yang-Hilbert-type integral inequality:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty}k_{\lambda}(x,y)f(x)g(y) \,dx\,dy \\& \quad < k_{\lambda}(r) \biggl[ \int_{0}^{\infty}x^{p(1-\frac{\lambda}{r})-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \biggl[ \int_{0}^{\infty }y^{q(1-\frac{\lambda}{s})-1}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}}, \end{aligned}
(111)
where the constant factor $$k_{\lambda}(r)$$ is the best possible. The equivalent form of (111) is obtained as follows (cf. , Theorem 2.2.1):
$$\int_{0}^{\infty}y^{\frac{p\lambda}{s}-1} \biggl( \int _{0}^{\infty }k_{\lambda}(x,y)f(x)\,dx \biggr) ^{p}\,dy< k_{\lambda}^{p}(r)\int_{0}^{\infty }x^{p(1-\frac{\lambda}{r})-1}f^{p}(x) \,dx,$$
(112)
where the constant factor $$k_{\lambda}^{p}(r)$$ is the best possible.

For $$\lambda=1$$, $$r=q$$, $$s=p$$, (111) and (112) reduce, respectively, to (33) and (34). Hence, Yang-Hilbert-type integral inequalities are extensions of Hardy-Hilbert-type integral inequalities.

If we replace y and $$g(\frac{1}{y})$$ to $$\frac{1}{y}$$ and $$y^{2-\lambda }g(y)$$ in (111) and (112), then we obtain the following equivalent inequalities with the non-homogeneous kernel and the best possible constant factors (cf. ):
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty}k_{\lambda}(xy,1)f(x)g(y) \,dx\,dy \\& \quad < k_{\lambda}(r) \biggl[ \int_{0}^{\infty}x^{p(1-\frac{\lambda}{r})-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \biggl[ \int_{0}^{\infty }y^{q(1-\frac{\lambda}{r})-1}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}}, \end{aligned}
(113)
\begin{aligned}& \int_{0}^{\infty}y^{\frac{p\lambda}{r}-1} \biggl( \int _{0}^{\infty }k_{\lambda}(xy,1)f(x)\,dx \biggr) ^{p}\,dz< k_{\lambda}^{p}(r)\int_{0}^{\infty }x^{p(1-\frac{\lambda}{r})-1}f^{p}(x) \,dx. \end{aligned}
(114)
Replacing x and $$f(\frac{1}{x})$$ to $$\frac{1}{x}$$ and $$x^{2-\lambda}f(x)$$ in (111) and (112), we also obtain the following equivalent inequalities with the non-homogeneous kernel and the best possible constant factors:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty}k_{\lambda}(1,xy)f(x)g(y) \,dx\,dy \\& \quad < k_{\lambda}(r) \biggl[ \int_{0}^{\infty}x^{p(1-\frac{\lambda}{s})-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \biggl[ \int_{0}^{\infty }y^{q(1-\frac{\lambda}{s})-1}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}}, \end{aligned}
(115)
\begin{aligned}& \int_{0}^{\infty}y^{\frac{p\lambda}{s}-1} \biggl( \int _{0}^{\infty }k_{\lambda}(1,xy)f(x)\,dx \biggr) ^{p}\,dy< k_{\lambda}^{p}(r)\int_{0}^{\infty }x^{p(1-\frac{\lambda}{s})-1}f^{p}(x) \,dx. \end{aligned}
(116)
It is evident that (111)-(116) are equivalent. In particular, if $$k_{\lambda}(x,y)$$ is symmetric, then we have
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty}k_{\lambda }(xy,1)f(x)g(y) \,dx\,dy \\& \quad < k_{\lambda}(r)\min_{a\in\{r,s\}} \biggl\{ \biggl[ \int _{0}^{\infty}x^{p(1-\frac {\lambda}{a})-1}f^{p}(x)\,dx \biggr] ^{\frac{1}{p}} \biggl[ \int_{0}^{\infty }y^{q(1-\frac{\lambda}{a})-1}g^{q}(y) \,dy \biggr] ^{\frac{1}{q}} \biggr\} . \end{aligned}
(117)

The above inequalities are some refinements of (33)-(36).

### 4.2 Discrete Yang-Hilbert-type inequalities

In 2011, Yang  (Theorem 4.2.3) gave an extension of (35) and (36) as follows.

If $$p>1$$, $$\frac{1}{p}+\frac{1}{q}=1$$, $$\lambda_{1},\lambda_{2}\in\mathbf {R}$$, $$\lambda_{1}+\lambda_{2}=\lambda$$, $$k_{\lambda}(x,y)$$ (≥0) is a finite homogeneous function of degree −λ in $$\mathbf{R}_{+}^{2}$$,
$$k(\lambda_{1})=\int_{0}^{\infty}k_{\lambda}(u,1)u^{\lambda _{1}-1} \, du\in \mathbf{R}_{+},$$
$$k_{\lambda}(x,y)\frac{1}{x^{1-\lambda_{2}}}(k_{\lambda}(x,y)\frac {1}{y^{1-\lambda_{1}}})$$ is decreasing with respect to $$x(y)>0$$, $$a_{m},b_{n}\geq0$$, $$0< \sum_{m=1}^{\infty}m^{p(1-\lambda _{1})-1}a_{m}^{p}<\infty$$, $$0<\sum_{n=1}^{\infty}n^{q(1-\lambda _{2})-1}b_{n}^{q}<\infty$$, then we have the following equivalent discrete Yang-Hilbert-type inequalities:
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}k_{\lambda}(m,n)a_{m}b_{n} \\& \quad < k(\lambda_{1}) \Biggl[ \sum_{m=1}^{\infty}m^{p(1-\lambda _{1})-1}a_{m}^{p} \Biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=1}^{\infty}n^{q(1-\lambda _{2})-1}b_{n}^{q} \Biggr] ^{\frac{1}{q}}, \end{aligned}
(118)
\begin{aligned}& \sum_{n=1}^{\infty}n^{p\lambda_{2}-1} \Biggl( \sum_{m=1}^{\infty }k_{\lambda }(m,n)a_{m} \Biggr) ^{p}< \bigl(k(\lambda_{1})\bigr)^{p}\sum _{m=1}^{\infty }m^{p(1-\lambda_{1})-1}a_{m}^{p}, \end{aligned}
(119)
where the constant factors $$k(\lambda_{1})$$ and $$(k(\lambda_{1}))^{p}$$ are the best possible.

In this reference, some extensions of (118) and (119), the reverses, the operator expressions, and some particular examples are provided.

The following multiple inequalities are considered (cf. , Corollary 6.1.7).

If $$n\in\mathbf{N}\backslash\{1\}$$, $$p_{i}>1$$, $$\lambda_{i}\in\mathbf{R}$$ ($$i=1,2,\ldots,n$$), $$\sum_{i=1}^{n}\frac{1}{p_{i}}=1$$, $$\sum_{i=1}^{n}\lambda _{i}=\lambda$$, $$\frac{1}{q_{n}}=1-\frac{1}{p_{n}}$$, $$k_{\lambda }(x_{1},\ldots ,x_{n})$$ (≥0) is a finite homogeneous function of degree −λ in $$\mathbf{R}_{+}^{n}$$, $$k_{\lambda}(x_{1},\ldots,x_{n})\frac{1}{x_{i}^{1-\lambda_{i}}}$$ is decreasing with respect to $$x_{i}>0$$ ($$i=1,\ldots ,n$$),
$$k(\lambda_{1},\ldots,\lambda_{n-1}) = \int_{0}^{\infty}\cdots\int _{0}^{\infty}k_{\lambda}(u_{1},\ldots ,u_{n-1},1)\prod_{j=1}^{n-1}u_{j}^{\lambda_{j}-1} \, du_{1}\cdots \, du_{n-1}\in \mathbf{R}_{+},$$
$$a_{m_{i}}^{(i)}\geq0$$ and $$0<\sum_{m_{i}=1}^{\infty }m_{i}^{p_{i}(1-\lambda_{i})-1}(a_{m_{i}}^{(i)})^{p_{i}}<\infty$$ ($$i=1,2,\ldots,n$$), then we still have the following multiple equivalent inequalities:
\begin{aligned}& \sum_{m_{n}=1}^{\infty}\cdots\sum _{m_{1}=1}^{\infty}k_{\lambda }(m_{1}, \ldots,m_{n})\prod_{i=1}^{n}a_{m_{i}}^{(i)} \\& \quad < k(\lambda_{1},\ldots,\lambda_{n-1})\prod _{i=1}^{n} \Biggl[ \sum _{m_{i}=1}^{\infty}m_{i}^{p_{i}(1-\lambda _{i})-1} \bigl(a_{m_{i}}^{(i)}\bigr)^{p_{i}} \Biggr] ^{\frac{1}{p_{i}}}, \end{aligned}
(120)
\begin{aligned}& \sum_{m_{n}=1}^{\infty}m_{n}^{q_{n}\lambda_{n}-1} \Biggl[ \sum_{m_{n-1}=1}^{\infty}\cdots\sum _{m_{1}=1}^{\infty}k_{\lambda }(m_{1}, \ldots,m_{n})\prod_{i=1}^{n-1}a_{m_{i}}^{(i)} \Biggr] ^{q_{n}} \\& \quad < \bigl(k(\lambda_{1},\ldots,\lambda_{n-1}) \bigr)^{q_{n}}\prod_{i=1}^{n-1} \Biggl[ \sum_{m_{i}=1}^{\infty}m_{i}^{p_{i}(1-\lambda _{i})-1} \bigl(a_{m_{i}}^{(i)}\bigr)^{p_{i}} \Biggr] ^{\frac{q_{n}}{p_{i}}}, \end{aligned}
(121)
where the constant factors $$k(\lambda_{1},\ldots,\lambda_{n-1})$$ and $$(k(\lambda_{1},\ldots,\lambda_{n-1}))^{q_{n}}$$ are the best possible.

In this book, the reverses of (120) and (121) are also considered. For $$n=2$$, (120) and (121) reduce, respectively, to (120) and (121); for $$\lambda=1$$, $$\lambda_{i}=1-\frac {1}{p_{i}}$$ ($$i=1,\ldots,n$$), (120) reduces to (54).

In 2014, Yang  (Corollary 3.2) gave the following results.

Suppose that $$i_{0},j_{0}\in\mathbf{N}$$, $$\alpha,\beta>0$$, $$\lambda _{1}< i_{0}$$, $$\lambda_{2}< j_{0}$$, $$\lambda_{1}+\lambda=\lambda$$, $$k_{\lambda }(x,y)$$ (>0) is a finite homogeneous function of degree −λ in $$\mathbf{R}_{+}^{2}$$, which is decreasing with respect to $$x(y)>0$$, there exists a constant $$0<\delta_{0}<j_{0}-\lambda_{2}$$, such that for any $$\tilde{\lambda}_{1}\in(\lambda_{1}-\delta_{0},\lambda _{1}+\delta _{0})$$, $$k(\tilde{\lambda}_{1})=\int_{0}^{\infty}k_{\lambda}(u,1)u^{ \tilde{\lambda}_{1}-1}\, du\in\mathbf{R}_{+}$$, and there exists a constant $$\delta_{1}<\lambda_{1}-\delta_{0}$$, satisfying $$k_{\lambda }(u,1)\leq\frac{L}{u^{\delta_{1}}}$$ ($$u\in(0,\infty)$$). If $$p>1$$, $$\frac {1}{p}+\frac{1}{q}=1$$, $$a(m),b(n)\geq0$$, $$0<\sum_{m\in\mathbf{N}^{i_{0}}}\|m\|_{\alpha}^{p(i_{0}-\lambda_{1})-i_{0}}a^{p}(m)<\infty$$, $$0<\sum_{n\in\mathbf{N}^{j_{0}}}\|n\|_{\beta}^{q(j_{0}-\lambda _{2})-j_{0}}b^{q}(n)<\infty$$,
$$K(\lambda_{1})= \biggl( \frac{\Gamma^{i_{0}}(\frac{1}{\alpha})}{\alpha ^{i_{0}-1}\Gamma(\frac{i_{0}}{\alpha})} \biggr) ^{\frac{1}{q}} \biggl( \frac{\Gamma^{j_{0}}(\frac{1}{\beta})}{\beta^{j_{0}-1}\Gamma(\frac{j_{0}}{ \beta})} \biggr) k(\lambda_{1}),$$
then we have the following inequality:
\begin{aligned}& \sum_{n\in\mathbf{N}^{j_{0}}}\sum_{m\in\mathbf{N}^{i_{0}}}k_{\lambda } \bigl(\Vert m\Vert _{\alpha},\|n\|_{\beta}\bigr)a(m)b(n) \\& \quad < K(\lambda_{1}) \biggl[ \sum_{m\in\mathbf{N}^{i_{0}}} \|m\|_{\alpha }^{p(i_{0}-\lambda_{1})-i_{0}}a^{p}(m) \biggr] ^{\frac{1}{p}} \biggl[ \sum_{n\in\mathbf{N}^{j_{0}}}\|n\|_{\beta}^{q(j_{0}-\lambda _{2})-j_{0}}b^{q}(n) \biggr] ^{\frac{1}{q}}, \end{aligned}
(122)
\begin{aligned}& \sum_{n\in\mathbf{N}^{j_{0}}}\|n\|_{\beta}^{p\lambda _{2}-j_{0}} \biggl( \sum_{m\in\mathbf{N}^{i_{0}}}k_{\lambda}\bigl(\Vert m \Vert _{\alpha},\|n\|_{\beta }\bigr)a(m) \biggr) ^{p} \\& \quad < K^{p}(\lambda_{1})\sum _{m\in\mathbf{N}^{i_{0}}}\|m\|_{\alpha }^{p(i_{0}-\lambda_{1})-i_{0}}a^{p}(m), \end{aligned}
(123)
where the constant factors $$K(\lambda_{1})$$ and $$K^{p}(\lambda_{1})$$ are the best possible.

For $$i_{0}=j_{0}=\alpha=\beta=1$$, (122) and (123) also reduce, respectively, to (118) and (119). In this chapter, the reverses and the operator expressions of (122) and (123) are provided. A composition formula of the operators is developed.

### 4.3 Half-discrete Yang-Hilbert-type inequalities

In 2014, Yang and Debnath  (Theorem 6.1) gave the following results.

Suppose that $$m\in\mathbf{N}$$, $$p_{i}>1$$, $$\lambda_{i}\in\mathbf{R}$$ ($$i=1,2,\ldots,m+1$$), $$\sum_{i=1}^{m+1}\frac{1}{p_{i}}=1$$, $$\sum_{i=1}^{m+1}\lambda_{i}=\lambda$$, $$\frac{1}{p}=1-\frac{1}{p_{m+1}}$$, $$k_{\lambda }(x_{1},\ldots,x_{n})$$ (≥0) is a finite homogeneous function of degree −λ in $$\mathbf{R}_{+}^{n}$$, there exists a constant $$\delta_{0}>0$$, such that for any $$\tilde{\lambda}_{i}\in(\lambda_{i}-\delta _{0},\lambda_{i}+\delta_{0})$$, $$\sum_{i=1}^{m+1}\tilde{\lambda}_{i}=\lambda$$, $$k_{\lambda}(x_{1},\ldots,x_{m},y)\frac {1}{y^{1-\tilde{\lambda}_{m+1}}}$$ is strictly decreasing with respect to $$y>0$$, and
$$k(\tilde{\lambda}_{m+1})=\int_{0}^{\infty} \cdots\int_{0}^{\infty }k_{\lambda}(u_{1}, \ldots,u_{m},1)\prod_{j=1}^{m}u_{j}^{\tilde {\lambda }_{j}-1} \, du_{1}\cdots\, du_{m}\in\mathbf{R}_{+}.$$
If $$f_{i}(x_{i}),a_{n}\geq0$$ and $$0<\sum_{n=1}^{\infty }n^{p_{m+1}(1-\lambda_{m+1})-1}a_{n}^{p_{m+1}}<\infty$$,
$$0< \int_{0}^{\infty}t^{p_{i}(1-\lambda_{i})-1}f_{i}^{p_{i}}(t) \,dt< \infty \quad (i=1,\ldots,m),$$
then we still have the following equivalent inequalities:
\begin{aligned}& \sum_{n=1}^{\infty}\int_{0}^{\infty} \cdots\int_{0}^{\infty }k_{\lambda }(x_{1}, \ldots,x_{m},n)a_{n}\prod_{i=1}^{m}f_{i}(x_{i}) \,dx_{1}\cdots \,dx_{m} \\& \quad < k(\lambda_{m+1}) \Biggl[ \sum_{n=1}^{\infty}n^{p_{m+1}(1-\lambda _{m+1})-1}a_{n}^{p_{m+1}} \Biggr] ^{\frac{1}{p_{m+1}}}\prod_{i=1}^{m} \biggl[ \int_{0}^{\infty}t^{p_{i}(1-\lambda_{i})-1}f_{i}^{p_{i}}(t) \,dt \biggr] ^{\frac{1}{p_{i}}}, \end{aligned}
(124)
\begin{aligned}& \sum_{n=1}^{\infty}n^{p\lambda_{m+1}-1} \Biggl( \int_{0}^{\infty }\cdots \int_{0}^{\infty}k_{\lambda}(x_{1}, \ldots ,x_{m},n)\prod_{i=1}^{m}f_{i}(x_{i}) \,dx_{1}\cdots \,dx_{m} \Biggr) ^{p} \\& \quad < k^{p}(\lambda_{m+1})\prod _{i=1}^{m} \biggl[ \int_{0}^{\infty }t^{p_{i}(1-\lambda_{i})-1}f_{i}^{p_{i}}(t) \,dt \biggr] ^{\frac{p}{p_{i}}}, \end{aligned}
(125)
where the constant factors
$$k(\lambda_{m+1})=\int_{0}^{\infty}\cdots\int _{0}^{\infty}k_{\lambda }(u_{1}, \ldots,u_{m},1)\prod_{j=1}^{m}u_{j}^{\lambda _{j}-1} \, du_{1}\cdots \, du_{m}$$
and $$k^{p}(\lambda_{m+1})$$ are the best possible.

In this book, the reverses, the operator expressions, and some particular examples are provided. Some other kinds of multiple half-discrete Hilbert-type inequalities are discussed in [149, 150]. The composition formula of operators are given by .

In Corollary 5.3 of this book, Yang also gave the following multi-dimensional half-discrete inequalities.

Suppose that $$m,s\in\mathbf{N}$$, $$\alpha,\beta>0$$, $$\lambda_{1},\lambda _{2}\in\mathbf{R}$$, $$\lambda_{1}+\lambda_{2}=\lambda$$, $$k_{\lambda }(x,y)$$ (≥0) is a finite homogeneous function of degree −λ in $$\mathbf {R}_{+}^{2}$$, $$k_{\lambda}(x,y)\frac{1}{y^{s-\lambda_{2}}}$$ is decreasing with respect to $$y>0$$, and strictly decreasing in an interval $$I\subset (1,\infty )$$, $$k(\lambda_{1})=\int_{0}^{\infty}k_{\lambda}(u,1)u^{\lambda _{1}-1}\, du\in\mathbf{R}_{+}$$,
$$K(\lambda_{1})= \biggl( \frac{\Gamma^{m}(\frac{1}{\alpha})}{\alpha ^{m-1}\Gamma(\frac{m}{\alpha})} \biggr) ^{\frac{1}{q}} \biggl( \frac {\Gamma ^{s}(\frac{1}{\beta})}{\beta^{s-1}\Gamma(\frac{s}{\beta})} \biggr) k(\lambda_{1}).$$
If $$p>1$$, $$\frac{1}{p}+\frac{1}{q}=1$$, $$f(x),a(n)\geq0$$, $$0<\int_{\mathbf {R}_{+}^{m}}\|x\|_{\alpha}^{p(m-\lambda_{1})-m}f^{p}(x)\,dx<\infty$$, and $$0< \sum_{n\in\mathbf{N}^{s}}\|n\|_{\beta}^{q(s-\lambda _{2})-s}a^{q}(n)<\infty$$, then we have the following equivalent inequalities:
\begin{aligned}& \int_{\mathbf{R}_{+}^{m}}\sum_{n\in\mathbf{N}^{s}}k_{\lambda } \bigl(\Vert x\Vert _{\alpha},\|n\|_{\beta}\bigr)f(x)a(n)\,dx \\& \quad < K(\lambda_{1}) \biggl[ \int_{\mathbf{R}_{+}^{m}}\|x \|_{\alpha}^{p(m-\lambda _{1})-m}f^{p}(x)\,dx \biggr] ^{\frac{1}{p}} \biggl[ \sum_{n\in\mathbf{N}^{s}}\|n\|_{\beta}^{q(s-\lambda_{2})-s}a^{q}(n) \biggr] ^{\frac{1}{q}}, \end{aligned}
(126)
\begin{aligned}& \sum_{n\in\mathbf{N}^{s}}\|n\|_{\beta}^{p\lambda_{2}-s} \biggl( \int_{\mathbf{R}_{+}^{m}}k_{\lambda}\bigl(\|x\|_{\alpha},\|n \|_{\beta }\bigr)f(x)\,dx \biggr) ^{p} \\& \quad < \bigl(K(\lambda_{1})\bigr)^{p}\int _{\mathbf{R}_{+}^{m}}\|x\|_{\alpha }^{p(m-\lambda_{1})-m}f^{p}(x) \,dx, \end{aligned}
(127)
\begin{aligned}& \int_{\mathbf{R}_{+}^{m}}\|x\|_{\alpha}^{q\lambda_{1}-m} \biggl( \sum _{n\in\mathbf{N}^{s}}k_{\lambda}\bigl(\|x\|_{\alpha},\|n \|_{\beta }\bigr)a(n) \biggr) ^{q}\,dx < \bigl(K(\lambda_{1})\bigr)^{q}\sum _{n\in\mathbf{N}^{s}}\|n\|_{\beta }^{q(s-\lambda_{2})-s}a^{q}(n), \end{aligned}
(128)
where the constant factors $$K(\lambda_{1})$$, $$(K(\lambda_{1}))^{p}$$, and $$(K(\lambda_{1}))^{q}$$ are the best possible.
For $$m=s=\alpha=\beta=1$$, (126), (127), and (128) reduce to the following equivalent half-discrete Yang-Hilbert-type inequalities with the best possible constant factors:
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty}k_{\lambda}(x,n)f(x)a_{n} \,dx \\& \quad < k(\lambda_{1}) \biggl[ \int_{0}^{\infty}x^{p(1-\lambda _{1})-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=1}^{\infty}n^{q(1-\lambda _{2})-1}a_{n}^{q} \Biggr] ^{\frac{1}{q}}, \end{aligned}
(129)
\begin{aligned}& \sum_{n=1}^{\infty}n^{p\lambda_{2}-1} \biggl( \int_{0}^{\infty }k_{\lambda }(x,n)f(x)\,dx \biggr) ^{p}< \bigl(k(\lambda_{1})\bigr)^{p}\int _{0}^{\infty }x^{p(1-\lambda_{1})-1}f^{p}(x)\,dx, \end{aligned}
(130)
\begin{aligned}& \int_{0}^{\infty}x^{q\lambda_{1}-1} \Biggl( \sum _{n=1}^{\infty }k_{\lambda }(x,n)a_{n} \Biggr) ^{q}\,dx< \bigl(k(\lambda_{1})\bigr)^{q} \sum_{n=1}^{\infty }n^{q(1-\lambda_{2})-1}a_{n}^{q}. \end{aligned}
(131)
Also, for $$m=1$$, (124) and (125) reduce, respectively, to (129) and (130).
Replacing x to $$\frac{1}{x}$$, $$x^{\lambda-2}f(\frac{1}{x})$$ to $$f(x)$$ in (129), (130), and (131), we have the following equivalent inequalities with the non-homogeneous kernel and the best possible constant factors:
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty}k_{\lambda}(1,xn)f(x)a_{n} \,dx \\& \quad < k(\lambda_{1}) \biggl[ \int_{0}^{\infty}x^{p(1-\lambda _{2})-1}f^{p}(x) \,dx \biggr] ^{\frac{1}{p}} \Biggl[ \sum_{n=1}^{\infty}n^{q(1-\lambda _{2})-1}a_{n}^{q} \Biggr] ^{\frac{1}{q}}, \end{aligned}
(132)
\begin{aligned}& \sum_{n=1}^{\infty}n^{p\lambda_{2}-1} \biggl( \int_{0}^{\infty }k_{\lambda }(1,xn)f(x)\,dx \biggr) ^{p}< \bigl(k(\lambda_{1})\bigr)^{p}\int _{0}^{\infty }x^{p(1-\lambda_{2})-1}f^{p}(x)\,dx, \end{aligned}
(133)
\begin{aligned}& \int_{0}^{\infty}x^{q\lambda_{2}-1} \Biggl( \sum _{n=1}^{\infty }k_{\lambda }(1,xn)a_{n} \Biggr) ^{q}\,dx< \bigl(k(\lambda_{1})\bigr)^{q} \sum_{n=1}^{\infty }n^{q(1-\lambda_{2})-1}a_{n}^{q}. \end{aligned}
(134)

The above half-discrete inequalities are some refinements of (37)-(40).

### 4.4 Some simple Hilbert-type inequalities

If the Hilbert-type inequality relates to a simple symmetric homogeneous kernel of degree −1 and the best constant factor is a more brief form, which does not relate to any conjugate exponents (such as (2)), then we call it simple Hilbert-type integral inequality. Its series analog (if it exists) is called a simple Hilbert-type inequality. If the simple homogeneous kernel is of −λ degree ($$\lambda>0$$) with a parameter λ and the inequality cannot be obtained by a simple transform to a simple Hilbert-type integral inequality, then we call it a simple Hilbert-type integral inequality with a parameter.

For example, we call the following integral inequality (i.e. (2)):
$$\int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{x+y}\,dx\,dy< \pi \biggl( \int_{0}^{\infty}f^{2}(x) \,dx\int_{0}^{\infty}g^{2}(y)\,dy \biggr) ^{\frac {1}{2}},$$
(135)
and the following H-L-P inequalities (for $$p=2$$ in (37) and (41)):
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{\max\{x,y\}}\,dx\,dy< 4 \biggl( \int_{0}^{\infty}f^{2}(x) \,dx\int_{0}^{\infty }g^{2}(y)\,dy \biggr) ^{\frac{1}{2}}, \end{aligned}
(136)
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{\ln(\frac {x}{y})f(x)g(y)}{x-y}\,dx\,dy< \pi^{2} \biggl( \int _{0}^{\infty}f^{2}(x)\,dx\int _{0}^{\infty }g^{2}(y)\,dy \biggr) ^{\frac{1}{2}}, \end{aligned}
(137)
simple Hilbert-type integral inequalities.
In 2006, Yang  gave the following simple Hilbert-type integral inequality:
$$\int_{0}^{\infty}\int_{0}^{\infty} \frac{|\ln(\frac {x}{y})|f(x)g(y)}{\max \{x,y\}}\,dx\,dy< 8 \biggl( \int_{0}^{\infty}f^{2}(x) \,dx\int_{0}^{\infty }g^{2}(y)\,dy \biggr) ^{\frac{1}{2}}.$$
(138)
In 2008, Yang  and  gave the following simple Hilbert-type integral inequalities:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{|\ln(\frac {x}{y})|f(x)g(y)}{x+y}\,dx\,dy< c_{0} \biggl( \int _{0}^{\infty}f^{2}(x)\,dx\int _{0}^{\infty }g^{2}(y)\,dy \biggr) ^{\frac{1}{2}}, \end{aligned}
(139)
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{\arctan\sqrt{\frac {x}{y}}}{x+y}f(x)g(y)\,dx\,dy< \frac{\pi^{2}}{4} \biggl( \int _{0}^{\infty }f^{2}(x)\,dx\int _{0}^{\infty}g^{2}(y)\,dy \biggr) ^{\frac{1}{2}}, \end{aligned}
(140)
where $$c_{0}=8\sum_{n=1}^{\infty}\frac{(-1)^{n}}{(2n-1)^{2}}=7.3277^{+}$$.
In 2005, Yang [158, 159] gave a simple Hilbert-type integral inequality with a parameter $$\lambda\in(0,1)$$:
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{|x-y|^{\lambda}}\,dx\,dy \\& \quad < 2B\biggl(1-\lambda,\frac{\lambda}{2}\biggr) \biggl( \int _{0}^{\infty }x^{1-\lambda }f^{2}(x)\,dx\int _{0}^{\infty}y^{1-\lambda}g^{2}(y)\,dy \biggr) ^{\frac{1}{2}}. \end{aligned}
(141)
As in (16),
\begin{aligned}& \int_{0}^{\infty}\int_{0}^{\infty} \frac{f(x)g(y)}{(x+y)^{\lambda}}\,dx\,dy \\& \quad < B\biggl(\frac{\lambda}{2},\frac{\lambda}{2}\biggr) \biggl( \int _{0}^{\infty }x^{1-\lambda}f^{2}(x)\,dx\int _{0}^{\infty}y^{1-\lambda }g^{2}(y)\,dy \biggr) ^{\frac{1}{2}} \end{aligned}
(142)
is called a simple Hilbert-type integral inequality with the parameter $$\lambda\in(0,\infty)$$.
Also we find the following simple Hilbert-type inequality:
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{m+n}< \pi \Biggl( \sum _{m=1}^{\infty}a_{m}^{2}\sum _{n=1}^{\infty}b_{n}^{2} \Biggr) ^{\frac{1}{2}}, \end{aligned}
(143)
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{a_{m}b_{n}}{\max\{m,n\}}< 4 \Biggl( \sum_{m=1}^{\infty}a_{m}^{2} \sum_{n=1}^{\infty }b_{n}^{2} \Biggr) ^{\frac{1}{2}}, \end{aligned}
(144)
\begin{aligned}& \sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{\ln(\frac {m}{n})a_{m}b_{n}}{m-n}< \pi^{2} \Biggl( \sum_{m=1}^{\infty}a_{m}^{2} \sum_{n=1}^{\infty }b_{n}^{2} \Biggr) ^{\frac{1}{2}}. \end{aligned}
(145)
In (47), for $$p=q=2$$, we have
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{|\ln(\frac {m}{n})|a_{m}b_{n}}{\max\{m,n\}}< 8 \Biggl( \sum _{m=1}^{\infty}a_{m}^{2}\sum _{n=1}^{\infty }b_{n}^{2} \Biggr) ^{\frac{1}{2}}.$$
(146)
In 2010, Xin and Yang  gave
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac{|\ln(\frac {m}{n})|a_{m}b_{n}}{m+n}< c_{0} \Biggl( \sum_{m=1}^{\infty}a_{m}^{2} \sum_{n=1}^{\infty }b_{n}^{2} \Biggr) ^{\frac{1}{2}},$$
(147)
where $$c_{0}=8\sum_{n=1}^{\infty}\frac{(-1)^{n}}{(2n-1)^{2}}=7.3277^{+}$$. Inequalities (143) and (144) are new simple Hilbert-type inequalities. We still have a simple Hilbert-type inequality with a parameter $$\lambda\in(0,4]$$ as follows (cf. ):
$$\sum_{n=1}^{\infty}\sum _{m=1}^{\infty}\frac {a_{m}b_{n}}{(m+n)^{\lambda}}< B\biggl( \frac{\lambda}{2},\frac{\lambda}{2}\biggr) \Biggl( \sum _{m=1}^{\infty }m^{1-\lambda}a_{m}^{2} \sum_{n=1}^{\infty}n^{1-\lambda }b_{n}^{2} \Biggr) ^{\frac{1}{2}}.$$
(148)
Some simple half-discrete Hilbert-type inequalities are also listed as follows:
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty} \frac{a_{n}}{x+n}f(x)\,dx< \pi \Biggl( \int_{0}^{\infty}f^{2}(x) \,dx\sum_{n=1}^{\infty}a_{n}^{2} \Biggr) ^{\frac {1}{2}}, \end{aligned}
(149)
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty} \frac{a_{n}}{\max\{x,n\}}f(x)\,dx< 4 \Biggl( \int_{0}^{\infty}f^{2}(x) \,dx\sum_{n=1}^{\infty }a_{n}^{2} \Biggr) ^{\frac{1}{2}}, \end{aligned}
(150)
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty} \frac{\ln(\frac{x}{n})a_{n}}{x-n} f(x)\,dx< \pi^{2} \Biggl( \int_{0}^{\infty}f^{2}(x) \,dx\sum_{n=1}^{\infty }a_{n}^{2} \Biggr) ^{\frac{1}{2}}, \end{aligned}
(151)
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty} \frac{|\ln(\frac {x}{n})|a_{n}}{\max \{x,n\}}f(x)\,dx< 8 \Biggl( \int_{0}^{\infty}f^{2}(x) \,dx\sum_{n=1}^{\infty }a_{n}^{2} \Biggr) ^{\frac{1}{2}}, \end{aligned}
(152)
\begin{aligned}& \int_{0}^{\infty}\sum_{n=1}^{\infty} \frac{|\ln(\frac {x}{n})|a_{n}}{x+n}f(x)\,dx< c_{0} \Biggl( \int _{0}^{\infty}f^{2}(x)\,dx\sum _{n=1}^{\infty }a_{n}^{2} \Biggr) ^{\frac{1}{2}}. \end{aligned}
(153)

## Declarations

### Acknowledgements

The authors wish to express their thanks to the referees for their careful reading of the manuscript and for their valuable suggestions. This work is supported by the National Natural Science Foundation (No. 61370186), and the Science and Technology Planning Project of Guangzhou (No. 2014J4100032, No. 201510010203). We are grateful for their help. 