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)
2026-03-30 00:04:14.1774829054
Help proving $\sum_{pq \leq x} \log p\log q \frac{\log x}{\log pq} = \sum_{pq \leq x} \log p\log q + O(x)$
646 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in SEQUENCES-AND-SERIES
- How to show that $k < m_1+2$?
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Negative Countdown
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Show that the sequence is bounded below 3
- A particular exercise on convergence of recursive sequence
- Proving whether function-series $f_n(x) = \frac{(-1)^nx}n$
- Powers of a simple matrix and Catalan numbers
- Convergence of a rational sequence to a irrational limit
- studying the convergence of a series:
Related Questions in NUMBER-THEORY
- Maximum number of guaranteed coins to get in a "30 coins in 3 boxes" puzzle
- Interesting number theoretical game
- Show that $(x,y,z)$ is a primitive Pythagorean triple then either $x$ or $y$ is divisible by $3$.
- About polynomial value being perfect power.
- Name of Theorem for Coloring of $\{1, \dots, n\}$
- Reciprocal-totient function, in term of the totient function?
- What is the smallest integer $N>2$, such that $x^5+y^5 = N$ has a rational solution?
- Integer from base 10 to base 2
- How do I show that any natural number of this expression is a natural linear combination?
- Counting the number of solutions of the congruence $x^k\equiv h$ (mod q)
Related Questions in PRIME-NUMBERS
- New prime number
- Confirmation of Proof: $\forall n \in \mathbb{N}, \ \pi (n) \geqslant \frac{\log n}{2\log 2}$
- How do I prove this question involving primes?
- What exactly is the definition of Carmichael numbers?
- I'm having a problem interpreting and starting this problem with primes.
- Decimal expansion of $\frac{1}{p}$: what is its period?
- Multiplying prime numbers
- Find the number of relatively prime numbers from $10$ to $100$
- A congruence with the Euler's totient function and sum of divisors function
- Squares of two coprime numbers
Related Questions in ANALYTIC-NUMBER-THEORY
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Is there a trigonometric identity that implies the Riemann Hypothesis?
- question regarding nth prime related to Bertrands postulate.
- Alternating sequence of ascending power of 2
- Reference for proof of Landau's prime ideal theorem (English)
- Does converge $\sum_{n=2}^\infty\frac{1}{\varphi(p_n-2)-1+p_n}$, where $\varphi(n)$ is the Euler's totient function and $p_n$ the $n$th prime number?
- On the behaviour of $\frac{1}{N}\sum_{k=1}^N\frac{\pi(\varphi(k)+N)}{\varphi(\pi(k)+N)}$ as $N\to\infty$
- Analytic function to find k-almost primes from prime factorization
- Easy way to prove that the number of primes up to $n$ is $\Omega(n^{\epsilon})$
- Eisenstein Series, discriminant and cusp forms
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
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)\,.$$