フォン・マンゴルト関数

**フォン・マンゴルト関数**（フォン・マンゴルトかんすう、）は数論における関数である。ドイツの数学者に因んで名付けられた。これは、乗法的でも加法的でもない重要な算術関数の例である。

## 定義
Λ（*n*）で表されるフォン・マンゴルト関数は、次のように定義される。

: \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}

最初の9個の正の整数（つまり自然数）のΛ（*n*）の値は次のとおりであり、に関連する。

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

チェビシェフ関数としても知られている**総和フォン・マンゴルト関数**  は、次のように定義される。

: \psi(x) = \sum_{n\le x} \Lambda(n)

フォン・マンゴルト関数により、リーマンゼータ関数の非自明な零点上の合計を含む  の明示的な式について、厳密な証明を与えることができた。これは素数定理の最初の証明の重要な部分であった。

## 性質
フォン・マンゴルト関数は、以下の恒等式を満たす。

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

和は  のすべての約数  を渡る。この恒等式は、素数の累乗ではない項が0に等しいことから、算術の基本定理によって証明される。たとえば、の場合を考える。すると

: \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}

メビウスの反転公式により、以下の式が得られる。

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

## ディリクレ級数
フォン・マンゴルト関数は、ディリクレ級数の理論、特にリーマンゼータ関数において重要な役割を果たす。たとえば、以下の式が成り立つ。

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

この対数微分は以下のようになる。

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

これらは、ディリクレ級数に関するより一般的な関係の特別な場合である。完全乗法的関数  に対して

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

であり、級数が  で収束するならば、

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

は  で収束する。

## チェビシェフ関数
第二チェビシェフ関数  は、フォン・マンゴルト関数のとなる： 

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

チェビシェフ関数のメリン変換は、ペロンの公式を適用することで得られる：

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

これは Re（*s*）> 1 の場合に成り立つ。

## 指数級数

ハーディとリトルウッドは級数の極限 *y* → 0+ を調べた

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

彼らはリーマン予想を仮定すると以下の式が成り立つことを示した。

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

特にこの関数は、発散を伴って振動する。つまり、0の近傍で以下の不等式を無限に何度も満たす値  が存在する。

: F(y) \frac{K}{\sqrt{z}}

右図は、この挙動が最初は数値的に明らかではないことを示している。*y* -5 のときは、級数を1億項以上合計しないと振動ははっきりと見られない。

## リース平均
フォン・マンゴルト関数のリース平均は、以下の式で与えられる。

: \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}

ここで、 *λ* と *δ* はリース平均を特徴付ける数値である。なお、 *c* > 1 とする必要がある。*ρ* についての総和はリーマンゼータ関数の零点を渡る総和であり、

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

は、*λ* > 1 について収束級数であることを示せる。

## リーマンゼータ関数の零点による近似

リーマンゼータ関数の零点を渡る総和の実部について考える。

: -\sum_{i=1}^{\infty} n^{\rho(i)} 

ここで *ρ*(*i*) は *i* 番目の零点である。素数にピークがあるが、隣のグラフでも確認でき、数値計算によっても検証できる。これは総和を取るとフォン・マンゴルト関数になるわけではない。

フォン・マンゴルト関数のフーリエ変換は、リーマンゼータ関数の零点の虚数部に等しい座標にスパイクのあるスペクトルを与える。これは、二重性と呼ばれることがある。

## 関連項目

* 素数計数関数

## 脚注

* 
* 

* 

## 外部リンク

* 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)
* 
* Chris King, *[http://the-messiahs-blog.blogspot.fi/2010/03/primes-out-of-thin-air.html Primes out of thin air]* (2010)
* 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)