[论文解读] A package on formal power series

Wolfram Koepf|arXiv (Cornell University)|Apr 19, 1994

Polynomial and algebraic computation参考文献 7被引用 8

一句话总结

本文提出了一款名为 PowerSeries 的 Mathematica 工具包，可自动将有理函数、指数函数和超几何函数转换为其等价的正式洛朗-普瓦塞尔级数。该工具包实现了生成微分方程和递推方程的算法，使用户能够以高精度和高效率重现 Hansen 经典级数表中的结果。

ABSTRACT

Formal Laurent-Puiseux series are important in many branches of mathematics. This paper presents a {\it Mathematica} implementation of algorithms developed by the author for converting between certain classes of functions and their equivalent representing series. The package { t PowerSeries} handles functions of rational, exponential, and hypergeometric type, and enables the user to reproduce most of the results of Hansen's extensive table of series. Subalgorithms of independent significance generate differential equations satisfied by a given function and recurrence equations satisfied by a given sequence.

研究动机与目标

• 开发一种计算工具，系统性地生成特殊函数的正式幂级数表示。
• 实现将闭式函数与其等价级数展开相互转换的算法。
• 支持自动推导给定函数所满足的微分方程以及序列所满足的递推关系。
• 使用户能够重现 Hansen 著名级数表中的大量结果。
• 提供一个可重用、算法严谨的工具包，用于经典分析与常微分方程的符号计算。

提出的方法

• 该工具包使用 Mathematica 中的符号计算，将函数转换为其正式幂级数表示。
• 针对有理函数、指数函数和超几何函数，应用专门的算法以计算级数展开。
• 子程序使用符号运算中的算法技术，生成输入函数所满足的线性微分方程。
• 附加子程序推导出自级数系数的线性递推方程。
• 该实现采用模块化设计，各组件可独立重用于更广泛的符号计算任务。
• 该工具包支持洛朗-普瓦塞尔级数，允许展开中包含分数幂次和奇点。

实验结果

研究问题

• RQ1 如何利用符号计算系统性地计算有理函数、指数函数和超几何函数的正式幂级数？
• RQ2 何种算法方法可实现从给定函数自动生成微分方程？
• RQ3 能否通过算法推导出级数系数的递推关系，并用于重构级数展开？
• RQ4 该工具包在多大程度上能够重现 Hansen 全面级数表中的结果？
• RQ5 正式洛朗-普瓦塞尔级数在符号计算中的作用是什么，其实际实现有何意义？

主要发现

• PowerSeries 工具包成功实现了将一大类函数自动转换为其正式幂级数表示。
• 该工具包以算法精度生成输入函数所满足的微分方程，从而支持对函数行为的深入分析。
• 它生成了级数系数的递推关系，这对于高效计算和验证级数至关重要。
• 该实现使用户能够重现 Hansen 广泛级数表中的大部分结果，验证了其准确性和实用性。
• 微分方程与递推方程生成的子算法本身具有独立重要性，可被重用于其他符号计算场景。
• 该工具包展示了将高级符号算法集成到用户友好的 Mathematica 环境中，以支持数学研究的可行性。