この記事ではラマヌジャンの書いた論文"On question 330 of Professor Sanjana"を読んでいきます。
タイトルの2という番号はハーディによる書籍"Collected Papers of Srinivasa Ramanujan"におけるナンバリングに準じています。ちなみに"Collected Papers"の全容については
こちらのサイト
や
こちらのサイト
にて閲覧することができます。
なお各命題の証明については論文で示されている式変形以外は自力で考案したものとなるので至らぬ点もあるかもしれませんがあしからず。
この論文の主題は
$$\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(2k+1)^n}$$
という級数(ただし$(-1)!!=1$とする)、ひいてはその一般化として
$$\sum^\infty_{k=0}\frac{(1-a)_k}{(1)_k}\frac1{(b+k)^n}$$
という級数の値を求めることにあります。
ただし$(x)_k$はポッホハマー記号
$$(x)_k=x(x+1)(x+2)\cdots(x+k-1)$$
としました。特に
\begin{align}
\frac{(\frac12)_k}{(1)_k}
&=\frac{\frac12\cdot\frac32\cdot\frac52\cdots\frac{2k-1}2}{1\cdot2\cdot3\cdots k}\\
&=\frac{1\cdot3\cdot5\cdots(2k-1)}{2\cdot4\cdot6\cdots 2k}=\frac{(2k-1)!!}{(2k)!!}
\end{align}
が成り立つことに注意しましょう。
$$f(x)=\sum^\infty_{k=0}\frac{(1-a)_k}{(1)_k}\frac1{x+b+k}$$
とおくと
$$f(x)=\frac{\G(a)\G(x+b)}{\G(x+a+b)}$$
が成り立つ。
$$f(x)=\frac1{x+b}\F{1-a}{x+b}{x+b+1}1$$
と表せることと超幾何定理
$$\F abc1=\frac{\G(c)\G(c-a-b)}{\G(c-a)\G(c-b)}$$
に注意するとわかる。
$$\s_n=\sum^\infty_{k=0}\l(\frac1{(b+k)^n}-\frac1{(a+b+k)^n}\r)$$
とおくと
$$\log f(x)=\log\frac{\G(a)\G(b)}{\G(a+b)}+\sum^\infty_{n=1}\frac{(-1)^n}n\s_nx^n$$
が成り立つ。
$$\frac1{\G(x)}=xe^{\g x}\prod^\infty_{k=1}\l(1+\frac xk\r)e^{-\frac xk}$$
より
\begin{align}
\log\frac{\G(x+c)}{\G(c)}
&=-\g x-\log\l(1+\frac xc\r)-\sum^\infty_{k=1}(\log\l(1+\frac x{c+k}\r)-\frac xk)\\
&=-\g x+\sum^\infty_{k=0}(\frac x{k+1}-\log\l(1+\frac x{c+k}\r))\\
&=-\g x+\sum^\infty_{k=0}(\frac x{k+1}+\sum^\infty_{n=1}\frac{(-1)^n}{n(c+k)^n}x^n)
\end{align}
が成り立つことに注意すると
\begin{align}
\log f(x)
&=\log\frac{\G(a)\G(b)}{\G(a+b)}+\log\frac{\G(x+b)}{\G(b)}-\log\frac{\G(x+a+b)}{\G(a+b)}\\
&=\log\frac{\G(a)\G(b)}{\G(a+b)}+\sum^\infty_{k=0}\sum^\infty_{n=1}\frac{(-1)^n}n\l(\frac1{(b+k)^n}-\frac1{(a+b+k)^n}\r)x^n\\
&=\log\frac{\G(a)\G(b)}{\G(a+b)}+\sum^\infty_{n=1}\frac{(-1)^n}n\s_nx^n
\end{align}
を得る。
$$\phi(n)=\sum^\infty_{k=0}\frac{(1-a)_k}{(1)_k}\frac1{(b+k)^{n+1}}$$
とおくと
$$\phi(0)=\frac{\G(a)\G(b)}{\G(a+b)}$$
および
$$n\phi(n)=\sum^n_{k=1}\s_k\phi(n-k)$$
が成り立つ。
$\phi(0)$については補題1から
$$\phi(0)=f(0)=\frac{\G(a)\G(b)}{\G(a+b)}$$
と求まる。また
\begin{align}
f(x)
&=\sum^\infty_{k=0}\frac{(1-a)_k}{(1)_k}\sum^\infty_{n=0}(-1)^n\frac{x^n}{(b+k)^{n+1}}\\
&=\sum^\infty_{n=0}(-1)^n\phi(n)x^n
\end{align}
と展開できることに注意すると
\begin{align}
f'(x)&=f(x)(\log f(x))'\\
\sum^\infty_{n=1}(-1)^nn\phi(n)x^{n-1}
&=\l(\sum^\infty_{n=0}(-1)^n\phi(n)x^n\r)\l(\sum^\infty_{n=1}(-1)^n\s_nx^{n-1}\r)\\
&=\sum^\infty_{n=1}(-1)^n\l(\sum^n_{k=1}\s_k\phi(n-k)\r)x^{n-1}
\end{align}
が成り立つので、この両辺の$x^{n-1}$の係数を比較することで主張を得る。
\begin{align} \sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(2k+1)^1}&=\frac\pi2\\ \sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(2k+1)^2}&=\frac\pi2\log2\\ \sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(2k+1)^3}&=\frac{\pi^3}{48}+\frac\pi4(\log2)^2\\ \sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(2k+1)^4}&=\frac{\pi^3}{48}\log2+\frac\pi{12}(\log2)^3+\frac\pi8\z(3) \end{align}
$a=b=\frac12$において
\begin{align}
\phi(n-1)
&=2^n\sum^\infty_{k=0}\frac{(\frac12)_k}{(1)_k}\frac1{(2k+1)^n}\\
&=2^n\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(2k+1)^n}\\
\s_n
&=2^n\sum^\infty_{k=0}\l(\frac1{(2k+1)^n}-\frac1{(2k+2)^n}\r)\\
&=2^n\sum^\infty_{k=1}\frac{(-1)^{n-1}}{k^n}
\end{align}
と表せるので
\begin{align}
\psi(n)&=\frac{\phi(n)}{2^{n+1}}
=\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(2k+1)^{n+1}}\\
\eta(n)&=\frac{\s_n}{2^n}=\sum^\infty_{k=1}\frac{(-1)^{k-1}}{k^n}
\end{align}
とおくと定理3から
$$\psi(0)=\frac12\frac{\G(\frac12)\G(\frac12)}{\G(1)}=\frac\pi2$$
および
$$n\psi(n)=\sum^n_{k=1}\eta(k)\psi(n-k)$$
が成り立つ。
あとは
$$\eta(1)=\log2,\quad\eta(2)=\frac{\pi^2}{12},\quad\eta(3)=\frac34\z(3)$$
に注意するとわかる。
\begin{align}
\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(4k+1)^1}
&=\frac{\G(\frac14)^2}{4\sqrt{2\pi}}\\
\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(4k+1)^2}
&=\frac{\G(\frac14)^2}{4\sqrt{2\pi}}\cdot\frac\pi4\\
\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(4k+1)^3}
&=\frac{\G(\frac14)^2}{4\sqrt{2\pi}}\l(\frac{\pi^2}{32}+\frac12\b(2)\r)\\
\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(4k+1)^4}
&=\frac{\G(\frac14)^2}{4\sqrt{2\pi}}\l(\frac{5\pi^3}{384}+\frac\pi8\b(2)\r)
\end{align}
ただし$\b$はディリクレのベータ関数
$$\b(s)=\sum^\infty_{k=0}\frac{(-1)^k}{(2k+1)^s}$$
とした。
上と同様に$a=\frac12,b=\frac14$において
\begin{align}
\psi(n)&=\frac{\phi(n)}{4^{n+1}}
=\sum^\infty_{k=0}\frac{(2k-1)!!}{(2k)!!}\frac1{(4k+1)^{n+1}}\\
\b(n)&=\frac{\s_n}{4^n}=\sum^\infty_{k=0}\frac{(-1)^k}{(2k+1)^n}
\end{align}
とおくと
$$\psi(0)=\frac14\frac{\G(\frac12)\G(\frac14)}{\G(\frac34)}$$
および
$$n\psi(n)=\sum^n_{k=1}\b(k)\psi(n-k)$$
が成り立つので、あとは倍数公式から
$$\G\l(\frac14\r)\G\l(\frac34\r)=\sqrt{2\pi}\cdot\G\l(\frac12\r)$$
が成り立つことと
$$\b(1)=\frac\pi4,\quad\b(3)=\frac{\pi^3}{32}$$
と求まることに注意するとわかる。