[论文解读] The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue

Roelof Koekoek, René F. Swarttouw|arXiv (Cornell University)|Feb 20, 1996

Mathematical functions and polynomials参考文献 368被引用 1,234

一句话总结

这篇开创性论文在Askey谱系及其q-模拟中系统地对超几何与基本超几何正交多项式进行了分类，提供了全面的定义、正交关系、三项递推关系、生成函数，以及所有经典族之间的极限过渡关系。其核心贡献是一个统一且详尽的框架，精确建立了所有经典正交多项式及其q-模拟之间的联系，使得可通过极限过程或参数特化从一个族推导出另一族。

ABSTRACT

We list the so-called Askey-scheme of hypergeometric orthogonal polynomials. In chapter 1 we give the definition, the orthogonality relation, the three term recurrence relation and generating functions of all classes of orthogonal polynomials in this scheme. In chapeter 2 we give all limit relation between different classes of orthogonal polynomials listed in the Askey-scheme. In chapter 3 we list the q-analogues of the polynomials in the Askey-scheme. We give their definition, orthogonality relation, three term recurrence relation and generating functions. In chapter 4 we give the limit relations between those basic hypergeometric orthogonal polynomials. Finally in chapter 5 we point out how the `classical` hypergeometric orthogonal polynomials of the Askey-scheme can be obtained from their q-analogues.

研究动机与目标

• 为Askey谱系中所有经典超几何正交多项式及其q-模拟提供完整且系统的分类。
• 通过建立不同族之间所有可能的极限关系，统一经典正交多项式理论。
• 通过严格的数学定义与变换，呈现一个连贯的框架，以理解Askey谱系及其q-模拟之间的联系。
• 通过将所有基本公式与关系整合于一份易于访问的报告中，为从事正交多项式研究的科研人员提供基础参考。
• 展示经典超几何多项式可作为其q-模拟的极限情况推导得出，从而统一经典理论与q-理论视角。

提出的方法

• 通过标准超几何表示定义所有经典超几何正交多项式（如Hermite、Laguerre、Jacobi、Meixner、Charlier等）。
• 为Askey谱系中每一项多项式族提供三项递推关系、正交测度及生成函数。
• 通过取适当的参数极限（如将参数缩放至零或无穷大）建立Askey谱系中各族之间的所有可能极限关系。
• 使用q-超几何函数与q-移位阶乘引入每一项经典多项式的q-模拟。
• 展示q-模拟族（如q-Racah、q-Hahn、连续q-Hermite等）的正交关系、递推关系与生成函数。
• 通过取极限q → 1−，证明经典超几何多项式可作为其q-模拟的极限情况出现，从而统一经典理论与q-理论框架。

实验结果

研究问题

• RQ1 Askey谱系中所有经典超几何正交多项式如何通过极限过程相互关联？
• RQ2 Askey谱系中每一项多项式族的精确数学定义、正交测度、递推关系与生成函数是什么？
• RQ3 经典正交多项式的q-模拟如何通过极限程序与经典对应物关联？
• RQ4 基本超几何正交多项式在q-Askey谱系中的完整极限关系集合是什么？
• RQ5 经典超几何正交多项式能否系统地作为其q-模拟的特例推导得出？

主要发现

• Askey谱系中所有经典超几何正交多项式均通过明确定义的极限关系相互关联，例如：Wilson → 连续对偶Hahn → 连续Hahn → Jacobi。
• q-Askey谱系（包括q-Racah、q-Hahn、连续q-Hermite等族）通过其正交测度、递推关系与生成函数得到完整刻画。
• 当q → 1−时，经典超几何多项式（如Hermite、Laguerre、Jacobi）作为其q-模拟的极限情况出现，证实了q-理论与经典理论的一致性。
• 连续q-Hermite多项式在区间[−1, 1]上关于包含q-Pochhammer符号与三角参数的权函数正交。
• 离散q-Hermite I与II多项式通过涉及虚数单位与参数倒数的简单变换相互关联，揭示了q-理论中深刻的对称性。
• Stieltjes–Wigert多项式关于对数正态权函数正交，其矩问题为不定，允许多个权函数存在，这是q-正交多项式理论中的关键特征。