[论文解读] Duality of q-polynomials, orthogonal on countable sets of points

Natig M. Atakishiyev, A. U. Klimyk|ArXiv.org|Nov 11, 2004

Random Matrices and Applications参考文献 23被引用 15

一句话总结

本文通过自伴算子在Jacobi矩阵表示下，为可数集上的$q$-正交多项式引入了一个对偶性框架。通过将两个对偶多项式族分别与两个不同的自伴算子相关联——一个有界自伴（确定情形），另一个通过$q$-差分方程关联（不确定情形）——作者推导出显式的正交关系与谱性质，证明了有界算子的本征函数构成通过酉变换相互关联的正交基。

ABSTRACT

We review properties of q-orthogonal polynomials, related to their orthogonality, duality and connection with the theory of symmetric (self-adjoint) operators, represented by a Jacobi matrix. In particular, we show how one can naturally interpret the duality of families of q-polynomials, orthogonal on countable sets of points. In order to obtain orthogonality relations for dual sets of polynomials, it is proposed to use two symmetric (self-adjoint) operators, representable (in some distinct bases) by Jacobi matrices. This approach is applied to several pairs of dual families of q-polynomials, orthogonal on countable sets, from the q-Askey scheme. For each such pair, the corresponding operators, representable by Jacobi matrices, are explicitly given. These operators are employed in order to find explicitly sets, on which the polynomials are orthogonal, and orthogonality relations for them.

研究动机与目标

• 将对偶性的概念扩展至可数点集上的$q$-正交多项式，尤其在矩问题背景下。
• 建立多项式族的对偶性与由Jacobi矩阵表示的对称算子谱理论之间的联系。
• 为来自$q$-Askey方案的对偶$q$-多项式对，提供正交测度与谱的显式构造。
• 证明有界自伴Jacobi算子的本征函数构成一个完备正交基，且通过酉变换与对偶族相联系。
• 通过显式构造算子及其谱性质，避免依赖量子代数表示理论。

提出的方法

• 使用两个对称（自伴）算子$A$与$I$，在不同基下表示为Jacobi矩阵，以建模对偶多项式族。
• 将算子$A$与对应于确定矩问题的三项递推关系相关联；该算子有界且自伴，具有离散谱。
• 利用算子$I$表示多项式所满足的$q$-差分方程，从而实现本征函数的显式计算。
• 通过其本征函数对$A$进行对角化，本征函数以确定族中的$q$-多项式表示。
• 构造一个酉矩阵$U$，其元素$u_{mn}$与$q$-多项式$P_m(x)$成正比，从而将标准基与本征基相联系。
• 从$U$的酉性推导出两个正交关系：一个对应于多项式$P_m(x)$，另一个对应于其对偶族，通过谱测度实现。

实验结果

研究问题

• RQ1 如何自然地将$q$-正交多项式的对偶性扩展至在可数点集上正交的多项式族？
• RQ2 由Jacobi矩阵表示的自伴算子在刻画对偶$q$-多项式族的正交性与谱性质方面起什么作用？
• RQ3 在谱理论背景下，确定与不确定矩问题如何与$q$-多项式的对偶性相关联？
• RQ4 能否在不依赖量子代数表示理论的前提下，为对偶$q$-多项式对推导出显式的正交关系与谱？
• RQ5 在此框架下，将标准基与有界自伴Jacobi算子的本征基相联系的显式酉变换是什么？

主要发现

• 与三项递推关系相关的有界自伴算子$A$具有离散且单重的谱，其本征函数由确定族中的$q$-多项式显式给出。
• 算子$A$的本征函数构成希尔伯特空间$L^2(\nu)$中的正交基，其中$\nu$为由正交测度导出的谱测度。
• 第二个算子$I$（表示$q$-差分方程）使得本征函数可归一化，从而在标准基与本征基之间实现酉变换。
• 连接两个基的酉矩阵$U$满足两个正交关系：$\sum_n u_{mn}u_{m'n} = \delta_{mm'}$与$\sum_m u_{mn}u_{mn'} = \delta_{nn'}$，分别对应于$q$-多项式及其对偶族的正交性。
• 对于Al-Salam–Carlitz II与小$q$-拉盖尔多项式，通过对显式求和公式进行验证，确认了对偶性，包括恒等式$\sum_{n=0}^\infty \frac{(abq,bq;q)_n}{(aq,q;q)_n} \frac{1-abq^{2n+1}}{1-abq} a^n q^{n^2} = \frac{(abq^2;q)_\infty}{(aq;q)_\infty}$，该恒等式通过$q$-超几何恒等式证明。
• 通过一个函数$\eta_k(a;q)$提供了关键恒等式(4.33)的另一种证明，该函数对所有$k \geq 0$恒为零，通过$q$-移位阶乘与杰克逊求和公式的极限情形进行归纳验证。