[论文解读] Bilinear summation formulas from quantum algebra representations

Wolter Groenevelt|ArXiv.org|Jan 29, 2002

Algebraic structures and combinatorial models参考文献 21被引用 4

一句话总结

本文利用量子代数 $U_q(\mathfrak{su}(1,1))$ 的表示理论，推导出基为 $q$ 和 $q^{-1}$ 的 Al-Salam 与 Chihara 多项式两个双线性求和公式。通过分析正负离散系列表示的张量积，作者将 Clebsch-Gordan 系数识别为 Askey-Wilson 多项式与连续对偶 $q$-Hahn 多项式，从而得到一个涉及 ${}_2\varphi_1$-级数的双线性生成函数，该函数推广了小 $q$-Jacobi 函数的对偶转置核。

ABSTRACT

The tensor product of a positive and a negative discrete series representation of the quantum algebra U_q(su(1,1)) decomposes as a direct integral over the principal unitary series representations. Discrete terms can appear, and these terms are a finite number of discrete series representations, or one complementary series representation. From the interpretation as overlap coefficients of little q-Jacobi functions and Al-Salam and Chihara polynomials in base q and base q^{-1}, two closely related bilinear summation formulas for the Al-Salam and Chihara polynomials are derived. The formulas involve Askey-Wilson polynomials, continuous dual q-Hahn polynomials and little q-Jacobi functions. The realization of the discrete series as q-difference operators on the spaces of holomorphic and anti-holomorphic functions, leads to a bilinear generating function for a certain type of 2-phi-1 -series, which can be considered as a special case of the dual transmutation kernel for little q-Jacobi functions.

研究动机与目标

• 利用量子代数表示理论推导基为 $q$ 和 $q^{-1}$ 的 Al-Salam 与 Chihara 多项式的新双线性求和公式。
• 分析 $U_q(\mathfrak{su}(1,1))$ 的一个正离散系列表示与一个负离散系列表示的张量积分解，并识别其结果的 Clebsch-Gordan 系数。
• 建立 $q$-差分算子重叠系数与 Askey-Wilson、连续对偶 $q$-Hahn 及小 $q$-Jacobi 函数等特殊函数之间的联系。
• 作为小 $q$-Jacobi 函数对偶转置核的特例，推导出 ${}_2\varphi_1$-级数的双线性生成函数。

提出的方法

• 利用 $U_q(\mathfrak{su}(1,1))$ 的表示理论，重点关注作用在 $\ell^2(\mathbb{Z}_{\geq 0})$ 和 $\ell^2(\mathbb{Z})$ 上的正负离散系列表示。
• 通过 Casimir 元素分析张量积分解，将连续对偶 $q$-Hahn 多项式识别为 Clebsch-Gordan 系数。
• 识别代数中特定元素的广义本征向量，其重叠系数对应于基为 $q^2$ 和 $q^{-2}$ 的 Al-Salam 与 Chihara 多项式。
• 将 $U_q(\mathfrak{su}(1,1))$ 的生成元实现为全纯与反全纯函数上的 $q$-差分算子，从而实现重叠函数的显式计算。
• 推导出 Askey-Wilson 多项式的生成函数，该函数在构建双线性求和公式中起核心作用。
• 建立函数与本征向量张量积的两个表达式之间的等式，导出涉及 ${}_8W_7$ 级数与 ${}_2\varphi_1$-级数的双线性恒等式。

实验结果

研究问题

• RQ1 如何从量子代数表示中推导出基为 $q$ 和 $q^{-1}$ 的 Al-Salam 与 Chihara 多项式双线性求和公式？
• RQ2 $U_q(\mathfrak{su}(1,1))$ 的一个正离散系列表示与一个负离散系列表示的张量积分解结构是什么？
• RQ3 离散系列表示与主单位表示系列之间重叠系数与小 $q$-Jacobi 函数等特殊函数之间有何关系？
• RQ4 能否从这一表示理论框架中构造出 ${}_2\varphi_1$-级数的双线性生成函数？
• RQ5 所推导的求和公式与小 $q$-Jacobi 函数的对偶转置核之间存在何种关系？

主要发现

• 推导出两个涉及 Al-Salam 与 Chihara 多项式、连续对偶 $q$-Hahn 多项式、Askey-Wilson 多项式及小 $q$-Jacobi 函数的双线性求和公式。
• $U_q(\mathfrak{su}(1,1))$ 的一个正离散系列表示与一个负离散系列表示的张量积分解为一个主单位表示系列的直接积分，可能包含有限的离散项，包括补全系列。
• 在本征向量基下，Clebsch-Gordan 系数被识别为 Askey-Wilson 多项式，从而将表示理论与正交多项式恒等式联系起来。
• 获得了一个 ${}_2\varphi_1$-级数的双线性生成函数，该函数对应于小 $q$-Jacobi 函数对偶转置核的一个特例。
• 证明所导出的恒等式等价于 Rahman 的一个结果，其中一个 ${}_8\varphi_7$-级数由于参数约束而消失。
• 确立了 Askey-Wilson 多项式的生成函数作为关键技术工具，从而实现了主求和公式的推导。