Abstract
By means of weight functions and Hermite–Hadamard’s inequality, and introducing a discrete interval variable, a more accurate half-discrete Hardy–Hilbert-type inequality related to the kernel of arc tangent function and a best possible constant factor is given, which is an extension of a published result. The equivalent forms and the operator expressions are also considered.
Similar content being viewed by others
Background
If \(p>1,\frac{1}{p}+\frac{1}{q}=1,f(x),g(y)\ge 0,f\in L^{p}({\mathbf {R}}_{+}),g\in L^{q}({\mathbf {R}}_{+}),||f||_{p}\) \(=(\int _{0}^{\infty }f^{p}(x)dx)^{\frac{1}{p}}>0,\) \(||g||_{q}>0,\) then we have the following Hardy–Hilbert’s integral inequality (cf. Hardy et al. 1934):
where, the constant factor \(\frac{\pi }{\sin (\pi /p)}\) is the best possible. Assuming that \(a_{m},b_{n}\ge 0,a=\{a_{m}\}_{m=1}^{\infty }\in l^{p},\) \(b=\{b_{n}\}_{n=1}^{\infty }\in l^{q},\) \(||a||_{p}=(\sum _{m=1}^{\infty }a_{m}^{p})^{\frac{1}{p}}>0,||b||_{q}>0,\) we have the following Hardy–Hilbert’s inequality with the same best possible constant \(\frac{\pi }{\sin (\pi /p)}\) (cf. Hardy et al. 1934):
Inequalities (1) and (2) are important in Analysis and its applications (cf. Hardy et al. 1934; Mitrinović et al. 1991; Yang 2009a, b, 2011).
In 1998, by introducing a parameter \(\lambda \in (0,1]\), Yang (1998) gave an extension of (1) with the kernel \(\frac{1}{(x+y)^{\lambda }}\) for \(p=q=2\). Recently, Yang (2009b) gave extensions of (1) and (2) as follows: If \(\lambda _{1},\lambda _{2}\in {\mathbf {R}},\lambda _{1}+\lambda _{2}=\lambda ,k_{\lambda }(x,y)\) is a non-negative homogeneous function of degree \(-\lambda ,\) with
\(\phi (x)=x^{p(1-\lambda _{1})-1},\psi (x)=x^{q(1-\lambda _{2})-1}, \quad f(x), g(y)\ge 0,\)
\(g\in L_{q,\psi }({\mathbf {R}}_{+}),||f||_{p,\phi },||g||_{q,\psi }>0,\) then we have
where, the constant factor \(k(\lambda _{1})\) is the best possible. Moreover, if \(k_{\lambda }(x,y)\) keeps finite value and \(k_{\lambda }(x,y)x^{\lambda _{1}-1}(k_{\lambda }(x,y)y^{\lambda _{2}-1})\) is decreasing with respect to \(x>0\;(y>0),\) then for \(a_{m,}b_{n}\ge 0,\)
\(b=\{b_{n}\}_{n=1}^{\infty }\in l_{q,\psi },\) \(||a||_{p,\phi },||b||_{q,\psi }>0,\) we have the following Hilbert-type inequality with the same best possible constant factor \(k(\lambda _{1})\):
On half-discrete Hilbert-type inequalities with the non-homogeneous kernels, Hardy et al. provided a few results in Theorem 351 of Hardy et al. (1934). But they did not prove that the the constant factors are the best possible. Yang (2005) gave an inequality with the kernel \(\frac{1}{(1+nx)^{\lambda }}\) as follows:
and proved that the constant factor \(B(\frac{\lambda }{2},\frac{\lambda }{2}) (\lambda >0)\) is the best possible. Zhong et al. (Zhong 2008, 2011, 2012; Li and He 2007; Azar 2008; Jin and Debnath 2010; Huang 2010, 2015; Krnić and Vuković 2012; Adiyasuren et al. 2014, 2016; He 2015) investigated a few half-discrete Hilbert-type inequalities and some other Hilbert-type inequalities. In 2014, Yang et al. published a book (Yang and Debnath 2014) for building the theory of half-discrete Hilbert-type inequalities.
In this paper, by means of weight functions and Hermite–Hadamard’s inequality, and introducing a discrete interval variable, a more accurate half-discrete Hardy–Hilbert-type inequality related to the kernel of arc tangent function and a best possible constant factor is given, which is an extension of a published result mention in Yang and Debnath (2014). The equivalent forms and the operator expressions are considered.
An example and some lemmas
In the following, we make appointment that \(\nu _{j}>0(j\in {\mathbf {N}}),\) \(V_{n}:=\sum _{j=1}^{n}\nu _{j}\), \(0\le \widetilde{\nu }_{n}\le \frac{\nu _{n}}{2},\) \(\widetilde{V}_{n}=V_{n}-\widetilde{\nu }_{n},\) \(\nu (t):=\nu _{n},t\in (n-\frac{1}{2},n+\frac{1}{2}](n\in {\mathbf {N}}),\) and
\(p\ne 0,1,\) \(\frac{1}{p}+\frac{1}{q}=1,\delta \in \{-1,1\},\) \(f(x),a_{n}\ge 0(x\in {\mathbf {R}}_{+},n\in {\mathbf {N}}),\) \(||f||_{p,\Phi _{\delta }}=(\int _{0}^{\infty }\Phi _{\delta }(x)f^{p}(x)dx)^{\frac{1}{p}},\) \(||a||_{q,\widetilde{\Psi }}=(\sum _{n=1}^{\infty }\widetilde{\Psi }(n)b_{n}^{q})^{\frac{1}{q}},\) where, \(\Phi _{\delta }(x):=x^{p(1-\delta \sigma )-1},\)
Example 1
For \(\rho >0,0<\sigma <\gamma \le 1,\ \) we set
-
(i)
Setting \(u=\rho ^{2}t^{-2\gamma },\) we find
$$\begin{aligned} k(\sigma )&:= {} \int _{0}^{\infty }t^{\sigma -1}\arctan \frac{\rho }{t^{\gamma }}\,dt=\frac{\rho ^{\sigma /\gamma }}{2\gamma }\int _{0}^{\infty }u^{\frac{-\sigma }{2\gamma }-1}\arctan u^{\frac{1}{2}}\,du \nonumber \\ &= \frac{\rho ^{\sigma /\gamma }}{\sigma }\int _{0}^{\infty }\arctan u^{\frac{1}{2}}du^{\frac{-\sigma }{2\gamma }} \nonumber \\ &= \frac{\rho ^{\sigma /\gamma }}{\sigma }\left[ u^{\frac{-\sigma }{2\gamma }}\arctan u^{\frac{1}{2}}|_{0}^{\infty }-\frac{1}{2}\int _{0}^{\infty }\frac{u^{\frac{-\sigma }{2\gamma }-\frac{1}{2}}}{1+u}du\right] \nonumber \\ &= \frac{\rho ^{\sigma /\gamma }}{2\sigma }\int _{0}^{\infty }\frac{u^{(\frac{1}{2}-\frac{\sigma }{2\gamma })-1}}{1+u}du=\frac{\rho ^{\sigma /\gamma }\pi }{2\sigma \sin \pi (\frac{1}{2}-\frac{\sigma }{2\gamma })} \nonumber \\ &= \frac{\rho ^{\sigma /\gamma }\pi }{2\sigma \cos (\frac{\pi \sigma }{2\gamma })}. \end{aligned}$$(6) -
(ii)
We obtain for \(\rho>0,0<\gamma \le 1,t>0,h(t)=\arctan \frac{\rho }{t^{\gamma }}>0,\)
$$\begin{aligned} \frac{d}{dt}h(t)=\frac{-\rho \gamma }{(t^{2\gamma }+\rho ^{2})t^{1-\gamma }}<0, \quad \frac{d^{2}}{dt^{2}}h(t)>0. \end{aligned}$$It is evident that for \(\sigma <1,\) \(t^{\sigma -1}h(t)>0,\)
$$\begin{aligned} \frac{d}{dt}(t^{\sigma -1}h(t))<0, \quad \frac{d^{2}}{dt^{2}}(t^{\sigma -1}h(t))>0. \end{aligned}$$ -
(iii)
Since for \(n\in \mathbf {N,}V(y)>0,V^{\prime }(y)=\nu _{n}>0,V^{\prime \prime }(y)=0(y\in (n-\frac{1}{2},n+\frac{1}{2}),\) it follows that for \(c>0,\) we have
$$ \begin{aligned}h(cV(y))V^{{\sigma - 1}} (y) &> 0,\quad \frac{d}{{dy}}(h(cV(y))V^{{\sigma - 1}} (y)) < 0, \\ \frac{{d^{2} }}{{dy^{2} }}(h(cV(y))V^{{\sigma - 1}} (y)) &> 0\quad \left( {y \in \left( {n - \frac{1}{2},n + \frac{1}{2}} \right)} \right) \end{aligned}$$
Lemma 1
If \(g(t)>0,g^{\prime }(t)<0,g^{\prime \prime }(t)>0\) \((t\in \) \(\mathbf {(}\frac{1}{2},\infty )),\) satisfying \(\int _{\frac{1}{2}}^{\infty }g(t)dt\in {\mathbf {R}}_{+},\) then we have
Proof
For \(n_{0}\in {\mathbf {N}}\backslash \{1\},\) by the assumptions and Hermite–Hadamard’s inequality, we have
It follows that
In the same way, we still have
Hence, adding these two inequalities, we have (7). \(\square \)
Lemma 2
If \(\rho >0,0<\sigma <\gamma \le 1,\) define the following weight coefficients:
We have
where, \(k(\sigma )\) is indicated by (6).
Proof
Since
and for \(t\in (n-\frac{1}{2},n+\frac{1}{2}),V^{\prime }(t)=\nu _{n},\) in view of Example 1(ii)–(iii), (13), (8) and (7), we have
Setting \(u=x^{\delta }V(t)\) in the above, by (6), we find
Hence, (11) follows.
Setting \(u=\widetilde{V}_{n}x^{\delta }\) in (9), we find \(du=\delta \widetilde{V}_{n}x^{\delta -1}dx\). If \(\delta =1,\) then
if \(\delta =-1,\) then
In view of (6), we have (12). \(\square \)
Lemma 3
If \(\rho >0,0<\sigma <\gamma \le 1,\) there exists a \(n_{0}\in {\mathbf {N}},\) such that \(\nu _{n}\ge \nu _{n+1}\) \((n\in \mathbf {\{}n_{0},n_{0}+1,\cdots \}),\) and \(V_{\infty }=\infty ,\) then, (i) for \(x\in {\mathbf {R}}_{+}\mathbf {,}\) we have
where,
(ii) for any \(b>0,\) we have
Proof
(i) Since for \(t\in (n,n+1)(n\ge n_{0}),\nu _{n}\ge \nu _{n+1}=V^{\prime }(t+\frac{1}{2}),\) by Example 1(iii) and (8), we have
Setting \(u=x^{\delta }V(t+\frac{1}{2})\) in the above, in view of \(V_{\infty }=\infty ,\) by (6), we find
Since
we find
and then (15) follows.
(ii) For \(b>0,\) by (8), we find
Hence we have (16). \(\square \)
Note For example, \(\nu _{n}=\frac{1}{n^{\beta }}(n\in {\mathbf {N}};0\le \beta \le 1)\) satisfies the conditions of Lemma 3 (for \(n_{0}=1\)).
Main results and operator expressions
Theorem 1
If \(\rho >0,0<\sigma <\gamma \le 1,\) \(k(\sigma )\) is indicated by (6), then for \(p>1,\) \(0<||f||_{p,\Phi _{\delta }},||a||_{q,\widetilde{\Psi }}<\infty ,\) we have the following equivalent Hardy–Hilbert-type inequalities:
Proof
By Hölder’s inequality with weight (cf. Kuang 2004), we have
In view of (12) and Lebesgue term by term integration theorem (cf. Kuang 2015), we find
Then by (11), we have (18). By Hölder’s inequality (cf. Kuang 2004), we have
In view of (18), we have (17). On the other hand, assuming that (17) is valid, we set
Then we find \(J_{1}^{p}=||a||_{q,\widetilde{\Psi }}^{q}.\) If \(J_{1}=0,\) then (18) is trivially valid; if \(J_{1}=\infty ,\) then (18) keeps impossible. Suppose that \(0<J_{1}<\infty .\) By (17), we have
and then (18) follows, which is equivalent to (17).
Still by Hölder’s inequality with weight (cf. Kuang 2004), we have
Then by (11) and Lebesgue term by term integration theorem (cf. Kuang 2015), it follows that
In view of (12), we have (19). By Hölder’s inequality (cf. Kuang 2004), we have
Then by (19), we have (17). On the other hand, assuming that (19) is valid, we set
Then we find \(J_{2}^{q}=||f||_{p,\Phi _{\delta }}^{p}.\) If \(J_{2}=0,\) then (19) is trivially valid; if \(J_{2}=\infty ,\) then (19) keeps impossible. Suppose that \(0<J_{2}<\infty .\) By (17), we have
and then (19) follows, which is equivalent to (17).
Therefore, inequalities (17), (18) and (19) are equivalent. \(\square \)
Theorem 2
With regards the assumptions of Theorem1, if there exists a \(n_{0}\in {\mathbf {N}},\) such that \(\upsilon _{n}\ge \upsilon _{n+1}\) \((n\in \mathbf {\{}n_{0},n_{0}+1,\ldots \}),\) and \(V_{\infty }=\infty ,\) then the constant factor \(k(\sigma )\) in (17), (18) and (19) is the best possible.
Proof
For \(\varepsilon \in (0,q\sigma),\) we set \(\widetilde{\sigma }=\sigma -\frac{\varepsilon }{q}(<\min \{1,\gamma \}),\) and \(\widetilde{f}=\widetilde{f}(x),x\in {\mathbf {R}}_{+},\widetilde{a}=\{\widetilde{a}_{n}\}_{n=1}^{\infty },\)
Then for \(\delta =\pm 1,\) we obtain
By (28), (16) and (14), we find
If there exists a positive constant \(K\le k(\sigma ),\) such that (17) is valid when replacing \(k(\sigma )\) to K, then in particular, we have \(\varepsilon \widetilde{I}<\varepsilon K||\widetilde{f}||_{p,\Phi _{\delta }}||\widetilde{a}||_{q,\widetilde{\Psi }},\) namely,
It follows that \(k(\sigma )\le K(\varepsilon \rightarrow 0^{+}).\) Hence, \(K=k(\sigma )\) is the best possible constant factor of (17).
The constant factor \(k(\sigma )\) in (18) [(19)] is still the best possible. Otherwise, we would reach a contradiction by (22) [(25)] that the constant factor in (17) is not the best possible. \(\square \)
For \(p>1,\) we find \(\widetilde{\Psi }^{1-p}(n)=\frac{\nu _{n}}{\widetilde{V}_{n}^{1-p\sigma }}(n\in {\mathbf {N}}),\Phi _{\delta }^{1-q}(x)=\frac{1}{x^{1-q\delta \sigma }}(x\in {\mathbf {R}}_{+}),\) and define the following real normed spaces:
Assuming that \(f\in L_{p,\Phi _{\delta }}({\mathbf {R}}_{+}),\) setting
we can rewrite (18) as \(||c||_{p,\widetilde{\Psi }^{1-p}}<k(\sigma )||f||_{p,\Phi _{\delta }}<\infty ,\) namely, \(c\in l_{p,\widetilde{\Psi }^{1-p}}.\)
Definition 1
Define a half-discrete Hardy–Hilbert-type operator \(T_{1}:L_{p,\Phi _{\delta }}({\mathbf {R}}_{+})\rightarrow l_{p,\widetilde{\Psi }^{1-p}}\) as follows: For any \(f\in L_{p,\Phi _{\delta }}({\mathbf {R}}_{+}),\) there exists a unique representation \(T_{1}f=c\in l_{p,\widetilde{\Psi }^{1-p}}.\) Define the formal inner product of \(T_{1}f\) and \(a=\{a_{n}\}_{n=1}^{\infty }\in l_{q,\widetilde{\Psi }}\) as follows:
Then we can rewrite (17) and (18) as follows:
Define the norm of operator \(T_{1}\) as follows:
Then by (32), it follows that \(||T_{1}||\le k(\sigma ).\) Since by Theorem 2, the constant factor in (32) is the best possible, we have
Assuming that \(a=\{a_{n}\}_{n=1}^{\infty }\in l_{q,\widetilde{\Psi }},\) setting
we can rewrite (19) as \(||h||_{q,\Phi _{\delta }^{1-q}}<k(\sigma )||a||_{q,\widetilde{\Psi }}<\infty ,\) namely, \(h\in L_{q,\Phi _{\delta }^{1-q}}({\mathbf {R}}_{+}).\)
Definition 2
Define a half-discrete Hardy–Hilbert-type operator \(T_{2}:l_{q,\widetilde{\Psi }}\rightarrow L_{q,\Phi _{\delta }^{1-q}}({\mathbf {R}}_{+})\) as follows: For any \(a=\{a_{n}\}_{n=1}^{\infty }\in l_{q,\widetilde{\Psi }},\) there exists a unique representation \(T_{2}a=h\in L_{q,\Phi _{\delta }^{1-q}}({\mathbf {R}}_{+}).\) Define the formal inner product of \(T_{2}a\) and \(f\in L_{p,\Phi _{\delta }}({\mathbf {R}}_{+})\) as follows:
Then we can rewrite (17) and (19) as follows:
Define the norm of operator \(T_{2}\) as follows:
Then by (36), we find \(||T_{2}||\le k(\sigma ).\) Since by Theorem 2, the constant factor in (36) is the best possible, we have
Remark
(i) For \(\delta =-1\) in (17), we obtain the following inequality with the homogeneous kernel of degree 0:
(ii) For \(\delta =1\) in (17), we obtain the following inequality with the non-homogeneous kernel:
(iii) For \(\widetilde{\mu }_{n}=0(n\in {\mathbf {N}})\) in (17), we have the following inequality:
where, the constant factor \(\frac{\rho ^{\sigma /\gamma }\pi }{2\sigma \cos (\frac{\pi \sigma }{2\gamma })}\) is still the best possible. Hence, inequality (17) is a more accurate form of (40) (for \(0<\widetilde{\mu }_{n}\le \frac{\mu _{n}}{2},n\in {\mathbf {N}}\)).
(iv) For \(\mu _{n}=1(x\in {\mathbf {R}}_{+},n\in {\mathbf {N}}\)), \(\delta =-1\) in (40), we have the following inequality:
which is a particular case of Example 3.2 in Yang and Debnath (2014) for \(\lambda =0,\lambda _{1}=-\sigma ,\lambda _{2}=\sigma \) and \(k_{\lambda }(x,n)=\arctan \rho \left( \frac{x}{n}\right) ^{\gamma }\).
We still can obtain some inequalities in Theorems 1–4, by using some particular parameters.
Conclusion
By means of the technique of real analysis, weight functions and Hermite–Hadamard’s inequality, and introducing a discrete interval variable and parameters, a more accurate half-discrete Hardy–Hilbert-type inequality related to the kernel of arc tangent function and a best possible constant factor is given. The equivalent forms and the operator expressions are also considered. The method of weight functions is very important, which is the key to help us proving the main results with the best possible constant factor. The lemmas and theorems provide an extensive account of this type of inequalities.
References
Adiyasuren V, Batbold Ts, Krnić M (2014) Half-discrete Hilbert-type inequalities with mean operators, the best constants, and applications. Appl Math Comput 231:148–159
Adiyasuren V, Batbold Ts, Krnić M (2016) Multiple Hilbert-type inequalities involving some differential operators. Banach J Math Anal 10(2):320–337
Azar LE (2008) On some extensions of Hardy–Hilbert’s inequality and applications. J Inequal Appl 2008:1–14, Article ID 546829
Hardy GH, Littlewood JE, Pólya G (1934) Inequalities. Cambridge University Press, Cambridge
He B (2015) A multiple Hilbert-type discrete inequality with a new kernel and best possible constant factor. J Math Anal Appl 431:902–990
Huang Q (2015) A new extension of Hardy–Hilbert-type inequality. J Inequal Appl 2015:397
Huang Q, Yang B (2010) On a multiple Hilbert-type integral operator and applications. J Inequal Appl 2009:1–13, Article ID 192197
Jin J, Debnath L (2010) On a Hilbert-type linear series operator and its applications. J Math Anal Appl 371(2):404–691
Krnić M, Vuković P (2012) On a multidimensional version of the Hilbert-type inequality. Anal Math 38:291–303
Kuang J (2004) Applied inequalities. Shangdong Science Technic Press, Jinan
Kuang J (2015) Real and functional analysis (continuation), vol 2. Higher Education Press, Beijing
Li Y, He B (2007) On inequalities of Hilbert’s type. Bull Aust Math Soc 76(1):1–13
Mitrinović DS, Pečarić JE, Fink AM (1991) Inequalities involving functions and their integrals and derivatives. Kluwer Academic Publishers, Boston
Yang B (1998) On Hilbert’s integral inequality. J Math Anal Appl 220:778–785
Yang B (2005) A mixed Hilbert-type inequality with a best constant factor. Int J Pure Appl Math 20(3):319–328
Yang B (2009a) Hilbert-type integral inequalities. Bentham Science Publishers Ltd., Sharjah
Yang B (2009b) The norm of operator and Hilbert-type inequalities. Science Press, Beijing
Yang B (2011) Discrete Hilbert-type inequalities. Bentham Science Publishers Ltd., Sharjah
Yang B, Debnath L (2014) Half-discrete Hilbert-type inequalities. World Scientific Publishing, Singapore
Zhong W (2008) The Hilbert-type integral inequalities with a homogeneous kernel of −λ-degree. J Inequal Appl 2008:1–12, Article ID 917392
Zhong W (2011) A mixed Hilbert-type inequality and its equivalent forms. J Guangdong Univ Educ 31(5):18–22
Zhong W (2012) A half discrete Hilbert-type inequality and its equivalent forms. J Guangdong Univ Educ 32(5):8–12
Authors' contributions
BY carried out the mathematical studies, participated in the sequence alignment and drafted the manuscript. QC participated in the design of the study and performed the numerical analysis. Both authors read and approved the final manuscript.
Acknowledgements
This work is supported by Science and Technology Planning Project of Guangdong Province (No. 2013A011403002), and Appropriative Researching Fund for Professors and Doctors, Guangdong University of Education (No. 2015ARF25). We are grateful for their help.
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
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
Chen, Q., Yang, B. On a more accurate half-discrete Hardy–Hilbert-type inequality related to the kernel of arc tangent function. SpringerPlus 5, 1317 (2016). https://doi.org/10.1186/s40064-016-2901-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-2901-2