We study the sum $\Sigma_q(U)=\sum_{\substack{d,e\leq U\(de,q)=1}}\frac{\mu(d)\mu(e)}{[d,e]}\log\left(\frac{U}{d}\right)\log\left(\frac{U}{e}\right)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 is asymptotic to . In this article, we discover not only that for all , but also we find a closed-form expression for its secondary order term of , a constant , which we are able to estimate explicitly when . We thus have $\Sigma_v(U)= \frac{v}{\varphi(v)}\log(U)-\mathfrak{s}_v+O_v^*\left(\frac{K_v}{\log(U)}\right)$, for some explicit constant , where and . As an application, we show how our result gives an explicit version of the Brun-Titchmarsh theorem within a range.

生成讲解博客的中文版本

生成AI智能校验的中文版本