Parameterized discrete Hilbert-type inequalities with intermediate variables

Abstract

By means of the weight coefficients and the idea of introducing parameters, a discrete Hilbert-type inequality with the general homogeneous kernel and the intermediate variables is given. The equivalent form is obtained. The equivalent statements of the best possible constant factor related to some parameters, the operator expressions, and a few particular cases are considered.

1 Introduction

Assuming that $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$, we have the following Hardy–Hilbert inequality with the best possible constant $\frac{\pi }{\sin (\pi /p)}$ (cf. [1], Theorem 315):

$$ \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}}. $$

(1)

For $p = q = 2$, inequality (1) reduces to the well-known Hilbert inequality.

If $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$, then we have the following Hardy–Hilbert integral inequality:

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

(2)

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

In 1998, by introducing an independent parameter $\lambda > 0$, Yang [2, 3] gave an extension of (2) (for $p = q = 2$) with the best possible constant factor $B(\frac{\lambda }{2},\frac{\lambda }{2})$ as follows:

$$ \int _{0}^{\infty } \int _{0}^{\infty } \frac{f(x)g(y)}{(x + y)^{\lambda }} \,dx \,dy < 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}}. $$

(3)

Inequalities (1), (2), (3) and their extensions are important in analysis and its applications (cf. [4,5,6,7,8,9,10,11,12,13,14,15]).

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

$$ \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}. $$

(4)

Some new extensions of (4) with their applications were provided by [16,17,18,19,20,21].

In 2016, by the use of the technique of real analysis, Hong [22] considered some equivalent statements of the extensions of (1) with the best possible constant factor related to a few parameters. The other similar works about the extensions of (2) and (3) were given by [23,24,25,26,27].

In this paper, following the way of [22], by means of the weight functions and the idea of introducing parameters, a discrete Hilbert-type inequality with the general homogeneous kernel and the intermediate variables is given, which is an extension of (1). The equivalent form is obtained. The equivalent statements of the best possible constant factor related to parameters, the operator expressions, and a few particular cases are considered.

2 Some lemmas

In what follows, we suppose that $p > 1$, $\frac{1}{p} + \frac{1}{q} = 1$, $\alpha ,\beta > 0$, $\lambda \in \mathrm{R}$, $\lambda _{2},\lambda - \lambda _{1} \le \frac{1}{\beta }$, $\lambda _{1},\lambda - \lambda _{2} \le \frac{1}{ \alpha }$, $k_{\lambda } (x,y)$ is a positive homogeneous function of degree −λ satisfying, for any $u,x,y > 0$,

$$ k_{\lambda } (ux,uy) = u^{ - \lambda } k_{\lambda } (x,y). $$

Also, $k_{\lambda } (x,y)$ is strictly decreasing with respect to $x,y > 0$ such that, for $\gamma = \lambda _{1},\lambda - \lambda _{2}$,

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

(5)

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

$$ 0 < \sum_{m = 1}^{\infty } m^{p[1 - \alpha (\frac{\lambda - \lambda _{2}}{p} + \frac{\lambda _{1}}{q})] - 1} a_{m}^{p} < \infty \quad \text{and}\quad 0 < \sum _{n = 1}^{\infty } n^{q[1 - \beta ( \frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p})] - 1} b_{n} ^{q} < \infty . $$

Definition 1

We define the following weight coefficients:

$$\begin{aligned}& \omega _{\lambda } (\lambda _{2},m): = m^{\alpha (\lambda - \lambda _{2})} \sum _{n = 1}^{\infty } k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr)n^{ \beta \lambda _{2} - 1}\quad (m \in \mathrm{N}), \end{aligned}$$

(6)

$$\begin{aligned}& \varpi _{\lambda } (\lambda _{1},n): = n^{\beta (\lambda - \lambda _{1})} \sum _{m = 1}^{\infty } k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr)m^{ \alpha \lambda _{1} - 1}\quad (n \in \mathrm{N}). \end{aligned}$$

(7)

Lemma 1

We have the following inequalities:

$$\begin{aligned}& \omega _{\lambda } (\lambda _{2},m) < \frac{1}{\beta } k_{\lambda } ( \lambda - \lambda _{2}) \quad (m \in \mathrm{N}), \end{aligned}$$

(8)

$$\begin{aligned}& \varpi _{\lambda } (\lambda _{1},n) < \frac{1}{\alpha } k_{\lambda } ( \lambda _{1})\quad (n \in \mathrm{N}). \end{aligned}$$

(9)

Proof

For $\beta \lambda _{2} - 1 \le 0$, it is evident that $k_{\lambda } (m^{\alpha },y^{\beta } )y^{\beta \lambda _{2} - 1}$ is strictly decreasing with respect to $y > 0$. By the decreasingness property, setting $u = \frac{m^{\alpha }}{y^{\beta }}$, we find that

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

Hence, we have (8).

For $\alpha \lambda _{1} - 1 \le 0$, it is evident that $k_{ \lambda } (x^{\alpha },n^{\beta } )x^{\alpha \lambda _{1} - 1}$ is strictly decreasing with respect to $x > 0$. By the decreasingness property, setting $u = \frac{x^{\alpha }}{n^{\beta }}$, we find that

$$ \begin{aligned}\varpi _{\lambda } (\lambda _{1},n) &< n^{\beta (\lambda - \lambda _{1})} \int _{0}^{\infty } k_{\lambda } \bigl(x^{\alpha },n^{\beta } \bigr)x^{\alpha \lambda _{1} - 1}\,dx \\ & = \frac{1}{\alpha } \int _{0}^{\infty } k_{\lambda } (u,1 )u^{\lambda _{1} - 1}\,du = \frac{1}{\alpha } k_{\lambda } (\lambda _{1}). \end{aligned} $$

Hence, we have (9). □

Lemma 2

We have the following inequality:

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

(10)

Proof

By Hölder’s inequality with weight (cf. [28]), we obtain

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

Then, by (8) and (9), we have (10). □

Remark 1

(i) By (10), for $\lambda _{1} + \lambda _{2} = \lambda$, we find

$$ 0 < \sum_{m = 1}^{\infty } m^{p(1 - \alpha \lambda _{1}) - 1} a_{m} ^{p} < \infty \quad \text{and}\quad 0 < \sum _{n = 1}^{\infty } n^{q(1 - \beta \lambda _{2}) - 1} b_{n}^{q} < \infty , $$

and the following inequality:

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

(11)

In particular, for $\alpha = \beta = 1$, we have

$$ \sum_{n = 1}^{\infty } \sum _{m = 1}^{\infty } k_{\lambda } (m,n)a_{m}b _{n}< k_{\lambda } (\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}}. $$

(12)

(ii) For $\lambda = 1$, $k_{1}(x,y) = \frac{1}{x + y}$, $\lambda _{1} = \frac{1}{q}$, $\lambda _{2} = \frac{1}{p}$, (12) reduces to (1). Hence, (11) is an extension of (12) and (1).

Lemma 3

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

Proof

For any $\varepsilon > 0$, we set

$$ \tilde{a}_{m}: = m^{\alpha (\lambda _{1} - \frac{\varepsilon }{p}) - 1}, \qquad \tilde{b}_{n}: = n^{\beta (\lambda _{2} - \frac{\varepsilon }{q}) - 1}\quad (m,n \in \mathrm{N}). $$

If there exists a constant M ($\le \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k _{\lambda } (\lambda _{1})$) such that (11) is valid when replacing $\frac{1}{ \beta ^{1/p}\alpha ^{1/q}}k_{\lambda } (\lambda _{1})$ by M, then, in particular, we have

$$ \tilde{I}: = \sum_{n = 1}^{\infty } \sum _{m = 1}^{\infty } k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr)\tilde{a}_{m}\tilde{b}_{n}< M\Biggl[\sum _{m = 1} ^{\infty } m^{p(1 - \alpha \lambda _{1}) - 1} \tilde{a}_{m}^{p} \Biggr]^{ \frac{1}{p}}\Biggl[\sum_{n = 1}^{\infty } n^{q(1 - \beta \lambda _{2}) - 1} \tilde{b}_{n}^{q}\Biggr]^{\frac{1}{q}}. $$

By the decreasingness property, we obtain

$$ \begin{aligned} \tilde{I} &< M\Biggl[\sum _{m = 1}^{\infty } m^{p(1 - \alpha \lambda _{1}) - 1} m^{p\alpha \lambda _{1} - \alpha \varepsilon - p} \Biggr]^{\frac{1}{p}}\Biggl[ \sum_{n = 1}^{\infty } n^{q(1 - \beta \lambda _{2}) - 1} n^{q\beta \lambda _{2} - \beta \varepsilon - q}\Biggr]^{\frac{1}{q}} \\ &= M\Biggl(1 + \sum_{m = 2}^{\infty } m^{ - \alpha \varepsilon - 1} \Biggr)^{ \frac{1}{p}}\Biggl(1 + \sum _{n = 2}^{\infty } n^{ - \beta \varepsilon - 1} \Biggr)^{ \frac{1}{q}} \\ &< M\biggl(1 + \int _{1}^{\infty } t^{ - \alpha \varepsilon - 1}\,dt \biggr)^{ \frac{1}{p}}\biggl(1 + \int _{1}^{\infty } t^{ - \beta \varepsilon - 1}\,dt \biggr)^{ \frac{1}{q}} \\ &= \frac{M}{\varepsilon } \biggl(\varepsilon + \frac{1}{\alpha } \biggr)^{ \frac{1}{p}}\biggl(\varepsilon + \frac{1}{\beta } \biggr)^{\frac{1}{q}}. \end{aligned} $$

By the decreasingness property and Fubini theorem (cf. [29]), we find

$$\begin{aligned} \tilde{I} &= \sum_{n = 1}^{\infty } \sum_{m = 1}^{\infty } k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr) \frac{m^{\alpha \lambda _{1} - 1}}{m^{ \varepsilon \alpha /p}} \cdot \frac{n^{\beta \lambda _{2} - 1}}{n^{ \varepsilon \beta /q}} \\ &\ge \int _{1}^{\infty } \biggl[ \int _{1}^{\infty } k_{\lambda } \bigl(x^{\alpha },y ^{\beta } \bigr) \frac{x^{\alpha \lambda _{1} - 1}}{x^{\varepsilon \alpha /p}} \cdot \frac{y ^{\beta \lambda _{2} - 1}}{y^{\varepsilon \beta /q}}\,dx\biggr]\,dy\quad \biggl(u = \frac{x ^{\alpha }}{y^{\beta }} \biggr) \\ &= \frac{1}{\alpha } \int _{1}^{\infty } y^{ - \beta \varepsilon - 1}\biggl( \int _{\frac{1}{y^{\beta }}}^{\infty } k_{\lambda } (u,1) u^{\lambda _{1} - \frac{\varepsilon }{p} - 1}\,du\biggr)\,dy \\ &= \frac{1}{\alpha } \int _{1}^{\infty } y^{ - \beta \varepsilon - 1}\biggl( \int _{\frac{1}{y^{\beta }}}^{1} k_{\lambda } (u,1) u^{\lambda _{1} - \frac{ \varepsilon }{p} - 1}\,du\biggr)\,dy \\ &\quad {}+ \frac{1}{\alpha } \int _{1}^{\infty } y^{ - \beta \varepsilon - 1}\,dy \int _{1}^{\infty } k_{\lambda } (u,1) u^{\lambda _{1} - \frac{\varepsilon }{p} - 1}\,du \\ &= \frac{1}{\alpha } \int _{0}^{1} \biggl( \int _{u^{ - 1/\beta }}^{\infty } y ^{ - \beta \varepsilon - 1} \,dy \biggr)k_{\lambda } (u,1) u^{\lambda _{1} - \frac{ \varepsilon }{p} - 1}\,du \\ &\quad {}+ \frac{1}{\alpha \beta \varepsilon } \int _{1}^{\infty } k_{\lambda } (u,1) u^{\lambda _{1} - \frac{\varepsilon }{p} - 1}\,du \\ &= \frac{1}{\alpha \beta \varepsilon } \biggl( \int _{0}^{1} k_{\lambda } (u,1) u^{\lambda _{1} + \frac{\varepsilon }{q} - 1}\,du + \int _{1}^{\infty } k _{\lambda } (u,1) u^{\lambda _{1} - \frac{\varepsilon }{p} - 1}\,du\biggr). \end{aligned}$$

Then we have

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

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

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

namely $\frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda } (\lambda _{1}) \le M$. Hence, $M = \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda } ( \lambda _{1})$ is the best possible constant factor of (11). □

Remark 2

Setting $\hat{\lambda }_{1}: = \frac{\lambda - \lambda _{2}}{p} + \frac{\lambda _{1}}{q}$, $\hat{\lambda }_{2}: = \frac{ \lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p}$, we find

$$ \begin{gathered} \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 , \\ \hat{\lambda }_{1} \le \frac{1}{p\alpha } + \frac{1}{q\alpha } = \frac{1}{ \alpha },\qquad \hat{\lambda }_{2} \le \frac{1}{q\beta } + \frac{1}{p\beta } = \frac{1}{\beta }, \end{gathered} $$

and by Hölder’s inequality (cf. [28]), we obtain

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

(13)

We can reduce (10) as follows:

$$ I < \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda }^{\frac{1}{p}}( \lambda - \lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda _{1})\Biggl[ \sum_{m = 1}^{\infty } m^{p(1 - \alpha \hat{\lambda }_{1}) - 1} a_{m}^{p}\Biggr]^{ \frac{1}{p}}\Biggl[\sum _{n = 1}^{\infty } n^{q(1 - \beta \hat{\lambda }_{2}) - 1} b_{n}^{q} \Biggr]^{\frac{1}{q}}. $$

(14)

Lemma 4

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

Proof

If the constant factor $\frac{1}{\beta ^{1/p} \alpha ^{1/q}} k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{ \lambda }^{\frac{1}{q}}(\lambda _{1})$ in (10) is the best possible, then by (14) and (11) the unique best possible constant factor must be $\frac{1}{ \beta ^{1/p}\alpha ^{1/q}} k_{\lambda } (\hat{\lambda }_{1})$ ($\in \mathrm{R}_{ +}$), namely

$$ k_{\lambda } (\hat{\lambda }_{1})= k_{\lambda }^{\frac{1}{p}}( \lambda - \lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda _{1}). $$

We observe that (13) keeps the form of equality if and only if there exist constants A and B such that they are not all zero and (cf. [28])

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

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

3 Main results

Theorem 1

Inequality (10) is equivalent to

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

(15)

If the constant factor in (10) is the best possible, then so is the constant factor in (15).

Proof

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

$$\begin{aligned} I &= \sum_{n = 1}^{\infty } \Biggl[n^{\frac{ - 1}{p} + \beta (\frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p})} \sum_{m = 1}^{\infty } k _{\lambda } \bigl(m{}^{\alpha },n^{\beta } \bigr)a_{m} \Biggr] \bigl[n^{\frac{1}{p} - \beta (\frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p})}b_{n}\bigr] \\ &\le J\Biggl\{ \sum_{n = 1}^{\infty } n^{q[1 - \beta (\frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p})] - 1} b_{n}^{q}\Biggr\} ^{\frac{1}{q}}. \end{aligned}$$

(16)

Then by (15) we obtain (10).

On the other hand, assuming that (10) is valid, we set

$$ b_{n}: = n^{p\beta (\frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p}) - 1}\Biggl(\sum_{m = 1}^{\infty } k_{\lambda } \bigl(m^{\alpha },n^{ \beta } \bigr)a_{m} \Biggr)^{p - 1},\quad n \in \mathbf{N}. $$

If $J = 0$, then (15) is naturally valid; if $J = \infty$, then it is impossible to make (15) valid, namely $J < \infty$. Suppose that $0 < J < \infty$. By (10), it follows that

$$\begin{aligned}& \begin{aligned} &\sum_{n = 1}^{\infty } n^{q[1 - \beta ( \frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p})] - 1} b_{n} ^{q} \\ &\quad = J^{p} = I< \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda _{1})\\ &\hphantom{\quad = J^{p} = I< } {}\times\Biggl\{ \sum_{m = 1} ^{\infty } m^{p[1 - \alpha (\frac{\lambda - \lambda _{2}}{p} + \frac{ \lambda _{1}}{q})] - 1} a_{m}^{p}\Biggr\} ^{\frac{1}{p}}\Biggl\{ \sum _{n = 1}^{ \infty } n^{q[1 - \beta (\frac{\lambda - \lambda _{1}}{q} + \frac{ \lambda _{2}}{p})] - 1} b_{n}^{q} \Biggr\} ^{\frac{1}{q}}, \end{aligned} \\& \begin{aligned} J &= \Biggl\{ \sum_{n = 1}^{\infty } n^{q[1 - \beta (\frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p})] - 1} b_{n}^{q}\Biggr\} ^{\frac{1}{p}} \\ &< \frac{1}{ \beta ^{1/p}\alpha ^{1/q}}k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda _{1})\Biggl\{ \sum_{m = 1}^{\infty } m^{p[1 - \alpha (\frac{\lambda - \lambda _{2}}{p} + \frac{\lambda _{1}}{q})] - 1} a_{m}^{p}\Biggr\} ^{\frac{1}{p}}, \end{aligned} \end{aligned}$$

namely (15) follows, which is equivalent to (10).

If the constant factor in (10) is the best possible, then so is constant factor in (15). Otherwise, by (16), we would reach a contradiction that the constant factor in (10) is not the best possible. □

Theorem 2

The following statements (i), (ii), (iii), and (iv) are equivalent:

• (i) $k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda } ^{\frac{1}{q}}(\lambda _{1})$ is independent of p, q;

• (ii) $k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda } ^{\frac{1}{q}}(\lambda _{1})$ is expressible as a single integral;

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

• (iv) $\lambda _{1} + \lambda _{2} = \lambda$.

If the statement (iv) follows, namely $\lambda _{1} + \lambda _{2} = \lambda$, then we have (11) and the following equivalent inequality with the best possible constant factor $\frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda } (\lambda _{1})$:

$$ \Biggl[\sum_{n = 1}^{\infty } n^{p\beta \lambda _{2} - 1} \Biggl(\sum_{m = 1}^{ \infty } k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr)a_{m} \Biggr)^{p} \Biggr]^{ \frac{1}{p}}< \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda } (\lambda _{1})\Biggl[\sum_{m = 1}^{\infty } m^{p(1 - \alpha \lambda _{1}) - 1} a_{m} ^{p}\Biggr]^{\frac{1}{p}}. $$

(17)

Proof

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

$$ k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda }^{ \frac{1}{q}}( \lambda _{1}) = \lim_{p \to \infty } \lim_{q \to 1^{ +}} k _{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda }^{ \frac{1}{q}}( \lambda _{1}) = k_{\lambda } (\lambda _{1}), $$

namely $k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda } ^{\frac{1}{q}}(\lambda _{1})$ is expressible as a single integral

$$ k_{\lambda } (\lambda _{1}) = \int _{0}^{\infty } k_{\lambda } (u,1)u ^{\lambda _{1} - 1} \,du. $$

$\mbox{(ii)}\Rightarrow\mbox{(iv)}$. In (13), if $k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda }^{\frac{1}{q}}(\lambda _{1})$ is expressible as a single integral $k_{\lambda } (\frac{\lambda - \lambda _{2}}{p} + \frac{\lambda _{1}}{q})$, then (13) keeps the form of equality, from which it follows that $\lambda _{1} + \lambda _{2} = \lambda$.

$\mbox{(iv)}\Rightarrow\mbox{(i)}$. If $\lambda _{1} + \lambda _{2} = \lambda$, then $k_{\lambda }^{\frac{1}{p}}(\lambda - \lambda _{2})k_{\lambda }^{\frac{1}{q}}( \lambda _{1}) = k_{\lambda } (\lambda _{1})$, which is independent of p, q. Hence, we have $\mbox{(i)}\Leftrightarrow\mbox{(ii)}\Leftrightarrow\mbox{(iv)}$.

$\mbox{(iii)}\Rightarrow\mbox{(iv)}$. By Lemma 4, we have $\lambda _{1} + \lambda _{2} = \lambda$.

$\mbox{(iv)}\Rightarrow\mbox{(iii)}$. By Lemma 3, for $\lambda _{1} + \lambda _{2} = \lambda$,

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

is the best possible constant factor of (10). Therefore, we find $\mbox{(iii)} \Leftrightarrow\mbox{(iv)}$.

Hence, statements (i), (ii), (iii), and (iv) are equivalent. □

Remark 3

(i) For $\lambda = \alpha = \beta = 1$, $\lambda _{1} = \frac{1}{q}$, $\lambda _{2} = \frac{1}{p}$ in (11) and (17), we have the following equivalent inequalities with the best possible constant factor $k _{1}(\frac{1}{q})$:

$$\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 } a_{m}^{p} \Biggr)^{\frac{1}{p}}\Biggl( \sum_{n = 1}^{\infty } b_{n}^{q} \Biggr)^{\frac{1}{q}}, \end{aligned}$$

(18)

$$\begin{aligned}& \Biggl[\sum_{n = 1}^{\infty } \Biggl(\sum _{m = 1}^{\infty } k_{1}(m,n)a_{m} \Biggr)^{p} \Biggr]^{\frac{1}{p}} < k_{1}\biggl( \frac{1}{q}\biggr) \Biggl(\sum_{m = 1}^{\infty } a_{m}^{p} \Biggr)^{\frac{1}{p}}. \end{aligned}$$

(19)

(ii) For $\lambda = \alpha = \beta = 1$, $\lambda _{1} = \frac{1}{p}$, $\lambda _{2} = \frac{1}{q}$ in (11) and (17), we have the following equivalent inequalities with the best possible constant factor $k_{1}( \frac{1}{p})$:

$$\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 } 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}$$

(20)

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

(21)

(iii) For $p = q = 2$, both (18) and (20) reduce to

$$ \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}}, $$

(22)

and both (19) and (21) reduce to the equivalent form of (22) as follows:

$$ \Biggl[\sum_{n = 1}^{\infty } \Biggl(\sum _{m = 1}^{\infty } k_{1}(m,n)a_{m} \Biggr)^{2} \Biggr]^{\frac{1}{2}} < k_{1}\biggl( \frac{1}{2}\biggr) \Biggl(\sum_{m = 1}^{\infty } a_{m}^{2} \Biggr)^{\frac{1}{2}}. $$

(23)

4 Operator expressions and some particular cases

We set functions

$$ \phi (m): = m^{p[1 - \alpha (\frac{\lambda - \lambda _{2}}{p} + \frac{ \lambda _{1}}{q})] - 1},\qquad \psi (n): = n^{q[1 - \beta (\frac{\lambda - \lambda _{1}}{q} + \frac{\lambda _{2}}{p})] - 1}, $$

from which

$$ \psi ^{1 - p}(n) = n^{p\beta (\frac{\lambda - \lambda _{1}}{q} + \frac{ \lambda _{2}}{p}) - 1}\quad (m,n \in \mathrm{N}). $$

Define the following real normed spaces:

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

$$ c = \{ c_{n}\}_{n = 1}^{\infty },\qquad c_{n}: = \sum_{m = 1}^{\infty } k _{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr)a_{m},\quad n \in \mathrm{N}, $$

we can rewrite (15) as follows:

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

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 $c \in l_{p,\psi ^{1 - p}}$. 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_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr)a_{m}\Biggr) b_{n}, \\& \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 Theorem 1 and Theorem 2, we have the following.

Theorem 3

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

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

(24)

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

(25)

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

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

in (24) and (25) is the best possible, namely

$$ \Vert T \Vert = \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda } (\lambda _{1}). $$

(26)

Example 1

We set $k_{\lambda } (x,y): = \frac{1}{(cx + y)^{ \lambda }}$ ($c,\lambda > 0$; $x,y > 0$). Then we find

$$ k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr) = \frac{1}{(cm^{\alpha } + n ^{\beta } )^{\lambda }}. $$

For $0 < \lambda _{1}$, $\lambda - \lambda _{2} \le \frac{1}{\alpha }$, $0 < \lambda _{2}$, $\lambda - \lambda _{1} \le \frac{1}{\beta }$, $k_{\lambda } (x,y)$ is a positive homogeneous function of degree −λ such that $k_{\lambda } (x,y)$ is strictly decreasing with respect to $x,y > 0$, and for $\gamma = \lambda _{1},\lambda - \lambda _{2}$,

$$ k_{\lambda } (\gamma ) = \int _{0}^{\infty } \frac{u^{\gamma - 1}}{(cu + 1)^{\lambda }} \,du = \frac{1}{c^{\gamma }} \int _{0}^{\infty } \frac{v ^{\gamma - 1}}{(v + 1)^{\lambda }} \,dv = \frac{1}{c^{\gamma }} B( \gamma ,\lambda - \gamma ) \in \mathrm{R}_{ +}. $$

In view of Theorem 3, it follows that $\lambda _{1} + \lambda _{2} = \lambda$ if and only if

$$ \Vert T \Vert = \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda } (\lambda _{1}) = \frac{1}{\beta ^{1/p}\alpha ^{1/q}} \cdot \frac{1}{c^{\lambda _{1}}}B( \lambda _{1},\lambda _{2}). $$

Example 2

We set $k_{\lambda } (x,y): = \frac{\ln (cx/y)}{(cx)^{ \lambda } - y^{\lambda }}$ ($c,\lambda > 0$; $x,y > 0$). Then we find

$$ k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr) = \frac{\ln (cm^{\alpha } /n ^{\beta } )}{c^{\lambda}m^{\lambda \alpha } - n^{\lambda \beta }}. $$

For $0 < \lambda _{1}$, $\lambda - \lambda _{2} \le \frac{1}{\alpha }$, $0 < \lambda _{2}$, $\lambda - \lambda _{1} \le \frac{1}{\beta }$, $k_{\lambda } (x,y)$ is a positive homogeneous function of degree −λ such that $k_{\lambda } (x,y)$ is strictly decreasing with respect to $x,y > 0$ (cf. [4], Example 2.2.1), and for $\gamma = \lambda _{1},\lambda - \lambda _{2}$,

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

In view of Theorem 3, it follows that $\lambda _{1} + \lambda _{2} = \lambda$ if and only if

$$ \Vert T \Vert = \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda } (\lambda _{1}) = \frac{1}{\beta ^{1/p}\alpha ^{1/q}} \cdot \frac{1}{c^{\lambda _{1}}}\biggl[ \frac{ \pi }{\lambda \sin (\pi \lambda _{1}/\lambda )}\biggr]^{2}. $$

Example 3

For $s \in \mathrm{N}$, we set $k_{\lambda } (x,y): = \frac{1}{\prod_{k = 1}^{s} ( x^{\lambda /s} + c_{k}y^{\lambda /s})}$ ($0 < c_{1} \le \cdots \le c_{s}$, $\lambda > 0$; $x,y > 0$). Then we find

$$ k_{\lambda } \bigl(m^{\alpha },n^{\beta } \bigr) = \frac{1}{\prod_{k = 1}^{s} (m ^{\alpha \lambda /s} + c_{k}n^{\beta \lambda /s})}. $$

For $0 < \lambda _{1}$, $\lambda - \lambda _{2} \le \frac{1}{\alpha }$, $0 < \lambda _{2}$, $\lambda - \lambda _{1} \le \frac{1}{\beta }$, $k_{\lambda } (x,y)$ is a positive homogeneous function of degree −λ such that $k _{\lambda } (x,y)$ is strictly decreasing with respect to $x,y > 0$, and for $\gamma = \lambda _{1},\lambda - \lambda _{2}$, by Example 1 of [30], we have

$$ k_{\lambda }^{(s)}(\gamma ) = \int _{0}^{\infty } \frac{t^{\gamma - 1}}{ \prod_{k = 1}^{s} (t^{\lambda /s} + c_{k})} \,dt= \frac{\pi s}{\lambda \sin (\frac{\pi s\gamma }{\lambda } )}\sum_{k = 1}^{s} c_{k}^{\frac{s \gamma }{\lambda } - 1} \prod_{j = 1(j \ne k)}^{s} \frac{1}{c_{j} - c _{k}} \in \mathrm{R}_{ +}. $$

In view of Theorem 3, it follows that $\lambda _{1} + \lambda _{2} = \lambda$ if and only if

$$ \Vert T \Vert = \frac{1}{\beta ^{1/p}\alpha ^{1/q}}k_{\lambda }^{(s)}(\lambda _{1}) =\frac{1}{\beta ^{1/p}\alpha ^{1/q}} \cdot \frac{\pi s}{\lambda \sin (\frac{\pi s\lambda _{1}}{\lambda } )}\sum _{k = 1}^{s} c_{k}^{\frac{s \lambda _{1}}{\lambda } - 1} \prod _{j = 1(j \ne k)}^{s} \frac{1}{c_{j} - c_{k}}. $$

In particular, for $c_{1} = \cdots = c_{s} = c$, we have $k_{\lambda } (x,y) = \frac{1}{(x^{\lambda /s} + cy^{\lambda /s})^{s}}$ and

$$ \begin{aligned} \tilde{k}_{\lambda }^{(s)}(\lambda _{1})&: = \int _{0}^{\infty } \frac{t ^{\lambda _{1} - 1}}{(t^{\lambda /s} + c)^{s}} \,dt \\ &= \frac{s}{\lambda c^{(1 - \frac{\lambda _{1}}{\lambda } )s}} \int _{0} ^{\infty } \frac{v^{\frac{s\lambda _{1}}{\lambda } - 1}}{(v + 1)^{s}} \,dv = \frac{s}{\lambda c^{(1 - \frac{\lambda _{1}}{\lambda } )s}}B\biggl(\frac{s \lambda _{1}}{\lambda },\frac{s\lambda _{2}}{\lambda } \biggr). \end{aligned} $$

If $s = 1$, then we have $k_{\lambda } (x,y) = \frac{1}{x^{\lambda } + cy ^{\lambda }}$ and

$$ \Vert T \Vert = \frac{1}{\beta ^{1/p}\alpha ^{1/q}}\tilde{k}_{\lambda }^{(1)}( \lambda _{1}) = \frac{1}{\beta ^{1/p}\alpha ^{1/q}} \cdot \frac{1}{ \lambda c^{1 - \frac{\lambda _{1}}{\lambda }}} \frac{\pi }{\sin (\frac{ \pi \lambda _{1}}{\lambda } )}. $$

5 Conclusions

In this paper, by means of the weight coefficients and the idea of introducing parameters, a discrete Hilbert-type inequality with the general homogeneous kernel and the intermediate variables is obtained which is an extension of (1). The equivalent forms are given in Lemma 2 and Theorem 1. The equivalent statements of the best possible constant factor related to some parameters are considered in Theorem 2. The operator expressions, some particular cases, and examples are given in Theorem 3, Remark 1, Remark 3, and Examples 1–3. The lemmas and theorems provide an extensive account of this type of inequalities.