[论文解读] On a General Sextic Equation Solved by the Rogers Ramanujan Continued Fraction

Nikos Bagis|arXiv (Cornell University)|Nov 22, 2011

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

一句话总结

本文提出了一种新颖方法，利用罗杰斯-拉马努金连分数（RRCF）和j-不变量求解一类广义六次方程。通过将方程的系数与j-不变量关联，并求解模参数r，解以RRCF求值的形式表达，当j-不变量对应于低次的奇异模时，可实现根式解。

ABSTRACT

In this article we solve a general class of sextic equations. The solution follows if we consider the $j$-invariant and relate it with the polynomial equation's coefficients. The form of the solution is a relation of Rogers-Ramanujan continued fraction. The inverse technique can also be used for the evaluation of the Rogers-Ramanujan continued fraction, in which the equation is not now the depressed equation but another quite more simplified equation.

研究动机与目标

• 求解形如 $ \frac{b^2}{20a} + bX + aX^2 = C_1X^{5/3} $ 的广义六次方程，使用模函数。
• 建立六次方程系数与模形式j-不变量之间的联系。
• 证明解可表示为罗杰斯-拉马努金连分数（RRCF）和戴德金eta函数的形式。
• 提供一种反演方法，通过六次方程的代数解来评估RRCF。
• 证明当j-不变量对应于次数 ≤4 的奇异模时，解可表示为根式。

提出的方法

• 使用通过戴德金eta函数比值定义的j-不变量 $ j_r $，将六次方程与模参数关联。
• 通过 $ j_r = 250C_1^3 a^{-2} b^{-1} $ 将六次方程中的系数 $ C_1 $ 与 $ j_r $ 关联，从而通过模参数r求解。
• 将解 $ X $ 表示为 $ X = \frac{b}{250a} A_r $，其中 $ A_r = R(q^2)^{-5} - 11 - R(q^2)^5 $，且 $ q = e^{-2\pi\sqrt{r}} $。
• 利用已知恒等式将 $ A_r $ 与奇异模 $ k_r $、$ w_r = \sqrt{k_r k_{25r}} $ 及超几何函数关联。
• 应用五次模方程 $ k_r k_{25r} + k_r' k_{25r}' + 2\cdot 4^{1/3}(k_r k_{25r} k_r' k_{25r}')^{1/3} = 1 $ 推导代数表达式。
• 通过 $ L $ 和 $ M $ 的参数化，将 $ w_r $、$ k_r $ 和 $ k_{25r} $ 表示为根式，从而实现 $ A_r $ 的显式求值。

实验结果

研究问题

• RQ1 能否使用模函数求解形如 $ \frac{b^2}{20a} + bX + aX^2 = C_1X^{5/3} $ 的广义六次方程？
• RQ2 罗杰斯-拉马努金连分数如何与j-不变量及六次方程的解相关联？
• RQ3 在何种条件下，六次方程的解可表示为根式？
• RQ4 能否通过简化代数方程的解来评估RRCF的逆？
• RQ5 奇异模与超几何函数在代数表达解的过程中起什么作用？

主要发现

• 广义六次方程 $ \frac{b^2}{20a} + bX + aX^2 = C_1X^{5/3} $ 的解为 $ X = \frac{b}{250a} \left( R(e^{-2\pi\sqrt{r}})^{-5} - 11 - R(e^{-2\pi\sqrt{r}})^5 \right) $，其中 $ r $ 满足 $ j_r = 250C_1^3 a^{-2} b^{-1} $。
• 当 $ j_r $ 对应于次数 $ \nu \leq 4 $ 的奇异模时，解 $ X $ 可表示为根式，如 $ r = 3/4 $ 时通过四次预解式得以证明。
• 对于 $ r = 68 $，解包含嵌套根式：$ Y_{\sqrt{-68/5}} = \frac{5}{16}\left(5360 + 585\sqrt{85} + 4\sqrt{3613670 + 391950\sqrt{85}}\right) \cdot \left( \sqrt{x+4} - \sqrt{x} \right) $，且具有显式的整数系数。
• 逆变换允许通过 $ N(q^2) = \frac{1}{5} \left( R(q^2)^{-5} - 11 - R(q^2)^5 \right)^{1/6} $ 评估RRCF，从而得到 $ X = \frac{125b}{2a} N(q^2)^6 $。
• 解满足关于 $ X_r $ 和 $ X_{4r} $ 的三次关系：$ 2^{2/3}a^{1/3}b^{1/3}(X_r X_{4r})^{1/3} + \frac{10 \cdot 2^{1/3}a}{b^{1/3}}(X_r X_{4r})^{2/3} - 2a^{2/3}(X_r + X_{4r}) = 0 $。
• 当 $ C_1^3 = 32a^2b $ 时，解简化为 $ X = \frac{b}{250a} \left( R(e^{-2\pi\sqrt{2}})^{-5} - 11 - R(e^{-2\pi\sqrt{2}})^5 \right) $，从而实现闭式求值。