On a Hilbert-type integral inequality related to the extended Hurwitz zeta function in the whole plane (Q2422322)

A few equivalent statements of a Hilbert-type integral inequality with the nonhomogeneous kernel in the whole plane are obtained. The constant factor related to the extended Hurwitz zeta function is proved to be the best possible. Let us assume that \(p > 1\), \(\frac 1p + \frac 1q =1\), \(a,b \not=0\), \(\sigma \in \mathbb{R}\), \(\gamma > 0\), \(\sigma, \mu > -\beta-1\), \(\sigma +\mu =\lambda\) and \[ K_{\lambda}(\sigma) := \frac{\Gamma(\gamma+1)}{|a|^{1/q} |b|^{1/p}} (\zeta (\gamma+1, \sigma + \beta +1) +\zeta(\gamma+1, \mu +\beta+1)), \] where \(\zeta\) is the extended Hurwitz zeta function \(\zeta(s,c):=\sum_{k=0}^{\infty} \frac{1}{(k+c)^s}\), Re\((s)>1\), \(c>0\). Theorem. The following statements (i) and (ii) are equivalent: (i) For any nonnegative function \(f\) satisfying \(0< \int_{-\infty}^{\infty} \left( \frac{f(x)}{e^{\sigma a x}}\right)^p dx < \infty \) we have the following inequality: \[ \left[ \int_{-\infty}^{\infty} e^{p\sigma by} \left(\int_{-\infty}^{\infty} \frac{|ax+by|^{\gamma}(\min\{e^{ax+by},1\})^{1+\beta}}{|e^{ax+by} -1|(\max\{e^{ax+by},1\})^{\lambda+\beta}} f(x) dx\right)^p dy\right]^{\frac 1p} \] \[ \leq K_{\lambda}(\sigma) \left[ \int_{-\infty}^{\infty} \left( \frac{f(x)}{e^{\sigma ax}}\right)^p dx \right]^{\frac 1p}. \] (ii) For any nonnegative functions \(f\) and \(g\) satisfying \(0< \int_{-\infty}^{\infty} \left( \frac{f(x)}{e^{\sigma a x}}\right)^p dx < \infty \) and \(0< \int_{-\infty}^{\infty} \left( \frac{g(y)}{e^{\sigma by}}\right)^q dy < \infty \) we have the following inequality: \[ \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} \frac{|ax+by|^{\gamma}(\min\{e^{ax+by},1\})^{1+\beta}}{|e^{ax+by} -1|(\max\{e^{ax+by},1\})^{\lambda+\beta}} f(x) g(y) dx dy \] \[ \leq K_{\lambda}(\sigma) \left[ \int_{-\infty}^{\infty} \left( \frac{f(x)}{e^{\sigma ax}}\right)^p dx \right]^{\frac 1p} \left[ \int_{-\infty}^{\infty} \left( \frac{g(y)}{e^{\sigma by}}\right)^q dy \right]^{\frac 1q}. \] Moreover, the constant factor \(K_{\lambda}(\sigma)\) in the above-mentioned inequalities is the best possible. In particular, for \(\lambda =-\beta=1\), \(\sigma=\frac 1p \), \(\mu=\frac 1q\), \[ \tilde{K}_{1}(\sigma) := \frac{\Gamma(\gamma+1)}{|a|^{1/q} |b|^{1/p}} (\zeta (\gamma+1, \frac 1p) +\zeta(\gamma+1, \frac 1q)), \] we have the following equivalent inequalities with the best possible constant factor \( \tilde{K}_{1}(\sigma)\): \[ \left[ \int_{-\infty}^{\infty} e^{by} \left(\int_{-\infty}^{\infty} \frac{|ax+by|^{\gamma}}{|e^{ax+by}-1|} f(x) dx\right)^p dy\right]^{\frac 1p} \leq \tilde{K}_{1}(\sigma) \left[ \int_{-\infty}^{\infty} \frac{f^p(x)}{e^{ax}} dx \right]^{\frac 1p}, \] \[ \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} \frac{|ax+by|^{\gamma}}{|e^{ax+by} -1|} f(x) g(y) dx dy \] \[ \leq \tilde{K}_{1}(\sigma) \left[ \int_{-\infty}^{\infty} \frac{f^p(x)}{e^{ax}} dx \right]^{\frac 1p} \left[ \int_{-\infty}^{\infty} \frac{g^q(y)}{e^{(q-1) by}} dy \right]^{\frac 1q}. \]