# Mangoldt summatory function

It is defined thus:

 $\psi(x)=\sum_{r\leq x}\Lambda(r)$

The Mangoldt summatory function is valid for all positive real x.

Note that we do not have to worry that the inequality above is ambiguous, because $\Lambda(x)$ is only non-zero for natural $x$. So no matter whether we take it to mean r is real, integer or natural, the result is the same because we just get a lot of zeros added to our answer.

The prime number theorem, which states:

 $\pi(x)\sim\frac{x}{\ln(x)}$
 $\psi(x)\sim x$

We can also define a “smoothing function” for the summatory function, defined as:

 $\psi_{1}(x)=\int_{0}^{x}\psi(t)dt$

and then the prime number theorem is also equivalent to:

 $\psi_{1}(x)\sim\frac{1}{2}x^{2}$

which turns out to be easier to work with than the original form.

Title Mangoldt summatory function MangoldtSummatoryFunction 2013-03-22 13:27:16 2013-03-22 13:27:16 mathcam (2727) mathcam (2727) 9 mathcam (2727) Definition msc 11A41 von Mangoldt summatory function ChebyshevFunctions