[论文解读] The complete evaluation of Rogers Ramanujan and other continued fractions with elliptic functions

Nikos Bagis|arXiv (Cornell University)|Aug 7, 2010

Advanced Mathematical Identities参考文献 12被引用 10

一句话总结

本文使用椭圆函数和模形式，对罗杰斯-拉马努金连分数及其相关连分数进行了完整的代数评估。推导出这些连分数关于反椭圆模 $ q $ 和全椭圆积分 $ K $ 的多项式方程，表明拉马努金连分数是其系数仅依赖于 $ q^{-1} $ 和 $ K $ 的多项式的根。主要贡献在于对 $ q = e^{-\pi\sqrt{r}} $ 时 $ R(q) $ 的闭式求值，通过根式和模不变量表示。

ABSTRACT

In this article we present evaluations of continued fractions studied by Ramanujan. More precisely we give the complete polynomial equations of Rogers-Ramanujan and other continued fractions, using tools from the elementary theory of the Elliptic functions. We see that all these fractions are roots of polynomials with coeficients depending only on the inverse elliptic nome-q and in some cases the Elliptic Integral-K. In most of simplifications of formulas we use Mathematica.

研究动机与目标

• 使用初等椭圆函数理论，对罗杰斯-拉马努金连分数及其相关连分数进行完整的代数评估。
• 推导出这些连分数取值的多项式方程，其系数仅依赖于反椭圆模 $ q^{-1} $ 和全椭圆积分 $ K $。
• 建立当 $ q = e^{-\pi\sqrt{r}} $ 时 $ R(q) $ 的显式闭式表达式，利用模恒等式和奇异模 $ k_r $ 的变换。
• 将该方法扩展至其他连分数如 $ S(q) $ 和 $ Q(q) $，通过模方程和特殊函数展示其求值方法。
• 证明即使 $ k_r $ 是代数数，对应的 $ r $ 通常也不是有理数，从而挑战关于模参数有理性的假设。

提出的方法

• 本文使用罗杰斯-拉马努金连分数的标准定义 $ R(q) = q^{1/5}/(1 + q/(1 + q^2/(1 + \cdots))) $，其中 $ |q| < 1 $。
• 应用已知的拉马努金恒等式，如 $ R^{-5}(q) - 11 - R^5(q) = f^6(-q)/(q f^6(-q^5)) $，将 $ R(q) $ 与模形式和theta函数联系起来。
• 通过比值 $ K(k_r')/K(k_r) = \sqrt{r} $ 定义反椭圆模 $ k_r $，并将 $ k_r $ 表示为 $ q $、$ f(-q) $ 和 $ \Phi(-q) $ 的函数。
• 利用模变换和奇异模 $ M_5(r) $，推导出以 $ a_r = R^{-5}(q) - 11 - R^5(q) $ 表示的 $ R(q) $ 的五次方程。
• 通过参数化 $ w = \sqrt{k_r k_{25r}} $，使用 $ L $ 的有理函数，并求解涉及 $ k_r $、$ k_{25r} $ 和 $ w $ 的对称方程，实现 $ k_{25r} $ 的求值。
• 该方法借助符号计算（Mathematica）简化复杂的代数表达式，并推导出 $ R(q) $、$ S(q) $ 和 $ Q(q) $ 的多项式关系。

实验结果

研究问题

• RQ1 能否仅使用椭圆函数和模恒等式，对 $ q = e^{-\pi\sqrt{r}} $ 时的罗杰斯-拉马努金连分数 $ R(q) $ 实现闭式求值？
• RQ2 当以反椭圆模 $ q^{-1} $ 和全椭圆积分 $ K(k_r) $ 表示时，$ R(q) $ 满足何种多项式方程？
• RQ3 如何利用奇异模 $ k_r $ 及其在模群作用下的变换，实现 $ R(q) $ 的代数求值？
• RQ4 其他连分数如 $ S(q) $ 和 $ Q(q) $ 的代数结构是什么？它们如何通过模方程与 $ R(q) $ 相关联？
• RQ5 当 $ k_r $ 为代数数时，$ q = e^{-\pi\sqrt{r}} $ 中的参数 $ r $ 是否为有理数？这对模形式有何含义？

主要发现

• 当 $ q = e^{-\pi\sqrt{r}} $ 时，罗杰斯-拉马努金连分数满足 $ R(q) = \left(-\frac{11}{2} - \frac{a_r}{2} + \frac{1}{2}\sqrt{125 + 22a_r + a_r^2}\right)^{1/5} $，其中 $ a_r = R^{-5}(q) - 11 - R^5(q) $。
• 值 $ a_r $ 显式给出为 $ a_r = \left(\frac{k_r'}{k_{25r}'}\right)^2 \sqrt{\frac{k_r}{k_{25r}}} M_5(r)^{-3} $，其中 $ M_5(r) $ 满足关于 $ M_5(r) $ 的五次方程。
• 本文推导出 $ k_{25r} $ 和 $ k_r $ 关于自由参数 $ L $ 的参数化表达式，利用 $ w = \sqrt{k_r k_{25r}} $ 和 $ L $ 的有理函数。
• 对于 $ S(q) $，本文证明 $ S(q) = \frac{(k_r)^{1/4}}{\sqrt{2}} $，表明其可直接用奇异模 $ k_r $ 表示。
• 对于 $ Q(q) $，本文建立 $ Q(q) = \frac{1}{2\pi} K(k_r) k_r $，并推导出模方程 $ v^4 + u^4 - v^3 u^3 + 6v^2 u^2 - 16vu = 0 $，其中 $ u = Q(q)/Q(q^2) $，$ v = Q(q^3)/Q(q^6) $。
• 本文提供了 $ V(e^{-\pi}) $ 和 $ T(e^{-\pi\sqrt{2}}) $ 的显式求值，表明 $ (3 - T)^3(3 + T)^3 / ((1 - T)(1 + T)) = 5832 $。