On a logarithmic sum related to a natural quadratic sieve
We study the sum Σq(U)=∑d,e≤U(de,q)=1[d,e]μ(d)μ(e)log(dU)log(eU), U>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) is asymptotic to log(U). In this article, we discover not only that Σq(U)∼φ(q)qlog(U) for all q∈Z>0, but also we find a closed-form expression for its secondary order term of Σq(U), a constant sq, which we are able to estimate explicitly when q=v∈{1,2}. We thus have Σv(U)=φ(v)vlog(U)−sv+Ov∗(log(U)Kv), for some explicit constant Kv>0, where s1=0.60731… and s2=1.4728…. As an application, we show how our result gives an explicit version of the Brun-Titchmarsh theorem within a range.