[論文レビュー] Euler and the pentagonal number theorem

Jordan Bell|ArXiv.org|Oct 3, 2005

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

ひとこと要約

本稿は、レオンハルト・オイラーによる五角数定理に関する包括的な歴史的・数学的分析を提供し、その導出、約数関数および分割関数への応用、発散級数および$q$-級数との関連を詳細に述べる。オイラーのオリジナルな洞察は、彼の通信や出版物を通じて文脈化され、この定理が特にヤコビ三重積恒等式の特別な場合として、$q$-級数およびシータ関数の基礎的結果であることが示される。

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$ のような結果を得ること。
• 単位根に基づく級数の成分への分離によるオイラーの手法を解釈し、任意の整数$\lambda$ に対して $\sum \pm A^\lambda \pm B^\lambda \pm \cdots = 0$ のような恒等式が得られることを示すこと。
• 五角数定理をシータ関数およびモジュラー形式と結びつけること。特に $q^2/3 = x$ のとき $\vartheta_4(q/6; q) = (q; q)_\infty$ が成り立つこと。

実験結果

リサーチクエスチョン

• 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$ に一般化し、$A, B, \dots$ が $n$ を法として合同な五角数である任意の整数 $\lambda$ に対して成立させた。
• 五角数定理はヤコビ三重積恒等式の特別な場合であり、その立方は $\prod_{m=1}^{\infty}(1 - x^m)^3 = \sum_{n=0}^{\infty} (-1)^n (2n+1) x^{n(n+1)/2}$ を与える。