[论文解读] On the Evaluation of the Fifth Degree Elliptic Singular Moduli

Nikos Bagis|arXiv (Cornell University)|Feb 22, 2012

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

一句话总结

本文提出了一种闭式代数方法，仅使用两个初始值 $k_{r_0}$ 和 $k_{r_0/25}$，即可精确计算五次椭圆模 $k_{25^n r_0}$。通过利用模方程、拉马努金连分数以及嵌套根式变换，作者推导出一个根式形式的递推公式，实现了高阶模的精确计算，并进一步构造出 $1/\pi$ 的五次迭代，将已知结果从可解的二、三次情形拓展至五次情形。

ABSTRACT

We find in a algebraic radicals way the value of singular moduli $k_{25^nr_0}$ for any integer $n$ knowing only two consecutive values $k_{r_0}$ and $k_{r_0/25}$

研究动机与目标

• 解决长期以来关于五次模方程在椭圆模上求解的难题，这些模此前被认为无法通过根式方法求解。
• 仅基于 $k_{r_0}$ 和 $k_{r_0/25}$，为 $k_{25^n r_0}$ 提供一个闭式代数表达式，实现无需数值近似的精确计算。
• 将拉马努金型连分数与模恒等式推广至构造 $1/\pi$ 的精确五次迭代，且不依赖于数值形式的模值。
• 将该方法推广至任意 $n \in \mathbb{Z}$，实现对任意初始值 $r_0$ 的 $25^n r_0$ 处模的递归计算。

提出的方法

• 该方法依赖于将 $k_{25r}$ 的六次模方程通过代换 $u^8 = k_r^2$、$v^8 = k_{25r}^2$ 转化为降次形式，从而简化为关于 $u$ 和 $v$ 的对称方程。
• 引入一个递归函数 $P^{(n)}(x)$，其通过嵌套根式及辅助函数 $U$、$U^*$ 和 $Q$ 定义，编码从 $k_r$ 到 $k_{25r}$ 的模变换。
• 核心公式 (16) 将 $k_{25^n r_0}$ 表示为嵌套根式，涉及对 $P^{(j)}$ 函数作用于模乘积比值的复合表达。
• 推导过程中利用拉马努金关于罗杰斯–拉马努金连分数 $R(q)$ 的恒等式，通过函数 $A_r$ 将其与 $k_r$ 和 $k_{25r}$ 联系起来，并在根式中求解 $R(q)$。
• 通过函数方程 (39) 和涉及 $k_{1/r} = k_r'$ 的对称性恒等式验证解的正确性，从而从已知模不变量构造 $P(x)$。
• 通过将所有迭代变量 $u_n$、$x_n$、$y_n$ 等从 $k_{r_0}$ 和 $k_{r_0/25}$ 精确表示为根式，将该方法应用于构造 $1/\pi$ 的五次迭代。

实验结果

研究问题

• RQ1 尽管五次模方程在标准代数方法下本征不可解，是否仍可在根式中求解？
• RQ2 是否能仅用两个初始值 $k_{r_0}$ 和 $k_{r_0/25}$ 精确计算 $k_{25^n r_0}$？
• RQ3 如何利用拉马努金连分数与模恒等式构造一个不依赖于模数值计算的 $1/\pi$ 闭式迭代？
• RQ4 五次模方程的功能结构能否被简化为一种可递归推广的根式变换，适用于更高阶 $n$？
• RQ5 函数 $P(x)$ 在编码模变换 $k_r \to k_{25r}$ 中起何作用？它如何从已知模不变量构造？

主要发现

• 本文推导出公式 (16)，以仅依赖于 $k_{r_0}$ 和 $k_{r_0/25}$ 的嵌套根式形式，给出 $k_{25^n r_0}$ 的闭式表达，实现对所有 $n \in \mathbb{Z}$ 的精确求值。
• 函数 $P(x)$ 通过 $U$、$U^*$ 和 $Q$ 显式构造，用于编码从 $k_r$ 到 $k_{25r}$ 的模变换，其迭代 $P^{(n)}(x)$ 实现了递归求值。
• 当 $r_0 = 1/5$ 时，本文计算得 $k_{125} = \sqrt{\frac{1}{2} - \frac{1}{2}\sqrt{1 - (9-4\sqrt{5})P[1]^2}}$，其中 $P[1]$ 为满足十次代数方程的代数数。
• 当 $r_0 = 25$ 时，本文给出 $k_{625} = \sqrt{\frac{1}{2} - \frac{1}{2}\sqrt{1 - (51841 - 23184\sqrt{5})P\left[\frac{\sqrt{5}-1}{2}\right]^{24}}}$，展示了该方法在大 $n$ 情况下的适用性。
• 该方法可构造出收敛迅速的 $1/\pi$ 五次迭代，其仅依赖于 $k_{r_0}$ 和 $k_{r_0/25}$ 的精确根式表达，避免了对数值模值的依赖。
• 该算法仅通过十三次迭代即可达到超过十亿位 $\pi$ 的精度，且收敛界 (44) 确认了误差的指数衰减，适用于 $r_0 5^{2n} \geq 1$。