[论文解读] On a Certain Integral Over a Triangle

Sergey Alekseevich Zlobin|ArXiv.org|Nov 9, 2005

Advanced Mathematical Identities参考文献 1被引用 3

一句话总结

本文推导出在顶点为 (1,0)、(0,1) 和 (1,1) 的三角形上积分 $ I_n = \int_T \frac{(-\ln xy)^n}{xy} \, dx\,dy $ 的显式公式，表明其等于 $ n! \sum_{k=0}^n \zeta(n-k+2, \{1\}_k) $，其中 $ \zeta(s_1,\dots,s_k) $ 表示多重 zeta 值。该结果建立了此类积分与权重为 $ n+2 $ 的多重 zeta 值之间的联系，且系数为有理数。

ABSTRACT

We study integrals over the triangle with vertices (1,0), (0,1), (1,1) that give linear combinations of multiple zeta values.

研究动机与目标

• 计算指定三角形 T（顶点为 (1,0)、(0,1)、(1,1)）上的积分 $ I_n = \int_T \frac{(-\ln xy)^n}{xy} \, dx\,dy $。
• 将 $ I_n $ 表示为权重为 $ n+2 $ 的多重 zeta 值的有理系数线性组合。
• 利用组合恒等式和含对数项的积分表示，建立 $ I_n $ 的通用公式。
• 探讨形如 $ \zeta(m, \{1\}_k) $ 的多重 zeta 值的结构，特别是其在整数处的 zeta 函数表示。
• 提供 $ I_n $ 的简洁优美的表达式，与以往涉及 zeta 值的多项式表示形成对比。

提出的方法

• 对 $ (-\ln xy)^n $ 应用二项式展开，将对数项拆分为 $ (-\ln x)^k (-\ln y)^{n-k} $。
• 使用变量替换和在三角形区域 $ T $ 上的迭代积分，将积分拆分为 $ \int_0^1 \int_{1-x}^1 \cdots \, dy\,dx $。
• 应用引理 1，其给出 $ \int_0^1 \frac{(-\ln(1-x))^k}{1-x} (-\ln x)^l dx = k!l! \zeta(l+1, \{1\}_k) $，以计算子积分。
• 将引理 1 的结果代入 $ I_n $ 的展开形式，得到关于 $ k $ 的求和，其项包含 $ \binom{n}{k} $、阶乘和多重 zeta 值。
• 利用阶乘恒等式简化表达式，最终得到公式 $ I_n = n! \sum_{k=0}^n \zeta(n-k+2, \{1\}_k) $。
• 利用多重 zeta 值的对偶性，观察到求和项的对称性：$ \zeta(n-k+2, \{1\}_k) = \zeta(k+2, \{1\}_{n-k}) $。

实验结果

研究问题

• RQ1 在顶点为 (1,0)、(0,1)、(1,1) 的三角形上，积分 $ I_n = \int_T \frac{(-\ln xy)^n}{xy} \, dx\,dy $ 的闭式表达式是什么？
• RQ2 积分 $ I_n $ 如何用权重为 $ n+2 $ 的多重 zeta 值表示？
• RQ3 能否通过分解 $ (-\ln x)^k $ 和 $ (-\ln(1-x))^{n-k} $ 来计算该积分？若可以，需要哪些恒等式？
• RQ4 值 $ \zeta(m, \{1\}_k) $ 与整数处的黎曼 zeta 函数乘积之间有何关系？
• RQ5 该积分是否可推广至高维单纯形或多变量高维区域上的多重积分？

主要发现

• 积分 $ I_n $ 由公式 $ I_n = n! \sum_{k=0}^n \zeta(n-k+2, \{1\}_k) $ 给出，其中 $ \{1\}_k $ 表示多重 zeta 值中的 $ k $ 个连续的 1。
• 当 $ n=0 $ 时，$ I_0 = \zeta(2) $；当 $ n=1 $ 时，$ I_1 = 2\zeta(3) $；当 $ n=2 $ 时，$ I_2 = \frac{9}{2}\zeta(4) $，与公式一致。
• 当 $ n=3 $ 时，$ I_3 = 36\zeta(5) - 12\zeta(2)\zeta(3) $；当 $ n=4 $ 时，$ I_4 = \frac{237}{2}\zeta(6) - 48\zeta(3)^2 $，均与通式一致。
• 公式中的各项满足对偶性：$ \zeta(n-k+2, \{1\}_k) = \zeta(k+2, \{1\}_{n-k}) $，反映了多重 zeta 值中的对称性。
• 该结果表明，对于 $ m \geq 2 $、$ k \geq 0 $，$ \zeta(m, \{1\}_k) $ 可表示为整数处黎曼 zeta 函数的有理系数多项式。
• 本文提供的表达式比以往已知的涉及对称和与多项式系数的公式更为简洁，但数值上等价。