Weighted divisor sums and Bessel function series. IV
type: Item
instance of: scholarly article
title: Weighted divisor sums and Bessel function series. IV
zbMATH Open document ID: 1270.11098
author: Yanyan Li
published in: The Ramanujan Journal
publication date: 2013-01-02T00:00:00Z
review text: The paper is devoted to an identity published in Ramanujan's Lost Notebook (p. 335) involving a finite trigonometric sum and a doubly infinite series of Bessel functions, connected with the classical divisor and circle problems. First the result from the notebook is generalized to an identity for Riesz sums (taking \(\nu=1\) below, the original identity is recovered): Theorem 2.1. Let \(x>0,0<\theta<1\) and \(\nu\) be a positive integer, then \[ \begin{align*}{\sideset\and {'}\to\sum_{n\leq x}(x-n)^{\nu-1}&\sum_{r|n}\,\sin{(2\pi r\theta)}= {\pi x^{\nu}\over\nu}\left({1\over 2}-\theta\right) -{x^{\nu-1}\over 4}\cot{(\pi\theta)}+\cr &\qquad +{(\nu-1)!x^{\nu/2}\over 2(2\pi)^{\nu-1}}\sum_{m=1}^{\infty}\sum_{n=0}^{\infty} \left\{{J_{\nu}(4\pi\sqrt{m(n+\theta)x}\over (m(n+\theta))^{\nu/2}}-{J_{\nu}(4\pi\sqrt{m(n+1-\theta)x}\over (m(n+1-\theta))^{\nu/2}}\right\}. \cr}\end{align*} \] (\(\sideset\and {'}\to\sum\): if \(x\) is an integer, the term with \(n=x\) is given a factor \(1/2\) in the sum) Furthermore, if \(\chi\) is a Dirichlet character, denote by \(d_{\chi}\) \[ d_{\chi}(n)=\sum_{d\mid n}^{}\chi(d), \] then the authors prove that Theorem 2.1 is equivalent to Theorem 2.2. Let \(q\) be a positive integer and let \(\chi\) be an odd primitive character modulo \(q\), then for any \(x>0\) \[ \begin{align*}{\sideset\and {'}\to\sum_{n\leq x} d_{\chi}(n)(x-n)^{\nu-1}=&{x^{\nu}\over\nu}L(1,\chi)+{i\tau(\chi)x^{\nu-1}\over 2\pi} L(1, \overline{\chi})+\cr &\qquad +{iq^{\nu/2}(\nu-1)!\over (2\pi)^{\nu-1}\tau(\overline{\chi})}\sum_{n=1}^{\infty}\,d_{\overline{\chi}} \left({x\over n}\right)^{\nu/2} J_{\nu}(4\pi\sqrt{nx/q}).\cr}\end{align*} \] (here \(\tau(\chi):=\sum_{k=1}^{q-1}\,\chi(k)\exp{(2\pi ik/q)}\), the Gauss sum) Moreover, the authors generalize the formula to a trigonometric analogon: Theorem 4.1. Let \(J_1(x)\) denote the ordinary Bessel function of order \(1\); if \(0<\theta,\sigma<1\) and \(x>0\), then \[ \begin{align*}{\sideset\and {'}\to\sum_{mn\leq x} \cos{(2\pi m…
reviewed by: Marcel G. de Bruin
Mathematics Subject Classification ID: 11P21
Mathematics Subject Classification ID: 11E25
Mathematics Subject Classification ID: 11L03
Mathematics Subject Classification ID: 11L05
Mathematics Subject Classification ID: 11M06
Mathematics Subject Classification ID: 33C10
zbMATH DE Number: 6120463
zbMATH Keywords: circle problem
zbMATH Keywords: Bessel functions
zbMATH Keywords: Riesz sums
zbMATH Keywords: weighted divisor sums
zbMATH Keywords: Dirichlet \(L\)-series
zbMATH Keywords: Ramanujan's Lost Notebook
MaRDI profile type: Publication
full work available at URL: s11139-011-9352-8
OpenAlex ID: W2135211683
cites work: Identities Involving the Coefficients of a Class of Dirichlet Series. I
cites work: Character analogues of the Poisson and Euler-MacLaurin summation formulas with applications
cites work: Weighted divisor sums and Bessel function series
cites work: Weighted divisor sums and Bessel function series. II
cites work: Weighted divisor sums and Bessel function series. III
cites work: Circle and divisor problems, and double series of Bessel functions
cites work: Hecke's functional equation and arithmetical identities
cites work: Functional equations with multiple gamma factors and the average order of arithmetical functions
cites work: Q4520255
cites work: Q4275389
cites work: Q5536720
cites work: Q3941473
cites work: Q4040264
cites work: Q5562752
DOI: 10.1007/S11139-011-9352-8
description: scientific article; zbMATH DE number 6120463