[論文レビュー] Jacobian Elliptic Functions, Continued Fractions and Ramanujan Quantities

Nikos Bagis, M. L. Glasser|arXiv (Cornell University)|Jan 15, 2010

Advanced Mathematical Identities参考文献 6被引用数 8

ひとこと要約

本稿では、ヤコビの楕円関数およびラマヌジャンの恒等式を用いて、特に有理数 $ r $ に対して $ q = e^{-\pi\sqrt{r}} $ の形をとる引数について、無限積、無限級数、連分数の新しい評価を提示する。$ r \in \mathbb{Q}^+ $ のとき、モジュラー形式、楕円積分、代数的数を用いて、ラマヌジャン型連分数およびその導関数の閉形式表現を導出し、theta 関数およびモジュラー変換を用いて正確な評価を確立する。

ABSTRACT

In this article we present ways to evaluate certain sums, products and continued fractions using tools from the theory of elliptic functions. The specific results appear to be new, although similar ones can be found in the leterature; in most cases the methods applied are different.

研究の動機と目的

• 楕円関数論を用いて、$ q = e^{-\pi\sqrt{r}} $ を含む無限積および無限級数の正確な閉形式評価を導出すること。
• ラマヌジャンの連分数、theta 関数、モジュラー形式の間の新しい関係を確立すること。
• 特異モジュラーにおけるラマヌジャン型連分数の導関数を評価し、それらが $ K(k)^2 / \pi^2 $ の代数的倍数として得られることを示すこと。
• Landen 変換およびモジュラーパラメータを用いて、既知の $ \prod (1 - q^n)^k $ および $ \sum q^{n^2 + zn} $ の恒等式を一般化すること。

提案手法

• ヤコビの三重積および $ \phi(-q) $、$ f(-q) $、$ (q;q)_\infty $ の無限積恒等式を用い、モジュラー形式を $ q $ で表現する。
• Landen 変換およびモジュラー恒等式を適用し、$ k $、$ k' $、$ K(k) $、および $ q = e^{-\pi\sqrt{r}} $ を関連付ける。
• theta 関数 $ \vartheta_3(q) = \sum_{n=-\infty}^\infty q^{n^2} $ 及びその対数微分を用いて、級数恒等式を導出する。
• $ q $-超幾何関数 $ {}_2\phi_1 $ およびロジャース＝ラマヌジャン連分数 $ R(q) $ を用いて、連分数恒等式を導出する。
• 変換 $ R^*(q) = q^{-1/5} R(q) = \frac{(q;q^5)_\infty (q^4;q^5)_\infty}{(q^2;q^5)_\infty (q^3;q^5)_\infty} $ を用い、連分数を $ q $-Pochhammer 記号の積に関連付ける。
• 有理数 $ r $ に対して、恒等式 $ \frac{d}{dq} R(a,b,p;q) = \frac{K(k_r)^2}{q\pi^2} \cdot \text{Algebraic} $ を適用し、特異モジュラーにおける正確性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有理数 $ r $ に対して、$ q = e^{-\pi\sqrt{r}} $ におけるラマヌジャン型連分数を正確に評価できるか？
• RQ2 $ \sum_{n=-\infty}^\infty q^{n^2 + zn} $ の閉形式表現は、楕円積分およびモジュラーパラメータを用いてどのように表されるか？
• RQ3 特異モジュラーにおけるラマヌジャンの連分数の導関数はどのように振る舞い、代数的に表現できるか？
• RQ4 無限積 $ \prod_{n=1}^\infty (1 - q^n)^8 $ は $ q = e^{-\pi\sqrt{r}} $ に対して正確に評価可能か？また、$ K(k) $ および $ \Gamma(1/3) $ との関係は何か？
• RQ5 $ R(a,b,p;q) $ を $ \vartheta_4 $ の theta 関数の比に関連付けるモジュラー変換が存在するか？

主な発見

• $ r = 3 $ のとき、$ \prod_{n=1}^\infty (1 + e^{-n\pi\sqrt{3}})^8 = \frac{e^{\pi/\sqrt{3}}}{2^{2/3}(26 + 15\sqrt{3})^{1/3}} $ である。
• $ r = 3 $ のとき、$ \prod_{n=1}^\infty (1 - e^{-n\pi\sqrt{3}})^8 = \frac{3(2 + \sqrt{3})e^{\pi/\sqrt{3}} \Gamma^{12}(1/3)}{1024\pi^8} $ である。
• $ q = e^{-\pi} $ における $ R(1,2,4;q) $ の導関数は $ \frac{e^{\pi} \Gamma(1/4)^4}{64 \cdot 2^{5/8} \pi^3} $ に等しい。
• $ q = e^{-\pi} $ における $ R(1,2,5;q) $ の導関数は $ \frac{e^{\pi} \Gamma(1/4)^4}{16\pi^3} \rho $ に等しく、ここで $ \rho $ は8次代数方程式を満たす。
• $ q = e^{-\pi\sqrt{2}/p} $ に対して、$ R\left(-\frac{(\sqrt{2}-4mi)\pi i}{4}, -\frac{(2-i\sqrt{2}-4m)p}{4}, p; e^{-\pi\sqrt{2}/p}\right) = (-i)^m \sqrt{\sqrt{2} - 1} $ が成り立つ。
• 比 $ \frac{\tau_0(m+1,q)}{\tau_0(m+1/2,q)} = (k_{r/4})^{1/2} $ が成り立ち、ここで $ \tau_0 $ はラマヌジャンの theta 関数である。