Generalized von Mangoldt関数について
数論の初等的証明が話題に挙がっていて、それに感化されてK.Yamamotoの論文()を読んでいたら面白そうな関数を見つけたので紹介する。(論文の紹介ではないので注意。)
数論的関数の基礎
本論に入る前に数論的関数のおさらいをしておく。数論的関数とは自然数から複素数への写像のことで、例えば(ただしはクロネッカーのデルタ)やなどがある。数論的関数全体は和と畳込み積
により単位的可換環を成し、その単位元はである。一方で通常の積でも単位的可換環の構造を持ち、その単位元はになる。便宜上、畳込み積における逆元をと表すことにする。
特筆すべきはの畳込み逆元である。これは関数と呼ばれ、その値はの素因数分解により決まる。素因数分解が平方以上の因子を持つときはで、そうでない(square-freeな)ときは因子の個数をとしてとなる。例えばはsquare-freeなのでである。一方なのでになる。
もう一つ重要なのは対数関数である。興味深いことに、この関数は畳込み積に対する微分作用素と思うことが出来る。実際
よりを得る。
関数と対数関数との畳込み積で定義される関数をvon Mangoldt関数という。計算すると分かるが、値は素因数分解が素数のべき乗であるとき、それ以外はになる。なんとも不思議な関数である。
Generalized von Mangoldt関数
定義をちょっと変えてをgeneralized von Mangoldt関数と呼ぶ。特にのときはである。のときをSelberg関数と呼ぶそうだ。これくらいなら直接計算も苦ではない。のとき、のとき、それ以外はになる。
で、論文にはこの一般式として次の式が挙げられている。
定理 のとき
が成り立つ。但し和はとなる全体を取り、と定める。特にならを満たす。
こんなん分かるわけないやろ! と最初は思ったが、手を動かせば割と何とかなる。直接計算はちょっと辛そうなので、まず方針として帰納法を使うことを考える。であるならば、が満たす関係式を色々と求めるべきだ。
例えば
はが微分であること、帰納法、二項係数の性質より従う。特にを畳み込めば
を得る。帰納法に使えなくも無さそうだが、の数が増えてしまい、問題は逆に難しくなったように感じる。次の補題が有用である。
補題 が成り立つ。
(証明)である。そこでを示せばよい。より、
が従う。後は再びを畳み込めばよい。
(定理の証明)とし、帰納的に示そう。補題よりである。ここでのときとなることは直ぐに分かる。実際のときはである。また
の和はのみ考えればよく、であるからのときはになる。のときは特にの場合に限り、
となる。ここでとなる組はのみなので、帰納法の仮定から
を得る。つまりが分かる。この式は求めたい式になっている。
厄介なのはの場合である。これは地道に計算する位しか思いつかなかった。まず
である。和はとなるものを考える。の方は、に注意すれば
となる。ここでのときであり、
である。よって
が従う。となる和によって右辺を書き直せば
となるが、
より、定理の式を得る。
おまけ
のときにとなることは直接計算でも求められる。The Conscious Mathematicianというブログのコメントに、興味深い方法が書かれていたので紹介しておく。
をのときに計算してみる。するとと置くと
である。実はこの式はをで級数展開したときのの係数になっている。天才的発想である。で、明らかにのときはなのでを得る。
一般のに対してはとしてsquare-freeなもののみを考えればよいので、と置けば、
の倍が出てくる。改めても変数だと思っての項を集めると、
となる。これは先ほどと同様な式なので、でになる。つまり上に挙げたの式は恒等的にであることが分かり、結局が従う。
参考文献
[1] Koichi Yamamoto. Theory of Arithmetic Linear Transformations and its Application to an Elementary Proof of Dirichlet's Theorem. Journal of the Mathematical Society of Japan, Vol.7, Supplement, December, 1955.