クロネッカーの極限公式
この記事はこの曲を聴きながら読むのがオススメです:
NONA REEVES - 地球儀と野鼠
前回の記事
o-v-e-r-h-e-a-t.hatenablog.com
で解説した定理2、RAES(実解析的アイゼンシュタイン級数)のフーリエ展開を使うときが再びやってまいりました。
続きものなので、前回の記事を読んでいない方は先に読むことをおすすめします。
はラマヌジャンが発見した関数の一種で、いわゆる保型形式というやつです(その中でも正則な部類に入る)。
これは今まで学んだ数学の中で僕が一番好きな関数なので、今後幾つか関連記事を書こうと思います。
[証明]
予告した通りRAESの展開を使うのですが、すこし変形しておきます。
まず第二項の分子にあるを関数等式によってこう変形します:
分母にあるは定義どおりにそのまま展開すると、以下のようになりました:
これにちょっと細工をしてやることでを求めていくのですが、その前にちょっとだけ準備をしましょう。
まず、ガンマ関数のローラン展開について考えます。この関数はに位の極を持つ以外に極はないので、ローラン展開の負部分はの項で打ち止めですね。
つまり、こう書けるわけです:
ここでは「以上の項」のような意味です。
さて、これを用いることでいい感じの関数に対して以下のようなことができます:
これを、とに対して適用すると
より、が従います。また、
もすぐにわかりますね。はわざわざ添え字を書くのもアホらしいのでとしておきましょう。
そして、式中にはなんてのが出てきていますが、前回の記事・定理3で
を示しているので、一般に
の計算方法がわかればこれも計算できます。では調べてみましょう。
において、というふうに変数を変換します。すると、
なので、
ということに注目すると
ここで、再び変数変換を行います。今度は、
なので、
より(この変数変換で一度積分範囲が上下逆に入れ替わってることに注意してください)、
となって、関数は簡単な微分方程式
を満たすことがわかりました。これの解は、を定数として
とされます。とすることで、
より、
が得られました。
これを先程導いたの表示式に代入すると
これで定理左辺の計算は終わったので、右辺の計算に移行しましょう:
実部の計算は面倒なのでそこだけ抜き出して行うと、
となるので、
がわかります。最後の変形では、シグマの変数を新しい変数に改めています。
これを倍してシグマの変数をからに差し替えることで、
となって、定理左辺と一致しました。これにてクロネッカーの極限公式、証明終了です。
しかし、どこか物足りない感じがしますね。
定理左辺の、これはRAESをで微分してを代入することを表しています。
しかもRAESの定義において、変数はシグマ内部をまるごと乗するというところに現れています。
となると、正規積に関連付けたくなりますね。実際、そういった言い換えが存在します:
[クロネッカーの極限公式・正規積バージョン]
[証明]
正規積の定義(以下記事参照)より、
o-v-e-r-h-e-a-t.hatenablog.com
としておきます。数列のゼータは「もとの数列を乗してシグマに入れる」が定義でしたから、こうなります:
ここのゼータの右下にくっついてるはクロネッカー(Kronecker)のです。デデキントゼータじゃないので代数体とかのとかではありません(岩波書店の数論2という本ではこのゼータはではなくとして表記されていますがなんかダサいのでやめました)。
ではコイツの計算をしていきましょう:
なので、微分してを代入することで
です。ただし、とを使っています。
前者は記事「等差数列の無限積」で示した定理でとした結果の対数を取ってマイナスを付けることで得られ、後者は記事「実解析的アイゼンシュタイン級数」で記載しました。
すると残った計算はだけになりますが、これはそのままクロネッカーの極限公式を使えば良いですね。
したがって、
です。これにマイナスを付けて指数関数に入れれば、
となって定理が示されました。
クロネッカーの極限公式、以上で終了です。
次回記事では、これを利用していくつかの無限積の特殊値などを求めていこうと予定しています。お楽しみに。
実解析的アイゼンシュタイン級数
この記事はこの曲を聴きながら読むのがオススメです:
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のフーリエ展開が波動形式においても導けることがわかります。
一般の波動形式に対するリーマン予想とも呼べるような未解決問題「セルバーグの予想」というものがあるのですが、これについても今後記事を書く予定です。
等差数列の無限積
この記事はこの曲を聴きながら読むのがオススメです:
The Jacksons - Can You Feel It
The Jacksons - Can You Feel It [Audio HQ] HD
こんにちは。たけのこ赤軍です。
2017年4月1日に行われたイベント「ロマンティック数学ナイト ボーイズ」に参加したのですが、それの終了後に行われた懇親会にて鯵坂もっちょ氏より「発見したことをまとめるブログをやってみてはどうか」というお話を受け、このようなブログを開設いたしました。よろしくお願いします。
本記事では、タイトルにある「等差数列の無限積」について紹介したいと思います。
等差数列というと、隣り合う項の差が一定な数列として定義される数列のことを指します。一般項は、で与えられます。
この一般項の式において、「公差」と呼ばれるものがで「初項」がにあたります。
つまり、「等差数列の無限積」というのは以下のような積を指すわけです:
ただ、これを真面目に計算してもほとんどの場合発散してしまうことがすぐにわかります。たとえば、でやってみると積は
と、すべての奇数の積になります。これは当然発散です。
しかし、実はこのような発散する積に対しても、一つの意味ある値を与えるための手続きが存在します。
それが「正規積」と呼ばれるものです。その定義は以下:
数列に対して、のゼータ関数を
と定める。
このとき、の正規積は
で与えられる。
最後のは、で微分してからを代入することを表しています。
何故このような定義なのかということですが、これは実際にを微分してを代入してみるとすぐにわかります(ここでは割愛)。
では、この定義を使って早速の正規積を計算していきましょう。
このとき、等差数列のゼータ関数は次のようになります:
ここで、はフルヴィッツゼータ関数です(定義はWikipediaを参照)。
となりました。
一見ややこしい式ですが、を代入すれば
となり、特殊値を使うことで
というふうにフルヴィッツゼータの微分だけで書くことができます。あとはただこの微分を計算するだけです。
ここでは、黒川信重先生の名著「現代三角関数論」第2章3節にある証明をところどころ引用しながら進めていきます。
結論から言うと、
となります。
これはレルヒの公式と呼ばれるもので、 チェコの数学者マティアス・レルヒ(1860-1922)によって発見されたものです。
これを示すためには、
とおいて、
となることをいえばよいですね。証明は次の三段階で行いましょう:
(1) を示す。したがって、の形となる。ただしは定数。
(2) を示す。これからがわかりとなる。
(3) を示す。これにより、がわかる。
(1)の証明
をについて回微分すると
です。ここで
をで微分すると
となります。これをで微分してとすると
となります。一方、
という無限積表示(これはワイエルシュトラスによるものですね)がありましたから、
を得られます。よって、で微分すると、
となります。したがって
となって(1)が示されました。
(2)の証明
において
および
を用いると、
となり、
を得ます。よって(2)が示されました。
(3)の証明
を計算します。まず、
に注目すると、
となります。また、特殊値を用いることで
ということが導けます。したがって、
となります。これで(3)も示せました。レルヒの公式、これにて撃破。
では、これを使って再び等差数列の積の計算をすすめましょう。あとちょっと。
先程これを述べましたね:
これにレルヒの公式を適用してやることで、
とできます。
正規積の定義というのは「数列のゼータを微分して、を代入して、マイナスをつけて、指数関数に入れる」ということでしたから、いまこの時点では「を代入して」まで終わったことになりますね。
じゃあ、もう残った作業はこの式にマイナスを付けて指数関数に放り込むことだけです。ささっとやっちゃいましょう:
完成。
改めてきちんと結論を書いておきます。
これが「等差数列の無限積」というものです。
とくに、とすると面白い結果が得られます:
この結果は、レルヒの公式が発表されるより前にリーマンが関数等式を用いて得ていたとされています。それについては僕もまだ計算できていないので、わかった方はコメントなりTwitterにリプライなりして頂けると嬉しいです。
ちょっとした問題演習を載せておきます。
おひまな方は取り組んでください、解けた方はコメントあるいは僕のTwitterまで。
問 以下の数列の正規積を求めよ。存在しない場合は証明せよ。
(1) 正の奇数
(2) の冪
(3) 素数