3
$\begingroup$

I'm reading Selberg, A. (1949). An Elementary Proof of the Prime-Number Theorem After deriving his formula: $$\sum_{p \leq x} \log^2 p + \sum_{pq \leq x} \log p \log q = 2x\log x + O(x)$$ The author states that "By partial summation we get from (formula above)" to: $$\sum_{p \leq x} \log p + \sum_{pq \leq x} \frac{\log p \log q}{\log pq} = 2x + O(\frac{x}{\log x})$$ I don't understand how to derive this by partial sums but since I know that: $$\sum_{p \leq x} \log^2 p = \log x \sum_{p \leq x} \log p + O(x)$$ I figure that I need the equation in question $$\sum_{pq \leq x} \log p\log q \frac{\log x}{\log pq} = \sum_{pq \leq x} \log p\log q + O(x)$$ problem being that I am unable to prove this so please help. (Also if unclear note that $p$ and $q$ denote primes being not necessarily different)

$\endgroup$
2
$\begingroup$

If we define \begin{align} f(n) &= \begin{cases} (\log n)^2 &\text{if } n \text{ is prime}, \\ \quad 0 &\text{otherwise}, \end{cases} \\ g(n) &= \sum_{pq = n} \log p\log q\,, \end{align} and $h(n) = f(n) + g(n)$, the formula we start with is $$H(x) := \sum_{n \leqslant x} h(n) = 2x\log x + O(x)\,. \tag{$\ast$}$$ Using Abel's formula we obtain \begin{align} \sum_{p \leqslant x} \log p + \sum_{pq \leqslant x} \frac{\log p\log q}{\log (pq)} &= \sum_{2 \leqslant n \leqslant x} \frac{h(n)}{\log n} \\ &= \frac{H(x)}{\log x} + \int_2^x \frac{H(t)}{t(\log t)^2}\,dt \\ &= 2x + O\biggl(\frac{x}{\log x}\biggr) + 2\int_2^x \frac{dt}{\log t} + \int_2^x O\biggl(\frac{1}{(\log t)^2}\biggr)\,dt \\ &= 2x + 2\operatorname{Li}(x) + O\biggl(\frac{x}{\log x}\biggr) + O\biggl(\frac{x}{(\log x)^2}\biggr) \\ &= 2x + O\biggl(\frac{x}{\log x}\biggr)\,. \end{align} The same technique gives the results for the component parts, but without the prime number theorem we cannot yet explicitly state the asymptotics of each part. Using Chebyshev's result that $\vartheta(x) \in \Theta(x)$ we get \begin{align} F(x) &= \sum_{n \leqslant x} f(n) \\ &= \sum_{p \leqslant x} (\log p)\cdot (\log p) \\ &= \vartheta(x)\log x - \int_1^x \frac{\vartheta(t)}{t}\,dt \\ &= \vartheta(x)\log x + \int_1^x O(1)\,dt \\ &= \vartheta(x)\log x + O(x) \end{align} and, since $G(x) \in O(x\log x)$ by this and $(\ast)$, \begin{align} \sum_{n \leqslant x} \frac{g(n)}{\log n} &= \frac{G(x)}{\log x} + \int_2^x \frac{G(t)}{t(\log t)^2}\,dt \\ &= \frac{G(x)}{\log x} + O\biggl(\frac{x}{\log x}\biggr)\,, \end{align} which is indeed $$\sum_{pq\leqslant x} \log p\log q\frac{\log x}{\log (pq)} = \sum_{pq \leqslant x} \log p\log q + O(x)\,.$$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.