9
現代数学解説
文献あり

ラマヌジャンのある円周率公式の初等的な証明と一般化

403
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} $$

はじめに

 この記事ではラマヌジャンの発見した円周率公式
$$\frac1\pi=\sum^\infty_{n=0}\frac{(\frac12)_n(\frac1s)_n(1-\frac1s)_n}{(1)_n^3}\frac{An+B}{C^n}\qquad\l(s=2,3,4,6\r)$$
の初等的な導出とその一般化について紹介していきます。
 以下$(x)_n$をポッホハマー記号、つまり
$$(x)_n=x(x+1)\cdots(x+n-1)=\frac{\G(x+n)}{\G(x)}$$
とします。

WZ-methodとCarlsonの定理

hypergeometric term

 $A(n+1)/A(n)$$n$についての有理関数となるような数列$A(n)$のことをhypergeometric termと言う。

 例えば上の$\sum$の中身
$$A(n)=\frac{(\frac12)_n(\frac1s)_n(1-\frac1s)_n}{(1)_n^3}(an+b)z^n$$

$$\frac{A(n+1)}{A(n)}=\frac{(\frac12+n)(\frac1s+n)(1-\frac1s+n)}{(n+1)^3}\frac{a(n+1)+b}{an+b}z$$
を満たすのでhypergeometric termとなります。
 そしてこのような数列の和$\sum A(n)$を変形するのにWZ-methodという興味深い手法があります。

WZ-pair

 二重数列$F(n,k)$がhypergeometric termであるとは
$$\frac{F(n+1,k)}{F(n,k)},\quad\frac{F(n,k+1)}{F(n,k)}$$
がそれぞれ$n,k$についての有理関数となることを言う。
 また$2$つのhypergeometric term$F(n,k),G(n,k)$WZ-pairであるとは
$$F(n+1,k)-F(n,k)=G(n,k+1)-G(n,k)$$
を満たすことを言う。このとき$R(n,k)=G(n,k)/F(n,k)$$n,k$についての有理関数となる(これをcertificateと言う)。

 もしhypergeometric term$G(n,k)$に対しWZ-pairとなる$F(n,k)$が存在すれば
$$\sum^b_{n=a}(G(n,k+1)-G(n,k))=F(b+1,k)-F(a,k)$$
が成り立ちます。特に
$$F(0,k)=0,\quad\lim_{n\to\infty}F(n,k)=0$$
であれば
$$f(k)=\sum^\infty_{n=0}G(n,k)$$
$k$に依らず一定となります。
 いま$k$は整数としていましたが$F,G$$k$についての複素関数に拡張できるとき、$f$$f(k+1)=f(k)$なる周期関数ということになります。そして実は適当な条件下で$f$は複素関数としても一定となることが示せます。

Carlsonの定理

 $\Re(z)\geq0$上の正則関数$f$
・ある定数$c<\pi$に対して$|f(z)|=O(e^{c|z|})$
$z=0,1,2,\ldots$に対して$f(z)=0$
を満たすとき、$f$は恒等的に$0$となる。

 これを用いると適当な複素数$k_0$に対して特殊値$f(k_0)$を求めることで$k$に依らない等式
$$f(k_0)=\sum^\infty_{n=0}G(n,k)$$
が得られることとなります。
 まだ漠然としているのでまずは一つ具体例を見ていくこととしましょう。

Ekhad, Zeilberger (1994)

 わずか$1$ページのこの論文では円周率公式
$$\frac2\pi=\sum^\infty_{n=0}(-1)^n(4n+1)\frac{(\frac12)_n^3}{(1)_n^3}$$
の次のような一般化を証明しています。

$$\frac{\G(\frac32+k)}{\G(\frac32)\G(k+1)} =\sum^\infty_{n=0}(-1)^n(4n+1)\frac{(\frac12)_n^2(-k)_n}{(1)_n^2(\frac32+k)_n}$$

\begin{align*} G(n,k)&=(-1)^n(4n+1)\frac{(\frac12)_n^2(-k)_n}{(1)_n^2(\frac32+k)_n} \cdot\frac{\G(\frac32)\G(k+1)}{\G(\frac32+k)}\\ F(n,k)&=\frac{(2n+1)^2}{(2n+2k+3)(4n+1)}G(n,k) \end{align*}
とおくとこれらは
$$F(n,k)-F(n-1,k)=G(n,k+1)-G(n,k)$$
を満たす。
 特に$G(0,0)=1,G(n,0)=0\ (n>0)$に注意すると
$$\sum^\infty_{n=0}G(n,k)=\sum^\infty_{n=0}G(n,0)=1$$
を得る。

 実際$k\mapsto k-\frac12$とすると
$$\frac{(1)_k}{(\frac12)_k}\cdot\frac2\pi =\sum^\infty_{n=0}(-1)^n(4n+1)\frac{(\frac12)_n^2(\frac12-k)_n}{(1)_n^2(1+k)_n}$$
と表せるので、$k=0$において
$$\frac2\pi=\sum^\infty_{n=0}(-1)^n(4n+1)\frac{(\frac12)_n^3}{(1)_n^3}$$
が得られることがわかります。

Zeilbergerの定理

 上ではWZ-methodを使うことで
$$\sum^\infty_{n=0}G(n,k)=1$$
という等式が得られましたが、さらにここからある二重数列$G_j(n,k)$を構成することで
$$1=\sum^\infty_{n=0}G(n,k) =\sum^\infty_{n=0}G_1(n,k) =\sum^\infty_{n=0}G_2(n,k) =\sum^\infty_{n=0}G_3(n,k)=\cdots$$
という恒等式を増産することができます。

 WZ-pair$F(n,k),G(n,k)$に対し
$$F_1(n,k)=F(n,n+k),\ G_1(n,k)=F(n+1,n+k)+G(n,n+k)$$
とおくとこれは再びWZ-pairとなる。

Zeilbergerの定理

 WZ-pair$F(n,k),G(n,k)$$F(n,k)\to0\quad(n\to\infty)$を満たすとき
$$\sum^\infty_{n=0}G(n,k)=\sum^\infty_{n=0}G_1(n,k)$$
が成り立つ。

 詳細は読めていないので雰囲気で説明する。詳しくは Zeilberger (1993) を参照されたい。

 微分形式に類似して差分形式
$$\o=F(n,k)\d k+G(n,k)\d n$$
というものを考え、グリッド上の経路
\begin{align} C_n&:(n,k)\to(n+a,k\phantom{{}+a})\\ C_k&:(n,k)\to(n\phantom{{}+a},k+a) \end{align}
における和分を
$$\sum_{C_n}\o=\sum^{a-1}_{j=0}G(n+j,k),\quad\sum_{C_k}\o=\sum^{a-1}_{j=0}F(n,k+j)$$
によって定める。このとき閉経路$C$に対して
$$0=\sum_C\o$$
が成り立つ(これが重要)。
 いま階段状の閉経路$C=C_1+C_2-C_3$
\begin{align} C_1&:(0,k)\to(1,k)\to(2,k)\to\cdots\\ C_2&:(\infty,k)\to(\infty,k+1)\to(\infty,k+2)\to\cdots\\ C_3&:(0,k)\to(1,k)\to(1,k+1)\to(2,k+1)\to(2,k+2)\to\cdots \end{align}
における和分を考えることで($\sum_{C_2}\o=0$に注意すると)
$$0=\sum^\infty_{n=0}G(n,k)-\sum^\infty_{n=0}(F(n+1,n+k)+G(n,n+k))$$
を得る。

Guilleraの公式

 そんなこんなでアレコレした結果Guillera (2006,2010)では次のような結果が紹介されています(certificateについては元論文を参照してください)。
 なお$\sum$の中身は$k=0$のとき
$$\frac{(\frac12)_n(\frac1s)_n(1-\frac1s)_n}{(1)_n^3}$$
になる部分と$(\frac12)_n/(\frac12)_n=1$になる部分に分けて書いています。

Guillera (2006)

\begin{align} \frac{(1)_k}{(\frac12)_k}\cdot\frac4\pi &=\sum^\infty_{n=0}\frac{(\frac12)_n(\frac12-k)_n(\frac12+k)_n}{(1)_n^2(1+k)_n} \frac{6n+2k+1}{2^{2n}}\\ 2^k\frac{(1)_k}{(\frac12)_k}\cdot\frac{2\sqrt2}\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12-k)_n(\frac12+k)_n^2}{(1)_n^2(1+k)_n} \frac{6n+2k+1}{2^{3n}}\\ \frac{(1)_k}{(\frac12)_k}\cdot\frac{16}\pi &=\sum^\infty_{n=0}\frac{(\frac12)_n(\frac12-k)_n(\frac12+k)_n}{(1)_n^2(1+\frac k2)_n}\frac{(\frac12+k)_n}{(\frac12+\frac k2)_n} \frac{(2n+1)(42n+5)+k(56n+4k+12)}{2^{6n}(2n+k+1)}\\ \\ \frac{(1)_k}{(\frac12)_k}\cdot\frac8\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n(\frac14-\frac k2)_n(\frac34-\frac k2)_n}{(1)_n^2(1+k)_n}\frac{20n+2k+3}{2^{2n}}\\ \l(\frac43\r)^k\frac{(1)_k}{(\frac12)_k}\cdot\frac{2\sqrt2}\pi &=\sum^\infty_{n=0}\phantom{(-1)^n}\frac{(\frac12+k)_n(\frac14-\frac k2)_n(\frac34-\frac k2)_n}{(1)_n^2(1+k)_n}\frac{8n+2k+1}{3^{2n}}\\ \l(\frac43\r)^k\frac{(1)_k}{(\frac12)_k}\cdot\frac{16\sqrt3}{3\pi} &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12-k)_n(\frac14+\frac k2)_n(\frac34+\frac k2)_n}{(1)_n^2(1+\frac k2)_n}\frac{(\frac12+k)_n}{(\frac12+\frac k2)_n} \frac{(2n+1)(28n+3)+k(36n+4k+8)}{2^{4n}3^n(2n+k+1)}\\ \\ \frac{(1)_n^2}{(\frac12)_n^2}\cdot\frac8{\pi^2} &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n^3(\frac12-k)_n(\frac12+k)_n}{(1)_n^3(1+k)_n^2} \frac{20n^2+12kn+8n+2k+1}{2^{2n}}\\ \frac{(1)_n^2}{(\frac12)_n^2}\cdot\frac{32}{\pi^2} &=\sum^\infty_{n=0}\phantom{(-1)^n}\frac{(\frac12)_n^3(\frac14-\frac k2)_n(\frac34-\frac k2)_n}{(1)_n^3(1+k)_n^2}\frac{120n^2+84kn+34n+10k+3}{2^{4n}} \end{align}
 
\begin{alignat}{3} \frac2\pi&=\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n^3}{(1)_n^3}(4n+1) &&=\frac12\sum^\infty_{n=0}\frac{(\frac12)_n^3}{(1)_n^3}\frac{6n+1}{2^{2n}}\\ \frac4\pi&=\sum^\infty_{n=0}\frac{(\frac12)_n^3}{(1)_n^3}\frac{6n+1}{2^{2n}} &&=\frac12\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n(\frac14)_n(\frac34)_n}{(1)_n^3}\frac{20n+3}{2^{4n}}\\ \frac{2\sqrt2}\pi&=\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n^3}{(1)_n^3}\frac{6n+1}{2^{3n}} &&=\frac14\sum^\infty_{n=0}\frac{(\frac12)_n(\frac14)_n(\frac34)_n}{(1)_n^3}\frac{48n^2+32n+3}{2n+1}\frac1{2^{6n}}\\ \frac8\pi&=\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n(\frac14)_n(\frac34)_n}{(1)_n^3}\frac{20n+3}{2^{4n}} &&=\frac12\sum^\infty_{n=0}\frac{(\frac12)_n^3}{(1)_n^3}\frac{42n+5}{2^{6n}}\\ \frac{2\sqrt3}\pi&=\sum^\infty_{n=0}\frac{(\frac12)_n(\frac14)_n(\frac34)_n}{(1)_n^3}\frac{8n+1}{6^{2n}} &&=\frac38\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n(\frac14)_n(\frac34)_n}{(1)_n^3}\frac{28n+3}{2^{6n}3^n} \end{alignat}

Guillera (2010)

\begin{align} \l(\frac14\r)^k\frac{(1)_k^2}{(\frac14)_k(\frac34)_k}\cdot\frac2\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n(\frac12-k)_n^2}{(1)_n(1+k)_n^2}(4n+1)\\ \l(\frac{16}{27}\r)^k\frac{(1)_k^2}{(\frac16)_k(\frac56)_k}\cdot\frac4\pi &=\sum^\infty_{n=0}\phantom{(-1)^n}\frac{(\frac12-k)_n(\frac12+k)_n(\frac12+3k)_n}{(1)_n(1+k)_n(1+2k)_n}\frac{6n+6k+1}{2^{2n}}\\ \l(\frac{32}{27}\r)^k\frac{(1)_k^2}{(\frac16)_k(\frac56)_k}\cdot\frac{2\sqrt2}\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12-k)_n(\frac12+k)_n(\frac12+3k)_n}{(1)_n(1+k)_n(1+2k)_n}\frac{6n+6k+1}{2^{3n}}\\ \frac{(1)_k^2}{(\frac14)_k(\frac34)_k}\cdot\frac{16}\pi &=\sum^\infty_{n=0}\frac{(\frac12)_n(\frac12-k)_n(\frac12+2k)_n}{(1)_n(1+k)_n(1+\frac k2)_n}\frac{(\frac12+k)_n}{(\frac12+\frac k2)_n} \frac{(2n+1)(42n+5)+k(84n+24k+26)}{2^{6n}(2n+k+1)}\\ \\ \l(\frac{16}{27}\r)^k\frac{(1)_k^2}{(\frac16)_k(\frac56)_k}\cdot\frac8\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12+k)_n(\frac14+\frac{3k}2)_n(\frac34+\frac{3k}2)_n}{(1)_n(1+k)_n^2}\frac{20n+18k+3}{2^{2n}}\\ \frac{(1)_k^2}{(\frac16)_k(\frac56)_k}\cdot\frac{2\sqrt3}\pi &=\sum^\infty_{n=0}\phantom{(-1)^n}\frac{(\frac12)_n(\frac14+\frac{3k}2)_n(\frac34+\frac{3k}2)_n}{(1)_n(1+k)_n^2}\frac{8n+6k+1}{3^{2n}}\\ \frac{(1)_k^2}{(\frac16)_k(\frac56)_k}\cdot\frac{16\sqrt3}\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12-k)_n(\frac14)_n(\frac34)_n}{(1)_n(1+k)_n^2}\frac{(\frac12+3k)_n}{(\frac12)_n}\frac{(2n+1)(28n+3)+k(40n+18)}{2^{4n}3^n(2n+1)}\\ \\ \frac{(1)_k^2}{(\frac13)_k(\frac23)_k}\cdot\frac{3\sqrt3}\pi &=\sum^\infty_{n=0}\phantom{(-1)^n}\frac{(\frac12+k)_n(\frac13)_n(\frac23)_n}{(1)_n(1+k)_n(1+2k)_n}\frac{6n+6k+1}{2^n}\\ \frac{(1)_k^2}{(\frac14)_k(\frac34)_k}\cdot\frac{12\sqrt3}\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12)_n(\frac13+k)_n(\frac23+k)_n}{(1)_n(1+k)_n(1+\frac k2)_n}\frac{(\frac12+2k)_n}{(\frac12+\frac k2)_n}\frac{(2n+1)(51n+7)+k(114n+36k+37)}{2^{4n}(2n+k+1)}\\ 4^k\frac{(1)_k^2}{(\frac16)_k(\frac56)_k}\cdot\frac{4\sqrt3}{3\pi} &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12-k)_n(\frac13+k)_n(\frac23+k)_n}{(1)_n(1+k)_n(1+3k)_n}\frac{(\frac12+3k)_n}{(\frac12)_n}\frac{(2n+1)(5n+1)+k(16n+6k+7)}{(4/3)^{2n}(2n+1)}\\ \\ \l(\frac{32}{27}\r)^k\frac{(1)_k^2}{(\frac16)_k(\frac56)_k}\cdot\frac{32\sqrt2}\pi &=\sum^\infty_{n=0}(-1)^n\frac{(\frac12-k)_n(\frac16+k)_n(\frac56+k)_n}{(1)_n(1+k)_n(1+\frac k2)_n}\frac{(\frac12+k)_n}{(\frac12+\frac k2)_n} \frac{(2n+1)(154n+15)+k(352n+108k+108)}{(8/3)^{3n}(2n+k+1)} \end{align}

 やべ~
 ちなみにJ. Guilleraはこの他にも$q$-類似による一般化など様々な公式を量産しているようなので興味があれば調べてみてはいかがでしょうか。

参考文献

[1]
S. B. Ekhad, D. Zeilberger, A WZ proof of Ramanujan’s formula for π, arXiv, 1993
[3]
J. Guillera, Generators of some Ramanujan formulas, Ramanujan Journal, 2006, 41-48
[4]
J. Guillera, On WZ-pairs which prove Ramanujan series, Ramanujan Journal, 2010, 249-259
投稿日:20231228
更新日:20231230
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

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