On a logarithmic sum related to a natural quadratic sieve

preprint2021arXivOpen access

Abstract

We study the sum Σq(U)=∑d,e≤U(de,q)=1μ(d)μ(e)[d,e]log⁡(Ud)log⁡(Ue)Σ_q(U)=\sum_{\substack{d,e\leq U\\(de,q)=1}}\frac{μ(d)μ(e)}{[d,e]}\log\left(\frac{U}{d}\right)\log\left(\frac{U}{e}\right), U>1U>1, so that a continuous, monotonic and explicit version of Selberg's sieve can be stated. Thanks to Barban-Vehov (1968), Motohashi (1974) and Graham (1978), it has been long known, but never explicitly, that Σ1(U)Σ_1(U) is asymptotic to log⁡(U)\log(U). In this article, we discover not only that Σq(U)∼qφ(q)log⁡(U)Σ_q(U)\sim\frac{q}{φ(q)}\log(U) for all q∈Z>0q\in\mathbb{Z}_{>0}, but also we find a closed-form expression for its secondary order term of Σq(U)Σ_q(U), a constant sq\mathfrak{s}_q, which we are able to estimate explicitly when q=v∈{1,2}q=v\in\{1,2\}. We thus have Σv(U)=vφ(v)log⁡(U)−sv+Ov∗(Kvlog⁡(U))Σ_v(U)= \frac{v}{φ(v)}\log(U)-\mathfrak{s}_v+O_v^*\left(\frac{K_v}{\log(U)}\right), for some explicit constant Kv>0K_v > 0, where s1=0.60731…\mathfrak{s}_1=0.60731\ldots and s2=1.4728…\mathfrak{s}_2=1.4728\ldots. As an application, we show how our result gives an explicit version of the Brun-Titchmarsh theorem within a range.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.