[论文解读] The Gegenbauer Polynomial Technique: the evaluation of complicated Feynman integrals

A. V. Kotikov|ArXiv.org|Feb 14, 2001

Particle physics theoretical and experimental studies被引用 6

一句话总结

本文开发并应用了Gegenbauer多项式（GP）技术，以解析计算量子场论中出现的极为复杂的费曼积分，特别是φ⁴理论在任意时空维度D下O(1/N³)修正中临界指数最复杂的部分。通过在Gegenbauer级数中展开传播子，并利用正交性和无迹张量积，该方法实现了这些积分的解析求值，得到了临界积分I(λ)的闭式表达式，其以多 polygamma 和 dilogarithmic 函数表示，并在维度正规化下展开至ε⁸阶。

ABSTRACT

We discuss a progress in calculation of Feynman integrals which has been done with help of the Gegenbauer Polynomial Technique and demonstrate the results for most complicated parts of O(1/N^3) contributions to critical exponents of ϕ^4 -theory, for any spacetime dimensionality D.

研究动机与目标

• 开发一种系统化方法，以解析计算φ⁴理论中O(1/N³)修正临界指数最复杂的费曼积分。
• 将Gegenbauer多项式技术扩展至直接在动量空间处理传播子型图，避免使用贝塞尔函数。
• 计算控制φ⁴理论大N展开中O(1/N³)贡献的临界积分I(λ)，适用于一般D。
• 利用双重欧拉和，计算I(λ)在D=2和D=3附近的高阶ε展开（至ε⁸阶）。
• 作为积分求值的副产品，建立超几何函数的新变换规则，特别是针对参数为-1的₃F₂函数。

提出的方法

• 该方法在动量空间中将无质量传播子展开为Gegenbauer多项式，利用恒等式 (x₁−x₂)⁻²λ = Σ Cₙ^λ(ẑ₁·ẑ₂) × [(x₁²)ⁿ/² / (x₂²)ⁿ/²⁺λ] × Θ(x₂²−x₁²) + (x₁²↔x₂²)，该式在r≤1时成立。
• 通过动量的无迹张量积（TP）系统处理洛伦兹结构，确保积分过程中 gauge 不变且对称的收缩。
• 利用Gegenbauer多项式的正交性，将多圈积分约化为对标量积的一维积分。
• 应用关键积分规则，如 ∫ Dx x^{μ₁…μₙ} / [x²(x−y)²] = (1/(4π)^D) y^{μ₁…μₙ} / y²(α+β−λ−1) × Aⁿ,⁰(α,β)，其中Aⁿ,ᵐ通过伽马函数定义。
• 通过将积分划分为区域，处理Gegenbauer展开中Θ函数的不连续性，从而实现对非解析行为的解析处理。
• 推导出关于参数为-1的₃F₂超几何函数的新变换规则，将其与 polygamma 和 dilogarithmic 函数联系起来，这对最终简化至关重要。

实验结果

研究问题

• RQ1 如何对任意时空维度D下的φ⁴理论中O(1/N³)修正临界指数最复杂的费曼积分进行解析求值？
• RQ2 控制这些修正的临界积分I(λ)的结构是什么？其闭式表达式如何表示？
• RQ3 Gegenbauer多项式技术能否系统地应用于具有不连续传播子的多圈、多尺度积分？
• RQ4 从该积分求值中涌现出哪些新的超几何函数变换规则？它们与已知恒等式有何关联？
• RQ5 如何计算并表达I(λ)在ε⁸阶的高阶ε展开（在D=2和D=3附近），并以多重 zeta 值或双重欧拉和表示？

主要发现

• 临界积分I(λ)被解析求值为 I(λ) = Ψ(1) − Ψ(1−λ) + [Φ(λ) − ½Ψ″(λ) − 7/24 Ψ″(1)] / [Ψ′(1) − Ψ′(λ)]，其中Ψ为 digamma 函数，Φ(λ)包含一个 dilogarithmic 积分。
• 积分Φ(λ)显式表示为 Φ(λ) = 4∫₀¹ dx x²λ⁻¹/(1−x²) [Li₂(−x) − Li₂(−1)]，其中Li₂为 dilogarithm 函数。
• 结果在D=2和D=3附近展开为ε级数，至ε⁸阶，以交替和非交替双重欧拉和表示。
• 推导出关于参数为-1的₃F₂超几何函数的新变换规则：₃F₂(2a,b,1;b+1,2−a;−1) = b·Γ(2−a)Γ(b+a−1)Γ(b−a)Γ(1+a−b)/[Γ(2a)Γ(1+b−2a)] 减去另外两个₃F₂项。
• 该方法成功计算了φ⁴理论中任意D下O(1/N³)修正临界指数最困难的部分，解决了大N场论中长期存在的难题。
• 该技术通过直接在动量空间工作避免了贝塞尔函数的使用，且通过使用无迹张量积，简化了圈积分中洛伦兹结构的处理。