Abstract
By introducing a mixed kernel function and the proper parameters, a new Hilbert-type integral inequality with a best constant factor in the whole plane is derived. As an application, the operator expressions, reverse inequalities, and Hardy-type inequalities are considered.
Similar content being viewed by others
1 Introduction
Suppose that \(a_{m},b_{n}\geq0\), \(a=\{a_{m}\}_{m=1}^{\infty }\), \(b=\{b_{n}\}_{n=1}^{\infty}\in l^{2}\) (\(l^{2}:=\{x=\{x_{k}\} _{k=1}^{\infty }:\sum_{k=1}^{\infty}x_{k}^{2}<\infty\}\)), \(\|a\|=\{\sum_{m=1}^{\infty }a_{m}^{2}\}^{\frac{1}{2}} >0\), \(\|b\|>0\), we have the following well-known discrete Hilbert inequality [1]:
where the constant factor π is the best possible. Moreover, for \(f(x),g(y)\geq0\), \(f,g\in L^{2}(\mathbf{R} _{+})\), \(\|f\|=(\int_{0}^{\infty}f^{2}(x)\,dx)^{\frac{1}{2}}>0\), \(\|g\|>0\), we still have the following Hilbert integral inequality:
with the same best constant factor π. Inequalities (1) and (2) are important in analysis and applications (cf. [2–12]).
All of the above integral inequalities are built in the quarter plane of the first quadrant. For some special kernel functions, it is meaningful to establish inequalities in the whole plane. In 2008, Yang [13] gave an inequality as follows:
where the constant factor \(k_{\lambda}:=B(\frac{\lambda}{2},\frac {\lambda }{2})+2B(1-\lambda,\frac{\lambda}{2})\) is the best possible and \(0<\lambda <1\), \(p>1\), \((1/p)+(1/q)=1\). In 2010, Zeng and Xie [14] got the following inequality: If \(p>1\), \((1/p)+(1/q)=1\), \(r\in (-1,0)\), \(0<\alpha <\beta <\pi\), \(f(x)\) and \(g(y)\) are nonnegative measurable functions, satisfying \(0<\int_{-\infty}^{\infty}|x|^{p(1-\frac{\lambda }{2})-1}f^{p}(x)\,dx<\infty\), \(0<\int_{-\infty}^{\infty}|y|^{q(1-\frac{\lambda }{2})-1}g^{q}(y)\,dy<\infty \), then
where the constant factor
is the best possible. Subsequently, many scholars began to study the inequalities of this type (cf. [15–19]).
In 1934, Hardy [1] published the following Hardy integral inequality: If \(p>1\), \(f(x)\geq0\), \(f\in L^{p}(\mathbf{R} _{+})\), \(\|f\|_{p}=\{\int_{0}^{\infty }f^{p}(x)\,dx\}^{1/p}>0\), \(F(x)=\int_{0}^{x}f(t)\,dt\), then
where the constant factor \([ p/ ( p-1 ) ] ^{p}\) is the best possible. From Theorem 328, [1], it follows that
where the constant factor \(p^{p}\) is still the best possible and \(F(x)=\int_{x}^{\infty}f(t)\,dt\). In 2009, Yang [20] gave the following best extensions of (6) by introducing an independent parameter λ.
If \(0< p<1\), \(r>0\), \(f\geq0\), \(0<\int_{0}^{\infty}x^{p(1+\frac{1-\lambda}{r})-1}f^{p}(x)\,dx <\infty\) (\(\lambda\neq1\)), \(F(x)=\int_{0}^{x}f(t)\,dt\) (\(\lambda >1\)), \(F(x)=\int_{x}^{\infty}f(t)\,dt\) (\(\lambda<1\)), then
where the constant factor \(( \frac{r}{|1-\lambda|} ) ^{p}\) is the best possible.
The main objective of this paper is to establish inequalities in the whole plane, as well as the corresponding operator expression, the equivalent form, and the reverse inequality. Special emphasis is placed on a Hardy-type inequality with the best possible constant.
2 Some lemmas
In what follows, \(\alpha_{1}\), \(\alpha_{2}\) will be real numbers such that \(0<\alpha_{1}\leq\alpha_{2}<\pi\), \(\delta\in\{-1,1\}\), \(\lambda _{1}, \lambda_{2}<0\), \(\lambda_{1}+\lambda_{2}=-\lambda\), and
Lemma 1
If \(C(\lambda):=\frac{\lambda}{\lambda_{1}\lambda _{2}}\cdot2^{\lambda_{2}/\gamma} [ ( \cos\frac{\alpha_{1}}{2} ) ^{2\lambda_{2}/\gamma}+ ( \sin\frac{\alpha_{2}}{2} ) ^{2\lambda_{2}/\gamma} ] \), the weight function
then for all \(x,y\neq0\), we have
Proof
(i) For \(\delta=1\), setting \(u=xy\), we find for \(y\neq0\),
(ii) For \(\delta=-1\), setting \(u=y/x\), we still have \(\omega _{-1}(\lambda _{2},y)=C(\lambda)\).
Setting \(u=x^{\delta}y\), we get
Hence we have (10). □
Remark 1
Let \(\alpha_{1}=\alpha_{2}=\alpha\), then \(h(u)=\min \{1, [ |u|^{\gamma}+ ( u ) ^{\gamma}\cos\alpha ] ^{\lambda/\gamma}\}\) and
Lemma 2
If \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), \(f(x)\) is a nonnegative measurable function in R, then
-
(i)
for \(p>1\), we have
$$\begin{aligned} J :=&\int_{-\infty}^{\infty}|y|^{p\lambda_{2}-1} \biggl[ \int_{-\infty }^{\infty}h \bigl( x^{\delta}y \bigr) f(x) \,dx \biggr] ^{p}\,dy \\ \leq&C^{p}(\lambda)\int_{-\infty}^{\infty}|x|^{p(1-\delta\lambda _{2})-1}f^{p}(x) \,dx; \end{aligned}$$(11) -
(ii)
for \(0< p<1\), we have the reverse of (11).
Proof
For \(p>1\), by the Hölder inequality with weight [21], we have
Then by (10) and the Fubini theorem [22], it follows that
and so (11) is proved.
(ii) For \(0< p<1\), by the reverse Hölder inequality [21], in view of the assumptions and with the same way, we obtain the reverse of (11). □
3 Main results and applications
In this section, we set the functions and spaces as follows:
Theorem 1
If \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), \(f(x),g(y) \geq0\), satisfying \(f(x)\in L_{p,\varphi}(\mathbf{R} )\), \(g(y)\in L_{q,\psi}(\mathbf{R} )\), \(\|f\|_{p,\varphi},\|g\|_{q,\psi}>0\), then we have the following equivalent inequalities:
where the constant factors \(C(\lambda)\) and \(C^{p}(\lambda)\) in the above inequalities are the best possible.
Proof
If (12) takes the form of equality for a \(y\neq 0\), then there exist constants A and B, such that they are not all zero, and
We confirm that \(A\neq0\) (otherwise \(B=A=0\)), from which
in view of \(\int_{-\infty}^{\infty}\frac{1}{|x|}\,dx=\infty\), which contradicts the fact that \(\|f\|_{p,\varphi}>0\). Hence (12) takes a strict inequality, so does (11), thus (14) is valid.
By the Hölder inequality with weight [21], we obtain
By (14), we have (13). On the other hand, suppose that (13) is valid, setting
then we find \(J=\|g\|_{q,\psi}^{q}\). By (11), we have \(J<\infty \). If \(J=0\), then (14) is valid trivially; if \(0< J<\infty\), then by (13), it follows that
and then (14) follows, which is equivalent to (13).
For any \(n>\frac{1}{p|\lambda_{2}|}\) (\(n\in \mathbf{N} \)), setting \(E_{\delta}:=\{x\in \mathbf{R} :|x|^{\delta}\geq1\}\) and
then
Suppose that \(I(x):=\int_{-1}^{1}h ( x^{\delta}y ) |y|^{\lambda _{2}+\frac{1}{nq}-1}\,dy\), we confirm that
In fact, for \(x>0\),
Similarly, we get
for \(x<0\).
Applying the Fubini theorem [22],
If there exists a constant \(K\leq C(\lambda)\), such that (13) is still valid when replacing \(C(\lambda)\) by K, and \(f(x)\), \(g(y)\) by \(\widetilde{f}(x)\), \(\widetilde{g}(y)\), respectively, then it gives
Since \(\{ u^{\lambda_{2}+\frac{1}{nq}-1} \} \) (\(0< u\leq1\)) and \(\{ u^{\lambda_{2}-\frac{1}{np}-1} \} \) (\(u>1\)) are nonnegative, monotonically increasing, by the Levi theorem [22],
Hence \(C(\lambda)=K\) in (13) is the best possible.
By the equivalence, the constant factor \(C^{p}(\lambda)\) in (14) is still the best possible. Otherwise, we would reach a contradiction by (15): that the constant in (13) is not the best possible. □
Remark 2
(i) With the assumptions of Theorem 1, we define a Hilbert-type integral operator \(T:L_{p,\varphi}(\mathbf{R} )\rightarrow L_{p,\psi^{1-p}}(\mathbf{R} )\) as follows: For any \(f\in L_{p,\varphi}(\mathbf{R} )\), there exists a T, satisfying, for any \(y\neq0\),
By (14), we obtain
from which \(Tf\in L_{p,\psi^{1-p}}(\mathbf{R} )\). Hence T is a bounded linear operator with \(\|T\|\leq C(\lambda)\). Since the constant factor in (14) is the best possible, we have
(ii) For \(\delta=1\), (13) and (14) are reduced to the following inequalities with non-homogeneous kernel and the best possible constant factors:
(iii) For \(\delta=-1\) in (13) and (14), replacing \(|x|^{\lambda }f(x)\) by \(f(x)\) gives the following inequalities with homogeneous kernel and the best possible constant factors (\(k_{\lambda}(x,y):=\min_{i\in \{1,2\}}\min\{|x|, [ |y|^{\gamma}+y^{\gamma} \operatorname{sgn} x \cos \alpha _{i} ] ^{\lambda/\gamma}\}\)):
Theorem 2
With the assumptions of Theorem 1, replacing \(p>1\) by \(0< p<1\), we have the following equivalent reverse inequalities:
where the constant factors \(C(\lambda)\) and \(C^{p}(\lambda)\) in the above inequalities are the best possible.
Proof
The proof is similar to the proof of Theorem 1 and hence by Lemma 2 with \(0< p<1\), we have the reverses of (13), (14), and (15), thus (19) and (20) are valid. On the other hand, suppose that (19) is valid. Let \(g(y)\) be the same as in Theorem 1, then \(J>0\) with the reverse of (11). If \(J=\infty\), then (20) is obviously valid; if \(0< J<\infty\), then by (19), we obtain the reverses of (16) and (17). Hence we have (20), which is equivalent to (19).
If the constant factor \(C(\lambda)\) in (19) is not the best possible, then there exists a positive constant k, with \(k\geq C(\lambda)\), such that (19) is still valid when replacing \(C(\lambda)\) by k. There exists \(0< a<2\lambda_{2}\), such that \(n\geq\frac{2}{a|q|}\), we have the reverse of (18):
Since
then by the Levi theorem,
In view of \(q<0\) and \(n\geq\frac{2}{a|q|}\), we have
By the Lebesgue dominated convergence theorem [22], we have
Therefore, we get \(C(\lambda)\geq K\). Hence \(C(\lambda)=K\) is the best possible constant factor of (19).
By the equivalence, the constant factor \(C^{p}(\lambda)\) in (20) is still the best possible. Otherwise, we would reach a contradiction by the reverse of (15): that the constant in (19) is not the best possible. □
As an application of Hilbert-type inequality, suppose that \(\delta =1\),
\(h(u)=0\) (\(|u|>1\)), i.e. \(h(xy)=0\) (\(|x|>\frac{1}{|y|}\)), then we have
and we get Hardy-type inequality with the non-homogeneous kernel as follows.
Corollary 1
If \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), \(C_{1}(\lambda)=\int_{-1}^{1}h ( u ) |u|^{\lambda_{2}-1}\,du\), \(f(x),g(y)\geq0\), satisfying \(0<\int_{-\infty}^{\infty }|x|^{p(1-\lambda_{2})-1}f^{p}(x)\,dx<\infty\), \(0<\int_{-\infty }^{\infty }|y|^{q(1-\lambda_{2})-1}g^{q}(y)\,dy<\infty\), then we have the following equivalent inequalities:
where the constant factors \(C_{1}(\lambda)\) and \(C_{1}^{p}(\lambda)\) in the above inequalities are the best possible. If \(0< p<1\), then we have the reverse equivalent inequalities with the same best possible constant factors.
Similarly, if \(h(u)=0\) (\(|u|<1\)), then \(h(xy)=0\) (\(|x|<\frac{1}{|y|}\)). Setting
and we get another Hardy-type inequality with the non-homogeneous kernel as follows:
Corollary 2
If \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\),
\(f(x),g(y)\geq0\), such that \(0<\int_{-\infty}^{\infty }|x|^{p(1-\lambda_{1})-1}f^{p}(x)\,dx<\infty\),
then we have the following equivalent inequalities with the best possible constant factors:
If \(0< p<1\), then we get the reverse equivalent inequalities with the same best possible constant factors.
References
Hardy, GH, Littlewood, JE, Pólya, G: Inequalities. Cambridge University Press, Cambridge (1934)
Mitrinović, DS, Pečarić, JE, Fink, AM: Inequalities Involving Functions and Their Integrals and Derivatives. Kluwer Academic, Boston (1991)
Yang, BC: The Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijin (2009)
Yang, BC: Hilbert-type integral operators: norms and inequalities. In: Pardalos, PM, Georgiev, PG, Srivastava, HM (eds.) Nonlinear Analysis: Stability, Approximation, and Inequalities, pp. 771-859. Springer, New York (2012)
Yang, BC, Liu, XD: A more accurate half-discrete Hilbert-type inequality with a non-homogeneous kernel. J. Inequal. Appl. 2012, Article ID 292 (2012). doi:10.1186/1029-242X-2012-292
Yang, BC, Chen, Q: A half-discrete Hilbert-type inequality with a homogeneous kernel and an extension. J. Inequal. Appl. 2011, Article ID 124 (2011). doi:10.1186/1029-242X-2011-124
Li, YJ, He, B: On inequalities of Hilbert’s type. Bull. Aust. Math. Soc. 76(1), 1-13 (2007)
Huang, QL, Yang, BC: A multiple Hilbert-type integral inequality with a non-homogeneous kernel. J. Inequal. Appl. 2013, Article ID 73 (2013). doi:10.1186/1029-242X-2013-73
Krnić, M: Multidimensional Hilbert-type inequality on the weighted Orlicz spaces. Mediterr. J. Math. 9, 883-895 (2012)
Perić, I, Vuković, P: Hardy-Hilbert’s inequalities with a general homogeneous kernel. Math. Inequal. Appl. 12, 525-536 (2009)
Perić, I, Vuković, P: Hilbert-type inequalities with a product-type homogeneous kernel and Schur polynomials. J. Math. Anal. Appl. 359, 786-793 (2009)
Liu, Q, Sun, W: A Hilbert-type integral inequality with multiparameters and a nonhomogeneous kernel. Abstr. Appl. Anal. 2014, Article ID 674874 (2014)
Yang, BC: A new Hilbert-type integral inequality with some parameters. J. Jilin Univ. Sci. Ed. 46(6), 1085-1090 (2008)
Zeng, Z, Xie, ZT: On a new Hilbert-type integral inequality with the homogeneous kernel of degree 0 and the integral in whole plane. J. Inequal. Appl. 2010, Article ID 256796 (2014)
He, B: On a Hilbert-type integral inequality with a homogeneous kernel in \(\mathbf{R}^{2}\) and its equivalent form. J. Inequal. Appl. 2012, Article ID 94 (2012). doi:10.1186/1029-242X-2012-94
Xin, DM, Yang, BC: A Hilbert-type integral inequality in the whole plane with the homogeneous kernel of degree –2. J. Inequal. Appl. 2011, Article ID 401428 (2011)
Wang, AZ, Yang, BC: A new Hilbert-type integral inequality in whole plane with the non-homogeneous kernel. J. Inequal. Appl. 2011, Article ID 123 (2011). doi:10.1186/1029-24X-2011-123
Adiyasuren, V, Batbold, T: On a generalization of a Hilbert-type integral inequality in the whole plane with a hypergeometric function. J. Inequal. Appl. 2013, Article ID 189 (2013). doi:10.1186/1029-242X-2013-189
Vuković, P: On a multidimensional version of the Hilbert-type inequality in the whole plane. J. Inequal. Appl. 2014, Article ID 272 (2014). doi:10.1186/1029-242X-2014-272
Yang, BC: On the reverse extended Hardy’s integral inequality. Int. J. Pure Appl. Math. 56(4), 519-524 (2009)
Kuang, JC: Applied Inequalities. Shangdong Science Technic Press, Jinan (2004)
Kuang, JC: Introduction to Real Analysis. Hunan Education Press, Chansha (1996)
Acknowledgements
This work is supported by the National Natural Science Foundation of China (No. 11301090), Training Plan Fund of Outstanding Young Teachers of Higher Learning Institutions of Guangdong Province in China (No. Yq20145084602) and the Natural Science Foundation of Guangdong University of Education (No. 2014yjxm05).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
XH carried out the mathematical studies, participated in the sequence alignment and drafted the manuscript. JC participated in the design of the study and performed the numerical analysis. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Huang, X., Cao, J., He, B. et al. Hilbert-type and Hardy-type integral inequalities with operator expressions and the best constants in the whole plane. J Inequal Appl 2015, 129 (2015). https://doi.org/10.1186/s13660-015-0655-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0655-y