＜マンゴルト関数Λ(n)とチェビシェフ関数Ψ(x)＞

自然数nに対して、マンゴルト関数Λ(n)を

　　Λ(n)＝log(p)　if　n＝p^m, 　otherwise 0

と定義します。ここでpは素数です。具体的には

　Λ(1)＝0、Λ(2)＝log2、Λ(3)＝log3、Λ(4)＝Λ(2²)＝log2、Λ(5)＝log5、

　Λ(6)＝Λ(2・3)＝0、Λ(7)＝log7、Λ(8)＝Λ(2³)＝log2、Λ(9)＝Λ(3²)＝log3、

　Λ(10)＝Λ(2・5)＝0、Λ(11)＝log11、Λ(12)＝Λ(2・2・3)＝0、・・・

です。単一の素数のべき乗でのみΛ値がゼロではありません。

実数xに対して、チェビシェフ関数Ψ(x)を

　　Ψ(x)＝Σ_[n≦x]Λ(n)＝Σ_[p^m_≦x] log(p)

と定義します。ここでpは素数です。Σ_[p^m≦x]は、x以下の素数pの冪乗となっている素数pで和をとることを意味します。Ψ(x)は階段関数です。

ｘ＝5とすると

　　Ψ(5)＝Λ(1)＋Λ(2)＋Λ(3)＋Λ(4)＋Λ(5)＝0＋log2＋log3＋log2＋log5

となります。Ψ(x)のステップアップする点で、ステップアップ部分の中点をとる関数をΨ^*(x)と書きます。

　　Ψ^*(5)＝log2＋log3＋log2＋1/2・log5

となります。Ψ^*(x)では最後の項が1/2倍になります。ｘ＝9の場合は

　　Ψ(9)＝Λ(1)＋Λ(2)＋Λ(3)＋Λ(4)＋Λ(5)＋Λ(6)＋Λ(7)＋Λ(8)＋Λ(9)

　　　　＝0＋log2＋log3＋log2＋log5＋0＋log7＋log2＋log3

　　Ψ^*(9)＝log2＋log3＋log2＋log5＋log7＋log2＋1/2・log3

となります。ｘが素数のべき乗でない場合は、両関数は等しくなります。例えば

　　Ψ(1000)＝Ψ(997)＝Ψ^*(1000)

に注意して下さい。

ゼ－タ関数ζ(s)

・ζ(s)＝Σ_n＝1～∞ 1/n^s＝Π_p∊P [1－1/p^s]^－1

に関して、

　ζ'(s)/ζ(s)＝－Σ_n＝1～∞ Λ(n)/n^s

となることを示します。

　ζ'(s)/ζ(s)＝(logζ(s))’＝－(Σ_p∊P log [1－1/p^s])’

です。ここで、テーラ－展開

　log(1－x)＝－Σ_n＝1～∞(xⁿ/n)

を用いると、

　log [1－1/p^s]＝－Σ_n＝1～∞(p^－ns／n)

なので、ｓで微分すると

　ζ'(s)/ζ(s)＝(logζ(s))’＝Σ_p∊PΣ_n＝1～∞ (p^－ns／n)’

となります。ここで

　(p^－ns／n)’＝ (e^{－nslog p}／n)’＝－nlog p・p^－ns／n＝－log p・p^－ns

に注意すると、

　－ζ'(s)/ζ(s)＝Σ_p∊PΣ_n＝1～∞log p・p^－ns

　　　　　＝Σ_p∊P (log p／p^s＋log p／p^2s＋log p／p^3s＋log p／p^4s＋・・・)

　　　　　＝log 2／2^s＋log 3／3^s＋log 5／5^s＋log 7／7^s＋・・・

            　　　＋log 2／2^2s ＋log 3／3^2s＋log 5／5^2s＋log 7／7^2s＋・・・

　　　　　　＋log 2／2^3s＋log 3／3^3s＋log 5／5^3s＋log 7／7^3s＋・・・

　　　　　　＋log 2／2^4s＋log 3／3^4s＋log 5／5^4s＋log 7／7^4s＋・・・

　　　　　＝log 2／2^s＋log 3／3^s＋log 2／4^s＋log 5／5^s＋log 7／7^s＋log 2／8^s

　　　　　　＋log 3／9^s＋log 11／11^s＋log 13／13^s ＋log 2／16^s＋・・・

　　　　　＝Σ_n＝1～∞ Λ(n)/n^s

が得られました。一般に

　D(s)＝Σ_n＝1～∞ a_n/n^s

なる級数をディリクレ級数（Series）といいます。同じ数列a_nに対する階段関数を

　S(x)＝Σ^*_n≦x a_n

とします。ここでΣ^*はステップアップ部分は中点をとることを意味します。D(s)とS(x)はペロンの公式で結び付けられています。

＜ペロンの公式＞

D(s)＝Σ_n＝1～∞ a_n/n^sがRe(s)＞1で絶対収束するとき、c＞1に対して、

　S(x)＝1/2πi・∫_{[c－i∞、c＋i∞]} D(s)x^s/s ds

が成り立つ。これを示します。

Re(s)＞0において、

　s∫_[n,∞] x^－s－1dx＝s[x^－s /(－s)] _[n,∞]＝1/n^s

が成り立ちます。するとディリクレ級数D(s)はRe(s)＞1で絶対収束しており、

　D(s)＝Σ_n＝1～∞ a_n/n^s＝sΣ_n＝1～∞∫_[n,∞] a_n x^－s－1dx

　　　＝s(∫_[1,∞] a₁ x^－s－1dx＋∫_[2,∞] a₂ x^－s－1dx＋∫_[3,∞] a₃ x^－s－1dx＋・・・)

　　　＝s(∫_[1,2] a₁ x^－s－1dx＋∫_[2,3] (a₁＋a₂) x^－s－1dx＋∫_[3,4] (a₁＋a₂＋a₃) x^－s－1dx＋・・・)

　　　＝s・∫_[0,∞] S(x)x^－s－1dx

となります。

ここで関数f(x)に対するメリン変換M_f(s)を

　　M_f(s)＝∫_[0,∞] f(x)x^s－1dx

と定義します。すると

　D(s)/s＝M_S(－s)

と表せます。逆メリン変換M^－1[・]

　M^－1[M_f(s)] (x)＝1/2πi・∫_{[c－i∞、c＋i∞]} M_f(s)x^－s ds＝f(x)

を用いると、f(x)をS(x)に置き換えて

　S(x)＝1/2πi・∫_{[c－i∞、c＋i∞]} M_S(s)・x^－s ds

　　　＝1/2πi・∫_{[c－i∞、c＋i∞]} M_S(－s)・x^s ds

　　　＝1/2πi・∫_{[c－i∞、c＋i∞]} D(s)/s・x^s ds

が得られました。結局

　－ζ'(s)/ζ(s)＝Σ_n＝1～∞ Λ(n)/n^s＝D(s)

a_n＝Λ(n)のときのディリクレ級数D(s)になります。

Λ(n)に対する階段関数はΨ^*(x)でした。

　S(x)＝Σ^*_n≦x a_n＝Σ^*_n≦xΛ(n)＝Ψ^*(x)

よって、ペロンの公式より、c＞1に対して

　Ψ^*(x)＝－1/2πi・∫_{[c－i∞、c＋i∞]} ζ'(s)/ζ(s)・x^s/s ds

が成り立ちます。　次回はこの複素積分を実行し、マンゴルトの明示公式を導出します。