- Research
- Open Access
- Published:
A half-discrete Hilbert-type inequality in the whole plane with the constant factor related to a cotangent function
Journal of Inequalities and Applications volume 2023, Article number: 43 (2023)
Abstract
In this work, by the introduction of some parameters, a new half-discrete kernel function in the whole plane is defined, which involves both the homogeneous and the nonhomogeneous cases. By employing some techniques of real analysis, especially the method of a weight function, a new half-discrete Hilbert-type inequality with the new kernel function, as well as its equivalent Hardy-type inequalities are established. Moreover, it is proved that the constant factors of the newly obtained inequalities are the best possible. Finally, assigning special values to the parameters, some new half-discrete Hilbert-type inequalities with special kernels are presented at the end of the paper.
1 Introduction
Suppose that \(p>1\), Θ is a measurable set, and \(f(x)\), \(\mu (x)\) are two nonnegative measurable functions defined on Θ. Define
Specifically, if \(\mu (x)\equiv 1\), then we have the abbreviations: \(\|f\|_{p}:=\|f\|_{p,\mu}\), and \(L_{p}(\Theta ):=L_{p,\mu}(\Theta )\).
In addition, let \(p>1\), \(a_{n},\nu _{n}>0\), \(n\in \Pi \subseteq \mathbb{Z}\), \(\boldsymbol{a}=\{a_{n}\}_{n\in \Pi}\). Define
Specifically, if \(\nu _{n}\equiv 1\), then we have the abbreviations: \(\|a\|_{p}:=\|a\|_{p,\nu}\), and \(l_{p}:=l_{p,\nu}\).
Consider two real-valued sequences: \(\boldsymbol{a}=\{a_{m}\}_{m=1}^{\infty}\in l_{2}\), and \(\boldsymbol{b}=\{b_{n}\}_{n=1}^{\infty}\in l_{2}\), then
where the constant factor π is the best possible. Inequality (1.1) was proposed by Hilbert in his lectures on integral equations in 1908, and Schur established the integral analogy of (1.1) in 1911, that is,
where \(f, g\in L_{2}(\mathbb{R}^{+})\), and the constant factor π is also the best possible.
Inequalities (1.1) and (1.2) are commonly named as Hilbert inequalities [1]. In recent decades, especially after the 1990s, a great many extended forms of (1.1) and (1.2) were established, such as the following one provided by Krnić and Pečarić [2]:
where \(0<\lambda \leq 4\), \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), \(\mu _{m}=m^{p(1-\lambda /2)-1}\), \(\nu _{n}=n^{q(1-\lambda /2)-1}\), and \(B(u,v)\) is the Beta function [3].
Moreover, Yang [4] established the following extension of (1.2), that is,
where \(\beta , \gamma , \lambda >0\), \(\beta +\gamma =1\), \(\mu (x)=x^{p(1-\lambda \beta )-1}\), and \(\nu (x)=x^{q(1-\lambda \gamma )-1}\).
With regard to some other extended forms of inequalities (1.1) and (1.2), we refer to [5–11]. Such inequalities as (1.3) and (1.4) are commonly known as Hilbert-type inequalities. It should be pointed out that, by introducing new kernel functions, and considering the coefficient refinement, reverse form, multidimensional extension, a large number of Hilbert-type inequalities were established in the past 20 years (see [12–23]).
It should also be pointed out that the kernel function in inequalities (1.1) and (1.2) are homogeneous [11, 12], and there exists another form of (1.1) with a nonhomogeneous kernel function [12], that is,
The discrete form of (1.5) can also be established, but its constant factor cannot be proved to be the best possible (see [12], p. 315). In 2005, Yang provided a half-discrete form of (1.5) and proved that the constant factor is the best possible, that is [24],
With regard to some other half-discrete inequalities with homogeneous and nonhomogeneous kernels, we refer to [23, 25–32].
The main objective of this work is to establish a new class of half-discrete Hilbert-type inequalities defined in the whole plane with the kernel functions involving both the homogeneous and nonhomogeneous cases, such as the following two:
where \(\mu (x)= \vert x \vert ^{p(1-\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\beta )-1}\), \(\tilde{\mu}(x)= \vert x \vert ^{p(1-3\beta /2)-1}\), and \(\tilde{\nu}_{n}= \vert n \vert ^{q(1-\beta /2)-1}\).
More generally, a new kernel function with multiple parameters, which unifies some homogeneous and nonhomogeneous cases is constructed, and then a half-discrete Hilbert-type inequality and its equivalent forms defined in the whole plane are established. The paper is organized as follows: detailed lemmas will be presented in Sect. 2, and the main results and some corollaries will be presented in Sect. 3 and Sect. 4, respectively.
2 Some lemmas
Lemma 2.1
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\alpha \in (0,1)\), \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), and α, β, γ satisfy \(\beta <\gamma \) and \(\alpha +\beta <1\). Define
where \(z\neq 1\) for \(\delta =1\), and \(z\neq -1\) for \(\delta =-1\). Let \(K(1):=\frac{\beta}{\gamma}\) for \(\delta =1\), and \(K(-1):=\frac{\beta}{\gamma}\) for \(\delta =-1\). Then,
decreases monotonically on \(\mathbb{R}^{+}\), and increases monotonically on \(\mathbb{R}^{-}\).
Proof
We first consider the case where \(\delta =1\), and \(z\in (0,1)\cup (1,\infty )\), then we have
where
We can easily obtain that
Therefore, we have \(\frac{\mathrm{d}H}{\mathrm{d}z}>0\) for \(z\in (0,1)\), and \(\frac{\mathrm{d}H}{\mathrm{d}z}<0\) for \(z\in (1,\infty )\). It follows that \(H(z)\leq H(1)=0\). By (2.3), we obtain \(\frac{\mathrm{d}K}{\mathrm{d}z}<0\) for \(z\in (0,1)\cup (1,\infty )\), and therefore \(K(z)\) decreases monotonically on \(\mathbb{R}^{+}\) for \(\delta =1\). Since \(0<\alpha <1\), it can also be obtained that \(G(z)=K(z)z^{\alpha -1}\) decreases monotonically on \(\mathbb{R}^{+}\) for \(\delta =1\).
Secondly, consider the case of \(\delta =1\), and \(z\in (-\infty ,0)\). Setting \(z=-u\), \(u\in (0,\infty )\), and observing that \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), we obtain
In view of \(0<\alpha <1\), and \(\alpha +\beta <1\), we obtain
This implies that \(L(u)\) decreases monotonically with u (\(u\in \mathbb{R}^{+}\)), and therefore \(G(z)\) increases monotonically with z (\(z\in \mathbb{R}^{-}\)).
Lemma 2.1 is proved for \(\delta =1\). Additionally, in view of \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), it follows from the above discussions that Lemma 2.1 holds obviously for the case where \(\delta =-1\). □
Lemma 2.2
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\alpha \in (0,1)\), \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), and α, β, γ satisfy \(\alpha +\beta <\gamma \). Let \(\Phi (z)=\cot z\), and \(K(z)\) be defined by (2.1). Then,
Proof
Consider the case where \(\delta =1\). Observing that \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), we obtain
Expanding \(\frac{1}{1-z^{2\gamma}}\) (\(z\in (0,1)\)) into a power series, and using the Lebesgue term-by-term integration theorem, we obtain
Observing that \(\Phi (z)=\cot z\) (\(0< z<\pi\)) can be written as the following rational fraction expansion [3]:
we obtain
Combining (2.10) and (2.11), we obtain
Similarly, we have
Inserting (2.12) and (2.13) into (2.9), we arrive at (2.8) for \(\delta =1\). Additionally, if \(\delta =-1\), then it is obvious that (2.9) is still valid owing to \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), and it follows therefore that (2.8) holds for the case where \(\delta =-1\). Lemma 2.2 is proved. □
Lemma 2.3
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\alpha \in (0,1)\), \(\tau \in \Omega \), \(\kappa \in (0,1]\cap \Omega \), \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), and α, β, γ satisfy \(\beta <\gamma \) and \(\alpha +\beta <\min \{1,\gamma \}\). Assume that \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\), \(\mathbb{Z}^{0}:=\mathbb{Z}\setminus \{0\}\), and \(K(z)\) is defined by (2.1). For a sufficiently large positive integer l, set
where \(S:= \{x: \vert x \vert ^{\operatorname{sgn}\tau}<1 \}\). Then,
Proof
Write
where \(S^{+}:=\{x: x\in S\cap \mathbb{R}^{+}\}\), \(S^{-}:=\{x: x\in S\cap \mathbb{R}^{-}\}\).
If \(x\in S^{-}\), \(n\in \mathbb{Z}^{+}\), then we have \(x^{\tau }n^{\kappa }<0\). By Lemma 2.1, it can be proved that \(G (x^{\tau }n^{\kappa } )\) decreases with n \((n\in \mathbb{Z}^{+})\). Additionally, in view of \(\kappa \in (0,1]\cap \Omega \), it can also be proved that \(\vert n \vert ^{\kappa -1-\frac{2\kappa}{ql}}\) decreases with n \((n\in \mathbb{Z}^{+})\). It follows therefore that
decreases with n \((n\in \mathbb{Z}^{+})\) for a fixed x \((x\in S^{-})\), and it implies that
Similarly, it can be obtained that
If \(\tau <0\), that is, \(\tau \in \Omega \cap \mathbb{R}^{-}\), then \(S^{-}=S\cap \mathbb{R}^{-}=(-\infty , -1)\). Let \(x^{\tau }y^{\kappa }=z\), and observe that \(x^{-\frac{\tau}{\kappa}}=- \vert x \vert ^{-\frac{\tau}{\kappa}}\) (\(x<0\)) and \(z^{\frac{1}{\kappa}-1}= \vert z \vert ^{\frac{1}{\kappa}-1}\) (\(z<0\)), then we have
It follows from Fubini’s theorem that
Inserting (2.16) back into (2.15), we obtain
Similarly, it can be obtained that \(P_{4}=P_{1}\), and
This implies that
Hence, Lemma 2.3 is proved when \(\tau <0\). If \(\tau >0\). It can also be proved that (2.14) holds true. The proof of Lemma 2.3 is completed. □
3 Main results
Theorem 3.1
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\alpha \in (0,1)\), \(\tau \in \Omega \), \(\kappa \in (0,1]\cap \Omega \), \(\beta ,\gamma \in \mathbb{R}^{+}\cap \Omega \), and α, β, γ satisfy \(\beta <\gamma \) and \(\alpha +\beta <\min \{1,\gamma \}\). Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\). Assume that \(\mu (x)= \vert x \vert ^{p(1-\alpha \tau )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\alpha \kappa )-1}\), where \(n\in \mathbb{Z}^{0}:=\mathbb{Z}\setminus \{0\}\). Let \(f(x),a_{n}\geq 0\) be such that \(f(x)\in L_{p,\mu}(\mathbb{R})\), and \(\boldsymbol{a}=\{a_{n}\}_{n\in \mathbb{Z}^{0}}\in l_{q,\nu}\). Let \(\Phi (z)=\cot z\), and \(K(z)\) be defined by (2.1). Then, the following inequalities hold and are equivalent:
where the constant \(\frac{\pi}{ \gamma} \vert \tau \vert ^{-\frac{1}{q}} \kappa ^{-\frac{1}{p}} [\Phi ( \frac{\alpha \pi}{2\gamma} )-\Phi ( \frac{(\alpha +\beta +\gamma )\pi}{2\gamma} ) ]\) in (3.1), (3.2), and (3.3) is the best possible.
Proof
Let \(\widetilde{ K} (x^{\tau }y^{\kappa} ):=K (x^{\tau }n^{ \kappa} )\), \(g(y):=a_{n}\), and \(h(y):=n\) for \(y\in [n-1,n)\), \(n\in \mathbb{Z}^{+}\). Let \(\widetilde{ K} (x^{\tau }y^{\kappa} ):=K (x^{\tau }n^{ \kappa} )\), \(g(y):=a_{n}\), and \(h(y):= \vert n \vert \) for \(y\in [n,n+1)\), \(n\in \mathbb{Z}^{-}\). By Hölder’s inequality, we have
where
Since \(\kappa \leq 1\), it can be shown that \(\vert n \vert ^{\kappa -1}\) decreases monotonically if \(n\in \mathbb{Z}^{+}\), and increases monotonically if \(n\in \mathbb{Z}^{-}\). Moreover, by Lemma 2.1, and observing that \(\tau \in \Omega \) and \(\kappa \in (0,1]\cap \Omega \), it can be proved that whether \(x\in \mathbb{R}^{+}\) or \(x\in \mathbb{R}^{-}\), \(G (x^{\tau }n^{\kappa} )\) decreases monotonically with n if \(n\in \mathbb{Z}^{+}\), and increases monotonically with n if \(n\in \mathbb{Z}^{-}\). Therefore, for a fixed x,
decreases monotonically with n if \(n\in \mathbb{Z}^{+}\), and increases monotonically with n if \(n\in \mathbb{Z}^{-}\). It follows therefore that
Supposing that \(x<0\), and observing that \(\tau \in \Omega \) and \(\kappa \in (0,1]\cap \Omega \), we obtain \(x^{-\frac{\tau}{\kappa}}=- \vert x \vert ^{-\frac{\tau}{\kappa}}\) and \(z^{\frac{1}{\kappa}-1}= \vert z \vert ^{\frac{1}{\kappa}-1}\). Letting \(x^{\tau }y^{\kappa}=z\), it follows that
By a similar discussion, it can also be proved that (3.7) is valid for \(x>0\). Inserting (2.8) into (3.7), we obtain
Additionally, it can be obtained that
Inserting (3.8) and (3.9) back into (3.4), we obtain (3.1). In what follows, it is to be proved that (3.2) and (3.3) hold under the condition that inequality (3.1) holds. In fact, Let \(\boldsymbol{b}=\{b_{n}\}_{n\in \mathbb{Z}^{0}}\), where
then,
It follows from (3.10) that (3.2) holds true. Similarly, inequality (3.3) can be proved. In fact, setting
and using (3.1), it follows that
Therefore, (3.3) follows obviously. Furthermore, it can be proved that (3.1) holds true when inequality (3.2) or (3.3) is valid. In fact, assuming (3.2) holds true, it follows from Hölder’s inequality that
Applying inequality (3.2) to (3.12), we arrive at (3.1). Similarly, if we suppose that inequality (3.3) holds true, it can also be proved that (3.1) is valid. Thus, inequalities (3.1), (3.2), and (3.3) are equivalent.
In what follows, it will be proved that the constant factors in (3.1), (3.2), and (3.3) are the best possible. In fact, suppose that there exists a constant C that satisfies
so that
Replace \(a_{n}\) and \(f(x)\) in (3.14) with \(\tilde{a}_{n}\) and \(\tilde{f}(x)\) defined in Lemma 2.3, respectively, and use (2.14), then we have
Apply Fatou’s lemma to (3.15), and use (2.8), then it follows that
It follows that
Combine (3.13) and (3.16), then we have
Hence, it is proved that the constant factor in inequality (3.1) is the best possible. Observing that inequalities (3.1), (3.2), and (3.3) are equivalent, it can also be proved that the constant factors in (3.2) and (3.3) are the best possible. Theorem 3.1 is proved. □
4 Corollaries
Let \(\gamma =3\beta \), \(\tau =\kappa =1\) in Theorem 3.1. Then, (3.1) is transformed into the following Hilbert-type inequality with a nonhomogeneous kernel.
Corollary 4.1
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\alpha \in (0,1)\), \(\beta \in \Omega \), and α, β satisfy \(0<\alpha <2\beta \) and \(\alpha +\beta <1\). Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\). Assume that \(\mu (x)= \vert x \vert ^{p(1-\alpha )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\alpha )-1}\), where \(n\in \mathbb{Z}^{0}:=\mathbb{Z}\setminus \{0\}\). Let \(f(x),a_{n}\geq 0\) be such that \(f(x)\in L_{p,\mu}(\mathbb{R})\), and \(\boldsymbol{a}=\{a_{n}\}_{n\in \mathbb{Z}^{0}}\in l_{q,\nu}\). Let \(\Phi (z)=\cot z\). Then,
where the constant factor \(\frac{\pi}{ 3\beta} [\Phi ( \frac{\alpha \pi}{6\beta} )-\Phi ( \frac{(\alpha +4\beta )\pi}{6\beta} ) ]\) in (4.1) is the best possible.
Set \(\alpha =\frac{\beta}{2}\) in Corollary 4.1, then \(\beta \in \Omega \), and \(0<\beta <\frac{2}{3}\). Since \(\Phi (\frac{\pi}{12} )=3+\sqrt{3}\), we obtain
where \(\mu (x)= \vert x \vert ^{p(1-\beta /2)-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\beta /2)-1}\). Letting \(\delta =1\), we have (1.7).
Set \(\alpha =\beta \) in Corollary 4.1, then \(\beta \in \Omega \), \(0<\beta <\frac{1}{2}\), and (4.1) reduces to the following inequality.
where \(\mu (x)= \vert x \vert ^{p(1-\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\beta )-1}\).
Set \(\alpha =\frac{3\beta}{2}\) in Corollary 4.1, then \(\beta \in \Omega \), and \(0<\beta <\frac{2}{5}\). In view of \(\Phi (\frac{11\pi}{12} )=3+\sqrt{3}\), we arrive at
where \(\mu (x)= \vert x \vert ^{p(1-3\beta /2)-1}\), \(\nu _{n}= \vert n \vert ^{q(1-3\beta /2)-1}\).
Let \(\alpha =\frac{\gamma -\beta}{2}\), \(\tau =\kappa =1\) in Theorem 3.1. Then, another Hilbert-type inequality with a nonhomogeneous kernel can be obtained.
Corollary 4.2
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\beta ,\gamma \in \Omega \), \(0<\beta <\gamma \) and \(\beta +\gamma <2\). Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\). Assume that \(\mu (x)= \vert x \vert ^{p(\beta -\gamma +2)/2-1}\), \(\nu _{n}= \vert n \vert ^{q(\beta -\gamma +2)/2-1}\), where \(n\in \mathbb{Z}^{0}:=\mathbb{Z}\setminus \{0\}\). Let \(f(x),a_{n}\geq 0\) be such that \(f(x)\in L_{p,\mu}(\mathbb{R})\), and \(\boldsymbol{a}=\{a_{n}\}_{n\in \mathbb{Z}^{0}}\in l_{q,\nu}\). Let \(\Phi (z)=\cot z\). Then,
where the constant factor \(\frac{2\pi}{ 3\beta}\Phi ( \frac{(\gamma -\beta )\pi}{ 4\gamma} )\) in (4.5) is the best possible.
Letting \(\gamma =(2k+1)\beta \), \(k\in \mathbb{N}^{+}\), we have \(0<(k+1)\beta <1\), \(\beta \in \Omega \), and (4.5) is transformed into the following inequality
where \(\mu (x)= \vert x \vert ^{p(1-k\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-k\beta )-1}\).
Setting \(k=1\) in (4.6), we can also obtain (4.3). Moreover, Setting \(k=2\) in (4.6), we have \(0<\beta <\frac{1}{3}\), \(\beta \in \Omega \). It follows that
where \(\mu (x)= \vert x \vert ^{p(1-2\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-2\beta )-1}\).
Let \(\gamma =3\beta \), \(\tau =-1\), \(\kappa =1\) in Theorem 3.1, and replace \(f(x)x^{2\beta}\) with \(f(x)\). Then, the following Hilbert-type inequality with a homogeneous kernel of degree 2β can be obtained.
Corollary 4.3
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\alpha \in (0,1)\), \(\beta \in \Omega \), and α, β satisfy \(0<\alpha <2\beta \) and \(\alpha +\beta <1\). Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\). Assume that \(\mu (x)= \vert x \vert ^{p(1+\alpha -2\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\alpha )-1}\), where \(n\in \mathbb{Z}^{0}:=\mathbb{Z}\setminus \{0\}\). Let \(f(x),a_{n}\geq 0\) be such that \(f(x)\in L_{p,\mu}(\mathbb{R})\), and \(\boldsymbol{a}=\{a_{n}\}_{n\in \mathbb{Z}^{0}}\in l_{q,\nu}\). Let \(\Phi (z)=\cot z\). Then,
where the constant factor \(\frac{\pi}{ 3\beta} [\Phi ( \frac{\alpha \pi}{6\beta} )-\Phi ( \frac{(\alpha +4\beta )\pi}{6\beta} ) ]\) in (4.8) is the best possible.
Set \(\alpha =\frac{\beta}{2}\) in Corollary 4.3, then \(\beta \in \Omega \), and \(0<\beta <\frac{2}{3}\). Since \(\Phi (\frac{\pi}{12} )=3+\sqrt{3}\), we obtain the following inequality
where \(\mu (x)= \vert x \vert ^{p(1-3\beta /2)-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\beta /2)-1}\). Letting \(\delta =-1\), we obtain inequality (1.8).
Set \(\alpha =\beta \) in Corollary 4.3, then \(\beta \in \Omega \), and \(0<\beta <\frac{1}{2}\), and (4.8) is transformed into the following inequality
where \(\mu (x)= \vert x \vert ^{p(1-\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-\beta )-1}\).
Let \(\alpha =\frac{\gamma -\beta}{2}\), \(\tau =-1\), \(\kappa =1\) in Theorem 3.1, and replace \(f(x)x^{\gamma -\beta}\) with \(f(x)\). Then, the following Hilbert-type inequality involving a homogeneous kernel with degree \(\gamma -\beta \) can be obtained.
Corollary 4.4
Let \(\delta \in \{1,-1\}\), and
Suppose that \(\beta ,\gamma \in \Omega \), \(0<\beta <\gamma \) and \(\beta +\gamma <2\). Let \(p>1\), \(\frac{1}{p}+\frac{1}{q}=1\). Assume that \(\mu (x)= \vert x \vert ^{p(\beta -\gamma +2)/2-1}\), \(\nu _{n}= \vert n \vert ^{q(\beta -\gamma +2)/2-1}\), where \(n\in \mathbb{Z}^{0}:=\mathbb{Z}\setminus \{0\}\). Let \(f(x),a_{n}\geq 0\) be such that \(f(x)\in L_{p,\mu}(\mathbb{R})\), and \(\boldsymbol{a}=\{a_{n}\}_{n\in \mathbb{Z}^{0}}\in l_{q,\nu}\). Let \(\Phi (z)=\cot z\). Then,
where the constant factor \(\frac{2\pi}{\gamma}\Phi ( \frac{(\gamma -\beta )\pi}{ 4\gamma} )\) in (4.11) is the best possible.
Letting \(\gamma =(2k+1)\beta \), \(k\in \mathbb{N}^{+}\), we have \(0<(k+1)\beta <1\), \(\beta \in \Omega \), and (4.11) is transformed into the following inequality
where \(\mu (x)= \vert x \vert ^{p(1-k\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-k\beta )-1}\).
Setting \(k=1\), and \(\delta =1\) in (4.12), (4.10) can also be obtained. Additionally, let \(k=2\) in (4.12), then \(0<\beta <\frac{1}{3}\), \(\beta \in \Omega \), and it follows that
where \(\mu (x)= \vert x \vert ^{p(1-2\beta )-1}\), \(\nu _{n}= \vert n \vert ^{q(1-2\beta )-1}\).
Availability of data and materials
Not applicable.
References
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, London (1952)
Krnić, M., Pečarić, J.: Extension of Hilbert’s inequality. J. Math. Anal. Appl. 324, 150–160 (2006)
Wang, Z.X., Guo, D.R.: Introduction to Special Functions. Higher Education Press, Beijing (2012)
Yang, B.C.: On an extension of Hilbert’s integral inequality with some parameters. Aust. J. Math. Anal. Appl. 1(1), 1–8 (2004)
Yang, B.C., Debnath, L.: On a new generalization of Hardy–Hilbert’s inequality and its application. J. Math. Anal. Appl. 23(2), 484–497 (1999)
Gao, M.Z., Yang, B.C.: On the extended Hilbert’s inequality. Proc. Am. Math. Soc. 126(3), 751–759 (1998)
You, M.H.: On a new discrete Hilbert-type inequality and applications. Math. Inequal. Appl. 18(4), 1575–1578 (2015)
You, M.H.: On an extension of the discrete Hilbert inequality and applications. J. Wuhan Univ. Natur. Sci. Ed. 67(2), 179–184 (2021)
Krnić, M., Pečarić, J., Vuković, P.: Discrete Hilbert-type inequalities with general homogeneous kernels. Rend. Circ. Mat. Palermo 60(1), 161–171 (2011)
Krnić, M., Pečarić, J., Perić, I., et al.: Advances in Hilbert-Type Inequalities. Element Press, Zagreb (2012)
Yang, B.C.: The Norm of Operator and Hilbert-Type Inequalities. Science Press, Beijing (2009)
Rassias, M.T., Yang, B.C.: On a Hilbert-type integral inequality in the whole plane related to the extended Riemann zeta function. Complex Anal. Oper. Theory 13(4), 1765–1782 (2019)
Rassias, M.T., Yang, B.C.: On an equivalent property of a reverse Hilbert-type integral inequality related to the extended Hurwitz-zeta function. J. Math. Inequal. 13(2), 315–334 (2019)
Rassias, M.T., Yang, B.C.: A Hilbert-type integral inequality in the whole plane related to the hypergeometric function and the beta function. J. Math. Anal. Appl. 428(2), 1286–1308 (2015)
Rassias, M.T., Yang, B.C., Raigorodskii, A.: On a nore accurate reverse Hilbert-type inequlity in the whole plane. J. Math. Inequal. 14(4), 1359–1374 (2020)
Hong, Y., He, B., Yang, B.C.: Necessary and sufficient conditions for the validity of Hilbert-type inequalities with a class of quasi-homogeneous kernels ans its applications in operator theory. J. Math. Inequal. 12(3), 777–788 (2018)
Liu, Q.: A Hilbert-type integral inequality under configuring free power and its applications. J. Inequal. Appl. 2019, 91 (2019). https://doi.org/10.1186/s13660-019-2039-1
You, M.H., Sun, X.: On a Hilbert-type inequality with the kernel involving extended Hardy operator. J. Math. Inequal. 15(3), 1239–1253 (2021)
You, M.H., Dong, F., He, Z.H.: A Hilbert-type inequality in the whole plane with the constant factor related to some special constants. J. Math. Inequal. 16(1), 35–50 (2022)
You, M.H.: On a class of Hilbert-type inequalities in the whole plane involving some classical kernel functions. Proc. Edinb. Math. Soc. 65(3), 833–846 (2022)
You, M.H.: A unified extension of some classical Hilbert-type inequalities and applications. Rocky Mt. J. Math. 51(5), 1865–1877 (2021)
Mo, H.M., Yang, B.C.: On a new Hilbert-type integral inequality involving the upper limit functions. J. Inequal. Appl. 2020, 5 (2020). https://doi.org/10.1186/s13660-019-2280-7
Batbold, T., Krnić, M., Pečarić, J., Vuković, P.: Further Development of Hilbert-Type Inequalities. Element Press, Zagreb (2017)
Yang, B.C.: A mixed Hilbert-type inequality with a best constant factor. Int. J. Pure Appl. Math. 20(3), 319–328 (2005)
Yang, B.C., Wu, S.H., Wang, A.Z.: On a reverse half-discrete Hardy–Hilbert’s inequality with parameters. Mathematics 7(11), 1054 (2019). https://doi.org/10.3390/math7111054
Yang, B.C., Chen, Q.: A half-discrete Hilbert-type inequality with a homogeneous kernel and an extension. J. Inequal. Appl. 2011, 124 (2011). https://doi.org/10.1186/1029-242X-2011-124
Rassias, M.T., Yang, B.C.: On half-discrete Hilbert’s inequality. Appl. Math. Comput. 220, 75–93 (2013)
Rassias, M.T., Yang, B.C., Raigorodskii, A.: On a half-discrete Hilbert-type inequality in the whole plane with the kernel of hyperbolic secant function related to the Hurwitz zeta function. In: Trigonometric Sums and Their Applications, pp. 229–259. Springer, Berlin (2020)
He, B., Yang, B.C., Chen, Q.: A new multiple half-discrete Hilbert-type inequality with parameters and a best possible constant factor. Mediterr. J. Math. (2014). https://doi.org/10.1007/s00009-014-0468-0
Krnić, M., Pečarić, J., Vuković, P.: A unified treatment of half-discrete Hilbert-type inequalities with a homogeneous kernel. Mediterr. J. Math. 10, 1697–1716 (2013)
You, M.H.: More accurate and strengthened forms of half-discrete Hilbert inequality. J. Math. Anal. Appl. 512(2), 126141 (2022). https://doi.org/10.1016/j.jmaa.2022.126141
You, M.H., Sun, X., Fan, X.S.: On a more accurate half-discrete Hilbert-type inequality involving hyperbolic functions. Open Math. 20(1), 544–559 (2022). https://doi.org/10.1515/math-2022-0041
Acknowledgements
The author is indebted to the anonymous referees for their valuable suggestions and comments that helped improve the paper significantly.
Funding
This work was supported by scientific research project of Zhejiang Provincial Department of Education (Y202148139).
Author information
Authors and Affiliations
Contributions
Minghui You carried out the results, and read and approved the current version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
You, M. A half-discrete Hilbert-type inequality in the whole plane with the constant factor related to a cotangent function. J Inequal Appl 2023, 43 (2023). https://doi.org/10.1186/s13660-023-02951-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-023-02951-z
MSC
- 26D15
- 26D10
- 47B38
Keywords
- Hilbert-type inequality
- Hardy-type inequality
- Half-discrete
- Homogeneous kernel
- Nonhomogeneous kernel