[论文解读] New identities for a sum of products of the Kummer functions

Sergei Kalmykov, Dmitrii Karp|arXiv (Cornell University)|Oct 22, 2017

Mathematical functions and polynomials参考文献 15被引用 3

一句话总结

本文通过在下参数中引入额外的整数平移，推广了关于合流超几何函数乘积的已知恒等式，扩展了冯、库兹涅佐夫和杨的公式。关键成果是为终止型 Clausen 型超几何级数 ${}_{3}F_2(1)$ 推导出一个新的变换公式，该公式使得 Kummer 函数乘积之差的线性化恒等式得以建立，其表达形式为关于变量的多项式。推导过程依赖于一个关于非终止型 ${}_{3}F_2(1)$ 的新颖求和公式，其参数差具有特定性质。

ABSTRACT

Recently, Feng, Kuznetsov and Yang discovered a very general reduction formula for a sum of products of the generalized hypergeometric functions (J. Math. Anal. Appl. 443(2016), 116--122). The main goal of this note is to present a generalization of a particular case of their identity when the generalized hypergeometric function is reduced to the Kummer function 1F1. Our generalized formula contains an additional integer shift in the bottom parameter of the Kummer function. The key ingredient of the proof is a summation formula for the Clausen series 3F2(1) with two integral parameter differences of opposite sign. In the ultimate section of the paper we prove another formula for a particular product difference of the Kummer functions in terms of a linear combination of these functions.

研究动机与目标

• 通过在下参数中引入额外的整数平移，扩展已知的 Kummer 函数乘积约化公式。
• 通过引入两个独立的整数平移，推广冯、库兹涅佐夫和杨关于 ${}_{1}F_1$ 函数的恒等式。
• 为具有相反符号参数差的终止型 ${}_{3}F_2(1)$ 级数建立一个新的变换公式。
• 推导出 Kummer 函数乘积之差的线性化恒等式，其表达形式为关于变量的多项式。
• 为满足一个上参数小于下参数的非终止型 ${}_{3}F_2(1)$ 提供一个新的求和公式。

提出的方法

• 利用超几何函数对偶性与变换恒等式，推导出一个关于非终止型 ${}_{3}F_2(1)$ 的新求和公式，其条件为一个上参数小于一个下参数。
• 将该求和公式应用于获得具有两个符号相反的整数参数差的终止型 ${}_{3}F_2(1)$ 级数的变换公式。
• 将该变换公式作为关键工具，证明带有下参数中两个整数平移的 Kummer 函数乘积的广义恒等式。
• 利用 Kummer 变换 $ {}_{1}F_{1}(a;b;x) = e^x {}_{1}F_{1}(b-a;b;-x) $，将广义恒等式重写为关于 $ t = -x $ 的形式。
• 应用生成函数技巧，推导出 Kummer 函数乘积之差的线性化恒等式，将其简化为多项式表达式。
• 通过具体示例验证结果，其中使用特定的整数平移 $ m_1, m_2 $，得到闭式多项式恒等式。

实验结果

研究问题

• RQ1 是否可以通过在下参数中引入第二个整数平移，推广已知的 Kummer 函数乘积恒等式？
• RQ2 适用于具有两个符号相反的整数参数差的终止型 ${}_{3}F_2(1)$ 级数的变换公式是什么？
• RQ3 是否存在一个关于非终止型 ${}_{3}F_2(1)$ 的新求和公式，其条件为一个上参数小于一个下参数？
• RQ4 能否为 Kummer 函数乘积之差推导出线性化恒等式，使其表达为关于变量的多项式？
• RQ5 参数 $ m_1 $ 和 $ m_2 $ 如何影响广义恒等式中所得多项式的次数与系数？

主要发现

• 广义恒等式在 Kummer 函数的下参数中引入了两个独立的整数平移 $ m_1, m_2 $，从而扩展了冯、库兹涅佐夫和杨的已知公式。
• 推导出一个关于具有参数差 $ m_1 $ 和 $ -m_2 $ 的终止型 ${}_{3}F_2(1)$ 级数的新变换公式，该公式为实现主要结果提供了支持。
• 建立了一个关于非终止型 ${}_{3}F_2(1)$ 的新颖求和公式，其适用条件为一个上参数小于一个下参数，且参数之间相差整数。
• 线性化恒等式（定理 7）将 Kummer 函数乘积之差表示为关于 $ t $ 的多项式，其系数依赖于 $ \beta, \beta+1, \beta+2 $ 和 $ \beta+3 $。
• 通过具体示例（如 $ m_1=1, m_2=0 $）得到恒等式 $ \frac{1-\beta}{1-\beta-1} {}_{1}F_{1}(\beta; \gamma; t) {}_{1}F_{1}(2-\beta; 2-\gamma; -t) - \cdots = 1 $，验证了多项式结构。
• 当 $ m_1=2, m_2=4 $ 时，所得多项式为 $ (\gamma-4)_3 + (2\beta - \gamma)(\gamma-3)t $，表明其对参数平移及 Pochhammer 符号的依赖性。