[论文解读] Euler and the pentagonal number theorem

Jordan Bell|ArXiv.org|Oct 3, 2005

History and Theory of Mathematics参考文献 5被引用 3

一句话总结

本文对欧拉在五边形数定理方面的研究进行了全面的历史与数学分析，详细阐述了其推导过程、在除数函数与分拆函数中的应用，以及与发散级数和 $q$-级数的联系。通过其通信与出版物，欧拉的原始洞见得以 contextualized，该定理被证明是 $q$-级数与 theta 函数理论中的基础性结果，特别是雅可比三重乘积恒等式的特例。

ABSTRACT

``In this paper we give the history of Leonhard Euler's work on the pentagonal number theorem, and his applications of the pentagonal number theorem to the divisor function, partition function and divergent series. We have attempted to give an exhaustive review of all of Euler's correspondence and publications about the pentagonal number theorem and his applications of it.'' This paper gives an exhaustive summary of Euler's work on the pentagonal number theorem. I have gone through all of Euler's published correspondence (except with du Maupertuis and Frederic II) and his papers to find each time he discusses the pentagonal number theorem or applications of it. I have translated from the Latin many sections of his correspondence and papers that are not available in the English, and also sections in the French and German with Dr. Paul Mezo and Christian Leger.

研究动机与目标

• 提供欧拉关于五边形数定理的通信与出版物的完整历史综述。
• 通过生成函数研究欧拉如何将该定理应用于除数函数与分拆函数。
• 探讨欧拉如何利用有限差分法处理与五边形数相关的发散级数及其求和。
• 确立五边形数定理作为雅可比三重乘积恒等式的特例，并阐明其在 $q$-级数理论中的重要性。
• 将欧拉未发表的分拆工作置于语境中，阐明其对解析数论与特殊函数的更广泛贡献。

提出的方法

• 分析欧拉的原始信件与出版物，包括与伯努利、哥德巴赫等人的通信，以追踪五边形数定理的发展脉络。
• 通过代数运算与无穷乘积展开，推导五边形数定理作为形式恒等式：$\prod_{m=1}^{\infty}(1 - x^m) = \sum_{n=-\infty}^{\infty} (-1)^n x^{n(3n-1)/2}$。
• 利用雅可比三重乘积恒等式推导五边形数定理，证明 $\phi(x) = \prod_{m=1}^{\infty}(1 - x^m)$ 在 $|x| < 1$ 时绝对收敛。
• 使用有限差分表为发散级数（如 $\sum (-1)^n p_n$，其中 $p_n$ 为五边形数）赋予可求和性，得出 $s + t = 0$ 等结果。
• 解释欧拉基于单位根将级数分离为分量的方法，导出恒等式 $\sum \pm A^\lambda \pm B^\lambda \pm \cdots = 0$，其中 $\lambda$ 为任意整数。
• 将五边形数定理与 theta 函数及模形式联系起来，特别是通过 $\vartheta_4(q/6; q) = (q; q)_\infty$（当 $q^2/3 = x$ 时）。

实验结果

研究问题

• RQ1 欧拉最初如何通过通信与出版物推导并证明五边形数定理？
• RQ2 五边形数定理在欧拉研究分拆函数与除数函数的工作中起到了什么作用？
• RQ3 欧拉如何利用有限差分法与单位根为涉及五边形数的发散级数赋值？
• RQ4 五边形数定理如何作为雅可比三重乘积恒等式的特例？
• RQ5 欧拉未发表的分拆工作具有何种意义？它如何预示了后来 $q$-级数理论的发展？

主要发现

• 欧拉于 1740–1741 年通过与丹尼尔·I·伯努利的通信首次接触到五边形数定理，后者注意到 $\prod (1 - n^{-m})$ 的级数展开，但未能证明其中的规律。
• 欧拉于 1751 年发表的论文 E158 引入了生成函数 $\prod_{x=1}^{\infty} \frac{1}{1 - n^x} = \sum n^{(\infty)} n^x$，将五边形数定理与无限制分拆函数联系起来。
• 五边形数定理的形式表达为 $\prod_{m=1}^{\infty}(1 - x^m) = \sum_{n=-\infty}^{\infty} (-1)^n x^{n(3n-1)/2}$，其指数为广义五边形数。
• 欧拉使用有限差分表为发散级数赋值：对某一序列得 $s = \frac{3}{16}$，对另一序列得 $t = -\frac{3}{16}$，故 $s + t = 0$，展示了其求和方法的一致性。
• 欧拉将该恒等式推广为 $\sum \pm A^\lambda \pm B^\lambda \pm \cdots = 0$（对任意整数 $\lambda$），其中 $A, B, \dots$ 为模 $n$ 同余的五边形数。
• 五边形数定理是雅可比三重乘积恒等式的特例，其立方形式为 $\prod_{m=1}^{\infty}(1 - x^m)^3 = \sum_{n=0}^{\infty} (-1)^n (2n+1) x^{n(n+1)/2}$。