[论文解读] A Survey on q-Polynomials and their Orthogonality Properties

Roberto S. Costas-Santos, Joaquín Sánchez-Lara|arXiv (Cornell University)|Feb 24, 2010

Mathematical functions and polynomials参考文献 25被引用 3

一句话总结

本文对 q-正交多项式进行了全面综述，重点研究了在复参数和 |q| ≠ 1 条件下 Askey-Wilson 多项式与大 q-Jacobi 多项式的正交性性质。将 Favard 定理推广至退化情形（即当 γ_N = 0 时），建立了 Sobolev 型正交性，并推导出形如 p_{n+N} = p_N p_n^{(N)} 的分解式，将 q-Askey 与 Nikiforov-Uvarov 表格中的多项式族相互关联。

ABSTRACT

In this paper we study the orthogonality conditions satisfied by the classical q-orthogonal polynomials that are located at the top of the q-Hahn tableau (big q-jacobi polynomials (bqJ)) and the Nikiforov-Uvarov tableau (Askey-Wilson polynomials (AW)) for almost any complex value of the parameters and for all non-negative integers degrees. We state the degenerate version of Favard's theorem, which is one of the keys of the paper, that allow us to extend the orthogonality properties valid up to some integer degree N to Sobolev type orthogonality properties. We also present, following an analogous process that applied in [16], tables with the factorization and the discrete Sobolev-type orthogonality property for those families which satisfy a finite orthogonality property, i.e. it consists in sum of finite number of masspoints, such as q-Racah (qR), q-Hahn (qH), dual q-Hahn (dqH), and q-Krawtchouk polynomials (qK), among others. -- [16] R. S. Costas-Santos and J. F. Sanchez-Lara. Extensions of discrete classical orthogonal polynomials beyond the orthogonality. J. Comp. Appl. Math., 225(2) (2009), 440-451

研究动机与目标

• 研究经典 q-正交多项式（特别是 Askey-Wilson 与大 q-Jacobi 多项式）在几乎所有复参数值及所有非负整数次数下满足的正交性条件。
• 将 Favard 定理推广至递推系数 γ_N 为零的退化情形，从而刻画有限次数多项式序列的 Sobolev 型正交性。
• 系统推导形如 p_{n+N} = p_N p_n^{(N)} 的分解恒等式，适用于具有有限正交性的 q-多项式（如 q-Racah、q-Hahn、对偶 q-Hahn、q-Krawtchouk），并将其与 q-Askey 和 Nikiforov-Uvarov 表格中的相关族联系起来。
• 整理并呈现表格，详细列出具有有限质量点正交性的 q-多项式（如 q-Hahn、对偶 q-Hahn、q-Krawtchouk）的离散 Sobolev 型正交性与分解结构，为这些族提供统一参考。

提出的方法

• 利用通过前向与后向差分算子定义的二阶超几何型差分算子 H，其中 σ̂(x(s)) 与 τ(x(s)) 分别为次数不超过 2 与 1 的多项式。
• 应用 Favard 定理的退化版本，即使在某些 N 时 γ_N = 0，仍可通过三系数递推关系（TTRR）刻画正交多项式，从而导出 Sobolev 型正交性。
• 通过递推系数结构与差分算子 T = Δ/Δx(s) 的作用，推导出分解式 p_{n+N} = p_N p_n^{(N)}，其中 p_n^{(N)} 为第 N 个关联多项式。
• 通过参数变换与移位算子，利用文献中已知恒等式，建立 q-多项式之间（如 q-Racah 到 Askey-Wilson，大 q-Jacobi 到 q-Hahn）的非归一化恒等式。
• 构建表格，将每个 q-多项式族（如 q-Hahn、对偶 q-Hahn、q-Krawtchouk）映射至其关联多项式及相应的 T^N(p_{n+N}) 表达式，从而实现正交性的系统刻画。
• 单独分析 |q| = 1 的情形，指出在此条件下正交性结构依然成立，尽管收敛性与测度性质可能有所不同。

实验结果

研究问题

• RQ1 Askey-Wilson 与大 q-Jacobi 多项式的正交性在几乎所有复参数值及所有非负整数次数下如何表现？
• RQ2 当三系数递推关系中的递推系数 γ_N 为零时，Sobolev 型正交性的结构是怎样的？
• RQ3 是否可以系统地推导出具有有限正交性（即有限质量点数）的 q-多项式满足的分解式 p_{n+N} = p_N p_n^{(N)}？其关联多项式 p_n^{(N)} 是什么？
• RQ4 通过移位算子与参数变换，各种 q-多项式族（如 q-Racah、q-Hahn、q-Krawtchouk）之间如何通过非归一化恒等式关联？
• RQ5 差分算子 T = Δ/Δx(s) 在生成关联多项式序列以及连接 q-Askey 与 Nikiforov-Uvarov 表格中不同族之间起什么作用？

主要发现

• 对于 Askey-Wilson 与大 q-Jacobi 多项式，正交性条件在所有非负整数次数及几乎所有复参数值下均成立，包括 |q| ≠ 1 的情形。
• 当 TTRR 中 γ_N = 0 时，退化 Favard 定理表明多项式序列满足关于线性泛函的 Sobolev 型正交性，该泛函涉及差分算子 T 的第 N 次迭代。
• 对于具有有限正交性的 q-多项式，分解式 p_{n+N} = p_N p_n^{(N)} 成立，其中 p_n^{(N)} 为属于同一或相关族的关联多项式，位于 q-Askey 或 Nikiforov-Uvarov 表格中。
• 对于 q-Racah 多项式，当 α = q^{-N} 时，有 γ_N = 0，且关联多项式 r_n^{(N)} 显式地以参数变换后的 Askey-Wilson 多项式表示。
• 证明了 T^N(p_{n+N}) 与更高阶族（如 Askey-Wilson 或大 q-Jacobi）的多项式成比例，其参数按 q^N 缩放，从而确认了 Sobolev 正交性的结构。
• 提供了表格，将每个 q-多项式族（如 q-Hahn、对偶 q-Hahn、q-Krawtchouk）映射至其关联多项式及相应的 T^N(p_{n+N}) 表达式，从而实现对正交性与分解结构的系统识别。