[论文解读] Moments of elliptic integrals and critical $L$-values

Mathew D. Rogers, J. G. Wan+1 more|arXiv (Cornell University)|Mar 9, 2013

Advanced Mathematical Identities参考文献 13被引用 9

一句话总结

本文通过将奇权模形式（权3、4、5）的关键L值转化为完全椭圆积分K和K′的矩，建立了其闭式表达。利用模性质与超几何恒等式，作者证明了∫₀¹ K′(k)³ dk = Γ⁸(1/4)/(128π²)，并将其与权5尖点形式的L值联系起来，推导出新的格点和式评估及伽马函数恒等式。

ABSTRACT

We compute the critical $L$-values of some weight 3, 4, or 5 modular forms, by transforming them into integrals of the complete elliptic integral $K$. In doing so, we prove closed form formulas for some moments of $K'^3$. Many of our $L$-values can be expressed in terms of Gamma functions, and this also gives new lattice sum evaluations.

研究动机与目标

• 将椭圆积分K′³的矩与奇权模形式的关键L值联系起来。
• 证明∫₀¹ K′(k)³ dk = Γ⁸(1/4)/(128π²)的猜想闭式评估。
• 从尖点形式的关键L值推导出新的格点和式评估。
• 探讨偶权与奇权模形式在L值评估上的区别。
• 识别可用伽马函数或超几何函数表达的L值中的一般模式。

提出的方法

• 通过模形式性质，将权5尖点形式的关键L值转化为K′(k)³的积分。
• 利用戴德金η函数构造具有已知傅里叶系数的显式尖点形式g(τ)与h(τ)。
• 应用PSLQ算法，检测高精度数值积分与Γ(1/4)、π及有理常数对数组合之间的线性依赖关系。
• 利用K与K′的模不变性及变换恒等式，关联不同积分表达式。
• 利用超几何函数恒等式及先前工作（如[16]、[18]）中的已知结果验证结论。
• 通过傅里叶系数的乘性及已知求和公式，将L值与格点和式联系起来。

实验结果

研究问题

• RQ1 奇权模形式的关键L值能否用伽马函数表示？
• RQ2 K′³的矩与权5尖点形式的L值之间存在何种精确联系？
• RQ3 为何奇权尖点形式的关键L值常可表示为伽马函数，而偶权形式则产生超几何函数？
• RQ4 是否存在系统性方法，可从模L值生成新的格点和式恒等式？
• RQ5 能否识别出一对偶权模形式，使得其L值以π的有理倍数相关联？

主要发现

• 通过模形式理论与超几何恒等式，证明了猜想∫₀¹ K′(k)³ dk = Γ⁸(1/4)/(128π²)。
• 权5尖点形式g(τ) = η⁴(τ)η²(2τ)η⁴(4τ)的关键L值L(g,4)等于1/30 × Γ⁸(1/4)/(128π²)，证实其与该积分的关联。
• 建立了第二个恒等式：∫₀¹ K′(k)³ / [√k (1−k²)^{3/4}] dk = 3Γ⁸(1/4)/(32√2 π²)，与另一权5尖点形式h(τ)相关。
• 推导出新的格点和式评估，包括∑_{(m,n)≠(0,0)} (-1)^{m+n} m²n² / (m²+n²)³ = Γ⁸(1/4)/(2⁹·3·π³) − π log 2 / 8。
• 对于偶权尖点形式f₁与f₂，关键L值简化为特殊超几何函数，如₄F₃(1/2,1/2,1/2,1/2;1,1,1;1)与₇F₆(5/4,1/2⁷;1/4,1⁶;1)。
• 比值L(f₁,s)/L(f₂,s−1)/π为有理数，表明偶权模形式中存在更深层的算术结构，具有进一步分类的潜力。