Abstract
By using the weight functions, the idea of introduced parameters and the Euler–Maclaurin summation formula, a reverse half-discrete Hilbert’s inequality with the homogeneous kernel and the reverse equivalent forms are given (for \({p<0}\), \({0< q<1}\)). The equivalent statements of the best possible constant factor related to a few parameters are considered. As applications, two corollaries about the case of the non-homogeneous kernel and some particular cases are obtained.
Similar content being viewed by others
1 Introduction
If \(0 < \sum_{m = 1}^{\infty } a_{m}^{2} < \infty \) and \(0 < \sum_{n = 1} ^{\infty } b_{n}^{2} < \infty \), then we have the following discrete Hilbert inequality with the best possible constant factor π (cf. [1], Theorem 315):
Assuming that \(0 < \int _{0}^{\infty } f^{2}(x)\,dx < \infty \) and \(0 < \int _{0}^{\infty } g^{2}(y) \,dy < \infty \), we have the following Hilbert integral inequality (cf. [1], Theorem 316):
where the constant factor π is the best possible. Inequalities (1) and (2) are important in analysis and its applications (cf. [2,3,4,5,6,7,8,9,10,11,12,13]).
We still have the following half-discrete Hilbert-type inequality (cf. [1], Theorem 351): If \(K(x)\) (\(x > 0\)) is a decreasing function, \(p > 1\), \(\frac{1}{p} + \frac{1}{q} = 1\), \(0 < \phi (s) = \int _{0}^{\infty } K(x)x ^{s - 1} \,dx < \infty \), then
In recent years, some new extensions of (3) were provided by [14,15,16,17,18,19].
In 2006, using the Euler–Maclaurin summation formula, Krnic et al. [20] gave an extension of (1) with the kernel \(\frac{1}{(m + n)^{\lambda }}\) (\(0 < \lambda \le 14\)), and, in 2019, according to [20], Adiyasuren et al. [21] considered an extension of (1) involving the partial sums. In 2016–2017, by applying the weight functions, Hong [22, 23] considered some equivalent statements of the extensions of (1) and (2) with a few parameters and conjugate exponents. Some similar work was presented by [24,25,26].
In this paper, according to [20, 22], by the use of the weight functions, the idea of introduced parameters and the Euler–Maclaurin summation formula, a reverse half-discrete Hilbert inequality with the homogeneous kernel \(\frac{1}{(x + n)^{\lambda }}\) (\(0 < \lambda \le 28\)) and the reverse equivalent forms are given. The equivalent statements of the best possible constant factor related to a few parameters are considered. As applications, two corollaries about the cases of non-homogeneous kernel and some particular cases are obtained.
2 Some lemmas
In what follows, we assume that \(p < 0\) (\(0 < q < 1\)), \(\frac{1}{p} + \frac{1}{q} = 1\), \(\lambda \in (0,28]\), \(\sigma \in (0,2] \cap (0,\lambda )\), \(\mu \in (0,\lambda )\), \(f(x) \ge 0\) (\(x \in R_{ +} = (0,\infty )\)), \(a_{n} \ge 0\) (\(n \in \mathrm{N} = \{ 1,2,\ldots \} \)), such that
Lemma 1
Define the following weight function:
We have the following inequality:
Proof
For fixed \(x > 0\), we set the function \(g_{x}(t): = \frac{t ^{\sigma - 1}}{(x + t)^{\lambda }}\) (\(t > 0\)). Using the Euler–Maclaurin summation formula (cf. [20]), for \(\rho (t): = t - [t] - \frac{1}{2}\), we have
We obtain \(- \frac{1}{2}g_{x}(1) = \frac{ - 1}{2(x + 1)^{\lambda }} \),
For \(0 < \sigma \le 2\), \(\sigma < \lambda \le 28\), we find \(\lambda + 1 - \sigma > 0\),
and then, by the Euler–Maclaurin summation formula (cf. [20]), we find
Hence, we have \(h(x) > \frac{h_{1}}{(x + 1)^{\lambda }} + \frac{\lambda h_{2}}{(x + 1)^{\lambda + 1}} + \frac{\lambda (\lambda + 1)h_{3}}{(x + 1)^{\lambda + 2}}\), where
and \(h_{3}: = \frac{1}{\sigma (\sigma + 1)(\sigma + 2)} - \frac{\lambda + 2}{720}\).
For \(\lambda \in (0,28]\), \(\frac{\lambda }{720} < \frac{1}{24}\), \(\sigma \in (0,2]\), it follows that
In fact, setting \(g(\sigma ): = 24 - 20\sigma + 7\sigma ^{2} - \sigma ^{3}\) (\(\sigma \in (0,2]\)), we obtain
and then
We still find that \(h_{2} > \frac{1}{6} - \frac{1}{12} - \frac{30}{360} = 0\), and \(h_{3} \ge \frac{1}{24} - \frac{30}{720} = 0\). Hence, we find \(h(x) > 0\), and then
namely, (5) follows. □
Lemma 2
We have the following reverse inequality:
Proof
For \(n \in \mathbf{N}\), setting \(x = nu\), we obtain another weight function:
For \(p < 0\), \(0 < q < 1\), by the reverse Hölder inequality (cf. [27]) and Lebesgue term by term integration theorem (cf. [28]), we obtain
Then, by (5) and (7), we have (6). □
Remark 1
For \(\mu + \sigma = \lambda \), we find
and then we reduce (6) as follows:
Lemma 3
The constant factor \(B(\mu ,\sigma )\) in (8) is the best possible.
Proof
For \(0 < \varepsilon < q\sigma \), we set
If there exists a positive constant M (\(M \ge B(\mu ,\sigma )\)), such that (8) is valid when replacing \(B(\mu ,\sigma )\) by M, then by substitution of \(f(x) = \tilde{f}(x)\), \(a_{n} = \tilde{a}_{n}\), we have
For \(0 < \sigma - \frac{\varepsilon }{q} < 2\) (\(0 < q < 1\)), by (5), we obtain
Then we have
For \(\varepsilon \to 0^{ +} \), in view of the continuity of the beta function, it follows that \(B(\mu ,\sigma ) \ge M\). Therefore, \(M = B(\mu ,\sigma )\) is the best possible constant factor of (8). □
Remark 2
Setting \(\hat{\mu }: = \frac{\lambda - \sigma }{p} + \frac{\mu }{q}\), \(\hat{\sigma }: = \frac{\sigma }{p} + \frac{\lambda - \mu }{q}\), we have
And, for \(\lambda - \mu - \sigma \in ( - q\sigma ,q(\lambda - \sigma ))\), we find
We can reduce (6) as follows:
Lemma 4
If \(\lambda - \mu - \sigma \in ( - q\sigma ,q(\lambda - \sigma ))\), the constant factor \(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}(\mu ,\lambda - \mu )\) in (9) is the best possible, then we have \(\lambda - \mu - \sigma = 0\), namely, \(\mu + \sigma = \lambda \).
Proof
If the constant factor \(B^{\frac{1}{p}}(\sigma , \lambda - \sigma )B^{\frac{1}{q}}(\mu ,\lambda - \mu )\) in (9) is the best possible, then, by (8), the unique best possible constant factor must be \(B(\hat{\mu },\hat{\sigma } )\) (\(\in \mathrm{R}_{ +} \)), namely,
By the reverse Hölder inequality (cf. [27]), we find
We observe that (10) keeps the form of an equality if and only if there exist constants A, B, such that they are not all zero and \(At^{\lambda - \sigma - 1} = Bt^{\mu - 1}\) a.e. in \(\mathrm{R}_{ +}\). Suppose that \(A \ne 0\). We find that
and then \(\lambda - \mu - \sigma = 0\), namely, \(\mu + \sigma = \lambda\). □
3 Main results
Theorem 1
Inequality (6) is equivalent to the following inequalities:
If the constant factor \(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B ^{\frac{1}{q}}(\mu ,\lambda - \mu )\) in (6) is the best possible, then so is the constant factor in (11) and (12).
In particular, for \(\mu + \sigma = \lambda \) in (6), (11) and (12), we have (8) and the following equivalent reverse inequalities with the best possible constant factor \(B(\mu ,\sigma )\):
Proof
Suppose that (11) is valid. By Lebesgue term by term integration theorem and the reverse Hölder inequality (cf. [27, 28]), we have
Then, by (11), we have (6). On the other hand, assuming that (6) is valid, we set
If \(J_{1} = \infty \), then (11) is naturally valid; if \(J_{1} = 0\), then it is impossible to make (11) valid, namely \(J_{1} > 0\). Suppose that \(0 < J_{1} < \infty \). By (6), we have
namely, (11) follows, which is equivalent to (6).
Suppose that (12) is valid. By the reverse Hölder inequality, we have
Then, by (12), we have (6). On the other hand, assuming that (6) is valid, we set
If \(J_{2} = \infty \), then (12) is naturally valid; if \(J_{2} = 0\), then it is impossible to make (12) valid, namely \(J_{2} > 0\). Suppose that \(0 < J_{2} < \infty \). By (6), we have
namely, (12) follows, which is equivalent to (6).
Hence, inequalities (6), (11) and (12) are equivalent.
If the constant factor \(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B ^{\frac{1}{q}}(\mu ,\lambda - \mu )\) in (6) is the best possible, then so is the constant factor in (11) and (12). Otherwise, by (15) (or (16)), we would reach the contradiction that the constant factor in (6) is not the best possible. □
Theorem 2
The following statements (i), (ii), (iii) and (iv) are equivalent:
-
(i)
\(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}( \mu ,\lambda - \mu )\) is independent of p, q;
-
(ii)
\(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}( \mu ,\lambda - \mu )\) is expressible as a single integral;
-
(iii)
\(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{ \frac{1}{q}}(\mu ,\lambda - \mu )\) is the best possible of (6);
-
(iv)
If \(\lambda - \mu - \sigma \in ( - q\sigma ,q(\lambda - \sigma ))\), then \(\mu + \sigma = \lambda \).
Proof
(i)⇒(ii). In view of \(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}(\mu ,\lambda - \mu )\) is independent of p, q, we find
which is a single integral \(\int _{0}^{\infty } \frac{t^{\mu - 1}}{(1 + t)^{\lambda }} \,dt\).
(ii)⇒(iv). Suppose that \(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B ^{\frac{1}{q}}(\mu ,\lambda - \mu )\) is expressible as a single integral \(\int _{0}^{\infty } \frac{t^{\frac{\lambda - \sigma }{p} + \frac{ \mu }{q} - 1}}{(1 + t)^{\lambda }} \,dt\). Then (10) keeps the form of equality. By the proof of Lemma 4, for \(\lambda - \mu - \sigma \in ( - q\sigma ,q(\lambda - \sigma ))\), we have \(\mu + \sigma = \lambda \).
(iv)⇒(i). If \(\mu + \sigma = \lambda \), then
which is independent of p, q.
Hence, we have (i)⇔(ii)⇔(iv).
(i)⇒(iii). By Lemma 3, for \(\mu + \sigma = \lambda \), \(B^{ \frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}(\mu ,\lambda - \mu )\) is the best possible of (6).
(iii)⇒(iv). By Lemma 4, we have \(\mu + \sigma = \lambda \).
Therefore, we show that (iv)⇔(iii), and then the statements (i), (ii), (iii) and (iv) are equivalent. □
4 Two corollaries and some particular inequalities
Replacing x by \(\frac{1}{x}\), and then setting \(F(x) = x^{\lambda - 2}f( \frac{1}{x})\) in Theorem 1 and then Theorem 2, we have the following.
Corollary 1
If \(F(x)\), \(a_{n} \ge 0\), such that
then the following inequalities are equivalent:
If the constant factor \(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B ^{\frac{1}{q}}(\mu ,\lambda - \mu )\) in (17) is the best possible, then so is the constant factor in (18) and (19). In particular, for \(\mu = \lambda - \sigma \) in (17), (18) and (19), we have the following equivalent inequalities with the best possible constant factor \(B( \lambda - \sigma ,\sigma )\):
Corollary 2
The following statements (I), (II), (III) and (IV) are equivalent:
-
(I)
\(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}(\mu , \lambda - \mu )\) is independent of p, q;
-
(II)
\(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}(\mu , \lambda - \mu )\) is expressible as a single integral;
-
(III)
\(B^{\frac{1}{p}}(\sigma ,\lambda - \sigma )B^{\frac{1}{q}}( \mu ,\lambda - \mu )\) is the best possible of (17);
-
(IV)
If \(\lambda - \mu - \sigma \in ( - q\sigma ,q(\lambda - \sigma ))\), then we have \(\mu = \lambda - \sigma \).
Remark 3
(i) For \(\sigma = 2 < \lambda\) (≤28), \(\mu = \lambda - 2\) in (8), (13) and (14), since
we have the following equivalent reverse inequalities with the best possible constant factor \(\frac{1}{(\lambda - 1)(\lambda - 2)}\):
(ii) For \(\sigma = 2 < \lambda\) (≤28), \(\mu = \lambda - 2\) in (20), (21) and (22), we have the following equivalent reverse inequalities with the best possible constant factor \(\frac{1}{(\lambda - 1)(\lambda - 2)}\):
5 Conclusions
In this paper, according to [20, 22], by applying the weight functions, the idea of introduced parameters and Euler–Maclaurin summation formula, a reverse half-discrete Hilbert inequality with the homogeneous kernel and the reverse equivalent forms are given in Lemma 2 and Theorem 1 (for \(p < 0\), \(0 < q < 1\)). The equivalent statements of the best possible constant factor related to some parameters are proved in Theorem 2. As applications, two corollaries about the reverse cases of the non-homogeneous kernel and some particular cases are considered in Corollary 1, Corollary 2 and Remark 3. The lemmas and theorems provide an extensive account of this type of inequalities.
References
Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities. Cambridge University Press, Cambridge (1934)
Yang, B.C.: The Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijing (2009)
Yang, B.C.: Hilbert-Type Integral Inequalities. Bentham Science Publishers Ltd. (2009)
Yang, B.C.: On the norm of an integral operator and applications. J. Math. Anal. Appl. 321, 182–192 (2006)
Xu, J.S.: Hardy–Hilbert’s inequalities with two parameters. Adv. Math. 36(2), 63–76 (2007)
Yang, B.C.: On the norm of a Hilbert’s type linear operator and applications. J. Math. Anal. Appl. 325, 529–541 (2007)
Xie, Z.T., Zeng, Z., Sun, Y.F.: A new Hilbert-type inequality with the homogeneous kernel of degree −2. Adv. Appl. Math. Sci. 12(7), 391–401 (2013)
Zhen, Z., Raja Rama Gandhi, K., Xie, Z.T.: A new Hilbert-type inequality with the homogeneous kernel of degree −2 and with the integral. Bull. Math. Sci. Appl. 3(1), 11–20 (2014)
Xin, D.M.: A Hilbert-type integral inequality with the homogeneous kernel of zero degree. Math. Theory Appl. 30(2), 70–74 (2010)
Azar, L.E.: The connection between Hilbert and Hardy inequalities. J. Inequal. Appl. 2013, 452 (2013)
Batbold, T., Sawano, Y.: Sharp bounds for m-linear Hilbert-type operators on the weighted Morrey spaces. Math. Inequal. Appl. 20, 263–283 (2017)
Adiyasuren, V., Batbold, T., Krnic, M.: Multiple Hilbert-type inequalities involving some differential operators. Banach J. Math. Anal. 10, 320–337 (2016)
Adiyasuren, V., Batbold, T., Krnić, M.: Hilbert-type inequalities involving differential operators, the best constants and applications. Math. Inequal. Appl. 18, 111–124 (2015)
Rassias, M.Th., Yang, B.C.: On half-discrete Hilbert’s inequality. Appl. Math. Comput. 220, 75–93 (2013)
Yang, B.C., Krnic, M.: A half-discrete Hilbert-type inequality with a general homogeneous kernel of degree 0. J. Math. Inequal. 6(3), 401–417 (2012)
Rassias, M.Th., Yang, B.C.: A multidimensional half-discrete Hilbert-type inequality and the Riemann zeta function. Appl. Math. Comput. 225, 263–277 (2013)
Rassias, M.Th., Yang, B.C.: On a multidimensional half-discrete Hilbert-type inequality related to the hyperbolic cotangent function. Appl. Math. Comput. 242, 800–813 (2013)
Huang, Z.X., Yang, B.C.: On a half-discrete Hilbert-type inequality similar to Mulholland’s inequality. J. Inequal. Appl. 2013, 290 (2013)
Yang, B.C., Lebnath, L.: Half-Discrete Hilbert-Type Inequalities. World Scientific, Singapore (2014)
Krnic, M., Pecaric, J.: Extension of Hilbert’s inequality. J. Math. Anal. Appl. 324(1), 150–160 (2006)
Adiyasuren, V., Batbold, T., Azar, L.E.: A new discrete Hilbert-type inequality involving partial sums. J. Inequal. Appl., 2019, 127 (2019)
Hong, Y., Wen, Y.: A necessary and sufficient condition of that Hilbert type series inequality with homogeneous kernel has the best constant factor. Ann. Math. 37A(3), 329–336 (2016)
Hong, Y.: On the structure character of Hilbert’s type integral inequality with homogeneous kernel and applications. J. Jilin Univ. Sci. Ed. 55(2), 189–194 (2017)
Hong, Y., Huang, Q.L., Yang, B.C., Liao, J.L.: The necessary and sufficient conditions for the existence of a kind of Hilbert-type multiple integral inequality with the non-homogeneous kernel and its applications. J. Inequal. Appl., 2017, 316 (2017)
Xin, D.M., Yang, B.C., Wang, A.Z.: Equivalent property of a Hilbert-type integral inequality related to the beta function in the whole plane. J. Funct. Spaces 2018, Article ID ID2691816 (2018)
Hong, Y., He, B., Yang, B.C.: Necessary and sufficient conditions for the validity of Hilbert type integral inequalities with a class of quasi-homogeneous kernels and its application in operator theory. J. Math. Inequal. 12(3), 777–788 (2018)
Kuang, J.C.: Applied Inequalities. Shangdong Science and Technology Press, Jinan (2004)
Kuang, J.C.: Real and Functional Analysis (Continuation), vol. 2. Higher Education Press, Beijing (2015)
Funding
This work is supported by the National Natural Science Foundation (No. 61772140), and Science and Technology Planning Project Item of Guangzhou City (No. 201707010229). We are grateful for their help.
Author information
Authors and Affiliations
Contributions
BY carried out the mathematical studies, participated in the sequence alignment and drafted the manuscript. AW and QC participated in the design of the study and performed the numerical analysis. All 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
Wang, Az., Yang, Bc. & Chen, Q. Equivalent properties of a reverse half-discrete Hilbert’s inequality. J Inequal Appl 2019, 279 (2019). https://doi.org/10.1186/s13660-019-2236-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2236-y