A new Ramanujan-type identity for \(L(2k+1, \chi_1)\) (Q2689950)

The paper deals with Ramanujan-type identities for \(L(2k+1, \chi_1)\) where \(\chi_1\) is the principal character modulo a prime \(p\). Theorem 1. Let \(\alpha\) and \(\beta\) be positive real numbers such that \(\alpha\beta = \pi^2/4\). For any integer \(k\geq 1\), we have \begin{multline*} (4\alpha)^{-k}\left(\frac{1}{2}\zeta(2k+1)\left(1-2^{-2k-1} \right)-\sum_{n=0}^\infty\frac{(2n+1)^{-2k-1}}{e^{2(2n+1)\alpha}+1} \right)\\ -(-4\beta)^{-k}\left(\frac{1}{2}\zeta(2k+1)\left(1-2^{-2k-1} \right)-\sum_{n=0}^\infty\frac{(2n+1)^{-2k-1}}{e^{2(2n+1)\beta}+1} \right)\\ =\sum_{j=1}^k(-1)^{j-1}(2^{2j}-1)(2^{2k+2-2j}-1)\frac{B_{2j}}{(2j)!}\frac{B_{2k+2-2j}}{(2k+2-2j)!}\alpha^{k+1-j}\beta^j. \end{multline*} Here and in the next results the \(B_{2i}\)s are the Bernoulli numbers. Theorem 2. Let \(p\) be a prime number and \(\alpha\) and \(\beta\) be positive real numbers such that \(\alpha\beta = \pi^2/p^2\). For any integer \(k\geq 1\), we have \begin{multline*} (4\alpha)^{-k}\left(\frac{p-1}{2}L(2k+1, \chi_1)-\sum_{n=1}^\infty a_n\left(\sum_{d|n}\frac{\chi_1(d)}{d^{2k+1}}\right)e^{-2n\alpha}\right)\\ -(-4\beta)^{-k}\left(\frac{p-1}{2}L(2k+1, \chi_1)-\sum_{n=1}^\infty a_n\left(\sum_{d|n}\frac{\chi_1(d)}{d^{2k+1}}\right)e^{-2n\beta}\right)\\ =\sum_{j=1}^k(-1)^{j-1}(p^{2j}-1)(p^{2k+2-2j}-1)\frac{B_{2j}}{(2j)!}\frac{B_{2k+2-2j}}{(2k+2-2j)!}\alpha^{k+1-j}\beta^j, \end{multline*} where \( L(s,\chi)\) is the Dirichlet \(L\)-function, \(a_n=1\) if \(\gcd(n, p)=1\) and \(a_n= 1-p\), otherwise. Theorem 3. Using the notations from the previous theorem, we have \[ \sum_{n=1}^\infty a_n\left(\sum_{d|n}\frac{\chi_1(d)}{d}e^{-2n\alpha}\right) - \sum_{n=1}^\infty a_n\left(\sum_{d|n}\frac{\chi_1(d)}{d}e^{-2n\beta}\right) = \frac{(p-1)^2}{2p}\log\left(\frac{\pi}{p\alpha}\right). \] Theorem 4. Let \(p\) be a prime number an define \(\sigma_{-k, \chi}(n):=\sum_{d|n}\chi(d)d^{-k}\). For any \(k\in \mathbb{N}\) and \(z\in \mathbb{H}:=\{\mathrm{Im}(z)\geq 0\}\), we have \begin{multline*} (pz)^{2k} \mathfrak{F}_{2k+1, \chi_1}\left(-\frac{1}{p^2z}\right)-\mathfrak{F}_{2k+1, \chi_1}(z) = \frac{p-1}{2}L(2k+1, \chi_1)\left[(pz)^{2k}-1\right]\\ +\frac{(2\pi i)^{2k+1}}{2zp^{2k+2}}\sum_{j=1}^k(p^{2j}-1)(p^{2k+2-2j}-1)\frac{B_{2j}}{(2j)!}\frac{B_{2k+2-2j}}{(2k+2-2j)!}(pz)^{2k+2-2j}, \end{multline*} where \[ \mathfrak{F}_{k, \chi_1}(z):=\sum_{n=1}^\infty a_n\sigma_{-k, \chi_1}(n)\exp(2\pi inz). \] Some conjectures and their consequences are stated, as well.