English

A smooth summation of Ramanujan expansions

Number Theory 2023-06-27 v9

Abstract

We studied Ramanujan series q=1G(q)cq(a)\sum_{q=1}^{\infty}G(q)c_q(a), where cq(a)c_q(a) is the well-known Ramanujan sum and the complex numbers G(q)G(q), as qq\inN, are the Ramanujan coefficients; of course, we mean, implicitly, that the series converges pointwise, in all natural aa, as its partial sums qQG(q)cq(a)\sum_{q\le Q}G(q)c_q(a) converge in C, when QQ\to \infty. Motivated by our recent study of infinite and finite Euler products for the Ramanujan series, in which we assumed GG multiplicative, we look at a kind of (partial) smooth summations. These are q(P)G(q)cq(a)\sum_{q\in (P)}G(q)c_q(a), where the indices qq in (P)(P) means that all prime factors pp of qq are up to PP (fixed); then, we pass to the limit over PP\to \infty. Notice that this kind of partial sums over PP-smooth numbers (i.e., in (P)(P), see the above) make up an infinite sum, themselves, P\forall P\inP fixed, in general; however, our summands contain cq(a)c_q(a), that has a vertical limit, i.e. it's supported over indices qq\inN for which the pp-adic valuations of, resp., qq and aa, namely vp(q)v_p(q), resp., vp(a)v_p(a) satisfy vp(q)vp(a)+1v_p(q)\le v_p(a)+1 and this is true pP\forall p\le P (PP's fixed). In other words, G:\forall G:N \rightarrow C, here, q(P)G(q)cq(a)\sum_{q\in (P)}G(q)c_q(a) is a finite sum, a\forall a\in N, P\forall P\in P fixed: we will call q=1G(q)cq(a)\sum_{q=1}^{\infty}G(q)c_q(a) a 'smooth Ramanujan series' if and only if limPq(P)G(q)cq(a)\exists \lim_P \sum_{q\in (P)}G(q)c_q(a)\in C, a\forall a\in N. Notice a very important property : smooth Ramanujan series and Ramanujan series need not to be the same. We prove : smooth Ramanujan series converge under Wintner Assumption. (This is not necessarily true for Ramanujan series.) We apply this to correlations and to the Hardy--Littlewood "2k2k-Twin Primes" Conjecture.

Keywords

Cite

@article{arxiv.2012.11231,
  title  = {A smooth summation of Ramanujan expansions},
  author = {Giovanni Coppola},
  journal= {arXiv preprint arXiv:2012.11231},
  year   = {2023}
}

Comments

F (IPP) with smooth-supported Win F have the (REEF) : see section 6