4
現代数学解説
文献あり

ラマヌジャン・佐藤級数を理解したい(その7、公式集2)

75
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では 前回の記事 に続いてラマヌジャン・佐藤級数に関する公式の数々をまとめていきます。
 前回の記事ではChan, Cooper (2012)にて提示されていたLevel 1~6およびLevel 8,9の公式をまとめました。なのでこの記事では残るLevel 7およびLevel 10以上の公式についてまとめていきます。
 なお種々の文献から要点を抜き取ってまとめたものとなるので表記揺れや誤植などが目立つと思いますが、あしからず。

Level 7,18

メモ

 Chan, Cooperの手法では
\begin{align*} (n+1)^2s_{n+1}&=(an^2+an+b)s_n+cn^2s_{n-1}\\ (n+1)^3t_{n+1}&=-(2n+1)(an^2+an+a-2b)t_n-(4c+a^2)n^3t_{n-1} \end{align*}
という漸化式を考え
$$\frac1\pi =\sum^\infty_{n=0}\binom{2n}ns_n\frac{An+B}{X^n} =\sum^\infty_{n=0}t_n\frac{A'n+B'}{Y^n}$$
という公式を構成した。ここで$u_n=\binom{2n}ns_n$とおくとこれは
$$(n+1)^3u_{n+1}=2(2n+1)(an^2+an+b)u_n+4cn(4n^2-1)u_{n-1}$$
を満たすことに注意したい。
 しかし[CTYZ]にて考えられた数列
$$B_n=\sum^n_{k=0}\binom nk^4$$
の満たす漸化式は$u_n$のそれとは絶妙に異なるもの
$$(n+1)^3B_{n+1}=2(2n+1)(3n^2+3n+1)B_n+4n(16n^2-1)B_{n-1}$$
であった。
 そこでCooperは$s_{-1}=0,s_0=1$および
$$(n+1)^3s_{n+1}=(2n+1)(an^2+an+b)s_n+n(cn^2+d)s_{n-1}$$
によって定まる数列を考えることとした。これを$s_n[a,b,c,d]$と置くことにすると、例えば
\begin{align} t_n[a,b,c]&=s_n[-a,2b-a,-(4c+a^2),0]\\ u_n[a,b,c]&=s_n[2a,2b,16c,-4c]\\ B_n&=s_n[6,2,64,-4] \end{align}
と表せる。なお$\a^ns_n[a,b,c,d]=s_n[\a a,\a b,\a^2c,\a^2d]$が成り立つことに注意する。
 Cooperは
$$1\leq a\leq 50,\ |b|\leq20,\ |c|\leq200,\ |d|\leq30$$
における$s_n[a,b,c,d]$の値を探索してみたところ従来の$t_n,u_n$型のものの他に新たな数列
\begin{align*} s_n[6,2,64,-4]&=B_n\\ s_n[13,4,27,-3]&=\sum^n_{k=0}\binom nk^2\binom{2k}n\binom{n+k}k\\ s_n[14,6,-192,12]&=\sum^n_{k=0}(-1)^k\binom nk\binom{2k}k\binom{2n-2k}{n-k}(\binom{2n-3k-1}n+\binom{2n-3k}n) \end{align*}
が得られたという。

Level 7

Level 7の関係式

\begin{align*} j_{7A}(\tau)&=\l(\sqrt{j_{7B}(\tau)}+\frac7{\sqrt{j_{2B}(\tau)}}\r)^2-1\\ j_{7B}(\tau)&=\l(\frac{\eta(\tau)}{\eta(7\tau)}\r)^4 \end{align*}
および
$$s_{7A}(n)=s_n[13,4,27,-3]=\sum^n_{k=0}\binom nk^2\binom{2k}n\binom{n+k}k$$
とおくと
$$([1][7])^2=\sum^\infty_{n=0}\frac{s_{7A}(n)}{j_{7A}(\tau)^{n+\frac23}}$$
が成り立つ。

Level 7の円周率公式

$$\frac1{2\pi\Im(\tau)} =\sqrt{\frac{(j_{7A}(\tau)-27)(j_{7A}(\tau)+1)}{j_{7A}(\tau)}} \sum^\infty_{n=0}s_{7A}(n)\frac{n+\frac12+\la}{j_{7A}(\tau)^{n+\frac12}}$$
これは$|j_{7A}(\tau)|>27$において収束する。

特殊値一覧

\begin{array}{ccccc}\hline \tau&N&j_{7A}(\tau)&\la+\frac12&1/\pi\\\hline\sqrt{-N/7} &4&5^3&\dfrac4{21} &\dis\frac{8}{5^3}\sum^\infty_{n=0}s_{7A}(n)\frac{21n+4}{5^{3n}} \\\hline\dfrac{1+\sqrt{-N/7}}2 &13&-4^3&\dfrac{10}{39} &\dis\frac{\sqrt{7}}{4^3}\sum^\infty_{n=0}(-1)^ns_{7A}(n)\frac{39n+10}{4^{3n}}\\ &61&-22^3&\dfrac{1286}{11895} &\dis\frac{\sqrt7}{22^3}\sum^\infty_{n=0}(-1)^ns_{7A}(n)\frac{11895n+1286}{22^{3n}} \\\hline \end{array}

Level 18

 例の如く$[n]=\eta(n\tau)$とおく。

Level 18の関係式

\begin{align*} j_{18A}(\tau)&=\l(\sqrt{j_{18B}(\tau)}+\frac3{\sqrt{j_{18B}(\tau)}}\r)^2\\ j_{18B}(\tau)&=\frac{([3][6])^4}{([1][2][9][18])^2} \end{align*}
および
\begin{align*} s_{18A}(n) &=s_n[14,6,-192,12]\\ &=\sum^n_{k=0}(-1)^k\binom nk\binom{2k}k\binom{2n-2k}{n-k}(\binom{2n-3k-1}n+\binom{2n-3k}n) \end{align*}
とおくと
$$([3][6])^2=\sum^\infty_{n=0}\frac{s_{18A}(n)}{j_{18A}(\tau)^{n+\frac34}}$$
が成り立つ。

Level 18の円周率公式

$$\frac1{2\pi\Im(\tau)} =\sqrt{\frac{(j_{18A}(\tau)-16)(j_{18A}(\tau)-12)}{j_{18A}(\tau)}} \sum^\infty_{n=0}s_{18A}(n)\frac{n+\frac12+\la}{j_{18A}(\tau)^{n+\frac12}}$$
これは$|j_{18A}(\tau)|>16$において収束する。

特殊値一覧

\begin{array}{ccccc}\hline \tau&N&j_{18A}(\tau)&\la+\frac12&1/\pi\\\hline &2&18&0 &\dis\frac{2\sqrt3}{27}\sum^\infty_{n=0}s_{18A}(n)\frac n{18^n}\\\sqrt{-N/18} &5&6^2&\dfrac3{20} &\dis\frac{\sqrt3}{54}\sum^\infty_{n=0}s_{18A}(n)\frac{20n+3}{6^{2n}}\\ &11&12^2&\dfrac{15}{88} &\dis\frac{\sqrt3}{108}\sum^\infty_{n=0}s_{18A}(n)\frac{88n+15}{12^{2n}}\\ &29&54^2&\dfrac{789}{6380} &\dis\frac{\sqrt3}{4374}\sum^\infty_{n=0}s_{18A}(n)\frac{6380n+789}{54^{2n}} \\\hline &13&-6^2&\dfrac9{26} &\dis\frac{\sqrt3}{27}\sum^\infty_{n=0}(-1)^ns_{18A}(n)\frac{26n+9}{6^{2n}}\\\dfrac{1+\sqrt{-N}/3}2 &25&-180&\dfrac3{14} &\dis\frac{2\sqrt3}{27}\sum^\infty_{n=0}(-1)^ns_{18A}(n)\frac{14n+3}{180^n}\\ &37&-24^2&\dfrac{171}{1036} &\dis\frac{\sqrt3}{864}\sum^\infty_{n=0}(-1)^ns_{18A}(n)\frac{1036n+171}{24^{2n}} \\\hline \end{array}

Level 10

Level 10の関係式

\begin{align*} j_{10A}(\tau)&=\l(\sqrt{j_{10B}(\tau)}-\frac1{\sqrt{j_{10B}(\tau)}}\r)^2 =\l(\sqrt{j_{10C}(\tau)}+\frac4{\sqrt{j_{10C}(\tau)}}\r)^2 =\l(\sqrt{j_{10D}(\tau)}+\frac5{\sqrt{j_{10D}(\tau)}}\r)^2-4\\ j_{10B}(\tau)&=\l(\frac{[2][5]}{[1][10]}\r)^6\\ j_{10C}(\tau)&=\l(\frac{[1][5]}{[2][10]}\r)^4\\ j_{10D}(\tau)&=\l(\frac{[1][2]}{[5][10]}\r)^2\\ j_{10E}(\tau)&=\frac{[2][5]^5}{[1][10]^5}\\ \end{align*}
および
\begin{align*} \b_1(n)&=\sum^n_{k=0}\binom nk^4\\ \b_2(n)&=\binom{2n}n\sum^n_{k=0}\binom nk\binom{2k}k^{-1}\b_1(k)\\ \b_3(n)&=\binom{2n}n\sum^n_{k=0}\binom nk\binom{2k}k^{-1}(-4)^{n-k}\b_1(k)\\ \end{align*}
とおくと
$$\sqrt{([1][5])^4+4([2][10])^4} =\sum^\infty_{n=0}\frac{\b_1(n)}{j_{10A}(\tau)^{n+\frac12}} =\sum^\infty_{n=0}\frac{\b_2(n)}{(j_{10A}(\tau)+4)^{n+\frac12}} =\sum^\infty_{n=0}\frac{\b_3(n)}{(j_{10A}(\tau)-16)^{n+\frac12}}$$
が成り立つ。

Level 10の円周率公式

\begin{align*} \frac1{2\pi\Im(\tau)} &=\sqrt{\frac{(j_{10A}(\tau)+4)(j_{10A}(\tau)-16)}{j_{10A}(\tau)}} \sum^\infty_{n=0}\b_1(n)\frac{n+\frac12+\la_1}{j_{10A}(\tau)^{n+\frac12}}\\ &=\sqrt{\frac{(j_{10A}(\tau)-16)j_{10A}(\tau)}{j_{10A}(\tau)+4}} \sum^\infty_{n=0}\b_2(n)\frac{n+\frac12+\la_2}{(j_{10A}(\tau)+4)^{n+\frac12}}\\ &=\sqrt{\frac{j_{10A}(\tau)(j_{10A}(\tau)+4)}{j_{10A}(\tau)-16}} \sum^\infty_{n=0}\b_3(n)\frac{n+\frac12+\la_3}{(j_{10A}(\tau)-16)^{n+\frac12}} \end{align*}
これらはそれぞれ$|j_{10A}(\tau)|>16,\ |j_{10A}(\tau)+4|>20,\ |j_{20A}(\tau)-16|>20$において収束する。

 ちなみに$\b_1(n)$は三項間漸化式
$$(n+1)^3\b_1(n+1)=2(2n+1)(3n^2+3n+1)\b_1(n)+4n(16n^2-1)\b_1(n-1)$$
を満たし、$\b_2(n),\b_3(n)$は五項間漸化式
\begin{alignat*}{3} (n+1)^3\b_2(n+1)&= &4(8n^3+9n^2+5n+1)\b_2(n)\phantom{{}-1}\\ &&-16(18n^3-21n^2+11n-3)\b_2(n-1)\\ &&+8(2n-3)(64n^2-132n+73)\b_2(n-2)\\ &&-320(2n-3)(2n-5)(n-2)\b_2(n-3)\\\\ (n+1)^3\b_3(n+1)&= &-2(34n^3+27n^2+15n+3)\b_3(n)\phantom{{}-1}\\ &&-4(12n-7)(36n^2-31n+16)\b_3(n-1)\\ &&-32(2n-3)(304n^2-672n+413)\b_3(n-2)\\ &&-20480(2n-3)(2n-5)(n-2)\b_3(n-3)\\ \end{alignat*}
を満たす。

特殊値一覧

 以下
\begin{align*} -\la &=\sqrt{\frac{(j_{10A}(\tau)+4)(j_{10A}(\tau)-16)}{j_{10A}(\tau)}}\la_1\\ &=\sqrt{\frac{(j_{10A}(\tau)-16)j_{10A}(\tau)}{j_{10A}(\tau)+4}}\la_2\\ &=\sqrt{\frac{j_{10A}(\tau)(j_{10A}(\tau)+4)}{j_{10A}(\tau)-16}}\la_3 \end{align*}
とおく。(収束条件には重々注意されたい。)
\begin{array}{cccc}\hline \tau&N&j_{10A}(\tau)&\la\\\hline &3&6^2&\dfrac{5\sqrt2}6\\\sqrt{-N/10} &5&14^2&\dfrac{19\sqrt{10}}{14}\\ &13&36^2&\dfrac{188\sqrt{65}}{117}\\ &19&76^2&\dfrac{785\sqrt2}{38} \\\hline &3&-3^2&\dfrac{\sqrt5}6\\\dfrac{1+\sqrt{-N/5}}2 &5&-20&\dfrac{2\sqrt5}5\\ &9&-8^2&\dfrac{5\sqrt3}4\\ &17&-18^2&\dfrac{220\sqrt{17}}{153} \\\hline \end{array}

Level 13

Level 13の関係式

\begin{align} j_{13A}(\tau)&=j_{13B}(\tau)+2+\frac{13}{j_{13B}(\tau)}\\ j_{13B}(\tau)&=\l(\frac{\eta(\tau)}{\eta(13\tau)}\r)^2 \end{align}
 数列$A_n$$A_0=1$および六項間漸化式
\begin{alignat}{3} (n+1)^3A_{n+1}&= &(15n^3+18n^2+10n+2)A_{n\phantom{{}-1}}\\ &&-(23n^3-63n^2+27n-9)A_{n-1}\\ &&-(11n^3+24n^2-118n+70)A_{n-2}\\ &&+6(2n-5)(3n^2-9n+5)A_{n-3}\\ &&-4(2n-5)(2n-7)(n-3)A_{n-4} \end{alignat}
によって定めると
$$-q\frac d{dq}\log j_{13B}(\tau)=\sum^\infty_{n=0}\frac{A_n}{(j_{13A}(\tau)+4)^n}$$
が成り立つ。

Level 13の円周率公式

$$\frac1{2\pi\Im(\tau)}=\sqrt{\frac{j_{13A}(\tau)^2-4j_{13A}(\tau)-48}{j_{13A}(\tau)+4}} \sum^\infty_{n=0}A_n\frac{n+\frac12+\la}{(j_{13A}(\tau)+4)^{n+\frac12}}$$
これは$|j_{13A}(\tau)+4|>6+2\sqrt{13}=13.21\ldots$において収束する。

 ちなみにこれが有理的になる例は$\tau=(1+\sqrt{-31/13})/2$の場合
$$\frac{\sqrt{31}}\pi=\frac9{750}\sum^\infty_{n=0}(-1)^nA_n\frac{750n+161}{124^n} \qquad(j_{13A}=-128)$$
しか知られていない。

Level 14

Level 14の関係式

\begin{align*} j_{14A}(\tau)&=\l(\sqrt{j_{14B}(\tau)}+\frac1{\sqrt{j_{14B}(\tau)}}\r)^2\\ j_{14B}(\tau)&=\l(\frac{[2][7]}{[1][14]}\r)^4\\ b_n&=\sum^n_{k=0}\binom{2k}k^2\sum^k_{j=0}\binom kj\binom{n+j}{2k+2j}\binom{2k+2j}{k+j} \end{align*}
とおき数列$a_n$$a_0=1$および四項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&= &(2n+1)(11n^2+11n+5)a_{n\phantom{{}-1}}\\ &&-n(121n^2+20)a_{n-1}\\ &&+98n(n-1)(2n-1)a_{n-2} \end{alignat}
によって定めると
$$[1][2][7][5] =\sum^\infty_{n=0}\frac{a_n}{j_{14A}(\tau)^{n+1}} =\sum^\infty_{n=0}\frac{b_n}{(j_{14A}(\tau)-4)^{n+1}}$$
が成り立つ。

Level 14の円周率公式

\begin{align} \frac1{2\pi\Im(\tau)} &=\sqrt{\frac{(j_{14A}-4)(j_{14A}^2-18j_{14A}+49)}{j_{14A}}} \sum^\infty_{n=0}a_n\frac{n+1+\la_1}{j_{14A}(\tau)^{n+1}}\\ &=\sqrt{\frac{j_{14A}(j_{14A}^2-18j_{14A}+49)}{j_{14A}-4}} \sum^\infty_{n=0}a_n\frac{n+1+\la_2}{(j_{14A}(\tau)-4)^{n+1}} \end{align}
この前者は$|j_{14A}(\tau)|>9+4\sqrt2=14.65\ldots$において収束する。

\begin{array}{cccc}\hline \tau&N&j_{14A}(\tau)&\la_1+1\\\hline &2&18&\dfrac17\\\sqrt{-N/14} &3&25&\dfrac8{45}\\ &5&49&\dfrac{11}{60} \\\hline\dfrac{1+\sqrt{-N/7}}2 &19&-171&\dfrac{73}{340} \\\hline \end{array}

Level 15

Level 15の関係式

\begin{align*} j_{15A}(\tau)&=\l(\sqrt{j_{15B}(\tau)}+\frac3{\sqrt{j_{15B}(\tau)}}\r)^2\\ j_{15B}(\tau)&=\l(\frac{[1][5]}{[5][15]}\r)^2 \end{align*}
とおき数列$a_n$$a_0=1$および四項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&={} &(2n+1)(7n^2+7n+3)a_{n\phantom{{}-1}}\\ &&-n(29n^2+4)a_{n-1}\\ &&+30n(n-1)(2n-1)a_{n-2} \end{alignat}
によって定めると
$$[1][3][5][15]=\sum^\infty_{n=0}\frac{a_n}{j_{15A}(\tau)^{n+1}}$$
が成り立つ。

Level 15の円周率公式

$$\frac1{2\pi\Im(\tau)} =\sqrt{\frac{(j_{15A}-12)(j_{15A}^2-2j_{15A}+5)}{j_{15A}}} \sum^\infty_{n=0}a_n\frac{n+1+\la}{j_{15A}(\tau)^{n+1}}$$
これは$|j_{15A}(\tau)|>12$において収束する。

\begin{array}{cccc}\hline \tau&N&j_{15A}(\tau)&\la+\frac12\\\hline\sqrt{-N/15} &2&15&\dfrac14\\ &4&30&\dfrac3{13} \\\hline &13&-15&\dfrac{11}{26}\\\dfrac{1+\sqrt{-N/15}}2 &29&-75&\dfrac{251}{986}\\ &37&-135&\dfrac{113}{518}\\ &53&-363&\dfrac{2327}{13250} \\\hline \end{array}

Level 20

Level 20の関係式

\begin{align*} j_{20A}(\tau)&=\l(\sqrt{j_{20B}(\tau)}+\frac1{\sqrt{j_{20B}(\tau)}}\r)^2\\ j_{20B}(\tau)&=\l(\frac{[4][5]}{[1][20]}\r)^2 \end{align*}
とおき数列$a_n$$a_0=1$および四項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&={} &4(2n+1)(n^2+n+1)a_{n\phantom{{}-1}}\\ &&-16n(4n^2+1)a_{n-1}\\ &&+8(2n-1)^3a_{n-2} \end{alignat}
によって定めると
$$([2][10])^2=\sum^\infty_{n=0}\frac{a_n}{j_{20A}(\tau)^{n+1}}$$
が成り立つ。

Level 20の円周率公式

$$\frac1{2\pi\Im(\tau)} =\frac{\sqrt{(j_{20A}-4)(j_{20A}^2-12j_{20A}+16)}}{j_{20A}} \sum^\infty_{n=0}a_n\frac{n+\frac12+\la}{j_{20A}(\tau)^{n+\frac12}}$$
これは$|j_{20A}(\tau)|>2(3+\sqrt5)=10.47\ldots$において収束する。

 ちなみにこれが有理的になる例は$\tau=\sqrt{-3/20}$の場合
$$\frac1\pi=\frac1{16}\sum^\infty_{n=0}a_n\frac{6n+1}{16^n}$$
しか知られていない。

Level 21

Level 21の関係式

\begin{align*} j_{21A}(\tau)&=\l(\sqrt{j_{21B}(\tau)}-\frac1{\sqrt{j_{21B}(\tau)}}\r)^2\\ j_{21B}(\tau)&=\l(\frac{[3][7]}{[1][21]}\r)^2 \end{align*}
とおき数列$a_n$$a_0=1$および四項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&= &-(2n+1)(n^2+n+1)a_{n\phantom{{}-1}}\\ &&+n(35n^2+12)a_{n-1}\\ &&+6(3n-1)(3n-2)(2n-1)a_{n-2} \end{alignat}
によって定めると
$$[1][3][7][21]=\sum^\infty_{n=0}\frac{a_n}{j_{21A}(\tau)^{n+\frac43}}$$
が成り立つ。

Level 21の円周率公式

$$\frac1{2\pi\Im(\tau)} =\frac{\sqrt{(j_{21A}+4)(j_{21A}^2-2j_{21A}-27)}}{j_{21A}} \sum^\infty_{n=0}a_n\frac{n+\frac12+\la}{j_{21A}(\tau)^{n+\frac12}}$$

\begin{array}{cccc}\hline \tau&N&j_{21A}(\tau)&1/\pi\\\hline\sqrt{-N/21} &2&8 &\dis\frac{\sqrt3}8\sum^\infty_{n=0}a_n\frac{2n+1}{8^n} \\\hline\dfrac{1+\sqrt{-N/21}}2 &7&-7 &\dis\frac1{7\sqrt7}\sum^\infty_{n=0}(-1)^na_n\frac{6n+1}{7^n}\\ &23&-27 &\dis\frac1{108\sqrt3}\sum^\infty_{n=0}(-1)^na_n\frac{138n+35}{27^n} \\\hline \end{array}

Level 22

Level 22の関係式

\begin{align*} j_{22A}(\tau)&=\l(\sqrt{j_{22B}(\tau)}+\frac2{\sqrt{j_{21B}(\tau)}}\r)^2\\ j_{22B}(\tau)&=\l(\frac{[1][11]}{[2][22]}\r)^2 \end{align*}
とおき数列$a_n$$a_0=1$および五項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&= &2(2n+1)(2n^2+2n+1)a_{n\phantom{{}-1}}\\ &&+4n^3a_{n-1}\\ &&-2(2n-1)(9n^2-9n+4)a_{n-2}\\ &&+8(n-1)(2n-1)(2n-3)a_{n-3} \end{alignat}
によって定めると
$$[1][2][11][22]=\sum^\infty_{n=0}\frac{a_n}{j_{22A}(\tau)^{n+\frac32}}$$
が成り立つ。

Level 22の円周率公式

$$\frac1{2\pi\Im(\tau)} =\frac{\sqrt{(j_{22A}-8)(j_{22A}^3-4j_{22A}+4)}}{j_{22A}} \sum^\infty_{n=0}a_n\frac{n+\frac12+\la}{j_{22A}(\tau)^{n+\frac12}}$$

 これが有理的になる例は$\tau=(1+\sqrt{-23/11})/2$の場合
$$\frac{\sqrt{23}}\pi=\frac1{92}\sum^\infty_{n=0}(-1)^na_n\frac{665n+157}{92^n}$$
しか知られていない。

Level 33

Level 33の関係式

\begin{align*} j_{33A}(\tau)&=j_{33B}(\tau)+1+\frac3{j_{33B}(\tau)}\\ j_{33B}(\tau)&=\frac{[1][11]}{[3][33]} \end{align*}
とおき数列$a_n$$a_0=1$および六項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&= &-(2n+1)(n^2+n+)a_{n\phantom{{}-1}}\\ &&+n(11n^2+4)a_{n-1}\\ &&+4(2n-1)(7n^2-7n+5)a_{n-2}\\ &&+4(n-1)(24n^2-48n+29)a_{n-3}\\ &&+22(n-1)(n-2)(2n-3)a_{n-4} \end{alignat}
によって定めると
$$[1][3][11][33]=\sum^\infty_{n=0}\frac{a_n}{j_{33A}(\tau)^{n+2}}$$
が成り立つ。

Level 33の円周率公式

$$\frac1{2\pi\Im(\tau)} =\frac{\sqrt{(j_{33A}^2-2j_{33A}-11)(j_{33A}^3+4j_{33A}^2+8j_{33A}+4)}}{j_{33A}^2} \sum^\infty_{n=0}a_n\frac{n+\frac12+\la}{j_{33A}(\tau)^{n+\frac12}}$$

 これが有理的になる例は$\tau=(1+\sqrt{-19/33})/2$の場合
$$\frac{\sqrt{11}}\pi=\frac1{121}\sum^\infty_{n=0}(-1)^na_n\frac{266n+81}{11^n}$$
しか知られていない。

Level 35

Level 35の関係式

\begin{align*} j_{35A}(\tau)&=j_{35B}(\tau)+1-\frac1{j_{35B}(\tau)}\\ j_{35B}(\tau)&=\frac{[5][7]}{[1][35]} \end{align*}
とおき数列$a_n$$a_0=1$および六項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&= &(2n+1)(5n^2+5n+3)a_{n\phantom{{}-1}}\\ &&-n(37n^2+24)a_{n-1}\\ &&+2(2n-1)(25n^2-25n+24)a_{n-2}\\ &&-4(n-1)(34n^2-68n+43)a_{n-3}\\ &&+70(n-1)(n-2)(2n-3)a_{n-4} \end{alignat}
によって定めると
$$[1][5][7][35]=\sum^\infty_{n=0}\frac{a_n}{j_{35A}(\tau)^{n+2}}$$
が成り立つ。

Level 35の円周率公式

$$\frac1{2\pi\Im(\tau)} =\frac{\sqrt{(j_{35A}^2-2j_{35A}+5)(j_{35A}^3-8j_{35A}^2+16j_{35A}-28)}}{j_{35A}^2} \sum^\infty_{n=0}a_n\frac{n+\frac12+\la}{j_{35A}(\tau)^{n+\frac12}}$$

\begin{array}{cccc}\hline \tau&N&j_{35A}(\tau)&1/\pi\\\hline\sqrt{-N/35} &2&7 &\dis\frac{10}{49\sqrt{35}}\sum^\infty_{n=0}a_n\frac{4n+1}{7^n} \\\hline\dfrac{1+\sqrt{-N/35}}2 &17&-7 &\dis\frac1{49\sqrt7}\sum^\infty_{n=0}(-1)^na_n\frac{170n+123}{7^n}\\ &41&-28 &\dis\frac1{28^2\sqrt7}\sum^\infty_{n=0}(-1)^na_n\frac{2665n+1004}{28^n} \\\hline \end{array}

その他

 ここには明示的な関係式がよくわからなかったものについて、その係数となる数列と具体例だけをまとめておく。
 なお各種数列$s(n)$の初期値は$s(k)=0\;(k<0)$によって定めるものとする。

Level 11

 数列$a_n$$a_0=1$および四項間漸化式
\begin{alignat}{3} (n+1)^3a_{n+1}&={} &2(2n+1)(5n^2+5n+2)a_{n\phantom{{}-1}}\\ &&-8n(7n^2+1)a_{n-1}\\ &&+22n(n-1)(2n-1)a_{n-2} \end{alignat}
によって定めると
$$\frac1{2\pi\Im(\tau)}=\sqrt{1-20x+56x^2-44x^3}\sum^\infty_{n=0}a_n(An+B)x^n$$
なる円周率公式が構成できる。例えば
$$\frac1\pi=\frac1{22}\sum^\infty_{n=0}(-1)^na_n\frac{221n+67}{44^{n+\frac12}}$$
が成り立つ。

Level 17

 数列$A_n$$A_0=2$および八項間漸化式
\begin{alignat}{3} (n+1)^3A_{n+1}&= &(19n^3+24n^2+14n+3)A_{n\phantom{{}-1}}\\ &&+3(5n^5+27n^2-8n+4)A_{n-1}\\ &&-(101n^3-300n^2+213n-52)A_{n-2}\\ &&+3(55n^3-267n^2+491n-305)A_{n-3}\\ &&-3(n-3)(101n^2-297n+253)A_{n-4}\\ &&+9(n-4)(n-3)(37n-66)A_{n-5}\\ &&-127(n-5)(n-4)(n-3)A_{n-6} \end{alignat}
によって定めると
$$\frac{\sqrt{11}}\pi=\sum^\infty_{n=0}(-1)^nA_n\frac{748n+307}{21^{n+2}}$$
が成り立つ。

Level 25

\begin{align*} x^2(1+x-x^2)^3(1-4x-16x^2)z''\\ +3x(1+x-x^2)^3(1-6x-32x^2)z''\\ +(1+x-x^2)(1-12x-142x^2-224x^3+77x^4+192x^5-108x^6)z'\\ -(1+3x+6x^2-2x^3)(1+17x+9x^2+3x^3+6x^4)z&=0 \end{align*}
によって定まる関数
$$z=\sum^\infty_{n=0}a_nx^n$$
について、$a_n$はある九項間漸化式を満たし
$$\frac1{2\pi\Im(\tau)}=\sum^\infty_{n=0}a_n(An+B)x^n$$
なる円周率公式が構成できる。

おわりに

 どうやら今年の初頭に公開されたプレプリント

S. Cooper, Apéry-like sequences defined by four-term recurrence relations, arXiv, 2023

のTable 3 (p.18)にて現在解明されている
$$Z=\sum^\infty_{n=0}T(n)X^n,\quad\frac1{2\pi\Im(\tau)}=B\sum^\infty_{n=0}T(n)(n+\la)X^n$$
なる$Z,X,B,T(n)$についての詳細と対応する文献がいくつかまとめられているようです。
 流石に気力が尽きてしまったのでこの記事ではその全てを追うことはしませんが、興味があればそちらを参照されてはいかがでしょうか。

総括

 その5ではこの公式集をまとめているうちに何か見出せるかもしれないと思っていましたが、確かに多少の発見はあったとは言えど、むしろ何もわからないということがわかるばかりでした。前回までの記事で紹介してきたChan, Cooperの手法はかなり特別な例であっただけで、より一般のラマヌジャン・佐藤級数についてはあんな簡便な法則はなく、その構成には中々煩雑な議論が必要なようです。
 このシリーズの初回でも「観賞用の側面が強い」と評していたように私は一般のラマヌジャン・佐藤級数に対する関心はあまり高くなく、この記事で見てきたように観賞用としての側面も弱くなってしまうとなるとかなりモチベーションが下がってしまいました。なのでChan, Cooperの論文を通じてかなり面白い議論も嗜めたことですし、その蛇足にならぬようこのシリーズは今回の記事で終わりにしたいと思います。
 このシリーズが誰かの参考になっていれば幸いです。では。

参考文献

[1]
S. Cooper, Sporadic sequences, modular forms and new series for 1/π, Ramanujan Journal, 2012, 163-183
[2]
S. Cooper, Level 10 analogues of Ramanujan’s series for 1/π, J. Ramanujan Math. Soc., 2012, 59-76
[3]
S. Cooper, D. Ye, The Rogers–Ramanujan continued fraction and its level 13 analogue, Journal of Approximation Theory, 2015, 99-127
[4]
S. Cooper, D. Ye, Level 14 and 15 analogues of Ramanujan’s elliptic functions to alternative bases, Transactions of the American Mathematical Society, 2015, 7883-7910
[5]
T. Huber, D. Schultz, D. Ye, Level 17 Ramanujan-Sato series, Ramanujan Journal, 2020, 303-322
[6]
T. Huber, D. Schultz, D. Ye, Series for 1/π of signature 20, arXiv, 2017
[7]
T. Anusha, E.N. Bhuvan, S. Cooper, K.R. Vasuki, Elliptic integrals and Ramanujan-type series for 1/π associated with Γ_0(N), where N is a product of two small primes, Journal of Mathematical Analysis and Applications, 2019, 1551-1570
[8]
S. Cooper, Apéry-like sequences defined by four-term recurrence relations, arXiv, 2023
投稿日:20231227
更新日:20231227
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
985
225499
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中