Power series for roots of a trinomial and Kummer-like identities for higher order hypergeometric series

技术摘要：三项式根的幂级数与高阶超几何级数的 Kummer 类恒等式

问题陈述
本文研究了求解三项式方程 $x^n + px + q = 0$ 的根的级数解问题，其中 $p$ 和 $q$ 是实数且非零参数，$n \geq 3$。虽然已有文献（如 Birkeland、Euler、Lambert）已经确立了以参数 $q^{n-1}/p^n$ 为变量的超几何级数解（即 Fuss-Catalan 级数），但本研究的重点在于推导替代性的级数展开。具体而言，作者寻求以判别式 $D$ 及其倒数 $1/D$ 的幂次表示的解形式。判别式定义为：
$$D = (-1)^n(n-1)^{n-1}p^n - n^n q^{n-1}$$
本研究旨在建立适用于一般 $n \geq 3$ 的这些级数，并探讨在三次情形（$n=3$）下通过 Kummer 恒等式观察到的变换性质是否可以推广到高阶超几何级数。

方法论
研究方法分为两个主要途径：针对三次情形（$n=3$）的具体处理，以及针对 $n \geq 3$ 的一般性推导。

1. 三次情形 ($n=3$)：

   • 作者从缺项三次方程 $x^3 + px + q = 0$ 的 Cardano 解出发。
   • 现有解被表示为关于 $-D/(27q^2)$ 的幂次的超几何函数 (${}_2F_1$)。
   • Kummer 变换： 作者利用 Kummer 恒等式（特别是关于参数 $z$、$1-z$ 和 $z/(z-1)$ 之间关系的变换），将这些级数转换为关于 $-D/(4p^3)$ 的幂次以及关于反判别式 $1/D$ 的幂次。
   • 这一过程得到了两组不同的根级数：一组在 $|D| < |27q^2|$ 时收敛，另一组在 $|D| < |4p^3|$ 时收敛。作者还通过重新展开 Cardano 根，推导出了在 $|D| > |27q^2|$ 区域内的级数。

2. 一般情形 ($n \geq 3$)：

   • 直接级数推导： 由于尚未建立高阶情况下的已知超几何恒等式，作者通过将一个设想形式（ansatz）代入三项式方程来直接推导新的级数。
   • 设想形式构建： 假设根的形式为 $r = -\frac{q}{p} G(\xi)$，其中 $G$ 是一个幂级数，$\xi$ 是一个由 $D$、$p$ 和 $q$ 构建的无量纲参数。
   • 四组参数集： 本文基于四种不同的参数选择推导了级数：
     • $\eta = -n^n q^{n-1}/D$（反判别式的幂次）。
     • $\chi = -D/(n^n q^{n-1})$（判别式的幂次）。
     • $\hat{\chi} = D/((-1)^n(n-1)^{n-1}p^n)$（相对于 $p$ 的判别式幂次）。
     • $\hat{\eta} = ((-1)^n(n-1)^{n-1}p^n)/D$（相对于 $p$ 的反判别式幂次）。
   • 系数递推： 通过将这些级数代入三项式方程并对同类幂次项进行系数匹配，作者推导出了级数系数的递推关系。
   • 常数项处理： 在针对 $D$ 和 $1/D$ 的幂次进行级数推导时，代入过程最初解决的是一个经过缩放的 $q$ 的修正方程。作者引入了一个有效参数 $q_{\text{eff}}$（通过一个次级三项式方程隐式定义）来修正解，从而确保最终级数满足原始方程 $x^n + px + q = 0$。

主要结果

• 新级数展开： 本文为所有 $n \geq 3$ 的 $x^n + px + q = 0$ 的根提供了关于 $D$、$1/D$ 及其相关参数的显式幂级数解。
• 收敛域： 作者确定了这些新级数的特定收敛条件。例如，关于 $D$ 的幂次的级数通常在 $|D|$ 相对于 $p$ 和 $q$ 的特定组合较小时收敛，而关于 $1/D$ 的级数在 $|D|$ 较大时收敛。
• 对称性保持： 所有推导出的级数都遵循三项式方程固有的对称性：若 $n$ 为偶数，则根是 $p$ 的奇函数；若 $n$ 为奇数，则根是 $q$ 的奇函数。
• 数值验证： 文中包含了针对特定 $(p, q)$ 值的 $n=3, 4, 5$ 的数值示例，证明了各种推导出的级数（包括新的基于判别式的级数以及经典的 Fuss-Catalan 级数）收敛于相同的根值。

意义与主张
本文的主要贡献不仅在于推导出新的级数，更在于发现了它们之间的结构性关系。

• Kummer 类恒等式： 对于 $n=3$，通过使用 ${}_2F_1$ 的 Kummer 恒等式，实现了 $D$ 与 $1/D$ 级数之间的变换。对于 $n \geq 4$，涉及的超几何函数属于更高阶（例如 ${}_3F_2, {}_4F_3$），目前尚不存在已发表的此类函数的 Kummer 恒等式类似物。
• 一般恒等式的证据： 作者认为，由于多个不同的级数（其参数通过判别式的分式线性变换相关联）都满足同一个三项式方程，这表明存在“Kummer 类恒等式”于高阶超几何级数之中。
• 谦逊的结论： 作者在结论中表现得较为谦逊，指出虽然这些级数本身具有实用价值，但最重要的发现是这些潜在恒等式的存在证据。作者指出，若脱离特定的三项式应用，仅从级数本身的角度去证明这些恒等式，仍是一个有待未来研究的课题。这项工作并非旨在提出实验性应用或声称解决了通用的高阶超几何恒等式问题，而是提供了暗示这些恒等式存在的级数数据。