ラマヌジャンの円周率公式のひとつである $$\frac{16}{\pi}=\sum_{k=0}^{\infty }{\frac{\left(42\,k+5\right)\,A_{k}}{2^{6\,k}}}\, ただし A_k=\frac{\left(\frac12\right)_k^3}{k!^3}$$ の証明を調べてMaximaで式変形を追いながら理解することができまし…

今回は今までに得られたアイゼンシュタイン級数の公式を元にして、ラマヌジャンの円周率公式のひとつを証明します。今回証明するのは次の式です。 $$\frac{16}{\pi}=5+ \frac{47}{64}\,\left(\frac12\right)^3 + \frac{89}{64^2}\,\left(\frac{1\cdot 3}{2\c…

今回は今までに求めてきた２つの\(P(q)\)に関する数式を、\(n\)を適当な自然数として\(q=e^{-2\,\pi\,\sqrt{n}}\)の場合に特化した数式として計算してみます。とは言ってもおおむね代入して整理するだけです。 その系として次の式がほぼ自明に得られることも…

庭で見つけた足長蜂の巣。業者の方に退治してもらいました。 今回は次の公式を証明します。 \(P(q)=1-24\,\sum_{n=1}^{\infty}\frac{n\,q^n}{1-q^n}, a\,b=\pi^2\)として、 $$ 6-a\,P\left(e^{-2\,a}\right)=b\,P\left(e^{-2\,b}\right)$$ 参考文献としては…

ひとつ前の記事 maxima.hatenablog.jp を書き終えてからひとつ心に引っ掛かっていることがありました。普通は保型性を関数が\( z+1 \)や\(1/z\)で不変という形で表します。しかしラマヌジャンは\(a, b \gt 1, a\,b=\pi^2\)ならば\(h(a)=h(b)\)のような形で表…

今回はラマヌジャンのテータ関数の変換公式と呼ばれる次の式を証明します。次回以降でこの式からアイゼンシュタイン級数の変換公式を導きます。 $$ b^{\frac{1}{4}}\,e^ {- \frac{b}{12} }\,f\left(-e^{- 2\,b\,n }\right)=a^{\frac{1}{4}}\,e^ {- \frac{a}{…