Skip to main content

On a more accurate Hilbert-type inequality in the whole plane with the general homogeneous kernel

Abstract

By the use of the weight coefficients, the idea of introduced parameters and the technique of real analysis, a more accurate Hilbert-type inequality in the whole plane with the general homogeneous kernel is given, which is an extension of the more accurate Hardy–Hilbert’s inequality. An equivalent form is obtained. The equivalent statements of the best possible constant factor related to several parameters, the operator expressions and a few particular cases are considered.

Introduction

If \(p > 1,\frac{1}{p} + \frac{1}{q} = 1\), \(a_{m},b_{n} \ge 0,0 < \sum_{m = 1}^{\infty } a_{m}^{p} < \infty\) and \(0 < \sum_{n = 1}^{\infty } b_{n}^{q} < \infty \), then we have the following more accurate Hardy–Hilbert’s inequality with the best possible constant \(\frac{\pi }{\sin (\pi /p)}\) (cf. [1], Theorem 323):

$$\begin{aligned} \sum_{m = 1}^{\infty } \sum _{n = 1}^{\infty } \frac{a_{m}b_{n}}{m + n - 1} < \frac{\pi }{\sin (\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}}. \end{aligned}$$
(1)

For \(p = q = 2\), inequality (1) reduces to the more accurate Hilbert’s inequality. Since \(\frac{1}{m + n} < \frac{1}{m + n - 1}\), we still have the following Hardy–Hilbert’s inequality (cf. [1], Theorem 315):

$$\begin{aligned} \sum_{m = 1}^{\infty } \sum _{n = 1}^{\infty } \frac{a_{m}b_{n}}{m + n} < \frac{\pi }{\sin (\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}}. \end{aligned}$$
(2)

Assuming that \(f(x),g(y) \ge 0,0 < \int _{0}^{\infty } f^{p}(x)\,dx < \infty \) and \(0 < \int _{0}^{\infty } g^{q}(y)\,dy < \infty \), we have the following integral analogue of (2), namely Hardy–Hilbert’s integral inequality:

$$\begin{aligned} &\int _{0}^{\infty } \int _{0}^{\infty } \frac{f(x)g(y)}{x + y} \,dx\,dy \\ &\quad< \frac{\pi }{\sin (\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}$$
(3)

with the best possible constant factor \(\frac{\pi }{\sin (\pi /p)}\) (cf. [1], Theorem 316).

By introducing an independent parameter \(\lambda > 0\), Yang [2, 3] gave an extension of (2) (for \(p = q = 2\)) with the kernel \(\frac{1}{(x + y)^{\lambda }}\) and the best possible constant factor \(B(\frac{\lambda }{2},\frac{\lambda }{2})\) (\(B(u,v): = \int _{0}^{\infty } \frac{t^{u - 1}}{(1 + t)^{u + v}} \,dt\ (u,v > 0)\) is the beta function) in 1998. Inequalities (1), (2) and (3) play an important role in analysis and its applications (cf. [415]).

The following half-discrete Hilbert-type inequality was provided in 1934 (cf. [1], Theorem 351): If \(K(x)\) (\(x > 0\)) is decreasing, \(p > 1,\frac{1}{p} + \frac{1}{q} = 1,0 < \phi (s) = \int _{0}^{\infty } K(x)x^{s - 1} \,dx < \infty \), \(a_{n} \ge 0, 0 < \sum_{n = 1}^{\infty } a_{n}^{p} < \infty \), then

$$\begin{aligned} \int _{0}^{\infty } x^{p - 2} \Biggl(\sum _{n = 1}^{\infty } K(nx)a_{n} \Biggr)^{p}\,dx < \phi ^{p} \biggl(\frac{1}{q} \biggr) \sum_{n = 1}^{\infty } a_{n}^{p}. \end{aligned}$$
(4)

Some new extensions and applications of (4) were obtained in recent years [1621]. In 2016, by the use of the technique of real analysis, Hong et al. [22] provided some equivalent statements of the extensions of (1) with the best possible constant factor related to several parameters. Other results about the extensions of (1)–(4) were given by [2337].

In this paper, following the approach of [22], by means of the weight coefficients, the idea of introduced parameters and the technique of real analysis, a more accurate Hilbert-type inequality in the whole plane is given as follows: for \(r > 1,\frac{1}{r} + \frac{1}{s} = 1\),

$$\begin{aligned} &\sum_{ \vert n \vert = 1}^{\infty } \sum _{ \vert m \vert = 1}^{\infty } \frac{a_{m}b_{n}}{ \vert m - \frac{1}{2} \vert + \vert n - \frac{1}{2} \vert } \\ &\quad < \frac{2\pi }{\sin (\pi /r)} \Biggl(\sum_{ \vert m \vert = 1}^{\infty } \biggl\vert m - \frac{1}{2} \biggr\vert ^{\frac{p}{s} - 1} a_{m}^{p} \Biggr)^{\frac{1}{p}} \Biggl(\sum_{ \vert n \vert = 1}^{\infty } \biggl\vert n - \frac{1}{2} \biggr\vert ^{\frac{q}{r} - 1} b_{n}^{q} \Biggr)^{\frac{1}{q}}, \end{aligned}$$
(5)

which is an extension of (1). The general form of (4), as well as an equivalent form, is obtained. The equivalent statements of the best possible constant factor related to several parameters, the operator expressions and a few particular cases are considered.

Some lemmas

In what follows, we suppose that \(p > 1,\frac{1}{p} + \frac{1}{q} = 1, - \frac{1}{2} \le \xi,\eta \le \frac{1}{2}, - 1 < \alpha,\beta < 1,\lambda,\lambda _{1},\lambda _{2} \in \mathrm{R} = ( - \infty,\infty ), d: = \lambda - \lambda _{1} - \lambda _{2}\), \(k_{\lambda } (x,y)\ ( \ge 0)\) is a homogeneous function of degree −λ, satisfying

$$\begin{aligned} k_{\lambda } (ux,uy) = u^{ - \lambda } k_{\lambda } (x,y) \quad(u,x,y > 0), \end{aligned}$$

\(k_{\lambda } (x,y)x^{\lambda _{1} - 1}\) (resp. \(k_{\lambda } (x,y)y^{\lambda _{2} - 1}\)) is strictly decreasing and strictly convex with respect to \(x > 0\) (resp. \(y > 0\)), such that \(( - 1)^{i}\frac{\partial ^{i}}{\partial x^{i}}(k_{\lambda } (x,y)x^{\lambda _{1} - 1}) > 0,( - 1)^{i}\frac{\partial ^{i}}{\partial y^{i}}(k_{\lambda } (x,y)y^{\lambda _{2} - 1}) > 0\ (x,y > 0;i = 1,2)\), and

$$\begin{aligned} k_{\lambda } (\gamma ): = \int _{0}^{\infty } k_{\lambda } (1,u)u^{\gamma - 1} \,du \in \mathrm{R}_{ +} = (0,\infty )\quad (\gamma = \lambda _{2},\lambda - \lambda _{1}). \end{aligned}$$

We still assume that \(a_{m},b_{n} \ge 0\ (|m|,|n| \in \mathrm{N} = \{ 1,2, \ldots \} )\), satisfy

$$\begin{aligned} &0 < \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - d - 1} a_{m}^{p} < \infty, \\ &0 < \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - d - 1} b_{n}^{q} < \infty, \end{aligned}$$

where, \(\sum_{|j| = 1}^{\infty } =\cdots = \sum_{j = - 1}^{ - \infty }+ \cdots + \sum_{j = 1}^{\infty } \cdots (j = m,n)\).

Lemma 1

For any \(\gamma > 0\), we have the following inequalities:

$$\begin{aligned} &\frac{(1 + \vert \xi \vert )^{ - \chi }}{\gamma } \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr] \\ &\quad< \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{ - \gamma - 1} \\ &\quad< \frac{1}{\gamma } \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr] \bigl[\gamma \bigl(1 - \vert \xi \vert \bigr)^{ - \gamma - 1} + 1 \bigr]. \end{aligned}$$
(6)

Proof

Since \(( - 1)^{i}\frac{d^{i}}{dt^{i}}\frac{1}{(t - |\xi |)^{\gamma + 1}} > 0\ (t > \frac{3}{2};i = 1,2)\), for \(\frac{3}{2} \ge 1 + |\xi |\), by Hermite–Hadamard’s inequality (cf. [38]) and using the decreasing property of series, we find

$$\begin{aligned} &\sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{ - \gamma - 1} \\ &\quad= \sum_{m = - 1}^{ - \infty } \bigl[(1 - \alpha ) (\xi - m) \bigr]^{ - \gamma - 1} + \sum_{m = 1}^{\infty } \bigl[(1 + \alpha ) (m - \xi ) \bigr]^{ - \gamma - 1} \\ &\quad= \sum_{m = 1}^{\infty } \bigl[(1 - \alpha ) (m + \xi ) \bigr]^{ - \gamma - 1} + \sum_{m = 1}^{\infty } \bigl[(1 + \alpha ) (m - \xi ) \bigr]^{ - \gamma - 1} \\ &\quad\le \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr] \Biggl[\bigl(1 - \vert \xi \vert \bigr)^{ - \gamma - 1} + \sum _{m = 2}^{\infty } \bigl(m - \vert \xi \vert \bigr)^{ - \gamma - 1} \Biggr] \\ &\quad< \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr] \biggl[\bigl(1 - \vert \xi \vert \bigr)^{ - \gamma - 1} + \int _{\frac{3}{2}}^{\infty } \bigl(x - \vert \xi \vert \bigr)^{ - \gamma - 1} \,dx \biggr] \\ &\quad\le \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr] \biggl[\bigl(1 - \vert \xi \vert \bigr)^{ - \gamma - 1} + \int _{1 + \vert \xi \vert }^{\infty } \bigl(x - \vert \xi \vert \bigr)^{ - \gamma - 1} \,dx \biggr] \\ &\quad= \frac{1}{\gamma } \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr] \bigl[\gamma \bigl(1 - \vert \xi \vert \bigr)^{ - \gamma - 1} + 1 \bigr], \\ &\sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{ - \gamma - 1} \\ &\quad\ge \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr]\sum_{m = 1}^{\infty } \bigl(m + \vert \xi \vert \bigr)^{ - \gamma - 1} \\ &\quad> \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr] \int _{1}^{\infty } \bigl(x + \vert \xi \vert \bigr)^{ - \gamma - 1} \,dx\\ &\quad = \frac{(1 + \vert \xi \vert )^{ - \gamma }}{\gamma } \bigl[(1 - \alpha )^{ - \gamma - 1} + (1 + \alpha )^{ - \gamma - 1} \bigr], \end{aligned}$$

and then we have (6).

The lemma is proved. □

Definition 1

We set

$$\begin{aligned} k_{\xi,\eta } (m,n): = k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ), \vert n - \eta \vert + \beta (n - \eta ) \bigr) \quad\bigl( \vert m \vert , \vert n \vert \in \mathrm{N}\bigr), \end{aligned}$$

and define the following weight coefficients:

$$\begin{aligned} &\omega (\lambda _{2},m): = \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda - \lambda _{2}}\sum_{ \vert n \vert = 1}^{\infty } k_{\xi,\eta } (m,n) \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{\lambda _{2} - 1} \\ & \quad\bigl( \vert m \vert \in \mathrm{N} \bigr), \end{aligned}$$
(7)
$$\begin{aligned} &\varpi (\lambda _{1},n): = \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{\lambda - \lambda _{1}}\sum_{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n) \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda _{1} - 1} \\ &\quad \bigl( \vert n \vert \in \mathrm{N}\bigr). \end{aligned}$$
(8)

Lemma 2

The following inequalities are valid:

$$\begin{aligned} &\omega (\lambda _{2},m) < \frac{2}{1 - \beta ^{2}}k_{\lambda } (\lambda _{2})\quad \bigl( \vert m \vert \in \mathrm{N}\bigr), \end{aligned}$$
(9)
$$\begin{aligned} &\varpi (\lambda _{1},n) < \frac{2}{1 - \alpha ^{2}}k_{\lambda } (\lambda - \lambda _{1})\quad \bigl( \vert n \vert \in \mathrm{N} \bigr). \end{aligned}$$
(10)

Proof

For fixed \(|m| \in \mathrm{N}\), we set

$$\begin{aligned} &k^{(1)}(m,y): = k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 - \beta ) (\eta - y) \bigr),\quad y < \eta, \\ &k^{(2)}(m,y): = k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 + \beta ) (y - \eta ) \bigr),\quad y > \eta, \end{aligned}$$

where from for \(y > - \eta, k^{(1)}(m, - y) = k_{\lambda } (|m - \xi | + \alpha (m - \xi ),(1 - \beta )(y + \eta ))\). We find

$$\begin{aligned} \omega (\lambda _{2},m) ={}& \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda - \lambda _{2}} \\ &{}\times \Biggl\{ \sum_{n = - 1}^{ - \infty } k^{(1)}(m,n) \bigl[(1 - \beta ) (\eta - n) \bigr]^{\lambda _{2} - 1} + \sum _{n = 1}^{\infty } k^{(2)}(m,n) \bigl[(1 + \beta ) (n - \eta ) \bigr]^{\lambda _{2} - 1} \Biggr\} \\ = {}&\bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda - \lambda _{2}} \\ &{}\times \Biggl[(1 - \beta )^{\lambda _{2} - 1}\sum_{n = 1}^{\infty } k^{(1)}(m, - n) (n + \eta )^{\lambda _{2} - 1} \\ &{}+ (1 + \beta )^{\lambda _{2} - 1} \sum_{n = 1}^{\infty } k^{(2)}(m,n) (n - \eta )^{\lambda _{2} - 1} \Biggr]. \end{aligned}$$

In view of the assumptions, \(k^{(1)}(m, - y)(y + \eta )^{\lambda _{2} - 1}\) (resp. \(k^{(2)}(m,y)(y - \eta )^{\lambda _{2} - 1}\)) is strictly decreasing and strictly convex with respect to \(y \in ( - \eta,\infty )\) (resp. \(y \in (\eta,\infty )\)). By Hermite–Hadamard’s inequality and using the decreasing property of series, for \(\frac{1}{2} \ge \pm \eta \), we obtain

$$\begin{aligned} &\omega (\lambda _{2},m) \\ &\quad< \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda - \lambda _{2}} \biggl[(1 - \beta )^{\lambda _{2} - 1} \int _{\frac{1}{2}}^{\infty } k^{(1)}(m, - y) (y + \eta )^{\lambda _{2} - 1} \,dy \\ &\qquad{}+ (1 + \beta )^{\lambda _{2} - 1} \int _{\frac{1}{2}}^{\infty } k^{(2)}(m,y) (y - \eta )^{\lambda _{2} - 1}\,dy \biggr] \\ &\quad\le \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda - \lambda _{2}} \\ &\qquad{}\times \biggl[(1 - \beta )^{\lambda _{2} - 1} \int _{ - \eta }^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 - \beta ) (y + \eta ) \bigr) (y + \eta )^{\lambda _{2} - 1} \,dy \\ &\qquad{}+ (1 + \beta )^{\lambda _{2} - 1} \int _{\eta }^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 + \beta ) (y - \eta ) \bigr) (y - \eta )^{\lambda _{2} - 1} \,dy \biggr], \end{aligned}$$
(11)
$$\begin{aligned} &\omega (\lambda _{2},m) \\ &\quad > \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda - \lambda _{2}} \\ &\qquad{}\times \biggl[(1 - \beta )^{\lambda _{2} - 1} \int _{1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 - \beta ) (y + \eta ) \bigr) (y + \eta )^{\lambda _{2} - 1} \,dy \\ &\qquad{}+ (1 + \beta )^{\lambda _{2} - 1} \int _{1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 + \beta ) (y - \eta ) \bigr) (y - \eta )^{\lambda _{2} - 1} \,dy \biggr]. \end{aligned}$$
(12)

Setting \(u = \frac{(1 - \beta )(y + \eta )}{|m - \xi | + \alpha (m + \xi )}\) (resp. \(u = \frac{(1 + \beta )(y - \eta )}{|m - \xi | + \alpha (m + \xi )}\)) in the first (resp. second) integral of (11), we obtain

$$\begin{aligned} \omega (\lambda _{2},m) < \bigl[(1 - \beta )^{ - 1} + (1 + \beta )^{ - 1} \bigr] \int _{0}^{\infty } k_{\lambda } (1,u)u^{\lambda _{2} - 1} \,du = \frac{2k_{\lambda } (\lambda {}_{2})}{1 - \beta ^{2}}. \end{aligned}$$

Hence, we have (9).

In the same way, setting \(v = \frac{1}{u}\), we obtain

$$\begin{aligned} \varpi (\lambda _{1},n) < \frac{2}{1 - \alpha ^{2}} \int _{0}^{\infty } k_{\lambda } (u,1)u^{\lambda _{1} - 1} \,du = \frac{2}{1 - \alpha ^{2}} \int _{0}^{\infty } k_{\lambda } (1,v)v^{(\lambda - \lambda _{1}) - 1} \,dv = \frac{2k_{\lambda } (\lambda - \lambda _{1})}{1 - \alpha ^{2}}, \end{aligned}$$

and then (10) follows.

The lemma is proved. □

Lemma 3

If \(\lambda _{1} + \lambda _{2} = \lambda\) (or \(d = 0\)), then for any \(\varepsilon > 0\), we have

$$\begin{aligned} \tilde{H}&: = \sum_{ \vert m \vert = 1}^{\infty } \omega \biggl( \lambda _{2} - \frac{\varepsilon }{q},m \biggr) \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{ - \varepsilon - 1} \\ &> \frac{4}{\varepsilon 2^{\varepsilon } (1 - \beta ^{2})(1 - \alpha ^{2})} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr). \end{aligned}$$
(13)

Proof

By (7) (for \(\lambda _{1} + \lambda _{2} = \lambda \)) and (12), replacing \(\lambda _{2}\) (resp. \(\lambda _{1}\)) by \(\lambda _{2} - \frac{\varepsilon }{q}\) (resp. \(\lambda _{1} + \frac{\varepsilon }{q}\)), we have

$$\begin{aligned} &\omega \biggl(\lambda _{2} - \frac{\varepsilon }{q},m \biggr)\\ &\quad > \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{\lambda _{1} + \frac{\varepsilon }{q}} \\ &\qquad{}\times \biggl[(1 - \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \int _{1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 - \beta ) (y + \eta ) \bigr) (y + \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \,dy \\ &\qquad{}+ (1 + \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \int _{1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 + \beta ) (y - \eta ) \bigr) (y - \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}\,dy \biggr]. \end{aligned}$$

Then we find

$$\begin{aligned} \tilde{H} > {}&\sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(1 - \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \\ &{}\times \int _{1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 - \beta ) (y + \eta ) \bigr) (y + \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \,dy \\ &{}+ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(1 + \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \\ &{}\times \int _{1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 + \beta ) (y - \eta ) \bigr) (y - \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \,dy \\ ={}& (1 - \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \int _{1}^{\infty } \sum_{ \vert m \vert = 1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 - \beta ) (y + \eta ) \bigr) \\ &{}\times \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(y + \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}\,dy \\ &{}+ (1 + \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \int _{1}^{\infty } \sum_{ \vert m \vert = 1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ),(1 + \beta ) (y - \eta ) \bigr) \\ &{}\times \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(y - \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}\,dy = \sum_{i = 1}^{4} H_{i}, \end{aligned}$$

where we denote

$$\begin{aligned} H_{1}: ={}& (1 - \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}(1 - \alpha )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1} \\ &{}\times \int _{1}^{\infty } \sum_{m = 1}^{\infty } k_{\lambda } \bigl((1 - \alpha ) (m + \xi ),(1 - \beta ) (y + \eta ) \bigr) ( m + \xi )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(y + \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \,dy, \\ H_{2}: ={}& (1 - \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}(1 + \alpha )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1} \\ &{}\times \int _{1}^{\infty } \sum_{m = 1}^{\infty } k_{\lambda } \bigl((1 + \alpha ) (m - \xi ),(1 - \beta ) (y + \eta ) \bigr) (m - \xi )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(y + \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \,dy, \\ H_{3}: ={}& (1 + \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}(1 - \alpha )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1} \\ &{}\times \int _{1}^{\infty } \sum_{m = 1}^{\infty } k_{\lambda } \bigl((1 - \alpha ) (m + \xi ),(1 + \beta ) (y - \eta ) \bigr) (m + \xi )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(y - \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \,dy, \\ H_{4}: ={}& (1 + \beta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}(1 + \alpha )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1} \\ &{}\times \int _{1}^{\infty } \sum_{m = 1}^{\infty } k_{\lambda } \bigl((1 + \alpha ) (m - \xi ),(1 + \beta ) (y - \eta ) \bigr) (m - \xi )^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1}(y - \eta )^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1} \,dy. \end{aligned}$$

In the following, we estimate \(H_{1}\). Still using the decreasing property of series, for fixed \(x > - \xi, \frac{2}{1 - \eta } \ge 1{}(\eta = \alpha,\beta )\), setting \(u = \frac{(1 - \beta )(y + \eta )}{(1 - \alpha )(x + \xi )}\), we obtain

$$\begin{aligned} &H_{1} > (1 - \beta )^{\lambda _{2} - \frac{\varepsilon }{q} - 1}(1 - \alpha )^{\lambda _{1} - \frac{\varepsilon }{p} - 1} \int _{\frac{2}{1 - \alpha }}^{\infty } \biggl[ \int _{\frac{2}{1 - \beta }}^{\infty } k_{\lambda } \bigl((1 - \alpha ) (x + \xi ),(1 - \beta ) (y + \eta ) \bigr) \\ &\phantom{H_{1} >}{}\times (x + \xi )^{\lambda _{1} - \frac{\varepsilon }{p} - 1}(y + \eta )^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,dy \biggr]\,dx \\ &\phantom{H_{1} }= \frac{(1 - \alpha )^{ - \varepsilon - 1}}{1 - \beta } \int _{\frac{2}{1 - \alpha }}^{\infty } (x + \xi )^{ - \varepsilon - 1} \int _{\frac{2}{(1 - \alpha )(x + \xi )}}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du\,dx \\ &\phantom{H_{1} }\mathop{ =} ^{v = (1 - \alpha )(x + \xi )}\frac{1}{(1 - \beta )(1 - \alpha )} \int _{2}^{\infty } v^{ - \varepsilon - 1} \int _{\frac{2}{v}}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du\,dv \\ &\phantom{H_{1} }= \frac{1}{(1 - \beta )(1 - \alpha )} \biggl[ \int _{2}^{\infty } v^{ - \varepsilon - 1} \int _{\frac{2}{v}}^{2} k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du\,dv\\ &\phantom{H_{1} =}{} + \int _{2}^{\infty } v^{ - \varepsilon - 1} \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du\,dv \biggr] \\ &\phantom{H_{1} }= \frac{1}{(1 - \beta )(1 - \alpha )} \biggl[ \int _{0}^{2} \biggl( \int _{\frac{2}{u}}^{\infty } v^{ - \varepsilon - 1}\,dv \biggr)k_{\lambda } (1,u)u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \\ &\phantom{H_{1} =}{}+ \frac{1}{\varepsilon 2^{\varepsilon }} \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr] \\ &\phantom{H_{1} }= \tilde{H}_{1}: = \frac{1}{\varepsilon 2^{\varepsilon } (1 - \beta )(1 - \alpha )} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr). \end{aligned}$$

In the same way, we can find that

$$\begin{aligned} &H_{2} > \tilde{H}_{2}: = \frac{1}{\varepsilon 2^{\varepsilon } (1 - \beta )(1 + \alpha )} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr), \\ &H_{3} > \tilde{H}_{3}: = \frac{1}{\varepsilon 2^{\varepsilon } (1 + \beta )(1 - \alpha )} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr), \\ &H_{3} > \tilde{H}_{3}: = \frac{1}{\varepsilon 2^{\varepsilon } (1 + \beta )(1 + \alpha )} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr). \end{aligned}$$

In view of the above results, we have

$$\begin{aligned} \tilde{H} > \sum_{i = 1}^{4} \tilde{H}_{i} = \frac{4}{\varepsilon 2^{\varepsilon } (1 - \beta ^{2})(1 - \alpha ^{2})} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr), \end{aligned}$$

and then (13) follows.

The lemma is proved. □

Lemma 4

The following inequality holds:

$$\begin{aligned} H: ={}& \sum_{ \vert n \vert = 1}^{\infty } \sum _{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n)a_{m}b_{n} \\ < {}& \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - d - 1} a_{m}^{p} \Biggr\} ^{\frac{1}{p}} \\ &{}\times \Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \vert n - \eta \vert + \beta (n - \eta )]^{q(1 - \lambda _{2}) - d - 1} b_{n}^{q} \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(14)

Proof

By Hölder’s inequality with weight (cf. [38]), (7) and (8), we obtain

$$\begin{aligned} H ={}& \sum_{ \vert n \vert = 1}^{\infty } \sum _{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n) \biggl\{ \frac{[ \vert n - \eta \vert + \beta (n - \eta )]^{(\lambda _{2} - 1)/p}}{[ \vert m - \xi \vert + \alpha (m - \xi )]^{(\lambda _{1} - 1)/q}}a_{m} \biggr\} \\ &{}\times\biggl\{ \frac{[ \vert m - \xi \vert + \alpha (m - \xi )]^{(\lambda _{1} - 1)/q}}{[ \vert n - \eta \vert + \beta (n - \eta )]^{(\lambda _{2} - 1)/p}}b_{n} \biggr\} \\ \le{}& \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \sum _{ \vert n \vert = 1}^{\infty } k_{\xi,\eta } (m,n) \frac{[ \vert n - \eta \vert + \beta (n - \eta )]^{\lambda _{2} - 1}}{[ \vert m - \xi \vert + \alpha (m - \xi )]^{(\lambda _{1} - 1)(p - 1)}}a_{m}^{p} \Biggr\} ^{\frac{1}{p}} \\ &{}\times \Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \sum _{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n) \frac{[ \vert m - \xi \vert + \alpha (m - \xi )]^{\lambda _{1} - 1}}{[ \vert n - \eta \vert + \beta (n - \eta )]^{(\lambda _{2} - 1)(q - 1)}}b_{n}^{q} \Biggr\} ^{\frac{1}{q}} \\ = {}&\Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \omega (\lambda _{2},m) \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - d - 1}a_{m}^{p} \Biggr\} ^{\frac{1}{p}} \\ &{}\times \Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \varpi ( \lambda _{1},n) ( \vert n - \eta \vert + \beta (n - \eta )]^{q(1 - \lambda {}_{2}) - d - 1}b_{n}^{q} \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$

Then by (9) and (10), we have (14).

The lemma is proved. □

Remark 1

(i) By (14), for \(\lambda _{1} + \lambda _{2} = \lambda \) (or \(d = 0\)), we find

$$\begin{aligned} &0 < \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - 1} a_{m}^{p} < \infty, \\ &0 < \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - 1} b_{n}^{q} < \infty, \end{aligned}$$

and the following more accurate Hilbert-type inequality in the whole plane:

$$\begin{aligned} &\sum_{ \vert n \vert = 1}^{\infty } \sum _{ \vert m \vert = 1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ), \vert n - \eta \vert + \beta (n - \eta ) \bigr)a_{m}b_{n} \\ &\quad< \frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - 1} a_{m}^{p} \Biggr\} ^{\frac{1}{p}} \\ &\qquad{}\times \Biggl\{ \sum _{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - 1} b_{n}^{q} \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(15)

In particular, for \(\alpha = \beta = \xi = \eta = 0,a_{ - m} = a_{m},b_{ - n} = b_{n}\ (m,n \in \mathrm{N})\) in (15), we have

$$\begin{aligned} \sum_{n = 1}^{\infty } \sum _{m = 1}^{\infty } k_{\lambda } (m,n)a_{m}b_{n} < k_{\lambda } (\lambda _{2}) \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}$$
(16)

(ii) For \(\lambda = 1,\lambda _{1} = \frac{1}{q},\lambda _{2} = \frac{1}{p}\) in (16), we have

$$\begin{aligned} \sum_{n = 1}^{\infty } \sum _{m = 1}^{\infty } k_{1}(m,n)a_{m}b_{n} < k_{1} \biggl(\frac{1}{p} \biggr) \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}$$
(17)

for \(\lambda = 1,\lambda _{1} = \frac{1}{p},\lambda _{2} = \frac{1}{q}\) in (16), we have the dual form of (17) as follows:

$$\begin{aligned} \sum_{n = 1}^{\infty } \sum _{m = 1}^{\infty } k_{1}(m,n)a_{m}b_{n} < k_{1} \biggl(\frac{1}{q} \biggr) \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}}; \end{aligned}$$
(18)

for \(p = q = 2\), both (17) and (18) reduce to the following Hilbert-type inequality:

$$\begin{aligned} \sum_{n = 1}^{\infty } \sum _{m = 1}^{\infty } k_{1}(m,n)a_{m}b_{n} < k_{1} \biggl(\frac{1}{2} \biggr) \Biggl(\sum _{m = 1}^{\infty } a_{m}^{2} \sum _{n = 1}^{\infty } b_{n}^{2} \Biggr)^{\frac{1}{2}}. \end{aligned}$$
(19)

(iii) For \(\alpha = \beta = 0,\xi = \eta = \frac{1}{2},\lambda = 1,k_{1}(m,n) = \frac{1}{m + n},\lambda _{1} = \frac{1}{r},\lambda _{2} = \frac{1}{s}\ (r > 1,\frac{1}{r} + \frac{1}{s} = 1)\), (15) reduces to (5). Hence, (14) and (15) are general extensions of (5).

Lemma 5

The constant factor \(\frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\) in (15) is the best possible.

Proof

For any \(\varepsilon > 0\), we set

$$\begin{aligned} \tilde{a}_{m}: = \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{(\lambda _{1} - \frac{\varepsilon }{p}) - 1},\tilde{b}_{n}: = \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{(\lambda _{2} - \frac{\varepsilon }{q}) - 1}\quad\bigl( \vert m \vert , \vert n \vert \in \mathrm{N}\bigr). \end{aligned}$$

If there exists a constant \(M( \le \frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}})\), such that (15) is valid when replacing \(\frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\) by M, then in particular, in view of \(\lambda _{1} + \lambda _{2} = \lambda \), by Lemma 1, we have

$$\begin{aligned} \tilde{H} = {}&\sum_{ \vert n \vert = 1}^{\infty } \sum _{ \vert m \vert = 1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ), \vert n - \eta \vert + \beta (n - \mu ) \bigr) \tilde{a}_{m} \tilde{b}_{n} \\ < {}& M \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - 1} \tilde{a}_{m}^{p} \Biggr\} ^{\frac{1}{p}}\{ \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - 1} \tilde{b}_{n}^{q}]^{\frac{1}{q}}. \\ = {}&M \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{ - \varepsilon - 1} \Biggr\} ^{\frac{1}{p}} \Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{ - \varepsilon - 1} \Biggr\} ^{\frac{1}{q}} \\ < {}&\frac{M}{\varepsilon } \bigl\{ \bigl[(1 - \alpha )^{ - \varepsilon - 1} + (1 + \alpha )^{ - \varepsilon - 1} \bigr] \bigl[\varepsilon \bigl(1 - \vert \xi \vert \bigr)^{ - \varepsilon - 1} + 1 \bigr] \bigr\} ^{\frac{1}{p}} \\ &{}\times \bigl\{ \bigl[(1 - \beta )^{ - \varepsilon - 1} + (1 + \beta )^{ - \varepsilon - 1} \bigr] \bigl[\varepsilon \bigl(1 - \vert \eta \vert \bigr)^{ - \varepsilon - 1} + 1 \bigr] \bigr\} ^{\frac{1}{q}}. \end{aligned}$$

In view of the above result and (13), we have

$$\begin{aligned} &\frac{4}{2^{\varepsilon } (1 - \beta ^{2})(1 - \alpha ^{2})} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr) \\ &\quad< \varepsilon \tilde{H} < M \bigl\{ \bigl[(1 - \alpha )^{ - \varepsilon - 1} + (1 + \alpha )^{ - \varepsilon - 1} \bigr] \bigl[\varepsilon \bigl(1 - \vert \xi \vert \bigr)^{ - \varepsilon - 1} + 1 \bigr] \bigr\} ^{\frac{1}{p}} \\ &\qquad{}\times \bigl\{ \bigl[(1 - \beta )^{ - \varepsilon - 1} + (1 + \beta )^{ - \varepsilon - 1} \bigr] \bigl[\varepsilon \bigl(1 - \vert \eta \vert \bigr)^{ - \varepsilon - 1} + 1 \bigr] \bigr\} ^{\frac{1}{q}}. \end{aligned}$$

For \(\varepsilon \to 0^{ +} \), by Fatou lemma (cf. [39]), we find

$$\begin{aligned} &\frac{4}{(1 - \beta ^{2})(1 - \alpha ^{2})}k_{\lambda } (\lambda _{2}) \\ &\quad\le \lim_{\varepsilon \to 0^{ +}} \frac{4}{2^{\varepsilon } (1 - \beta ^{2})(1 - \alpha ^{2})} \biggl( \int _{0}^{2} k_{\lambda } (1,u)u^{\lambda _{2} + \frac{\varepsilon }{p} - 1} \,du + \int _{2}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - \frac{\varepsilon }{q} - 1} \,du \biggr)\\ &\quad\le \frac{2M}{(1 - \alpha ^{2})^{1/p}(1 - \beta ^{2})^{1/q}}, \end{aligned}$$

namely, \(\frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \le M\), which means that \(M = \frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\) is the best possible constant factor of (15).

The lemma is proved. □

Remark 2

(i) In view of Lemma 5, the constant factors in (16)–(19) are also the best possible.

(ii) Setting \(\hat{\lambda }_{1}: = \frac{\lambda - \lambda _{2}}{p} + \frac{\lambda _{1}}{q} = \lambda _{1} + \frac{d}{p},\hat{\lambda }_{2}: = \frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p} = \lambda _{2} + \frac{d}{q}\), we find

$$\begin{aligned} \hat{\lambda }_{1} + \hat{\lambda }_{2} = \frac{\lambda - \lambda _{2}}{p} + \frac{\lambda _{1}}{q} + \frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p} = \frac{\lambda }{p} + \frac{\lambda }{q} = \lambda, \end{aligned}$$

and then by Hölder’s inequality (cf. [38]), it follows that

$$\begin{aligned} 0 &< k_{\lambda } (\hat{\lambda }_{2}) = k_{\lambda } \biggl( \frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q} \biggr) \\ &= \int _{0}^{\infty } k_{\lambda } (1,u)u^{\frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q} - 1} \,du = \int _{0}^{\infty } k_{\lambda } (1,u) \bigl(u^{\frac{\lambda _{2} - 1}{p}} \bigr) \bigl(u^{\frac{\lambda - \lambda _{1} - 1}{q}} \bigr)\,du \\ &\le \biggl( \int _{0}^{\infty } k_{\lambda } (1,u) u^{\lambda _{2} - 1}\,du \biggr)^{\frac{1}{p}} \biggl( \int _{0}^{\infty } k_{\lambda } (1,u) u^{(\lambda - \lambda _{1}) - 1}\,du \biggr)^{\frac{1}{q}} \\ &= k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}( \lambda - \lambda _{1}) < \infty. \end{aligned}$$
(20)

We can rewrite (14) as follows:

$$\begin{aligned} H < {}&\frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \hat{\lambda }_{1}) - 1} a_{m}^{p} \Biggr\} ^{\frac{1}{p}} \\ &{}\times \Biggl\{ \sum _{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \hat{\lambda }_{2}) - 1} b_{n}^{q} \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(21)

Lemma 6

If the constant factor \(\frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\) in (14) (or (21)) is the best possible, then we have \(\lambda _{1} + \lambda _{2} = \lambda \).

Proof

If the constant factor \(\frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\) in (14) (or (21)) is the best possible, then by (21) and (15) (for \(\lambda _{i} = \hat{\lambda } {}_{i}\ (i = 1,2)\)), we have the following inequality:

$$\begin{aligned} \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \le \frac{2k_{\lambda } (\hat{\lambda }_{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}(\in \mathrm{R}_{ +}), \end{aligned}$$

namely, \(k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1}) \le k_{\lambda } (\hat{\lambda }_{2})\), which means that (20) is an equality.

We observe that (20) is an equality if and only if there exist constants A and B, such that they are not both zero and (cf. [38])

$$\begin{aligned} Au^{\lambda _{2} - 1} = Bu^{\lambda - \lambda _{1} - 1}\quad \text{a.e. in } \mathrm{R}_{ +}. \end{aligned}$$

Assuming that \(A \ne 0\), it follows that \(u^{\lambda _{2} + \lambda _{1} - \lambda } = \frac{B}{A}\) a.e. in \(\mathrm{R}_{ +} \), and then \(\lambda _{2} + \lambda _{1} - \lambda = 0\), namely, \(\lambda _{1} + \lambda _{2} = \lambda \).

The lemma is proved. □

Main results

Theorem 1

Inequality (14) is equivalent to the following more accurate Hilbert-type inequality in the whole plane:

$$\begin{aligned} L&: = \Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{p(\lambda _{2} + d) - d - 1} \Biggl(\sum _{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n)a_{m} \Biggr)^{p} \Biggr\} ^{\frac{1}{p}} \\ &< \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - d - 1} a_{m}^{p} \Biggr\} ^{\frac{1}{p}}. \end{aligned}$$
(22)

Proof

Suppose that (22) is valid. By Hölder’s inequality (cf. [38]), we find

$$\begin{aligned} H &= \sum_{ \vert n \vert = 1}^{\infty } \Biggl\{ \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{\frac{ - 1}{p} + \lambda _{2} + \frac{d}{q}}\sum _{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n)a_{m} \Biggr\} \bigl\{ \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{\frac{1}{p} - \lambda _{2} - \frac{d}{q}}b_{n} \bigr\} \\ &\le L \cdot \Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \xi \vert + \beta (n - \xi ) \bigr]^{q(1 - \lambda _{2}) - d - 1} b_{n}^{q} \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(23)

Then by (22), we obtain (14). On the other hand, assuming that (14) is valid, we set

$$\begin{aligned} b_{n}: = \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{p(\lambda _{2} + d) - d - 1} \Biggl(\sum_{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n)a_{m} \Biggr)^{p - 1},\quad \vert n \vert \in \mathbf{N}. \end{aligned}$$

Then we have

$$\begin{aligned} L^{p} = \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - d - 1} b_{n}^{q} = H. \end{aligned}$$
(24)

If \(L = 0\), then (22) is naturally valid; if \(L = \infty \), then it is impossible that (22) is valid, namely, \(L < \infty \). Suppose that \(0 < L < \infty \). By (14), it follows that

$$\begin{aligned} &\sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - d - 1} b_{n}^{q} \\ &\quad= L^{p} = H < \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - d - 1} a_{m}^{p} \Biggr\} ^{\frac{1}{p}}L^{p - 1}, \\ &L = \Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - d - 1} b_{n}^{q} \Biggr\} ^{\frac{1}{p}} \\ &\phantom{L =}< \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - d - 1} a_{m}^{p} \Biggr\} ^{\frac{1}{p}}, \end{aligned}$$

namely, (22) follows, which is equivalent to (14).

The theorem is proved. □

Theorem 2

The following statements are equivalent:

  1. (i)

    Both \(k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})\) and \(k_{\lambda } (\frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q})\) are independent of \(p,q\);

  2. (ii)

    \(k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})\le k_{\lambda } (\frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q})\);

  3. (iii)

    \(\lambda _{1} + \lambda _{2} = \lambda\);

  4. (iv)

    \(\frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\) is the best possible constant factor of (14);

  5. (v)

    \(\frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\) is the best possible constant factor of (22).

If the statement (iii) follows, namely, \(\lambda _{1} + \lambda _{2} = \lambda \) (or \(d = 0\)), then we have the following inequality equivalent to (15) with the best possible constant factor \(\frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\):

$$\begin{aligned} &\Biggl\{ \sum_{ \vert n \vert = 1}^{\infty } \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{p\lambda _{2} - 1} \Biggl[\sum _{ \vert m \vert = 1}^{\infty } k_{\lambda } \bigl( \vert m - \xi \vert + \alpha (m - \xi ), \vert n - \eta \vert + \beta (n - \eta ) \bigr)a_{m} \Biggr]^{p} \Biggr\} ^{\frac{1}{p}} \\ &\quad< \frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Biggl\{ \sum_{ \vert m \vert = 1}^{\infty } \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - 1} a_{m}^{p} \Biggr\} ^{\frac{1}{p}}. \end{aligned}$$
(25)

In particular, for \(\alpha = \beta = \xi = \eta = 0,a_{ - m} = a_{m},b_{ - n} = b_{n}\ (m,n \in \mathrm{N})\) in (25), we have the following inequality equivalent to (16) with the best possible constant factor \(k_{\lambda } (\lambda _{2})\):

$$\begin{aligned} \Biggl[\sum_{n = 1}^{\infty } n^{p\lambda _{2} - 1} \Biggl(\sum_{m = 1}^{\infty } k_{\lambda } (m,n)a_{m} \Biggr)^{p} \Biggr]^{\frac{1}{p}} < k_{\lambda } (\lambda _{2}) \Biggl[\sum _{m = 1}^{\infty } m^{p(1 - \lambda _{1}) - 1} a_{m}^{p} \Biggr]^{\frac{1}{p}}. \end{aligned}$$
(26)

Proof

(i) (ii). Since \(k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})\) is independent of \(p,q\), we find

$$\begin{aligned} k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}( \lambda - \lambda _{1}) = \lim_{q \to \infty } \lim _{p \to 1^{ +}} k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1}) = k_{\lambda } (\lambda _{2}). \end{aligned}$$

Then by Fatou lemma (cf. [39]), we have the following inequality:

$$\begin{aligned} k_{\lambda } \biggl(\frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q} \biggr) = \lim _{q \to \infty } k_{\lambda } \biggl(\lambda _{2} + \frac{c}{q} \biggr) \ge k_{\lambda } (\lambda _{2}) = k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}( \lambda - \lambda _{1}). \end{aligned}$$

(ii) (iii). If \(k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})\le k_{\lambda } (\frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q})\), then (20) is an equality. By the proof of Lemma 6, it follows that \(\lambda _{1} + \lambda _{2} = \lambda \).

(iii) (i). If \(\lambda _{1} + \lambda _{2} = \lambda \), then we have

$$\begin{aligned} k_{\lambda } \biggl(\frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q} \biggr) = k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}( \lambda - \lambda _{1}) = k_{\lambda } (\lambda _{2}). \end{aligned}$$

Both \(k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})\) and \(k_{\lambda } (\frac{\lambda _{2}}{p} + \frac{\lambda - \lambda _{1}}{q})\) are independent of \(p,q\).

Hence, we have (i) (ii) (iii).

(iii) (iv). By Lemmas 5 and 6, we obtain the conclusions.

(iv) (v). If the constant factor in (14) is the best possible, then so is the constant factor in (22). Otherwise, by (23), we would reach a contradiction that the constant factor in (14) is not the best possible. On the other hand, if the constant factor in (22) is the best possible, then so is the constant factor in (14). Otherwise, by (24), we would reach a contradiction that the constant factor in (22) is not the best possible.

Therefore, the statements (i)–(v) are equivalent.

The theorem is proved. □

Operator expressions

We define functions

$$\begin{aligned} \phi (m): = \bigl[ \vert m - \xi \vert + \alpha (m - \xi ) \bigr]^{p(1 - \lambda _{1}) - d - 1},\qquad \psi (n): = \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{q(1 - \lambda _{2}) - d - 1}, \end{aligned}$$

where

$$\begin{aligned} \psi ^{1 - p}(n) = \bigl[ \vert n - \eta \vert + \beta (n - \eta ) \bigr]^{p(\lambda _{2} + d) - d - 1}\quad \bigl( \vert m \vert , \vert n \vert \in \mathrm{N} \bigr). \end{aligned}$$

Define the following real normed spaces:

$$\begin{aligned} &l_{p,\phi }: = \Biggl\{ a = \{ a_{m}\}_{ \vert m \vert = 1}^{\infty }; \Vert a \Vert _{p,\phi }: = \Biggl(\sum_{ \vert m \vert = 1}^{\infty } \phi (m) \vert a_{m} \vert ^{p} \Biggr)^{\frac{1}{p}} < \infty \Biggr\} , \\ &l_{q,\psi }: = \Biggl\{ b = \{ b_{n}\}_{ \vert n \vert = 1}^{\infty }; \Vert b \Vert _{q,\psi }: = \Biggl(\sum_{ \vert n \vert = 1}^{\infty } \psi (n) \vert b_{n} \vert ^{q} \Biggr)^{\frac{1}{q}} < \infty \Biggr\} , \\ &l_{p,\psi ^{1 - p}}: = \Biggl\{ c = \{ c_{n}\}_{ \vert n \vert = 1}^{\infty }; \Vert c \Vert _{p,\psi ^{1 - p}}: = \Biggl(\sum_{ \vert n \vert = 1}^{\infty } \psi ^{1 - p}(n) \vert b_{n} \vert ^{p} \Biggr)^{\frac{1}{p}} < \infty \Biggr\} . \end{aligned}$$

Assuming that \(a \in l_{p,\phi } \) and setting

$$\begin{aligned} c = \{ c_{n}\}_{ \vert n \vert = 1}^{\infty },c_{n}: = \sum_{ \vert m \vert = 1}^{\infty } k_{\xi,\eta } (m,n)a_{m}, \quad \vert n \vert \in \mathrm{N}, \end{aligned}$$

we can rewrite (22) as follows:

$$\begin{aligned} \Vert c \Vert _{p,\psi ^{1 - p}} < \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Vert a \Vert _{p,\phi } < \infty, \end{aligned}$$

namely, \(c \in l_{p,\psi ^{1 - p}}\).

Definition 2

Define a Hilbert-type operator \(T:l_{p,\phi } \to l_{p,\psi ^{1 - p}}\) as follows: For any \(a \in l_{p,\phi }\), there exists a unique representation \(Ta = c \in l_{p,\psi ^{1 - p}}\), satisfying for any \(|n| \in \mathrm{N}\), \(Ta(n) = c_{n}\). Define the formal inner product of Ta and \(b \in l_{q,\psi } \), and the norm of T, as follows:

$$\begin{aligned} &(Ta,b): = \sum_{|n| = 1}^{\infty } \Biggl(\sum _{|m| = 1}^{\infty } k_{\xi,\eta } (m,n)a_{m} \Biggr) b_{n} = H, \\ &\Vert T \Vert : = \sup_{a( \ne \theta ) \in l_{p,\phi }} \frac{ \Vert Ta \Vert _{p,\psi ^{1 - p}}}{ \Vert a \Vert _{p,\phi }}. \end{aligned}$$

By Theorems 1 and 2, we have

Theorem 3

If \(a \in l_{p,\phi },b \in l_{q,\psi }, \Vert a \Vert _{p,\phi }, \Vert b \Vert _{q,\psi } > 0\), then we have the following equivalent inequalities:

$$\begin{aligned} &(Ta,b) < \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Vert a \Vert _{p,\phi } \Vert b \Vert _{q,\psi }, \end{aligned}$$
(27)
$$\begin{aligned} &\Vert Ta \Vert _{p,\psi ^{1 - p}} < \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \Vert a \Vert _{p,\phi }. \end{aligned}$$
(28)

Moreover, \(\lambda _{1} + \lambda _{2} = \lambda \) if and only if the constant factor

$$\begin{aligned} \frac{2k_{\lambda }^{\frac{1}{p}}(\lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda - \lambda _{1})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\ \biggl(= \frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \biggr) \end{aligned}$$

in (27) and (28) is the best possible, namely,

$$\begin{aligned} \Vert T \Vert = \frac{2k_{\lambda } (\lambda _{2})}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}. \end{aligned}$$
(29)

Example 1

For \(\lambda > 0,0 < \sigma \le 1,\lambda _{i} \in (0,\lambda ) \cap (0,1]\ (i = 1,2)\), setting \(k_{\lambda } (x,y) = \frac{1}{(x^{\sigma } + y^{\sigma } )^{\lambda /\sigma }}\ (x,y > 0)\) yields that

$$\begin{aligned} k_{\xi,\eta } (m,n) = \frac{1}{\{ [ \vert m - \xi \vert + \alpha (m - \xi )]^{\sigma } + [ \vert n - \eta \vert + \beta (n - \eta )]^{\sigma } \}^{\lambda /\sigma }}\quad \bigl( \vert m \vert , \vert n \vert \in \mathrm{N}\bigr), \end{aligned}$$

\(k_{\lambda } (x,y)x^{\lambda _{1} - 1}\) (resp. \(k_{\lambda } (x,y)y^{\lambda _{2} - 1}\)) is strictly decreasing and strictly convex with respect to \(x > 0\) (resp. \(y > 0\)), such that

$$\begin{aligned} k_{\lambda } (\gamma )& = \int _{0}^{\infty } \frac{u^{\gamma - 1}}{(1 + u^{\sigma } )^{\lambda /\sigma }} \,du\mathop{ =} ^{v = u^{\sigma }} \frac{1}{\sigma } \int _{0}^{\infty } \frac{v^{(\gamma /\sigma ) - 1}}{(1 + v)^{\lambda /\sigma }} \,dv \\ &= \frac{1}{\sigma } B \biggl(\frac{\gamma }{\sigma }.\frac{\lambda - \gamma }{\sigma } \biggr) \in \mathrm{R}_{ +} \quad(\gamma = \lambda _{2},\lambda - \lambda _{1}). \end{aligned}$$

By Theorem 3, it follows that \(\lambda _{1} + \lambda _{2} = \lambda \) if and only if

$$\begin{aligned} \Vert T \Vert = \frac{2}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}}\frac{1}{\sigma } B \biggl( \frac{\lambda _{1}}{\sigma } .\frac{\lambda _{2}}{\sigma } \biggr). \end{aligned}$$
(30)

Example 2

For \(0 < \lambda \le 1,\lambda _{i} \in (0,\lambda ) \cap (0,1]\ (i = 1,2)\), setting \(k_{\lambda } (x,y) = \frac{\ln (x/y)}{x^{\lambda } - y^{\lambda }}\ (x,y > 0)\) yields that

$$\begin{aligned} k_{\xi,\eta } (m,n) = \frac{\ln \frac{ \vert m - \xi \vert + \alpha (m - \xi )}{ \vert n - \eta \vert + \beta (n - \eta )}}{[ \vert m - \xi \vert + \alpha (m - \xi )]^{\lambda } - [ \vert n - \eta \vert + \beta (n - \eta )]^{\lambda }} \quad\bigl( \vert m \vert , \vert n \vert \in \mathrm{N}\bigr), \end{aligned}$$

\(k_{\lambda } (x,y)x^{\lambda _{1} - 1}\) (resp. \(k_{\lambda } (x,y)y^{\lambda _{2} - 1}\)) is strictly decreasing and strictly convex with respect to \(x > 0\) (resp. \(y > 0\)), such that

$$\begin{aligned} k_{\lambda } (\gamma ) = \int _{0}^{\infty } \frac{u^{\gamma - 1}\ln u}{u^{\lambda } - 1} \,du = \biggl[ \frac{\pi }{\lambda \sin (\pi \gamma /\lambda )} \biggr]^{2} \in \mathrm{R}_{ +} \quad(\gamma = \lambda _{2},\lambda - \lambda _{1}). \end{aligned}$$

By Theorem 3, it follows that \(\lambda _{1} + \lambda _{2} = \lambda \) if and only if

$$\begin{aligned} \Vert T \Vert = \frac{2}{(1 - \beta ^{2})^{1/p}(1 - \alpha ^{2})^{1/q}} \biggl[\frac{\pi }{\lambda \sin (\pi \lambda _{2}/\lambda )} \biggr]^{2}. \end{aligned}$$
(31)

Conclusions

In this paper, by means of the weight coefficients, the idea of introduced parameters and the technique of real analysis, a more accurate Hilbert-type inequality in the whole plane is obtained in Lemma 4, which is an extension of (1). An equivalent form is given in Theorem 1. The equivalent statements of the best possible constant factor related to several parameters are considered in Theorem 2. The operator expressions and some particular cases are provided in Theorem 3, Remark 1 and Examples 12. The lemmas and theorems provide an extensive account of this type of inequalities.

Availability of data and materials

The data used to support the findings of this study are included within the article.

References

  1. 1.

    Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities. Cambridge University Press, Cambridge (1934)

    Google Scholar 

  2. 2.

    Yang, B.C.: On Hilbert’s integral inequality. J. Math. Anal. Appl. 220, 778–785 (1998)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Yang, B.C.: A note on Hilbert’s integral inequality. Chin. Q. J. Math. 13(4), 83–86 (1998)

    MATH  Google Scholar 

  4. 4.

    Yang, B.C.: The Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijing, (2009)

    Google Scholar 

  5. 5.

    Yang, B.C.: Hilbert-Type Integral Inequalities. Bentham Science, The United Arab Emirates (2009)

    Google Scholar 

  6. 6.

    Krnić, M., Pečarić, J.: General Hilbert’s and Hardy’s inequalities. Math. Inequal. Appl. 8, 29–51 (2005)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Perić, I., Vuković, P.: Multiple Hilbert’s type inequalities with a homogeneous kernel. Banach J. Math. Anal. 5(2), 33–43 (2011)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Huang, Q.L.: A new extension of Hardy–Hilbert-type inequality. J. Inequal. Appl. 2015, 397 (2015)

    MathSciNet  Article  Google Scholar 

  9. 9.

    He, B.: A multiple Hilbert-type discrete inequality with a new kernel and best possible constant factor. J. Math. Anal. Appl. 431, 889–902 (2015)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Xu, J.S.: Hardy–Hilbert’s inequalities with two parameters. Adv. Math. 36(2), 63–76 (2007)

    MathSciNet  Google Scholar 

  11. 11.

    Xie, Z.T., Zeng, Z., Sun, Y.F.: A new Hilbert-type inequality with the homogeneous kernel of degree −2. Adv. Appl. Math. Sci. 12(7), 391–401 (2013)

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Zhen, Z., Raja Rama Gandhi, K., Xie, Z.T.: A new Hilbert-type inequality with the homogeneous kernel of degree −2 and with the integral. Bull. Math. Sci. Appl. 3(1), 11–20 (2014)

    Google Scholar 

  13. 13.

    Xin, D.M.: A Hilbert-type integral inequality with the homogeneous kernel of zero degree. Math. Theory Appl. 30(2), 70–74 (2010)

    MathSciNet  Google Scholar 

  14. 14.

    Azar, L.E.: The connection between Hilbert and Hardy inequalities. J. Inequal. Appl. 2013, 452 (2013)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Adiyasuren, V., Batbold, T., Krnić, M.: Hilbert-type inequalities involving differential operators, the best constants and applications. Math. Inequal. Appl. 18(1), 111–124 (2015)

    MathSciNet  MATH  Google Scholar 

  16. 16.

    Rassias, M.T., Yang, B.C.: On half-discrete Hilbert’s inequality. Appl. Math. Comput. 220, 75–93 (2013)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Yang, B.C., Krnic, M.: A half-discrete Hilbert-type inequality with a general homogeneous kernel of degree 0. J. Math. Inequal. 6(3), 401–417 (2012)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Rassias, M.T., Yang, B.C.: A multidimensional half-discrete Hilbert-type inequality and the Riemann zeta function. Appl. Math. Comput. 225, 263–277 (2013)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Rassias, M.T., Yang, B.C.: On a multidimensional half-discrete Hilbert-type inequality related to the hyperbolic cotangent function. Appl. Math. Comput. 242, 800–813 (2013)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Huang, Z.X., Yang, B.C.: On a half-discrete Hilbert-type inequality similar to Mulholland’s inequality. J. Inequal. Appl. 2013, 290 (2013)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Yang, B.C., Debnath, L.: Half-Discrete Hilbert-Type Inequalities. World Scientific, Singapore (2014)

    Google Scholar 

  22. 22.

    Hong, Y., Wen, Y.: A necessary and sufficient condition of that Hilbert type series inequality with homogeneous kernel has the best constant factor. Ann. Math. 37A(3), 329–336 (2016)

    MathSciNet  MATH  Google Scholar 

  23. 23.

    Hong, Y.: On the structure character of Hilbert’s type integral inequality with homogeneous kernel and applications. J. Jilin Univ. Sci. Ed. 55(2), 189–194 (2017)

    Google Scholar 

  24. 24.

    Hong, Y., Huang, Q.L., Yang, B.C., Liao, J.Q.: The necessary and sufficient conditions for the existence of a kind of Hilbert-type multiple integral inequality with the non-homogeneous kernel and its applications. J. Inequal. Appl. 2017, 316 (2017)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Xin, D.M., Yang, B.C., Wang, A.Z.: Equivalent property of a Hilbert-type integral inequality related to the beta function in the whole plane. J. Funct. Spaces 2018, Article ID 2691816 (2018)

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Hong, Y., He, B., Yang, B.C.: Necessary and sufficient conditions for the validity of Hilbert type integral inequalities with a class of quasi-homogeneous kernels and its application in operator theory. J. Math. Inequal. 12(3), 777–788 (2018)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Huang, Z.X., Yang, B.C.: Equivalent property of a half-discrete Hilbert’s inequality with parameters. J. Inequal. Appl. 2018, 333 (2018)

    MathSciNet  Article  Google Scholar 

  28. 28.

    He, L.P., Liu, H.Y., Yang, B.C.: Parametric Mulholland-type inequalities. J. Appl. Anal. Comput. 9(5), 1973–1986 (2019)

    MathSciNet  Google Scholar 

  29. 29.

    Yang, B.C., Hauang, M.F., Zhong, Y.R.: On an extended Hardy–Hilbert’s inequality in the whole plane. J. Appl. Anal. Comput. 9(6), 2124–2136 (2019)

    MathSciNet  Google Scholar 

  30. 30.

    Yang, B.C., Wu, S., Wang, A.: On a reverse half-discrete Hardy–Hilbert’s inequality with parameters. Mathematics 7, 1054 (2019)

    Article  Google Scholar 

  31. 31.

    Wang, A.Z., Yang, B.C., Chen, Q.: Equivalent properties of a reverse half-discrete Hilbert’s inequality. J. Inequal. Appl. 2019, 279 (2019)

    MathSciNet  Article  Google Scholar 

  32. 32.

    Yang, B.C., Wu, S.H., Liao, J.Q.: On a new extended Hardy–Hilbert’s inequality with parameters. Mathematics 8, 73 (2020). https://doi.org/10.3390/math8010073

    Article  Google Scholar 

  33. 33.

    Mo, H.M., Yang, B.C.: On a new Hilbert-type integral inequality involving the upper limit functions. J. Inequal. Appl. 2020, 5 (2020)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Huang, X.S., Luo, R.C., Yang, B.C.: On a new extended half-discrete Hilbert’s inequality involving partial sums. J. Inequal. Appl. 2020, 16 (2020)

    MathSciNet  Article  Google Scholar 

  35. 35.

    Yang, B.C., Wu, S.H., Chen, Q.: On an extended Hardy–Littlewood–Polya’s inequality. AIMS Math. 5(2), 1550–1561 (2020)

    MathSciNet  Article  Google Scholar 

  36. 36.

    Liao, J.Q., Wu, S.H., Yang, B.C.: On a new half-discrete Hilbert-type inequality involving the variable upper limit integral and the partial sum. Mathematics 8, 229 (2020). https://doi.org/10.3390/math8020229

    Article  Google Scholar 

  37. 37.

    Yang, B.C., Huang, M.F., Zhong, Y.R.: Equivalent statements of a more accurate extended Mulholland’s inequality with a best possible constant factor. Math. Inequal. Appl. 23(1), 231–244 (2020)

    MathSciNet  MATH  Google Scholar 

  38. 38.

    Kuang, J.C.: Applied Inequalities. Shangdong Science and Technology Press, Jinan (2004)

    Google Scholar 

  39. 39.

    Kuang, J.C.: Real Analysis and Functional Analysis (Continuation), 2nd edn. Higher Education Press, Beijing (2015)

    Google Scholar 

Download references

Acknowledgements

The authors thank the referee for his useful suggestions in reforming the paper.

Funding

This work is supported by the National Natural Science Foundation (Nos. 11961021, 11561019), Hechi University Research Fund for Advanced Talents (No. 2019GCC005) and Science and Technology Planning Project Item of Guangzhou City (No. 201707010229). We are grateful for this help.

Author information

Affiliations

Authors

Contributions

BY carried out the mathematical studies, participated in the sequence alignment and drafted the manuscript. XH participated in the design of the study and performed the numerical analysis. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xingshou Huang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Huang, X., Yang, B. On a more accurate Hilbert-type inequality in the whole plane with the general homogeneous kernel. J Inequal Appl 2021, 10 (2021). https://doi.org/10.1186/s13660-020-02542-2

Download citation

MSC

  • 26D15

Keywords

  • Weight coefficient
  • More accurate Hilbert-type inequality
  • Equivalent form
  • Equivalent statement
  • Parameter
  • Operator expression