三角関数について(その1)
この記事はこの曲を聴きながら読むのがオススメです:
NONA REEVES - メモリーズ ~ひと夏の記憶~
メモリーズ ~ひと夏の記憶~ [LIVE]/NONA REEVES
2017年5月13日に大阪で行われた第6回ロマンティック数学ナイトにおいて私はショートプレゼンを行い、その中で主定理として以下を示しました:
[定理1(レルヒ/1897)]
プレゼン内でこういうことを話しました。
「バーゼル問題とこれって似てない?」
実際似てるんです。バーゼル問題は「自然数の乗逆数和」で、この問題(レルヒの定理と呼びましょう)は「ガウス整数の乗逆数和」ですからね。
さて、ここでリーマンがかの有名なゼータ関数を作り出したきっかけを思い出してみましょう。
それは紛れもなくバーゼル問題です。すなわち、リーマンはバーゼル問題の中にあった「自然数乗の逆数和」を一般化して「自然数の乗の逆数和」とし、それをゼータ関数としたのです:
このとき、私がレルヒだったらこう考えていたでしょう。
「リーマンのやつ、バーゼル問題を一般化してゼータを作ったな。じゃあ、オレだって同じことしてやろうじゃないか」
ということで、以下の関数を定義します:
[定義2]
見るからに面白そうなヤツを作り出してしまいました。しかし、数学者たるものこんなもんでは満足しないのです。アイゼンシュタインはこれをさらに拡張した関数を定めます。
[定義3]
これを「アイゼンシュタイン級数」といいます。こいつは非常に奇妙な関数で、何と言っても特徴的なのは「表も裏もゼータである」という点でしょう。
表も裏もゼータ、といってもなんのことかわからないかと思います。そりゃもちろん、私が勝手に考えた言葉ですから。
解析的整数論では割りと有名な事実として、こういうものがあります:
これが言っているのは、要するに「数列の母関数をメリン変換したらゼータになるよ」ということです。
命題4ではゼータをだいぶ限定的な書き方(分母がになっている)をしているのですが、実際のところ一般のゼータはこんなに堅苦しい定義ではありません。
分母が自然数の乗ではなく、整係数二次形式の乗のような形になっている超フリーダムな格好をしたゼータもあります。ここでは詳しく述べませんが、エプシュタインのゼータ関数やヘッケのL関数などがそれですね(実は前記事で述べたRAESはそれの特殊な場合だったり)。
私は普段よく、関数の表や裏といった言い方をします。これはどういうことかというと、母関数を「表側」ゼータを「裏側」という風に呼んでいるのです。
つまり、一般の冪級数はを代入してメリン変換することで「裏返って」、たちまちゼータになってしまうわけですね。メリン変換には「逆メリン変換」というのもあるので、ゼータを再び裏返して表向きにすることももちろん可能です。
ここまで言うと、私が先程述べた「表も裏もゼータ」という言葉がはっきりとした輪郭を持ってくるかもしれません。
すなわち、アイゼンシュタイン級数は「母関数」でもあって「ゼータ」でもあるのです。その姿を見てみましょう:
[の表側]
[の裏側]
裏側は先程見た定義のとおりですね。集合の元の乗逆数和を渡る和という点がゼータっぽい要素です。
不思議なのは表側の方です。なんと、約数関数とベルヌーイ数を係数にもつ冪級数として書けてしまいました(この事の証明はまた今度の記事でやります)。
これが、「両面ゼータ」ことアイゼンシュタイン級数の美しい姿です。
グレブナー基底大好きbotさん作「最近、妹がグレブナー基底に興味を持ち始めたのだが。」の二話にこんな言葉があります。
「実数は、まだ人類には早すぎる。」
そうなんです。実数なんてもんはめちゃくちゃでかいんです。
だとしたら、実数をさらに押し広げてしまった複素数なんてものはもっともっとでかくて、人類どころか宇宙人にも扱いづらい対象なのではないでしょうか。
しかし、アイゼンシュタイン級数はと言うかたちをしています。カッコの中にいる変数は、即ち複素数です。
こんなものは人類には扱えるはずがありません。ということで、名残惜しいですが限定してしまいましょう。
[定義5]
ここで、
は所謂「1の乗根」と呼ばれるやつです。
私たちにとって大きすぎた複素数も、ここまで制限してやるとある程度は扱えるようになります。
さて、ここで少しだけ話題転換。リーマンゼータの特殊値公式を見ていただきたいのです。
[定理6]
[定理6証明]
まず三角関数の無限積展開
において、を代入します:
ここで、オイラーの公式よりなので、
の対数微分は
の対数微分もとって、
はもちろん等しいので、以下等式を得ます:
ここで、ベルヌーイ数の定義を思い出しましょう。こうでしたね:
最初のほうの値を用いてちょっと変形して、
をの左辺に代入すると、
最後の変形では両辺にをかけていることに注意してください。
そしてこの式を、等比級数の和公式などによって変形していきます。今までも割りと計算が大変でしたが、このパートはさらにめんどくさいので手元に紙とペンがあれば計算を追っていくのをオススメします:
両辺の係数を比較すると、
以上にて結論を得ます。
この定理はを有理数列とで表現できる、というものです。
さて、ベルヌーイ数は母関数としての定義以外に次のような漸化式を満たすものとしても定められます:
[定義7]
そして、唐突ではありますが、次のような数列を導入します:
定義8は、定義7とどことなく似ている気がしませんか?漸化式で定義されているところや、特定の倍数(定義7では2の倍数、定義8では4の倍数)の項以外が存在しないところや、漸化式の和に二項係数が出てきているところなどです。
ここでフルヴィッツ数を導入したのは、「ベルヌーイ数と似ているもの」を作るためです。
定理6で述べられている通り、はベルヌーイ数と円周率で作り上げられています。
なので、と似たものを作り上げようと思えば、ベルヌーイ数や円周率に似たものを導入する必要があるわけですね。
ベルヌーイ数と似たものを導入すれば、必然的に円周率と似たものも作る必要があります。そのために円周率の定義を見直しましょう。
[定義9]
定数は以下のように定義され、円周率と呼ばれる:
円周率を、積分を使って定義しています。図形的な視点からも、この定義が一番自然ですね。
そして、円周率と似た定数をまた積分で定義します。
レムニスケート周率という名前は、文字通り「レムニスケート」という図形の周長の半分であることからきています。
円周率が円の周長の半分であることからもわかりますね。
さて、こうして私たちはベルヌーイ数と円周率にそれぞれ似ているものを作り出しました。これらを用いて、ようやく次の定理を述べることが出来ます。
[定理11]
定理6とやはり似ていますね。違う点は以下の通り:
(1)定理6の分母にはがあったのに、定理11の分母は階乗だけになっている
(2)定理6の分子には符号の補正があったのに、定理11にはない
相違点(1)の原因は、リーマンゼータ関数が「整数」ではなく「自然数」を渡っている点にあります。
もしリーマンが、
と定義していれば、定理6の右辺の分母にが現れることはなくなって定理11と揃ってくれます。
相違点(2)については、かなり複雑な要因が絡み合った結果生まれた相違点なので今後の記事に回すことにします。ごめんなさい。
では、定理11の証明をしていきましょう...といいたいところですが、そのためにはまだ一人足りないメンバーがいます。というわけで呼びました。
は一般的に「格子」なんて言われる集合ですが、私はこの名称が(なんかダサいから)嫌いなので英名のlatticeと呼ぶことにします。
そして、関数はいわゆるワイエルシュトラスの楕円関数ですね。この記事タイトルが「三角関数について」である理由は、この楕円関数と三角関数の著しい類似を示すことが主目的だからです(といっても、この記事でその類似が明らかになるのは定理11だけですが...)。
を扱いやすいように変形するためには、まず等比級数の公式をつかいます。
ですね。次に、この両辺を微分します。
を代入すると、
となるので、両辺からを引いてを掛けると
となります。これを定義12にある式に代入すると、以下を得ます:
式でうまく収束するように小さくをとったとき、式の二重級数はともに絶対一様収束するので和を交換でき、
とできます。ここで、
と置いています。関数はによって決まっていることに注意して下さい。
とおくと、
奇数に対し、
ゆえにとなるため、の展開は偶数項だけを渡る和となります:
これである程度は扱いやすい形になったのではないでしょうか。
とりあえず、長くなるので今回の記事はここまでとしておきます。次回では、導いたの展開と微分方程式を利用して定理11を示す予定です。