[论文解读] On Askey's extension of Clausen's identity and its polynomial perturbation

Dmitrii Karp, Vinay Shukla|arXiv (Cornell University)|Feb 1, 2026

Mathematical functions and polynomials被引用 0

一句话总结

论文将 Clausen 恒等式推广至一般自然数 m，给出带移位参数的 Gauss 超几何函数平方的超几何表达式，并被一个次数为 2m 的多项式扰动所扰动；进一步推广到与次数 s ≤ 2m+1 的多项式扰动的积，给出明确的特征多项式。

ABSTRACT

The celebrated Clausen's identity expresses the square of the Gauss hypergeometric series ${}_2F_{1}(a,b;a+b+1/2;x)$ as a single hypergeometric ${}_3F_2$ series. Goursat showed in 1883 that replacing $1/2$ by $m+1/2$ leads to a hypergeometric series for the square whenever $m$ is a positive integer. Askey found this series explicitly for $m=1$. The first goal of this paper is to extend this result by treating the case of any natural $m$. The ${}_3F_{2}$ series on the right-hand side is thereby replaced by its perturbation by an explicit characteristic polynomial of degree $2m$, i.e., its coefficients are multiplied by values of this polynomial at nonnegative integers. The second goal of this paper is to make one further step and replace the square of the Gauss function by its product with its perturbation by an arbitrary polynomial of degree $s\le{2m+1}$. We show that such product remains hypergeometric and find its explicit form in terms of a polynomial perturbation of the ${}_3F_2$ series. We present an explicit formula for the characteristic polynomial whose degree is shown to be $2m+s$.

研究动机与目标

• 将 Clausen 恒等式扩展至任意自然 m 的情形，即带移位参数的高斯超几何函数平方。
• 通过一个次数为 2m 的多项式对右边进行多项式扰动。
• 推广到带有次数 s ≤ 2m+1 的多项式扰动的平方函数的乘积，并获得显式扰动形式。
• 推导支配扰动的显式特征多项式，其次数为 2m+s。
• 给出连接已知结果的示例（如 Askey 的 m=1 情况）。

提出的方法

• 从 Whipple 型变换和 Karlsson 展开出发，将乘积表示为超几何级数。
• 通过 P(x∂x) 对超几何级数作用，发展多项式扰动 F(a,b|P|x)。
• 推导出显式的次数为 2m 的多项式 P_{2m}^{a,b}(t)，支配 [2F1(a,b;a+b+m+1/2;x)]^2 的扰动。
• 推广到带扰动 F_s 的乘积，得到次数为 2m+s 的多项式 ˆP̂_{2m+s}(t) 的扰动，并给出两种等价表示（通过 (3.2) 和 (3.3)）。
• 利用插值（牛顿/拉格朗日）将系数联系起来，建立有理性性/递推性质。

实验结果

研究问题

• RQ1 Clausens 恒等式是否可以推广到内参数偏移为正整数 m+1/2 的情况，对任意 m∈N？
• RQ2 次数为 m 的多项式扰动如何影响 Clausen 型恒等式中右端的超几何表达？
• RQ3 支配扰动的超几何乘积的显式形式及其特征多项式的次数是多少？
• RQ4 是否可能通过一个次数为 s ≤ 2m+1 的任意多项式扰动来实现平方的扰动并保持超几何结构？
• RQ5 有哪些具体实例（如 m=1、m=2）能说明扩展公式及由此得到的高阶超几何级数？

主要发现

• 对 [2F1(a,b;a+b+m+1/2;x)]^2 给出带次数为 2m 的多项式扰动 P_{2m}^{a,b}(t) 的超几何级数的一般公式（定理 2.1）。
• 给出以有限求和形式表示的扰动多项式 P_{2m}^{a,b}(t) 的显式表达（涉及 {}_3F_2 与 Pochhammer 符号的和式，式 (2.13)）。
• 对平方重新表述为带扰动参数的 {}_{3+2m}F_{2+2m} 的形式的说明（备注 2.2 及相关讨论）。
• 扩展到带多项式扰动 F_s 的乘积，得到次数为 2m+s 的扰动 {}_{2}F_{1}·F_s 的形式再现为超几何形式，且存在显式扰动多项式 ˆP̂_{2m+s}(t) 的次数为 2m+s（定理 3.1）。
• 对扰动多项式 ˆP̂_{2m+s}(t) 给出两种等价表示：(i) 通过 (3.2) 与 (3.3)，以及 (ii) 通过拉格朗日/牛顿插值形式（备注 3.6）。
• 特殊情形可以恢复已知结果：m=0 时为 Clausen 恒等式；m=1 时得到 Askey 的显式 m=1 情况（示例 1）。
• 给出一个开放性问题：s ≤ 2m+1 的约束不能去除；若 s>2m+1，右端形式需要更高阶的扰动。