実解析的アイゼンシュタイン級数
この記事はこの曲を聴きながら読むのがオススメです:
Michael Jackson - They Don't Care About Us
Michael Jackson - They Don't Care About Us - Live Munich 1997- Widescreen HD
「実解析的アイゼンシュタイン級数」
このおなまえを聞いて、ピンとくる人はどれくらいいるでしょうか。
Wikipediaには記事がありますが、特殊関数の中で有名な方ではありません。
しかしコイツは、自身が持つ強烈なフーリエ展開を背景とした素数定理の別証明を与えられるほど強い性質を持っています。
今回はその性質の一部を紹介したいと思います(今後この長ったらしい名前を呼ぶのはかったるいのでReal Analytic Eisenstein Seriesの頭文字からRAESと呼びます)。
<定義>
に対して
とする。ただし、である。
まぁ定義だけ見せられてもなんのこっちゃかわからないと思うので、基本的性質を示していきましょう。
[定理1]
に対して、
これを示すには、を示せば十分です。
なぜなら、とはの生成元だからです。前者は
とすぐに確かめられますね。
が互いに素ならばも互いに素ということは既知とします。後者のほうは、
ですが、
を用いると
となります。これで第二変数のの元に対する不変性(これを保型形式の保型性と言ったりします)が示されました。
[定理2]
ただし、
いやぁ、強烈ですね。
これが最初に述べたRAESのフーリエ展開です。定理1で周期をもつことを示しているから可能ということですね。
「フーリエ展開はの形をしてるのが普通だろ!いい加減にしろ!」なんてお思いの方もいらっしゃるかもしれませんが、この場合は初めの二項が今言った式での、つまり「定数項」にあたります。そして、第三項の級数の部分がの部分です。
[証明]
変数が周期を持つのでフーリエ展開できる、ということでしたが、周期はなので実質が周期を持つことになります。
よってこう書くことができます:
このフーリエ係数は、展開の定義より
と書けます。
これを計算するわけですが、めんどくさいのでちょっと楽な方法を使いましょう。
まず、完備RAESを定義します。
完備リーマンゼータの定義はさきほど述べましたね。これを次のように分割してしまいます:
ただし、下から二行目のシグマの下についているダッシュ記号は「がともにであることはない」という意味です。
ここで、
となります。
まぁこれを仮に等式Aとでもしておきましょう。
に注意すると、
がわかります。
ここで、にたいして
が成立すること(証明は略、のような変数変換をすることで簡単に示せます)を用いると、
となります。
さらに、ポアソン和公式から導かれる定理
を使って(証明はまた今度、ポアソン和公式の紹介も兼ねて新しい記事を書きます)、
がわかりますね。
このうちの前の項は、
となり、後ろの項は積分の変数をとすることで
であることから
を導けます。
こうして得た前の項、後ろの項を足すと、
となります。
ただし、最後の変形ではをあらたにという変数に置き換えることでシグマを一つ減らす手法を取っています。これと等式Aをまとめると、
なので、両辺をで割ってシグマの変数をからに差し替えることで
が得られます。これで定理2の証明が終了です。
でもこの記事はこれだけでは終わりません。
たしかに定理としてのインパクトはこのフーリエ展開が一番ですが、この結果を使った非常に美しい等式があります。そちらがメインです:
[定理3]
<証明>
より
となります。
そこで、有名な関数等式を使えば
となって、との第一項と第二項が等しいことがわかります。第三項が等しいことを示すには、
(1)
(2)
をいえばよいですね。
ここは思い切って一般化してしまって、
(1)'
(2)'
を示すことにしましょう。
[(1)'証明]
[(2)'証明]
定義より
ですが、ここで変数変換を施します。すると、
となり、証明されます。
以上より、定理3の証明も終了です。
本記事では記載しませんでしたが、RAESにはもう一つ重要な性質として「ラプラシアンに対する固有関数である」というものがあります。
この性質と、定理1をあわせた性質を持つ関数として、「マースの波動形式」というものが定義されます(厳密にはフーリエ係数の評価も要求される)。
これはうまい具合にRAESの一般化となっていて、実は「ラプラシアンに対する固有関数である」ということから定理2のフーリエ展開が波動形式においても導けることがわかります。
一般の波動形式に対するリーマン予想とも呼べるような未解決問題「セルバーグの予想」というものがあるのですが、これについても今後記事を書く予定です。