[论文解读] Specimen transformationis singularis serierum

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

History and Theory of Mathematics被引用 6

一句话总结

本文通过微分方程方法提出了一类超几何型级数的独特变换，利用代换 $ s = (1 - x)^{c - a - b} z $ 推导出级数和的新表示形式。其关键贡献在于为 $ z $ 建立了一个二阶线性微分方程，当 $ c - a $ 或 $ c - b $ 为负整数时，该方程可简化，从而实现有限求和。该变换揭示了级数、积分与特殊函数恒等式之间的深刻联系，特别是通过一个涉及三角函数与二项式系数的新积分恒等式。

ABSTRACT

Euler starts with a hypergeometric series F(a, b, c, x), and differentiates it to get a functional relation. This relation is today known as Euler's identity. Then he integrates to get another and ends up with something like Legendre polynomials. The paper is translated from Euler's Latin original into German.

研究动机与目标

• 推导一种广义超几何级数的新型变换，使其在特定参数条件下可实现有限求和。
• 通过微分方程框架建立原级数与变换后级数之间的联系。
• 证明该变换在标准积分方法失效时依然具有独特有效性。
• 揭示超几何级数与其积分表示之间隐藏的对称性与恒等式。
• 通过单一代换 $ s = (1 - x)^{c - a - b} z $ 统一看似不同的级数与积分形式。

提出的方法

• 通过逐次微分并处理含 $ x^a $、$ x^b $ 和 $ x^c $ 项的运算，推导出原级数 $ s $ 所满足的微分方程。
• 应用代换 $ s = (1 - x)^n z $，将原二阶微分方程转化为关于 $ z $ 的新方程。
• 选择 $ n = c - a - b $ 以消除变换后方程中的奇异性项，从而将方程简化为 $ x(1 - x)\partial\partial z + [c - (\alpha + \beta + 1)x]\partial z - \alpha\beta z = 0 $。
• 通过参数代换 $ \alpha = c - a $、$ \beta = c - b $，将变换后的方程用 $ \alpha $ 和 $ \beta $ 表示，显示出其与原级数的对称性。
• 将该变换应用于推导出形如 $ \int \Theta^n \partial\phi \cos i\phi $ 与 $ \int \frac{\partial\phi \cos i\phi}{\Theta^{n+1}} $ 的积分之间的新恒等式，其中 $ \Theta = \frac{1 + aa - 2a\cos\phi}{1 - aa} $。
• 通过恒等式 $ \left(\frac{n}{i}\right)\int \frac{\partial\phi \cos i\phi}{\Theta^{n+1}} = \left(\frac{-n-1}{i}\right)\int \Theta^n \partial\phi \cos i\phi $ 建立级数与积分之间的对偶关系。

实验结果

研究问题

• RQ1 如何将具有通泛参数的超几何型级数变换为可实现有限求和的形式？
• RQ2 原级数所服从的微分方程是什么？如何通过代换实现其简化？
• RQ3 变换 $ s = (1 - x)^{c - a - b} z $ 如何解决原微分方程的不可积性问题？
• RQ4 通过所导出的涉及二项式系数与三角函数的恒等式，变换后的级数与积分之间存在何种关系？
• RQ5 为何选择参数 $ n = c - a - b $ 能够实现闭式解？

主要发现

• 变换 $ s = (1 - x)^{c - a - b} z $ 将原级数的发散或非初等级数转化为由二阶微分方程控制的新级数，当 $ c - a $ 或 $ c - b $ 为负整数时，该方程可简化。
• 变换后的级数 $ z $ 满足超几何微分方程 $ x(1 - x)\partial\partial z + [c - (\alpha + \beta + 1)x]\partial z - \alpha\beta z = 0 $，其形式与原级数在参数 $ \alpha $ 和 $ \beta $ 下一致。
• 当 $ \alpha $ 或 $ \beta $ 为负整数时，$ z $ 的级数终止，从而得到有限和，因此原级数 $ s $ 可表示为闭式 $ s = z(1 - x)^{c - a - b} $。
• 推导出一个新的积分恒等式：$ \left(\frac{n}{i}\right)\int \frac{\partial\phi \cos i\phi}{\Theta^{n+1}} = \left(\frac{-n-1}{i}\right)\int \Theta^n \partial\phi \cos i\phi $，其中 $ \Theta = \frac{1 + aa - 2a\cos\phi}{1 - aa} $，揭示了级数与积分之间的对偶性。
• 该方法建立了三个级数 $ \mathfrak{A}, \mathfrak{B}, \mathfrak{C} $ 之间的关系，表明 $ \left(\frac{e - h - 1}{e}\right)\mathfrak{A} = \left(\frac{h}{e}\right)(1 - x)^{f + h + 1}\mathfrak{B} $，以及类似恒等式，通过二项式系数与 $ (1 - x) $ 的幂次关联其和。
• 本文证实，该变换不仅有效，且揭示了更深层的对称性，因为该结果后来通过数学归纳法独立验证，证实了该方法的稳健性。