[论文解读] Functional equations for double series of Euler-Hurwitz-Barnes type with coefficients

YoungJu Choie, Kohji Matsumoto|arXiv (Cornell University)|Mar 8, 2014

Advanced Mathematical Identities参考文献 16被引用 4

一句话总结

本文利用合流超几何函数与模形式关系，为具有复系数的欧拉-雨果-巴恩斯型双重级数建立了两个新的函数方程。第一个方程具有一般适用性，第二个方程在系数为尖点形式的傅里叶系数时成立，从而将多重黎曼zeta函数中的对偶对称性推广至更高深度的zeta函数。

ABSTRACT

We first survey the known results on functional equations for the double zeta-function of Euler type and its various generalizations. Then we prove two new functional equations for double series of Euler-Hurwitz-Barnes type with complex coefficients. The first one is of general nature, while the second one is valid when the coefficients are Fourier coefficients of a cusp form.

研究动机与目标

• 将多重zeta函数的函数方程从经典情形推广，特别是针对欧拉-雨果-巴恩斯型双重级数。
• 推导出将黎曼zeta函数对称对偶性推广至具有复系数的高深度zeta函数的函数方程。
• 通过将系数限制为尖点形式的傅里叶系数，研究模形式的作用，从而建立自守形式与多重zeta函数之间的联系。
• 利用积分表示与梅林变换，建立相关特殊函数的亚纯开拓与变换律。

提出的方法

• 将合流超几何函数 $\Psi(a,c;x)$ 作为表达广义狄利克雷级数 $F_{\pm}$ 的关键组成部分，实现解析开拓。
• 应用模形式关系 $\Psi(a,c;x) = x^{1-c}\Psi(a-c+1,2-c;x)$，推导 $F_{\pm}$ 的变换律，这对函数方程至关重要。
• 利用涉及 $\widetilde{\mathcal{F}}(\tau,s,\alpha)$ 的积分表示，该生成函数由尖点形式的傅里叶系数构建，以表达 $H_{2,N}^{\pm}$。
• 通过梅林反演与贝塔积分公式，将积分转化为包含 $\Gamma$-函数与 $L$-函数的三重积分，实现亚纯开拓。
• 应用路径形变与解析开拓技术，将收敛域扩展至初始区域之外，确保在更广的半平面内有效。
• 利用 $F_{\pm}$ 的函数方程与模符号结构，推导出 $\zeta_2(s_1,s_2;\alpha,\beta,\omega)$ 的最终函数方程。

实验结果

研究问题

• RQ1 能否为具有复系数的欧拉-雨果-巴恩斯型双重级数建立函数方程，从而推广单变量zeta函数的已知结果？
• RQ2 在这些双重级数中，$ (s_1,s_2) $ 与 $ (1-s_2,1-s_1) $ 之间的对偶性如何体现，参数 $ \alpha, \beta, \omega $ 的作用是什么？
• RQ3 当系数为尖点形式的傅里叶系数时，其函数方程为何种形式？这与模形式及 $ L $-函数有何关联？
• RQ4 能否通过积分变换与 $ \Gamma $-函数恒等式，建立相关特殊函数 $ H_{2,N}^{\pm} $ 的亚纯开拓？
• RQ5 当系数系统包含模符号与合流超几何函数时，函数方程的精确结构为何？

主要发现

• 为 $ \zeta_2(s_1,s_2;\alpha,\beta,\omega) $ 建立了一般函数方程，涉及 $ F_{\pm}(1-s_2,1-s_1;\beta,\alpha,\omega) $ 的和，展现出 $ (s_1,s_2) $ 与 $ (1-s_2,1-s_1) $ 之间的对称对偶性，以及 $ (\alpha,\beta) $ 与 $ (\beta,\alpha) $ 之间的对称性。
• 当系数为尖点形式的傅里叶系数时，函数方程在条件 $ \sigma_1 < 0, \sigma_2 < (\kappa-1)/2 $ 下成立，将理论扩展至自守形式。
• 通过梅林反演与路径形变，利用涉及 $ \widetilde{\mathcal{F}} $、$ \Gamma $-函数与 $ L $-函数的积分表示，证明了 $ H_{2,N}^{\pm} $ 的亚纯开拓。
• 函数方程中包含一个额外项，涉及 $ \Gamma(1-s_1) $、$ \omega^{1-s_1-s_2} $ 与 $ \phi(s_1+s_2-1,\beta) $，该额外项源于zeta级数的解析结构。
• 推导出变换律 $ F_{\pm}(1-s_2,1-s_1;\beta,\alpha,\omega) = (\pm 2\pi i\omega)^{s_1+s_2-1} F_{\pm}(s_1,s_2;\alpha,\beta,\omega) $，并用于验证主函数方程。
• 最终函数方程在区域 $ \sigma_1 < 0, \sigma_2 < (\kappa-1)/2 $ 内有效，且 $ H_{2,N}^{\pm} $ 的亚纯开拓确保了整个表达式的解析性。