[论文解读] The evaluation of Tornheim double sums. Part2

Olivier Espinosa, Victor H. Moll|ArXiv.org|Nov 4, 2008

Advanced Mathematical Identities参考文献 27被引用 11

一句话总结

本文为偶数权重 $N = m + n$ 的 Tornheim 双重和 $T(m,0,n)$ 提供了一个显式的解析公式，将其表示为黎曼 zeta 值的有理线性组合、奇数 $j$ 对应的乘积 $\zeta(j)\zeta(N-j)$，以及涉及 digamma 函数、伯努利多项式与 Clausen 函数的新一类积分。关键贡献在于将所有偶数权重的 Tornheim 和系统性地约化为一组最小基底积分 $Y_{2r,N-2r}^*$，从而实现高精度的数值计算。

ABSTRACT

We provide an explicit formula for the Tornheim double series T(a,0,c) in terms of an integral involving the Hurwitz zeta function. For integer values of the parameters, a=m, c=n, we show that in the most interesting case of even weight N:=m+n the Tornheim sum T(m,0,n) can be expressed in terms of zeta values and the family of integrals % \int_0^1 loggamma(q) B_{k}(q) Cl_{j+1} (2 πq) dq, % with k+j = N, where B_{k}(q) is a Bernoulli polynomial and \Cl_{j+1}(x) is a Clausen function.

研究动机与目标

• 推导出使用涉及 Hurwitz zeta 函数的积分，对实参数 $a>2$，$c>2$ 的 Tornheim 双重和 $T(a,0,c)$ 的显式解析表达式。
• 通过极限过程将上述结果推广至整数参数 $m,n \geq 2$，特别关注偶数权重情形 $N = m + n$。
• 将给定偶数权重 $N$ 的所有 Tornheim 和表示为 zeta 值与一组最小基底积分 $Y_{2r,N-2r}^*$ 的有理线性组合，从而降低计算复杂度。
• 提供一种系统化方法，将 $T(m,0,n)$ 表示为已知 zeta 值与新引入积分的组合，解决此前方法在 $N \geq 8$ 时失效的开放问题。

提出的方法

• 利用 Hurwitz zeta 函数，为 $T(a,0,c)$ 推导出积分表示，适用于 $a>2$，$c>2$，且实数 $a,c \notin \mathbb{N}$ 的情形。
• 应用极限过程，获得整数 $m,n \geq 2$ 的 $T(m,0,n)$ 表达式，特别关注偶数权重情形 $N = m + n$。
• 引入积分族 $X_{k,l} = (-1)^{\lfloor l/2 \rfloor} \frac{l!}{(2\pi)^l} \int_0^1 \log\Gamma(q) B_k(q) \operatorname{Cl}_{l+1}(2\pi q) \, dq$，作为核心构建模块。
• 通过将 $X_{k,l}$ 与 zeta 值及含 $\log 2\pi$ 的对数项组合，定义修正积分 $Y_{m,n}^*$，构成偶数权重 Tornheim 和的基底。
• 利用恒等式 $T(m,n,0) = \zeta(m)\zeta(n)$ 建立 Tornheim 和之间的关系，实现向基底集合的约化。
• 证明所有偶数权重 Tornheim 和可表示为 $\zeta(N)$、$\zeta(j)\zeta(N-j)$（$j$ 为奇数）以及 $Y_{2r,N-2r}^*$ 积分的有理组合，且基底元素数量受 $\lfloor (N-2)/6 \rfloor$ 限制。

实验结果

研究问题

• RQ1 能否通过特殊积分与 zeta 值，为偶数权重 $N = m + n$ 的 Tornheim 和 $T(m,0,n)$ 推导出闭式表达式？
• RQ2 如何系统性地将 Tornheim 和 $T(m,0,n)$ 约化为一组最小基底积分，特别是在先前方法失效的 $N \geq 8$ 情形？
• RQ3 积分 $X_{k,l}$ 及其修正形式 $Y_{m,n}^*$ 在表达 $T(m,0,n)$ 中的作用是什么？它们与已知 zeta 函数有何关联？
• RQ4 能否利用 zeta 值与有限个基底积分，完全刻画 Tornheim 和空间 $\mathcal{Z}_N^0$ 的结构（$N$ 为偶数）？
• RQ5 对于给定偶数权重 $N$，生成所有 $T(m,0,n)$ 所需的独立积分的最小数量是多少？该数量如何随 $N$ 变化？

主要发现

• 对于偶数权重 $N$，所有 Tornheim 和 $T(m,0,n)$ 可表示为 $\zeta(N)$、范围在 $3 \leq j \leq 2\lfloor (N-1)/4 \rfloor + 1$ 的奇数 $j$ 对应的 $\zeta(j)\zeta(N-j)$，以及 $1 \leq r \leq \lfloor (N-2)/6 \rfloor$ 的积分 $Y_{2r,N-2r}^*$ 的有理线性组合。
• 和 $T(10,0,2)$ 的计算结果为 $-Y_{2,10}^* - 10\zeta(5)\zeta(7) - 10\zeta(3)\zeta(9) + \frac{792}{691}\zeta(12)$，其 30 位精度的数值约为 0.645324784017496594071783081476。
• 对于权重 $N=14$，生成集 $G_{14}^* = \{\zeta(14), \zeta^2(7), \zeta(5)\zeta(9), \zeta(3)\zeta(11), Y_{2,12}^*, Y_{4,10}^*\}$ 足以表达该权重下的所有 $T(m,0,n)$。
• 积分 $Y_{2r,N-2r}^*$ 定义为 $Y_{2r,N-2r}^* = Y_{2r,N-2r} + (2r-1)\binom{N-2}{2r-1} \zeta(N-1)\log 2\pi$，其中 $Y_{2r,N-2r}$ 涉及含伯努利多项式与 Clausen 函数的积分 $X_{k,l}$。
• 偶数权重 $N$ 的独立基底元素数量最多为 $\lfloor (N-2)/6 \rfloor$，且在 $N=14$ 时达到该上界，此时需要两个非 zeta 基底积分。
• 该方法通过仅预计算基底积分 $Y_{2r,N-2r}^*$，实现 Tornheim 和的高精度数值计算，将问题简化为每种权重仅需评估少量特殊积分。