Abstract
In this paper, we obtain two new half-discrete Hilbert inequalities for three variables. The obtained inequalities are with the best constant factor. Moreover, we give their equivalent forms.
Similar content being viewed by others
1 Introduction
Suppose that \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), and f and g are nonnegative functions such that \(f\in L_{p} ( \mathbb{R}_{+} )\) and \(g\in L_{q} (\mathbb{R}_{+} )\). Then we have the inequalities
provided that the integrals on the right-hand side in both inequalities are positive. The constant factors \(\frac{\pi}{\sin({\pi}/{p}) }\) and \((\frac{\pi}{\sin({\pi}/{p})} )^{p}\) are the best possible in (1) and (2), respectively. Moreover, (1) and (2) are equivalent. Inequality (1) was first studied by D. Hilbert at the end of the 19th century, and hence, in his honor, it is referred to as the Hilbert inequality.
The corresponding discrete forms of inequalities (1) and (2) for two nonnegative sequences of real numbers \(\{ a_{m} \} \) and \(\{ b_{n} \} \) are given as
where \(\{ a_{m} \} \in\ell_{p}\) and \(\{ b_{n} \} \in\ell_{q}\). The constant factors \(\frac{\pi}{\sin({\pi}/{p}) }\) and \((\frac{\pi}{\sin({\pi}/{p})} )^{p}\) are also the best possible. Inequalities (3) and (4) are equivalent (see [1]).
During the last twenty years, both inequalities (1) and (3) and their equivalent forms were generalized and extended in many different ways (see [2–13]).
Yang [14] introduced the following half-discrete Hilbert inequality:
where, \(\lambda_{1},\lambda_{2}>0\), \(\lambda_{1}+\lambda_{2}=\lambda\), \(0<\lambda_{1}<1\), and the constant \(B(\lambda_{1},\lambda_{2})\) is the best possible. In particular, for \(\lambda=1\) and \(\lambda_{1}=\frac {1}{q}\), \(\lambda_{2}=\frac{1}{p}\), the previous inequality reduces to
For extensions and other half-discrete Hilbert inequalities, we refer the reader to [15–18].
Very recently, a new form of the Hilbert inequality for three variables was obtained in [19]:
where \(\lambda>0\), \(\gamma\in ( \frac{-\lambda}{p},\frac {\lambda}{q} ) \), \(f(x,y)\) is a nonnegative function on \(( 0,\infty ) \times ( 0,\infty ) \), \(g(z)>0\) on \(( 0,\infty ) \), and the constant \(C=B ( \frac{\lambda}{p}+\gamma,\frac{ \lambda}{q}-\gamma ) \) is the best possible.
In this paper, we obtain, under some suitable conditions, two new half-discrete inequalities with the same best constant factor as in (7). Moreover, we give two equivalent forms for established inequalities. All the obtained equivalent forms are also sharp.
2 Preliminaries and lemmas
As it is well known, the gamma function \(\Gamma(\theta)\) and beta function \(B ( \mu,\nu ) \) are defined respectively by the improper integrals
Using the definition of the gamma function, we may write
To prove our main results, we need some lemmas. As we will see, their proofs are simple and based on the famous Hölder inequality for both integrals and sums and the fact that we can estimate the sum of a decreasing function by an integral. The first lemma (Lemma 2.1) is given in [19] and the second one (Lemma 2.2) is also given in [15]. For completeness, we give proofs of these two lemmas.
Lemma 2.1
([19])
If \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1 \), \(t>0\), \(\alpha<\frac{2}{q}\), and \(f(x,y)\) is a nonnegative function defined and integrable on \(( 0,\infty ) \times ( 0,\infty ) \), then
Proof
By the Hölder inequality we obtain
We compute the first integral on the right-hand side of (10) by using the substitutions \(y=ux\) and \(x=\frac{v}{t(u+1)}\):
Substituting (11) into (10), we get (9). □
Lemma 2.2
([15])
Let \(p>1\), \(\frac{1}{p}+\frac {1}{q}=1\), and \(a_{n}>0\). Then, for \(t>0\) and \(0\leq \theta<\frac{1}{p}\), we have
Proof
Using the Hölder inequality, we get
The lemma is proved. □
Lemma 2.3
Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), and \(a_{n, m}>0\). Then, for \(t>0\) and \(0\leq\theta<\frac{1}{p}\), we have
Proof
The proof follows the lines of the proof of Lemma 2.2. Namely, applying Hölder inequality, we have
The lemma is proved. □
Similarly, we obtain the following lemma.
Lemma 2.4
Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), and \(f\geq0\). Then, for \(t>0\) and \(\alpha>-\frac{1}{p}\), we have
3 Main results
In this section, we give two new half-discrete versions of inequality (7). Both obtained inequalities are with the best constant factor expressed in terms of the beta function.
Theorem 3.1
Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), \(\lambda>0\), \(\max\{\frac{\lambda }{q}-1,-\frac{\lambda}{p}\}\leq \gamma<\frac{\lambda}{q}\), and \(a_{n}>0\). Suppose that \(f(x,y)\) is a nonnegative function defined on \(( 0,\infty ) \times ( 0,\infty ) \). If \(\int_{0}^{\infty }\int_{0}^{\infty} ( x+y ) ^{2p-\lambda-p\gamma -2}f^{p}(x,y)\,dx\,dy<\infty\) and \(\sum_{n=1}^{\infty }n^{\gamma q+q-\lambda-1}a_{n}^{q}<\infty\), then
where the constant \(C=B ( \frac{\lambda}{q}-\gamma,\frac{ \lambda}{p}+\gamma ) \) is the best possible. In particular:
-
(1)
for \(\lambda=1\), \(\gamma=0\), and \(p=q=2\), we have
$$\begin{aligned} & \int_{0}^{\infty} \int_{0}^{\infty }f(x,y)\sum _{n=1}^{\infty}\frac{a_{n}}{x+y+n}\,dx\,dy \\ &\quad\leq\pi \biggl( \int_{0}^{\infty} \int_{0}^{\infty} ( x+y ) f^{2}(x,y)\,dx\,dy \biggr)^{\frac{1}{2}} \Biggl( \sum_{n=1}^{\infty }a_{n}^{2} \Biggr)^{\frac{1}{2}};\end{aligned} $$ -
(2)
for \(\lambda=2\), \(\gamma=0\), and \(p=q=2\), we have
$$\begin{aligned} & \int_{0}^{\infty} \int_{0}^{\infty }f(x,y)\sum _{n=1}^{\infty}\frac{a_{n}}{ ( x+y+n ) ^{2}} \,dx\,dy \leq \biggl( \int_{0}^{\infty} \int_{0}^{\infty }f^{2}(x,y)\,dx\,dy \biggr) ^{\frac{1}{2}} \Biggl( \sum_{n=1}^{\infty} \frac{ a_{n}^{2}}{n} \Biggr) ^{\frac{1}{2}}.\end{aligned} $$
Proof
Using (8) and applying the Hölder inequality, we have
By Lemma 2.1 and Lemma 2.2 we obtain respectively
and
Putting these two inequalities into (13), we get
Since
and
it follows that
where
Now, setting \(\alpha=\frac{2p-p\gamma-\lambda}{pq}\) and \(\theta =\frac{q\gamma-\lambda+q}{pq}\), we get inequality (12) with the constant \(C_{\frac{2p-p\gamma-\lambda}{pq}, \frac{q\gamma-\lambda +q}{pq}}=C\). It remains to show that the constant factor C in (12) is the best possible. For sufficiently small positive ε, define the function \(f_{\varepsilon}(x,y)=0\) on \(( 0,1 ) \times ( 0,1 ) \) and \(f_{\varepsilon}(x,y)=(x+y)^{\frac {\lambda -\varepsilon}{p}+\gamma-2}\) on \([ 1,\infty ) \times [ 1,\infty ) \) and the sequence \(\tilde{a}_{n}=n^{\frac{\lambda -\varepsilon}{q}-\gamma-1}\) (\(n\geq1 \)). Suppose that the constant C is not the best possible. Then there exist \(0< K< C\) such that
On the other hand, estimating the left-hand side, we find (set \(u=z(x+y)\))
Obviously, as \(\varepsilon\rightarrow0^{+}\), from (14) and (15) we obtain a contradiction. Therefore, the proof of the theorem is completed. □
Theorem 3.2
Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), \(\lambda>0\), \(-\frac{\lambda}{p}<\gamma<\min(2-\frac{\lambda }{p},\frac{\lambda}{q})\), and \(a_{n,m}>0\). Suppose that \(f(x)\) is a nonnegative function defined on \(( 0,\infty ) \) and a double sequence \({a_{n,m}>0}\).
If \(\sum_{m=1}^{\infty}\sum_{n=1}^{\infty} ( m+n )^{2p-\lambda-p\gamma-2}a_{n,m}^{p}<\infty\) and \(\int_{0}^{\infty}x^{q\gamma+q-\lambda-1}f^{q}(x)\,dx<\infty\), then
where the constant C is the best possible. In particular:
-
(1)
for \(\lambda=1\), \(\gamma=0\), and \(p=q=2\), we have
$$\begin{aligned} & \int_{0}^{\infty}f(x) \Biggl( \sum _{m=1}^{\infty }\sum_{n=1}^{\infty} \frac{a_{n,m}}{x+m+n} \Biggr) \,dx \\ &\quad\leq\pi \Biggl( \sum_{m=1}^{\infty}\sum _{n=1}^{\infty} ( m+n ) a_{n,m}^{2} \Biggr) ^{\frac{1}{2}} \biggl( \int_{0}^{\infty }f^{2}(x)\,dx \biggr) ^{\frac{1}{2}}.\end{aligned} $$ -
(2)
for \(\lambda=2\), \(\gamma=0\), and \(p=q=2\), we have
$$\begin{aligned} & \int_{0}^{\infty}f(x) \Biggl( \sum _{m=1}^{\infty }\sum_{n=1}^{\infty} \frac{a_{n,m}}{ ( x+m+n ) ^{2}} \Biggr) \,dx \\ &\quad\leq \Biggl( \sum_{m=1}^{\infty}\sum _{n=1}^{\infty }a_{n,m}^{2} \Biggr) ^{\frac{1}{2}} \biggl( \int_{0}^{\infty}\frac{f^{2}(x)}{x}\,dx \biggr) ^{\frac{1}{2}}.\end{aligned} $$
Proof
Using (8) and applying the Hölder inequality, we have
where
Finally, setting \(\theta=\frac{2p-p\gamma-\lambda}{pq}\) and \(\alpha =\frac{\lambda-q\gamma-q}{pq}\), we obtain inequality (16) with the constant \(\tilde{C}_{\frac{\lambda-q\gamma-q}{pq}, \frac{2p-p\gamma-\lambda}{pq}}=C\). To prove that the constant C in (16) is the best possible, we define, for sufficiently small ε, the function \(f_{\varepsilon}(x)=0\), on \(( 0,1 ) \) and \(f_{\varepsilon}(x)=x^{\frac{\lambda-\varepsilon}{q}-\gamma-1}\) on \([ 1,\infty ) \) and the sequence \(\tilde{a}_{n,m}=(m+n)^{\frac {\lambda -\varepsilon}{q}+\gamma-2}\). If we assume that the constant C is not the best possible, then we may find \(0<\tilde{K}<C\) such that
Here \(L(\varepsilon)\rightarrow1\) as \(\varepsilon\rightarrow0\). On the other hand, using similar computation as in (15), we have
Clearly, as \(\varepsilon\rightarrow0^{+}\), from (18) and (19) we obtain a contradiction. The proof of the theorem is completed. □
4 Equivalent forms
In this section, we give some equivalent forms of the inequalities obtained in Theorems 3.1 and 3.2. All the inequalities are with the same best constant factor.
Theorem 4.1
Under the assumptions of Theorem 3.1, we have the following two inequalities:
and
Both inequalities (20) and (21) are equivalent to (12), and the constants \(C^{p}\) and \(C^{q}\) are the best possible.
Proof
To prove (20), we set
Applying inequality (12), we find
Dividing both sides of inequality (22) by \(( \sum_{m=1}^{\infty}n^{(p-1)\lambda-\gamma p-1} ( \int_{0}^{\infty}\int_{0}^{\infty}\frac{f(x,y)}{ ( x+y+n ) ^{\lambda}}\,dx\,dy ) ^{p} ) ^{\frac{1}{q}}\), we obtain inequality (20). On the other hand, by the Hölder inequality and (20), we find
Therefore, using (20), we obtain (12).
Now, to prove the equivalence relation between (12) and (21), we set
By inequality (12) we get
Obviously, from the last inequality we get (21). On the other hand, using the Hölder inequality and (21) respectively, we find
Thus, the equivalence relation between (21) and (12) is proved. Moreover, since the constant in (12) is the best possible, we deduce that the constants in both inequalities (20) and (21) are also the best possible. The theorem is proved. □
Theorem 4.2
Under the assumptions of the Theorem 3.2, we have the following inequalities:
and
Both inequalities (23) and (24) are equivalent to (16), and the constants \(C^{p}\) and \(C^{q}\) are the best possible.
Proof
To prove (23), we set
Applying inequality (16), we find
Hence, we obtain inequality (23). On the other hand, by the Hölder inequality and (23) we find
Therefore, using (23), we obtain (16). To prove the equivalence relation between (16) and (24), we set
By inequality (16) we get
From the last inequality we obtain (24). On the other hand, using the Hölder inequality and (24), we have
Thus, the equivalence relation between (24) and (16) is proved. Moreover, since the constant in (16) is the best possible, the constants in both inequalities (23) and (24) are also the best possible. The theorem is proved. □
5 Conclusion
In the present study, we introduced two new half-discrete Hilbert inequalities for three variables. The equivalent forms are also considered. Moreover, we proved that the constants appearing on the right-hand sides of these inequalities are the best possible.
References
Hardy, GH, Littlewood, JE, Pólya, G: Inequalities. Cambridge University Press, Cambridge (1952)
Adiyasuren, V, Batbold, T, Krnić, M: On several new Hilbert-type inequalities involving means operators. Acta Math. Sin. Engl. Ser. 29, 1493-1514 (2013)
Azar, LE: The connection between Hilbert and Hardy inequalities. J. Inequal. Appl. 2013, Article ID 452 (2013)
Azar, LE: Two new forms of Hilbert integral inequality. Math. Inequal. Appl. 17(3), 937-946 (2014)
Batbold, T, Sawano, Y: Sharp bounds for m-linear Hilbert-type operators on the weighted Morrey spaces. Math. Inequal. Appl. 20, 263-283 (2017)
Krnić, M, Pečarić, J: General Hilbert’s and Hardy’s inequalities. Math. Inequal. Appl. 8, 29-52 (2005)
Krnić, M, Pečarić, J: Extension of Hilbert’s inequality. J. Math. Anal. Appl. 324, 150-160 (2006)
Krnić, M: A refined discrete Hilbert inequality via the Hermite-Hadamard inequality. Comput. Math. Appl. 63, 1587-1596 (2012)
Mingzhe, G, Yang, B: On the extended Hilbert’s inequality. Proc. Am. Math. Soc. 126, 751-759 (1998)
Yang, B: On a new multiple extension of Hilbert’s integral inequality. J. Inequal. Pure Appl. Math. 6(2), 1-8 (2005)
Yang, B: The Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijing (2009)
Yang, B, Brnetić, I, Krnić, M, Pečarić, J: Generalization of Hilbert and Hardy-Hilbert integral inequalities. Math. Inequal. Appl. 8(2), 259-272 (2005)
Yang, B, Rassias, TM: On the way of weight coefficients and research for the Hilbert-type inequalities. Math. Inequal. Appl. 6, 625-658 (2003)
Yang, B: A half-discrete Hilbert’s inequality. J. Guangdong Univ. Educ. 31(3), 1-7 (2011)
Azar, LE: Two new forms of half-discrete Hilbert inequality. J. Egypt. Math. Soc. 22(2), 254-257 (2014)
Azar, LE: On a sharper form of half-discrete Hilbert inequality. Tamkang J. Math. 45(1), 77-85 (2014)
Yang, B, Chen, Q: A half-discrete Hilbert-type inequality with a homogeneous kernel and an extension. J. Inequal. Appl. 2011, Article ID 124 (2011)
Yang, B, Cheung, W: On a half-discrete Mulholland-type inequality. Math. Inequal. Appl. 16, 522-534 (2013)
Batbold, T, Azar, LE: A new form of Hilbert integral inequality. J. Math. Inequal. (2018, to appear)
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to this work. Both authors read and approved the final manuscript.
Corresponding author
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.
About this article
Cite this article
Batbold, T., Azar, L.E. New half-discrete Hilbert inequalities for three variables. J Inequal Appl 2018, 1 (2018). https://doi.org/10.1186/s13660-017-1594-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1594-6