von Mangoldt function

{{short description|Function on an integer n which is log(p) if n equals p^k and zero otherwise}}

In mathematics, the von Mangoldt function is an arithmetic function named after German mathematician Hans von Mangoldt. It is an example of an important arithmetic function that is neither multiplicative nor additive.

Definition

The von Mangoldt function, denoted by {{math|Λ(n)}}, is defined as

: $\Lambda(n) = \begin{cases} \log p & \text{if }n=p^k \text{ for some prime } p \text{ and integer } k \ge 1, \\ 0 & \text{otherwise.} \end{cases}$

The values of {{math|Λ(n)}} for the first nine positive integers (i.e. natural numbers) are

: $0 , \log 2 , \log 3 , \log 2 , \log 5 , 0 , \log 7 , \log 2 , \log 3,$

which is related to {{OEIS|id=A014963}}.

Properties

The von Mangoldt function satisfies the identityApostol (1976) p.32Tenenbaum (1995) p.30

: $\log(n) = \sum_{d \mid n} \Lambda(d).$

The sum is taken over all integers {{mvar|d}} that divide {{mvar|n}}. This is proved by the fundamental theorem of arithmetic, since the terms that are not powers of primes are equal to {{math|0}}. For example, consider the case {{math|n {{=}} 12 {{=}} 2² × 3}}. Then

: $\begin{align}
\sum_{d \mid 12} \Lambda(d) &= \Lambda(1) + \Lambda(2) + \Lambda(3) + \Lambda(4) + \Lambda(6) + \Lambda(12) \\
&= \Lambda(1) + \Lambda(2) + \Lambda(3) + \Lambda \left (2^2 \right ) + \Lambda(2 \times 3) + \Lambda \left (2^2 \times 3 \right) \\
&= 0 + \log(2) + \log(3) + \log(2) + 0 + 0 \\
&=\log (2 \times 3 \times 2) \\
&= \log(12).
\end{align}$

By Möbius inversion, we have

: $\Lambda (n) = \sum_{d \mid n} \mu(d) \log\left(\frac{n}{d}\right)$

and using the product rule for the logarithm we getApostol (1976) p.33{{cite book | last=Schroeder | first=Manfred R. | title=Number theory in science and communication. With applications in cryptography, physics, digital information, computing, and self-similarity | edition=3rd | zbl=0997.11501 | series=Springer Series in Information Sciences | volume=7 | location=Berlin | publisher=Springer-Verlag | year=1997 | isbn=3-540-62006-0 }}

: $\Lambda (n) = - \sum_{d \mid n} \mu(d) \log(d) \ .$

For all $x\ge 1$ , we haveApostol (1976) p.88

: $\sum_{n\le x}\frac{\Lambda(n)}{n}=\log x+O(1).$

Also, there exist positive constants {{math|c₁}} and {{math|c₂}} such that

: $\psi(x)\le c_1x,$

for all $x\ge 1$ , and

: $\psi(x)\ge c_2x,$

for all sufficiently large {{math|x}}.

Dirichlet series

The von Mangoldt function plays an important role in the theory of Dirichlet series, and in particular, the Riemann zeta function. For example, one has

: $\log \zeta(s)=\sum_{n=2}^\infty \frac{\Lambda(n)}{\log(n)}\,\frac{1}{n^s}, \qquad \text{Re}(s) > 1.$

The logarithmic derivative is thenHardy & Wright (2008) §17.7, Theorem 294

: $\frac {\zeta^\prime(s)}{\zeta(s)} = -\sum_{n=1}^\infty \frac{\Lambda(n)}{n^s}.$

These are special cases of a more general relation on Dirichlet series. If one has

: $F(s) =\sum_{n=1}^\infty \frac{f(n)}{n^s}$

for a completely multiplicative function {{math|f(n)}}, and the series converges for {{math|Re(s) > σ₀}}, then

: $\frac {F^\prime(s)}{F(s)} = - \sum_{n=1}^\infty \frac{f(n)\Lambda(n)}{n^s}$

converges for {{math|Re(s) > σ₀}}.

Chebyshev function

The second Chebyshev function ψ(x) is the summatory function of the von Mangoldt function:Apostol (1976) p.246

: $\psi(x) = \sum_{p^k\le x}\log p=\sum_{n \leq x} \Lambda(n) \ .$

It was introduced by Pafnuty Chebyshev who used it to show that the true order of the prime counting function $\pi(x)$ is $x/\log x$ . Von Mangoldt provided a rigorous proof of an explicit formula for {{math|ψ(x)}} involving a sum over the non-trivial zeros of the Riemann zeta function. This was an important part of the first proof of the prime number theorem.

The Mellin transform of the Chebyshev function can be found by applying Perron's formula:

: $\frac{\zeta^\prime(s)}{\zeta(s)} = - s\int_1^\infty \frac{\psi(x)}{x^{s+1}}\,dx$

which holds for {{math|Re(s) > 1}}.

Exponential series

File:Mangoldt-series.svg

Hardy and Littlewood examined the series{{Cite journal |first=G. H. |last=Hardy |name-list-style=amp |first2=J. E. |last2=Littlewood |url=http://www.ift.uni.wroc.pl/%7Emwolf/Hardy_Littlewood%20zeta.pdf |title=Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes |journal=Acta Mathematica |volume=41 |year=1916 |pages=119–196 |doi=10.1007/BF02422942 |access-date=2014-07-03 |archive-url=https://web.archive.org/web/20120207110455/http://www.ift.uni.wroc.pl/%7Emwolf/Hardy_Littlewood%20zeta.pdf |archive-date=2012-02-07 |url-status=dead |doi-access=free }}

: $F(y)=\sum_{n=2}^\infty \left(\Lambda(n)-1\right) e^{-ny}$

in the limit {{math|y → 0⁺}}. Assuming the Riemann hypothesis, they demonstrate that

: $F(y)=O\left(\frac{1}{\sqrt{y}}\right)\quad \text{and}\quad F(y)=\Omega_\pm\left(\frac{1}{\sqrt{y}}\right)$

In particular this function is oscillatory with diverging oscillations: there exists a value {{math|K > 0}} such that both inequalities

: $F(y)< -\frac{K}{\sqrt{y}}, \quad \text{ and } \quad F(z)> \frac{K}{\sqrt{z}}$

hold infinitely often in any neighbourhood of 0. The graphic to the right indicates that this behaviour is not at first numerically obvious: the oscillations are not clearly seen until the series is summed in excess of 100 million terms, and are only readily visible when {{math|y < 10⁻⁵}}.

Riesz mean

The Riesz mean of the von Mangoldt function is given by

: $\begin{align}
\sum_{n\le \lambda} \left(1-\frac{n}{\lambda}\right)^\delta \Lambda(n) &= -\frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty}
\frac{\Gamma(1+\delta)\Gamma(s)}{\Gamma(1+\delta+s)} \frac{\zeta^\prime(s)}{\zeta(s)} \lambda^s ds \\
&= \frac{\lambda}{1+\delta} + \sum_\rho \frac{\Gamma(1+\delta)\Gamma(\rho)}{\Gamma(1+\delta+\rho)} + \sum_n c_n \lambda^{-n}.
\end{align}$

Here, {{mvar|λ}} and {{mvar|δ}} are numbers characterizing the Riesz mean. One must take {{math|c > 1}}. The sum over {{mvar|ρ}} is the sum over the zeroes of the Riemann zeta function, and

: $\sum_n c_n \lambda^{-n}\,$

can be shown to be a convergent series for {{math|λ > 1}}.

Approximation by Riemann zeta zeros

File:Real part of n raised to first zeta zero.svg

There is an explicit formula for the summatory Mangoldt function $\psi(x)$ given by{{cite journal|last=Conrey|first=J. Brian|author-link=Brian Conrey|date=March 2003|title=The Riemann hypothesis|url=http://www.ams.org/notices/200303/fea-conrey-web.pdf|journal=Notices Am. Math. Soc.|volume=50|pages=341–353|zbl=1160.11341|number=3}} Page 346

: $\psi(x)=x-\sum_{\zeta(\rho)=0}\frac{x^\rho}\rho -\log(2\pi).$

If we separate out the trivial zeros of the zeta function, which are the negative even integers, we obtain

: $\psi(x)=x-\sum_{\zeta(\rho)=0,\ 0<\Re(\rho)<1}\frac{x^\rho}\rho -\log(2\pi)-\frac12\log(1-x^{-2}).$

(The sum is not absolutely convergent, so we take the zeros in order of the absolute value of their imaginary part.)

In the opposite direction, in 1911 E. Landau proved that for any fixed t > 1E. Landau, Über die Nullstellen der Zetafunktion, Math. Annalen 71 (1911 ), 548-564.

: $\sum_{0<\gamma \leq T} t^\rho=\frac{-T}{2 \pi} \Lambda(t)+\mathcal{O}(\log T)$

(We use the notation ρ = β + iγ for the non-trivial zeros of the zeta function.)

File:Von Mangoldt function Fourier transform zeta zero duality.PNG

Therefore, if we use Riemann notation α = −i(ρ − 1/2) we have that the sum over nontrivial zeta zeros expressed as

: $\lim _{T \rightarrow+\infty} \frac{1}{T} \sum_{0<\gamma \leq T} \cos (\alpha \log t)=-\frac{\Lambda(t)}{2 \pi \sqrt{t}}$

peaks at primes and powers of primes.

The Fourier transform of the von Mangoldt function gives a spectrum with spikes at ordinates equal to the imaginary parts of the Riemann zeta function zeros. This is sometimes called a duality.

Generalized von Mangoldt function

The functions

: $\Lambda_k(n)=\sum\limits_{d\mid n}\mu(d)\log^k(n/d),$

where $\mu$ denotes the Möbius function and $k$ denotes a positive integer, generalize the von Mangoldt function.{{citation | last1=Iwaniec | first1=Henryk | author-link1=Henryk Iwaniec | last2=Friedlander |first2= John | author-link2=John Friedlander | title=Opera de cribro | publisher=American Mathematical Society | date=2010 | isbn=978-0-8218-4970-5 | mr=2647984 | location=Providence, RI | series=American Mathematical Society Colloquium Publications | volume=57|page=23}} The function $\Lambda_1$ is the ordinary von Mangoldt function $\Lambda$ .

References

{{Apostol IANT}}
{{cite book | last1=Hardy |first1=G. H.|author-link1=G. H. Hardy |last2=Wright |first2=E. M. |author-link2=E. M. Wright |editor1-last=Heath-Brown |editor1-first=D. R. |editor1-link=Roger Heath-Brown |editor2-last=Silverman |editor2-first=J. H. |editor2-link=Joseph H. Silverman |title=An Introduction to the Theory of Numbers |edition=6th |publisher=Oxford University Press |location=Oxford |year=2008 |orig-year=1938 |isbn=978-0-19-921985-8|mr=2445243|zbl=1159.11001|ref=HW}}

{{cite book |last=Tenebaum |first=Gérald | translator=C.B. Thomas | year=1995 |title=Introduction to analytic and probabilistic number theory | series=Cambridge Studies in Advanced Mathematics | volume=46 | publisher=Cambridge University Press |location=Cambridge | isbn=0-521-41261-7 | zbl=0831.11001 }}

External links

Allan Gut, [https://web.archive.org/web/20060619152909/http://www.math.uu.se/research/pub/Gut10.pdf Some remarks on the Riemann zeta distribution] (2005)
{{springer|id=m/m062200|author=S.A. Stepanov|title=Mangoldt function}}
Heike, [https://stackoverflow.com/questions/8934125/how-plot-the-riemann-zeta-zero-spectrum-with-the-fourier-transform-in-mathematic How plot Riemann zeta zero spectrum in Mathematica?] (2012)

Category:Arithmetic functions