[论文解读] Jacobian Elliptic Functions, Continued Fractions and Ramanujan Quantities

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

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

一句话总结

本文利用雅可比椭圆函数和拉马努金恒等式，对形如 $ q = e^{-\pi\sqrt{r}} $（其中 $ 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 $ 的代数倍数。
• 通过兰登变换与模参数，推广已知的 $ \prod (1 - q^n)^k $ 与 $ \sum q^{n^2 + zn} $ 恒等式。

提出的方法

• 利用雅可比三重乘积恒等式及 $ \phi(-q) $、$ f(-q) $ 和 $ (q;q)_\infty $ 的无限乘积恒等式，将模形式表示为 $ q $ 的函数。
• 应用兰登变换与模恒等式，关联 $ 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 符号的乘积联系起来。
• 应用恒等式 $ \frac{d}{dq} R(a,b,p;q) = \frac{K(k_r)^2}{q\pi^2} \cdot \text{代数} $，对有理数 $ r $，证明在奇异模处的精确性。

实验结果

研究问题

• RQ1 对于有理数 $ r $，拉马努金型连分数是否可在 $ q = e^{-\pi\sqrt{r}} $ 处精确求值？
• RQ2 如何用椭圆积分与模参数表示 $ \sum_{n=-\infty}^\infty q^{n^2 + zn} $ 的闭式表达式？
• RQ3 拉马努金连分数的导数在奇异模处的行为如何？能否以代数形式表达？
• RQ4 当 $ q = e^{-\pi\sqrt{r}} $ 时，乘积 $ \prod_{n=1}^\infty (1 - q^n)^8 $ 是否可精确求值？其与 $ K(k) $ 和 $ \Gamma(1/3) $ 的关系为何？
• RQ5 是否存在一种模变换，可将 $ R(a,b,p;q) $ 与theta函数 $ \vartheta_4 $ 的比值联系起来？

主要发现

• 当 $ 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 $ 满足一个八次代数方程。
• 当 $ 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函数。