このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]これまでラマヌジャンに関係のある数式を扱ってきました。[br]知れば知るほど、それまでにない俯瞰した視点からの「未知の数学」という氷山の一角を作ってしまう異才、神の子であることがわかってきましたね。[br]今回はリーマンとはちがうラマヌジャン独自のゼータとオイラー積を作ってしまったというお話です。

ラマヌジャン以前には、オイラーが生みリーマンが育てた[br]リーマン・ゼータ関数がありました。[br][br]これは、ζ(s)=１/整数^sの無限和＝１/(1-p^{-s})の無限積[br]という形のもので、ざっくりいうと[br]「整数を使った無限和＝素数を使った無限積」[br]という形をしています。[br][br]「整数を使った無限和＝素数を使った無限積」の形のものは、[br]他にもありました。ディリクレのL関数です。[br]L(s,χ)=Σχ(n)n^(-s)=Π(1-χ(p) p^(-s) )-1 (pは素数）[br][br]これらの共通点は、右辺にある素数の無限積の因子が p^{-s}の1次式しかなかったということです。[br][br]この状況を変えたのがラマヌジャンです。[br]p^{-s}の2次式のオイラー積を作ったのです。[br]このことがもたらした効果は測り知れないのですが、そこはこのページの範囲を超えるので、[br]興味のある人は黒川さんや小島さんの本を参考に探求してください。[br][br]このページでは、そもそもそれが何なのか、という導入にフォーカスをあてていきます。

[b][size=150]＜Δからτへ＞[/size][/b][br][br]ラマヌジャンは[br][b][size=150]ｑ＝e^{2πiz}とするときに[br][/size][size=200][color=#0000ff]Δ＝qΠ(1-q^n)^24 [br][/color][/size][/b]という無限積を定義しました。[br]（ｑはｚの関数だから、Δもｚの関数と言えます。）[br][br]さて、[br]Δはqに(1-q)^24、(1-q^2)^24、(1-q^3)^24、(1-q^4)^24、(1-q^5)^24、……と無限にかけたものですね。[br]d(k)=(1-q^k)^24とおくと、[br]Δ＝q*d(1)d(2)d(3)d(4)d(5)...........と簡単にかけますね。[br][br]では最初のd(1)の展開はどうなるでしょう。[br](a+b)^nの展開公式を使うとわかりますね。高校でやる2項定理、一般項は[i]n[/i]C[color=#0000ff][i]r[/i][/color] a^[i]q[/i]b^[color=#0000ff][i]r [/i][/color][color=#0000ff]([i]q+r=n[/i])[br][/color]が使えます。[br]q=q[br]d(1)=(1-q^1)^24=1 -24C1 q +24C2 q^2 -24C3 q^3 +24C4 q^4 +.......[br]d(2)=(1-q^2)^24=1 -24C1 q^2 +24C2 q^4 -24C3 q^6 +24C4 q^8 +.......[br]d(3)=(1-q^3)^24=1 -24C1 q^3 +24C2 q^6 -24C3 q^9 +24C4 q^12 +.......[br]d(4)=(1-q^4)^24=1 -24C1 q^4 +24C2 q^8 -24C3 q^12 +24C4 q^16 +.......[br]d(5)=(1-q^5)^24=1 -24C1 q^5 +24C2 q^10 -24C3 q^15 +24C4 q^20 +.......[br]........[br]d(k)=(1-q^k)^24=1 -24C1 q^k+24C2 q^2*k -24C 3q^3*k +.......[br]........[br]となりますね。[br][br]これらをqにすべてかけて展開して整理すればqの多項式ができるでしょう。[br]この多項式の係数を計算してみよう。[br]上に数式の次数をたてにみると、1列目が１の倍数、2列目が２の倍数、3列目が３の倍数、4列目が４の倍数、。。。。のように、列目の倍数が並びます。[br]qにどのd(k)のどの指数を取り出してかけるかを考えて整理しましょう。[br]指数1はqに定数１をかけるから、係数は１[br]指数2はqに、d(1)の-24C1 qをかけるから、係数は-24C1=-24[br]指数3はqに、d(2)の-24C1 q^2か、d(1)の+24C2 q^2をかけるから、係数は-24C1+24C2=252[br]指数4はqに、d(3)の-24C1 q^3か、d(2)の -24C1 q^2とd(1)の-24C1 qの積か、d(1)の-24C3 q^3 をかけるから、係数は -24C1+(-24C1)^2 -24C3=-1472[br]指数5はqに、[br]d(4)の-24C1 q^4か、d(3)で3次とd(1)で1次か、d(2)で2次とd(1)で2次か、d(2)で4次か、d(1)の5次をかけるから、係数は-24C1+(-24C1)^2+(-24C1 )*24C2+24C2+24C4=-24+24^2-12*23*24+12*23+23*22*21=4830[br]・・・・[br][br]q^nの係数をτ(n)とかくことにすると、[br][b]τ(1)=1,[br]τ(2)=-24,[br]τ(3)=252,[br]τ(4)=-1472,[br]τ(5)=4830[br][/b]まで計算できた。[br]これ以降は計算されたデータがあちこちにあるので、それを参考にしてかくと[br][b]τ(6)=-6048,[br]τ(7)=-16744,[br]τ(8)=84480,[br]τ(9)=-113643,[br]τ(10)=-115920,[br]τ(11)=+534612,[br][/b].......[br]ラマヌジャンの論文ではτ(30)まで載せているらしい。これ自体驚異的ですね。[br]ラマヌジャンに敬意を表して「ラマヌジャンのタウ関数 τ(n)」と呼びましょう。[br]τのおかげで無限積が1本の多項式[br][br][b][color=#0000ff][size=150][size=200]Δ＝τ(1)q+τ(2)q^2+τ(3)q^3+........＝Στ(k)q^k[br][/size][/size][/color][/b][br]とすっきりと書けるようになりましたね。[br]

[b][size=150]＜τの性質１＞[/size][/b][br]従来の数学の思考の流れは公理を決めて、定理を作る、証明をかくというものでした。[br]それが数学書のスタンダードですね。もちろん、親切な数学書は背景や系や関連なども[br]かいてあります。[br]ラマヌジャンはちがいます。[br][b]「科学の実験結果のようなデータとしての数式」[/b]が並ぶのです。[br]だから、ラマヌジャンと付き合うときは、当たり前からの天下り的な態度ではなく、[br]「[b]未知との遭遇、探検隊[/b]」という態度が必要でしょう。[br][br]たとえば、τ(2)τ(3)を計算してみましょう。[br]τ(2)τ(3)=-24*252=-6048[br]おっ、これは２×３＝６のτ(6)と同じだ。[br]これだけではありません。[br]τ(2)τ(5)＝-24*4830[br]を計算してみてください。[br]予想通り[br]-115920＝τ(10）になってますね。[br][br]このようにf(m*n)=f(m)*f(n)のように、かけ算を関数の入り口でやっても出口でやっても同じになるとき、[br]この関数ｆは乗法的だといいます。[br]たし算の場合な加法的といいましたね。[br]加法的は関数は線形性があるのでとても便利でした。ｆ(n+m)=f(n)+f(m)というやつです。[br][br]乗法的な関数も便利です。もし、ｎが合成数ならτ(n)の計算がn=30どころか、いくらでも因数に分解して[br]計算できるからです。[br]たとえば、[br]τ(30) = τ(2) τ(3) τ(5) = (-24) × 252 × 4830 = -29,211,840[br]いやあ、便利ですね。[br][br]ただし、いつでもOKではないようです。[br]でも素晴らしい発見です。[br][b][color=#0000ff][size=150][size=200]「ｎとｍが互いに素ならτ(n)τ(m)=τ(nm)」[br][/size][/size][/color][/b]です。[br]これは、のちにモーデルさんが証明したといわれています。

[b][size=150]＜τの性質２＞[br][/size][/b]こうなると、気になるのが素数のべきのτです。[br]違う素数のべきは互いに素ですから、素因数分解できる整数をτに入れると、[br]乗法性を使ってτの積に分解できて、τの中身は１つの素数のべきになるはずです。[br]たぶん、ラマヌジャンはそう考えてさまざまな実験したと思われます。[br][br]τ(8)-τ(2)τ(4)=84480-(-24)*(-1472) =49152[br]49152/-24=-2048=-2*1024=-2*2*512=-2*2*2*256=-2^3*2^4*2^4=-2^11[br]τ(27)-τ(3)τ(9)=-73279080-252*(-113643)=-44641044[br]-44641044/252=-177147[br]もしかしたらと思って、3^11を計算してみると、177147になります。[br]これを一般化すると、素数pについて、[br][b]τ(p^3)-τ(p)τ(p^2)=-[/b][b]τ(p)p^11[/b][br]という法則が予測できますね。もう少し実験すると、[br][b]τ(p^4)-τ(p)τ(p^3)=-τ(p^2)p^11[br]τ(p^5)-τ(p)τ(p^4)=-τ(p^3)p^11[br][/b]..................[br]などが予測できるでしょう。[br]さらに一般化すると、[br][b][color=#0000ff][size=200]τ(p^{k+2})=τ(p)τ(p^{k+1}) - p^11τ(p^k)[br][/size][/color][/b]という「ｐのべきの次数下げ法則」が見つかったのです。[br][br]さきのτの性質１（τの乗法性）とこのτの性質２（ｐのべきの次数下げの法則）[br]この２つを利用することで、ラマヌジャンがゼータζ(s)の分子をτ(k)にした式[br][br]ラマヌジャンのゼータ[br][b][color=#0000ff][size=200]L(s,Δ）＝τ(1)/1^s+τ(2)/2^s+τ(3)/3^s+......[br]=Στ(k)k^(-s)[br]=Π(1/[1-τ(p)(p^(-s))+p^11 (p^(-s))^2] ) [br]（2次のオイラー積）[br][/size][/color][/b][br]を見つけたのです。[br][br]これまた、ラマヌジャンは証明はしてませんでしたが、おなじみのモーデルさんが証明しています。[br]ラマヌジャンが気付いていたことを、明確にすきがないようにモーデルさんが記述したのですね。[br]中身は今まで紹介した、[b]τの２つの性質を使う[/b]という点では同じです。[br][br]超技巧的な式変形ですが、共通因数でくくったり、置き換えをしたり、[br]数学的帰納法を使うなどの高校数学の技法を粘り強く使っているようです。[br]いわゆる、「初等的だけど難度が高い」というものです。[br]なので、省略します。[br][br]この計算や証明の詳細は、[br]具体的でわかりやすい説明が小島本「ラマヌジャンの数学」の第４章にあります。[br]厳密でていねいな説明が黒川さんらの本「数論Ⅱ 岩沢理論と保型形式」の第９章の１にあります。[br]論理的な飛躍が嫌いで、隙間をうめないと気が済まない人は参考にしてみてください。

＜保型形式の重みの利用について＞[br][br]モジュラー変換で不変なものを探したことがあったね。くわしくは[url=https://www.geogebra.org/m/twxxx3yq#material/q8ktcyye]こちら[br][/url]その舞台は、複素平面上にある格子Ｌというのは、ぷつぶつの点（複素数）ｗの集まりで、[br]２つの基底ｗ１、ｗ２の整数係数の線形結合L = {mw_1 + nw_2}なので加法群です。[br]（基底比τ＝w1/w2は上半平面とします。つまり、Im（τ）は正です。）[br]「複素数ｚに対するモジュラー変換」とは、1次分数変換z=(az+b)/(cz+d)を行列{{a,b},{c,d}}に表示したときに行列式ad-bc＝１となるたちへの名前でしたね。基本はシフトz+1と反転-1/zの合成でできた。[br]これらのモジュラー変換をかませてから関数ｆにτを入れて[color=#0000ff][size=150]f(M(τ))=(cτ+d)^k f(τ)[/size][/color]となるときに、[br]関数ｆを「[b]重さｋの保型形式[/b]」と呼びました。（分数式の分母のｋ乗倍という形に書くということです。）[br]たとえば、アイゼンシュタイン級数gk(z)=Σ1/(mz+n)^kの重みはkだったね。[br][br]保型形式については、これ以上くわしくかきませんが、[br]ラマヌジャンのΔ関数は「[b]重み12の[/b][b]保型形式」[/b]だということが証明されていますね。ラマヌジャン自身がいろんな保形形式の重み知っていて、それを利用して計算したと思わる実験数式メモがたくさんあるようです。[br]アイゼンシュタイン級数gk(z)を2ζ(k)で割った商をEk(z)と名付けるとEk(z)=gk(z)/2ζ(k)。[br]たとえば、Σ∞(k^5/e^{2kπ}-1)=1/504。[br]これは正則アイゼンシュタイン級数E6(z)が重み6であることを利用してます。[br]また、[br]1/(2π√2)=1103/99^2[br] +(1103+26390 )/99^{2+4 } *4!/(4)^4[br] +(1103+26390*2)/99^{2+4*2} *(4*2)!/(4^2*2!)^4+................[br] +(1103+26390*k)/99^{2+4*k} *(4*k)!/(4^k*k!)^4 + ......................[br]これが、E2(z)を利用して求めているようです。[br]ちなみに、[br]1/(2π√2)=1103/99^2[br] +(1103+26390 )/99^{2+4 } *4!/(4)^4[br]からπ≒3.141592653589793と小数第15位まで一致するそうです。[br][br][color=#9900ff][size=150][u]課題：geogebraで奇跡的なラマヌジャンの近似の精度を確認しよう。[br][/u][/size][/color][br]geogebraの表示は小数第15位までにします。[br]a=1103/99^2[br]b=(1103+2630)/99^6 4!/4^4[br]c=1/ (a+b)2√2 [br]text1="第2項までのπの近似"+c+""[br]3. 141592653589 793238462643.…ですが、内部計算の精度の関係で、第15位は4になりました。[br]第2項までのπの近似3.14159265358979[b]4[br][/b]と表示されてますね。