# A new more accurate half-discrete Hilbert-type inequality

## Abstract

By using the way of weight functions and the idea of introducing parameters and by means of Hadamard’s inequality, we give a more accurate half-discrete Hilbert-type inequality with a best constant factor. We also consider its best extension with parameters, equivalent forms, operator expressions as well as some reverses.

MSC:26D15, 47A07.

## 1 Introduction

If $p>1$, $\frac{1}{p}+\frac{1}{q}=1$, ${a}_{n},{b}_{n}\ge 0$, such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=1}^{\mathrm{\infty }}{b}_{n}^{q}<{\mathrm{\infty }}_{,}$ then we have the following famous Hilbert-type integral inequality (cf. ):

$\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{ln\left(m/n\right)}{m-n}{a}_{m}{b}_{n}<{\left[\frac{\pi }{sin\left(\pi /p\right)}\right]}^{2}{\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)

where the constant factor ${\left[\pi /sin\left(\pi /p\right)\right]}^{2}$ is the best possible. The integral analogue of inequality (1) is given as follows (cf. ). If $p>1$, $\frac{1}{p}+\frac{1}{q}=1$, $f\left(x\right)$ and $g\left(x\right)$ are non-negative real functions such that $0<{\int }_{0}^{\mathrm{\infty }}{f}^{p}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx<\mathrm{\infty }$ and $0<{\int }_{0}^{\mathrm{\infty }}{g}^{q}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx<\mathrm{\infty }$, then (2)

where the constant factor ${\left[\pi /sin\left(\pi /p\right)\right]}^{2}$ is the best possible. We named inequality (2) Hilbert-type integral inequality. In 2007, Yang proved the following more accurate Hilbert-type inequality (cf. ). If $p>1$, $\frac{1}{p}+\frac{1}{q}=1$, $\frac{1}{2}\le \alpha \le 1$, ${a}_{n},{b}_{n}\ge 0$, such that $0<{\sum }_{n=0}^{\mathrm{\infty }}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\sum }_{n=0}^{\mathrm{\infty }}{b}_{n}^{q}<\mathrm{\infty }$, then

$\sum _{n=0}^{\mathrm{\infty }}\sum _{m=0}^{\mathrm{\infty }}\frac{ln\left(\frac{m+\alpha }{n+\alpha }\right)}{m-n}{a}_{m}{b}_{n}<{\left[\frac{\pi }{sin\left(\pi /p\right)}\right]}^{2}{\left\{\sum _{n=0}^{\mathrm{\infty }}{a}_{n}^{p}\right\}}^{\frac{1}{p}}{\left\{\sum _{n=0}^{\mathrm{\infty }}{b}_{n}^{q}\right\}}^{\frac{1}{q}},$
(3)

where the constant factor ${\left[\pi /sin\left(\pi /p\right)\right]}^{2}$ is still the best possible. Inequalities (1)-(3) are important in mathematical analysis and its applications . There are lots of improvements, generalizations, and applications of inequalities (1)-(3); for more details, refer to .

At present, the research into half-discrete Hilbert-type inequalities is a new direction and has gradually heated up. We find a few results on the half-discrete Hilbert-type inequalities with the non-homogeneous kernel, which were published earlier (cf. , Th. 351 and ). Recently, Yang has given some half-discrete Hilbert-type inequalities (cf. ). Zhong proved a half-discrete Hilbert-type inequality with the non-homogeneous kernel as follows (cf. ). If $p>1$, $\frac{1}{p}+\frac{1}{q}=1$, $0<\lambda \le 2$, ${a}_{n},f\left(x\right)\ge 0$, $f\left(x\right)$ is a measurable function in $\left(0,\mathrm{\infty }\right)$ such that $0<{\sum }_{n=1}^{\mathrm{\infty }}{n}^{p\left(1-\frac{\lambda }{2}\right)-1}{a}_{n}^{p}<\mathrm{\infty }$ and $0<{\int }_{0}^{\mathrm{\infty }}{x}^{q\left(1-\frac{\lambda }{2}\right)-1}{f}^{q}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx<\mathrm{\infty }$, then (4)

where the constant factor ${\left(\frac{\pi }{\lambda }\right)}^{2}$ is the best possible.

In this paper, by using the way of weight functions and the idea of introducing parameters and by means of Hadamard’s inequality, we give a half-discrete Hilbert-type inequality with a best constant factor as follows:

$\sum _{n=1}^{\mathrm{\infty }}{a}_{n}{\int }_{0}^{\mathrm{\infty }}\frac{ln\left(\frac{x}{n}\right)}{x-n}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx<{\pi }^{2}{\left(\sum _{n=1}^{\mathrm{\infty }}{a}_{n}^{2}{\int }_{0}^{\mathrm{\infty }}{f}^{2}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right)}^{\frac{1}{2}}.$
(5)

The main objective of this paper is to consider its more accurate extension with parameters, equivalent forms, operator expressions as well as some reverses.

## 2 Some lemmas

Lemma 1 If $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, define the following beta function (cf. ):

${\int }_{0}^{\mathrm{\infty }}\frac{lnu}{u-1}{u}^{\frac{1}{s}-1}\phantom{\rule{0.2em}{0ex}}du={\left[B\left(\frac{1}{s},\frac{1}{r}\right)\right]}^{2}={\left(\frac{\pi }{sin\frac{\pi }{s}}\right)}^{2}.$
(6)

Lemma 2 Suppose that $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $0\le \beta \le \frac{1}{2}$, $\nu \in \left(-\mathrm{\infty },\mathrm{\infty }\right)$, $0<\lambda \le 1$. Define the weight functions $\omega \left(n\right)$ and $\stackrel{˜}{\omega }\left(x\right)$ as follows: (7) (8)

Setting ${k}_{\lambda }\left(r\right):={\left[\frac{\pi }{\lambda sin\left(\frac{\pi }{r}\right)}\right]}^{2}$, we have the following inequalities: (9) (10)

Proof Putting $u={\left(\frac{x-\nu }{n-\beta }\right)}^{\lambda }$ in (8), we have

$\begin{array}{rcl}{\omega }_{\lambda }\left(n\right)& =& \frac{1}{{\lambda }^{2}}{\int }_{0}^{\mathrm{\infty }}\frac{lnu}{u-1}{u}^{\frac{1}{s}-1}\phantom{\rule{0.2em}{0ex}}du=\frac{1}{{\lambda }^{2}}{\left[B\left(\frac{1}{s},\frac{1}{r}\right)\right]}^{2}\\ =& \frac{1}{{\lambda }^{2}}{\left[B\left(\frac{1}{r},\frac{1}{s}\right)\right]}^{2}={\left[\frac{\pi }{\lambda sin\left(\frac{\pi }{r}\right)}\right]}^{2}={k}_{\lambda }\left(r\right).\end{array}$
(11)

For fixed $x\in \left(\nu ,\mathrm{\infty }\right)$, setting

$f\left(t\right):=\frac{{\left(x-\nu \right)}^{\frac{\lambda }{s}}ln\left(\frac{x-\nu }{t-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(t-\beta \right)}^{\lambda }}{\left(t-\beta \right)}^{\frac{\lambda }{r}-1}\phantom{\rule{1em}{0ex}}\left(t\in \left(\beta ,\mathrm{\infty }\right)\right),$
(12)

in view of the conditions, we find ${f}^{\mathrm{\prime }}\left(t\right)<0$ and ${f}^{\mathrm{\prime }\mathrm{\prime }}\left(t\right)>0$ (cf. ). By Hadamard’s inequality (cf. ),

$f\left(n\right)<{\int }_{n-\frac{1}{2}}^{n+\frac{1}{2}}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\phantom{\rule{1em}{0ex}}\left(n\in \mathbf{N}\right),$
(13)

and putting $v={\left(\frac{t-\beta }{x-\nu }\right)}^{\lambda }$, we obtain

$\begin{array}{rcl}{\stackrel{˜}{\omega }}_{\lambda }\left(x\right)& =& \sum _{n=1}^{\mathrm{\infty }}f\left(n\right)<\sum _{n=1}^{\mathrm{\infty }}{\int }_{n-\frac{1}{2}}^{n+\frac{1}{2}}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt={\int }_{\frac{1}{2}}^{\mathrm{\infty }}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ \le & {\int }_{\beta }^{\mathrm{\infty }}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt=\frac{1}{{\lambda }^{2}}{\int }_{0}^{\mathrm{\infty }}\frac{lnv}{v-1}{v}^{\frac{1}{r}-1}\phantom{\rule{0.2em}{0ex}}du={k}_{\lambda }\left(r\right),\\ {\stackrel{˜}{\omega }}_{\lambda }\left(x\right)& =& \sum _{n=1}^{\mathrm{\infty }}f\left(n\right)>{\int }_{1}^{\mathrm{\infty }}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt={\int }_{\beta }^{\mathrm{\infty }}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt-{\int }_{\beta }^{1}f\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& {k}_{\lambda }\left(r\right)-\frac{1}{{\lambda }^{2}}{\int }_{0}^{{\left(\frac{1-\beta }{x-\nu }\right)}^{\lambda }}\frac{lnv}{v-1}{v}^{\frac{1}{r}-1}\phantom{\rule{0.2em}{0ex}}dv={k}_{\lambda }\left(r\right)\left(1-{\theta }_{\lambda }\left(x\right)\right)>0,\end{array}$

where,

$0<{\theta }_{\lambda }\left(x\right):={\left[\frac{sin\left(\frac{\pi }{r}\right)}{\pi }\right]}^{2}{\int }_{0}^{{\left(\frac{1-\beta }{x-\nu }\right)}^{\lambda }}\frac{lnv}{v-1}{v}^{\frac{1}{r}-1}\phantom{\rule{0.2em}{0ex}}dv\phantom{\rule{1em}{0ex}}\left(x\in \left(\nu ,\mathrm{\infty }\right)\right).$

Since ${lim}_{v\to {0}^{+}}\frac{lnv}{v-1}{v}^{\frac{1}{2r}}={lim}_{v\to \mathrm{\infty }}\frac{lnv}{v-1}{v}^{\frac{1}{2r}}=0$ and $\frac{lnv}{v-1}{v}^{\frac{1}{2r}}{\mid }_{v=1}=1$, in view of the bounded properties of a continuous function, there exists $M>0$ such that $0<\frac{lnv}{v-1}{v}^{\frac{1}{2r}}\le M$ ($v\in \left(0,\mathrm{\infty }\right)$). For $x\in \left(\nu ,\mathrm{\infty }\right)$, we have

$\begin{array}{rcl}0& <& {\int }_{0}^{{\left(\frac{1-\beta }{x-\nu }\right)}^{\lambda }}\frac{lnv}{v-1}{v}^{\frac{1}{r}-1}\phantom{\rule{0.2em}{0ex}}dv={\int }_{0}^{{\left(\frac{1-\beta }{x-\nu }\right)}^{\lambda }}\frac{lnv}{v-1}{v}^{\frac{1}{2r}}\cdot {v}^{\frac{1}{2r}-1}\phantom{\rule{0.2em}{0ex}}dv\\ \le & M{\int }_{0}^{{\left(\frac{1-\beta }{x-\nu }\right)}^{\lambda }}{v}^{\frac{1}{2r}-1}\phantom{\rule{0.2em}{0ex}}dv=\frac{2Mr{\left(1-\beta \right)}^{\lambda /2r}}{{\left(x-\nu \right)}^{\lambda /2r}}.\end{array}$
(14)

Hence, we proved that (9) and (10) are valid. □

Lemma 3 Suppose that $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $\frac{1}{p}+\frac{1}{q}=1$ ($p\ne 0,1$), $0\le \beta \le \frac{1}{2}$, $\nu \in \left(-\mathrm{\infty },\mathrm{\infty }\right)$, $0<\lambda \le 1$, ${a}_{n}\ge 0$, and $f\left(x\right)$ is a non-negative real measurable function in $\left(\nu ,\mathrm{\infty }\right)$. Then

1. (i)

for $p>1$, we have the following inequalities: (15) (16)

where ${\omega }_{\lambda }\left(n\right)$ and ${\stackrel{˜}{\omega }}_{\lambda }\left(x\right)$ are defined by (7) and (8).

1. (ii)

for $p<1$ ($p\ne 0$), we have the reverses of (15) and (16).

Proof (i) By (7)-(10) and Hölder’s inequality , we have (17)

By the Lebesgue term-by-term integration theorem  and (9), we obtain

$\begin{array}{rcl}{J}^{p}& \le & {k}_{\lambda }^{p-1}\left(r\right)\sum _{n=1}^{\mathrm{\infty }}{\int }_{\nu }^{\mathrm{\infty }}\frac{{f}^{p}\left(x\right)ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}\frac{{\left(x-\nu \right)}^{\left(1-\frac{\lambda }{s}\right)\left(p-1\right)}}{{\left(n-\beta \right)}^{1-\frac{\lambda }{r}}}\phantom{\rule{0.2em}{0ex}}dx\\ =& {k}_{\lambda }^{p-1}\left(r\right){\int }_{\nu }^{\mathrm{\infty }}\sum _{n=1}^{\mathrm{\infty }}\frac{{\left(n-\beta \right)}^{\frac{\lambda }{r}-1}ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}{\left(x-\nu \right)}^{\frac{\lambda }{s}+p\left(1-\frac{\lambda }{s}\right)-1}{f}^{p}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\\ =& {k}_{\lambda }^{p-1}\left(r\right){\int }_{\nu }^{\mathrm{\infty }}{\stackrel{˜}{\omega }}_{\lambda }\left(x\right){\left(x-\nu \right)}^{p\left(1-\frac{\lambda }{s}\right)-1}{f}^{p}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx.\end{array}$
(18)

Hence, (15) is valid. Using Hölder’s inequality, the Lebesgue term-by-term integration theorem, and (9) again, we have (19) (20)

Hence, (16) is valid.

1. (ii)

For $0 ($q<0$) or $p<0$ ($0), using the reverse Hölder inequality, in the same way, we obtain the reverses of (15) and (16). □

Lemma 4 By the assumptions of Lemma  2 and Lemma  3, we set $\varphi \left(x\right):={\left(x-\nu \right)}^{p\left(1-\frac{\lambda }{s}\right)-1}$, $\stackrel{˜}{\varphi }\left(x\right):=\left(1-{\theta }_{\lambda }\left(x\right)\right)\varphi \left(x\right)$, $\psi \left(n\right):={\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}$, (Note If $p>1$, then ${L}_{p,\varphi }\left(\nu ,\mathrm{\infty }\right)$ and ${l}_{q,\psi }$ are normal spaces; if $0 or $p<0$, then both ${L}_{p,\varphi }\left(\nu ,\mathrm{\infty }\right)$ and ${l}_{q,\psi }$ are not normal spaces, but we still use the formal symbols in the following.)

For $0<\epsilon <\frac{|p|\lambda }{s}$, setting $\stackrel{˜}{a}={\left\{{\stackrel{˜}{a}}_{n}\right\}}_{n=1}^{\mathrm{\infty }}$, and $\stackrel{˜}{f}\left(x\right)$ as follows:

${\stackrel{˜}{a}}_{n}={\left(n-\beta \right)}^{\frac{\lambda }{r}-\frac{\epsilon }{q}-1};\phantom{\rule{2em}{0ex}}\stackrel{˜}{f}\left(x\right)=\left\{\begin{array}{cc}0,\hfill & x\in \left(\nu ,1+\nu \right),\hfill \\ {\left(x-\nu \right)}^{\frac{\lambda }{s}-\frac{\epsilon }{p}-1},\hfill & x\in \left[1+\nu ,\mathrm{\infty }\right),\hfill \end{array}$
(21)
1. (i)

if $p>1$, there exists a constant $k>0$ such that

$\stackrel{˜}{I}:=\sum _{n=1}^{\mathrm{\infty }}{\stackrel{˜}{a}}_{n}{\int }_{\nu }^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}\stackrel{˜}{f}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx
(22)

then it follows

$\begin{array}{rcl}k{\left[\frac{\epsilon +1-\beta }{{\left(1-\beta \right)}^{\epsilon +1}}\right]}^{1/q}& >& \frac{1}{{\lambda }^{2}{\left(1-\beta \right)}^{\epsilon }}{\int }_{0}^{{\left(1-\beta \right)}^{\lambda }}\frac{lnt}{t-1}{t}^{\frac{1}{r}+\frac{\epsilon }{p\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt\\ +\frac{1}{{\lambda }^{2}}{\int }_{{\left(1-\beta \right)}^{\lambda }}^{\mathrm{\infty }}\frac{lnt}{t-1}{t}^{\frac{1}{r}-\frac{\epsilon }{q\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt;\end{array}$
(23)
1. (ii)

if $0, there exists a constant $k>0$ such that

$\stackrel{˜}{I}=\sum _{n=1}^{\mathrm{\infty }}{\stackrel{˜}{a}}_{n}{\int }_{\nu }^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}\stackrel{˜}{f}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx>k{\parallel \stackrel{˜}{f}\parallel }_{p,\stackrel{˜}{\varphi }}{\parallel \stackrel{˜}{a}\parallel }_{q,\psi },$
(24)

then it follows

$k{\left(1-\epsilon O\left(1\right)\right)}^{1/p}<\frac{1}{{\lambda }^{2}}{\left[\frac{\epsilon +1-\beta }{{\left(1-\beta \right)}^{\epsilon +1}}\right]}^{1/p}{\left[B\left(\frac{1}{s}-\frac{\epsilon }{p\lambda },\frac{1}{r}+\frac{\epsilon }{p\lambda }\right)\right]}^{2};$
(25)
1. (iii)

if $p<0$, there exists a constant $k>0$ such that

$\stackrel{˜}{I}=\sum _{n=1}^{\mathrm{\infty }}{\stackrel{˜}{a}}_{n}{\int }_{\nu }^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}\stackrel{˜}{f}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx>k{\parallel \stackrel{˜}{f}\parallel }_{p,\varphi }{\parallel \stackrel{˜}{a}\parallel }_{q,\psi },$
(26)

then it follows

$k{\left[\frac{1}{{\left(1-\beta \right)}^{\epsilon }}\right]}^{1/q}<\frac{\epsilon +1-\beta }{{\lambda }^{2}{\left(1-\beta \right)}^{\epsilon +1}}{\left[B\left(\frac{1}{s}-\frac{\epsilon }{p\lambda },\frac{1}{r}+\frac{\epsilon }{p\lambda }\right)\right]}^{2}.$
(27)

Proof We can obtain (28) (29) (30)
1. (i)

For $p>1$, then $q>1$, $\frac{\lambda }{r}-\frac{\epsilon }{q}-1<0$, by (22), (28), and (29), we find (31)

Setting $t={\left(\frac{y-\beta }{x-\nu }\right)}^{\lambda }$, $z=x-v$ in the above integral, we have

$\stackrel{˜}{I}\ge \frac{1}{{\lambda }^{2}}{\int }_{1}^{\mathrm{\infty }}{z}^{-1-\epsilon }\left[{\int }_{{\left(\frac{1-\beta }{z}\right)}^{\lambda }}^{\mathrm{\infty }}\frac{lnt}{t-1}{t}^{\frac{1}{r}-\frac{\epsilon }{q\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt\right]\phantom{\rule{0.2em}{0ex}}dz={I}_{1}+{I}_{2},$
(32)

and by the Fubini theorem , it follows (33) (34)

In view of (33) and (34), it follows that

$\begin{array}{rcl}\stackrel{˜}{I}& \ge & \frac{1}{\epsilon {\lambda }^{2}{\left(1-\beta \right)}^{\epsilon }}{\int }_{0}^{{\left(1-\beta \right)}^{\lambda }}\frac{lnt}{t-1}{t}^{\frac{1}{r}+\frac{\epsilon }{p\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt\\ +\frac{1}{\epsilon {\lambda }^{2}}{\int }_{{\left(1-\beta \right)}^{\lambda }}^{\mathrm{\infty }}\frac{lnt}{t-1}{t}^{\frac{1}{r}-\frac{\epsilon }{q\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt.\end{array}$
(35)

Then by (31) and (35), (23) is valid.

1. (ii)

For $0, by (24) and (29), we find (notice that $q<0$)

$\begin{array}{rcl}\stackrel{˜}{I}& >& k{\parallel \stackrel{˜}{f}\parallel }_{p,\stackrel{˜}{\varphi }}{\parallel {\stackrel{˜}{a}}_{n}\parallel }_{q,\psi }=k{\left\{{\int }_{\nu }^{\mathrm{\infty }}\stackrel{˜}{\varphi }\left(x\right){|\stackrel{˜}{f}\left(x\right)|}^{p}\phantom{\rule{0.2em}{0ex}}dx\right\}}^{1/p}{\parallel \stackrel{˜}{a}\parallel }_{q,\psi }\\ =& k{\left\{{\int }_{1+\nu }^{\mathrm{\infty }}\left[1-O\left(\frac{1}{{\left(x-\nu \right)}^{\lambda /2r}}\right)\right]{\left(x-\nu \right)}^{-1-\epsilon }\phantom{\rule{0.2em}{0ex}}dx\right\}}^{1/p}{\parallel \stackrel{˜}{a}\parallel }_{q,\psi }\\ =& k{\left[\frac{1}{\epsilon }-{\int }_{1+\nu }^{\mathrm{\infty }}O\left(\frac{1}{{\left(x-\nu \right)}^{\frac{\lambda }{2r}+\epsilon +1}}\right)\phantom{\rule{0.2em}{0ex}}dx\right]}^{1/p}{\parallel \stackrel{˜}{a}\parallel }_{q,\psi }\\ >& k{\left[\frac{1}{\epsilon }-O\left(1\right)\right]}^{1/p}{\left[\frac{\epsilon +1-\beta }{\epsilon {\left(1-\beta \right)}^{\epsilon +1}}\right]}^{1/q}\\ =& \frac{k}{\epsilon }{\left[1-\epsilon O\left(1\right)\right]}^{1/p}{\left[\frac{\epsilon +1-\beta }{{\left(1-\beta \right)}^{\epsilon +1}}\right]}^{1/q}.\end{array}$
(36)

On the other hand, setting $t={\left(\frac{x-\nu }{n-\beta }\right)}^{\lambda }$ in $\stackrel{˜}{I}$, we have

$\begin{array}{rcl}\stackrel{˜}{I}& =& \sum _{n=1}^{\mathrm{\infty }}{\left(n-\beta \right)}^{\frac{\lambda }{r}-\frac{\epsilon }{q}-1}{\int }_{1+\nu }^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}{\left(x-\nu \right)}^{\frac{\lambda }{s}-\frac{\epsilon }{p}-1}\phantom{\rule{0.2em}{0ex}}dx\\ =& \frac{1}{{\lambda }^{2}}\sum _{n=1}^{\mathrm{\infty }}{\left(n-\beta \right)}^{-1-\epsilon }{\int }_{\frac{1}{{\left(n-\beta \right)}^{\lambda }}}^{\mathrm{\infty }}\frac{lnt}{t-1}{t}^{\frac{1}{s}-\frac{\epsilon }{p\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt\\ <& \frac{1}{{\lambda }^{2}}\sum _{n=1}^{\mathrm{\infty }}{\left(n-\beta \right)}^{-1-\epsilon }{\int }_{0}^{\mathrm{\infty }}\frac{lnt}{t-1}{t}^{\frac{1}{s}-\frac{\epsilon }{p\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt\\ <& \frac{\epsilon +1-\beta }{{\lambda }^{2}\epsilon {\left(1-\beta \right)}^{\epsilon +1}}{\left[B\left(\frac{1}{s}-\frac{\epsilon }{p\lambda },\frac{1}{r}+\frac{\epsilon }{p\lambda }\right)\right]}^{2}.\end{array}$
(37)

By virtue of (36) and (37), (25) is valid.

1. (iii)

For $p<0$, then $0, by (26) and (30), we find

$\begin{array}{rcl}\stackrel{˜}{I}& >& k{\left\{{\int }_{\nu }^{\mathrm{\infty }}\varphi \left(x\right){\stackrel{˜}{f}}^{p}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right\}}^{1/p}{\parallel \stackrel{˜}{a}\parallel }_{q,\psi }=k{\left\{{\int }_{1+\nu }^{\mathrm{\infty }}{\left(x-\nu \right)}^{-1-\epsilon }\phantom{\rule{0.2em}{0ex}}dx\right\}}^{1/p}{\parallel \stackrel{˜}{a}\parallel }_{q,\psi }\\ >& \frac{k}{\epsilon }{\left[\frac{1}{{\left(1-\beta \right)}^{\epsilon }}\right]}^{1/q}.\end{array}$
(38)

Then by (37) and (38), (27) is valid. □

## 3 Main results and applications

Theorem 5 Suppose that $p>1$, $\frac{1}{p}+\frac{1}{q}=1$, $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $0<\lambda \le 1$, $0\le \beta \le \frac{1}{2}$, $\nu \in \left(-\mathrm{\infty },+\mathrm{\infty }\right)$, $\varphi \left(x\right):={\left(x-\nu \right)}^{p\left(1-\frac{\lambda }{s}\right)-1}$, $\psi \left(n\right):={\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}$, $f\left(x\right),{a}_{n}\ge 0$, satisfying $f\in {L}_{p,\varphi }\left(\nu ,\mathrm{\infty }\right)$, $a={\left\{{a}_{n}\right\}}_{n=1}^{\mathrm{\infty }}\in {l}_{q,\psi }$, ${\parallel f\parallel }_{p,\varphi }>0$, ${\parallel a\parallel }_{q,\psi }>0$, then we have the following equivalent inequalities: (39) (40) (41)

where the constant factor ${k}_{\lambda }\left(r\right)={\left[\frac{\pi }{\lambda sin\left(\frac{\pi }{r}\right)}\right]}^{2}$ is the best possible.

Proof By the Lebesgue term-by-term integration theorem , we find that there are two expressions of I in (39). By (9), (15), and $0<{\parallel f\parallel }_{p,\varphi }<\mathrm{\infty }$, we have (40). By Hölder’s inequality, we find

$\begin{array}{rcl}I& =& \sum _{n=1}^{\mathrm{\infty }}\left[{\left(n-\beta \right)}^{\frac{\lambda }{r}-\frac{1}{p}}{\int }_{\nu }^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)f\left(x\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}\phantom{\rule{0.2em}{0ex}}dx\right]\left[{\left(n-\beta \right)}^{\frac{1}{p}-\frac{\lambda }{r}}{a}_{n}\right]\\ \le & J{\left\{\sum _{n=1}^{\mathrm{\infty }}\left[{\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{q}\right\}}^{1/q}=J{\parallel a\parallel }_{q,\psi }.\end{array}$
(42)

Then by (40), (39) is valid. On the other hand, assuming that (39) is valid, set

${a}_{n}:={\left(n-\beta \right)}^{\frac{p\lambda }{r}-1}{\left[{\int }_{\nu }^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right]}^{p-1}\phantom{\rule{1em}{0ex}}\left(n\in \mathbf{N}\right).$
(43)

Then by (39), we have

${\parallel a\parallel }_{q,\psi }^{q}=\sum _{n=1}^{\mathrm{\infty }}{\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{q}={J}^{p}=I\le {k}_{\lambda }\left(r\right){\parallel f\parallel }_{p,\varphi }{\parallel a\parallel }_{q,\psi }.$
(44)

By (9), (15), and $0<{\parallel f\parallel }_{p,\varphi }<\mathrm{\infty }$, it follows that $J<\mathrm{\infty }$. If $J=0$, then (40) is trivially valid; if $J>0$, then $0<{\parallel a\parallel }_{q,\psi }={J}^{p-1}<\mathrm{\infty }$. Thus, the conditions of applying (39) are fulfilled, and by (39), (44) takes a strict sign inequality. Thus, we find

$J={\parallel a\parallel }_{q,\psi }^{q-1}<{k}_{\lambda }\left(r\right){\parallel f\parallel }_{p,\varphi }.$
(45)

Hence, (40) is valid, which is equivalent to (39).

By (9), (16), and $0<{\parallel a\parallel }_{q,\psi }<\mathrm{\infty }$, we obtain (41). By Hölder’s inequality again, we have

$\begin{array}{rcl}I& =& {\int }_{\nu }^{\mathrm{\infty }}\left[{\left(x-\nu \right)}^{\frac{\lambda }{s}-\frac{1}{q}}\sum _{n=1}^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}{a}_{n}\right]\left[{\left(x-\nu \right)}^{\frac{1}{q}-\frac{\lambda }{s}}f\left(x\right)\right]\phantom{\rule{0.2em}{0ex}}dx\\ \le & L{\left\{{\int }_{\nu }^{\mathrm{\infty }}{\left(x-\nu \right)}^{p\left(1-\frac{\lambda }{s}\right)-1}{f}^{p}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right\}}^{1/p}=L{\parallel f\parallel }_{p,\varphi }.\end{array}$
(46)

Hence, (39) is valid by using (41). On the other hand, assuming that (39) is valid, set

$f\left(x\right):={\left(x-\nu \right)}^{\frac{q\lambda }{s}-1}{\left[\sum _{n=1}^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}{a}_{n}\right]}^{q-1}\phantom{\rule{1em}{0ex}}\left(x\in \left(\nu ,\mathrm{\infty }\right)\right).$
(47)

Then by (39), we find

${\parallel f\parallel }_{p,\varphi }^{p}={\int }_{\nu }^{\mathrm{\infty }}{\left(x-\nu \right)}^{p\left(1-\frac{\lambda }{s}\right)-1}{f}^{p}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx={L}^{q}=I\le {k}_{\lambda }\left(r\right){\parallel f\parallel }_{p,\varphi }{\parallel a\parallel }_{q,\psi }.$
(48)

By (9), (16), and $0<{\parallel a\parallel }_{q,\psi }<\mathrm{\infty }$, it follows that $L<\mathrm{\infty }$. If $L=0$, then (41) is trivially valid; if $L>0$, then $0<{\parallel f\parallel }_{p,\varphi }={L}^{q-1}<\mathrm{\infty }$, i.e., the conditions of applying (39) are fulfilled and by (48), we still have Hence, (41) is valid, which is equivalent to (39). It follows that (39), (40), and (41) are equivalent.

If there exits a positive number $k\le {k}_{\lambda }\left(r\right)$ such that (39) is still valid as we replace ${k}_{\lambda }\left(r\right)$ by k, then, in particular, (22) is valid (${\stackrel{˜}{a}}_{n},\stackrel{˜}{f}\left(x\right)$ are taken as (21)). Then we have (23). By (11), the Fatou lemma , and (23), we have

$\begin{array}{rcl}{k}_{\lambda }\left(r\right)& =& \frac{1}{{\lambda }^{2}}{\int }_{0}^{\mathrm{\infty }}\frac{lnt}{t-1}{t}^{\frac{1}{r}-1}\phantom{\rule{0.2em}{0ex}}dt\\ =& {\int }_{0}^{{\left(1-\beta \right)}^{\lambda }}\underset{\epsilon \to {0}^{+}}{lim}\frac{lnt}{t-1}{t}^{\frac{1}{r}+\frac{\epsilon }{p\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt+{\int }_{{\left(1-\beta \right)}^{\lambda }}^{\mathrm{\infty }}\underset{\epsilon \to {0}^{+}}{lim}\frac{lnt}{t-1}{t}^{\frac{1}{r}-\frac{\epsilon }{q\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt\\ \le & \underset{\epsilon \to {0}^{+}}{\underline{lim}}\left[{\int }_{0}^{{\left(1-\beta \right)}^{\lambda }}\frac{lnt}{t-1}{t}^{\frac{1}{r}+\frac{\epsilon }{p\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt+{\int }_{{\left(1-\beta \right)}^{\lambda }}^{\mathrm{\infty }}\frac{lnt}{t-1}{t}^{\frac{1}{r}-\frac{\epsilon }{q\lambda }-1}\phantom{\rule{0.2em}{0ex}}dt\right]\\ \le & \underset{\epsilon \to {0}^{+}}{\underline{lim}}k{\left[\frac{\epsilon +1-\beta }{{\left(1-\beta \right)}^{\epsilon +1}}\right]}^{1/q}=k.\end{array}$

Hence, $k={k}_{\lambda }\left(r\right)$ is the best value of (39). We confirm that the constant factor ${k}_{\lambda }\left(r\right)$ in (40) ((41)) is the best possible. Otherwise, we can get a contradiction by (42) ((46)) that the constant factor in (39) is not the best possible. □

Remark 6 (i) Define a half-discrete Hilbert operator $T:{L}_{p,\varphi }\left(\nu ,\mathrm{\infty }\right)\to {l}_{p,{\psi }^{1-p}}$ as follows. For $f\in {L}_{p,\varphi }\left(\nu ,\mathrm{\infty }\right)$, we define $Tf\in {l}_{p,{\psi }^{1-p}}$ satisfying

$Tf\left(n\right)={\int }_{\nu }^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\phantom{\rule{1em}{0ex}}\left(n\in \mathbf{N}\right).$

Then by (40), it follows ${\parallel Tf\parallel }_{p,{\psi }^{1-p}}\le {k}_{\lambda }\left(r\right){\parallel f\parallel }_{p,\varphi }$, i.e., T is the bounded operator with $\parallel T\parallel \le {k}_{\lambda }\left(r\right)$. Since the constant factor ${k}_{\lambda }\left(r\right)$ in (40) is the best possible, we have $\parallel T\parallel ={k}_{\lambda }\left(r\right)$.

1. (ii)

Define a half-discrete Hilbert operator $\stackrel{˜}{T}:{l}_{q,\psi }\to {L}_{q,{\varphi }^{1-q}}\left(\nu ,\mathrm{\infty }\right)$ in the following way. For $a\in {l}_{q,\psi }$, we define $\stackrel{˜}{T}a\in {L}_{q,{\varphi }^{1-q}}\left(\nu ,\mathrm{\infty }\right)$ satisfying

$\stackrel{˜}{T}a\left(x\right)=\sum _{n=1}^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}{a}_{n}\phantom{\rule{1em}{0ex}}\left(x\in \left(\nu ,\mathrm{\infty }\right)\right).$

Then by (41), it follows ${\parallel \stackrel{˜}{T}a\parallel }_{q,{\varphi }^{1-q}}\le {k}_{\lambda }\left(r\right){\parallel a\parallel }_{q,\psi }$, i.e., $\stackrel{˜}{T}$ is the bounded operator with $\parallel \stackrel{˜}{T}\parallel \le {k}_{\lambda }\left(r\right)$. Since the constant factor ${k}_{\lambda }\left(r\right)$ in (41) is the best possible, we have $\parallel \stackrel{˜}{T}\parallel ={k}_{\lambda }\left(r\right)$.

Theorem 7 Suppose that $0, $\frac{1}{p}+\frac{1}{q}=1$, $r>1$, $\frac{1}{r}+\frac{1}{s}=1$, $0<\lambda \le 1$, $0\le \beta \le \frac{1}{2}$, $\nu \in \left(-\mathrm{\infty },+\mathrm{\infty }\right)$, $\psi \left(n\right):={\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}$, $\stackrel{˜}{\varphi }\left(x\right)=\left(1-{\theta }_{\lambda }\left(x\right)\right){\left(x-\nu \right)}^{p\left(1-\frac{\lambda }{s}\right)-1}\left({\theta }_{\lambda }\left(x\right)={\left[\frac{sin\left(\frac{\pi }{r}\right)}{\pi }\right]}^{2}×{\int }_{0}^{{\left(\frac{1-\beta }{x-\nu }\right)}^{\lambda }}\frac{lnv}{v-1}{v}^{\frac{1}{r}-1}\phantom{\rule{0.2em}{0ex}}dv\in \left(0,1\right)\right)$, $f\left(x\right),{a}_{n}\ge 0$, satisfying $f\in {L}_{p,\stackrel{˜}{\varphi }}\left(\nu ,\mathrm{\infty }\right)$, $a={\left\{{a}_{n}\right\}}_{n=1}^{\mathrm{\infty }}\in {l}_{q,\psi }$, ${\parallel f\parallel }_{p,\stackrel{˜}{\varphi }}>0$, ${\parallel a\parallel }_{q,\psi }>0$, then we have the following equivalent inequalities: (49) (50) (51)

where the constant factor ${k}_{\lambda }\left(r\right)={\left[\frac{\pi }{\lambda sin\left(\frac{\pi }{r}\right)}\right]}^{2}$ is the best possible.

Proof By (9), the reverse of (15), and $0<{\parallel f\parallel }_{p,\stackrel{˜}{\varphi }}<\mathrm{\infty }$, we have (50). Using the reverse Hölder inequality, we obtain the reverse form of (42) as follows:

$I\ge J{\parallel a\parallel }_{q,\psi }.$
(52)

Then by (50), (49) is valid.

On the other hand, if (49) is valid, set ${a}_{n}$ as (43), then (44) still holds with $0. By (49), we have

${\parallel a\parallel }_{q,\psi }^{q}=\sum _{n=1}^{\mathrm{\infty }}{\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{q}={J}^{p}=I\ge {k}_{\lambda }\left(r\right){\parallel f\parallel }_{p,\stackrel{˜}{\varphi }}{\parallel a\parallel }_{q,\psi }.$
(53)

Then by (9), the reverse of (18), and $0<{\parallel f\parallel }_{p,\stackrel{˜}{\varphi }}<\mathrm{\infty }$, it follows that $J={\left\{{\sum }_{n=1}^{\mathrm{\infty }}{\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{q}\right\}}^{1/p}>0$. If $J=\mathrm{\infty }$, then (50) is trivially valid; if $J<\mathrm{\infty }$, then $0<{\parallel a\parallel }_{q,\psi }={J}^{p-1}<\mathrm{\infty }$, i.e., the conditions of applying (49) are fulfilled, and by (53), we still have

Hence, (50) is valid, which is equivalent to (49).

By the reverse of (16), in view of ${\stackrel{˜}{\omega }}_{\lambda }\left(x\right)>{k}_{\lambda }\left(r\right)\left(1-{\theta }_{\lambda }\left(x\right)\right)$ and $q<0$, we have

$\stackrel{˜}{L}>{k}_{\lambda }^{\frac{q-1}{q}}\left(r\right){L}_{1}\ge {k}_{\lambda }^{\frac{q-1}{q}}\left(r\right){\left\{{k}_{\lambda }\left(r\right)\sum _{n=1}^{\mathrm{\infty }}{\left(n-\beta \right)}^{q\left(1-\frac{\lambda }{r}\right)-1}{a}_{n}^{q}\right\}}^{\frac{1}{q}}={k}_{\lambda }\left(r\right){\parallel a\parallel }_{q,\psi }.$

Then (51) is valid. By the reverse Hölder inequality again, we have

$\begin{array}{rcl}I& =& {\int }_{\nu }^{\mathrm{\infty }}\left[\frac{{\left(x-\nu \right)}^{\frac{\lambda }{s}-\frac{1}{q}}}{{\left(1-{\theta }_{\lambda }\left(x\right)\right)}^{\frac{1}{p}}}\sum _{n=1}^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}{a}_{n}\right]\\ ×\left[{\left(1-{\theta }_{\lambda }\left(x\right)\right)}^{\frac{1}{p}}{\left(x-\nu \right)}^{\frac{1}{q}-\frac{\lambda }{s}}f\left(x\right)\right]\phantom{\rule{0.2em}{0ex}}dx\ge \stackrel{˜}{L}{\parallel f\parallel }_{p,\stackrel{˜}{\varphi }}.\end{array}$
(54)

Hence, (49) is valid by (51). On the other hand, if (49) is valid, set

$f\left(x\right)=\frac{{\left(x-\nu \right)}^{\frac{q\lambda }{s}-1}}{{\left[1-{\theta }_{\lambda }\left(x\right)\right]}^{q-1}}{\left[\sum _{n=1}^{\mathrm{\infty }}\frac{ln\left(\frac{x-\nu }{n-\beta }\right)}{{\left(x-\nu \right)}^{\lambda }-{\left(n-\beta \right)}^{\lambda }}{a}_{n}\right]}^{q-1}\phantom{\rule{1em}{0ex}}\left(x\in \left(\nu ,\mathrm{\infty }\right)\right).$

Then by the reverse of (16) and $0<{\parallel a\parallel }_{q,\psi }<\mathrm{\infty }$, it follows that $\stackrel{˜}{L}={\left\{{\int }_{\nu }^{\mathrm{\infty }}{\left[1-{\theta }_{\lambda }\left(x\right)\right]}^{\frac{1}{p}}{\left(x-\nu \right)}^{p\left(1-\frac{\lambda }{s}\right)-1}{f}^{p}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx\right\}}^{\frac{1}{q}}={\parallel f\parallel }_{p,\stackrel{˜}{\varphi }}^{p-1}>0$. If $\stackrel{˜}{L}=\mathrm{\infty }$, then (51) is trivially valid; if $\stackrel{˜}{L}<\mathrm{\infty }$, then $0<{\parallel f\parallel }_{p,\stackrel{˜}{\varphi }}={\stackrel{˜}{L}}^{q-1}<\mathrm{\infty }$, i.e., the conditions of applying (49) are fulfilled, and we have

Hence, (51) is valid, which is equivalent to (49). It follows that (49), (50), and (51) are equivalent.

If there exists a positive number $k\ge {k}_{\lambda }\left(r\right)$ such that (49) is still valid as we replace ${k}_{\lambda }\left(r\right)$ by k, then, in particular, (24) is valid. Hence, we have (25). For $\epsilon \to {0}^{+}$ in (25), we obtain $k\le \frac{1}{{\lambda }^{2}}{\left[B\left(\frac{1}{s},\frac{1}{r}\right)\right]}^{2}={k}_{\lambda }\left(r\right)$. Hence, $k={k}_{\lambda }\left(r\right)$ is the best value of (49). We confirm that the constant factor ${k}_{\lambda }\left(r\right)$ in (50) ((51)) is the best possible. Otherwise, we can get a contradiction by (52) ((54)) that the constant factor in (49) is not the best possible. □

Theorem 8 If the assumption of $p>1$ in Theorem  5 is replaced by $p<0$, then the reverses of (39), (40), and (41) are valid and equivalent. Moreover, the same constant factor is the best possible.

Proof In a similar way as in Theorem 7, we can obtain that the reverses of (39), (40), and (41) are valid and equivalent.

If there exists a positive number $k\ge {k}_{\lambda }\left(r\right)$ such that the reverse of (39) is still valid as we replace ${k}_{\lambda }\left(r\right)$ by k, then, in particular, (26) is valid. Hence, we have (27). For $\epsilon \to {0}^{+}$ in (27), we obtain $k\le \frac{1}{{\lambda }^{2}}{\left[B\left(\frac{1}{s},\frac{1}{r}\right)\right]}^{2}={k}_{\lambda }\left(r\right)$. Hence, $k={k}_{\lambda }\left(r\right)$ is the best value of the reverse of (39). We confirm that the constant factor ${k}_{\lambda }\left(r\right)$ in the reverse of (40) ((41)) is the best possible. Otherwise, we can get a contradiction by the reverse of (42) ((46)) that the constant factor in the reverse of (39) is not the best possible. □

Remark 9 (i) For $\beta =\nu =0$ in (39), it follows (55)

In particular, for $\lambda =1$, $p=q=r=s=2$, (55) reduces to (5).

1. (ii)

For $\nu =\beta$ in (39), we have (56)

which is more accurate than (55).

## References

1. Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge; 1952.

2. Yang B: On a more accurate Hardy-Hilbert’s type inequality and its applications. Acta Math. Sin. Chinese Ser. 2006, 49(2):363–368.

3. Mitrinović DS, Pečarić JE, Fink AM: Inequalities Involving Functions and Their Integrals and Derivatives. Kluwer Academic, Boston; 1991.

4. Pachpatte BG: On some new inequalities similar to Hilbert’s inequality. J. Math. Anal. Appl. 1998, 226: 166–179. 10.1006/jmaa.1998.6043

5. Gao M, Yang B: On the extended Hilbert’s inequality. Proc. Am. Math. Soc. 1998, 126(3):751–759. 10.1090/S0002-9939-98-04444-X

6. Hu K: On Hardy-Littlewood-Polya inequality. Acta Math. Tcientia 2000, 20: 684–687.

7. Lu Zh: Some new generalizations of Hilbert’s integral inequalities. Indian J. Pure Appl. Math. 2002, 33(5):691–704.

8. Yang B, Rassias TM: On the way of weight coefficient and research for the Hilbert-type inequalities. Math. Inequal. Appl. 2003, 6(4):625–658.

9. Kuang J, Debnath L: On new generalizations of Hilbert’s inequality and their applications. J. Math. Anal. Appl. 2000, 245: 248–265. 10.1006/jmaa.2000.6766

10. Sulaiman WT: On Hardy-Hilbert’s integral inequality. JIPAM. J. Inequal. Pure Appl. Math. 2004., 5(2): Article ID 25

11. Yang B: An extension of the Hilbert’s type integral inequality and its applications. Journal of Mathematics (PRC) 2007, 27(3):285–290.

12. Zhong W, Yang B: A reverse Hilbert’s type integral inequality with some parameters and the equivalent forms. Pure Appl. Math. 2008, 24(2):401–407.

13. Yang B: On a relation to two basic Hilbert-type integral inequalities. Tamkang J. Math. 2009, 40(3):217–223.

14. Yang B: A strengthened Hardy-Hilbert’s type inequality. Aust. J. Math. Anal. Appl. 2006., 3(2): Article ID 17

15. Yang B: On a Hilbert-type operator with a symmetric homogeneous kernel of -1-order and applications. J. Inequal. Appl. 2007., 2007: Article ID 47812

16. Zhong J, Yang B: On a relation to four basic Hilbert-type integral inequalities. Appl. Math. Sci. 2010, 4(19):923–930.

17. Yang B: A Hilbert-type inequality with the homogeneous kernel of real number-degree and the reverse. Journal of Guangdong Education Institute 2010, 30(5):1–6.

18. Yang B: A mixed Hilbert-type inequality with a best constant factor. Int. J. Pure Appl. Math. 2005, 20(3):319–328.

19. Yang B: A half-discrete Hilbert’s inequality. Journal of Guangdong University of Education 2011, 31(3):1–8.

20. Yang B: On a half-discrete Hilbert-type inequality. Journal of Shantou University (Natural Science) 2011, 26(4):5–10.

21. Yang B: On a half-discrete reverse Hilbert-type inequality with a non-homogeneous kernel. Journal of Inner Mongolia Normal University (Natural Science Edition) 2011, 40(5):433–436.

22. Yang B: A half-discrete reverse Hilbert-type inequality with a non-homogeneous kernel. Journal of Hunan Institute of Science and Technology Natural Sciences 2011, 24(3):1–4.

23. Xie Z, Zeng Z:A new half-discrete Hilbert’s inequality with the homogeneous kernel of degree $-4\mu$. Journal of Zhanjiang Normal College 2011, 32(6):13–19.

24. Yang B: A new half-discrete Mulholland-type inequality with parameters. Ann. Funct. Anal. 2012, 3(1):142–150.

25. Chen Q, Yang B: On a more accurate half-discrete Mulholland’s inequality and an extension. J. Inequal. Appl. 2012., 2012: Article ID 70. doi:10.1186/1029–242X-2012–70

26. Zhong W: A mixed Hilbert-type inequality and its equivalent forms. Journal of Guangdong University of Education 2011, 31(5):18–22.

27. Yang B: the Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijing; 2009.

28. Kuang J: Applied Inequalities. Shandong Science Technic Press, Jinan; 2010.

29. Kuang J: Real and Functional Analysis. Higher Education Press, Beijing; 2002.

30. Kuang J: Introduction to Real Analysis. Hunan Education Press, Changsha; 1996.

## Acknowledgements

This work is supported by the Emphases Natural Science Foundation of Guangdong Institution, Higher Learning, College and University (No. 05Z026), and Guangdong Natural Science Foundation (No. 7004344).

## Author information

Authors

### Corresponding author

Correspondence to Aizhen Wang.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

AW carried out the study, and wrote the manuscript. BY participated in its design and coordination. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Wang, A., Yang, B. A new more accurate half-discrete Hilbert-type inequality. J Inequal Appl 2012, 260 (2012). https://doi.org/10.1186/1029-242X-2012-260

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2012-260

### Keywords

• weight function
• parameter
• reverse
• equivalent form 