${}_5F_4$ evaluations and a family of $\pi^2+\log^2$ identities

技术摘要：$5F_4$ 求值与一类 $\pi^2 + \log^2$ 恒等式

问题陈述
本文研究了级数 $S(z) = \sum_{n \ge 1} \frac{z^n}{n^2 \binom{4n}{n}}$ 的求值问题，该级数对应于广义超几何函数 $-\frac{z}{4} {}_5F_4\left(1, 1, 1, \frac{4}{3}, \frac{5}{3}; \frac{5}{4}, \frac{3}{2}, \frac{7}{4}, 2; \frac{27z}{256}\right)$。该级数源自积分 $I_{1,3}(z) = \int_0^1 \frac{\ln(1 - z x(1-x)^3)}{x} dx$。尽管 D'Aurizio 和 Di Trani 此前研究了三次基底情形（$p=1, q=2$）并启动了四次基底（$p=1, q=3$）的归约工作，但他们未能完成四次基底情形的闭合形式求值。他们试图强制单一实根的方法导致了一个包含复立方根的不可约三次余因子，这阻碍了将其简化为纯粹的 $\pi^2$ 加上对数有理二次型的形式。本研究旨在求值该 ${}_5F_4$ 级数在由有理角 $\theta = j\pi/N$ 索引的无穷代数点集上的值，并建立一个不存在此类障碍的闭合形式。

方法论
作者采用了一种自洽的证明策略，避免了通常用于二阶对数归约的五项（Abel）关系和根差对数。该方法通过三个主要阶段进行：

1. 权重变换与对称归约：
   证明利用一个联系两个权重的精确整数因子（引理 3），将积分 $I(z)$ 转化为涉及 $\frac{1}{x(1-x)}$ 的对称形式。通过将纤维多项式 $\ln(1 - z x(1-x)^3) = \prod (1 - x/\rho_k)$ 的对数进行分解，并应用 Landen 恒等式（$\text{Li}_2(w) + \text{Li}_2(\frac{w}{w-1}) = -\frac{1}{2}\ln^2(1-w)$），将积分归约为根的平方对数之和（引理 4）。这得到了恒等式：
   $$I(z) = \frac{3}{8} \sum_{k=1}^4 \ln^2\left(1 - \frac{1}{\rho_k}\right)$$
   其中 $\rho_k$ 是纤维多项式 $x(1-x)^3 = 1/z$ 的根。

2. 匹配构造：
   作者并非强制单一实根，而是强制一对共轭复根 $\rho, \bar{\rho} = r e^{\pm i\theta}$，其满足给定的有理角 $\theta = j\pi/N$。这留下了一个具有根 $a$ 和 $b$ 的实二次余因子。通过匹配纤维多项式的系数来确定参数 $r$ 和 $z$，从而得到关于 $r$ 的三次方程以及特定的代数值 $z$。

3. 坍缩至三个生成元：
   平方对数之和被拆分为“对数部分”（模）和“$\pi^2$ 部分”（辐角）。

   • 对数部分： 利用乘性纤维关系 $\rho(1-\rho)^3 = 1/z$，将模 $\ln|1-1/\rho_k|$ 表示为三个生成元的线性组合：$L_a = \ln a$, $L_b = \ln |b|$, 以及 $L_r = \ln r$。这使得四个项坍缩为一个通用的有理二次型 $Q(L_a, L_b, L_r)$。
   • $\pi^2$ 部分： 对复根的辐角进行分析。作者证明了对于 $z < 0$，辐角 $\arg(1 - 1/\rho)$ 正好是 $\frac{2}{3}(\pi - 2\theta)$。这使得辐角项可以表示为 $\pi^2$ 的有理倍数，具体为 $-\frac{1}{3}(1 - 2j/N)^2 \pi^2$。

主要贡献与结果

• 定理 11（统一族）： 本文建立了该级数在无穷代数点族 $z(j, N)$ 上的闭合形式求值。对于任何允许容许分支（即剩余根为实数且级数收敛）的有理角 $\theta = j\pi/N$，其值为：
  $$I(z) = -\frac{1}{3}\left(1 - \frac{2j}{N}\right)^2 \pi^2 + Q(\ln a, \ln |b|, \ln r)$$
  其中 $Q$ 是一个与 $(j, N)$ 无关的固定有理二次型。
• 显式求值： 本文提供了特定情况的显式数值和代数求值，包括五边形（$\theta = \pi/5$）、八边形（$\theta = \pi/4$）、七边形（$\theta = 2\pi/7$）和九边形（$\theta = 2\pi/9$）。对于五边形，模 $r=1$，从而将对数项简化为三个。
• 阶数的极大性（定理 20）： 本文证明了“强制一对共轭根”的构造产生收敛的“纯”求值族（仅包含 $\pi^2$ 和 $\log^2$ 项），当且仅当总次数 $s = p+q$ 为 3 或 4。
  • 对于 $s=3$ (${}_4F_3$) 和 $s=4$ (${}_5F_4$)，强制的共轭对是唯一的复数对，确保了自动的纯粹性。
  • 对于 $s \ge 5$，至少存在一个额外的未约束复数对。本文认为，对于这些更高阶的情况，纯粹性并非自动具备，且针对五次基底（$s=5$）的计算搜索未发现任何实例能使剩余的对落在收敛区域内的有理角处。

意义与主张
本文声称解决了 D'Aurizio 和 Di Trani 留下的四次基底问题。通过将构造从强制实根转向强制在有理角处的复共轭对，作者消除了此前阻碍闭合形式形成的“立方根”人工产物。

其意义在于：

1. 完成归约： 提供了 ${}_5F_4$ 级数的缺失求值，证明了它确实存在类型为 $c\pi^2 + \text{对数二次型}$ 的闭合形式。
2. 自洽证明： 通过 Landen 恒等式和权重变换直接导出系数和形式，而非依赖于预先存在的二阶对数关系或数值验证。
3. 定义纯粹性的极限： 确立了 ${}_5F_4$（四次基底）是该特定构造能自动保证“纯”求值的最大阶数。本文谦逊地指出，虽然不能证明不存在更高阶的纯粹求值（可能存在孤立情况），但该构造对于 $s \ge 5$ 不会产生收敛的一参数族，且对 $s=5$ 的详尽搜索未发现任何实例。

这项工作被呈现为对四次情形的决定性处理，以及对一般 $p, q$ 族边界定理的探讨，其核心在于纤维根的几何特性与有理角的算术特性之间的相互作用。