On the mean square value of the Hurwitz zeta-function (Q1320960): Difference between revisions

For \(0<\alpha<1\), let \(\zeta(s,\alpha)\) be the Hurwitz zeta-function defined by \(\zeta(s,\alpha)= \sum_{n=0}^ \infty (n+\alpha)^{-s}\) for \(\text{Re}(s)>1\) and its analytic extension, \(\zeta_ 1(s,\alpha)= \zeta(s,\alpha) -\alpha^{-s}\). The main purpose of this paper is using the analytic method to prove the following three results: Theorem 1. For any real number \(t>2\), the asymptotic formula \[ \int_ 0^ 1 \zeta_ 1(\sigma+it, \alpha)\;\zeta_ 1(1- \sigma-it,\alpha)\;d\alpha=\ln \biggl({t\over {2\pi}} \biggr)+\gamma- {{\zeta(\sigma+it)} \over{\sigma+it}}- {{\zeta(1-\sigma-it)} \over {1-\sigma-it}}+ O\biggl( {1\over t}\biggr) \] holds uniformly in \(0<\sigma<1\), where \(\zeta(s)\) is the Riemann zeta-function, \(\gamma\) is the Euler constant. Theorem 2. For real numbers \(0<\sigma_ 1,\sigma_ 2<1\) with \(\sigma_ 1+ \sigma_ 2\neq 1\) and for any real number \(t>2\), the asymptotic formula \[ \begin{multlined} \int_ 0^ 1 \zeta_ 1(\sigma_ 1+it,\alpha)\;\zeta_ 1(\sigma_ 2-it,\alpha) d\alpha=\\ {{2\Gamma(1- \sigma_ 1-it) \Gamma(1-\sigma_ 2+it)} \over {(2\pi)^{2-\sigma_ 1- \sigma_ 2}}}\times \zeta(2-\sigma_ 1-\sigma_ 2) \cos\biggl( {\pi\over 2}(\sigma_ 1- \sigma_ 2)+ \pi it\biggr)-\\ {1\over 1-\sigma_ 1- \sigma_ 2} - {{\zeta(\sigma_ 2-it)}\over {1-\sigma_ 1- it}}- {{\zeta(\sigma_ 1+it)} \over {1-\sigma_ 2+it}}+ O\biggl( {1\over t}\biggr)\end{multlined} \] holds uniformly in \(\sigma_ 1\) and \(\sigma_ 2\). Theorem 3. We have \[ \int_ 0^ 1 \zeta_ 1^ 2 \biggl( {1\over 2},\alpha\biggr)d\alpha= 4-4\zeta\biggl({1\over 2}\biggr) -\ln(8\pi)- 2 \sum_{n=1}^ \infty {{\zeta(n+1/2)-1} \over {n+1/2}}. \] These theorems are an improvement of an earlier result of the author [Ill. J. Math. 35, 569-576 (1991; Zbl 0713.11062)].