[论文解读] Epsilon expansion of Appell and Kampé de Fériet functions

David Greynat, J. Sesma+1 more|arXiv (Cornell University)|Oct 29, 2013

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

一句话总结

本文提出了一种系统方法，用于计算在费曼图计算中至关重要的 Appell 和 Kampé de Fériet 函数的 ε-展开，通过推导 Pochhammer 符号及其倒数符号的高阶导数实现。该方法利用在零点附近的 ε 的泰勒展开，采用涉及广义调和数和第一类 Stirling 数的闭式表达式，从而实现对参数线性依赖于 ε 的超几何函数的高效、解析 ε-展开计算。

ABSTRACT

The decomposition in partial fractions of the quotient of Pochhammer symbols improves considerably a method, suggested in a precedent paper, which allows one to obtain the $\varepsilon$-expansion of functions of the hypergeometric class. The procedure is applied to several Appell and Kampé de Fériet functions considered in the literature. Explicit expressions and interesting properties of the derivatives of the Pochhammer and reciprocal Pochhammer symbols, which are essential elements in the procedure, are given in an appendix.

研究动机与目标

• 开发一种通用且高效的方法，用于计算参数线性依赖于 ε 的超几何函数的 ε-展开，特别是 Appell 和 Kampé de Fériet 函数。
• 推导 Pochhammer 符号及其倒数符号关于其参数的 k 阶导数的闭式表达式。
• 将该方法应用于计算在一阶和二阶费曼图中出现的特定函数的完整 ε-展开。
• 引入并利用 Pochhammer 符号商的分式分解，以简化高阶导数的计算。

提出的方法

• 推导 Pochhammer 符号 (a)_{m} 及其倒数的 k 阶导数的一般公式，使用广义调和数和第一类 Stirling 数。
• 引入算子 τ_{m}^{(k)}(a) 和 ρ_{m}^{(k)}(b)，分别表示 (a)_{m} 和 1/(b)_{m} 的归一化 k 阶导数。
• 对超几何函数在 ε=0 附近进行泰勒展开，使用推导出的导数作为构建模块。
• 利用 Pochhammer 符号商的分式分解为简单极点形式，以促进对 ε 的微分。
• 使用生成函数和涉及二项式系数与广义调和数的组合恒等式，以紧凑形式表达结果。
• 通过计算已知物理图（包括五边形图和日冕图）中 Appell 和 Kampé de Fériet 函数的完整 ε-展开，验证了该方法的有效性。

实验结果

研究问题

• RQ1 如何系统地用已知特殊函数表达 Pochhammer 符号及其倒数符号的高阶导数？
• RQ2 计算参数线性依赖于 ε 的 Appell 和 Kampé de Fériet 函数的 ε-展开的最高效方法是什么？
• RQ3 Pochhammer 符号商的分式分解能否简化多变量超几何函数中 ε-展开的推导？
• RQ4 广义调和数和 Stirling 数在 ε-展开的解析结构中扮演什么角色？
• RQ5 所提出的方法如何应用于计算特定费曼图（如一阶五边形图和二阶日冕图）的完整 ε-展开？

主要发现

• Pochhammer 符号 (a)_{m} 关于 a 的 k 阶导数为 τ_{m}^{(k)}(a) = ∑_{j=0}^{m-1} Σ_{k}(j) / (a+j)^k，其中 Σ_{k}(j) 涉及广义调和数。
• 倒数 Pochhammer 符号 1/(b)_{m} 的 k 阶导数为 ρ_{m}^{(k)}(b) = (-1)^k ∑_{j=0}^{m-1} Σ_{k}(j) / (b+j)^k，其中 Σ_{k}(j) 系数相同。
• 该方法成功计算了一阶五边形图中 Appell F1 函数的完整 ε-展开，与已知结果一致。
• 对于二阶日冕图，该方法得出了相关 Kampé de Fériet 函数在 ε 中任意阶次的完整 ε-展开。
• 对形如 (1+δ−ε)_{n1+n2}/[(1−ε)_{n1}(1+δ+ε)_{n2}] 的商进行分式分解，可通过类似留数的项系统推导 ε-展开。
• 该方法为量子场论中超几何函数的 ε-展开提供了一个统一的解析框架，避免了数值计算或级数截断的局限性。