[论文解读] Abstract "hypergeometric" orthogonal polynomials

Alexei Zhedanov|arXiv (Cornell University)|Jan 27, 2014

Mathematical functions and polynomials参考文献 9被引用 5

一句话总结

本文通过Lxⁿ = λₙxⁿ + μₙxⁿ⁻¹的抽象''超几何''算子L对多项式的作用，对所有满足特征多项式Pₙ(x)正交的此类算子进行了分类。利用双对角算子结构和非退化条件，证明了仅有雅可比、拉盖尔、小q-雅可比、小q-拉盖尔、贝塞尔及小−1雅可比多项式满足正交性要求，从而在抽象超几何框架下完成了此类正交多项式族的完整分类。

ABSTRACT

We find all polynomials solutions $P_n(x)$ of the abstract "hypergeometric" equation $L P_n(x) = λ_n P_n(x)$, where $L$ is a linear operator sending any polynomial of degree $n$ to a polynomial of the same degree with the property that $L$ is two-diagonal in the monomial basis, i.e. $L x^n = λ_n x^n + μ_n x^{n-1}$ with arbitrary nonzero coefficients $λ_n, μ_n$ . Under obvious nondegenerate conditions, the polynomial eigensolutions $L P_n(x) = λ_n P_n(x)$ are unique. The main result of the paper is a classification of all {\it orthogonal} polynomials $P_n(x)$ of such type, i.e. $P_n(x)$ are assumed to be orthogonal with respect to a nondegenerate linear functional $σ$. We show that the only solutions are: Jacobi, Laguerre (correspondingly little $q$-Jacobi and little $q$-Laguerre and other special and degenerate cases), Bessel and little -1 Jacobi polynomials.

研究动机与目标

• 对所有作用于多项式的线性算子L进行分类，使得Lxⁿ = λₙxⁿ + μₙxⁿ⁻¹，且其特征多项式Pₙ(x)正交。
• 识别出作为此类抽象''超几何''算子特征函数的正交多项式族的完整集合。
• 建立系数λₙ和μₙ的必要与充分条件，使得所得特征多项式正交且非退化。
• 基于算子结构与谱性质，将经典与q-经典正交多项式统一于单一抽象框架之下。

提出的方法

• 通过其在单项式上的作用定义抽象''超几何''算子L：Lxⁿ = λₙxⁿ + μₙxⁿ⁻¹，其中λₙ、μₙ为任意非零量。
• 利用特征值方程LPₙ(x) = λₙPₙ(x)，并使用由λₙ和μₙ导出的递推系数，将Pₙ(x)表示为单项式xᵏ的线性组合。
• 对非退化线性泛函σ施加正交性条件，从而对序列{λₙ}和{μₙ}施加强约束。
• 推导出涉及L、X（乘以x的算子）及常数的必要与充分算子恒等式：X²L + LX² − ΩXMLX + B₂X² + C₂X = 0。
• 证明该算子恒等式刻画了使特征多项式正交的可接受算子L，并将其与Askey-Wilson代数AW(3)联系起来。
• 使用对偶算子R₂ = L²X + XL² − ΩLXL，并推导其谱关系以确认分类结果。

实验结果

研究问题

• RQ1 哪些具有单项式上双对角作用的抽象''超几何''算子L，其特征多项式Pₙ(x)相对于非退化线性泛函正交？
• RQ2 使算子L的特征多项式正交的系数λₙ和μₙ的必要与充分条件是什么？
• RQ3 经典与q-经典正交多项式（如雅可比、拉盖尔、小q-雅可比）如何融入此双对角算子的抽象框架？
• RQ4 小−1雅可比多项式能否在此框架内被表征为一阶Dunkl型算子的特征函数？
• RQ5 支撑此类可接受算子分类的代数结构（如Askey-Wilson关系）是什么？

主要发现

• 唯一作为抽象''超几何''算子L的特征函数且具有双对角作用的正交多项式族为雅可比、拉盖尔、小q-雅可比、小q-拉盖尔、贝塞尔及小−1雅可比多项式。
• 算子L是可接受的（即产生正交特征多项式）当且仅当存在常数Ω、B₂、C₂，使得算子恒等式X²L + LX² − ΩXMLX + B₂X² + C₂X = 0成立。
• 当Ω ≠ ±2时，对应于一般的小q-雅可比族及其退化情形；而Ω = ±2则为q → ±1的极限情形。
• 特征多项式Pₙ(x)由递推系数λₙ和μₙ唯一确定，其首一形式通过类超几何展开显式给出。
• 该分类涵盖经典与q-经典多项式，其中小−1雅可比多项式作为来自一阶Dunkl型算子的独立族出现。
• 该框架通过允许L为非微分或非差分算子，推广了经典双谱问题，且特征多项式满足一种新颖的''记号经典''性质。