Skip to main content

Equivalent properties of a Mulholland-type inequality with a best possible constant factor and parameters

Abstract

By means of the weight coefficients, using the idea of introduced parameters and the techniques of real analysis, a Mulholland-type inequality with a homogeneous kernel and an equivalent form are provided. Some equivalent statements of the best possible constant factor related to a few parameters are considered. Some particular inequalities and the operator expressions are obtained.

Introduction

If \(p > 1,\frac{1}{p} + \frac{1}{q} = 1,a{}_{m},b_{n} \ge 0\), are such that \(0 < \sum_{m = 1}^{\infty} a_{m}^{p} < \infty,0 < \sum_{n = 1}^{\infty} b_{n}^{q} < \infty\), then we have the following Hardy–Hilbert-type inequality with the best possible constant factor pq (cf. [1], Theorem 341):

$$\begin{aligned} \sum_{m = 1}^{\infty} \sum _{n = 1}^{\infty} \frac{a_{m}b_{n}}{\max \{ m,n\}} < pq\Biggl(\sum _{m = 1}^{\infty} a_{m}^{p} \Biggr)^{1/p}\Biggl(\sum_{n = 1}^{\infty} b_{n}^{q} \Biggr)^{1/q}. \end{aligned}$$
(1)

Also we have the following Mulholland inequality with the best possible constant \(\frac{\pi}{\sin (\pi /p)}\) (cf. [1], Theorem 343):

$$ \sum_{m = 2}^{\infty} \sum _{n = 2}^{\infty} \frac{a_{m}b_{n}}{\ln mn} < \frac{\pi}{\sin (\pi /p)} \Biggl(\sum_{m = 2}^{\infty} ma_{m}^{p} \Biggr)^{1/p}\Biggl(\sum_{n = 2}^{\infty} nb_{n}^{q} \Biggr)^{1/q}. $$
(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 well known Hardy–Hilbert integral inequality (cf. [1], Theorem 316):

$$ \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)^{1/p}\biggl( \int_{0}^{\infty} g^{q} (y)\,dy \biggr)^{1/q}, $$
(3)

where the constant factor \(\frac{\pi}{\sin (\pi /p)}\) is the best possible.

Inequalities (1), (2), and (3) are important in analysis and its applications (cf. [2, 3]). Recently, some new extensions with parameters and applications were given in [4,5,6,7,8,9,10,11,12,13].

A half-discrete Hilbert-type inequality was provided in 1934 as follows (cf. [1], Theorem 351): If \(K(x)\) is decreasing on \((0,\infty ),0 < \varphi (s) < \int_{0}^{\infty} K(x)x^{s - 1} \,dx < \infty\), then we have the following inequality with the best possible constant factor \(\varphi ^{p}(\frac{1}{q})\):

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

Some extensions of (4) were provided in [14,15,16,17,18,19].

In 2016, by using the techniques of real analysis, Hong [20] considered some equivalent statements of the general form of (1) with the homogeneous kernel related to a few parameters and a best possible constant factor. Other similar results about the extended integral inequalities (3) were obtained in [21,22,23,24].

In this paper, following the approach of [20], by means of the weight coefficients, the idea of introduced parameters and using techniques of real analysis, a Mulholland-type inequality with the homogeneous kernel and its equivalent form are obtained in Lemma 2 and Theorem 1. The equivalent statements of the best possible constant factor related to a few parameters are considered in Theorem 2. Some particular cases and the operator expressions are provided by Remark 3 and Theorem 3.

An example and some lemmas

In what follows, we assume that \(p > 1,\frac{1}{p} + \frac{1}{q} = 1,s \in \mathrm{N} = \{ 1,2, \ldots \},0 < {c}_{1} \le c_{2} \le \cdots \le c_{s} < \infty, \lambda_{i} + \alpha, \lambda - \lambda_{i} + \alpha \in (0,1]\) (\(i = 1,2\)), \(a_{m},b_{n} \ge 0\), are such that

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

Example 1

For \(\mathrm{R}_{ +} = (0,\infty )\), we set

$$ k_{\lambda} (x,y): = \prod_{k = 1}^{s} \frac{(\min \{ x,c_{k}y\} )^{\alpha /s}}{(\max \{ x,c_{k}y\} )^{(\alpha + \lambda )/s}}\quad \bigl((x,y) \in \mathrm{R}_{ +}^{2} = \mathrm{R}_{ +} \times \mathrm{R}_{ +} \bigr). $$
(6)

In view of Example 1 in [25], it follows that for \(\gamma = \lambda_{1},\lambda - \lambda_{2}\),

$$\begin{aligned} k_{s}(\gamma ): ={}& \int_{0}^{\infty} k_{s} (u,1)u^{\gamma - 1} \,du \\ ={}& \int_{0}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\alpha + \lambda )/s}} u^{\gamma - 1}\,du \\ ={}& \frac{c_{1}^{\gamma + \alpha}}{\gamma + \alpha} \prod_{k = 1}^{s} c_{k}^{ - \frac{\lambda + \alpha}{s}} + \frac{c_{s}^{\gamma - \lambda - \alpha}}{\lambda - \gamma + \alpha} \prod _{k = 1}^{s} c_{k}^{\frac{\alpha}{s}} \\ &{} + \sum _{i = 1}^{s - 1} \frac{c_{i + 1}^{\gamma - \frac{i\lambda}{s} + (1 - \frac{2i}{s})\alpha} - c_{i}^{\gamma - \frac{i\lambda}{s} + (1 - \frac{2i}{s})\alpha}}{\gamma - \frac{i\lambda}{s} + (1 - \frac{2i}{s})\alpha} \frac{\prod_{k = 1}^{i} c_{k}^{\frac{\alpha}{s}}}{ \prod_{k = i + 1}^{s} c_{k}^{\frac{\lambda + \alpha}{s}}}. \end{aligned}$$
(7)

In particular, for \(s = 1\) (or \(c_{s} = \cdots c_{1}\)), we have \(k_{\lambda} (x,y) = \frac{(\min \{ x,c_{1}y\} )^{\alpha}}{(\max \{ x,c_{1}y\} )^{\alpha + \lambda}}\ ((x,y) \in \mathrm{R}_{ +}^{2})\), and

$$ k_{1}(\gamma ) = \int_{0}^{\infty} \frac{(\min \{ u,c_{1}\} )^{\alpha}}{ (\max \{ u,c_{1}\} )^{\alpha + \lambda}} u^{\gamma - 1} \,du = \frac{(\lambda + 2\alpha )c_{1}^{\gamma - \lambda}}{(\gamma + \alpha )(\lambda - \gamma + \alpha )}. $$
(8)
  1. (a)

    For \(\lambda_{2} + \alpha \le 1,\lambda - \lambda_{2} + \alpha > 0\), we find that \(1 - \lambda_{2} - \alpha \ge 0,1 + \lambda - \lambda_{2} + \alpha - \frac{i}{s}(\lambda + 2\alpha ) > 0\) \((i = 1, \ldots,s - 1), 1 + \lambda - \lambda_{2} + \alpha > 1 > 0\), and then, for fixed \(x > 0\),

    $$\begin{aligned} &k_{\lambda} (x,y)\frac{1}{y^{1 - \lambda_{2}}}\\ &\quad = \frac{1}{y^{1 - \lambda_{2}}}\prod _{k = 1}^{s} \frac{(\min \{ c_{k}^{ - 1}x,y\} )^{\frac{\alpha}{s}}}{c_{k}^{\frac{\lambda}{s}}(\max \{ c_{k}^{ - 1}x,y\} )^{\frac{\lambda + \alpha}{s}}} \\ &\quad= \textstyle\begin{cases} \frac{1}{y^{1 - \lambda_{2} - \alpha}} \prod_{k = 1}^{s} \frac{(\min \{ c_{k}^{ - 1}x,y\} )^{\frac{\alpha}{s}}}{c_{k}^{\frac{\lambda}{s}}(c_{k}^{ - 1}x)^{\frac{\lambda + \alpha}{s}}},&0 < y \le c_{s}^{ - 1}x, \\ \frac{1}{y^{1 + \lambda - \lambda_{2} + \alpha - \frac{i}{s}(\lambda + 2\alpha )}}\frac{\prod_{k = i + 1}^{s} ( c_{k}^{ - 1}x)^{\frac{\alpha}{s}}}{\prod_{k = 1}^{s} c_{k}^{\frac{\lambda}{s}}\prod_{k = 1}^{i} ( c_{k}^{ - 1}x)^{\frac{\lambda + \alpha}{s}}},&c_{i + 1}^{ - 1}x < y \le c_{i}^{ - 1}x\ (i = 1, \ldots,s - 1), \\ \frac{1}{y^{1 + \lambda - \lambda_{2} + \alpha}} \prod_{k = 1}^{s} \frac{(c_{k}^{ - 1}x)^{\frac{\alpha}{s}}}{c_{k}^{\frac{\lambda}{s}}},&c_{1}^{ - 1}x < y < \infty \end{cases}\displaystyle \end{aligned}$$

    is decreasing for \(y > 0\) and strictly decreasing for \(y > c_{1}^{ - 1}x\).

  2. (b)

    In the same way, for \(\lambda_{1} + \alpha \le 1,\lambda - \lambda_{1} + \alpha > 0\), we find that for fixed \(y > 0\), \(k_{\lambda} (x,y)\frac{1}{x^{1 - \lambda_{1}}}\) is decreasing for \(x > 0\) and strictly decreasing for \(x > c_{s}y\).

Definition 1

Define the following weight coefficients:

$$\begin{aligned} &\omega_{s}(\lambda_{2},m): = \ln^{\lambda - \lambda_{2}}m\sum _{n = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \frac{\ln^{\lambda_{2} - 1}n}{n} \quad \bigl(m \in \mathrm{N}\backslash \{ 1\} \bigr), \end{aligned}$$
(9)
$$\begin{aligned} &\varpi_{s}(\lambda_{1},n): = \ln^{\lambda - \lambda_{1}}n\sum _{m = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \frac{\ln^{\lambda_{1} - 1}m}{m} \quad \bigl(n \in \mathrm{N}\backslash \{ 1\} \bigr). \end{aligned}$$
(10)

Lemma 1

We have the following inequalities:

$$\begin{aligned} &\omega_{s}(\lambda_{2},m) < k_{s}(\lambda - \lambda_{2})\quad \bigl(m \in \mathrm{N}\backslash \{ 1\} \bigr), \end{aligned}$$
(11)
$$\begin{aligned} &\varpi_{s}(\lambda_{1},n) < k_{s}( \lambda_{1}) \quad\bigl(n \in \mathrm{N}\backslash \{ 1\} \bigr). \end{aligned}$$
(12)

Proof

For fixed \(m \ge 2, \lambda_{2} + \alpha \le 1,\lambda - \lambda_{2} + \alpha > 0\), in view of Example 1(a), we find that the positive function

$$k_{\lambda} (\ln m,\ln t)\frac{1}{t\ln^{1 - \lambda_{2}}t} = \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln t\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln t\} )^{\lambda + \alpha}} \frac{1}{t\ln^{1 - \lambda_{2}}t} $$

is strictly decreasing for \(t > 1\). By the decreasingness property, setting \(u = \frac{\ln m}{\ln t}\), we find that

$$\begin{aligned} \omega_{s}(\lambda_{2},m)& < \ln^{\lambda - \lambda_{2}}m \int_{1}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln t\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln t\} )^{(\lambda + \alpha )/s}} \frac{1}{t\ln^{1 - \lambda_{2}}t}\,dt \\ & = \int_{0}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}}u^{\lambda - \lambda_{2} - 1} \,du = k_{s}(\lambda - \lambda_{2}). \end{aligned}$$

Hence, we have (11).

In the same way, for fixed \(n \ge 2, \lambda_{1} + \alpha \le 1,\lambda - \lambda_{1} + \alpha > 0\), in view of Example 1(b), by the decreasingness property, setting \(u = \frac{\ln t}{\ln n}\), we find that

$$\begin{aligned} \varpi_{s}(\lambda_{1},n) &< \ln^{\lambda_{1}}n \int_{1}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln t,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln t,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \frac{1}{t\ln^{1 - \lambda_{1}}t}\,dt \\ &= \int_{0}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} - 1}\,du = k_{s} (\lambda_{1}) \end{aligned}$$

and then (12) follows. □

Lemma 2

We have the following inequality:

$$\begin{aligned} I: ={}& \sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} a_{m}b_{n} \\ < {}& k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1})\Biggl\{ \sum_{m = 2}^{\infty} \frac{(\ln m)^{p[1 - (\frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q})] - 1}}{m^{1 - p}} a_{m}^{p}\Biggr\} ^{\frac{1}{p}} \\ &{}\times\Biggl\{ \sum_{n = 2}^{\infty} \frac{(\ln n)^{q[1 - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})] - 1}}{n^{1 - q}} b_{n}^{q}\Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(13)

Proof

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

$$\begin{aligned} I: ={}& \sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \biggl[\frac{\ln^{(\lambda_{2} - 1)p}n}{n^{1/p}}\frac{\ln^{(1 - \lambda_{1})/q}m}{m^{ - 1/q}}a_{m} \biggr] \\ &{}\times \biggl[\frac{\ln^{(\lambda_{1} - 1)/q}m}{m^{1/q}}\frac{\ln^{(1 - \lambda_{2})/p}n}{n^{ - 1/p}}b_{n}\biggr] \\ \le {}&\Biggl\{ \sum_{m = 2}^{\infty} \Biggl[ \ln^{\lambda - \lambda_{2}}m\sum_{n = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \frac{\ln^{\lambda_{2} - 1}n}{n}\Biggr]\\ &{}\times \biggl[\ln^{\lambda_{1} + \lambda_{2} - \lambda} m\frac{\ln^{p(1 - \lambda_{1}) - 1}m}{m^{1 - p}} \biggr]a_{m}^{p}\Biggr\} ^{\frac{1}{p}} \\ &{}\times \Biggl\{ \sum_{n = 2}^{\infty} \Biggl[ \ln^{\lambda - \lambda_{1}}n\sum_{m = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \frac{\ln^{\lambda_{1} - 1}m}{m}\Biggr] \\ &{}\times \biggl[\ln^{\lambda_{2} + \lambda_{1} - \lambda} n\frac{\ln^{q(1 - \lambda_{2}) - 1}n}{n^{1 - q}} \biggr]b_{n}^{q}\Biggr\} ^{\frac{1}{q}} \\ ={}& \Biggl\{ \sum_{m = 2}^{\infty} \omega_{s} (\lambda_{2},m)\frac{(\ln m)^{p[1 - (\frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q})] - 1}}{m^{1 - p}}a_{m}^{p} \Biggr\} ^{\frac{1}{p}}\\ &{}\times \Biggl\{ \sum_{n = 2}^{\infty} \varpi_{s}(\lambda_{1},n) \frac{(\ln n)^{q[1 - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})] - 1}}{n^{1 - q}}b_{n}^{q} \Biggr\} ^{\frac{1}{q}}. \end{aligned}$$

Then by (11) and (12), in view of (5), we have (13). □

Remark 1

By (13), for \(\lambda_{1} + \lambda_{2} = \lambda\), we use the assumptions that \(\lambda_{i} + \alpha \in (0,1] \cap (0,\lambda + 2\alpha )\ (i = 1,2)\), which give

$$\begin{aligned} \begin{aligned}& 0 < \sum_{m = 2}^{\infty} \frac{\ln^{p(1 - \lambda_{1}) - 1}m}{m^{1 - p}} a_{m}^{p} < \infty,\qquad 0 < \sum _{n = 2}^{\infty} \frac{\ln^{q(1 - \lambda_{2}) - 1}n}{n^{1 - p}} b_{n}^{q} < \infty, \\ &k_{s}(\lambda_{1}) = \frac{c_{1}^{\lambda_{1} + \alpha}}{\lambda_{1} + \alpha} \prod _{k = 1}^{s} c_{k}^{ - \frac{\lambda + \alpha}{s}} + \frac{c_{s}^{ - \lambda_{2} - \alpha}}{\lambda_{2} + \alpha} \prod_{k = 1}^{s} c_{k}^{\frac{\alpha}{s}}\\ &\phantom{k_{s}(\lambda_{1}) =}{} + \sum_{i = 1}^{s - 1} \frac{c_{i + 1}^{\lambda_{1} - \frac{i\lambda}{s} + (1 - \frac{2i}{s})\alpha} - c_{i}^{\lambda_{1} - \frac{i\lambda}{s} + (1 - \frac{2i}{s})\alpha}}{ \lambda_{1} - \frac{i\lambda}{s} + (1 - \frac{2i}{s})\alpha} \frac{\prod_{k = 1}^{i} c_{k}^{\frac{\alpha}{s}}}{\prod_{k = i + 1}^{s} c_{k}^{\frac{\lambda + \alpha}{s}}} \in \mathrm{R}_{ +}, \end{aligned} \end{aligned}$$
(14)

and find the following inequality:

$$\begin{aligned} &\sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} a_{m}b_{n} \\ &\quad < k_{s}( \lambda_{1})\Biggl[\sum_{m = 2}^{\infty} \frac{\ln^{p(1 - \lambda_{1}) - 1}m}{m^{1 - p}} a_{m}^{p}\Biggr]^{\frac{1}{p}} \Biggl[\sum_{n = 2}^{\infty} \frac{\ln^{q(1 - \lambda_{2}) - 1}n}{n^{1 - q}} b_{n}^{q}\Biggr]^{\frac{1}{q}}. \end{aligned}$$
(15)

Lemma 3

The constant factor \(k_{s}(\lambda_{1})\) in (15) is the best possible.

Proof

For \(0 < \varepsilon < \min \{ p(\lambda {}_{1} + \alpha ),q(\lambda_{2} + \alpha )\}\), we set

$$\tilde{a}_{m}: = \frac{\ln^{\lambda_{1} - \frac{\varepsilon}{p} - 1}m}{m},\qquad\tilde{b}_{n}: = \frac{\ln^{\lambda_{2} - \frac{\varepsilon}{q} - 1}n}{n}\quad \bigl(m,n \in \mathrm{N}\backslash \{ 1\} \bigr). $$

If there exists a positive constant \(M \le k_{s}(\lambda_{1})\), such that (15) is valid when replacing \(k_{s}(\lambda_{1})\) by M, then in particular, we have

$$\begin{aligned} \tilde{I}&: = \sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \tilde{a}_{m}\tilde{b}_{n}\\ &< M\Biggl[ \sum_{m = 2}^{\infty} \frac{\ln^{p(1 - \lambda_{1}) - 1}m}{m^{1 - p}} \tilde{a}_{m}^{p}\Biggr]^{\frac{1}{p}}\Biggl[\sum _{n = 2}^{\infty} \frac{\ln^{q(1 - \lambda_{2}) - 1}n}{n^{1 - p}} \tilde{b}_{n}^{q} \Biggr]^{\frac{1}{q}}. \end{aligned}$$

We obtain

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

Since \(0 < (\lambda_{1} - \frac{\varepsilon}{p}) + \alpha \le 1,0 < (\lambda_{2} - \frac{\varepsilon}{q}) + \alpha \le 1\), by the decreasingness property, we find

$$\begin{aligned} \tilde{I} &= \sum_{n = 2}^{\infty} \Biggl[\sum _{m = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} \frac{\ln^{(\lambda_{1} - \frac{\varepsilon}{p}) - 1}m}{m} \Biggr]\frac{\ln^{\lambda_{2} - \frac{\varepsilon}{q} - 1}n}{n} \\ &> \int_{2}^{\infty} \Biggl[ \int_{2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln x,c_{k}\ln y\} )^{\alpha /s}}{(\max \{ \ln x,c_{k}\ln y\} )^{(\lambda + \alpha )/s}} \frac{\ln^{(\lambda_{1} - \frac{\varepsilon}{p}) - 1}x}{x}\,dx\Biggr]\frac{\ln^{\lambda_{2} - \frac{\varepsilon}{q} - 1}y}{y}\,dy. \end{aligned}$$

For fixed \(x \ge 2\), setting \(u = \frac{\ln x}{\ln y}\), by Fubini theorem (cf. [27]), we find

$$\begin{aligned} \tilde{I} >{}& \int_{2}^{\infty} \Biggl[ \int_{\frac{\ln 2}{\ln y}}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{(\lambda_{1} - \frac{\varepsilon}{p}) - 1}\,du\Biggr]\frac{\ln^{ - \varepsilon - 1}y}{y}\,dy \\ ={}& \int_{2}^{\infty} \Biggl[ \int_{\frac{\ln 2}{\ln y}}^{1} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{(\lambda_{1} - \frac{\varepsilon}{p}) - 1}\,du\Biggr]\frac{\ln^{ - \varepsilon - 1}y}{y}\,dy \\ &{}+ \int_{2}^{\infty} \Biggl[ \int_{1}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{(\lambda_{1} - \frac{\varepsilon}{p}) - 1}\,du\Biggr]\frac{\ln^{ - \varepsilon - 1}y}{y}\,dy \\ ={}& \int_{0}^{1} \biggl( \int_{e^{\frac{\ln 2}{u}}}^{\infty} \frac{\ln^{ - \varepsilon - 1}y}{y}\,dy\biggr)\prod _{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{(\lambda_{1} - \frac{\varepsilon}{p}) - 1}\,du \\ &{}+ \frac{1}{\varepsilon \ln^{\varepsilon} 2} \int_{1}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{(\lambda_{1} - \frac{\varepsilon}{p}) - 1}\,du \\ ={}& \frac{1}{\varepsilon \ln^{\varepsilon} 2}\Biggl[ \int_{0}^{1} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} + \frac{\varepsilon}{q} - 1}\,du \\ &{}+ \int_{1}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}}u^{\lambda_{1} - \frac{\varepsilon}{p} - 1} \,du\Biggr]. \end{aligned}$$

Then we have

$$\begin{aligned} &\int_{0}^{1} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}u^{\lambda_{1} + \frac{\varepsilon}{q} - 1}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} \,du + \int_{1}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}u^{\lambda_{1} - \frac{\varepsilon}{p} - 1}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} \,du \\ &\quad< \bigl(\varepsilon \ln^{\varepsilon} 2\bigr)\tilde{I} < M\biggl( \frac{\varepsilon}{2\ln 2} + 1\biggr). \end{aligned}$$

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

$$\begin{aligned} k_{s}(\lambda_{1}) ={}& \int_{0}^{1} \lim_{\varepsilon \to 0^{ +}} \prod _{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} + \frac{\varepsilon}{q} - 1}\,du \\ &{}+ \int_{1}^{\infty} \lim_{\varepsilon \to 0^{ +}} \prod _{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} - \frac{\varepsilon}{p} - 1}\,du \\ \le{}& \mathop{\underline{\lim}}_{\varepsilon \to 0^{ +}} \Biggl[ \int_{0}^{1} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} + \frac{\varepsilon}{q} - 1}\,du \\ &{}+ \int_{1}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} - \frac{\varepsilon}{p} - 1}\,du\Biggr] \le M. \end{aligned}$$

Hence, \(M = k_{s}(\lambda_{1})\) is the best possible constant factor of (15). □

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 \(\hat{\lambda}_{1} + \hat{\lambda}_{2} = \lambda\),

$$\begin{aligned} &0 < \hat{\lambda}_{1} + \alpha = \frac{\lambda - \lambda_{2} + \alpha}{p} + \frac{\lambda_{1} + \alpha}{q} \le \frac{1}{p} + \frac{1}{q} = 1, \\ &0 < \hat{\lambda}_{2} + \alpha = \frac{\lambda - \lambda_{1} + \alpha}{q} + \frac{\lambda_{2} + \alpha}{p} \le \frac{1}{q} + \frac{1}{p} = 1, \\ &\hat{\lambda}_{i} + \alpha \in (0,1] \cap (0,\lambda + 2\alpha ) \quad(i = 1,2), \end{aligned}$$

and then we rewrite (13) as follows:

$$ I < k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1})\Biggl[\sum_{m = 2}^{\infty} \frac{\ln^{p(1 - \hat{\lambda}_{1}) - 1}m}{m^{1 - p}} a_{m}^{p}\Biggr]^{\frac{1}{p}}\Biggl[ \sum_{n = 2}^{\infty} \frac{\ln^{q(1 - \hat{\lambda}_{2}) - 1}n}{n^{1 - q}} b_{n}^{q}\Biggr]^{\frac{1}{q}}. $$
(16)

Lemma 4

If the constant factor \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) in (13) is the best possible, then we have \(\lambda_{1} + \lambda_{2} = \lambda\).

Proof

If the constant factor \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) in (13) is the best possible, then so is the constant factor in (16). By (15), the unique best possible constant factor must be \(k_{s}(\hat{\lambda}_{1})\), namely,

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

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

$$\begin{aligned} k_{s}(\hat{\lambda}_{1})={}& k_{s}\biggl( \frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q}\biggr) \\ ={}& \int_{0}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} \bigl(u^{\frac{\lambda - \lambda_{2} - 1}{p}}\bigr) \bigl(u^{\frac{\lambda_{1} - 1}{q}}\bigr)\,du \\ \le{}& \Biggl[ \int_{0}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda - \lambda_{2} - 1}\,du\Biggr]^{\frac{1}{p}} \\ &{}\times \Biggl[ \int_{0}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} - 1}\,du\Biggr]^{\frac{1}{q}} \\ ={} &k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1}). \end{aligned}$$
(17)

Observe that (17) keeps the form of equality if and only if there exist constants A and B such that they are not all zero and (cf. [26])

$$Au^{\lambda - \lambda_{2} - 1} = Bu^{\lambda_{1} - 1}\quad \mbox{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\). □

Main results

Theorem 1

Inequality (13) is equivalent to the following:

$$\begin{aligned} J&: = \Biggl\{ \sum_{n = 2}^{\infty} \frac{(\ln n)^{p(\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p}) - 1}}{n}\Biggl[\sum_{m = 2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} a_{m}\Biggr]^{p} \Biggr\} ^{\frac{1}{p}} \\ &< k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1})\Biggl\{ \sum_{m = 2}^{\infty} \frac{(\ln m)^{p[1 - (\frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q})] - 1}}{m^{1 - p}} a_{m}^{p}\Biggr\} ^{\frac{1}{p}}. \end{aligned}$$
(18)

If the constant factor in (13) is the best possible, then so is the constant factor in (18).

Proof

Suppose that (18) is valid. By Hölder’s inequality, we have

$$\begin{aligned} I &= \sum_{n = 2}^{\infty} \Biggl[ \frac{(\ln n)^{\frac{ - 1}{p} + (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})}}{n^{1/p}}\sum_{m = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}}a_{m} \Biggr] \biggl[\frac{(\ln n)^{\frac{1}{p} - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})}}{n^{ - 1/p}}b_{n}\biggr] \\ &\le J\Biggl\{ \sum_{n = 2}^{\infty} \frac{(\ln n)^{q[1 - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})] - 1}}{n^{1 - q}} b_{n}^{q}\Biggr\} ^{\frac{1}{q}}. \end{aligned}$$
(19)

Then by (18) we obtain (13).

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

$$b_{n}: = \frac{(\ln n)^{p(\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p}) - 1}}{n}\Biggl[\sum _{m = 2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} a_{m}\Biggr]^{p - 1},\quad n \in\mathrm{N} \backslash \{1\}. $$

If \(J = 0\), then (18) is naturally valid; if \(J = \infty \), then it is impossible to make (18) valid, hence \(J < \infty\). Suppose that \(0 < J < \infty\). By (13), we find

$$\begin{aligned} &\sum_{n = 2}^{\infty} \frac{(\ln n)^{q[1 - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})] - 1}}{n^{1 - q}} b_{n}^{q} \\ &\quad= J^{p} = I < k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1})\Biggl\{ \sum_{m = 2}^{\infty} \frac{(\ln m)^{p[1 - (\frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q})] - 1}}{m^{1 - p}} a_{m}^{p}\Biggr\} ^{\frac{1}{p}}\\ &\phantom{\quad= J^{p} =}{}\times\Biggl\{ \sum_{n = 2}^{\infty} \frac{(\ln n)^{q[1 - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})] - 1}}{n^{1 - q}} b_{n}^{q}\Biggr\} ^{\frac{1}{q}}, \\ &J = \Biggl\{ \sum_{n = 2}^{\infty} \frac{(\ln n)^{q[1 - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})] - 1}}{n^{1 - q}} b_{n}^{q}\Biggr\} ^{\frac{1}{p}}\\ &\quad < k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1})\Biggl\{ \sum_{m = 2}^{\infty} \frac{(\ln m)^{p[1 - (\frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q})] - 1}}{m^{1 - p}} a_{m}^{p}\Biggr\} ^{\frac{1}{p}}, \end{aligned}$$

namely, (18) follows. Hence, inequality (13) is equivalent to (18).

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

Theorem 2

The following statements are equivalent:

  1. (i)

    \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) is independent of \(p,q\);

  2. (ii)

    \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) is expressible as a single integral;

  3. (iii)

    \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) in (13) is the best possible constant;

  4. (iv)

    \(\lambda_{1} + \lambda_{2} = \lambda\).

If statement (iv) is true, namely, \(\lambda_{1} + \lambda_{2} = \lambda\), then we have (15) and the following equivalent inequality with the best possible constant factor \(k_{s}(\lambda_{1})\):

$$\begin{aligned} &\Biggl\{ \sum_{n = 2}^{\infty} \frac{\ln^{p\lambda_{2} - 1}n}{n}\Biggl[\sum_{m = 2}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} a_{m}\Biggr]^{p} \Biggr\} ^{\frac{1}{p}} \\ &\quad < k_{s}(\lambda_{1})\Biggl[\sum_{m = 2}^{\infty} \frac{\ln^{p(1 - \lambda_{1}) - 1}m}{m^{1 - p}} a_{m}^{p}\Biggr]^{\frac{1}{p}}. \end{aligned}$$
(20)

Proof

(i)(ii). If \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) is independent of \(p,q\), then we find

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

namely, \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) is expressible by a single integral

$$k_{s}(\lambda_{1}) = \int_{0}^{\infty} \prod_{k = 1}^{s} \frac{(\min \{ u,c_{k}\} )^{\alpha /s}}{(\max \{ u,c_{k}\} )^{(\lambda + \alpha )/s}} u^{\lambda_{1} - 1}\,du. $$

(ii)(iv). In (13), if \(k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1})\) is expressible as a single integral \(k_{s}(\frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q})\), then (17) keeps the form of equality. In view of the proof of Lemma 4, it follows that \(\lambda_{1} + \lambda_{2} = \lambda\).

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

(iii)(iv). By Lemma 4, we have \(\lambda_{1} + \lambda_{2} = \lambda\).

(iv)(iii). By Lemma 3, for \(\lambda_{1} + \lambda_{2} = \lambda\),

$$k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1}) = k_{s}(\lambda_{1}) $$

is the best possible constant factor of (13). Therefore, we have (iii) (iv).

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

Remark 3

(i) For \(\lambda = 1,\alpha = 0,\lambda_{1} = \frac{1}{q},\lambda_{2} = \frac{1}{p}\) in (15) and (20), we have the following equivalent inequalities with the best possible constant factor

$$\begin{aligned} &\tilde{k}_{s}\biggl(\frac{1}{q}\biggr): = \frac{qc_{1}^{1/q}}{\prod_{k = 1}^{s} c_{k}^{1/s}} + \frac{p}{c_{s}^{1/p}} + \sum_{i = 1}^{s - 1} \frac{c_{i + 1}^{\frac{1}{q} - \frac{i}{s}} - c_{i}^{\frac{1}{q} - \frac{i}{s}}}{\frac{1}{q} - \frac{i}{s}} \frac{1}{\prod_{k = i + 1}^{s} c_{k}^{1/s}}: \\ &\quad\sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \frac{a_{m}b_{n}}{\prod_{k = 1}^{s} ( \max \{ \ln m,c_{k}\ln n\} )^{1/s}} \\ &\qquad < \tilde{k}_{s} \biggl(\frac{1}{q}\biggr) \Biggl(\sum_{m = 2}^{\infty} \frac{1}{m^{1 - p}} a_{m}^{p}\Biggr)^{\frac{1}{p}}\Biggl( \sum_{n = 2}^{\infty} \frac{1}{n^{1 - q}} b_{n}^{q}\Biggr)^{\frac{1}{q}}, \end{aligned}$$
(21)
$$\begin{aligned} &\quad\Biggl[\sum_{n = 2}^{\infty} \frac{1}{n} \Biggl(\sum_{m = 2}^{\infty} \frac{a_{m}}{\prod_{k = 1}^{s} ( \max \{ \ln m,c_{k}\ln n\} )^{1/s}} \Biggr)^{p} \Biggr]^{\frac{1}{p}} < \tilde{k}_{s}\biggl( \frac{1}{q}\biggr) \Biggl(\sum_{m = 2}^{\infty} \frac{1}{m^{1 - p}} a_{m}^{p}\Biggr)^{\frac{1}{p}}. \end{aligned}$$
(22)

(ii) For \(\lambda = 1,\alpha = 0,\lambda_{1} = \frac{1}{p},\lambda_{2} = \frac{1}{q}\) in (15) and (20), we have the following equivalent dual inequalities with the best possible constant factor

$$\begin{aligned} &\tilde{k}_{s}\biggl(\frac{1}{p}\biggr): = \frac{pc_{1}^{1/p}}{\prod_{k = 1}^{s} c_{k}^{1/s}} + \frac{q}{c_{s}^{1/q}} + \sum_{i = 1}^{s - 1} \frac{c_{i + 1}^{\frac{1}{p} - \frac{i}{s}} - c_{i}^{\frac{1}{p} - \frac{i}{s}}}{\frac{1}{p} - \frac{i}{s}} \frac{1}{\prod_{k = i + 1}^{s} c_{k}^{1/s}}: \\ &\quad\sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \frac{a_{m}b_{n}}{\prod_{k = 1}^{s} ( \max \{ \ln m,c_{k}\ln n\} )^{1/s}} \\ &\qquad < \tilde{k}_{s} \biggl(\frac{1}{p}\biggr) \Biggl(\sum_{m = 2}^{\infty} \frac{\ln^{p - 2}m}{m^{1 - p}} a_{m}^{p}\Biggr)^{\frac{1}{p}}\Biggl( \sum_{n = 2}^{\infty} \frac{\ln^{q - 2}n}{n^{1 - q}} b_{n}^{q}\Biggr)^{\frac{1}{q}}, \end{aligned}$$
(23)
$$\begin{aligned} &\quad\Biggl[\sum_{n = 2}^{\infty} \frac{\ln^{p - 2}n}{n} \Biggl(\sum_{m = 2}^{\infty} \frac{a_{m}}{\prod_{k = 1}^{s} ( \max \{ \ln m,c_{k}\ln n\} )^{1/s}} \Biggr)^{p} \Biggr]^{\frac{1}{p}} \\ &\qquad < \tilde{k}_{s}\biggl( \frac{1}{p}\biggr) \Biggl(\sum_{m = 2}^{\infty} \frac{\ln^{p - 2}m}{m^{1 - p}} a_{m}^{p}\Biggr)^{\frac{1}{p}}. \end{aligned}$$
(24)

(iii) For \(p = q = 2\), both (21) and (23) reduce to

$$ \sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \frac{a_{m}b_{n}}{\prod_{k = 1}^{s} ( \max \{ \ln m,c_{k}\ln n\} )^{1/s}}< \tilde{k}_{s} \biggl(\frac{1}{2}\biggr) \Biggl(\sum_{m = 2}^{\infty} m a_{m}^{2}\sum_{n = 2}^{\infty} n b_{n}^{2}\Biggr)^{\frac{1}{2}}, $$
(25)

and both (22) and (24) reduce to the equivalent form of (25) as follows:

$$ \Biggl[\sum_{n = 2}^{\infty} \frac{1}{n} \Biggl(\sum_{m = 2}^{\infty} \frac{a_{m}}{\prod_{k = 1}^{s} ( \max \{ \ln m,c_{k}\ln n\} )^{1/s}} \Biggr)^{2} \Biggr]^{\frac{1}{2}} < \tilde{k}_{s}\biggl( \frac{1}{2}\biggr) \Biggl(\sum_{m = 2}^{\infty} m a_{m}^{2}\Biggr)^{\frac{1}{2}}, $$
(26)

where \(\tilde{k}_{s}(\frac{1}{2})\) is the best possible constant factor given by

$$\tilde{k}_{s}\biggl(\frac{1}{2}\biggr) = \frac{2c_{1}^{1/2}}{\prod_{k = 1}^{s} c_{k}^{1/s}} + \frac{2}{c_{s}^{1/2}} + \sum_{i = 1}^{s - 1} \frac{c_{i + 1}^{\frac{1}{2} - \frac{i}{s}} - c_{i}^{\frac{1}{2} - \frac{i}{s}}}{\frac{1}{2} - \frac{i}{s}} \frac{1}{\prod_{k = i + 1}^{s} c_{k}^{1/s}}. $$

In particular, for \(s = 1\) in (25) and (26), we have the following equivalent inequalities with the best possible constant factor \(\frac{4}{c_{1}^{1/2}}\):

$$\begin{aligned} &\sum_{n = 2}^{\infty} \sum _{m = 2}^{\infty} \frac{a_{m}b_{n}}{\max \{ \ln m,c_{1}\ln n\}} < \frac{4}{c_{1}^{1/2}} \Biggl(\sum_{m = 2}^{\infty} m a_{m}^{2} \sum_{n = 2}^{\infty} n b_{n}^{2} \Biggr)^{\frac{1}{2}}, \end{aligned}$$
(27)
$$\begin{aligned} &\Biggl[\sum_{n = 2}^{\infty} \frac{1}{n} \Biggl(\sum_{m = 2}^{\infty} \frac{a_{m}}{\max \{ \ln m,c_{1}\ln n\}} \Biggr)^{2} \Biggr]^{\frac{1}{2}} < \frac{4}{c_{1}^{1/2}} \Biggl(\sum _{m = 2}^{\infty} m a_{m}^{2} \Biggr)^{\frac{1}{2}}. \end{aligned}$$
(28)

Operator expressions

We set the following functions:

$$\varphi (m): = \frac{(\ln m)^{p[1 - (\frac{\lambda - \lambda_{2}}{p} + \frac{\lambda_{1}}{q})] - 1}}{m^{1 - p}},\qquad\psi (n): = \frac{(\ln n)^{q[1 - (\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p})] - 1}}{n^{1 - q}}, $$

where

$$\psi^{1 - p}(n) = \frac{(\ln n)^{p(\frac{\lambda - \lambda_{1}}{q} + \frac{\lambda_{2}}{p}) - 1}}{n}\quad \bigl(m,n \in \mathrm{N}\backslash \{ 1\} \bigr). $$

Define the following real normed spaces:

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

Assuming that \(a = \{ a_{m}\}_{m = 2}^{\infty} \in l_{p,\varphi } \), and setting

$$c = \{ c_{n}\}_{n = 2}^{\infty},\quad c_{n}: = \sum_{m = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} a_{m}, n \in \mathrm{N}\backslash \{ 1\}, $$

we can rewrite (13) as

$$\Vert c \Vert _{p,\psi^{1 - p}} < k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1}) \Vert a \Vert _{p,\varphi } < \infty, $$

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

Definition 2

Define a Mulholland-type operator \(T:l_{p,\varphi } \to l_{p,\psi^{1 - p}}\) as follows: For any \(a \in l_{p,\varphi }\), 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 = 2}^{\infty} \Biggl[\sum _{m = 2}^{\infty} \prod _{k = 1}^{s} \frac{(\min \{ \ln m,c_{k}\ln n\} )^{\alpha /s}}{(\max \{ \ln m,c_{k}\ln n\} )^{(\lambda + \alpha )/s}} a_{m} \Biggr] b_{n}, \\ &\Vert T \Vert : = \sup_{a( \ne \theta ) \in l_{p,\varphi }} \frac{ \Vert Ta \Vert _{p,\psi^{1 - p}}}{ \Vert a \Vert _{p,\varphi }}. \end{aligned}$$

By Theorems 1 and 2, we have

Theorem 3

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

$$\begin{aligned} &(Ta,b) < k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}( \lambda_{1}) \Vert a \Vert _{p,\varphi } \Vert b \Vert _{q,\psi}, \end{aligned}$$
(29)
$$\begin{aligned} &\Vert Ta \Vert _{p,\psi^{1 - p}} < k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1}) \Vert a \Vert _{p,\varphi }. \end{aligned}$$
(30)

Moreover, \(\lambda_{1} + \lambda_{2} = \lambda\), if and only if

$$ \Vert T \Vert = k_{s}^{\frac{1}{p}}(\lambda - \lambda_{2})k_{s}^{\frac{1}{q}}(\lambda_{1}) = k_{s}(\lambda_{1}). $$
(31)

Conclusions

In this paper, by means of the weight coefficients, using the idea of introduced parameters and techniques of real analysis, a Mulholland-type inequality with the homogeneous kernel and an equivalent form are given in Theorem 1. The equivalent statements of the best possible constant factor related to some parameters are considered in Theorem 2. Some particular cases and the operator expressions are obtained in Remark 3 and Theorem 3. The lemmas and theorems provide an extensive account of such inequalities.

References

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

    MATH  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  4. Yang, B.C.: On the norm of an integral operator and applications. J. Math. Anal. Appl. 321, 182–192 (2006)

    MathSciNet  MATH  Article  Google Scholar 

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

    MathSciNet  Google Scholar 

  6. Yang, B.C.: On the norm of a Hilbert’s type linear operator and applications. J. Math. Anal. Appl. 325, 529–541 (2007)

    MathSciNet  MATH  Article  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Article  Google Scholar 

  9. 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 

  10. 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 

  11. 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 

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

    MathSciNet  MATH  Article  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  15. 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 

  16. Rassias, M., 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 

  17. Rassias, M., 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 

  18. 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  MATH  Article  Google Scholar 

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

    MATH  Book  Google Scholar 

  20. 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)

    MATH  Google Scholar 

  21. 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 

  22. Hong, Y., Huang, Q.L., Yang, B.C., Liao, J.L.: 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  MATH  Article  Google Scholar 

  23. 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 

  24. 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  MATH  Article  Google Scholar 

  25. Yang, B.C., Chen, Q.: On a Hardy–Hilbert-type inequality with parameters. J. Inequal. Appl. 2015, 339 (2015)

    MathSciNet  MATH  Article  Google Scholar 

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

    Google Scholar 

  27. Kuang, J.C.: Real and Functional Analysis (Continuation) (Second Volume). Higher Education Press, Beijing (2015)

    Google Scholar 

Download references

Funding

This work is supported by the National Natural Science Foundation (No. 61772140), Natural Science Foundation of Jishou University (No. Jd16012), and Science and Technology Planning Project Item of Guangzhou City (No. 201707010229). We are grateful for their help.

Author information

Authors and Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Hongmin Mo.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Mo, H., Yang, B. Equivalent properties of a Mulholland-type inequality with a best possible constant factor and parameters. J Inequal Appl 2019, 123 (2019). https://doi.org/10.1186/s13660-019-2083-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-019-2083-x

MSC

  • 26D15

Keywords

  • Weight coefficient
  • Mulholland-type inequality
  • Parameter
  • Equivalent form
  • Operator expression