Mangoldt summatory function is O⁢(x)


Theorem 1

ψ⁢(x)=O⁢(x), in other , ψ⁢(x)x is bounded.

Proof.

ψ⁢(x)=∑1xΛ⁢(n)=∑p⁢ primep≤x⌊logp⁡x⌋⁢ln⁡p=∑p⁢ primep≤x⌊ln⁡xln⁡p⌋⁢ln⁡p=∑p⁢ primep≤x⌊ln⁡xln⁡p⌋⁢ln⁡p+∑p⁢ primex<p≤xln⁡p

since 1≤ln⁡xln⁡p<2 if p>x. Continuing, we have

∑p⁢ primep≤x⌊ln⁡xln⁡p⌋⁢ln⁡p+∑p⁢ primex<p≤xln⁡p≤x⁢ln⁡x+π⁢(x)⁢ln⁡x≤x⁢ln⁡x+8⁢x⁢ln⁡2=O⁢(x)

Note that π⁢(x)⁢ln⁡x≤8⁢x⁢ln⁡2 by Chebyshev’s bounds on π⁢(x) (http://planetmath.org/BoundsOnPin).

Title Mangoldt summatory function is O⁢(x)
Canonical name MangoldtSummatoryFunctionIsOx
Date of creation 2013-03-22 17:42:59
Last modified on 2013-03-22 17:42:59
Owner rm50 (10146)
Last modified by rm50 (10146)
Numerical id 5
Author rm50 (10146)
Entry type Theorem
Classification msc 11A41