[论文解读] Algorithmic work with orthogonal polynomials and special functions

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

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

一句话总结

本文提出了一种算法框架，用于在计算机代数系统（CAS）中实现正交多项式与特殊函数，支持自动计算和验证微分方程、超几何表示及Rodrigues型公式等恒等式。该方法支持广义超几何函数，并使CAS不仅能验证，还能算法推导关键恒等式，显著优于现有实现。

ABSTRACT

In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types of identities for those functions. Some of these identities like differential equations, power series representations, and hypergeometric representations can even dealt with algorithmically, i.\ e.\ they can be computed by the Computer Algebra system, rather than only verified. The types of functions that can be treated by the given technique cover the generalized hypergeometric functions, and therefore most of the special functions that can be found in mathematical dictionaries. The types of identities for which we present verification algorithms cover differential equations, power series representations, identities of the Rodrigues type, hypergeometric representations, and algorithms containing symbolic sums. The current implementations of special functions in existing Computer Algebra systems do not meet these high standards as we shall show in examples. They should be modified, and we show results of our implementations.

研究动机与目标

• 开发一种系统化的算法方法，将正交多项式与特殊函数集成到计算机代数系统中。
• 解决现有CAS在处理涉及特殊函数的恒等式（如微分方程和超几何表示）时的局限性。
• 不仅实现验证，还支持算法计算恒等式，包括符号求和与幂级数表示。
• 将范围扩展至广义超几何函数，涵盖数学文献中大多数标准特殊函数。
• 通过实现展示当前CAS系统在这些函数的算法处理方面存在不足，并提出改进方案。

提出的方法

• 该方法采用算法技术，计算并验证涉及正交多项式与特殊函数的恒等式，包括微分方程和Rodrigues型公式。
• 利用符号计算，算法化推导超几何表示与幂级数展开，而非依赖人工输入。
• 该框架以广义超几何函数为核心，作为表示广泛特殊函数类的统一基础。
• 该方法整合符号求和算法，以处理涉及符号求和的恒等式，实现自动化操作。
• 利用已知数学结构（如Rodrigues公式和超几何表示）自动化推导恒等式。
• 通过具体实例验证实现，表明当前CAS系统缺乏必要的算法深度，而所提方法可克服这些局限。

实验结果

研究问题

• RQ1 计算机代数系统能否被增强，以实现对正交多项式与特殊函数恒等式的算法计算，而不仅限于验证？
• RQ2 广义超几何函数在在多大程度上可作为表示多样化特殊函数的统一框架？
• RQ3 如何在CAS中系统化计算符号求和与幂级数表示，用于特殊函数？
• RQ4 现有CAS实现处理微分方程和Rodrigues型公式等恒等式时存在哪些不足？
• RQ5 所提出的算法框架能否被实现并展示其在正确性与自动化方面优于当前系统？

主要发现

• 所提方法使计算机代数系统能够算法化推导关键恒等式（如微分方程和超几何表示），而不仅限于验证。
• 该框架通过将特殊函数表示为广义超几何函数，成功处理了广泛类别的特殊函数。
• 实现结果表明，现有CAS系统在特殊函数的算法处理方面未能达到要求标准，尤其在符号求和操作与恒等式推导方面表现不足。
• 该方法支持幂级数表示与Rodrigues型公式的自动计算，展示了其在符号计算中的实际应用价值。
• 该方法为将特殊函数系统化、可扩展地集成到CAS中提供了坚实且可扩展的算法基础。
• 论文中的实例表明，所提算法在功能性和自动化方面均优于当前CAS实现。