[论文解读] Orthogonal polynomials, a short introduction

Tom H. Koornwinder|arXiv (Cornell University)|Mar 12, 2013

Mathematical functions and polynomials参考文献 18被引用 4

一句话总结

本文对正交多项式提供了简明的介绍，涵盖其一般理论——特别是三对项递推关系——以及关键的特殊类，如勒让德多项式、埃尔米特多项式和夏勒多项式。文章强调了在计算机代数中的应用，突出符号计算工具在推导、验证和推广正交多项式理论公式方面的优势。

ABSTRACT

This paper is a short introduction to orthogonal polynomials, both the general theory and some special classes. It ends with some remarks about the usage of computer algebra for this theory.

研究动机与目标

• 为数学物理和特殊函数领域的研究人员提供一份自包含且易于理解的正交多项式概述。
• 阐明三对项递推关系在表征正交多项式中的基础性作用。
• 展示如何利用计算机代数系统推导、验证和推广正交多项式理论中的公式。
• 将经典正交多项式与现代符号计算技术相联系，特别是在阿斯凯和q-阿斯凯纲要的背景下。
• 激励使用计算机代数技术来发现和证明涉及正交多项式的恒等式，包括超几何和q-超几何形式。

提出的方法

• 使用格拉姆-施密特正交化方法，从关于给定内积的单项式构造正交多项式。
• 应用三对项递推关系 $ x p_n(x) = a_n p_{n+1}(x) + b_n p_n(x) + c_n p_{n-1}(x) $ 作为表征正交系统的中心工具。
• 引入法瓦德定理，该定理建立了多项式序列关于正测度正交的充分必要条件。
• 通过其权函数和归一化条件分析特殊类，如勒让德、埃尔米特和夏勒多项式。
• 探讨矩问题和极值测度的作用，特别是在史蒂尔杰斯-维格特多项式的情况下，此时测度并非极值。
• 回顾符号计算技术，包括使用计算机代数系统（如 Mathematica、Maple）以及专用软件包（如 CAOP 和 DDMF）进行公式推导和数据库生成。

实验结果

研究问题

• RQ1 如何利用三对项递推关系表征正交多项式并重构其底层测度？
• RQ2 经典正交多项式（如勒让德、埃尔米特和夏勒多项式）的关键结构特性是什么？
• RQ3 计算机代数系统在推导、验证和推广涉及正交多项式的恒等式方面有哪些作用？
• RQ4 给定一个具有符号系数的三对项递推关系，能否识别其属于（q-）阿斯凯纲要中的已知族？
• RQ5 当前计算机代数方法在处理非极值测度（如史蒂尔杰斯-维格特情形）时存在哪些局限性？

主要发现

• 三对项递推关系完全表征了正交多项式，且法瓦德定理确保任何具有正首项系数乘积的此类序列均来自一个正博雷尔测度。
• 经典正交多项式（如勒让德、埃尔米特和夏勒多项式）通过在区间或离散集上的权函数显式构造，其归一化和范数常数已知。
• 史蒂尔杰斯-维格特多项式对应于一个非极值测度，其支集在零处聚集，意味着这些多项式在相关 $ L^2 $ 空间中不稠密。
• 克里斯蒂安森与科林克构造了一个显式正交系统，作为对史蒂尔杰斯-维格特多项式的补全，从而解决了完备性问题。
• 计算机代数工具（如泽伊伯格算法以及 CAOP 和 DDMF 等软件包）可实现正交多项式理论中恒等式的自动推导与验证。
• Rec2ortho 过程实现了对（q-）阿斯凯纲要中递推关系的启发式识别，尽管目前仅限于两个参数，但仍证明了算法分类的可行性。