[論文レビュー] A note on some summations due to Ramanujan, their generalization and some allied series

Arjun K. Rathie, R. B. Paris|arXiv (Cornell University)|Jan 18, 2013

Advanced Mathematical Identities参考文献 4被引用数 3

ひとこと要約

この論文は、一般化された Karlsson-Minton 公式と Dixon の定理を用いて、Ramanujan の超幾何級数の和分を一般化し、Pochhammer 記号とガンマ関数を含む ${}_3F_2$ および ${}_4F_3$ 級数の閉形式評価を導出する。主な結果として、$\pi$、$\Gamma$-関数、およびディガンマ関数を用いた Ramanujan 型級数の正確な評価が得られ、$S_p = \Gamma(p)/\Gamma^2(p+1/2)$ のような特殊ケースへの応用が含まれる。

ABSTRACT

In this short note, we aim to discuss some summations due to Ramanujan, their generalizations and some allied series

研究の動機と目的

• 高度な和分定理を用いて、超幾何級数を含む Ramanujan の和分を一般化すること。
• $\frac{1}{2}$、$\frac{1}{4}$、および $p+1$ に関連するパラメータを持つ ${}_3F_2$ および ${}_4F_3$ 超幾何級数を評価すること。
• Pochhammer 記号および分母における逆数線形項を含む級数の正確な閉形式表現を導出すること。
• 一般化された Karlsson-Minton 和分公式を用いて、Ramanujan の元々の結果を統一的かつ拡張すること。
• 2次およびそれ以上の Pochhammer 確率比を含む無限級数を評価する体系的な手法を提供すること。

提案手法

• 整数パラメータシフトを伴う ${}_{r+2}F_{r+1}$ 級数に一般化された Karlsson-Minton 和分公式を適用する。
• パラメータ $a=b=\frac{1}{2}$、$c=\frac{1}{4}$ および関連する組み合わせを含む ${}_3F_2$ 級数に Dixon の和分定理を適用する。
• $c-a-b>0$ の場合に適用可能な Gauss の和分定理を用いて ${}_2F_1$ 級数を評価する。
• 分母が $(n+1)\cdots(n+p)$ である級数を、Pochhammer 記号の恒等式を用いて超幾何形式に変換する。
• 表現 $S = \sum_{n=0}^\infty \frac{(\frac{1}{2})_n}{n!} \frac{1}{b + n\mu}$ を用い、超幾何変換を介して ${}_2F_1$ 関数に還元する。
• 極限処理およびディガンマ関数 $\psi(z)$ の特別な値を用いて、パラメータが一致する場合を扱う。

実験結果

リサーチクエスチョン

• RQ1 Ramanujan の元々の和分 $\left(\frac{1\cdot3}{2\cdot4}\right)^2$ を含む級数を、高次の超幾何級数に一般化する方法は何か？
• RQ2 級数 $\sum_{n=0}^\infty \left(\frac{(\frac{1}{2})_n}{n!}\right)^2 \frac{1}{(n+1)\cdots(n+p)}$ の閉形式評価は何か？
• RQ3 一般化された Karlsson-Minton 公式を用いて、シフトされたパラメータを持つ ${}_3F_2$ および ${}_4F_3$ 級数を評価できるか？
• RQ4 パラメータ $b \neq c$ および $b = c$ の場合に、$S = \sum_{n=0}^\infty \frac{(\frac{1}{2})_n}{n!} \frac{1}{(1+n/b)(1+n/c)}$ の正確な値は何か？
• RQ5 特定のパラメータを代入した際に、結果が Ramanujan の $\frac{\pi^{3/2}}{2\sqrt{2}\Gamma^2(\frac{3}{4})}$ のような既知の恒等式にどのように還元されるか？

主な発見

• 級数 $S_p = \sum_{n=0}^\infty \left(\frac{(\frac{1}{2})_n}{n!}\right)^2 \frac{1}{(n+1)\cdots(n+p)}$ は、整数 $p \geq 1$ に対して正確に $\frac{\Gamma(p)}{\Gamma^2(p+\frac{1}{2})}$ に評価される。
• $p=1$ の場合、$S_1 = \frac{4}{\pi}$；$p=2$ の場合、$S_2 = \frac{16}{9\pi}$；$p=3$ の場合、$S_3 = \frac{128}{225\pi}$。
• $b=c=\frac{1}{4}$ の場合、一般化された級数 $S = {}_3F_2\left[\frac{1}{2},\frac{1}{4},\frac{1}{4};\frac{5}{4},\frac{5}{4};1\right]$ は Ramanujan の恒等式 $\frac{\pi^{5/2}}{8\sqrt{2}\Gamma^2(\frac{3}{4})}$ に還元される。
• $b \neq c$ の場合、$S = \frac{\pi^{1/2}bc}{b-c}\left(\frac{\Gamma(c)}{\Gamma(c+\frac{1}{2})} - \frac{\Gamma(b)}{\Gamma(b+\frac{1}{2})}\right)$ が得られ、$b=c$ の極限形はディガンマ関数を含む。
• $m=1$ の場合、級数 $\sum_{n=0}^\infty \left(\frac{(\frac{1}{2})_n}{n!}\right)^2 \frac{n+f}{(n+1)\cdots(n+p)} = \frac{\Gamma(p)}{\Gamma^2(p+\frac{1}{2})}\left(f + \frac{1}{4(p-1)}\right)$ が $p \geq 2$ に対して成り立つ。
• $m=2$ の場合、評価は $\sum_{n=0}^\infty \left(\frac{(\frac{1}{2})_n}{n!}\right)^2 \frac{(n+f)(n+f+1)}{(n+1)\cdots(n+p)} = \frac{\Gamma(p)}{\Gamma^2(p+\frac{1}{2})}\left(f(f+1) + \frac{f+1}{2(p-1)} + \frac{9}{16(p-1)(p-2)}\right)$ となり、$p \geq 3$ の場合に成り立つ。