[论文解读] Elliptic integral evaluation of a Bessel moment by contour integration of a lattice Green function

David Broadhurst|ArXiv.org|Jan 31, 2008

Mathematical functions and polynomials参考文献 15被引用 23

一句话总结

本文通过六边形晶格格林函数的围道积分，严格证明了来自一个具有一个内部质量加倍的两圈四点费曼图的贝塞尔矩的椭圆积分表达式。关键结果为精确求值 $ M = \int_0^\infty t I_0^2(t) K_0^2(t) K_0(2t) \, dt = \frac{1}{12} \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) = \frac{\Gamma^6(1/3)}{64\pi^2 2^{2/3}} $，该结果通过模变换和贝利将阿佩尔级数约化为椭圆积分乘积的方法建立。

ABSTRACT

A proof is found for the elliptic integral evaluation of the Bessel moment $$M:=\int_0^\infty t I_0^2(t)K_0^2(t)K_0(2t) { m d}t ={1/12} {\bf K}(\sin(π/12)){\bf K}(\cos(π/12)) =\frac{Γ^6(\frac13)}{64π^22^{2/3}}$$ resulting from an angular average of a 2-loop 4-point massive Feynman diagram, with one internal mass doubled. This evaluation follows from contour integration of the Green function for a hexagonal lattice, thereby relating $M$ to a linear combination of two more tractable moments, one given by the Green function for a diamond lattice and both evaluated by using W.N. Bailey's reduction of an Appell double series to a product of elliptic integrals. Cubic and sesquiplicate modular transformations of an elliptic integral from the equal-mass Dalitz plot are proven and used extensively. Derivations are given of the sum rules $$\int_0^\infty(I_0(a t)K_0(a t)-\frac{2}π K_0(4a t) K_0(t))K_0(t) { m d}t=0$$ with $a>0$, proven by analytic continuation of an identity from Bailey's work, and $$\int_0^\infty t I_0(a t)(I_0^3(a t)K_0(8t)- \frac{1}{4π^2} I_0(t)K_0^3(t)) { m d}t=0$$ with $2\ge a\ge0$, proven by showing that a Feynman diagram in two spacetime dimensions generates the enumeration of staircase polygons in four dimensions.

研究动机与目标

• 证明来自一个具有一个内部质量加倍的两圈四点费曼图的贝塞尔矩的猜想求值。
• 建立该矩与完全椭圆积分第三奇异值之间的联系，对应于模参数 $ q = \exp(-\pi\sqrt{3}) $。
• 证明矩 $ M $ 可通过六边形晶格格林函数 $ \widetilde{D}(z) $ 的围道积分推导得出，借助解析延拓将其与已知矩联系起来。
• 证明涉及贝塞尔函数与算术-几何平均（AGM）的新求和规则与模恒等式，扩展贝利已知结果。

提出的方法

• 通过六边形晶格格林函数 $ \widetilde{D}(z) $ 的围道积分，论文推导出一个围道积分为零的恒等式，将 $ M $ 与更易处理的矩联系起来。
• 利用 W.N. 贝利将阿佩尔双重级数约化为椭圆积分乘积的方法，论文将相关矩表示为 $ \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) $。
• 应用三次与三分之二次模变换，论文关联了 $ \sigma_1 $、$ \sigma_2 $ 与 $ \rho $ 的积分，通过解析延拓实现对矩 $ M $ 的求值。
• 推导并使用求和规则 $ \int_0^\infty \mathcal{K}_0(a,t) K_0(t) \, dt = 0 $，对所有 $ a > 0 $，论文建立了贝塞尔函数组合与 $ K_0(t) $ 的正交性。
• 利用 $ \widetilde{D}(z) $ 的谱表示及其与六边形晶格上闭合行走路径的关系，论文通过生成函数将该矩与组合计数联系起来。
• 应用克劳森乘积公式与 $ \widetilde{D}(z) $ 的级数展开，论文推导出关于六边形晶格行走与体心立方晶格行走之和之间的一个新恒等式。

实验结果

研究问题

• RQ1 能否通过晶格格林函数与围道积分，严格证明贝塞尔矩 $ M = \int_0^\infty t I_0^2(t) K_0^2(t) K_0(2t) \, dt $ 的猜想求值？
• RQ2 在两圈四点费曼图中，若一个内部质量被加倍，是否如猜想所示，导致模参数 $ q = \exp(-\pi\sqrt{3}) $？
• RQ3 能否从贝利恒等式的解析延拓中推导出求和规则 $ \int_0^\infty \left( I_0(at)K_0(at) - \frac{2}{\pi} K_0(4at)K_0(t) \right) K_0(t) \, dt = 0 $ 对所有 $ a > 0 $ 成立？
• RQ4 哪些模变换（三次与三分之二次）关联了 $ \sigma_1 $、$ \sigma_2 $ 与 $ \rho $ 的积分，以及它们如何实现对 $ M $ 的求值？
• RQ5 是否存在一个新恒等式，通过矩 $ M $ 将二维六边形晶格上的闭合行走计数与三维体心立方晶格上的行走计数联系起来？

主要发现

• 贝塞尔矩 $ M = \int_0^\infty t I_0^2(t) K_0^2(t) K_0(2t) \, dt $ 被严格求值为 $ \frac{1}{12} \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) = \frac{\Gamma^6(1/3)}{64\pi^2 2^{2/3}} $，确认了文献[2]中的猜想。
• 通过六边形晶格格林函数的围道积分，证明矩 $ M $ 是两个贝塞尔矩之差，每个矩的值均为第三奇异值 $ \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) $。
• 证明了连续无穷多个求和规则：对所有 $ a > 0 $，有 $ \int_0^\infty \left( I_0(at)K_0(at) - \frac{2}{\pi} K_0(4at)K_0(t) \right) K_0(t) \, dt = 0 $，该结果来自贝利恒等式的解析延拓。
• 推导并应用了三次模变换 $ q \to q^3 $ 与三分之二次模变换 $ q \to q^{3/2} $，用于关联 $ \sigma_1 $、$ \sigma_2 $ 与 $ \rho $ 的积分，从而实现对 $ M $ 的求值。
• 建立了一个新恒等式：$ \sum_{k=0}^\infty \frac{a_k}{(2k+1)3^{2k+1}} = \frac{\pi}{8} \sum_{k=0}^\infty \frac{{2k \choose k}^3}{2^{8k}} $，将六边形晶格行走与体心立方晶格行走的计数联系起来。
• 证明矩 $ \int_0^\infty t I_0^2(t) K_0^4(t) \, dt $ 等于 $ \int_0^\infty E^2(w) w \, dw $，且所有四个积分 $ I_1, I_2, I_3, I_4 $ 均被证明等于该贝塞尔矩。