[论文解读] The sunrise integral and elliptic polylogarithms

Luise Adams, Christian Bogner+1 more|arXiv (Cornell University)|Jun 30, 2016

Advanced Mathematical Identities参考文献 33被引用 6

一句话总结

本文引入了一类新的椭圆多 polylogarithm 函数，称为 E 函数和 ELi 函数，以系统计算二维和四维时空中的大质量太阳图费曼积分。通过利用其迭代积分结构和微分方程，作者在二维空间中对任意质量获得了精确结果，并在等质量情况下计算了任意阶的洛朗展开，其结果超出了经典 polylogarithm 的能力范围。

ABSTRACT

We summarize recent computations with a class of elliptic generalizations of polylogarithms, arising from the massive sunrise integral. For the case of arbitrary masses we obtain results in two and four space-time dimensions. The iterated integral structure of our functions allows us to furthermore compute the equal mass case to arbitrary order.

研究动机与目标

• 为解决多重 polylogarithm 在表达某些多圈费曼积分（尤其是大质量太阳图积分）方面的局限性。
• 开发一类新的椭圆 polylogarithm 通解，能够捕捉任意质量与维度下太阳图积分的结构。
• 为太阳图积分在维度正规化下的洛朗展开提供系统性框架，实现任意阶计算。
• 基于微分方程与迭代积分的算法，将已知的等质量、二维情况下的结果推广至所有阶。

提出的方法

• 通过涉及 $ x^j / j^n $、$ y^k / k^m $ 和 $ q^{jk} $ 的双重求和，定义一类新函数 ELi 函数，将经典 polylogarithm 推广至椭圆结构。
• 通过结合 ELi 函数与反射对称性及归一化因子，构造 E 函数，确保其具备与椭圆曲线相关的模形式与周期性性质。
• 利用 E 函数的迭代积分结构，求解维度正规化下太阳图积分所导出的微分方程。
• 应用维度跃迁关系，将二维空间的结果推广至四维时空，连接 $ \mathcal{O}(\epsilon^0) $ 与 $ \mathcal{O}(\epsilon) $ 的系数。
• 为二维空间中的等质量情况开发递归算法，将每个洛朗系数 $ \tilde{S}^{(j)} $ 表示为 ELi 函数的迭代积分。
• 利用 E 函数类在 $ dq/q $ 积分与乘法下的封闭性，确保所有结果均保持在定义的函数空间内。

实验结果

研究问题

• RQ1 能否构造一类新的椭圆 polylogarithm，以系统描述超出多重 polylogarithm 能力范围的大质量太阳图积分？
• RQ2 如何利用这些新函数在二维和四维时空中计算任意质量下的太阳图积分？
• RQ3 是否能在此框架下，计算等质量太阳图积分在维度正规化下的所有阶洛朗展开？
• RQ4 迭代积分结构在通过微分方程递归计算高阶系数中起到何种作用？
• RQ5 这些新 E 函数与已知的椭圆 polylogarithm 及椭圆曲线上的模形式有何关系？

主要发现

• 在二维时空中，任意质量的大质量太阳图积分可用 E 函数与多重 polylogarithm 表示，结果对 $ \epsilon $ 展开的所有阶均有效。
• 在四维空间中，太阳图积分的 $ \mathcal{O}(\epsilon^0) $ 系数通过维度跃迁关系与二维空间中的 $ \mathcal{O}(\epsilon) $ 结果显式计算得出。
• 在二维空间的等质量情况下，洛朗级数的所有系数 $ \tilde{S}^{(j)} $ 均可通过递归算法系统地表示为 E 函数与经典 polylogarithm 的组合。
• $ S^{(1)}(2,t) $ 的微分方程可分解为一阶与二阶算子，使得可通过常数变易法导出以 E 函数表示的显式解。
• $ S^{(1)}(2,t) $ 的微分方程的非齐次项包含质量的对数与 $ \mathcal{O}(\epsilon^0) $ 系数，而该系数本身也以 E 函数表示。
• 函数 $ E_R^{(1)} $（贡献于 $ S^{(1)}(2,t) $）被证明是 $ \textrm{Li}_2, \textrm{Li}_3, \textrm{Li}_{2,1}, \textrm{E}_{3;1}, \textrm{E}_{0,1;-2,0;4} $ 的线性组合，证实了其在所需运算下的封闭性。