フォン・マンゴルト関数

フォン・マンゴルト関数（フォン・マンゴルトかんすう、テンプレート:Lang-en-short）は数論における関数である。ドイツの数学者テンプレート:仮リンクに因んで名付けられた。これは、乗法的でも加法的でもない重要な算術関数の例である。

定義

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

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

最初の9個の正の整数（つまり自然数）のΛ（n）の値は次のとおりであり、テンプレート:OEISに関連する。

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

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

$\psi (x)=\sum _{n\le x}\mathrm{\Lambda }(n)$

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

性質

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

$\log (n)=\sum _{d\mid n}\mathrm{\Lambda }(d)$

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

$\begin{array}{cc}\sum _{d\mid 12}\mathrm{\Lambda }(d)& =\mathrm{\Lambda }(1)+\mathrm{\Lambda }(2)+\mathrm{\Lambda }(3)+\mathrm{\Lambda }(4)+\mathrm{\Lambda }(6)+\mathrm{\Lambda }(12)\\ & =\mathrm{\Lambda }(1)+\mathrm{\Lambda }(2)+\mathrm{\Lambda }(3)+\mathrm{\Lambda }\left(2^2\right)+\mathrm{\Lambda }(2\times 3)+\mathrm{\Lambda }(2^2\times 3)\\ & =0+\log (2)+\log (3)+\log (2)+0+0\\ & =\log (2\times 3\times 2)\\ & =\log (12).\end{array}$

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

$\mathrm{\Lambda }(n)=-\sum _{d\mid n}\mu (d)\log (d)$

ディリクレ級数

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

$\log \zeta (s)=\sum _{n=2}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{\log (n)}\frac{1}{n^s},\text{Re}(s)>1$

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

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=-\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{n^s}$

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

$F(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{f(n)}{n^s}$

であり、級数が テンプレート:Math で収束するならば、

$\frac{F^{\prime }(s)}{F(s)}=-\sum _{n=1}^{\mathrm{\infty }}\frac{f(n)\mathrm{\Lambda }(n)}{n^s}$

は テンプレート:Math で収束する。

チェビシェフ関数

第二チェビシェフ関数 テンプレート:Math は、フォン・マンゴルト関数のテンプレート:仮リンクとなる：

$\psi (x)=\sum _{p^k\le x}\log p=\sum _{n\le x}\mathrm{\Lambda }(n)$

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

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=-s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{\psi (x)}{x^{s+1}}dx$

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

指数級数

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

$F(y)=\sum _{n=2}^{\mathrm{\infty }}(\mathrm{\Lambda }(n)-1)e^{-ny}$

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

$F(y)=O\left(\frac{1}{\sqrt{y}}\right)\text{and}F(y)={\mathrm{\Omega }}_{\pm }\left(\frac{1}{\sqrt{y}}\right)$

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

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

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

リース平均

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

$\begin{array}{cc}\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }\mathrm{\Lambda }(n)& =-\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(s)}{\mathrm{\Gamma }(1+\delta +s)}\frac{{\zeta }^{\prime }(s)}{\zeta (s)}{\lambda }^{s}ds\\ & =\frac{\lambda }{1+\delta }+\sum _{\rho }\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(\rho )}{\mathrm{\Gamma }(1+\delta +\rho )}+\sum _n{c}_n{\lambda }^{-n}.\end{array}$

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

$\sum _n{c}_n{\lambda }^{-n}$

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

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

フォン・マンゴルト関数を近似するリーマンゼータ零点の総和による波

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

$-\sum _{i=1}^{\mathrm{\infty }}{n}^{\rho (i)}$

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

フォン・マンゴルト関数のフーリエ変換は、リーマンゼータの零点の虚数部のスペクトルを、対応する テンプレート:Mvar 座標のスパイクとして与える（右）。一方、フォン・マンゴルト関数はリーマンゼータの零点の波で近似できる（左）。

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

関連項目

• 素数計数関数

脚注

• テンプレート:Apostol IANT
• テンプレート:Cite book

• テンプレート:Cite book

外部リンク

• Allan Gut, Some remarks on the Riemann zeta distribution (2005)
• テンプレート:Springer
• Chris King, Primes out of thin air (2010)
• Heike, How plot Riemann zeta zero spectrum in Mathematica? (2012)