[论文解读] De transformatione seriei divergentis 1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + etc. in fractionem continuam

Leonhard Euler, Artur Diener+1 more|arXiv (Cornell University)|Jan 31, 2012

History and Theory of Mathematics被引用 7

一句话总结

本文提出一种通过递归代数运算将发散的超几何级数型级数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 转换为连分数的方法。欧拉推导出连分数表示 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$，并通过有理函数的迭代约简证明其与原级数等价，从而建立了一种利用连分数分析发散级数的基础性技术。

ABSTRACT

In this paper, Euler transforms the divergent series in the title, and thereby dervies the well known continued fraction expansion for pi/4 from Leibniz's series. The paper is translated from Euler's Latin originial into German.

研究动机与目标

• 提供发散级数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 的连分数表示的直接、初等推导。
• 用更易理解的代数约简方法替代此前基于Riccati方程变换的间接证明。
• 通过有理函数的递归操作，展示发散级数与所导出的连分数之间的等价性。
• 建立一种系统性方法，通过代换与叠缩模式，将阶乘增长的级数转化为连分数。

提出的方法

• 引入代换 $a = mx$ 和 $b = nx$，将级数简化为 $1 - A + AB - ABC + ABCD - \cdots$ 的形式，其中 $A = a$，$B = a + b$，$C = a + 2b$，依此类推。
• 定义和 $S = 1 - A + AB - ABC + \cdots$，并将 $1/S$ 表示为 $1 + \frac{A - AB + ABC - \cdots}{S}$，从而引出递归分解。
• 设 $1/S = 1 + 1/P$，则 $P = 1 + b/Q$，$Q = 1 + 2b/R$，$R = 1 + 3b/S$，依此类推，引入一连串有理函数的递归链。
• 在每一步使用递推关系 $X = 1 + \frac{k b}{Y}$，其中 $k$ 递增，且分子涉及二项式系数（三角数、四面体数）。
• 持续该过程，直至连分数中出现规律，其系数对应二项式系数，且分子中的项递增。
• 最终重构出连分数 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$，确认变换的正确性。

实验结果

研究问题

• RQ1 能否仅通过初等代数运算将发散级数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 转换为连分数？
• RQ2 当级数和的倒数被反复分解为有理函数时，会涌现出何种递归结构？
• RQ3 二项式系数（三角数、四面体数）在约简过程中如何体现于连分数的系数中？
• RQ4 所导出的连分数 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ 是否在数学上等价于原始发散级数？
• RQ5 该方法能否推广至其他阶乘增长的级数，或用于验证已知的连分数恒等式？

主要发现

• 发散级数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 通过代数方法被证明与连分数 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ 等价。
• 该变换通过递归分解 $1/S = 1 + 1/P$，$P = 1 + b/Q$，$Q = 1 + 2b/R$ 等实现，每一步引入新变量与新的系数模式。
• 连分数分子中的系数遵循二项式系数序列：1, 2, 3, 4, 5, ... 及其与 $b$ 的乘积，对应三角数与四面体数。
• 该方法通过反向过程验证了布罗恩克尔连分数对 $\pi/4$ 的正确性：从连分数出发，可重构出莱布尼茨级数 $1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac{\pi}{4}$。
• 类似地，该方法验证了连分数 $\cfrac{1}{1 + \cfrac{1}{1 + \cfrac{4}{1 + \cfrac{9}{1 + \cdots}}}}$ 与交错调和级数 $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots = \log 2$ 的等价性。
• 递归约简过程揭示出系统性规律：每个新变量的引入均使项序列发生位移，并在分子中引入新的二项式系数，从而实现对完整连分数结构的推导。