このところ暗号系の記事が続きましたが、今回は暗号とはまったくありません。この記事では、次のオイラー積を求めたいと思います。
左辺の級数は「ラマヌジャンの L関数*1」と呼ばれています。ラマヌジャンとはもちろん、インドが産んだ奇才、シュリニバーサ・ラマヌジャンのことです。
「やぁ、また会ったね」
式を見てみると、左辺は「ディリクレ級数」の形となっています。
あとで述べますが、係数となる関数 が「乗法的関数」であるため、オイラー積が存在します。乗法的関数ではありますが、「完全乗法的関数」ではありません。このせいで、右辺がちょっと変わった形になっています。
この右辺の式ですが「二次のオイラー積」と呼ばれる形になっています。なぜ「二次」なのかと言うと、分母の第三項目が の「二乗」の形になっているからです。
参考までに、リーマン・ゼータ関数のオイラー積は、こんな感じでした。
リーマン・ゼータ関数のオイラー積:
ただし、右辺の積記号はすべての素数の積を表す。
こちらは の二乗の項はなく、一乗になっています。したがって、「一次」のオイラー積です。
今回の二次のオイラー積ですが、歴史的にみてもとても重要なのです。何が重要かというと、今回の式が「数学史上、初めて発見された二次のオイラー積」だからなのです。Wikipediaなどを見てもいろんなところでこの式は登場します。
こうなると、いよいよ導出方法が気になってきますね。
リーマン・ゼータ関数のときは、等比級数の性質をうまくつかって和を計算しました。ラマヌジャンの L 関数はどうすればよいのだろう。
一筋縄ではいかなそうな気がする。
そんな予感は見事的中し、今日の記事は「二次のオイラー積」に立ち向かう tsujimotter の奮闘記になりました。
前提知識
イントロを読んで分かったかと思いますが、今回の話は過去に書いた記事が前提となっています。以下の記事を読んでもらえると、話が早いかと思います。お時間ありましたら先にどうぞ。
特に「オイラー積」「ディリクレ級数」「乗法的関数」といって「何のことかわからない」という人は、先に目を通しておくことを強くお勧めします。
二次のオイラー積と私
導出方法はどうしたらよいのだろう。
とっかかりがなかったので、とりあえず調べるところから始めました。まずはネットの記事。次に論文も調べました。
ところが、導出ときたらどこにも書いていない!本当に、びっくりするぐらいどこにも載っていない。実をいうと、この調べものだけで1つの記事になりそうなぐらい、相当な時間をかけて調べ込んだのです。
しばらくたって、ようやく手がかりらしいものが見つかりました。
「とある論文*2」によると、ラマヌジャンの 関数には以下のような関係式が成り立って、これを使うと導出が可能である、とのこと。
定理1:
を素数としたとき, に対して以下が成り立つ.
もし右辺の第一項だけだったなら となって完全乗法的関数なのですが、第二項が余計ですね。
論文によると、二次のオイラー積はこの式から「簡単に導くことが出来る」とのこと。ほんまかいな!
よし、それならばやってみようと、 tsujimotter は挑戦したのです。ほんとにいろいろ試しました。
ノートに手計算の跡が残っていましたので、せっかくだからここに挙げてみましょう。
結局、tsujimotter の力では無理でした・・・。
諦めて、もう一度文献調査に戻りました。今度は神保町の古書店を探すことに。
何軒かお店を周ってみると・・・ついに、見つけましたよ。
というわけで、紆余曲折はありましたが、なんとか説明のための材料が揃いましたので、解説に移りたいと思います。
そもそも って?
オイラー積の導出に行く前に、ラマヌジャンの の説明をしておきましょう。
ラマヌジャンの は整数を引数にとる関数です。以下の級数の展開式によって定義されます。
左辺はこういうことを意味しています。
この式を順番に展開していって、 の 乗の項の計算が終わると、 の係数として が定まるわけです。
計算にはうまい方法はないので、がんばって展開していくしかありません。tsujimotter の経験からすると、この計算はよっぽど注意しない限り、ほぼ間違えます。笑
間違えないように、ちょっと丁寧に計算してみましょう。
まずは、 から。
には、すでに がかかっていますから、あとの括弧の中から の部分だけ拾ってくることを考えると、
ですね。
次に、 を求めましょう。最初の 乗のところを部分的に展開します。
すると、 の項は、一番左の と とあとは を拾っていけば良いので、結局
となります。
こうやって順に計算していくと、
となるそうです。
tsujimotter も一度は試しましたが、 あたりからとんでもない計算間違いをしていたようで、どうしても合わなかったので諦めました。。。こういうときに数式処理システムがほしくなりますね。
には、いくつか面白い性質があって、たとえば以下のサイトではいくつか紹介されています。気になる人は、英語ですが見てみてください。
は乗法的関数である
さて、ではオイラー積を求めるために必要な情報を集めましょう。まずは、この性質から。
定理2:
ラマヌジャンの は乗法的関数である.すなわち,互いに素な に対して以下が成り立つ.
証明は難しいので、具体例を挙げて説明します。
となって、たしかにこの2つの例では、乗法的関数の性質を満たしていますね。
これを使うと、ディリクレ級数のオイラー積の記事のときと同様、以下のように変形できます。
あとは括弧の中身の級数を、
の形に変形するだけですね。
残念ながら は、以下の例で明らかなように、完全乗法的ではありません。
したがって、オイラー積のさらなる変形のためには、冒頭で述べた「定理1」が必要になるわけです。
二次のオイラー積の導出
さぁ、いよいよ本題のオイラー積の導出に向かいましょう。用いる式は、当然 定理1 です。
今回は、神保町で見つけた3つの本の中から、小山先生の本の導出方法を元に進めたいと思います。理由は、読んでみて一番丁寧に感じたからです。
ここまで引っ張っておいてあれですが、タネが分かってしまうとあっけないものです。たしかに、自明と書いてしまいたくなるどっかの先生の気持ちもわからないでもない。。。
さて、オイラー積の素数 に関する括弧の箇所を、以下のように変形していきます。
この右辺第三項に、定理1の式をそのまま代入します。
すると、
とだいぶシンプルになりました。
ここで、級数の部分を左辺に移項させて集めましょう。すると、
となって結局、
が得られました。
あっけなかったですが、これが求めていた式ですね。
「定理1」はどこから出てきた?
実は、ラマヌジャン自身は、定理1を証明したのではないそうなのです。では、どうしたのか。
上の例では、 より は完全乗法的ではない、という説明をしましたが、ここではこれらの差を考えます。すると、
同様に、
とすることも出来るでしょう。
このように のべき乗の形をした数同士を引くと、 が登場するのです。こういった多数の数値計算から、 定理1 を予想したということのようです。
言われてみれば、そんな気もしてきますが、ノーヒントでここにいくのはやはり難しいですね。このような天才的な洞察力は、さすがラマヌジャンといったところ。
定理1は、ラマヌジャンの予想の後、モーデルという数学者によって証明されました。モーデルは「モーデル作用素 」と呼ばれるものを使った、以下の式を用いて証明したのだそうです。
が、残念ながら tsujimotter の解説できるところではありません。。。
ラマヌジャン予想
もう1つだけ、関連する面白い話を紹介しましょう。
ラマヌジャンの発見した二次のオイラー積の分母は、 とおくと、このような形をしています。
つまり、 についての二次式となります。二次式ということは、その「判別式」が気になりますね。
ラマヌジャンは、多くの を計算した結果、上の式が虚数解を持つだろう、と予想しました。
すなわち、判別式を とすると、
ということです。ここから、ただちに、
が得られます。これは「ラマヌジャン予想」と呼ばれています。ラマヌジャンはこれを証明できませんでした。
ラマヌジャン予想を確認してみようと、 の値を探してみたところ、ちょうど以下のサイトに から までの の数表がありました。これを使って、tsujimotter もグラフを書いてみました。
参考:
ラマヌジャンのτ関数をMaximaで計算してみる。: Fallen Physicist, Rising Engineer
が素数のときだけ、 を取ってきて絶対値をとり(赤点)、これを (緑線)と比較しました。縦軸は、対数軸となっています。
たしかにグラフを見る限り、不等式は成り立っているようです。しかも、なかなかスレスレで。
ラマヌジャン予想は、数論における主要な未解決問題として君臨していましたが、ついに1973年に、グロタンディークの弟子であるドリーニュによって解決されました。証明は、保型形式という複素関数の理論を使った難しいものだそうです。やはり、ここで解説することは出来ないでしょう。
修正(2015/1/22):
最初の投稿では、ラマヌジャン予想の不等式の右辺を と勘違いしており、内容が間違っておりました。正しくは です。それに合わせて、この項の説明やグラフを大きく修正しております。
まとめ
ラマヌジャンの の性質をうまく使って、見事「二次のオイラー積」を導く事に成功しました。今回の記事はこれがすべてでしょう。
ここに到達するまでには長い道のりがありました。幾度となく諦めそうになったので、ちゃんと解説できて感無量です。頑張ればいつかは理解できるのだ、ということが分かったのはよかったです。
「モーデル作用素」や「ラマヌジャン予想」といった、発展的な内容とも結びついていて、なかなか充実した話でしたね。
興味を持ってくださった方、ぜひ参考文献の本を読んでみてくださいね。
参考文献
小山先生の本はおすすめです。基本的に説明が丁寧で、ラマヌジャンのエピソードも交えてドラマチックな話の展開になっており、読んでいて楽しいです。もちろん全部わかったわけではありませんが、大変参考になりました。今回の該当箇所は「第5章」「第6章」です。
- 作者:小山 信也
- 発売日: 2010/12/07
- メディア: 単行本(ソフトカバー)
以下の2冊は、上の小山先生の本があったので、今回あまり触れていません。しかし、「導出法が載っている本があるのだ」ということを最初に示して、勇気づけてくれた大事な本です。