[论文解读] Solution of Polynomial Equations with Nested Radicals

Nikos Bagis|arXiv (Cornell University)|Jun 8, 2014

Advanced Mathematical Identities参考文献 3被引用 5

一句话总结

本文提出了一种利用周期嵌套根式和广义超几何函数求解五次和六次多项式方程的新方法。该研究引入了一类新函数——广义 Bring 根式，通过迭代超几何级数和 Lagrange 反演，将经典 Bring 根式推广至更高阶形式，从而以嵌套根式形式获得五次和六次方程的封闭解。

ABSTRACT

In this article we present solutions of certain polynomial equations in periodic nested radicals. We also present a new way to solve the general tetranomial equation with new functions. As application of these new functions we solve the general sextic equation.

研究动机与目标

• 开发一种系统化方法，利用周期嵌套根式求解一般五次方程。
• 通过超几何函数和迭代级数，将经典 Bring 根式推广至更高阶形式。
• 证明所有六次方程均可通过 Tchirnhausen 变换约化为可解形式，并以嵌套根式表达。
• 引入新型特殊函数——广义 Bring 根式，统一求解四元多项式及更高次方程的解。
• 利用 Lagrange 反演和 Gamma 函数级数，建立这些嵌套根式解的收敛性和可解性条件。

提出的方法

• 利用定理 1，通过包含 Gamma 函数的无穷级数表达形式为 $ a q x^p + x^q = 1 $ 的方程的解。
• 定义广义超几何函数 $ \textbf{BR}(t) $ 以求解约化后的五次方程 $ x^5 + A x + B = 0 $，从而扩展经典 Bring 根式。
• 应用 Tchirnhausen 变换将一般五次和六次方程约化为适合嵌套根式解的形式。
• 通过 Lagrange 反演和广义超几何级数，推导出一类新函数——$ \textbf{BR}_{\nu}(a) $，即 $ \nu $ 阶 Bring 根式。
• 为方程 $ x^{2\mu} + b x^\mu + c = x^\nu $ 引入递归嵌套根式结构，从而导出周期嵌套根式。
• 应用 Lagrange 反演定理，推导高阶四元多项式方程 $ X^\nu = k X^\mu + X + l $ 的解的收敛级数展开。

实验结果

研究问题

• RQ1 能否利用周期嵌套根式和广义超几何函数求解一般五次方程？
• RQ2 一般六次方程如何通过 Tchirnhausen 变换和嵌套根式约化并求解？
• RQ3 广义 Bring 根式函数在高次多项式方程中的结构与收敛行为如何？
• RQ4 形如 $ X^\nu = k X^\mu + X + l $ 的四元多项式方程能否通过迭代超几何级数和嵌套根式求解？
• RQ5 何种条件可确保高次多项式方程嵌套根式解的收敛性和有效性？

主要发现

• 一般五次方程 $ x^5 + A x + B = 0 $ 的解通过超几何函数 $ \textbf{BR}(t) $ 求得，解为 $ x = \sqrt[4]{-A/5} \cdot \textbf{BR}\left( -\sqrt[4]{5^5 / (-A)^5}/4 \cdot B \right) $。
• 一般六次方程通过 Tchirnhausen 约化为形式 $ y^6 + e_1 y^2 + f_1 y + g_1 = 0 $，其解可表示为无穷嵌套根式，表明其在周期嵌套根式中可解。
• 提出新函数 $ \textbf{BR}_{\nu}(a) $ 作为广义 Bring 根式，通过包含 Gamma 函数的超几何级数定义。
• 对于方程 $ X^\nu = k X^\mu + X + l $，通过包含二项式系数和超几何项的双重级数定义函数 $ \textbf{g}(w) $，构造出解。
• 四元多项式方程 $ X^\nu = k X^\mu + X + l $ 的解为 $ X_2 = \textbf{BR}_{\nu}(\textbf{g}(l)) $，在 $ |k|, |l|, |kl^{-1}| < 1 $ 条件下确保收敛。
• 给出一个具体解例：$ X^{1/2} = -5 - 25X + 25X^2 $，其解为 $ X_2 = \textbf{BR}_{2,1}(\textbf{g}(1/5)) $，其中 $ \textbf{g}(l) $ 通过包含超几何函数的无穷级数计算得出。