Documentation
Number Theory
Analytic Number Theory
Chebyshev's functions

Chebyshev Functions

Chebyshev's Theta-function

Definition

If x>0x>0 we define Chebyshev's varthetavartheta-function by the equation

ϑ(x)=pxlogp \vartheta(x)=\sum_{p \le x} \log p

where pp runs over all primes \le x

Similary we have another function that is related to the theta function.

Chebyshev's Psi-function

Definition

For x>0x>0 we define Chebyshev's ψ\psi-function by the formula

ψ(x)=nxΛ(n) \psi(x)=\sum_{n \le x} \Lambda(n)

where Λ\Lambda is the Mangoldt function.

Now with our definitions we can combine these two functions as follows,

since Λ(n)=0\Lambda(n) = 0 unless nn is a prime power we can write the definition of ψ(x)\psi(x) as,

ψ(x)=nxΛ(n)=m=1px1/mlogp \psi(x) = \sum_{n \le x} \Lambda(n) = \sum_{m=1}^{\infty} \sum_{p \le x^{1/m}} \log p

Now you might notice that the sum on mm is in fact a finite sum. Surely enough, the sum on pp is empty if x1/m<2x^{1/m} < 2, that is, if (1/m)logx<log2(1/m) \log x < \log 2, or if,

m>logxlog2=log2(x). m > \frac{\log x}{\log 2} = \log_{2}(x).

Therefore we get,

ψ(x)=mlog2(x)px1/mlogp \psi(x) = \sum_{m \le \log_2(x)}\sum_{p \le x^{1/m}} \log p

Now we can use the theta function to finish it off and get,

ψ(x)=mlog2(x)px1/mlogp=mlog2xϑ(x1/m) \psi(x) = \sum_{m \le \log_2(x)}\sum_{p \le x^{1/m}} \log p = \sum_{m \le \log_2 x} \vartheta(x^{1/m})