この記事ではラマヌジャンの書いた論文"On the product $\dis\prod^\infty_{n=0}\l[1+\l(\frac x{a+nd}\r)^3\r]$"を読んでいきます。
タイトルの10という番号はハーディによる書籍"Collected Papers of Srinivasa Ramanujan"におけるナンバリングに準じています。ちなみに"Collected Papers"の全容については
こちらのサイト
や
こちらのサイト
にて閲覧することができます。
なお各命題の証明については論文で示されている式変形以外は自力で考案したものとなるので至らぬ点もあるかもしれませんがあしからず。
この論文の主題はある特定の条件を満たす$x,a,d$に対して
$$\prod^\infty_{n=0}\l[1+\l(\frac x{a+nd}\r)^3\r]$$
の値を求めたり、それを利用して
$$\int^\infty_0\frac{\arctan(x^3)}{e^{2\pi nx}-1}dx$$
の値を求めたりすることにあります。
また第4節では類似した手法(?)によって
$$\sum^\infty_{m=0}(-1)^{m-1}\frac{m^2}{m^3+n^3}$$
や
$$\int^\infty_0\frac{x^5}{\sinh\pi x}\frac{dx}{n^6+x^6}$$
の値も求めたりします。
以下簡単のため
$$\rho=\frac{1+\sqrt3i}2$$
とおく。
\begin{align} &\l[1+\l(\frac{\a+\b}{n+\a}\r)^3\r]\l[1+\l(\frac{\a+\b}{n+\b}\r)^3\r]\\ ={}&\frac{(1+\frac{\a+2\b}n)(1+\frac{\b+2\a}n)}{(1+\frac\a n)^3(1+\frac\b n)^3} \times\l[1-\l(\frac{\rho\a-\ol\rho\b}n\r)^2\r]\l[1-\l(\frac{\ol\rho\a-\rho\b}n\r)^2\r] \end{align}
$\rho+\ol\rho=1$に注意すると
\begin{align}
1+\l(\frac{\a+\b}{n+\a}\r)^3
&=\l(1+\frac{\a+\b}{n+\a}\r)\l(1-\ol\rho\frac{\a+\b}{n+\a}\r)\l(1-\rho\frac{\a+\b}{n+\a}\r)\\
&=\frac{1+\frac{2\a+\b}n}{(1+\frac\a n)^3}
\l(1+\frac{\rho\a-\ol\rho\b}n\r)\l(1+\frac{\ol\rho\a-\rho\b}n\r)
\end{align}
と因数分解できることからわかる。
$$\prod^\infty_{n=1} \frac{(1+\frac{\a+2\b}n)(1+\frac{\b+2\a}n)}{(1+\frac\a n)^3(1+\frac\b n)^3} =\frac{\G(1+\a)^3\G(1+\b)^3}{\G(1+\a+2\b)\G(1+\b+2\a)}$$
$$\frac1{\G(1+z)}=e^{\g z}\prod^\infty_{n=1}\l(1+\frac zn\r)e^{-\frac zn}$$
に注意するとわかる。
\begin{align} &\prod^\infty_{n=1} \l[1-\l(\frac{\rho\a-\ol\rho\b}n\r)^2\r]\l[1-\l(\frac{\ol\rho\a-\rho\b}n\r)^2\r]\\ ={}&\frac{\cosh\sqrt 3\pi(\a+\b)-\cos\pi(\a-\b)}{2\pi^2(\a^2+\a\b+\b^2)} \end{align}
$$\frac{\sin\pi z}{\pi z}=\prod^\infty_{n=1}\l[1-\l(\frac zn\r)^2\r] $$
および積和の公式に注意すると
\begin{align}
&\prod^\infty_{n=1}
\l[1-\l(\frac{\rho\a-\ol\rho\b}n\r)^2\r]\l[1-\l(\frac{\ol\rho\a-\rho\b}n\r)^2\r]\\
={}&\frac{\sin{}(\pi(\rho\a-\ol\rho\b))\sin{}(\pi(\ol\rho\a-\rho\b))}{\pi^2(\rho\a-\ol\rho\b)(\ol\rho\a-\rho\b)}\\
={}&\frac{\cos\pi(\rho-\ol\rho)(\a+\b)-\cos\pi(\rho+\ol\rho)(\a-\b)}{2\pi^2(\a-\ol\rho^2\b)(\a-\rho^2\b)}\\
={}&\frac{\cosh\sqrt 3\pi(\a+\b)-\cos\pi(\a-\b)}{2\pi^2(\a^2+\a\b+\b^2)}
\end{align}
と求まる。
$$\phi(\a,\b)=\prod^\infty_{n=1}\l[1+\l(\frac{\a+\b}{n+\a}\r)^3\r]$$
とおくと
$$\phi(\a,\b)\phi(\b,\a)=
\frac{\G(1+\a)^3\G(1+\b)^3}{\G(1+\a+2\b)\G(1+\b+2\a)}
\frac{\cosh\sqrt 3\pi(\a+\b)-\cos\pi(\a-\b)}{2\pi^2(\a^2+\a\b+\b^2)}$$
が成り立つ。
補題1,2,3からわかる。
いま$\b-\a$が整数であるとすると$\phi(\a,\b),\phi(\b,\a)$の商は有限積
$$\frac{\phi(\a,\b)}{\phi(\b,\a)}=\prod^{\b-\a}_{n=1}\l[1+\l(\frac{\a+\b}{n+\a}\r)^3\r]$$
として表せ、したがって上の公式と合わせることで
$$\phi(\a,\b)=\sqrt{\frac{\phi(\a,\b)}{\phi(\b,\a)}\cdot\phi(\a,\b)\phi(\b,\a)}$$
の値を明示的に求めることができる。
\begin{align} \prod^\infty_{n=1}\l[1+\l(\frac{2\a}{n+\a}\r)^3\r] &=\frac{\G(1+\a)^3}{\G(1+3\a)}\frac{\sinh\sqrt3\pi\a}{\sqrt3\pi\a}\\ \prod^\infty_{n=1}\l[1+\l(\frac{2\a+1}{n+\a}\r)^3\r] &=\frac{\G(1+\a)^3}{\G(2+3\a)}\frac{\cosh\sqrt3\pi(\frac12+\a)}\pi \end{align}
上での議論において$\b=\a$、$\b=\a+1$としたとき
\begin{align}
\cosh2x+1&=2\cosh^2x\\
\cosh2x-1&=2\sinh^2x
\end{align}
とか
$$1+\l(\frac{2\a+1}{\a+1}\r)^3=\frac{(2+3\a)(1+3\a+3\a^2)}{(1+\a)^3}$$
とかに注意するとわかる。
$x-2a$が$d$の倍数であるとき
$$\prod^\infty_{n=0}\l[1+\l(\frac x{a+nd}\r)^3\r]$$
の値は明示的に求まる。
上での議論において
$$\a=\frac ad,\ \b=\frac{x-a}d$$
とすることでわかる。
$$\prod^\infty_{n=1}\l[1+\l(\frac\a n\r)^3\r]\bigg[1+3\l(\frac\a{2n+\a}\r)^2\bigg] =\frac{\G(\frac\a2)}{\G(\frac{1+\a}2)}\frac{\cosh\sqrt3\pi\a-\cos\pi\a}{2^{\a+2}\pi^{\frac32}\a}$$
公式1と同様に
\begin{align}
\l[1+\l(\frac\a n\r)^3\r]\bigg[1+3\l(\frac\a{2n+\a}\r)^2\bigg]
&=\frac{1+\frac\a n}{(1+\frac\a{2n})^2}
\l(1-\frac\a n+\frac{\a^2}{n^2}\r)\l(1+\frac\a n+\frac{\a^2}{n^2}\r)\\
&=\frac{1+\frac\a n}{(1+\frac\a{2n})^2}
\l[1-\l(\frac{\rho\a}n\r)^2\r]\bigg[1-\l(\frac{\ol\rho\a}n\r)^2\bigg]
\end{align}
と変形して無限積を取ることで
$$\prod^\infty_{n=1}\l[1+\l(\frac\a n\r)^3\r]\bigg[1+3\l(\frac\a{2n+\a}\r)^2\bigg]
=\frac{\G(\frac\a2)^2}{\G(1+\a)}\frac{\cosh\sqrt3\pi\a-\cos\pi\a}{2\pi^2\a^2}$$
がわかるので、あとは倍数公式
$$\G(\a)=\frac{2^{\a-1}}{\sqrt\pi}\G\bigg(\frac\a2\bigg)\G\l(\frac{\a+1}2\r)$$
に注意すると主張を得る。
$$\arctan(\rho z)+\arctan(\ol\rho z)-\arctan z=\arctan{}(z^3)$$
一致の定理から$|z|<1$において示せば十分である。
いま
$$\o=\frac{-1+\sqrt3i}2=-\ol\rho$$
とおくと冪級数
$$f(z)=\sum^\infty_{n=0}a_nz^n$$
に対し
$$f(z)+f(\o z)+f(\ol\o z)=3\sum^\infty_{n=0}a_{3n}z^{3n}$$
が成り立つので
\begin{align}
&-\arctan z+\arctan(\rho z)+\arctan(\ol\rho z)\\
={}&-\arctan z-\arctan(\o z)-\arctan(\ol\o z)\\
={}&-3\sum^\infty_{n=0}\frac{(-1)^{3n+1}}{3(2n+1)}z^{3(2n+1)}\\
={}&\sum^\infty_{n=0}\frac{(-1)^n}{2n+1}(z^3)^{2n+1}\\
={}&\arctan{}(z^3)
\end{align}
を得る。
$\Re(\a)>0$において
\begin{align}
&\frac12\log2\pi\a+\frac{\pi\a}{\sqrt3}+\log\prod^\infty_{n=1}\l[1+\l(\frac\a n\r)^3\r]\\
={}&\log\frac{\cosh\sqrt3\pi\a-\cos\pi\a}{\pi\a}
+2\int^\infty_0\frac{\arctan(x^3/\a^3)}{e^{2\pi x}-1}dx
\end{align}
が成り立つ。
補題4の証明から
\begin{align}
\prod^\infty_{n=1}\l[1+\l(\frac\a n\r)^3\r]
&=\frac{\cosh\sqrt3\pi\a-\cos\pi\a}{2\pi^2\a^2}
\prod^\infty_{n=1}\frac{1+\frac\a n}{1+\frac\a n+\frac{\a^2}{n^2}}\\
&=\frac{\cosh\sqrt3\pi\a-\cos\pi\a}{2\pi^2\a^2}\frac{\G(1+\rho\a)\G(1+\ol\rho\a)}{\G(1+\a)}
\end{align}
が成り立つので、ビネの公式
$$\log\G(1+z)
=z\log z-z+\frac12\log2\pi z+2\int^\infty_0\frac{\arctan(x/z)}{e^{2\pi x}-1}dx$$
および補題5に注意してこの対数を取ることで
\begin{align}
&\log\prod^\infty_{n=1}\l[1+\l(\frac\a n\r)^3\r]
-\log\frac{\cosh\sqrt3\pi\a-\cos\pi\a}{2\pi^2\a^2}\\
={}&-\frac{\pi\a}{\sqrt3}+\frac12\log2\pi\a
+2\int^\infty_0\frac{\arctan(x^3/\a^3)}{e^{2\pi x}-1}dx
\end{align}
を得る。
いま$\a$が整数であれば
$$\prod^\infty_{n=1}\l[1+\l(\frac\a n\r)^3\r]=\phi(0,\a)$$
の値が求まるということだったので、上の公式により
$$\int^\infty_0\frac{\arctan(x^3/\a^3)}{e^{2\pi x}-1}dx
=\a\int^\infty_0\frac{\arctan(x^3)}{e^{2\pi\a x}-1}dx$$
の値も求めることができる。
$$\int^\infty_0\frac{\arctan(x^3)}{e^{2\pi nx}-1}dx =\frac1{4n}\log\l(2\pi n\prod^{n-1}_{m=1}\l[1-\frac nm+\frac{n^2}{m^2}\r]\r) -\frac\pi{4\sqrt3}-\frac1{2n}\log{}(1-(-1)^ne^{-\sqrt3\pi n})$$
\begin{align}
\phi(0,n)\phi(n,0)
&=\frac{(n!)^2}{(2n)!}\frac{\cosh\sqrt3\pi n-(-1)^n}{2\pi^2n^2}\\
&=\frac{(n!)^2}{(2n)!}\frac{e^{\sqrt3\pi n}(1-(-1)^ne^{-\sqrt3\pi n})^2}{4\pi^2n^2}\\
\frac{\phi(0,n)}{\phi(n,0)}
&=\prod^n_{m=1}\l[1+\l(\frac nm\r)^3\r]\\
&=\frac{(2n)!}{(n!)^2}\prod^{n-1}_{m=1}\l[1-\frac nm+\frac{n^2}{m^2}\r]
\end{align}
より
$$\log\phi(0,n)
=\frac12\log\prod^{n-1}_{m=1}\l[1-\frac nm+\frac{n^2}{m^2}\r]
+\frac{3\pi n}{2\sqrt3}+\log\frac{1-(-1)^ne^{-\sqrt3\pi n}}{2\pi n}$$
が成り立つので、あとは公式2
$$2n\int^\infty_0\frac{\arctan(x^3)}{e^{2\pi nx}-1}dx
=\log\phi(0,n)+\frac12\log2\pi n+\frac{\pi n}{\sqrt3}-\log\frac{\cosh\sqrt3\pi n-(-1)^n}{\pi n}$$
に注意すると主張を得る。
\begin{align} \int^\infty_0\frac{\arctan(x^3)}{e^{2\pi x}-1}dx &=\frac14\log2\pi-\frac\pi{4\sqrt3}-\frac12\log{}(1+e^{-\sqrt3\pi})\\ \int^\infty_0\frac{\arctan(x^3)}{e^{4\pi x}-1}dx &=\frac18\log12\pi-\frac\pi{4\sqrt3}-\frac14\log{}(1-e^{-2\sqrt3\pi})\\ \int^\infty_0\frac{\arctan(x^3)}{e^{6\pi x}-1}dx &=\frac1{12}\log\frac{147}2\pi-\frac\pi{4\sqrt3}-\frac16\log{}(1+e^{-3\sqrt3\pi})\\ \int^\infty_0\frac{\arctan(x^3)}{e^{8\pi x}-1}dx &=\frac1{16}\log\frac{1352}3\pi-\frac\pi{8\sqrt3}-\frac18\log{}(1-e^{-4\sqrt3\pi})\\ \end{align}
$$\sum^\infty_{m=0}(-1)^{m-1}\frac{m^2}{m^3+n^3} =\frac13\sum^\infty_{m=1}\frac{(-1)^{m-1}}{m+n} +\frac43\sum^\infty_{m=1}(-1)^{m-1}\frac{2m-n}{(2m-n)^2+3n^2}$$
$$\frac{m^2}{m^3+n^3}=\frac13\l(\frac1{m+n}+\frac{2m-n}{m^2-mn+n^2}\r)$$
と部分分数分解できることからわかる。
いま
\begin{align}
\log2&=\sum^\infty_{m=1}\frac{(-1)^{m-1}}m\\
\frac\pi{\cosh\frac{\pi x}2}&=4\sum^\infty_{m=0}(-1)^m\frac{2m+1}{(2m+1)^2+x^2}
\end{align}
に注意すると正の奇数$n=2k+1$に対し
\begin{align}
\sum^\infty_{m=1}\frac{(-1)^{m-1}}{m+n}&=(-1)^n\l(\log2-\sum^n_{m=1}\frac{(-1)^{m-1}}m\r)\\
4\sum^\infty_{m=1}(-1)^{m-1}\frac{2m-n}{(2m-n)^2+3n^2}
&=(-1)^k\frac\pi{\cosh\frac{\sqrt3\pi n}2}+\sum^k_{m=1}(-1)^{m-1}\frac{2m-n}{m^2-mn+n^2}\\
&=(-1)^k\l(\frac\pi{\cosh\frac{\sqrt3\pi n}2}-4\sum^{k-1}_{m=0}(-1)^m\frac{2m+1}{(2m+1)^2+3n^2}\r)\\
\end{align}
が成り立つのでこれによって
$$\sum^\infty_{m=0}(-1)^{m-1}\frac{m^2}{m^3+n^3}$$
の値を求めることができる。
$$\sum^\infty_{m=0}(-1)^{m-1}\frac{m^2}{m^3+1} =\frac13(1-\log2+\pi\sech\frac{\sqrt3}2\pi)$$
$$\frac2\pi\int^\infty_0\frac{x^6}{(a^2+x^2)(b^6+x^6)}dx =\frac13\l(\frac1{a+b}+\frac{2a+b}{a^2+ab+b^2}\r)$$
\begin{align}
\frac2\pi\int^\infty_0\frac{x^6}{(a^2+x^2)(b^6+x^6)}dx
&=\frac1{\pi i}\int^{i\infty}_{-i\infty}\frac{-x^6}{(a^2-x^2)(b^6-x^6)}dx\\
&=2\sum_{\Re(\a)>0}\Res_{z=\a}\frac{-z^6}{(a^2-z^2)(b^6-z^6)}
\end{align}
と変形したとき、$\a$の候補は$\a=a,b,\rho b,\ol\rho b$の4つに限るので
\begin{align}
\frac2\pi\int^\infty_0\frac{x^6}{(a^2+x^2)(b^6+x^6)}dx
&=\frac{a^5}{a^6-b^6}
-\frac13\frac b{a^2-b^2}
-\frac13\frac{\rho b}{a^2-\rho^2b^2}
-\frac13\frac{\ol\rho b}{a^2-\ol\rho^2b^2}\\
&=\frac13\l(\frac a{a^2-b^2}+\frac{2a^3+ab^2}{a^4+a^2b^2+b^4}\r)\\
&\phantom{{}=\frac{a^5}{a^6-b^6}}
-\frac13\frac b{a^2-b^2}
-\frac13\frac{a^2b-b^3}{a^4+a^2b^2+b^4}\\
&=\frac13\l(\frac1{a+b}+\frac{(2a+b)(a^2-ab+b^2)}{a^4+a^2b^2+b^4}\r)\\\
&=\frac13\l(\frac1{a+b}+\frac{2a+b}{a^2+ab+b^2}\r)
\end{align}
を得る。
$$\int^\infty_0\frac{x^5}{\sinh\pi x}\frac{dx}{n^6+x^6} =\frac13\sum^\infty_{m=0}\frac{(-1)^m}{m+n}-\frac43\sum^\infty_{m=1}(-1)^{m-1}\frac{2m+n}{(2m+n)^2+3n^2}$$
$$\frac1{\sinh\pi x}=\frac{2x}\pi\l(\frac1{2x^2}+\sum^\infty_{m=1}\frac{(-1)^m}{m^2+x^2}\r)$$
および上の補題に注意するとわかる。
上と同様に$n$が正の奇数であるときはこの積分の値を求めることができる。
$$\int^\infty_0\frac{x^5}{\sinh\pi x}\frac{dx}{1+x^6}=\frac13(\log2-1+\pi\sech\frac{\sqrt3}2\pi)$$