ラマヌジャンは以下の公式を発見しました。
収束が非常に早く、円周率の数値計算に有効であるのは有名な話です。
今回はラマヌジャンの円周率公式の証明の流れについて書いていきます。ただし、この記事は上の公式を証明するものではありません。というのも、円周率公式と呼ばれる公式は複数あるのです。この記事では、以下の円周率公式の証明について書きます。
なぜこの公式を選んだのかと言うと、過去にMathlogで書いた
モジュラー形式の話
を使えば証明が比較的容易だったからです。
ここで断っておくのですが、僕は円周率公式について、つい数日前に調べ始めた程度の素人で、理解が非常に浅いです。誤った内容が書かれている可能性が十分にあることをご了承ください。
円周率公式がどのような作りになっているかについて、
こちらの記事
で分かりやすく説明されているので、円周率公式のからくりまでの内容をなんとなく頭に入れてください。今回の記事では、超幾何関数の代数変換公式を認めた上で証明するのではなく、モジュラー形式の理論を使ったアプローチをします。そのため、
こちらの記事
の内容を使用しますので、モジュラー形式に初めて触れるような方は一読してからこの記事を読み進めることをお勧めします。それ以外に、アイゼンシュタイン級数も使うので、ご了承ください。
以下の証明は、
こちらの論文
のSection 9を元にしています。
ポッホハマー記号
となります。以下の関数を定義します。
示すべき式は
となります。
子葉さんの記事
から以下のことが分かります。
これは超幾何関数の変換公式です。
これはルジャンドルの関係式です。ここで、第一種完全楕円積分
であることに注意します。
が成り立ちます。従って両辺を4乗して
なので、両辺を
ここで、正規化されたアイゼンシュタイン級数
であり、また
ですから、
を得ます。
前半は一般論でしたが、後半は目的の級数に絞った議論をします。
であるらしく(
Wikipedia
)、
が分かります。この値はモジュラー方程式というものを解くと出てくるらしいんですが、僕は理解していないので解説できません。
となります。他に
さらに、
より
なので、
であり、
これが示すべきことでした。(証明終)
後半の議論において、
も示すことができます。二項係数を用いれば
と表すことができます。
今回は、第一種完全楕円積分とデデキントのイータ関数の関係から産み出される円周率公式について解説しましたが、より一般的な超幾何関数とモジュラー形式に関係があるらしいです。
こちらの論文
がなんか凄そうだったんですが、僕には理解できませんでした。有名な円周率公式にも、いつか挑戦してみたいと思います。