[论文解读] Derivatives of Horn-type hypergeometric functions with respect to their parameters

V. Bytev, Bernd A. Kniehl+1 more|arXiv (Cornell University)|Jan 1, 2017

Mathematical functions and polynomials参考文献 34被引用 2

一句话总结

本文推导了Horn型超几何函数关于其参数的导数的显式表达式，表明此类导数会产生一个额外变量的Horn型超几何级数。主要贡献在于提出了一般性公式，使得通过广义超几何函数的参数导数系统计算费曼图在维度正规化下的ε展开成为可能。

ABSTRACT

We consider the derivatives of Horn hypergeometric functions of any number variables with respect to their parameters. The derivative of the function in $n$ variables is expressed as a Horn hypergeometric series of $n+1$ infinite summations depending on the same variables and with the same region of convergence as for original Horn function. The derivatives of Appell functions, generalized hypergeometric functions, confluent and non-confluent Lauricella series and generalized Lauricella series are explicitly presented. Applications to the calculation of Feynman diagrams are discussed, especially the series expansion in $\epsilon$ within dimensional regularization. Connections with other classes of special functions are discussed as well.

研究动机与目标

• 推导Horn型超几何函数关于其参数的一般表达式。
• 将已知的Appell函数和广义超几何函数结果推广至多变量及广义Lauricella级数。
• 为高能物理，特别是费曼图计算，提供可应用的导数显式公式。
• 建立Horn型函数参数导数产生同类型收敛性的新超几何级数的理论，促进维度正规化下的ε展开。

提出的方法

• 通过微分Pochhammer符号并用多Polygamma函数级数表示结果，推导超几何函数的一阶导数。
• 将该方法应用于广义超几何函数、Appell函数和广义Lauricella级数，表明导数为多一变量的Horn型级数。
• 利用Pochhammer符号结构和Stirling数展开系统处理参数导数。
• 推导双变量及多重求和指标参数（如2m+n, qn）的导数结果，推广至任意参数导数。
• 将形式化方法应用于双变量Horn函数（如H3(a,b,c,x,y)），显式推导其参数导数。
• 证明导数级数的收敛区域与原函数一致，确保解析有效性。

实验结果

研究问题

• RQ1 如何以闭式表达Horn型超几何函数关于其参数的导数？
• RQ2 对广义超几何函数参数求导时，会生成哪类特殊函数？
• RQ3 Appell和Lauricella级数在参数求导下行为如何？
• RQ4 能否从超几何函数的参数导数系统推导费曼图的ε展开？
• RQ5 导数级数的收敛区域是什么？其与原函数的关系如何？

主要发现

• n个变量的Horn型超几何函数关于其参数的导数，可表示为n+1个变量的Horn型超几何级数，且收敛区域与原函数相同。
• 广义超几何函数和Appell函数的一阶导数可表示为Kampé de Fériet型函数。
• 对广义Lauricella和Horn型函数（如H3）推导出显式导数公式，适用于任意参数导数。
• 该方法可通过对超几何表示关于参数Ba和Db求导，实现费曼积分在维度正规化下的ε展开构造。
• 导数级数的收敛区域与原函数完全一致，确保解析一致性。
• 结果提供了一个系统性框架，通过微分约化技术将费曼积分简化为基本超几何函数，且无限级数求和最少。