• Research
• Open Access

# On a strengthened Hardy-Hilbert type inequality

Journal of Inequalities and Applications20132013:511

https://doi.org/10.1186/1029-242X-2013-511

• Received: 1 March 2013
• Accepted: 10 October 2013
• Published:

## Abstract

We derive a strengthenment of a Hardy-Hilbert type inequality by using the Euler-Maclaurin expansion for the zeta function and estimating the weight function effectively. As applications, some particular results are presented.

MSC:26D15.

## Keywords

• Hardy-Hilbert type inequality
• weight coefficient
• Hölder inequality

## 1 Introduction

Let $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, ${a}_{n},{b}_{n}\ge 0$, $0<{\sum }_{n=1}^{\mathrm{\infty }}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{b}_{n}^{q}<\mathrm{\infty }$. Then one  has
$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{m+n}<\frac{\pi }{sin\left(\pi /p\right)}{\left[\sum _{n=1}^{\mathrm{\infty }}{a}_{n}^{p}\right]}^{\frac{1}{p}}{\left[\sum _{n=1}^{\mathrm{\infty }}{b}_{n}^{q}\right]}^{\frac{1}{q}},$
(1.1)
$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{m,n\right\}}
(1.2)

where the constant factor $\frac{\pi }{sin\left(\pi /p\right)}$ and pq are best possible. Inequality (1.1) is well known as Hardy-Hilbert’s inequality, and inequality (1.2) is named a Hardy-Hilbert type inequality. Both of them are important in analysis and applications . In recent years, many results about generalizations of this type of inequality were established (see ). Under the same conditions as (1.1) and (1.2), some Hardy-Hilbert type inequalities, which are similar to (1.1) and (1.2), have been studied and generalized by some mathematicians.

By introducing a parameter, Yang gave a generalization of inequality (1.2) with the best constant factor as follows:

If $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, $2-min\left\{p,q\right\}<\lambda \le 2$, ${a}_{n},{b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{1-\lambda }{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{1-\lambda }{b}_{n}^{q}<\mathrm{\infty }$, then
$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<{k}_{\lambda }\left(p\right){\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{1-\lambda }{a}_{n}^{p}\right\}}^{\frac{1}{p}}{\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{1-\lambda }{b}_{n}^{q}\right\}}^{\frac{1}{q}},$
(1.3)

where the constant factor ${k}_{\lambda }\left(p\right)=\frac{\lambda pq}{\left(p+\lambda -2\right)\left(q+\lambda -2\right)}$ is best possible.

Furthermore, by introducing a parameter and two pairs of conjugate exponents, Zhong gave a generalization of inequality (1.3) with the best constant factor as follows:

If $p>1$, $\frac{1}{p}+\frac{1}{q}=1$, $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $0<\lambda \le min\left\{r,s\right\}$, ${a}_{n},{b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}<\mathrm{\infty }$, then
$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<{k}_{\lambda }\left(r\right){\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}{\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},$
(1.4)

where the constant factor ${k}_{\lambda }\left(r\right)=\frac{rs}{\lambda }$ is best possible.

Recently, in , Jiang and Hua established an improvement of inequality (1.3) as follows:

If $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, $2-min\left\{p,q\right\}<\lambda \le 2$, ${a}_{n}\ge 0$, ${b}_{n}\ge 0$, for $n\ge 1$, $n\in \mathrm{N}$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{1-\lambda }{a}_{n}^{p}<\mathrm{\infty }$, $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{1-\lambda }{b}_{n}^{q}<\mathrm{\infty }$, then
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[k\left(\lambda \right)-\frac{q}{3\left(q+\lambda -2\right){n}^{\frac{q+\lambda -2}{q}}}\right]{n}^{1-\lambda }{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×\left\{\sum _{n=1}^{\mathrm{\infty }}\left[k\left(\lambda \right)-\frac{p}{3\left(p+\lambda -2\right){n}^{\frac{p+\lambda -2}{p}}}\right]{n}^{1-\lambda }{b}_{n}^{q}\right\},\end{array}$
(1.5)

where $k\left(\lambda \right)=\frac{pq\lambda }{\left(p+\lambda -2\right)\left(q+\lambda -2\right)}>0$.

In this paper, by introducing a parameter and estimating the weight coefficient, we obtain a strengthenment of inequality (1.4) and generalize inequality (1.5). As applications, some particular results are presented.

## 2 Some preliminary results

First, we need the following formula of the Riemann-ζ function (see ):
$\begin{array}{rl}\zeta \left(\rho \right)=& \sum _{n=1}^{m}\frac{1}{{n}^{\rho }}-\frac{{m}^{1-\rho }}{1-\rho }-\frac{1}{2{m}^{\rho }}\\ -\sum _{n=1}^{l-1}\frac{{B}_{2n}}{2n}\left(\begin{array}{c}-\rho \\ 2n-1\end{array}\right)\frac{1}{{m}^{\rho +2n-1}}-\frac{{B}_{2l}}{2l}\left(\begin{array}{c}-\rho \\ 2l-1\end{array}\right)\frac{\epsilon }{{m}^{\rho +2l-1}},\end{array}$
(2.1)

where $\rho >0$, $\rho \ne 1$, $m,l\ge 1$, $m,l\in \mathrm{N}$, $0<\epsilon =\epsilon \left(\rho ,l,m\right)<1$. The numbers ${B}_{1}=-1/2$, ${B}_{2}=1/6$, ${B}_{3}=0$, ${B}_{4}=-1/30$, … are Bernoulli numbers. In particular, $\zeta \left(\rho \right)={\sum }_{n=1}^{\mathrm{\infty }}\frac{1}{{n}^{\rho }}$ ($\rho >1$).

Since $\zeta \left(0\right)=-1/2$, the formula of the Riemann-ζ function (2.1) also holds for $\rho =0$.

Lemma 2.1 Let $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $0<\lambda \le min\left\{r,s\right\}$, define the weight coefficients $\omega \left(m,\lambda ,s\right)$ and $\omega \left(n,\lambda ,r\right)$ as
$\omega \left(m,\lambda ,s\right)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}{\left(\frac{m}{n}\right)}^{1-\frac{\lambda }{s}},$
(2.2)
$\omega \left(n,\lambda ,r\right)=\sum _{m=1}^{\mathrm{\infty }}\frac{1}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}{\left(\frac{n}{m}\right)}^{1-\frac{\lambda }{r}}.$
(2.3)
Then we have
$\omega \left(m,\lambda ,s\right)<{m}^{1-\lambda }\left[{k}_{\lambda }-\frac{s}{3\lambda {m}^{\frac{\lambda }{s}}}\right]$
(2.4)
and
$\omega \left(n,\lambda ,r\right)<{n}^{1-\lambda }\left[{k}_{\lambda }-\frac{r}{3\lambda {m}^{\frac{\lambda }{r}}}\right],$
(2.5)

where ${k}_{\lambda }=\frac{rs}{\lambda }$.

Proof For $0<\lambda \le min\left\{r,s\right\}$, taking $\rho =1-\frac{\lambda }{s}\ge 0$, $l=1$ in (2.1), we get
$\zeta \left(1-\frac{\lambda }{s}\right)=\sum _{n=1}^{m}\frac{1}{{n}^{1-\frac{\lambda }{s}}}-\frac{s{m}^{\frac{\lambda }{s}}}{\lambda }-\frac{1}{2{m}^{1-\frac{\lambda }{s}}}+\frac{1-\frac{\lambda }{s}}{12{m}^{2-\frac{\lambda }{s}}}{\epsilon }_{1},$
(2.6)

where $0<{\epsilon }_{1}<1$.

Set $\rho =1+\frac{\lambda }{r}$, $l=1$, and we can derive
$\zeta \left(1+\frac{\lambda }{r}\right)=\sum _{n=1}^{m-1}\frac{1}{{n}^{1+\frac{\lambda }{r}}}+\frac{r{m}^{-\frac{\lambda }{r}}}{\lambda }+\frac{1}{2{m}^{1+\frac{\lambda }{r}}}+\frac{1+\frac{\lambda }{r}}{12{m}^{2+\frac{\lambda }{r}}}{\epsilon }_{2},$
(2.7)

where $0<{\epsilon }_{2}<1$.

Thus we get
$\begin{array}{rl}\omega \left(m,\lambda ,s\right)& =\sum _{n=1}^{\mathrm{\infty }}\frac{1}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}{\left(\frac{m}{n}\right)}^{1-\frac{\lambda }{s}}\\ =\sum _{n=1}^{m}\frac{1}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}{\left(\frac{m}{n}\right)}^{1-\frac{\lambda }{s}}-\frac{1}{{m}^{\lambda }}+\sum _{n=m}^{\mathrm{\infty }}\frac{1}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}{\left(\frac{m}{n}\right)}^{1-\frac{\lambda }{s}}\\ =\sum _{n=1}^{m}\frac{1}{{m}^{\lambda }}{\left(\frac{m}{n}\right)}^{1-\frac{\lambda }{s}}-\frac{1}{{m}^{\lambda }}+\sum _{n=m}^{\mathrm{\infty }}\frac{1}{{n}^{\lambda }}{\left(\frac{m}{n}\right)}^{1-\frac{\lambda }{s}}\\ =\frac{1}{{m}^{\lambda +\frac{\lambda }{s}-1}}\sum _{n=1}^{m}\frac{1}{{n}^{1-\frac{\lambda }{s}}}-\frac{1}{{m}^{\lambda }}+{m}^{1-\frac{\lambda }{s}}\sum _{n=m}^{\mathrm{\infty }}\frac{1}{{n}^{1+\frac{\lambda }{r}}}.\end{array}$
Combining (2.6) and (2.7), we have
$\begin{array}{rl}\omega \left(m,\lambda ,s\right)<& \frac{1}{{m}^{\lambda +\frac{\lambda }{s}-1}}\left[\zeta \left(1-\frac{\lambda }{s}\right)+\frac{s{m}^{\frac{\lambda }{s}}}{\lambda }+\frac{1}{2{m}^{1-\frac{\lambda }{s}}}\right]-\frac{1}{{m}^{\lambda }}\\ +{m}^{1-\frac{\lambda }{s}}\left[\frac{r{m}^{-\frac{\lambda }{r}}}{\lambda }+\frac{1}{2{m}^{1+\frac{\lambda }{r}}}+\frac{1+\frac{\lambda }{r}}{12{m}^{2+\frac{\lambda }{r}}}\right]\\ =& \frac{1}{{m}^{\lambda +\frac{\lambda }{s}-1}}\zeta \left(1-\frac{\lambda }{s}\right)+\frac{s{m}^{1-\lambda }}{\lambda }+\frac{1}{2{m}^{\lambda }}-\frac{1}{{m}^{\lambda }}+\frac{r{m}^{1-\lambda }}{\lambda }+\frac{1}{2{m}^{\lambda }}+\frac{1+\frac{\lambda }{r}}{12{m}^{1+\lambda }}\\ =& \frac{1}{{m}^{\lambda +\frac{\lambda }{s}-1}}\zeta \left(1-\frac{\lambda }{s}\right)+\frac{rs{m}^{1-\lambda }}{\lambda }+\frac{1+\frac{\lambda }{r}}{12{m}^{1+\lambda }}\\ =& {m}^{1-\lambda }\left\{\frac{rs}{\lambda }-\frac{1}{{m}^{\frac{\lambda }{s}}}\left[-\zeta \left(1-\frac{\lambda }{s}\right)-\frac{1+\frac{\lambda }{r}}{12{m}^{2-\frac{\lambda }{s}}}\right]\right\}.\end{array}$
In (2.6), let $m=1$, by $0<\lambda \le min\left\{r,s\right\}$, we obtain
$\begin{array}{rl}\zeta \left(1-\frac{\lambda }{s}\right)& =1-\frac{s}{\lambda }-\frac{1}{2}+\frac{\left(1-\frac{\lambda }{s}\right){\epsilon }_{1}}{12}<\frac{1}{2}-\frac{s}{\lambda }+\frac{1-\frac{\lambda }{s}}{12}=\frac{6\lambda -12s-\lambda \left(1-\frac{\lambda }{s}\right)}{12\lambda }\\ <\frac{6\lambda -12s-\left(\lambda -s\right)}{12\lambda }=\frac{5\lambda -11s}{12\lambda }=-\frac{11s-5\lambda }{12\lambda }<0.\end{array}$
Therefore, for $m\ge 1$, $m\in \mathrm{N}$, $0<\lambda \le min\left\{r,s\right\}$, we obtain
$\begin{array}{rl}-\zeta \left(1-\frac{\lambda }{s}\right)-\frac{1+\frac{\lambda }{r}}{12{m}^{2-\frac{\lambda }{s}}}& >\frac{11s-5\lambda }{12\lambda }-\frac{1+\frac{\lambda }{r}}{12}=\frac{11s-5\lambda -\lambda \left(1+\frac{\lambda }{r}\right)}{12\lambda }\ge \frac{11s-5\lambda -2\lambda }{12\lambda }\\ =\frac{4s+7\left(s-\lambda \right)}{12\lambda }\ge \frac{4s}{12\lambda }=\frac{s}{3\lambda }.\end{array}$

Applying the above inequality, we obtain (2.4). Similarly, we can prove (2.5). The lemma is proved. □

## 3 Main results

Theorem 3.1 Assume that $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $0<\lambda \le min\left\{r,s\right\}$, ${a}_{n}\ge 0$, ${b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}<\mathrm{\infty }$, then
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{s}{3\lambda {n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.1)
$\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\frac{p\lambda }{s}-1}}{{\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{s}{3\lambda {n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p},$
(3.2)
where ${k}_{\lambda }=\frac{rs}{\lambda }>0$. Inequality (3.1) is equivalent to (3.2). In particular, we have the following equivalent inequalities:
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {k}_{\lambda }{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{s}{{k}_{\lambda }3\lambda {n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.3)
$\sum _{n=1}^{\mathrm{\infty }}{n}^{\frac{p\lambda }{s}-1}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<{k}_{\lambda }^{p}\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{s}{3{k}_{\lambda }\lambda {n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}.$
(3.4)
Proof From Hölder inequality (see ), we have
$\begin{array}{r}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\\ \phantom{\rule{1em}{0ex}}=\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\frac{{n}^{\left(\lambda /s-1\right)/p}}{{m}^{\left(\lambda /r-1\right)/q}}\frac{{m}^{\left(\lambda /r-1\right)/q}}{{n}^{\left(\lambda /s-1\right)/p}}\\ \phantom{\rule{1em}{0ex}}\le {\left\{\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}^{p}{m}^{p\left(1-\lambda /r\right)+\lambda -2}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}{\left(\frac{m}{n}\right)}^{1-\frac{\lambda }{s}}\right\}}^{\frac{1}{p}}{\left\{\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{b}_{n}^{q}{n}^{q\left(1-\lambda /s\right)+\lambda -2}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}{\left(\frac{n}{m}\right)}^{1-\frac{\lambda }{r}}\right\}}^{\frac{1}{q}}\\ \phantom{\rule{1em}{0ex}}={\left\{\sum _{m=1}^{\mathrm{\infty }}\omega \left(m,\lambda ,s\right){m}^{p\left(1-\lambda /r\right)+\lambda -2}{a}_{m}^{p}\right\}}^{\frac{1}{p}}{\left\{\sum _{n=1}^{\mathrm{\infty }}\omega \left(n,\lambda ,r\right){n}^{q\left(1-\lambda /s\right)+\lambda -2}{b}_{n}^{q}\right\}}^{\frac{1}{q}}.\end{array}$

Hence, by (2.4), (2.5), inequality (3.1) is true.

Setting ${b}_{n}$ as
${b}_{n}=\frac{{n}^{p\lambda /s-1}}{{\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p-1},$
by using (3.1), we have
$\begin{array}{r}\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}\\ \phantom{\rule{1em}{0ex}}=\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{p\lambda /s-1}}{{\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}\\ \phantom{\rule{1em}{0ex}}=\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\le {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{s}{3\lambda {n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ \phantom{\rule{2em}{0ex}}×{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}}.\end{array}$
(3.5)
Hence, we obtain
$\begin{array}{rl}0& <\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\frac{p\lambda }{s}-1}}{{\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}\\ <\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{s}{3\lambda {n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}<\mathrm{\infty }.\end{array}$
(3.6)

By (3.1), both (3.5) and (3.6) take the form of strict inequality, and we have (3.2).

On the other hand, suppose that (3.2) is valid, from Hölder inequality, we find
$\begin{array}{r}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\\ \phantom{\rule{1em}{0ex}}=\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\left[q\left(\lambda /s-1\right)+1\right]/q}}{{\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]}^{\frac{1}{q}}}\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]{\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]}^{\frac{1}{q}}{n}^{\left[q\left(1-\lambda /s\right)-1\right]/q}{b}_{n}\\ \phantom{\rule{1em}{0ex}}\le {\left\{\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{p\lambda /s-1}}{{\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}\right\}}^{\frac{1}{p}}{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{r}{3\lambda {n}^{\frac{\lambda }{r}}}\right]{n}^{q\left(1-\lambda /s\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}}.\end{array}$

Then, by using (3.2), we have (3.1). Hence, (3.2) and (3.1) are equivalent. The proof of Theorem 3.1 is completed. □

Since $0<\lambda \le min\left\{r,s\right\}$, by Theorem 3.1, we have the following.

Corollary 3.2 Assume that $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $0<\lambda \le min\left\{r,s\right\}$, ${a}_{n}\ge 0$, ${b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}<\mathrm{\infty }$, then
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{1}{3{n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{1}{3{n}^{\frac{\lambda }{r}}}\right]{n}^{q\left(1-\frac{\lambda }{s}\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.7)
$\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\frac{p\lambda }{s}-1}}{{\left[{k}_{\lambda }-\frac{1}{3{n}^{\frac{\lambda }{r}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{1}{3{n}^{\frac{\lambda }{s}}}\right]{n}^{p\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{p},$
(3.8)

where ${k}_{\lambda }=\frac{rs}{\lambda }>0$. Inequality (3.7) is equivalent to (3.8).

For $r=s=2$, by using (3.1) and (3.2), we have the following.

Corollary 3.3 Assume that $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, $0<\lambda \le 2$, ${a}_{n}\ge 0$, ${b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{p\left(1-\frac{\lambda }{2}\right)-1}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{q\left(1-\frac{\lambda }{2}\right)-1}{b}_{n}^{q}<\mathrm{\infty }$, then
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{2}{3\lambda {n}^{\frac{\lambda }{2}}}\right]{n}^{p\left(1-\frac{\lambda }{2}\right)-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{2}{3\lambda {n}^{\frac{\lambda }{2}}}\right]{n}^{q\left(1-\frac{\lambda }{2}\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.9)
$\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\frac{p\lambda }{2}-1}}{{\left[{k}_{\lambda }-\frac{2}{3\lambda {n}^{\frac{\lambda }{2}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{2}{3\lambda {n}^{\frac{\lambda }{2}}}\right]{n}^{p\left(1-\frac{\lambda }{2}\right)-1}{a}_{n}^{p},$
(3.10)
where ${k}_{\lambda }=\frac{4}{\lambda }>0$. Inequality (3.9) is equivalent to (3.10). In particular, we have the equivalent inequalities as follows.
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {k}_{\lambda }{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{2}{{k}_{\lambda }3\lambda {n}^{\frac{\lambda }{2}}}\right]{n}^{p\left(1-\frac{\lambda }{2}\right)-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{q\left(1-\frac{\lambda }{2}\right)-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.11)
$\sum _{n=1}^{\mathrm{\infty }}{n}^{\frac{p\lambda }{2}-1}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<{k}_{\lambda }^{p}\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{2}{3{k}_{\lambda }\lambda {n}^{\frac{\lambda }{2}}}\right]{n}^{p\left(1-\frac{\lambda }{2}\right)-1}{a}_{n}^{p}.$
(3.12)

For $r=q$, $s=p$, by using (3.1) and (3.2), we have the following.

Corollary 3.4 Assume that $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, $0<\lambda \le min\left\{p,q\right\}$, ${a}_{n}\ge 0$, ${b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{\left(p-1\right)\left(1-\lambda \right)}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{\left(q-1\right)\left(1-\lambda \right)}{b}_{n}^{q}<\mathrm{\infty }$, then
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{p}{3\lambda {n}^{\frac{\lambda }{p}}}\right]{n}^{\left(p-1\right)\left(1-\lambda \right)}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{q}{3\lambda {n}^{\frac{\lambda }{q}}}\right]{n}^{\left(q-1\right)\left(1-\lambda \right)}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.13)
$\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\lambda -1}}{{\left[{k}_{\lambda }-\frac{q}{3\lambda {n}^{\frac{\lambda }{q}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{p}{3\lambda {n}^{\frac{\lambda }{p}}}\right]{n}^{\left(p-1\right)\left(1-\lambda \right)}{a}_{n}^{p},$
(3.14)
where ${k}_{\lambda }=\frac{pq}{\lambda }>0$. Inequality (3.13) is equivalent to (3.14). In particular, we have the equivalent inequalities as follows.
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {k}_{\lambda }{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{p}{{k}_{\lambda }3\lambda {n}^{\frac{\lambda }{p}}}\right]{n}^{\left(p-1\right)\left(1-\lambda \right)}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{\left(q-1\right)\left(1-\lambda \right)}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.15)
$\sum _{n=1}^{\mathrm{\infty }}{n}^{\lambda -1}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<{k}_{\lambda }^{p}\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{p}{3{k}_{\lambda }\lambda {n}^{\frac{\lambda }{p}}}\right]{n}^{\left(p-1\right)\left(1-\lambda \right)}{a}_{n}^{p}.$
(3.16)

For $r=p$, $s=q$, by using (3.1) and (3.2), we have the following.

Corollary 3.5 Assume that $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$, $0<\lambda \le min\left\{p,q\right\}$, ${a}_{n}\ge 0$, ${b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{p-\lambda -1}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{q-\lambda -1}{b}_{n}^{q}<\mathrm{\infty }$, then
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<& {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{q}{3\lambda {n}^{\frac{\lambda }{q}}}\right]{n}^{p-\lambda -1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{p}{3\lambda {n}^{\frac{\lambda }{p}}}\right]{n}^{q-\lambda -1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.17)
$\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\left(p-1\right)\lambda -1}}{{\left[{k}_{\lambda }-\frac{p}{3\lambda {n}^{\frac{\lambda }{p}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<\sum _{n=1}^{\mathrm{\infty }}\left[{k}_{\lambda }-\frac{q}{3\lambda {n}^{\frac{\lambda }{q}}}\right]{n}^{p-\lambda -1}{a}_{n}^{p},$
(3.18)
where ${k}_{\lambda }=\frac{pq}{\lambda }>0$. Inequality (3.17) is equivalent to (3.18). In particular, we have the equivalent inequalities as follows.
$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}<{k}_{\lambda }{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{q}{{k}_{\lambda }3\lambda {n}^{\frac{\lambda }{q}}}\right]{n}^{p-\lambda -1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}{\left\{\sum _{n=1}^{\mathrm{\infty }}{n}^{q-\lambda -1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},$
(3.19)
$\sum _{n=1}^{\mathrm{\infty }}{n}^{\left(p-1\right)\lambda -1}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{{m}^{\lambda },{n}^{\lambda }\right\}}\right]}^{p}<{k}_{\lambda }^{p}\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{q}{3{k}_{\lambda }\lambda {n}^{\frac{\lambda }{q}}}\right]{n}^{p-\lambda -1}{a}_{n}^{p}.$
(3.20)

Set $\lambda =1$, combining (3.1) and (3.2), we have the following.

Corollary 3.6 Assume that $p,q>1$, $\frac{1}{p}+\frac{1}{q}=1$,$r>1$, $\frac{1}{r}+\frac{1}{s}=1$, ${a}_{n}\ge 0$, ${b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{\frac{p}{s}-1}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{\frac{q}{r}-1}{b}_{n}^{q}<\mathrm{\infty }$, then
$\begin{array}{rl}\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{m,n\right\}}<& {\left\{\sum _{n=1}^{\mathrm{\infty }}\left[rs-\frac{s}{3{n}^{\frac{1}{s}}}\right]{n}^{\frac{p}{s}-1}{a}_{n}^{p}\right\}}^{\frac{1}{p}}\\ ×{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[rs-\frac{r}{3{n}^{\frac{1}{r}}}\right]{n}^{\frac{q}{r}-1}{b}_{n}^{q}\right\}}^{\frac{1}{q}},\end{array}$
(3.21)
$\sum _{n=1}^{\mathrm{\infty }}\frac{{n}^{\frac{p}{s}-1}}{{\left[rs-\frac{r}{3{n}^{\frac{1}{r}}}\right]}^{p-1}}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{m,n\right\}}\right]}^{p}<\sum _{n=1}^{\mathrm{\infty }}\left[rs-\frac{s}{3{n}^{\frac{1}{s}}}\right]{n}^{\frac{p}{s}-1}{a}_{n}^{p}.$
(3.22)
In particular, we have the equivalent inequalities as follows.
$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{m,n\right\}}
(3.23)
$\sum _{n=1}^{\mathrm{\infty }}{n}^{\frac{p}{s}-1}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{m,n\right\}}\right]}^{p}<{\left(rs\right)}^{p}\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{1}{3r{n}^{\frac{1}{s}}}\right]{n}^{\frac{p}{s}-1}{a}_{n}^{p}.$
(3.24)
Taking $p=q=r=s=2$, in (3.23) and (3.24), we have
$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}{b}_{n}}{max\left\{m,n\right\}}<4{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{1}{6\sqrt{n}}\right]{a}_{n}^{2}\right\}}^{\frac{1}{2}}{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{1}{6\sqrt{n}}\right]{b}_{n}^{2}\right\}}^{\frac{1}{2}},$
(3.25)
$\sum _{n=1}^{\mathrm{\infty }}{\left[\sum _{m=1}^{\mathrm{\infty }}\frac{{a}_{m}}{max\left\{m,n\right\}}\right]}^{2}<16\sum _{n=1}^{\mathrm{\infty }}\left[1-\frac{1}{6\sqrt{n}}\right]{a}_{n}^{2}.$
(3.26)

Remark 3.1 For $r=\frac{\lambda p}{\lambda +p-2}$ and $s=\frac{\lambda q}{\lambda +q-2}$ in Theorem 3.1, we get the results of .

## Declarations

### Acknowledgements

The authors would like to thank the editors and the referees for their valuable suggestions to improve the quality of this paper. The first author was supported by the scientific research foundation of National Natural Science Foundation (51109180), the National Science & Technology Supporting Plan from the Ministry of Science & Technology of P.R. China (2011BAD29B08), the ‘111’ Project from the Ministry of Education of P.R. China and the State Administration of Foreign Experts Affairs of P.R. China (B12007), Fundamental Research Funds for the Central Universities (Z109021310) and the scientific research foundation of National Natural Science Foundation (51279167).

## Authors’ Affiliations

(1)
Department of Electrical Engineering, Northwest A&F University, Yangling, Shaanxi, 712100, China
(2)
Department of Construction and Information Engineering, Guangxi Modern Vocational Technology College, Hechi, Guangxi, 547000, China
(3)
School of Civil Engineering, Hebei University of Technology, Tianjin, 300130, China
(4)
Institute of Information Technology, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China

## References 