[论文解读] Differential Reduction Algorithms for the All-Order Epsilon Expansion of Hypergeometric Functions

S.A. Yost, M.Yu. Kalmykov+1 more|ArXiv.org|Aug 19, 2008

Polynomial and algebraic computation参考文献 8被引用 9

一句话总结

本文提出了一种微分约化算法，用于在整数参数值附近计算 Appell 超几何函数 $F_1$ 的所有阶次 $\varepsilon$-展开，方法基于迭代积分和广义多 polylogarithm 函数。该方法通过递归求解耦合微分方程，系统地构造 $\varepsilon$ 的洛朗级数系数，从而得到前几项的显式表达式，其形式涉及 Nielsen polylogarithm 和多重 polylogarithm 函数。

ABSTRACT

Hypergeometric functions provide a useful representation of Feynman diagrams occuring in precision phenomenology. In dimension regularization, the epsilon-expansion of these functions about d=4 is required. We discuss the current status of differential reduction algorithms. As an illustration, we consider the construction of the all-order epsilon-expansion of the Appell hypergeometric function about integer values of the parameters and present an explicit evaluations of the first few terms.

研究动机与目标

• 开发一种系统化方法，用于在维度调节下计算超几何函数（特别是 Appell $F_1$）的所有阶次 $\varepsilon$-展开。
• 解决在整数参数值附近构造超几何函数在 $\varepsilon$ 上的洛朗级数展开这一关键问题，这是高精度量子场论中的核心挑战。
• 提供一种基于微分方程和迭代积分的迭代算法，将高阶 $\varepsilon$-展开系数表示为已知特殊函数的形式。
• 通过显式计算 $F_1$ 的 $\varepsilon$-展开前几项，展示该方法的有效性。

提出的方法

• 该方法采用微分约化，将 $F_1(a,b_1,b_2,c;z_1,z_2)$ 表示为参数偏移后的函数及其一阶导数的线性组合。
• 使用基函数 $\omega_0(z_1,z_2) = F_1(a\varepsilon, b_1\varepsilon, b_2\varepsilon, 1+c\varepsilon; z_1, z_2)$，其满足关于 $z_1$ 和 $z_2$ 的耦合微分方程组。
• $\varepsilon$-展开通过逐阶求解微分方程实现，利用特征线法将方程约化为关于 $z_1$ 的一阶常微分方程，其中参数 $C = z_2/z_1$ 保持不变。
• 解的形式涉及迭代积分 $I(a_k, \dots, a_1; z)$，其通过 $G$-函数与多重 polylogarithm 函数相关联。
• 该算法将系数 $\omega_r^{(j)}(z_1,z_2)$ 表示为广义 polylogarithm 函数，包括 $\text{Li}_2$、$\text{Li}_3$ 和 $S_{1,2}$ 函数。
• 该方法利用已知的 Gauss 超几何函数 ${}_2F_1$ 的所有阶次 $\varepsilon$-展开作为输入，以构建 $F_1$ 的展开式。

实验结果

研究问题

• RQ1 如何系统化地计算在整数参数值附近 Appell 超几何函数 $F_1$ 的所有阶次 $\varepsilon$-展开？
• RQ2 $F_1$ 的 $\varepsilon$-展开系数在 polylogarithm 等特殊函数下的结构是怎样的？
• RQ3 能否利用微分约化与迭代积分技术，推导出 $F_1$ 的 $\varepsilon$-展开的递归算法？
• RQ4 该 $\varepsilon$-展开系数与更简单的 ${}_2F_1$ 函数的系数之间有何关系？

主要发现

• 第一个非平凡的 $\varepsilon$-展开系数 $\omega_0^{(2)}(z_1,z_2)$ 为 $\sum_{r=1,2} ab_r \, \text{Li}_2(z_r)$，且 $\omega_r^{(2)}(z_1,z_2) = -\sum_{r=1,2} ab_r \ln(1 - z_r)$。
• 三阶系数 $\frac{1}{a}\omega_0^{(3)}(z_1,z_2)$ 可表示为 $\text{Li}_3(z_r)$、$S_{1,2}(z_r)$ 以及涉及 $\frac{1 - z_1}{1 - z_2}$ 的非平凡多重 polylogarithm 组合。
• 解的结构确保所有积分分量仅依赖于 $\frac{1}{1-t}$ 和 $\frac{1}{t}$，从而保证最终结果属于多重 polylogarithm 类。
• 该方法成功地将 $F_1$ 展开转化为可通过迭代积分和已知 ${}_2F_1$ 展开求解的系统，从而实现所有 $\varepsilon$ 幂次的递归计算。
• 该算法在参数平移操作下具有自洽性和封闭性，可实现完整的所有阶次 $\varepsilon$-展开。