Bourbaki

Exercise 10, § 3

Tag 02NO, permanent. Cite it as [Bourbaki, Tag 02NO].

Spectral Theories, II, p. 312

Define the von Mangoldt function on N∗\mathbf{N}^* by Λ(n)=0\Lambda (n) = 0 if nn is not of the form pkp^k where pp is prime and k⩾1k\geqslant 1, and Λ(pk)=\Lambda (p^k) = log(pp).

Denote by ζ\zeta the holomorphic function on C−{1}\mathbf{C}-\{1\} whose restriction to the set of the s∈Cs\in \mathbf{C} such that R(s)>1\mathscr{R}(s)>1 coincides with the Riemann zeta function (exercise 16 of II, p. 266).

For x>0x >0 put

ψ(x)=∑1⩽n⩽xΛ(n) \psi (x) =\sum_{1\leqslant n\leqslant x}\Lambda (n)

a) Now prove that for all s∈Cs\in \mathbf{C} such that R(s)>1\mathscr{R}(s)>1, one has

−sζ′(s) _{-s}\zeta '(s)
∑Λ(n)n=− \sum\Lambda (n)n=-
ζ(s) \zeta (s)

n⩾1n\geqslant 1 b) One has

limx→+∞ψ(x)x=1_{x\rightarrow+\infty}\frac{\psi(x)}{x}= 1.

(Use exercise 16 of II, p. 266 and exercise 9).

c) Let π(x)\pi (x) be the number of prime numbers ⩽x\leqslant x. Now prove that

π(x)∼\pi (x)\sim log(xxxx)

when x→+∞x\rightarrow +\infty ("prime number theorem", due to Hadamard and de la Vallée Poussin).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.