一类具负整参数差、含半整数的 3F2(1) 族的显式闭式表达：经由奇调和和（odd harmonic sums）导出

《Axioms》：An Explicit Closed Form for a Half-Integer 3F2(1) Family with Negative Integral Parameter Differences, via Odd Harmonic Sums

　　

研究人员研究半整数族 F(n,p)=?F?(?(2n+1)/2, 1, (2p?1)/2; (2n+5)/2, (2p+1)/2; 1)。该族属于具负整参数差（negative integral parameter differences）的 Karlsson–Minton 类 ?F?(1) 级数。Shpot 与 Srivastava 最相关的对称公式在自由分子参数 a=1（a 表示 Shpot–Srivastava 约化公式的首个分子参数，控制其求值中的 Beta 因子）处出现奇异性。研究人员证明该表观奇点可去，并将其有限值与独立导出的闭式相印证。首先，借助欧拉积分表示及 Jm,n(x)=∫?1 v2m(1?xv2)?ndv 的递推关系，得到 ?F?(?(2n+1)/2, 1; (2n+5)/2; x) 的闭式；进而将 ?F?(1) 归结为奇调和和的组合，给出显式闭式。

研究背景与问题由来

在特殊函数理论中，单位点 ?F?(1)（广义超几何级数在 z=1 处的求值）因其与组合恒等式、数论和物理中 Feynman 积分的深刻联系而备受关注。当级数参数含半整数且具负整参数差时，该族落入 Karlsson–Minton 类，理论上可由已知对称约化公式（如 Shpot–Srivastava 公式）求值。然而，当 Shpot–Srivastava 公式的首个自由分子参数取 a=1 时，其 Beta 因子结构在该点退化，公式表面奇异，无法直接读出有限值。这种“奇点”究竟是真奇异还是可去奇点，此前缺乏严格论证；与此同时，该类半整数 ?F?(1) 是否拥有不依赖极限过程的显式闭式，亦未明了。研究人员正是在这一缝隙中开展本项研究，论文发表于《Axioms》。

主要技术方法

研究人员采用三条相互印证的技术路线：其一，利用欧拉型积分表示将 ?F?(1) 转化为单变量 ?F? 的积分核 J_m,n(x)=∫?1 v^2m(1?xv2)^?ndv，并建立 J_m,n 关于 m,n 的递推；其二，借该递推获得 ?F?(?(2n+1)/2,1;(2n+5)/2;x) 的初等闭式，再令 x→1 得到半整数 ?F?(1) 的候选值；其三，独立地将该 ?F?(1) 展开为奇调和和（odd harmonic sums，即仅含奇数分母的调和型和）的线性组合，从组合侧给出同一闭式。两条路径在 a=1 处的比对，构成奇点可去性的判据。本文无生物实验，不涉及样本队列。

研究结果（按原文小标题脉络浓缩）

引言与族的定义：研究人员界定目标族 F(n,p)=?F?(?(2n+1)/2,1,(2p?1)/2;(2n+5)/2,(2p+1)/2;1)，指出其属 Karlsson–Minton 类但 Shpot–Srivastava 对称式在 a=1 失效。

欧拉积分与 J_m,n 递推：通过 J_m,n(x) 的递推消去参差，导出 ?F?(?(2n+1)/2,1;(2n+5)/2;x) 的闭式，取 x=1 得 F(n,p) 的积分侧表达式。

奇调和和展开：将 ?F?(1) 按奇数分母调和和展开，利用已知奇调和和恒等式化简为含 n,p 的有理系数多项式与对数项的显式闭式。

奇点可去性核验：把 Shpot–Srivastava 公式在 a=1 的极限按 Beta 函数解析延拓展开，证明其极限等于上述独立闭式，从而确认表观奇点为可去奇点，有限值非空。

闭式最终形式：综合两路推导，研究人员给出 F(n,p) 以奇调和和为基的显式闭式，覆盖所有非负整数 n,p，且在 a=1 自然连续。

讨论与结论翻译

讨论部分指出，本研究填补了 Karlsson–Minton 类半整数 ?F?(1) 在 Shpot–Srivastava 公式奇点处的求值空白，表明“公式奇异”不等于“函数值奇异”；奇调和和在此充当了连接超几何积分与组合恒等式的自然桥梁。结论部分：研究人员证实了所论半整数 ?F?(1) 族拥有以奇调和和为显式基的闭式；Shpot–Srivastava 公式在 a=1 的表观奇点为可去奇点，其有限值与欧拉积分—递推路线所得闭式完全一致；该结果为后续处理更高阶负差 ?F?(1) 及相关的 Feynman 积分约化提供了可复用的解析框架。