0
現代数学解説
文献あり

ラマヌジャンの論文2:Sanjanaの問題について

111
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \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{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \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} $$

はじめに

 この記事ではラマヌジャンの書いた論文"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}$$
と求まることに注意するとわかる。

参考文献

[1]
S. Ramanujan, On question 330 of Professor Sanjana, Journal of the Indian Mathematical Society, 1912, 59-61
投稿日:18日前
更新日:18日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

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